Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 3.4K May 14 03:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 03:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 63K May 13 21:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 225K May 13 21:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 71K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 258K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 94K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 344K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.2K May 13 15:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 13 15:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 51K May 13 10:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 175K May 13 10:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.3K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 119K May 12 20:42 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 1590470095009

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

Filename model.pnml
Petri model created: 324 places, 216 transitions, 864 arcs.
AT ITER 0 NEW BEST:: SOT 50879 SOS 26429 HAS SOPS 26429 HAS SOUS 26429 HAS SOUPS 26429 WITH SCORE 26455.429
AT ITER 19 NEW BEST:: SOT 50693 SOS 26384 HAS SOPS 26384 HAS SOUS 26274 HAS SOUPS 26274 WITH SCORE 26300.384
AT ITER 20 NEW BEST:: SOT 50710 SOS 26380 HAS SOPS 26380 HAS SOUS 26270 HAS SOUPS 26270 WITH SCORE 26296.38
AT ITER 24 NEW BEST:: SOT 50710 SOS 26361 HAS SOPS 26361 HAS SOUS 26270 HAS SOUPS 26270 WITH SCORE 26296.361
AT ITER 27 NEW BEST:: SOT 50695 SOS 26346 HAS SOPS 26346 HAS SOUS 26255 HAS SOUPS 26255 WITH SCORE 26281.346
AT ITER 32 NEW BEST:: SOT 50588 SOS 26360 HAS SOPS 26360 HAS SOUS 26184 HAS SOUPS 26184 WITH SCORE 26210.36
AT ITER 43 NEW BEST:: SOT 50583 SOS 26355 HAS SOPS 26355 HAS SOUS 26179 HAS SOUPS 26179 WITH SCORE 26205.355
AT ITER 69 NEW BEST:: SOT 50573 SOS 26351 HAS SOPS 26351 HAS SOUS 26169 HAS SOUPS 26169 WITH SCORE 26195.351
AT ITER 74 NEW BEST:: SOT 50622 SOS 26327 HAS SOPS 26327 HAS SOUS 26140 HAS SOUPS 26140 WITH SCORE 26166.327
AT ITER 79 NEW BEST:: SOT 50541 SOS 26286 HAS SOPS 26286 HAS SOUS 26079 HAS SOUPS 26079 WITH SCORE 26105.286
AT ITER 93 NEW BEST:: SOT 50450 SOS 26274 HAS SOPS 26274 HAS SOUS 26022 HAS SOUPS 26022 WITH SCORE 26048.274
AT ITER 98 NEW BEST:: SOT 50476 SOS 26299 HAS SOPS 26299 HAS SOUS 26012 HAS SOUPS 26012 WITH SCORE 26038.299
AT ITER 102 NEW BEST:: SOT 50406 SOS 26276 HAS SOPS 26276 HAS SOUS 25966 HAS SOUPS 25966 WITH SCORE 25992.276
AT ITER 103 NEW BEST:: SOT 50376 SOS 26277 HAS SOPS 26277 HAS SOUS 25944 HAS SOUPS 25944 WITH SCORE 25970.277
AT ITER 104 NEW BEST:: SOT 50359 SOS 26260 HAS SOPS 26260 HAS SOUS 25927 HAS SOUPS 25927 WITH SCORE 25953.26
AT ITER 115 NEW BEST:: SOT 50263 SOS 26227 HAS SOPS 26227 HAS SOUS 25882 HAS SOUPS 25882 WITH SCORE 25908.227
AT ITER 117 NEW BEST:: SOT 50223 SOS 26203 HAS SOPS 26203 HAS SOUS 25858 HAS SOUPS 25858 WITH SCORE 25884.203
AT ITER 135 NEW BEST:: SOT 50223 SOS 26190 HAS SOPS 26190 HAS SOUS 25858 HAS SOUPS 25858 WITH SCORE 25884.19
AT ITER 139 NEW BEST:: SOT 50063 SOS 26064 HAS SOPS 26064 HAS SOUS 25722 HAS SOUPS 25722 WITH SCORE 25748.064
AT ITER 140 NEW BEST:: SOT 50032 SOS 26033 HAS SOPS 26033 HAS SOUS 25691 HAS SOUPS 25691 WITH SCORE 25717.033
AT ITER 145 NEW BEST:: SOT 50032 SOS 26015 HAS SOPS 26015 HAS SOUS 25691 HAS SOUPS 25691 WITH SCORE 25717.015
AT ITER 148 NEW BEST:: SOT 50028 SOS 26011 HAS SOPS 26011 HAS SOUS 25684 HAS SOUPS 25684 WITH SCORE 25710.011
AT ITER 153 NEW BEST:: SOT 49904 SOS 25962 HAS SOPS 25962 HAS SOUS 25590 HAS SOUPS 25590 WITH SCORE 25615.962
AT ITER 163 NEW BEST:: SOT 49750 SOS 26298 HAS SOPS 26298 HAS SOUS 25524 HAS SOUPS 25524 WITH SCORE 25550.298
AT ITER 172 NEW BEST:: SOT 49714 SOS 26262 HAS SOPS 26262 HAS SOUS 25488 HAS SOUPS 25488 WITH SCORE 25514.262
AT ITER 184 NEW BEST:: SOT 49714 SOS 26222 HAS SOPS 26222 HAS SOUS 25484 HAS SOUPS 25484 WITH SCORE 25510.222
AT ITER 195 NEW BEST:: SOT 49660 SOS 26205 HAS SOPS 26205 HAS SOUS 25457 HAS SOUPS 25457 WITH SCORE 25483.205
AT ITER 202 NEW BEST:: SOT 49647 SOS 26192 HAS SOPS 26192 HAS SOUS 25425 HAS SOUPS 25425 WITH SCORE 25451.192
AT ITER 204 NEW BEST:: SOT 49530 SOS 26131 HAS SOPS 26131 HAS SOUS 25353 HAS SOUPS 25353 WITH SCORE 25379.131
AT ITER 211 NEW BEST:: SOT 49476 SOS 26084 HAS SOPS 26084 HAS SOUS 25314 HAS SOUPS 25314 WITH SCORE 25340.084
AT ITER 215 NEW BEST:: SOT 49476 SOS 25919 HAS SOPS 25919 HAS SOUS 25314 HAS SOUPS 25314 WITH SCORE 25339.919
AT ITER 217 NEW BEST:: SOT 49441 SOS 25901 HAS SOPS 25901 HAS SOUS 25296 HAS SOUPS 25296 WITH SCORE 25321.901
AT ITER 223 NEW BEST:: SOT 49441 SOS 25866 HAS SOPS 25866 HAS SOUS 25296 HAS SOUPS 25296 WITH SCORE 25321.866
AT ITER 225 NEW BEST:: SOT 49416 SOS 25856 HAS SOPS 25856 HAS SOUS 25286 HAS SOUPS 25286 WITH SCORE 25311.856
AT ITER 226 NEW BEST:: SOT 49376 SOS 25854 HAS SOPS 25854 HAS SOUS 25246 HAS SOUPS 25246 WITH SCORE 25271.854
AT ITER 228 NEW BEST:: SOT 49286 SOS 25869 HAS SOPS 25869 HAS SOUS 25187 HAS SOUPS 25187 WITH SCORE 25212.869
AT ITER 231 NEW BEST:: SOT 49280 SOS 25848 HAS SOPS 25848 HAS SOUS 25182 HAS SOUPS 25182 WITH SCORE 25207.848
AT ITER 232 NEW BEST:: SOT 49215 SOS 25764 HAS SOPS 25764 HAS SOUS 25092 HAS SOUPS 25092 WITH SCORE 25117.764
AT ITER 235 NEW BEST:: SOT 49215 SOS 25729 HAS SOPS 25729 HAS SOUS 25092 HAS SOUPS 25092 WITH SCORE 25117.729
AT ITER 242 NEW BEST:: SOT 49215 SOS 25729 HAS SOPS 25729 HAS SOUS 25089 HAS SOUPS 25089 WITH SCORE 25114.729
AT ITER 243 NEW BEST:: SOT 49255 SOS 25761 HAS SOPS 25761 HAS SOUS 25086 HAS SOUPS 25086 WITH SCORE 25111.761
AT ITER 246 NEW BEST:: SOT 49221 SOS 25974 HAS SOPS 25974 HAS SOUS 25059 HAS SOUPS 25059 WITH SCORE 25084.974
AT ITER 248 NEW BEST:: SOT 49170 SOS 25930 HAS SOPS 25930 HAS SOUS 25015 HAS SOUPS 25015 WITH SCORE 25040.93
AT ITER 249 NEW BEST:: SOT 49170 SOS 25911 HAS SOPS 25911 HAS SOUS 24979 HAS SOUPS 24979 WITH SCORE 25004.911
AT ITER 251 NEW BEST:: SOT 49097 SOS 25701 HAS SOPS 25701 HAS SOUS 24906 HAS SOUPS 24906 WITH SCORE 24931.701
AT ITER 253 NEW BEST:: SOT 49094 SOS 25698 HAS SOPS 25698 HAS SOUS 24903 HAS SOUPS 24903 WITH SCORE 24928.698
AT ITER 260 NEW BEST:: SOT 49078 SOS 25795 HAS SOPS 25795 HAS SOUS 24887 HAS SOUPS 24887 WITH SCORE 24912.795
AT ITER 265 NEW BEST:: SOT 49080 SOS 25794 HAS SOPS 25794 HAS SOUS 24875 HAS SOUPS 24875 WITH SCORE 24900.794
AT ITER 273 NEW BEST:: SOT 49080 SOS 25773 HAS SOPS 25773 HAS SOUS 24875 HAS SOUPS 24875 WITH SCORE 24900.773
AT ITER 303 NEW BEST:: SOT 49025 SOS 25718 HAS SOPS 25718 HAS SOUS 24820 HAS SOUPS 24820 WITH SCORE 24845.718
AT ITER 306 NEW BEST:: SOT 49023 SOS 25723 HAS SOPS 25723 HAS SOUS 24818 HAS SOUPS 24818 WITH SCORE 24843.723
AT ITER 309 NEW BEST:: SOT 49023 SOS 25720 HAS SOPS 25720 HAS SOUS 24817 HAS SOUPS 24817 WITH SCORE 24842.72
AT ITER 310 NEW BEST:: SOT 48978 SOS 25882 HAS SOPS 25882 HAS SOUS 24792 HAS SOUPS 24792 WITH SCORE 24817.882
AT ITER 314 NEW BEST:: SOT 48836 SOS 25787 HAS SOPS 25787 HAS SOUS 24695 HAS SOUPS 24695 WITH SCORE 24720.787
AT ITER 349 NEW BEST:: SOT 48833 SOS 25765 HAS SOPS 25765 HAS SOUS 24686 HAS SOUPS 24686 WITH SCORE 24711.765
AT ITER 351 NEW BEST:: SOT 48811 SOS 25764 HAS SOPS 25764 HAS SOUS 24685 HAS SOUPS 24685 WITH SCORE 24710.764
AT ITER 354 NEW BEST:: SOT 48741 SOS 25787 HAS SOPS 25787 HAS SOUS 24664 HAS SOUPS 24664 WITH SCORE 24689.787
AT ITER 359 NEW BEST:: SOT 48607 SOS 25683 HAS SOPS 25683 HAS SOUS 24559 HAS SOUPS 24559 WITH SCORE 24584.683
AT ITER 362 NEW BEST:: SOT 48595 SOS 25671 HAS SOPS 25671 HAS SOUS 24547 HAS SOUPS 24547 WITH SCORE 24572.671
AT ITER 364 NEW BEST:: SOT 48509 SOS 25648 HAS SOPS 25648 HAS SOUS 24524 HAS SOUPS 24524 WITH SCORE 24549.648
AT ITER 366 NEW BEST:: SOT 48441 SOS 25598 HAS SOPS 25598 HAS SOUS 24477 HAS SOUPS 24477 WITH SCORE 24502.598
AT ITER 373 NEW BEST:: SOT 48441 SOS 25598 HAS SOPS 25598 HAS SOUS 24468 HAS SOUPS 24468 WITH SCORE 24493.598
AT ITER 401 NEW BEST:: SOT 48425 SOS 25513 HAS SOPS 25513 HAS SOUS 24374 HAS SOUPS 24374 WITH SCORE 24399.513
AT ITER 403 NEW BEST:: SOT 48425 SOS 25541 HAS SOPS 25541 HAS SOUS 24365 HAS SOUPS 24365 WITH SCORE 24390.541
AT ITER 405 NEW BEST:: SOT 48425 SOS 25522 HAS SOPS 25522 HAS SOUS 24362 HAS SOUPS 24362 WITH SCORE 24387.522
AT ITER 411 NEW BEST:: SOT 48413 SOS 25629 HAS SOPS 25629 HAS SOUS 24323 HAS SOUPS 24323 WITH SCORE 24348.629
AT ITER 416 NEW BEST:: SOT 48389 SOS 25613 HAS SOPS 25613 HAS SOUS 24307 HAS SOUPS 24307 WITH SCORE 24332.613
AT ITER 422 NEW BEST:: SOT 48359 SOS 25698 HAS SOPS 25698 HAS SOUS 24297 HAS SOUPS 24297 WITH SCORE 24322.698
AT ITER 432 NEW BEST:: SOT 48304 SOS 25662 HAS SOPS 25662 HAS SOUS 24261 HAS SOUPS 24261 WITH SCORE 24286.662
AT ITER 439 NEW BEST:: SOT 48251 SOS 25609 HAS SOPS 25609 HAS SOUS 24212 HAS SOUPS 24212 WITH SCORE 24237.609
AT ITER 442 NEW BEST:: SOT 48052 SOS 25485 HAS SOPS 25485 HAS SOUS 24100 HAS SOUPS 24100 WITH SCORE 24125.485
AT ITER 446 NEW BEST:: SOT 47974 SOS 25430 HAS SOPS 25430 HAS SOUS 24045 HAS SOUPS 24045 WITH SCORE 24070.43
AT ITER 455 NEW BEST:: SOT 47974 SOS 25418 HAS SOPS 25418 HAS SOUS 24045 HAS SOUPS 24045 WITH SCORE 24070.418
AT ITER 470 NEW BEST:: SOT 47933 SOS 25415 HAS SOPS 25415 HAS SOUS 24012 HAS SOUPS 24012 WITH SCORE 24037.415
AT ITER 488 NEW BEST:: SOT 47941 SOS 25415 HAS SOPS 25415 HAS SOUS 23966 HAS SOUPS 23966 WITH SCORE 23991.415
AT ITER 494 NEW BEST:: SOT 47941 SOS 25399 HAS SOPS 25399 HAS SOUS 23966 HAS SOUPS 23966 WITH SCORE 23991.399
AT ITER 501 NEW BEST:: SOT 47911 SOS 25361 HAS SOPS 25361 HAS SOUS 23939 HAS SOUPS 23939 WITH SCORE 23964.361
AT ITER 519 NEW BEST:: SOT 47848 SOS 25336 HAS SOPS 25336 HAS SOUS 23914 HAS SOUPS 23914 WITH SCORE 23939.336
AT ITER 532 NEW BEST:: SOT 47819 SOS 25308 HAS SOPS 25308 HAS SOUS 23886 HAS SOUPS 23886 WITH SCORE 23911.308
AT ITER 533 NEW BEST:: SOT 47725 SOS 25201 HAS SOPS 25201 HAS SOUS 23792 HAS SOUPS 23792 WITH SCORE 23817.201
AT ITER 548 NEW BEST:: SOT 47725 SOS 25168 HAS SOPS 25168 HAS SOUS 23759 HAS SOUPS 23759 WITH SCORE 23784.168
AT ITER 555 NEW BEST:: SOT 47725 SOS 25165 HAS SOPS 25165 HAS SOUS 23759 HAS SOUPS 23759 WITH SCORE 23784.165
AT ITER 562 NEW BEST:: SOT 47680 SOS 25158 HAS SOPS 25158 HAS SOUS 23752 HAS SOUPS 23752 WITH SCORE 23777.158
AT ITER 568 NEW BEST:: SOT 47619 SOS 25125 HAS SOPS 25125 HAS SOUS 23719 HAS SOUPS 23719 WITH SCORE 23744.125
AT ITER 569 NEW BEST:: SOT 47554 SOS 24992 HAS SOPS 24992 HAS SOUS 23583 HAS SOUPS 23583 WITH SCORE 23607.992
AT ITER 578 NEW BEST:: SOT 47546 SOS 24984 HAS SOPS 24984 HAS SOUS 23571 HAS SOUPS 23571 WITH SCORE 23595.984
AT ITER 583 NEW BEST:: SOT 47505 SOS 24968 HAS SOPS 24968 HAS SOUS 23555 HAS SOUPS 23555 WITH SCORE 23579.968
AT ITER 584 NEW BEST:: SOT 47520 SOS 24958 HAS SOPS 24958 HAS SOUS 23530 HAS SOUPS 23530 WITH SCORE 23554.958
AT ITER 594 NEW BEST:: SOT 47510 SOS 24972 HAS SOPS 24972 HAS SOUS 23521 HAS SOUPS 23521 WITH SCORE 23545.972
AT ITER 619 NEW BEST:: SOT 47507 SOS 24970 HAS SOPS 24970 HAS SOUS 23518 HAS SOUPS 23518 WITH SCORE 23542.97
AT ITER 622 NEW BEST:: SOT 47424 SOS 25137 HAS SOPS 25137 HAS SOUS 23506 HAS SOUPS 23506 WITH SCORE 23531.137
AT ITER 629 NEW BEST:: SOT 47418 SOS 25133 HAS SOPS 25133 HAS SOUS 23502 HAS SOUPS 23502 WITH SCORE 23527.133
AT ITER 636 NEW BEST:: SOT 47384 SOS 25175 HAS SOPS 25175 HAS SOUS 23469 HAS SOUPS 23469 WITH SCORE 23494.175
AT ITER 639 NEW BEST:: SOT 47308 SOS 25137 HAS SOPS 25137 HAS SOUS 23431 HAS SOUPS 23431 WITH SCORE 23456.137
AT ITER 655 NEW BEST:: SOT 47303 SOS 25132 HAS SOPS 25132 HAS SOUS 23410 HAS SOUPS 23410 WITH SCORE 23435.132
AT ITER 658 NEW BEST:: SOT 47303 SOS 25070 HAS SOPS 25070 HAS SOUS 23355 HAS SOUPS 23355 WITH SCORE 23380.07
AT ITER 665 NEW BEST:: SOT 47167 SOS 25175 HAS SOPS 25175 HAS SOUS 23255 HAS SOUPS 23255 WITH SCORE 23280.175
AT ITER 676 NEW BEST:: SOT 47132 SOS 25140 HAS SOPS 25140 HAS SOUS 23249 HAS SOUPS 23249 WITH SCORE 23274.14
AT ITER 681 NEW BEST:: SOT 47132 SOS 25082 HAS SOPS 25082 HAS SOUS 23249 HAS SOUPS 23249 WITH SCORE 23274.082
AT ITER 692 NEW BEST:: SOT 47132 SOS 25056 HAS SOPS 25056 HAS SOUS 23249 HAS SOUPS 23249 WITH SCORE 23274.056
AT ITER 722 NEW BEST:: SOT 47087 SOS 25026 HAS SOPS 25026 HAS SOUS 23234 HAS SOUPS 23234 WITH SCORE 23259.026
AT ITER 726 NEW BEST:: SOT 47087 SOS 25010 HAS SOPS 25010 HAS SOUS 23234 HAS SOUPS 23234 WITH SCORE 23259.01
AT ITER 735 NEW BEST:: SOT 46993 SOS 24876 HAS SOPS 24876 HAS SOUS 23140 HAS SOUPS 23140 WITH SCORE 23164.876
AT ITER 749 NEW BEST:: SOT 46862 SOS 24886 HAS SOPS 24886 HAS SOUS 23118 HAS SOUPS 23118 WITH SCORE 23142.886
AT ITER 752 NEW BEST:: SOT 46822 SOS 24846 HAS SOPS 24846 HAS SOUS 23078 HAS SOUPS 23078 WITH SCORE 23102.846
AT ITER 754 NEW BEST:: SOT 46822 SOS 24796 HAS SOPS 24796 HAS SOUS 23050 HAS SOUPS 23050 WITH SCORE 23074.796
AT ITER 762 NEW BEST:: SOT 46809 SOS 24809 HAS SOPS 24809 HAS SOUS 23037 HAS SOUPS 23037 WITH SCORE 23061.809
AT ITER 768 NEW BEST:: SOT 46791 SOS 24791 HAS SOPS 24791 HAS SOUS 23005 HAS SOUPS 23005 WITH SCORE 23029.791
AT ITER 800 NEW BEST:: SOT 46880 SOS 24831 HAS SOPS 24831 HAS SOUS 23000 HAS SOUPS 23000 WITH SCORE 23024.831
AT ITER 839 NEW BEST:: SOT 46880 SOS 24825 HAS SOPS 24825 HAS SOUS 23000 HAS SOUPS 23000 WITH SCORE 23024.825
AT ITER 843 NEW BEST:: SOT 46806 SOS 24774 HAS SOPS 24774 HAS SOUS 22949 HAS SOUPS 22949 WITH SCORE 22973.774
AT ITER 851 NEW BEST:: SOT 46818 SOS 24786 HAS SOPS 24786 HAS SOUS 22933 HAS SOUPS 22933 WITH SCORE 22957.786
AT ITER 866 NEW BEST:: SOT 46817 SOS 24785 HAS SOPS 24785 HAS SOUS 22932 HAS SOUPS 22932 WITH SCORE 22956.785
AT ITER 870 NEW BEST:: SOT 46788 SOS 24809 HAS SOPS 24809 HAS SOUS 22922 HAS SOUPS 22922 WITH SCORE 22946.809
AT ITER 875 NEW BEST:: SOT 46763 SOS 24784 HAS SOPS 24784 HAS SOUS 22897 HAS SOUPS 22897 WITH SCORE 22921.784
AT ITER 893 NEW BEST:: SOT 46763 SOS 24780 HAS SOPS 24780 HAS SOUS 22897 HAS SOUPS 22897 WITH SCORE 22921.78
AT ITER 901 NEW BEST:: SOT 46730 SOS 24793 HAS SOPS 24793 HAS SOUS 22881 HAS SOUPS 22881 WITH SCORE 22905.793
AT ITER 904 NEW BEST:: SOT 46716 SOS 24779 HAS SOPS 24779 HAS SOUS 22867 HAS SOUPS 22867 WITH SCORE 22891.779
AT ITER 922 NEW BEST:: SOT 46716 SOS 24764 HAS SOPS 24764 HAS SOUS 22867 HAS SOUPS 22867 WITH SCORE 22891.764
AT ITER 944 NEW BEST:: SOT 46716 SOS 24718 HAS SOPS 24718 HAS SOUS 22794 HAS SOUPS 22794 WITH SCORE 22818.718
AT ITER 946 NEW BEST:: SOT 46710 SOS 24712 HAS SOPS 24712 HAS SOUS 22788 HAS SOUPS 22788 WITH SCORE 22812.712
AT ITER 952 NEW BEST:: SOT 46677 SOS 24710 HAS SOPS 24710 HAS SOUS 22770 HAS SOUPS 22770 WITH SCORE 22794.71
AT ITER 957 NEW BEST:: SOT 46670 SOS 24703 HAS SOPS 24703 HAS SOUS 22763 HAS SOUPS 22763 WITH SCORE 22787.703
AT ITER 962 NEW BEST:: SOT 46667 SOS 24657 HAS SOPS 24657 HAS SOUS 22758 HAS SOUPS 22758 WITH SCORE 22782.657
AT ITER 963 NEW BEST:: SOT 46667 SOS 24613 HAS SOPS 24613 HAS SOUS 22750 HAS SOUPS 22750 WITH SCORE 22774.613
AT ITER 980 NEW BEST:: SOT 46593 SOS 24633 HAS SOPS 24633 HAS SOUS 22712 HAS SOUPS 22712 WITH SCORE 22736.633
AT ITER 990 NEW BEST:: SOT 46565 SOS 24616 HAS SOPS 24616 HAS SOUS 22696 HAS SOUPS 22696 WITH SCORE 22720.616
AT ITER 1016 NEW BEST:: SOT 46523 SOS 24601 HAS SOPS 24601 HAS SOUS 22681 HAS SOUPS 22681 WITH SCORE 22705.601
AT ITER 1021 NEW BEST:: SOT 46319 SOS 24517 HAS SOPS 24517 HAS SOUS 22574 HAS SOUPS 22574 WITH SCORE 22598.517
AT ITER 1024 NEW BEST:: SOT 46401 SOS 24401 HAS SOPS 24401 HAS SOUS 22570 HAS SOUPS 22570 WITH SCORE 22594.401
AT ITER 1026 NEW BEST:: SOT 46401 SOS 24399 HAS SOPS 24399 HAS SOUS 22570 HAS SOUPS 22570 WITH SCORE 22594.399
AT ITER 1049 NEW BEST:: SOT 46401 SOS 24367 HAS SOPS 24367 HAS SOUS 22565 HAS SOUPS 22565 WITH SCORE 22589.367
AT ITER 1057 NEW BEST:: SOT 46396 SOS 24362 HAS SOPS 24362 HAS SOUS 22560 HAS SOUPS 22560 WITH SCORE 22584.362
AT ITER 1062 NEW BEST:: SOT 46386 SOS 24357 HAS SOPS 24357 HAS SOUS 22555 HAS SOUPS 22555 WITH SCORE 22579.357
AT ITER 1095 NEW BEST:: SOT 46377 SOS 24348 HAS SOPS 24348 HAS SOUS 22546 HAS SOUPS 22546 WITH SCORE 22570.348
AT ITER 1098 NEW BEST:: SOT 46371 SOS 24342 HAS SOPS 24342 HAS SOUS 22540 HAS SOUPS 22540 WITH SCORE 22564.342
AT ITER 1104 NEW BEST:: SOT 46372 SOS 24320 HAS SOPS 24320 HAS SOUS 22528 HAS SOUPS 22528 WITH SCORE 22552.32
AT ITER 1110 NEW BEST:: SOT 46371 SOS 24369 HAS SOPS 24369 HAS SOUS 22527 HAS SOUPS 22527 WITH SCORE 22551.369
AT ITER 1114 NEW BEST:: SOT 46323 SOS 24321 HAS SOPS 24321 HAS SOUS 22479 HAS SOUPS 22479 WITH SCORE 22503.321
AT ITER 1118 NEW BEST:: SOT 46316 SOS 24404 HAS SOPS 24404 HAS SOUS 22472 HAS SOUPS 22472 WITH SCORE 22496.404
AT ITER 1119 NEW BEST:: SOT 46297 SOS 24385 HAS SOPS 24385 HAS SOUS 22453 HAS SOUPS 22453 WITH SCORE 22477.385
AT ITER 1150 NEW BEST:: SOT 46277 SOS 24434 HAS SOPS 24434 HAS SOUS 22440 HAS SOUPS 22440 WITH SCORE 22464.434
AT ITER 1153 NEW BEST:: SOT 46283 SOS 24427 HAS SOPS 24427 HAS SOUS 22388 HAS SOUPS 22388 WITH SCORE 22412.427
AT ITER 1158 NEW BEST:: SOT 46240 SOS 24602 HAS SOPS 24602 HAS SOUS 22366 HAS SOUPS 22366 WITH SCORE 22390.602
AT ITER 1160 NEW BEST:: SOT 46240 SOS 24573 HAS SOPS 24573 HAS SOUS 22366 HAS SOUPS 22366 WITH SCORE 22390.573
AT ITER 1173 NEW BEST:: SOT 46223 SOS 24620 HAS SOPS 24620 HAS SOUS 22363 HAS SOUPS 22363 WITH SCORE 22387.62
AT ITER 1184 NEW BEST:: SOT 46223 SOS 24606 HAS SOPS 24606 HAS SOUS 22363 HAS SOUPS 22363 WITH SCORE 22387.606
AT ITER 1193 NEW BEST:: SOT 46223 SOS 24606 HAS SOPS 24606 HAS SOUS 22346 HAS SOUPS 22346 WITH SCORE 22370.606
AT ITER 1203 NEW BEST:: SOT 46220 SOS 24603 HAS SOPS 24603 HAS SOUS 22343 HAS SOUPS 22343 WITH SCORE 22367.603
AT ITER 1204 NEW BEST:: SOT 46215 SOS 24601 HAS SOPS 24601 HAS SOUS 22341 HAS SOUPS 22341 WITH SCORE 22365.601
AT ITER 1214 NEW BEST:: SOT 46195 SOS 24701 HAS SOPS 24701 HAS SOUS 22321 HAS SOUPS 22321 WITH SCORE 22345.701
AT ITER 1229 NEW BEST:: SOT 46166 SOS 24620 HAS SOPS 24620 HAS SOUS 22262 HAS SOUPS 22262 WITH SCORE 22286.62
AT ITER 1233 NEW BEST:: SOT 46166 SOS 24613 HAS SOPS 24613 HAS SOUS 22262 HAS SOUPS 22262 WITH SCORE 22286.613
AT ITER 1234 NEW BEST:: SOT 46161 SOS 24610 HAS SOPS 24610 HAS SOUS 22257 HAS SOUPS 22257 WITH SCORE 22281.61
AT ITER 1265 NEW BEST:: SOT 46095 SOS 24605 HAS SOPS 24605 HAS SOUS 22252 HAS SOUPS 22252 WITH SCORE 22276.605
AT ITER 1279 NEW BEST:: SOT 46110 SOS 24615 HAS SOPS 24615 HAS SOUS 22251 HAS SOUPS 22251 WITH SCORE 22275.615
AT ITER 1286 NEW BEST:: SOT 46110 SOS 24600 HAS SOPS 24600 HAS SOUS 22251 HAS SOUPS 22251 WITH SCORE 22275.6
AT ITER 1292 NEW BEST:: SOT 46148 SOS 24623 HAS SOPS 24623 HAS SOUS 22231 HAS SOUPS 22231 WITH SCORE 22255.623
AT ITER 1312 NEW BEST:: SOT 46126 SOS 24601 HAS SOPS 24601 HAS SOUS 22209 HAS SOUPS 22209 WITH SCORE 22233.601
AT ITER 1323 NEW BEST:: SOT 46118 SOS 24593 HAS SOPS 24593 HAS SOUS 22201 HAS SOUPS 22201 WITH SCORE 22225.593
AT ITER 1328 NEW BEST:: SOT 46118 SOS 24569 HAS SOPS 24569 HAS SOUS 22201 HAS SOUPS 22201 WITH SCORE 22225.569
AT ITER 1337 NEW BEST:: SOT 46118 SOS 24569 HAS SOPS 24569 HAS SOUS 22197 HAS SOUPS 22197 WITH SCORE 22221.569
AT ITER 1354 NEW BEST:: SOT 46118 SOS 24436 HAS SOPS 24436 HAS SOUS 22190 HAS SOUPS 22190 WITH SCORE 22214.436
AT ITER 1375 NEW BEST:: SOT 46077 SOS 24376 HAS SOPS 24376 HAS SOUS 22129 HAS SOUPS 22129 WITH SCORE 22153.376
AT ITER 1382 NEW BEST:: SOT 46063 SOS 24369 HAS SOPS 24369 HAS SOUS 22122 HAS SOUPS 22122 WITH SCORE 22146.369
AT ITER 1385 NEW BEST:: SOT 46052 SOS 24624 HAS SOPS 24624 HAS SOUS 22111 HAS SOUPS 22111 WITH SCORE 22135.624
AT ITER 1390 NEW BEST:: SOT 46052 SOS 24623 HAS SOPS 24623 HAS SOUS 22111 HAS SOUPS 22111 WITH SCORE 22135.623
AT ITER 1461 NEW BEST:: SOT 46052 SOS 24622 HAS SOPS 24622 HAS SOUS 22111 HAS SOUPS 22111 WITH SCORE 22135.622
AT ITER 1470 NEW BEST:: SOT 46033 SOS 24590 HAS SOPS 24590 HAS SOUS 22105 HAS SOUPS 22105 WITH SCORE 22129.59
AT ITER 1490 NEW BEST:: SOT 46026 SOS 24578 HAS SOPS 24578 HAS SOUS 22093 HAS SOUPS 22093 WITH SCORE 22117.578
AT ITER 1497 NEW BEST:: SOT 46016 SOS 24599 HAS SOPS 24599 HAS SOUS 22089 HAS SOUPS 22089 WITH SCORE 22113.599
AT ITER 1507 NEW BEST:: SOT 46010 SOS 24593 HAS SOPS 24593 HAS SOUS 22083 HAS SOUPS 22083 WITH SCORE 22107.593
AT ITER 1508 NEW BEST:: SOT 45985 SOS 24550 HAS SOPS 24550 HAS SOUS 22036 HAS SOUPS 22036 WITH SCORE 22060.55
AT ITER 1514 NEW BEST:: SOT 45955 SOS 24535 HAS SOPS 24535 HAS SOUS 22029 HAS SOUPS 22029 WITH SCORE 22053.535
AT ITER 1528 NEW BEST:: SOT 45955 SOS 24535 HAS SOPS 24535 HAS SOUS 22026 HAS SOUPS 22026 WITH SCORE 22050.535
AT ITER 1548 NEW BEST:: SOT 45861 SOS 24611 HAS SOPS 24611 HAS SOUS 21954 HAS SOUPS 21954 WITH SCORE 21978.611
AT ITER 1551 NEW BEST:: SOT 45898 SOS 24620 HAS SOPS 24620 HAS SOUS 21898 HAS SOUPS 21898 WITH SCORE 21922.62
AT ITER 1573 NEW BEST:: SOT 45761 SOS 24537 HAS SOPS 24537 HAS SOUS 21891 HAS SOUPS 21891 WITH SCORE 21915.537
AT ITER 1609 NEW BEST:: SOT 45675 SOS 24520 HAS SOPS 24520 HAS SOUS 21874 HAS SOUPS 21874 WITH SCORE 21898.52
AT ITER 1616 NEW BEST:: SOT 45675 SOS 24516 HAS SOPS 24516 HAS SOUS 21874 HAS SOUPS 21874 WITH SCORE 21898.516
AT ITER 1623 NEW BEST:: SOT 45602 SOS 24634 HAS SOPS 24634 HAS SOUS 21831 HAS SOUPS 21831 WITH SCORE 21855.634
AT ITER 1626 NEW BEST:: SOT 45585 SOS 24617 HAS SOPS 24617 HAS SOUS 21814 HAS SOUPS 21814 WITH SCORE 21838.617
AT ITER 1627 NEW BEST:: SOT 45578 SOS 24610 HAS SOPS 24610 HAS SOUS 21807 HAS SOUPS 21807 WITH SCORE 21831.61
AT ITER 1634 NEW BEST:: SOT 45593 SOS 24615 HAS SOPS 24615 HAS SOUS 21804 HAS SOUPS 21804 WITH SCORE 21828.615
AT ITER 1657 NEW BEST:: SOT 45565 SOS 24587 HAS SOPS 24587 HAS SOUS 21776 HAS SOUPS 21776 WITH SCORE 21800.587
AT ITER 1667 NEW BEST:: SOT 45634 SOS 24623 HAS SOPS 24623 HAS SOUS 21773 HAS SOUPS 21773 WITH SCORE 21797.623
AT ITER 1694 NEW BEST:: SOT 45648 SOS 24637 HAS SOPS 24637 HAS SOUS 21771 HAS SOUPS 21771 WITH SCORE 21795.637
AT ITER 1698 NEW BEST:: SOT 45642 SOS 24631 HAS SOPS 24631 HAS SOUS 21750 HAS SOUPS 21750 WITH SCORE 21774.631
AT ITER 1710 NEW BEST:: SOT 45662 SOS 24626 HAS SOPS 24626 HAS SOUS 21729 HAS SOUPS 21729 WITH SCORE 21753.626
AT ITER 1715 NEW BEST:: SOT 45662 SOS 24713 HAS SOPS 24713 HAS SOUS 21720 HAS SOUPS 21720 WITH SCORE 21744.713
AT ITER 1716 NEW BEST:: SOT 45605 SOS 24701 HAS SOPS 24701 HAS SOUS 21708 HAS SOUPS 21708 WITH SCORE 21732.701
AT ITER 1731 NEW BEST:: SOT 45605 SOS 24661 HAS SOPS 24661 HAS SOUS 21702 HAS SOUPS 21702 WITH SCORE 21726.661
AT ITER 1739 NEW BEST:: SOT 45604 SOS 24635 HAS SOPS 24635 HAS SOUS 21688 HAS SOUPS 21688 WITH SCORE 21712.635
AT ITER 1766 NEW BEST:: SOT 45590 SOS 24592 HAS SOPS 24592 HAS SOUS 21674 HAS SOUPS 21674 WITH SCORE 21698.592
AT ITER 1774 NEW BEST:: SOT 45554 SOS 24574 HAS SOPS 24574 HAS SOUS 21668 HAS SOUPS 21668 WITH SCORE 21692.574
AT ITER 1776 NEW BEST:: SOT 45522 SOS 24590 HAS SOPS 24590 HAS SOUS 21660 HAS SOUPS 21660 WITH SCORE 21684.59
AT ITER 1814 NEW BEST:: SOT 45510 SOS 24594 HAS SOPS 24594 HAS SOUS 21655 HAS SOUPS 21655 WITH SCORE 21679.594
AT ITER 1832 NEW BEST:: SOT 45498 SOS 24582 HAS SOPS 24582 HAS SOUS 21643 HAS SOUPS 21643 WITH SCORE 21667.582
AT ITER 1847 NEW BEST:: SOT 45498 SOS 24581 HAS SOPS 24581 HAS SOUS 21643 HAS SOUPS 21643 WITH SCORE 21667.581
AT ITER 1848 NEW BEST:: SOT 45498 SOS 24563 HAS SOPS 24563 HAS SOUS 21625 HAS SOUPS 21625 WITH SCORE 21649.563
AT ITER 1873 NEW BEST:: SOT 45510 SOS 24561 HAS SOPS 24561 HAS SOUS 21623 HAS SOUPS 21623 WITH SCORE 21647.561
AT ITER 1874 NEW BEST:: SOT 45353 SOS 24800 HAS SOPS 24800 HAS SOUS 21612 HAS SOUPS 21612 WITH SCORE 21636.8
AT ITER 1882 NEW BEST:: SOT 45345 SOS 24782 HAS SOPS 24782 HAS SOUS 21604 HAS SOUPS 21604 WITH SCORE 21628.782
AT ITER 1887 NEW BEST:: SOT 45318 SOS 24767 HAS SOPS 24767 HAS SOUS 21589 HAS SOUPS 21589 WITH SCORE 21613.767
AT ITER 1899 NEW BEST:: SOT 45317 SOS 24765 HAS SOPS 24765 HAS SOUS 21587 HAS SOUPS 21587 WITH SCORE 21611.765
AT ITER 1936 NEW BEST:: SOT 45243 SOS 24719 HAS SOPS 24719 HAS SOUS 21541 HAS SOUPS 21541 WITH SCORE 21565.719
AT ITER 1938 NEW BEST:: SOT 45242 SOS 24718 HAS SOPS 24718 HAS SOUS 21540 HAS SOUPS 21540 WITH SCORE 21564.718
AT ITER 1942 NEW BEST:: SOT 45242 SOS 24713 HAS SOPS 24713 HAS SOUS 21540 HAS SOUPS 21540 WITH SCORE 21564.713
AT ITER 1950 NEW BEST:: SOT 45206 SOS 24677 HAS SOPS 24677 HAS SOUS 21504 HAS SOUPS 21504 WITH SCORE 21528.677
AT ITER 1956 NEW BEST:: SOT 45186 SOS 24657 HAS SOPS 24657 HAS SOUS 21484 HAS SOUPS 21484 WITH SCORE 21508.657
AT ITER 1969 NEW BEST:: SOT 45125 SOS 24634 HAS SOPS 24634 HAS SOUS 21461 HAS SOUPS 21461 WITH SCORE 21485.634
AT ITER 1971 NEW BEST:: SOT 44962 SOS 24859 HAS SOPS 24859 HAS SOUS 21393 HAS SOUPS 21393 WITH SCORE 21417.859
AT ITER 1972 NEW BEST:: SOT 44962 SOS 24859 HAS SOPS 24859 HAS SOUS 21388 HAS SOUPS 21388 WITH SCORE 21412.859
AT ITER 2009 NEW BEST:: SOT 44957 SOS 24856 HAS SOPS 24856 HAS SOUS 21383 HAS SOUPS 21383 WITH SCORE 21407.856
AT ITER 2033 NEW BEST:: SOT 44958 SOS 24857 HAS SOPS 24857 HAS SOUS 21365 HAS SOUPS 21365 WITH SCORE 21389.857
AT ITER 2041 NEW BEST:: SOT 44961 SOS 24854 HAS SOPS 24854 HAS SOUS 21365 HAS SOUPS 21365 WITH SCORE 21389.854
AT ITER 2050 NEW BEST:: SOT 44940 SOS 24839 HAS SOPS 24839 HAS SOUS 21362 HAS SOUPS 21362 WITH SCORE 21386.839
AT ITER 2056 NEW BEST:: SOT 44940 SOS 24854 HAS SOPS 24854 HAS SOUS 21346 HAS SOUPS 21346 WITH SCORE 21370.854
AT ITER 2100 NEW BEST:: SOT 44940 SOS 24777 HAS SOPS 24777 HAS SOUS 21344 HAS SOUPS 21344 WITH SCORE 21368.777
AT ITER 2106 NEW BEST:: SOT 44935 SOS 24772 HAS SOPS 24772 HAS SOUS 21339 HAS SOUPS 21339 WITH SCORE 21363.772
AT ITER 2114 NEW BEST:: SOT 44935 SOS 24748 HAS SOPS 24748 HAS SOUS 21339 HAS SOUPS 21339 WITH SCORE 21363.748
AT ITER 2124 NEW BEST:: SOT 44919 SOS 24756 HAS SOPS 24756 HAS SOUS 21323 HAS SOUPS 21323 WITH SCORE 21347.756
AT ITER 2165 NEW BEST:: SOT 44837 SOS 24755 HAS SOPS 24755 HAS SOUS 21276 HAS SOUPS 21276 WITH SCORE 21300.755
AT ITER 2166 NEW BEST:: SOT 44834 SOS 24752 HAS SOPS 24752 HAS SOUS 21273 HAS SOUPS 21273 WITH SCORE 21297.752
AT ITER 2177 NEW BEST:: SOT 44755 SOS 24720 HAS SOPS 24720 HAS SOUS 21241 HAS SOUPS 21241 WITH SCORE 21265.72
AT ITER 2183 NEW BEST:: SOT 44755 SOS 24719 HAS SOPS 24719 HAS SOUS 21241 HAS SOUPS 21241 WITH SCORE 21265.719
AT ITER 2191 NEW BEST:: SOT 44750 SOS 24702 HAS SOPS 24702 HAS SOUS 21225 HAS SOUPS 21225 WITH SCORE 21249.702
AT ITER 2195 NEW BEST:: SOT 44735 SOS 24687 HAS SOPS 24687 HAS SOUS 21189 HAS SOUPS 21189 WITH SCORE 21213.687
AT ITER 2196 NEW BEST:: SOT 44659 SOS 24739 HAS SOPS 24739 HAS SOUS 21155 HAS SOUPS 21155 WITH SCORE 21179.739
AT ITER 2210 NEW BEST:: SOT 44642 SOS 24722 HAS SOPS 24722 HAS SOUS 21138 HAS SOUPS 21138 WITH SCORE 21162.722
AT ITER 2232 NEW BEST:: SOT 44684 SOS 24736 HAS SOPS 24736 HAS SOUS 21124 HAS SOUPS 21124 WITH SCORE 21148.736
AT ITER 2245 NEW BEST:: SOT 44684 SOS 24673 HAS SOPS 24673 HAS SOUS 21112 HAS SOUPS 21112 WITH SCORE 21136.673
AT ITER 2269 NEW BEST:: SOT 44683 SOS 24708 HAS SOPS 24708 HAS SOUS 21111 HAS SOUPS 21111 WITH SCORE 21135.708
AT ITER 2278 NEW BEST:: SOT 44683 SOS 24691 HAS SOPS 24691 HAS SOUS 21111 HAS SOUPS 21111 WITH SCORE 21135.691
AT ITER 2281 NEW BEST:: SOT 44683 SOS 24686 HAS SOPS 24686 HAS SOUS 21104 HAS SOUPS 21104 WITH SCORE 21128.686
AT ITER 2286 NEW BEST:: SOT 44683 SOS 24674 HAS SOPS 24674 HAS SOUS 21104 HAS SOUPS 21104 WITH SCORE 21128.674
AT ITER 2289 NEW BEST:: SOT 44682 SOS 24673 HAS SOPS 24673 HAS SOUS 21096 HAS SOUPS 21096 WITH SCORE 21120.673
AT ITER 2294 NEW BEST:: SOT 44657 SOS 24654 HAS SOPS 24654 HAS SOUS 21077 HAS SOUPS 21077 WITH SCORE 21101.654
AT ITER 2295 NEW BEST:: SOT 44613 SOS 24610 HAS SOPS 24610 HAS SOUS 21033 HAS SOUPS 21033 WITH SCORE 21057.61
AT ITER 2315 NEW BEST:: SOT 44613 SOS 24560 HAS SOPS 24560 HAS SOUS 21022 HAS SOUPS 21022 WITH SCORE 21046.56
AT ITER 2346 NEW BEST:: SOT 44653 SOS 24553 HAS SOPS 24553 HAS SOUS 21015 HAS SOUPS 21015 WITH SCORE 21039.553
AT ITER 2350 NEW BEST:: SOT 44653 SOS 24542 HAS SOPS 24542 HAS SOUS 21004 HAS SOUPS 21004 WITH SCORE 21028.542
AT ITER 2371 NEW BEST:: SOT 44632 SOS 24467 HAS SOPS 24467 HAS SOUS 20959 HAS SOUPS 20959 WITH SCORE 20983.467
AT ITER 2383 NEW BEST:: SOT 44632 SOS 24453 HAS SOPS 24453 HAS SOUS 20959 HAS SOUPS 20959 WITH SCORE 20983.453
AT ITER 2406 NEW BEST:: SOT 44596 SOS 24527 HAS SOPS 24527 HAS SOUS 20943 HAS SOUPS 20943 WITH SCORE 20967.527
AT ITER 2439 NEW BEST:: SOT 44573 SOS 24492 HAS SOPS 24492 HAS SOUS 20920 HAS SOUPS 20920 WITH SCORE 20944.492
AT ITER 2440 NEW BEST:: SOT 44570 SOS 24490 HAS SOPS 24490 HAS SOUS 20918 HAS SOUPS 20918 WITH SCORE 20942.49
AT ITER 2444 NEW BEST:: SOT 44552 SOS 24472 HAS SOPS 24472 HAS SOUS 20900 HAS SOUPS 20900 WITH SCORE 20924.472
AT ITER 2445 NEW BEST:: SOT 44553 SOS 24463 HAS SOPS 24463 HAS SOUS 20891 HAS SOUPS 20891 WITH SCORE 20915.463
AT ITER 2458 NEW BEST:: SOT 44553 SOS 24402 HAS SOPS 24402 HAS SOUS 20889 HAS SOUPS 20889 WITH SCORE 20913.402
AT ITER 2464 NEW BEST:: SOT 44574 SOS 24384 HAS SOPS 24384 HAS SOUS 20865 HAS SOUPS 20865 WITH SCORE 20889.384
AT ITER 2479 NEW BEST:: SOT 44570 SOS 24380 HAS SOPS 24380 HAS SOUS 20861 HAS SOUPS 20861 WITH SCORE 20885.38
AT ITER 2486 NEW BEST:: SOT 44573 SOS 24382 HAS SOPS 24382 HAS SOUS 20846 HAS SOUPS 20846 WITH SCORE 20870.382
AT ITER 2506 NEW BEST:: SOT 44546 SOS 24395 HAS SOPS 24395 HAS SOUS 20823 HAS SOUPS 20823 WITH SCORE 20847.395
AT ITER 2518 NEW BEST:: SOT 44471 SOS 24401 HAS SOPS 24401 HAS SOUS 20763 HAS SOUPS 20763 WITH SCORE 20787.401
AT ITER 2525 NEW BEST:: SOT 44471 SOS 24390 HAS SOPS 24390 HAS SOUS 20760 HAS SOUPS 20760 WITH SCORE 20784.39
AT ITER 2552 NEW BEST:: SOT 44452 SOS 24368 HAS SOPS 24368 HAS SOUS 20731 HAS SOUPS 20731 WITH SCORE 20755.368
AT ITER 2556 NEW BEST:: SOT 44452 SOS 24340 HAS SOPS 24340 HAS SOUS 20711 HAS SOUPS 20711 WITH SCORE 20735.34
AT ITER 2563 NEW BEST:: SOT 44429 SOS 24317 HAS SOPS 24317 HAS SOUS 20688 HAS SOUPS 20688 WITH SCORE 20712.317
AT ITER 2567 NEW BEST:: SOT 44425 SOS 24316 HAS SOPS 24316 HAS SOUS 20687 HAS SOUPS 20687 WITH SCORE 20711.316
AT ITER 2570 NEW BEST:: SOT 44425 SOS 24262 HAS SOPS 24262 HAS SOUS 20687 HAS SOUPS 20687 WITH SCORE 20711.262
AT ITER 2571 NEW BEST:: SOT 44356 SOS 24226 HAS SOPS 24226 HAS SOUS 20652 HAS SOUPS 20652 WITH SCORE 20676.226
AT ITER 2576 NEW BEST:: SOT 44349 SOS 24219 HAS SOPS 24219 HAS SOUS 20645 HAS SOUPS 20645 WITH SCORE 20669.219
AT ITER 2611 NEW BEST:: SOT 44341 SOS 24211 HAS SOPS 24211 HAS SOUS 20637 HAS SOUPS 20637 WITH SCORE 20661.211
AT ITER 2630 NEW BEST:: SOT 44337 SOS 24207 HAS SOPS 24207 HAS SOUS 20633 HAS SOUPS 20633 WITH SCORE 20657.207
AT ITER 2644 NEW BEST:: SOT 44290 SOS 24193 HAS SOPS 24193 HAS SOUS 20619 HAS SOUPS 20619 WITH SCORE 20643.193
AT ITER 2669 NEW BEST:: SOT 44269 SOS 24172 HAS SOPS 24172 HAS SOUS 20597 HAS SOUPS 20597 WITH SCORE 20621.172
AT ITER 2696 NEW BEST:: SOT 44275 SOS 24166 HAS SOPS 24166 HAS SOUS 20594 HAS SOUPS 20594 WITH SCORE 20618.166
AT ITER 2779 NEW BEST:: SOT 44275 SOS 24166 HAS SOPS 24166 HAS SOUS 20590 HAS SOUPS 20590 WITH SCORE 20614.166
AT ITER 2790 NEW BEST:: SOT 44282 SOS 24204 HAS SOPS 24204 HAS SOUS 20584 HAS SOUPS 20584 WITH SCORE 20608.204
AT ITER 2802 NEW BEST:: SOT 44282 SOS 24213 HAS SOPS 24213 HAS SOUS 20557 HAS SOUPS 20557 WITH SCORE 20581.213
AT ITER 2804 NEW BEST:: SOT 44277 SOS 24203 HAS SOPS 24203 HAS SOUS 20552 HAS SOUPS 20552 WITH SCORE 20576.203
AT ITER 2807 NEW BEST:: SOT 44226 SOS 24394 HAS SOPS 24394 HAS SOUS 20521 HAS SOUPS 20521 WITH SCORE 20545.394
AT ITER 2815 NEW BEST:: SOT 44226 SOS 24393 HAS SOPS 24393 HAS SOUS 20520 HAS SOUPS 20520 WITH SCORE 20544.393
AT ITER 2836 NEW BEST:: SOT 44115 SOS 24339 HAS SOPS 24339 HAS SOUS 20466 HAS SOUPS 20466 WITH SCORE 20490.339
AT ITER 2841 NEW BEST:: SOT 44099 SOS 24331 HAS SOPS 24331 HAS SOUS 20458 HAS SOUPS 20458 WITH SCORE 20482.331
AT ITER 2843 NEW BEST:: SOT 44117 SOS 24336 HAS SOPS 24336 HAS SOUS 20448 HAS SOUPS 20448 WITH SCORE 20472.336
AT ITER 2858 NEW BEST:: SOT 44096 SOS 24323 HAS SOPS 24323 HAS SOUS 20438 HAS SOUPS 20438 WITH SCORE 20462.323
AT ITER 2859 NEW BEST:: SOT 44070 SOS 24385 HAS SOPS 24385 HAS SOUS 20412 HAS SOUPS 20412 WITH SCORE 20436.385
AT ITER 2865 NEW BEST:: SOT 44075 SOS 24382 HAS SOPS 24382 HAS SOUS 20403 HAS SOUPS 20403 WITH SCORE 20427.382
AT ITER 2876 NEW BEST:: SOT 44076 SOS 24383 HAS SOPS 24383 HAS SOUS 20401 HAS SOUPS 20401 WITH SCORE 20425.383
AT ITER 2879 NEW BEST:: SOT 44072 SOS 24383 HAS SOPS 24383 HAS SOUS 20397 HAS SOUPS 20397 WITH SCORE 20421.383
AT ITER 2896 NEW BEST:: SOT 44071 SOS 24382 HAS SOPS 24382 HAS SOUS 20396 HAS SOUPS 20396 WITH SCORE 20420.382
AT ITER 2897 NEW BEST:: SOT 44044 SOS 24355 HAS SOPS 24355 HAS SOUS 20369 HAS SOUPS 20369 WITH SCORE 20393.355
AT ITER 2932 NEW BEST:: SOT 44036 SOS 24347 HAS SOPS 24347 HAS SOUS 20366 HAS SOUPS 20366 WITH SCORE 20390.347
AT ITER 2959 NEW BEST:: SOT 44002 SOS 24313 HAS SOPS 24313 HAS SOUS 20332 HAS SOUPS 20332 WITH SCORE 20356.313
AT ITER 2974 NEW BEST:: SOT 43978 SOS 24289 HAS SOPS 24289 HAS SOUS 20300 HAS SOUPS 20300 WITH SCORE 20324.289
AT ITER 2977 NEW BEST:: SOT 43916 SOS 24254 HAS SOPS 24254 HAS SOUS 20265 HAS SOUPS 20265 WITH SCORE 20289.254
AT ITER 3003 NEW BEST:: SOT 43916 SOS 24254 HAS SOPS 24254 HAS SOUS 20262 HAS SOUPS 20262 WITH SCORE 20286.254
AT ITER 3008 NEW BEST:: SOT 43926 SOS 24264 HAS SOPS 24264 HAS SOUS 20257 HAS SOUPS 20257 WITH SCORE 20281.264
AT ITER 3025 NEW BEST:: SOT 43916 SOS 24254 HAS SOPS 24254 HAS SOUS 20247 HAS SOUPS 20247 WITH SCORE 20271.254
AT ITER 3036 NEW BEST:: SOT 43905 SOS 24243 HAS SOPS 24243 HAS SOUS 20236 HAS SOUPS 20236 WITH SCORE 20260.243
AT ITER 3045 NEW BEST:: SOT 43823 SOS 24199 HAS SOPS 24199 HAS SOUS 20192 HAS SOUPS 20192 WITH SCORE 20216.199
AT ITER 3061 NEW BEST:: SOT 43793 SOS 24380 HAS SOPS 24380 HAS SOUS 20183 HAS SOUPS 20183 WITH SCORE 20207.38
AT ITER 3083 NEW BEST:: SOT 43791 SOS 24376 HAS SOPS 24376 HAS SOUS 20181 HAS SOUPS 20181 WITH SCORE 20205.376
AT ITER 3110 NEW BEST:: SOT 43791 SOS 24354 HAS SOPS 24354 HAS SOUS 20181 HAS SOUPS 20181 WITH SCORE 20205.354
AT ITER 3131 NEW BEST:: SOT 43791 SOS 24338 HAS SOPS 24338 HAS SOUS 20155 HAS SOUPS 20155 WITH SCORE 20179.338
AT ITER 3150 NEW BEST:: SOT 43791 SOS 24336 HAS SOPS 24336 HAS SOUS 20151 HAS SOUPS 20151 WITH SCORE 20175.336
AT ITER 3151 NEW BEST:: SOT 43778 SOS 24336 HAS SOPS 24336 HAS SOUS 20148 HAS SOUPS 20148 WITH SCORE 20172.336
AT ITER 3156 NEW BEST:: SOT 43776 SOS 24323 HAS SOPS 24323 HAS SOUS 20139 HAS SOUPS 20139 WITH SCORE 20163.323
AT ITER 3157 NEW BEST:: SOT 43741 SOS 24288 HAS SOPS 24288 HAS SOUS 20104 HAS SOUPS 20104 WITH SCORE 20128.288
AT ITER 3208 NEW BEST:: SOT 43726 SOS 24273 HAS SOPS 24273 HAS SOUS 20089 HAS SOUPS 20089 WITH SCORE 20113.273
AT ITER 3229 NEW BEST:: SOT 43711 SOS 24252 HAS SOPS 24252 HAS SOUS 20068 HAS SOUPS 20068 WITH SCORE 20092.252
AT ITER 3239 NEW BEST:: SOT 43704 SOS 24249 HAS SOPS 24249 HAS SOUS 20065 HAS SOUPS 20065 WITH SCORE 20089.249
AT ITER 3252 NEW BEST:: SOT 43698 SOS 24246 HAS SOPS 24246 HAS SOUS 20062 HAS SOUPS 20062 WITH SCORE 20086.246
AT ITER 3261 NEW BEST:: SOT 43696 SOS 24244 HAS SOPS 24244 HAS SOUS 20060 HAS SOUPS 20060 WITH SCORE 20084.244
AT ITER 3268 NEW BEST:: SOT 43695 SOS 24243 HAS SOPS 24243 HAS SOUS 20059 HAS SOUPS 20059 WITH SCORE 20083.243
AT ITER 3276 NEW BEST:: SOT 43619 SOS 24227 HAS SOPS 24227 HAS SOUS 19999 HAS SOUPS 19999 WITH SCORE 20023.227
AT ITER 3302 NEW BEST:: SOT 43589 SOS 24225 HAS SOPS 24225 HAS SOUS 19996 HAS SOUPS 19996 WITH SCORE 20020.225
AT ITER 3321 NEW BEST:: SOT 43668 SOS 24214 HAS SOPS 24214 HAS SOUS 19986 HAS SOUPS 19986 WITH SCORE 20010.214
AT ITER 3344 NEW BEST:: SOT 43656 SOS 24202 HAS SOPS 24202 HAS SOUS 19974 HAS SOUPS 19974 WITH SCORE 19998.202
AT ITER 3351 NEW BEST:: SOT 43655 SOS 24201 HAS SOPS 24201 HAS SOUS 19972 HAS SOUPS 19972 WITH SCORE 19996.201
AT ITER 3363 NEW BEST:: SOT 43655 SOS 24202 HAS SOPS 24202 HAS SOUS 19966 HAS SOUPS 19966 WITH SCORE 19990.202
AT ITER 3366 NEW BEST:: SOT 43613 SOS 24204 HAS SOPS 24204 HAS SOUS 19946 HAS SOUPS 19946 WITH SCORE 19970.204
AT ITER 3405 NEW BEST:: SOT 43613 SOS 24187 HAS SOPS 24187 HAS SOUS 19946 HAS SOUPS 19946 WITH SCORE 19970.187
AT ITER 3409 NEW BEST:: SOT 43609 SOS 24247 HAS SOPS 24247 HAS SOUS 19942 HAS SOUPS 19942 WITH SCORE 19966.247
AT ITER 3420 NEW BEST:: SOT 43618 SOS 24235 HAS SOPS 24235 HAS SOUS 19930 HAS SOUPS 19930 WITH SCORE 19954.235
AT ITER 3444 NEW BEST:: SOT 43618 SOS 24214 HAS SOPS 24214 HAS SOUS 19917 HAS SOUPS 19917 WITH SCORE 19941.214
AT ITER 3463 NEW BEST:: SOT 43616 SOS 24201 HAS SOPS 24201 HAS SOUS 19910 HAS SOUPS 19910 WITH SCORE 19934.201
AT ITER 3486 NEW BEST:: SOT 43665 SOS 24206 HAS SOPS 24206 HAS SOUS 19880 HAS SOUPS 19880 WITH SCORE 19904.206
AT ITER 3502 NEW BEST:: SOT 43663 SOS 24208 HAS SOPS 24208 HAS SOUS 19878 HAS SOUPS 19878 WITH SCORE 19902.208
AT ITER 3504 NEW BEST:: SOT 43593 SOS 24165 HAS SOPS 24165 HAS SOUS 19852 HAS SOUPS 19852 WITH SCORE 19876.165
AT ITER 3519 NEW BEST:: SOT 43589 SOS 24161 HAS SOPS 24161 HAS SOUS 19848 HAS SOUPS 19848 WITH SCORE 19872.161
AT ITER 3525 NEW BEST:: SOT 43576 SOS 24148 HAS SOPS 24148 HAS SOUS 19835 HAS SOUPS 19835 WITH SCORE 19859.148
AT ITER 3528 NEW BEST:: SOT 43576 SOS 24134 HAS SOPS 24134 HAS SOUS 19835 HAS SOUPS 19835 WITH SCORE 19859.134
AT ITER 3589 NEW BEST:: SOT 43546 SOS 24114 HAS SOPS 24114 HAS SOUS 19825 HAS SOUPS 19825 WITH SCORE 19849.114
AT ITER 3603 NEW BEST:: SOT 43531 SOS 24055 HAS SOPS 24055 HAS SOUS 19815 HAS SOUPS 19815 WITH SCORE 19839.055
AT ITER 3644 NEW BEST:: SOT 43526 SOS 24050 HAS SOPS 24050 HAS SOUS 19810 HAS SOUPS 19810 WITH SCORE 19834.05
AT ITER 3654 NEW BEST:: SOT 43522 SOS 24049 HAS SOPS 24049 HAS SOUS 19806 HAS SOUPS 19806 WITH SCORE 19830.049
AT ITER 3671 NEW BEST:: SOT 43502 SOS 24029 HAS SOPS 24029 HAS SOUS 19786 HAS SOUPS 19786 WITH SCORE 19810.029
AT ITER 3680 NEW BEST:: SOT 43486 SOS 24013 HAS SOPS 24013 HAS SOUS 19770 HAS SOUPS 19770 WITH SCORE 19794.013
AT ITER 3681 NEW BEST:: SOT 43460 SOS 23987 HAS SOPS 23987 HAS SOUS 19744 HAS SOUPS 19744 WITH SCORE 19767.987
AT ITER 3712 NEW BEST:: SOT 43484 SOS 23987 HAS SOPS 23987 HAS SOUS 19730 HAS SOUPS 19730 WITH SCORE 19753.987
AT ITER 3726 NEW BEST:: SOT 43484 SOS 23969 HAS SOPS 23969 HAS SOUS 19730 HAS SOUPS 19730 WITH SCORE 19753.969
AT ITER 3766 NEW BEST:: SOT 43484 SOS 23929 HAS SOPS 23929 HAS SOUS 19677 HAS SOUPS 19677 WITH SCORE 19700.929
AT ITER 3775 NEW BEST:: SOT 43484 SOS 23903 HAS SOPS 23903 HAS SOUS 19677 HAS SOUPS 19677 WITH SCORE 19700.903
AT ITER 3778 NEW BEST:: SOT 43471 SOS 23890 HAS SOPS 23890 HAS SOUS 19664 HAS SOUPS 19664 WITH SCORE 19687.89
AT ITER 3829 NEW BEST:: SOT 43461 SOS 23963 HAS SOPS 23963 HAS SOUS 19654 HAS SOUPS 19654 WITH SCORE 19677.963
AT ITER 3850 NEW BEST:: SOT 43461 SOS 23980 HAS SOPS 23980 HAS SOUS 19629 HAS SOUPS 19629 WITH SCORE 19652.98
AT ITER 3873 NEW BEST:: SOT 43457 SOS 23976 HAS SOPS 23976 HAS SOUS 19625 HAS SOUPS 19625 WITH SCORE 19648.976
AT ITER 3913 NEW BEST:: SOT 43457 SOS 23939 HAS SOPS 23939 HAS SOUS 19625 HAS SOUPS 19625 WITH SCORE 19648.939
AT ITER 3929 NEW BEST:: SOT 43475 SOS 23957 HAS SOPS 23957 HAS SOUS 19607 HAS SOUPS 19607 WITH SCORE 19630.957
AT ITER 3933 NEW BEST:: SOT 43529 SOS 24011 HAS SOPS 24011 HAS SOUS 19578 HAS SOUPS 19578 WITH SCORE 19602.011
AT ITER 3937 NEW BEST:: SOT 43503 SOS 23985 HAS SOPS 23985 HAS SOUS 19548 HAS SOUPS 19548 WITH SCORE 19571.985
AT ITER 3942 NEW BEST:: SOT 43535 SOS 24001 HAS SOPS 24001 HAS SOUS 19547 HAS SOUPS 19547 WITH SCORE 19571.001
AT ITER 3963 NEW BEST:: SOT 43540 SOS 24002 HAS SOPS 24002 HAS SOUS 19540 HAS SOUPS 19540 WITH SCORE 19564.002
AT ITER 3977 NEW BEST:: SOT 43543 SOS 24000 HAS SOPS 24000 HAS SOUS 19538 HAS SOUPS 19538 WITH SCORE 19562.0
AT ITER 3995 NEW BEST:: SOT 43517 SOS 23990 HAS SOPS 23990 HAS SOUS 19536 HAS SOUPS 19536 WITH SCORE 19559.99
AT ITER 4038 NEW BEST:: SOT 43505 SOS 23978 HAS SOPS 23978 HAS SOUS 19524 HAS SOUPS 19524 WITH SCORE 19547.978
AT ITER 4041 NEW BEST:: SOT 43485 SOS 23958 HAS SOPS 23958 HAS SOUS 19519 HAS SOUPS 19519 WITH SCORE 19542.958
AT ITER 4061 NEW BEST:: SOT 43484 SOS 23957 HAS SOPS 23957 HAS SOUS 19518 HAS SOUPS 19518 WITH SCORE 19541.957
AT ITER 4116 NEW BEST:: SOT 43488 SOS 23929 HAS SOPS 23929 HAS SOUS 19512 HAS SOUPS 19512 WITH SCORE 19535.929
AT ITER 4119 NEW BEST:: SOT 43477 SOS 23932 HAS SOPS 23932 HAS SOUS 19506 HAS SOUPS 19506 WITH SCORE 19529.932
AT ITER 4131 NEW BEST:: SOT 43477 SOS 23919 HAS SOPS 23919 HAS SOUS 19500 HAS SOUPS 19500 WITH SCORE 19523.919
AT ITER 4165 NEW BEST:: SOT 43467 SOS 23909 HAS SOPS 23909 HAS SOUS 19490 HAS SOUPS 19490 WITH SCORE 19513.909
AT ITER 4176 NEW BEST:: SOT 43454 SOS 23896 HAS SOPS 23896 HAS SOUS 19477 HAS SOUPS 19477 WITH SCORE 19500.896
AT ITER 4203 NEW BEST:: SOT 43454 SOS 23848 HAS SOPS 23848 HAS SOUS 19429 HAS SOUPS 19429 WITH SCORE 19452.848
AT ITER 4215 NEW BEST:: SOT 43428 SOS 23822 HAS SOPS 23822 HAS SOUS 19403 HAS SOUPS 19403 WITH SCORE 19426.822
AT ITER 4231 NEW BEST:: SOT 43428 SOS 23817 HAS SOPS 23817 HAS SOUS 19403 HAS SOUPS 19403 WITH SCORE 19426.817
AT ITER 4257 NEW BEST:: SOT 43410 SOS 23808 HAS SOPS 23808 HAS SOUS 19365 HAS SOUPS 19365 WITH SCORE 19388.808
AT ITER 4265 NEW BEST:: SOT 43407 SOS 23805 HAS SOPS 23805 HAS SOUS 19362 HAS SOUPS 19362 WITH SCORE 19385.805
AT ITER 4291 NEW BEST:: SOT 43407 SOS 23800 HAS SOPS 23800 HAS SOUS 19357 HAS SOUPS 19357 WITH SCORE 19380.8
AT ITER 4297 NEW BEST:: SOT 43407 SOS 23787 HAS SOPS 23787 HAS SOUS 19342 HAS SOUPS 19342 WITH SCORE 19365.787
AT ITER 4329 NEW BEST:: SOT 43405 SOS 23785 HAS SOPS 23785 HAS SOUS 19340 HAS SOUPS 19340 WITH SCORE 19363.785
AT ITER 4339 NEW BEST:: SOT 43405 SOS 23774 HAS SOPS 23774 HAS SOUS 19340 HAS SOUPS 19340 WITH SCORE 19363.774
AT ITER 4347 NEW BEST:: SOT 43351 SOS 23716 HAS SOPS 23716 HAS SOUS 19333 HAS SOUPS 19333 WITH SCORE 19356.716
AT ITER 4356 NEW BEST:: SOT 43322 SOS 23706 HAS SOPS 23706 HAS SOUS 19323 HAS SOUPS 19323 WITH SCORE 19346.706
AT ITER 4373 NEW BEST:: SOT 43298 SOS 23705 HAS SOPS 23705 HAS SOUS 19316 HAS SOUPS 19316 WITH SCORE 19339.705
AT ITER 4408 NEW BEST:: SOT 43284 SOS 23691 HAS SOPS 23691 HAS SOUS 19302 HAS SOUPS 19302 WITH SCORE 19325.691
AT ITER 4448 NEW BEST:: SOT 43274 SOS 23681 HAS SOPS 23681 HAS SOUS 19292 HAS SOUPS 19292 WITH SCORE 19315.681
AT ITER 4454 NEW BEST:: SOT 43258 SOS 23665 HAS SOPS 23665 HAS SOUS 19276 HAS SOUPS 19276 WITH SCORE 19299.665
AT ITER 4524 NEW BEST:: SOT 43257 SOS 23671 HAS SOPS 23671 HAS SOUS 19265 HAS SOUPS 19265 WITH SCORE 19288.671
AT ITER 4531 NEW BEST:: SOT 43261 SOS 23673 HAS SOPS 23673 HAS SOUS 19264 HAS SOUPS 19264 WITH SCORE 19287.673
AT ITER 4547 NEW BEST:: SOT 43245 SOS 23668 HAS SOPS 23668 HAS SOUS 19259 HAS SOUPS 19259 WITH SCORE 19282.668
AT ITER 4563 NEW BEST:: SOT 43219 SOS 23648 HAS SOPS 23648 HAS SOUS 19250 HAS SOUPS 19250 WITH SCORE 19273.648
AT ITER 4571 NEW BEST:: SOT 43206 SOS 23745 HAS SOPS 23745 HAS SOUS 19237 HAS SOUPS 19237 WITH SCORE 19260.745
AT ITER 4610 NEW BEST:: SOT 43206 SOS 23736 HAS SOPS 23736 HAS SOUS 19237 HAS SOUPS 19237 WITH SCORE 19260.736
AT ITER 4613 NEW BEST:: SOT 43206 SOS 23736 HAS SOPS 23736 HAS SOUS 19235 HAS SOUPS 19235 WITH SCORE 19258.736
AT ITER 4631 NEW BEST:: SOT 43195 SOS 23725 HAS SOPS 23725 HAS SOUS 19224 HAS SOUPS 19224 WITH SCORE 19247.725
AT ITER 4632 NEW BEST:: SOT 43195 SOS 23725 HAS SOPS 23725 HAS SOUS 19222 HAS SOUPS 19222 WITH SCORE 19245.725
AT ITER 4693 NEW BEST:: SOT 43195 SOS 23694 HAS SOPS 23694 HAS SOUS 19222 HAS SOUPS 19222 WITH SCORE 19245.694
AT ITER 4722 NEW BEST:: SOT 43194 SOS 23693 HAS SOPS 23693 HAS SOUS 19221 HAS SOUPS 19221 WITH SCORE 19244.693
AT ITER 4726 NEW BEST:: SOT 43160 SOS 23693 HAS SOPS 23693 HAS SOUS 19187 HAS SOUPS 19187 WITH SCORE 19210.693
AT ITER 4813 NEW BEST:: SOT 43158 SOS 23707 HAS SOPS 23707 HAS SOUS 19166 HAS SOUPS 19166 WITH SCORE 19189.707
AT ITER 4819 NEW BEST:: SOT 43157 SOS 23718 HAS SOPS 23718 HAS SOUS 19159 HAS SOUPS 19159 WITH SCORE 19182.718
AT ITER 4834 NEW BEST:: SOT 43152 SOS 23713 HAS SOPS 23713 HAS SOUS 19154 HAS SOUPS 19154 WITH SCORE 19177.713
AT ITER 4846 NEW BEST:: SOT 43152 SOS 23713 HAS SOPS 23713 HAS SOUS 19153 HAS SOUPS 19153 WITH SCORE 19176.713
AT ITER 4857 NEW BEST:: SOT 43152 SOS 23705 HAS SOPS 23705 HAS SOUS 19153 HAS SOUPS 19153 WITH SCORE 19176.705
AT ITER 4879 NEW BEST:: SOT 43147 SOS 23700 HAS SOPS 23700 HAS SOUS 19148 HAS SOUPS 19148 WITH SCORE 19171.7
AT ITER 4888 NEW BEST:: SOT 43140 SOS 23693 HAS SOPS 23693 HAS SOUS 19141 HAS SOUPS 19141 WITH SCORE 19164.693
AT ITER 4897 NEW BEST:: SOT 43134 SOS 23687 HAS SOPS 23687 HAS SOUS 19129 HAS SOUPS 19129 WITH SCORE 19152.687
AT ITER 4898 NEW BEST:: SOT 43114 SOS 23743 HAS SOPS 23743 HAS SOUS 19088 HAS SOUPS 19088 WITH SCORE 19111.743
AT ITER 4930 NEW BEST:: SOT 43114 SOS 23739 HAS SOPS 23739 HAS SOUS 19086 HAS SOUPS 19086 WITH SCORE 19109.739
AT ITER 4945 NEW BEST:: SOT 43111 SOS 23887 HAS SOPS 23887 HAS SOUS 19083 HAS SOUPS 19083 WITH SCORE 19106.887
AT ITER 4978 NEW BEST:: SOT 43111 SOS 23883 HAS SOPS 23883 HAS SOUS 19063 HAS SOUPS 19063 WITH SCORE 19086.883
AT ITER 5016 NEW BEST:: SOT 43107 SOS 23879 HAS SOPS 23879 HAS SOUS 19059 HAS SOUPS 19059 WITH SCORE 19082.879
AT ITER 5040 NEW BEST:: SOT 43095 SOS 23867 HAS SOPS 23867 HAS SOUS 19047 HAS SOUPS 19047 WITH SCORE 19070.867
AT ITER 5042 NEW BEST:: SOT 43095 SOS 23858 HAS SOPS 23858 HAS SOUS 19047 HAS SOUPS 19047 WITH SCORE 19070.858
AT ITER 5048 NEW BEST:: SOT 43125 SOS 23852 HAS SOPS 23852 HAS SOUS 19039 HAS SOUPS 19039 WITH SCORE 19062.852
AT ITER 5085 NEW BEST:: SOT 43121 SOS 23860 HAS SOPS 23860 HAS SOUS 19035 HAS SOUPS 19035 WITH SCORE 19058.86
AT ITER 5087 NEW BEST:: SOT 43118 SOS 23857 HAS SOPS 23857 HAS SOUS 19032 HAS SOUPS 19032 WITH SCORE 19055.857
AT ITER 5096 NEW BEST:: SOT 43108 SOS 23857 HAS SOPS 23857 HAS SOUS 19026 HAS SOUPS 19026 WITH SCORE 19049.857
AT ITER 5102 NEW BEST:: SOT 43108 SOS 23853 HAS SOPS 23853 HAS SOUS 19026 HAS SOUPS 19026 WITH SCORE 19049.853
AT ITER 5105 NEW BEST:: SOT 43100 SOS 23845 HAS SOPS 23845 HAS SOUS 19023 HAS SOUPS 19023 WITH SCORE 19046.845
AT ITER 5128 NEW BEST:: SOT 43094 SOS 23845 HAS SOPS 23845 HAS SOUS 19017 HAS SOUPS 19017 WITH SCORE 19040.845
AT ITER 5132 NEW BEST:: SOT 43086 SOS 23843 HAS SOPS 23843 HAS SOUS 18991 HAS SOUPS 18991 WITH SCORE 19014.843
AT ITER 5133 NEW BEST:: SOT 43029 SOS 23853 HAS SOPS 23853 HAS SOUS 18985 HAS SOUPS 18985 WITH SCORE 19008.853
AT ITER 5163 NEW BEST:: SOT 42988 SOS 23868 HAS SOPS 23868 HAS SOUS 18982 HAS SOUPS 18982 WITH SCORE 19005.868
AT ITER 5167 NEW BEST:: SOT 42988 SOS 23801 HAS SOPS 23801 HAS SOUS 18966 HAS SOUPS 18966 WITH SCORE 18989.801
AT ITER 5186 NEW BEST:: SOT 42976 SOS 23838 HAS SOPS 23838 HAS SOUS 18954 HAS SOUPS 18954 WITH SCORE 18977.838
AT ITER 5190 NEW BEST:: SOT 42974 SOS 23836 HAS SOPS 23836 HAS SOUS 18952 HAS SOUPS 18952 WITH SCORE 18975.836
AT ITER 5210 NEW BEST:: SOT 42974 SOS 23831 HAS SOPS 23831 HAS SOUS 18942 HAS SOUPS 18942 WITH SCORE 18965.831
AT ITER 5249 NEW BEST:: SOT 42975 SOS 23850 HAS SOPS 23850 HAS SOUS 18939 HAS SOUPS 18939 WITH SCORE 18962.85
AT ITER 5277 NEW BEST:: SOT 42975 SOS 23826 HAS SOPS 23826 HAS SOUS 18928 HAS SOUPS 18928 WITH SCORE 18951.826
AT ITER 5313 NEW BEST:: SOT 42969 SOS 23838 HAS SOPS 23838 HAS SOUS 18922 HAS SOUPS 18922 WITH SCORE 18945.838
AT ITER 5338 NEW BEST:: SOT 42969 SOS 23832 HAS SOPS 23832 HAS SOUS 18918 HAS SOUPS 18918 WITH SCORE 18941.832
AT ITER 5363 NEW BEST:: SOT 42969 SOS 23807 HAS SOPS 23807 HAS SOUS 18918 HAS SOUPS 18918 WITH SCORE 18941.807
AT ITER 5378 NEW BEST:: SOT 42954 SOS 23716 HAS SOPS 23716 HAS SOUS 18884 HAS SOUPS 18884 WITH SCORE 18907.716
AT ITER 5391 NEW BEST:: SOT 42954 SOS 23709 HAS SOPS 23709 HAS SOUS 18877 HAS SOUPS 18877 WITH SCORE 18900.709
AT ITER 5424 NEW BEST:: SOT 42934 SOS 23733 HAS SOPS 23733 HAS SOUS 18857 HAS SOUPS 18857 WITH SCORE 18880.733
AT ITER 5436 NEW BEST:: SOT 42933 SOS 23736 HAS SOPS 23736 HAS SOUS 18856 HAS SOUPS 18856 WITH SCORE 18879.736
AT ITER 5464 NEW BEST:: SOT 42887 SOS 23765 HAS SOPS 23765 HAS SOUS 18852 HAS SOUPS 18852 WITH SCORE 18875.765
AT ITER 5501 NEW BEST:: SOT 42887 SOS 23765 HAS SOPS 23765 HAS SOUS 18846 HAS SOUPS 18846 WITH SCORE 18869.765
AT ITER 5519 NEW BEST:: SOT 42881 SOS 23759 HAS SOPS 23759 HAS SOUS 18840 HAS SOUPS 18840 WITH SCORE 18863.759
AT ITER 5523 NEW BEST:: SOT 42882 SOS 23756 HAS SOPS 23756 HAS SOUS 18839 HAS SOUPS 18839 WITH SCORE 18862.756
AT ITER 5530 NEW BEST:: SOT 42877 SOS 23757 HAS SOPS 23757 HAS SOUS 18834 HAS SOUPS 18834 WITH SCORE 18857.757
AT ITER 5536 NEW BEST:: SOT 42890 SOS 23761 HAS SOPS 23761 HAS SOUS 18831 HAS SOUPS 18831 WITH SCORE 18854.761
AT ITER 5540 NEW BEST:: SOT 42890 SOS 23761 HAS SOPS 23761 HAS SOUS 18829 HAS SOUPS 18829 WITH SCORE 18852.761
AT ITER 5582 NEW BEST:: SOT 42876 SOS 23768 HAS SOPS 23768 HAS SOUS 18820 HAS SOUPS 18820 WITH SCORE 18843.768
AT ITER 5606 NEW BEST:: SOT 42871 SOS 23763 HAS SOPS 23763 HAS SOUS 18815 HAS SOUPS 18815 WITH SCORE 18838.763
AT ITER 5642 NEW BEST:: SOT 42853 SOS 23745 HAS SOPS 23745 HAS SOUS 18797 HAS SOUPS 18797 WITH SCORE 18820.745
AT ITER 5652 NEW BEST:: SOT 42850 SOS 23744 HAS SOPS 23744 HAS SOUS 18794 HAS SOUPS 18794 WITH SCORE 18817.744
AT ITER 5679 NEW BEST:: SOT 42850 SOS 23739 HAS SOPS 23739 HAS SOUS 18794 HAS SOUPS 18794 WITH SCORE 18817.739
AT ITER 5687 NEW BEST:: SOT 42848 SOS 23737 HAS SOPS 23737 HAS SOUS 18792 HAS SOUPS 18792 WITH SCORE 18815.737
AT ITER 5689 NEW BEST:: SOT 42835 SOS 23724 HAS SOPS 23724 HAS SOUS 18778 HAS SOUPS 18778 WITH SCORE 18801.724
AT ITER 5694 NEW BEST:: SOT 42821 SOS 23734 HAS SOPS 23734 HAS SOUS 18776 HAS SOUPS 18776 WITH SCORE 18799.734
AT ITER 5725 NEW BEST:: SOT 42821 SOS 23732 HAS SOPS 23732 HAS SOUS 18772 HAS SOUPS 18772 WITH SCORE 18795.732
AT ITER 5737 NEW BEST:: SOT 42819 SOS 23732 HAS SOPS 23732 HAS SOUS 18770 HAS SOUPS 18770 WITH SCORE 18793.732
AT ITER 5743 NEW BEST:: SOT 42829 SOS 23726 HAS SOPS 23726 HAS SOUS 18770 HAS SOUPS 18770 WITH SCORE 18793.726
AT ITER 5806 NEW BEST:: SOT 42829 SOS 23689 HAS SOPS 23689 HAS SOUS 18770 HAS SOUPS 18770 WITH SCORE 18793.689
AT ITER 5808 NEW BEST:: SOT 42829 SOS 23687 HAS SOPS 23687 HAS SOUS 18768 HAS SOUPS 18768 WITH SCORE 18791.687
AT ITER 5810 NEW BEST:: SOT 42809 SOS 23677 HAS SOPS 23677 HAS SOUS 18768 HAS SOUPS 18768 WITH SCORE 18791.677
AT ITER 5815 NEW BEST:: SOT 42803 SOS 23671 HAS SOPS 23671 HAS SOUS 18754 HAS SOUPS 18754 WITH SCORE 18777.671
AT ITER 5858 NEW BEST:: SOT 42801 SOS 23670 HAS SOPS 23670 HAS SOUS 18754 HAS SOUPS 18754 WITH SCORE 18777.67
AT ITER 5908 NEW BEST:: SOT 42802 SOS 23586 HAS SOPS 23586 HAS SOUS 18745 HAS SOUPS 18745 WITH SCORE 18768.586
AT ITER 5932 NEW BEST:: SOT 42871 SOS 23583 HAS SOPS 23583 HAS SOUS 18729 HAS SOUPS 18729 WITH SCORE 18752.583
AT ITER 5979 NEW BEST:: SOT 42866 SOS 23577 HAS SOPS 23577 HAS SOUS 18723 HAS SOUPS 18723 WITH SCORE 18746.577
AT ITER 5987 NEW BEST:: SOT 42866 SOS 23547 HAS SOPS 23547 HAS SOUS 18723 HAS SOUPS 18723 WITH SCORE 18746.547
AT ITER 5993 NEW BEST:: SOT 42857 SOS 23531 HAS SOPS 23531 HAS SOUS 18714 HAS SOUPS 18714 WITH SCORE 18737.531
AT ITER 5999 NEW BEST:: SOT 42675 SOS 23435 HAS SOPS 23435 HAS SOUS 18683 HAS SOUPS 18683 WITH SCORE 18706.435
AT ITER 6015 NEW BEST:: SOT 42655 SOS 23430 HAS SOPS 23430 HAS SOUS 18678 HAS SOUPS 18678 WITH SCORE 18701.43
AT ITER 6037 NEW BEST:: SOT 42586 SOS 23441 HAS SOPS 23441 HAS SOUS 18676 HAS SOUPS 18676 WITH SCORE 18699.441
AT ITER 6044 NEW BEST:: SOT 42623 SOS 23424 HAS SOPS 23424 HAS SOUS 18660 HAS SOUPS 18660 WITH SCORE 18683.424
AT ITER 6047 NEW BEST:: SOT 42642 SOS 23409 HAS SOPS 23409 HAS SOUS 18637 HAS SOUPS 18637 WITH SCORE 18660.409
AT ITER 6050 NEW BEST:: SOT 42642 SOS 23401 HAS SOPS 23401 HAS SOUS 18637 HAS SOUPS 18637 WITH SCORE 18660.401
AT ITER 6072 NEW BEST:: SOT 42632 SOS 23427 HAS SOPS 23427 HAS SOUS 18631 HAS SOUPS 18631 WITH SCORE 18654.427
AT ITER 6079 NEW BEST:: SOT 42620 SOS 23415 HAS SOPS 23415 HAS SOUS 18619 HAS SOUPS 18619 WITH SCORE 18642.415
AT ITER 6085 NEW BEST:: SOT 42625 SOS 23413 HAS SOPS 23413 HAS SOUS 18617 HAS SOUPS 18617 WITH SCORE 18640.413
AT ITER 6111 NEW BEST:: SOT 42589 SOS 23400 HAS SOPS 23400 HAS SOUS 18603 HAS SOUPS 18603 WITH SCORE 18626.4
AT ITER 6142 NEW BEST:: SOT 42612 SOS 23393 HAS SOPS 23393 HAS SOUS 18596 HAS SOUPS 18596 WITH SCORE 18619.393
AT ITER 6171 NEW BEST:: SOT 42611 SOS 23410 HAS SOPS 23410 HAS SOUS 18595 HAS SOUPS 18595 WITH SCORE 18618.41
AT ITER 6189 NEW BEST:: SOT 42584 SOS 23590 HAS SOPS 23590 HAS SOUS 18582 HAS SOUPS 18582 WITH SCORE 18605.59
AT ITER 6208 NEW BEST:: SOT 42584 SOS 23549 HAS SOPS 23549 HAS SOUS 18570 HAS SOUPS 18570 WITH SCORE 18593.549
AT ITER 6269 NEW BEST:: SOT 42582 SOS 23547 HAS SOPS 23547 HAS SOUS 18568 HAS SOUPS 18568 WITH SCORE 18591.547
AT ITER 6273 NEW BEST:: SOT 42587 SOS 23550 HAS SOPS 23550 HAS SOUS 18567 HAS SOUPS 18567 WITH SCORE 18590.55
AT ITER 6279 NEW BEST:: SOT 42595 SOS 23546 HAS SOPS 23546 HAS SOUS 18563 HAS SOUPS 18563 WITH SCORE 18586.546
AT ITER 6287 NEW BEST:: SOT 42583 SOS 23539 HAS SOPS 23539 HAS SOUS 18556 HAS SOUPS 18556 WITH SCORE 18579.539
AT ITER 6313 NEW BEST:: SOT 42565 SOS 23622 HAS SOPS 23622 HAS SOUS 18554 HAS SOUPS 18554 WITH SCORE 18577.622
AT ITER 6329 NEW BEST:: SOT 42565 SOS 23619 HAS SOPS 23619 HAS SOUS 18554 HAS SOUPS 18554 WITH SCORE 18577.619
AT ITER 6449 NEW BEST:: SOT 42591 SOS 23628 HAS SOPS 23628 HAS SOUS 18553 HAS SOUPS 18553 WITH SCORE 18576.628
AT ITER 6532 NEW BEST:: SOT 42568 SOS 23605 HAS SOPS 23605 HAS SOUS 18522 HAS SOUPS 18522 WITH SCORE 18545.605
AT ITER 6563 NEW BEST:: SOT 42567 SOS 23604 HAS SOPS 23604 HAS SOUS 18521 HAS SOUPS 18521 WITH SCORE 18544.604
AT ITER 6656 NEW BEST:: SOT 42569 SOS 23588 HAS SOPS 23588 HAS SOUS 18505 HAS SOUPS 18505 WITH SCORE 18528.588
AT ITER 6658 NEW BEST:: SOT 42562 SOS 23581 HAS SOPS 23581 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18521.581
AT ITER 6683 NEW BEST:: SOT 42581 SOS 23600 HAS SOPS 23600 HAS SOUS 18476 HAS SOUPS 18476 WITH SCORE 18499.6
AT ITER 6693 NEW BEST:: SOT 42579 SOS 23598 HAS SOPS 23598 HAS SOUS 18474 HAS SOUPS 18474 WITH SCORE 18497.598
AT ITER 6699 NEW BEST:: SOT 42579 SOS 23598 HAS SOPS 23598 HAS SOUS 18472 HAS SOUPS 18472 WITH SCORE 18495.598
AT ITER 6717 NEW BEST:: SOT 42568 SOS 23609 HAS SOPS 23609 HAS SOUS 18468 HAS SOUPS 18468 WITH SCORE 18491.609
AT ITER 6733 NEW BEST:: SOT 42567 SOS 23608 HAS SOPS 23608 HAS SOUS 18467 HAS SOUPS 18467 WITH SCORE 18490.608
AT ITER 6765 NEW BEST:: SOT 42566 SOS 23643 HAS SOPS 23643 HAS SOUS 18466 HAS SOUPS 18466 WITH SCORE 18489.643
AT ITER 6770 NEW BEST:: SOT 42565 SOS 23643 HAS SOPS 23643 HAS SOUS 18465 HAS SOUPS 18465 WITH SCORE 18488.643
AT ITER 6780 NEW BEST:: SOT 42567 SOS 23645 HAS SOPS 23645 HAS SOUS 18454 HAS SOUPS 18454 WITH SCORE 18477.645
AT ITER 6832 NEW BEST:: SOT 42567 SOS 23645 HAS SOPS 23645 HAS SOUS 18432 HAS SOUPS 18432 WITH SCORE 18455.645
AT ITER 6850 NEW BEST:: SOT 42502 SOS 23730 HAS SOPS 23730 HAS SOUS 18419 HAS SOUPS 18419 WITH SCORE 18442.73
AT ITER 6890 NEW BEST:: SOT 42477 SOS 23725 HAS SOPS 23725 HAS SOUS 18411 HAS SOUPS 18411 WITH SCORE 18434.725
AT ITER 6975 NEW BEST:: SOT 42469 SOS 23772 HAS SOPS 23772 HAS SOUS 18403 HAS SOUPS 18403 WITH SCORE 18426.772
AT ITER 7033 NEW BEST:: SOT 42465 SOS 23768 HAS SOPS 23768 HAS SOUS 18395 HAS SOUPS 18395 WITH SCORE 18418.768
AT ITER 7037 NEW BEST:: SOT 42461 SOS 23764 HAS SOPS 23764 HAS SOUS 18387 HAS SOUPS 18387 WITH SCORE 18410.764
AT ITER 7055 NEW BEST:: SOT 42461 SOS 23752 HAS SOPS 23752 HAS SOUS 18387 HAS SOUPS 18387 WITH SCORE 18410.752
AT ITER 7106 NEW BEST:: SOT 42403 SOS 23694 HAS SOPS 23694 HAS SOUS 18279 HAS SOUPS 18279 WITH SCORE 18302.694
AT ITER 7144 NEW BEST:: SOT 42403 SOS 23688 HAS SOPS 23688 HAS SOUS 18279 HAS SOUPS 18279 WITH SCORE 18302.688
AT ITER 7155 NEW BEST:: SOT 42403 SOS 23688 HAS SOPS 23688 HAS SOUS 18278 HAS SOUPS 18278 WITH SCORE 18301.688
AT ITER 7210 NEW BEST:: SOT 42403 SOS 23626 HAS SOPS 23626 HAS SOUS 18278 HAS SOUPS 18278 WITH SCORE 18301.626
AT ITER 7220 NEW BEST:: SOT 42409 SOS 23608 HAS SOPS 23608 HAS SOUS 18276 HAS SOUPS 18276 WITH SCORE 18299.608
AT ITER 7238 NEW BEST:: SOT 42409 SOS 23608 HAS SOPS 23608 HAS SOUS 18271 HAS SOUPS 18271 WITH SCORE 18294.608
AT ITER 7274 NEW BEST:: SOT 42402 SOS 23601 HAS SOPS 23601 HAS SOUS 18264 HAS SOUPS 18264 WITH SCORE 18287.601
AT ITER 7276 NEW BEST:: SOT 42402 SOS 23601 HAS SOPS 23601 HAS SOUS 18259 HAS SOUPS 18259 WITH SCORE 18282.601
AT ITER 7292 NEW BEST:: SOT 42402 SOS 23597 HAS SOPS 23597 HAS SOUS 18255 HAS SOUPS 18255 WITH SCORE 18278.597
AT ITER 7305 NEW BEST:: SOT 42398 SOS 23593 HAS SOPS 23593 HAS SOUS 18247 HAS SOUPS 18247 WITH SCORE 18270.593
AT ITER 7398 NEW BEST:: SOT 42398 SOS 23578 HAS SOPS 23578 HAS SOUS 18247 HAS SOUPS 18247 WITH SCORE 18270.578
AT ITER 7461 NEW BEST:: SOT 42391 SOS 23558 HAS SOPS 23558 HAS SOUS 18243 HAS SOUPS 18243 WITH SCORE 18266.558
AT ITER 7477 NEW BEST:: SOT 42391 SOS 23558 HAS SOPS 23558 HAS SOUS 18240 HAS SOUPS 18240 WITH SCORE 18263.558
AT ITER 7602 NEW BEST:: SOT 42391 SOS 23550 HAS SOPS 23550 HAS SOUS 18238 HAS SOUPS 18238 WITH SCORE 18261.55
AT ITER 7615 NEW BEST:: SOT 42383 SOS 23542 HAS SOPS 23542 HAS SOUS 18230 HAS SOUPS 18230 WITH SCORE 18253.542
AT ITER 7622 NEW BEST:: SOT 42383 SOS 23537 HAS SOPS 23537 HAS SOUS 18230 HAS SOUPS 18230 WITH SCORE 18253.537
AT ITER 7669 NEW BEST:: SOT 42383 SOS 23505 HAS SOPS 23505 HAS SOUS 18230 HAS SOUPS 18230 WITH SCORE 18253.505
AT ITER 7681 NEW BEST:: SOT 42403 SOS 23525 HAS SOPS 23525 HAS SOUS 18215 HAS SOUPS 18215 WITH SCORE 18238.525
AT ITER 7744 NEW BEST:: SOT 42400 SOS 23513 HAS SOPS 23513 HAS SOUS 18212 HAS SOUPS 18212 WITH SCORE 18235.513
AT ITER 7765 NEW BEST:: SOT 42434 SOS 23304 HAS SOPS 23304 HAS SOUS 18212 HAS SOUPS 18212 WITH SCORE 18235.304
AT ITER 7769 NEW BEST:: SOT 42434 SOS 23299 HAS SOPS 23299 HAS SOUS 18208 HAS SOUPS 18208 WITH SCORE 18231.299
AT ITER 7836 NEW BEST:: SOT 42429 SOS 23294 HAS SOPS 23294 HAS SOUS 18203 HAS SOUPS 18203 WITH SCORE 18226.294
AT ITER 7903 NEW BEST:: SOT 42429 SOS 23294 HAS SOPS 23294 HAS SOUS 18200 HAS SOUPS 18200 WITH SCORE 18223.294
AT ITER 7917 NEW BEST:: SOT 42425 SOS 23292 HAS SOPS 23292 HAS SOUS 18198 HAS SOUPS 18198 WITH SCORE 18221.292
AT ITER 7955 NEW BEST:: SOT 42413 SOS 23262 HAS SOPS 23262 HAS SOUS 18192 HAS SOUPS 18192 WITH SCORE 18215.262
AT ITER 8004 NEW BEST:: SOT 42395 SOS 23244 HAS SOPS 23244 HAS SOUS 18164 HAS SOUPS 18164 WITH SCORE 18187.244
AT ITER 8064 NEW BEST:: SOT 42383 SOS 23280 HAS SOPS 23280 HAS SOUS 18158 HAS SOUPS 18158 WITH SCORE 18181.28
AT ITER 8080 NEW BEST:: SOT 42359 SOS 23256 HAS SOPS 23256 HAS SOUS 18134 HAS SOUPS 18134 WITH SCORE 18157.256
AT ITER 8114 NEW BEST:: SOT 42359 SOS 23249 HAS SOPS 23249 HAS SOUS 18134 HAS SOUPS 18134 WITH SCORE 18157.249
AT ITER 8192 NEW BEST:: SOT 42359 SOS 23249 HAS SOPS 23249 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18151.249
AT ITER 8264 NEW BEST:: SOT 42349 SOS 23244 HAS SOPS 23244 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18151.244
AT ITER 8267 NEW BEST:: SOT 42348 SOS 23263 HAS SOPS 23263 HAS SOUS 18127 HAS SOUPS 18127 WITH SCORE 18150.263
AT ITER 8293 NEW BEST:: SOT 42347 SOS 23262 HAS SOPS 23262 HAS SOUS 18126 HAS SOUPS 18126 WITH SCORE 18149.262
AT ITER 8311 NEW BEST:: SOT 42334 SOS 23263 HAS SOPS 23263 HAS SOUS 18123 HAS SOUPS 18123 WITH SCORE 18146.263
AT ITER 8359 NEW BEST:: SOT 42334 SOS 23247 HAS SOPS 23247 HAS SOUS 18119 HAS SOUPS 18119 WITH SCORE 18142.247
AT ITER 8383 NEW BEST:: SOT 42317 SOS 23248 HAS SOPS 23248 HAS SOUS 18117 HAS SOUPS 18117 WITH SCORE 18140.248
AT ITER 8435 NEW BEST:: SOT 42316 SOS 23247 HAS SOPS 23247 HAS SOUS 18116 HAS SOUPS 18116 WITH SCORE 18139.247
AT ITER 8466 NEW BEST:: SOT 42283 SOS 23248 HAS SOPS 23248 HAS SOUS 18113 HAS SOUPS 18113 WITH SCORE 18136.248
AT ITER 8513 NEW BEST:: SOT 42269 SOS 23234 HAS SOPS 23234 HAS SOUS 18099 HAS SOUPS 18099 WITH SCORE 18122.234
AT ITER 8518 NEW BEST:: SOT 42226 SOS 23286 HAS SOPS 23286 HAS SOUS 18097 HAS SOUPS 18097 WITH SCORE 18120.286
AT ITER 8577 NEW BEST:: SOT 42225 SOS 23285 HAS SOPS 23285 HAS SOUS 18096 HAS SOUPS 18096 WITH SCORE 18119.285
AT ITER 8587 NEW BEST:: SOT 42124 SOS 23265 HAS SOPS 23265 HAS SOUS 18086 HAS SOUPS 18086 WITH SCORE 18109.265
AT ITER 8589 NEW BEST:: SOT 42122 SOS 23263 HAS SOPS 23263 HAS SOUS 18084 HAS SOUPS 18084 WITH SCORE 18107.263
AT ITER 8619 NEW BEST:: SOT 42120 SOS 23325 HAS SOPS 23325 HAS SOUS 18069 HAS SOUPS 18069 WITH SCORE 18092.325
AT ITER 8659 NEW BEST:: SOT 42115 SOS 23320 HAS SOPS 23320 HAS SOUS 18060 HAS SOUPS 18060 WITH SCORE 18083.32
AT ITER 8688 NEW BEST:: SOT 42120 SOS 23260 HAS SOPS 23260 HAS SOUS 18060 HAS SOUPS 18060 WITH SCORE 18083.26
AT ITER 8726 NEW BEST:: SOT 42120 SOS 23268 HAS SOPS 23268 HAS SOUS 18058 HAS SOUPS 18058 WITH SCORE 18081.268
AT ITER 8727 NEW BEST:: SOT 42120 SOS 23264 HAS SOPS 23264 HAS SOUS 18058 HAS SOUPS 18058 WITH SCORE 18081.264
AT ITER 8800 NEW BEST:: SOT 42120 SOS 23264 HAS SOPS 23264 HAS SOUS 18047 HAS SOUPS 18047 WITH SCORE 18070.264
AT ITER 8872 NEW BEST:: SOT 42117 SOS 23261 HAS SOPS 23261 HAS SOUS 18036 HAS SOUPS 18036 WITH SCORE 18059.261
AT ITER 8878 NEW BEST:: SOT 42068 SOS 23324 HAS SOPS 23324 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18038.324
AT ITER 8879 NEW BEST:: SOT 42068 SOS 23346 HAS SOPS 23346 HAS SOUS 18014 HAS SOUPS 18014 WITH SCORE 18037.346
AT ITER 9018 NEW BEST:: SOT 42068 SOS 23342 HAS SOPS 23342 HAS SOUS 18014 HAS SOUPS 18014 WITH SCORE 18037.342
AT ITER 9036 NEW BEST:: SOT 42064 SOS 23331 HAS SOPS 23331 HAS SOUS 18003 HAS SOUPS 18003 WITH SCORE 18026.331
AT ITER 9195 NEW BEST:: SOT 42061 SOS 23328 HAS SOPS 23328 HAS SOUS 17998 HAS SOUPS 17998 WITH SCORE 18021.328
AT ITER 9226 NEW BEST:: SOT 42058 SOS 23456 HAS SOPS 23456 HAS SOUS 17997 HAS SOUPS 17997 WITH SCORE 18020.456
AT ITER 9284 NEW BEST:: SOT 42058 SOS 23452 HAS SOPS 23452 HAS SOUS 17997 HAS SOUPS 17997 WITH SCORE 18020.452
AT ITER 9286 NEW BEST:: SOT 42022 SOS 23439 HAS SOPS 23439 HAS SOUS 17975 HAS SOUPS 17975 WITH SCORE 17998.439
AT ITER 9289 NEW BEST:: SOT 42022 SOS 23433 HAS SOPS 23433 HAS SOUS 17975 HAS SOUPS 17975 WITH SCORE 17998.433
AT ITER 9314 NEW BEST:: SOT 42022 SOS 23431 HAS SOPS 23431 HAS SOUS 17975 HAS SOUPS 17975 WITH SCORE 17998.431
AT ITER 9370 NEW BEST:: SOT 42018 SOS 23431 HAS SOPS 23431 HAS SOUS 17971 HAS SOUPS 17971 WITH SCORE 17994.431
AT ITER 9371 NEW BEST:: SOT 42039 SOS 23402 HAS SOPS 23402 HAS SOUS 17971 HAS SOUPS 17971 WITH SCORE 17994.402
AT ITER 9435 NEW BEST:: SOT 42039 SOS 23395 HAS SOPS 23395 HAS SOUS 17971 HAS SOUPS 17971 WITH SCORE 17994.395
AT ITER 9438 NEW BEST:: SOT 42039 SOS 23391 HAS SOPS 23391 HAS SOUS 17971 HAS SOUPS 17971 WITH SCORE 17994.391
AT ITER 9489 NEW BEST:: SOT 42038 SOS 23390 HAS SOPS 23390 HAS SOUS 17970 HAS SOUPS 17970 WITH SCORE 17993.39
AT ITER 9555 NEW BEST:: SOT 42038 SOS 23385 HAS SOPS 23385 HAS SOUS 17970 HAS SOUPS 17970 WITH SCORE 17993.385
AT ITER 9564 NEW BEST:: SOT 42038 SOS 23383 HAS SOPS 23383 HAS SOUS 17970 HAS SOUPS 17970 WITH SCORE 17993.383
AT ITER 9606 NEW BEST:: SOT 42038 SOS 23337 HAS SOPS 23337 HAS SOUS 17970 HAS SOUPS 17970 WITH SCORE 17993.337
AT ITER 9639 NEW BEST:: SOT 42038 SOS 23335 HAS SOPS 23335 HAS SOUS 17970 HAS SOUPS 17970 WITH SCORE 17993.335
AT ITER 9690 NEW BEST:: SOT 42026 SOS 23346 HAS SOPS 23346 HAS SOUS 17968 HAS SOUPS 17968 WITH SCORE 17991.346
AT ITER 9729 NEW BEST:: SOT 42048 SOS 23332 HAS SOPS 23332 HAS SOUS 17966 HAS SOUPS 17966 WITH SCORE 17989.332
AT ITER 9753 NEW BEST:: SOT 42040 SOS 23324 HAS SOPS 23324 HAS SOUS 17958 HAS SOUPS 17958 WITH SCORE 17981.324
AT ITER 9973 NEW BEST:: SOT 42034 SOS 23355 HAS SOPS 23355 HAS SOUS 17949 HAS SOUPS 17949 WITH SCORE 17972.355

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="Sudoku-PT-AN06"
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 Sudoku-PT-AN06, 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 r224-oct2-159033538700360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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