Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 3.3K Mar 26 02:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 02:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 25 22:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 146K 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 1589019858018

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

Filename model.pnml
Petri model created: 586 places, 525 transitions, 1560 arcs.
AT ITER 0 NEW BEST:: SOT 194501 SOS 75360 HAS SOPS 75360 HAS SOUS 73297 HAS SOUPS 73297 WITH SCORE 73372.36
AT ITER 2 NEW BEST:: SOT 194419 SOS 75196 HAS SOPS 75196 HAS SOUS 73133 HAS SOUPS 73133 WITH SCORE 73208.196
AT ITER 14 NEW BEST:: SOT 194271 SOS 75064 HAS SOPS 75064 HAS SOUS 73001 HAS SOUPS 73001 WITH SCORE 73076.064
AT ITER 21 NEW BEST:: SOT 194421 SOS 75163 HAS SOPS 75163 HAS SOUS 72957 HAS SOUPS 72957 WITH SCORE 73032.163
AT ITER 27 NEW BEST:: SOT 194421 SOS 75137 HAS SOPS 75137 HAS SOUS 72931 HAS SOUPS 72931 WITH SCORE 73006.137
AT ITER 39 NEW BEST:: SOT 194349 SOS 75045 HAS SOPS 75045 HAS SOUS 72839 HAS SOUPS 72839 WITH SCORE 72914.045
AT ITER 48 NEW BEST:: SOT 194323 SOS 75058 HAS SOPS 75058 HAS SOUS 72813 HAS SOUPS 72813 WITH SCORE 72888.058
AT ITER 65 NEW BEST:: SOT 194285 SOS 75038 HAS SOPS 75038 HAS SOUS 72793 HAS SOUPS 72793 WITH SCORE 72868.038
AT ITER 70 NEW BEST:: SOT 194232 SOS 74508 HAS SOPS 74508 HAS SOUS 72367 HAS SOUPS 72367 WITH SCORE 72441.508
AT ITER 71 NEW BEST:: SOT 194200 SOS 74363 HAS SOPS 74363 HAS SOUS 72222 HAS SOUPS 72222 WITH SCORE 72296.363
AT ITER 77 NEW BEST:: SOT 194189 SOS 75093 HAS SOPS 75093 HAS SOUS 72211 HAS SOUPS 72211 WITH SCORE 72286.093
AT ITER 82 NEW BEST:: SOT 194189 SOS 74994 HAS SOPS 74994 HAS SOUS 72112 HAS SOUPS 72112 WITH SCORE 72186.994
AT ITER 97 NEW BEST:: SOT 194189 SOS 74902 HAS SOPS 74902 HAS SOUS 72020 HAS SOUPS 72020 WITH SCORE 72094.902
AT ITER 100 NEW BEST:: SOT 194094 SOS 74599 HAS SOPS 74599 HAS SOUS 71812 HAS SOUPS 71812 WITH SCORE 71886.599
AT ITER 101 NEW BEST:: SOT 193846 SOS 74319 HAS SOPS 74319 HAS SOUS 71552 HAS SOUPS 71552 WITH SCORE 71626.319
AT ITER 102 NEW BEST:: SOT 193846 SOS 74188 HAS SOPS 74188 HAS SOUS 71421 HAS SOUPS 71421 WITH SCORE 71495.188
AT ITER 113 NEW BEST:: SOT 193838 SOS 74113 HAS SOPS 74113 HAS SOUS 71346 HAS SOUPS 71346 WITH SCORE 71420.113
AT ITER 118 NEW BEST:: SOT 193838 SOS 74054 HAS SOPS 74054 HAS SOUS 71287 HAS SOUPS 71287 WITH SCORE 71361.054
AT ITER 121 NEW BEST:: SOT 193837 SOS 74052 HAS SOPS 74052 HAS SOUS 71285 HAS SOUPS 71285 WITH SCORE 71359.052
AT ITER 142 NEW BEST:: SOT 193837 SOS 73933 HAS SOPS 73933 HAS SOUS 71185 HAS SOUPS 71185 WITH SCORE 71258.933
AT ITER 148 NEW BEST:: SOT 193837 SOS 73787 HAS SOPS 73787 HAS SOUS 71039 HAS SOUPS 71039 WITH SCORE 71112.787
AT ITER 158 NEW BEST:: SOT 193760 SOS 73786 HAS SOPS 73786 HAS SOUS 71038 HAS SOUPS 71038 WITH SCORE 71111.786
AT ITER 159 NEW BEST:: SOT 193760 SOS 73714 HAS SOPS 73714 HAS SOUS 70966 HAS SOUPS 70966 WITH SCORE 71039.714
AT ITER 165 NEW BEST:: SOT 193592 SOS 73587 HAS SOPS 73587 HAS SOUS 70839 HAS SOUPS 70839 WITH SCORE 70912.587
AT ITER 168 NEW BEST:: SOT 193425 SOS 73402 HAS SOPS 73402 HAS SOUS 70654 HAS SOUPS 70654 WITH SCORE 70727.402
AT ITER 178 NEW BEST:: SOT 193401 SOS 73378 HAS SOPS 73378 HAS SOUS 70651 HAS SOUPS 70651 WITH SCORE 70724.378
AT ITER 182 NEW BEST:: SOT 193500 SOS 73331 HAS SOPS 73331 HAS SOUS 70604 HAS SOUPS 70604 WITH SCORE 70677.331
AT ITER 183 NEW BEST:: SOT 193313 SOS 73173 HAS SOPS 73173 HAS SOUS 70534 HAS SOUPS 70534 WITH SCORE 70607.173
AT ITER 187 NEW BEST:: SOT 193312 SOS 73171 HAS SOPS 73171 HAS SOUS 70532 HAS SOUPS 70532 WITH SCORE 70605.171
AT ITER 202 NEW BEST:: SOT 193292 SOS 73113 HAS SOPS 73113 HAS SOUS 70474 HAS SOUPS 70474 WITH SCORE 70547.113
AT ITER 208 NEW BEST:: SOT 193289 SOS 73104 HAS SOPS 73104 HAS SOUS 70465 HAS SOUPS 70465 WITH SCORE 70538.104
AT ITER 220 NEW BEST:: SOT 193186 SOS 73006 HAS SOPS 73006 HAS SOUS 70362 HAS SOUPS 70362 WITH SCORE 70435.006
AT ITER 221 NEW BEST:: SOT 193186 SOS 72927 HAS SOPS 72927 HAS SOUS 70283 HAS SOUPS 70283 WITH SCORE 70355.927
AT ITER 232 NEW BEST:: SOT 193185 SOS 72897 HAS SOPS 72897 HAS SOUS 70253 HAS SOUPS 70253 WITH SCORE 70325.897
AT ITER 233 NEW BEST:: SOT 193170 SOS 72914 HAS SOPS 72914 HAS SOUS 70222 HAS SOUPS 70222 WITH SCORE 70294.914
AT ITER 242 NEW BEST:: SOT 193130 SOS 72873 HAS SOPS 72873 HAS SOUS 70181 HAS SOUPS 70181 WITH SCORE 70253.873
AT ITER 243 NEW BEST:: SOT 193130 SOS 72706 HAS SOPS 72706 HAS SOUS 70014 HAS SOUPS 70014 WITH SCORE 70086.706
AT ITER 245 NEW BEST:: SOT 193049 SOS 72625 HAS SOPS 72625 HAS SOUS 69933 HAS SOUPS 69933 WITH SCORE 70005.625
AT ITER 246 NEW BEST:: SOT 192929 SOS 72378 HAS SOPS 72378 HAS SOUS 69686 HAS SOUPS 69686 WITH SCORE 69758.378
AT ITER 249 NEW BEST:: SOT 192929 SOS 72358 HAS SOPS 72358 HAS SOUS 69666 HAS SOUPS 69666 WITH SCORE 69738.358
AT ITER 252 NEW BEST:: SOT 192929 SOS 72318 HAS SOPS 72318 HAS SOUS 69626 HAS SOUPS 69626 WITH SCORE 69698.318
AT ITER 255 NEW BEST:: SOT 193055 SOS 72270 HAS SOPS 72270 HAS SOUS 69578 HAS SOUPS 69578 WITH SCORE 69650.27
AT ITER 260 NEW BEST:: SOT 193066 SOS 72164 HAS SOPS 72164 HAS SOUS 69472 HAS SOUPS 69472 WITH SCORE 69544.164
AT ITER 288 NEW BEST:: SOT 193066 SOS 72164 HAS SOPS 72164 HAS SOUS 69453 HAS SOUPS 69453 WITH SCORE 69525.164
AT ITER 305 NEW BEST:: SOT 192195 SOS 71292 HAS SOPS 71292 HAS SOUS 68581 HAS SOUPS 68581 WITH SCORE 68652.292
AT ITER 315 NEW BEST:: SOT 192195 SOS 71280 HAS SOPS 71280 HAS SOUS 68569 HAS SOUPS 68569 WITH SCORE 68640.28
AT ITER 316 NEW BEST:: SOT 192184 SOS 71219 HAS SOPS 71219 HAS SOUS 68508 HAS SOUPS 68508 WITH SCORE 68579.219
AT ITER 363 NEW BEST:: SOT 192165 SOS 71178 HAS SOPS 71178 HAS SOUS 68467 HAS SOUPS 68467 WITH SCORE 68538.178
AT ITER 367 NEW BEST:: SOT 192163 SOS 70988 HAS SOPS 70988 HAS SOUS 68277 HAS SOUPS 68277 WITH SCORE 68347.988
AT ITER 372 NEW BEST:: SOT 192123 SOS 71008 HAS SOPS 71008 HAS SOUS 68268 HAS SOUPS 68268 WITH SCORE 68339.008
AT ITER 377 NEW BEST:: SOT 192063 SOS 70828 HAS SOPS 70828 HAS SOUS 68148 HAS SOUPS 68148 WITH SCORE 68218.828
AT ITER 379 NEW BEST:: SOT 191955 SOS 70612 HAS SOPS 70612 HAS SOUS 67932 HAS SOUPS 67932 WITH SCORE 68002.612
AT ITER 388 NEW BEST:: SOT 191793 SOS 70288 HAS SOPS 70288 HAS SOUS 67608 HAS SOUPS 67608 WITH SCORE 67678.288
AT ITER 389 NEW BEST:: SOT 191584 SOS 69764 HAS SOPS 69764 HAS SOUS 67084 HAS SOUPS 67084 WITH SCORE 67153.764
AT ITER 396 NEW BEST:: SOT 191653 SOS 69738 HAS SOPS 69738 HAS SOUS 67058 HAS SOUPS 67058 WITH SCORE 67127.738
AT ITER 406 NEW BEST:: SOT 191653 SOS 69665 HAS SOPS 69665 HAS SOUS 66985 HAS SOUPS 66985 WITH SCORE 67054.665
AT ITER 408 NEW BEST:: SOT 191609 SOS 69621 HAS SOPS 69621 HAS SOUS 66941 HAS SOUPS 66941 WITH SCORE 67010.621
AT ITER 420 NEW BEST:: SOT 191609 SOS 69281 HAS SOPS 69281 HAS SOUS 66601 HAS SOUPS 66601 WITH SCORE 66670.281
AT ITER 427 NEW BEST:: SOT 191608 SOS 69279 HAS SOPS 69279 HAS SOUS 66599 HAS SOUPS 66599 WITH SCORE 66668.279
AT ITER 429 NEW BEST:: SOT 191596 SOS 69075 HAS SOPS 69075 HAS SOUS 66437 HAS SOUPS 66437 WITH SCORE 66506.075
AT ITER 432 NEW BEST:: SOT 191473 SOS 68891 HAS SOPS 68891 HAS SOUS 66253 HAS SOUPS 66253 WITH SCORE 66321.891
AT ITER 448 NEW BEST:: SOT 191396 SOS 68673 HAS SOPS 68673 HAS SOUS 66035 HAS SOUPS 66035 WITH SCORE 66103.673
AT ITER 456 NEW BEST:: SOT 191392 SOS 68669 HAS SOPS 68669 HAS SOUS 66031 HAS SOUPS 66031 WITH SCORE 66099.669
AT ITER 457 NEW BEST:: SOT 191392 SOS 68667 HAS SOPS 68667 HAS SOUS 66029 HAS SOUPS 66029 WITH SCORE 66097.667
AT ITER 461 NEW BEST:: SOT 191392 SOS 68666 HAS SOPS 68666 HAS SOUS 66028 HAS SOUPS 66028 WITH SCORE 66096.666
AT ITER 466 NEW BEST:: SOT 191392 SOS 68665 HAS SOPS 68665 HAS SOUS 66027 HAS SOUPS 66027 WITH SCORE 66095.665
AT ITER 468 NEW BEST:: SOT 191392 SOS 68620 HAS SOPS 68620 HAS SOUS 65982 HAS SOUPS 65982 WITH SCORE 66050.62
AT ITER 469 NEW BEST:: SOT 191359 SOS 68554 HAS SOPS 68554 HAS SOUS 65916 HAS SOUPS 65916 WITH SCORE 65984.554
AT ITER 472 NEW BEST:: SOT 191359 SOS 68546 HAS SOPS 68546 HAS SOUS 65908 HAS SOUPS 65908 WITH SCORE 65976.546
AT ITER 474 NEW BEST:: SOT 186415 SOS 65365 HAS SOPS 65365 HAS SOUS 61224 HAS SOUPS 61224 WITH SCORE 61289.365
AT ITER 483 NEW BEST:: SOT 186295 SOS 65130 HAS SOPS 65130 HAS SOUS 60989 HAS SOUPS 60989 WITH SCORE 61054.13
AT ITER 484 NEW BEST:: SOT 186156 SOS 64970 HAS SOPS 64970 HAS SOUS 60829 HAS SOUPS 60829 WITH SCORE 60893.97
AT ITER 496 NEW BEST:: SOT 186147 SOS 64967 HAS SOPS 64967 HAS SOUS 60826 HAS SOUPS 60826 WITH SCORE 60890.967
AT ITER 500 NEW BEST:: SOT 186118 SOS 64909 HAS SOPS 64909 HAS SOUS 60796 HAS SOUPS 60796 WITH SCORE 60860.909
AT ITER 501 NEW BEST:: SOT 186041 SOS 64832 HAS SOPS 64832 HAS SOUS 60719 HAS SOUPS 60719 WITH SCORE 60783.832
AT ITER 512 NEW BEST:: SOT 186039 SOS 64828 HAS SOPS 64828 HAS SOUS 60715 HAS SOUPS 60715 WITH SCORE 60779.828
AT ITER 514 NEW BEST:: SOT 186039 SOS 64785 HAS SOPS 64785 HAS SOUS 60672 HAS SOUPS 60672 WITH SCORE 60736.785
AT ITER 537 NEW BEST:: SOT 186003 SOS 64713 HAS SOPS 64713 HAS SOUS 60600 HAS SOUPS 60600 WITH SCORE 60664.713
AT ITER 545 NEW BEST:: SOT 185921 SOS 64650 HAS SOPS 64650 HAS SOUS 60537 HAS SOUPS 60537 WITH SCORE 60601.65
AT ITER 549 NEW BEST:: SOT 185875 SOS 64604 HAS SOPS 64604 HAS SOUS 60491 HAS SOUPS 60491 WITH SCORE 60555.604
AT ITER 553 NEW BEST:: SOT 185875 SOS 64604 HAS SOPS 64604 HAS SOUS 60464 HAS SOUPS 60464 WITH SCORE 60528.604
AT ITER 555 NEW BEST:: SOT 185846 SOS 64566 HAS SOPS 64566 HAS SOUS 60426 HAS SOUPS 60426 WITH SCORE 60490.566
AT ITER 557 NEW BEST:: SOT 185758 SOS 64390 HAS SOPS 64390 HAS SOUS 60250 HAS SOUPS 60250 WITH SCORE 60314.39
AT ITER 560 NEW BEST:: SOT 185713 SOS 64233 HAS SOPS 64233 HAS SOUS 60093 HAS SOUPS 60093 WITH SCORE 60157.233
AT ITER 577 NEW BEST:: SOT 185721 SOS 64241 HAS SOPS 64241 HAS SOUS 60085 HAS SOUPS 60085 WITH SCORE 60149.241
AT ITER 582 NEW BEST:: SOT 185586 SOS 64081 HAS SOPS 64081 HAS SOUS 59925 HAS SOUPS 59925 WITH SCORE 59989.081
AT ITER 585 NEW BEST:: SOT 185528 SOS 64011 HAS SOPS 64011 HAS SOUS 59882 HAS SOUPS 59882 WITH SCORE 59946.011
AT ITER 587 NEW BEST:: SOT 185516 SOS 64005 HAS SOPS 64005 HAS SOUS 59870 HAS SOUPS 59870 WITH SCORE 59934.005
AT ITER 593 NEW BEST:: SOT 185767 SOS 64003 HAS SOPS 64003 HAS SOUS 59868 HAS SOUPS 59868 WITH SCORE 59932.003
AT ITER 597 NEW BEST:: SOT 185726 SOS 63961 HAS SOPS 63961 HAS SOUS 59826 HAS SOUPS 59826 WITH SCORE 59889.961
AT ITER 602 NEW BEST:: SOT 185713 SOS 63947 HAS SOPS 63947 HAS SOUS 59812 HAS SOUPS 59812 WITH SCORE 59875.947
AT ITER 631 NEW BEST:: SOT 185712 SOS 63928 HAS SOPS 63928 HAS SOUS 59793 HAS SOUPS 59793 WITH SCORE 59856.928
AT ITER 637 NEW BEST:: SOT 185702 SOS 63908 HAS SOPS 63908 HAS SOUS 59773 HAS SOUPS 59773 WITH SCORE 59836.908
AT ITER 640 NEW BEST:: SOT 185676 SOS 63883 HAS SOPS 63883 HAS SOUS 59748 HAS SOUPS 59748 WITH SCORE 59811.883
AT ITER 669 NEW BEST:: SOT 185670 SOS 63877 HAS SOPS 63877 HAS SOUS 59748 HAS SOUPS 59748 WITH SCORE 59811.877
AT ITER 670 NEW BEST:: SOT 185591 SOS 63838 HAS SOPS 63838 HAS SOUS 59669 HAS SOUPS 59669 WITH SCORE 59732.838
AT ITER 682 NEW BEST:: SOT 185591 SOS 63836 HAS SOPS 63836 HAS SOUS 59667 HAS SOUPS 59667 WITH SCORE 59730.836
AT ITER 702 NEW BEST:: SOT 185557 SOS 63802 HAS SOPS 63802 HAS SOUS 59633 HAS SOUPS 59633 WITH SCORE 59696.802
AT ITER 706 NEW BEST:: SOT 185556 SOS 63797 HAS SOPS 63797 HAS SOUS 59628 HAS SOUPS 59628 WITH SCORE 59691.797
AT ITER 708 NEW BEST:: SOT 185497 SOS 63658 HAS SOPS 63658 HAS SOUS 59409 HAS SOUPS 59409 WITH SCORE 59472.658
AT ITER 709 NEW BEST:: SOT 185374 SOS 63535 HAS SOPS 63535 HAS SOUS 59286 HAS SOUPS 59286 WITH SCORE 59349.535
AT ITER 735 NEW BEST:: SOT 185357 SOS 63518 HAS SOPS 63518 HAS SOUS 59269 HAS SOUPS 59269 WITH SCORE 59332.518
AT ITER 736 NEW BEST:: SOT 185405 SOS 63449 HAS SOPS 63449 HAS SOUS 59200 HAS SOUPS 59200 WITH SCORE 59263.449
AT ITER 756 NEW BEST:: SOT 185401 SOS 63458 HAS SOPS 63458 HAS SOUS 59194 HAS SOUPS 59194 WITH SCORE 59257.458
AT ITER 765 NEW BEST:: SOT 185396 SOS 63394 HAS SOPS 63394 HAS SOUS 59145 HAS SOUPS 59145 WITH SCORE 59208.394
AT ITER 773 NEW BEST:: SOT 185383 SOS 63382 HAS SOPS 63382 HAS SOUS 59133 HAS SOUPS 59133 WITH SCORE 59196.382
AT ITER 793 NEW BEST:: SOT 185382 SOS 63380 HAS SOPS 63380 HAS SOUS 59131 HAS SOUPS 59131 WITH SCORE 59194.38
AT ITER 799 NEW BEST:: SOT 185224 SOS 63222 HAS SOPS 63222 HAS SOUS 58973 HAS SOUPS 58973 WITH SCORE 59036.222
AT ITER 807 NEW BEST:: SOT 185294 SOS 63096 HAS SOPS 63096 HAS SOUS 58847 HAS SOUPS 58847 WITH SCORE 58910.096
AT ITER 818 NEW BEST:: SOT 184683 SOS 71560 HAS SOPS 71560 HAS SOUS 58493 HAS SOUPS 58493 WITH SCORE 58564.56
AT ITER 830 NEW BEST:: SOT 184330 SOS 71319 HAS SOPS 71319 HAS SOUS 58434 HAS SOUPS 58434 WITH SCORE 58505.319
AT ITER 841 NEW BEST:: SOT 184295 SOS 71284 HAS SOPS 71284 HAS SOUS 58399 HAS SOUPS 58399 WITH SCORE 58470.284
AT ITER 856 NEW BEST:: SOT 184275 SOS 71263 HAS SOPS 71263 HAS SOUS 58397 HAS SOUPS 58397 WITH SCORE 58468.263
AT ITER 857 NEW BEST:: SOT 183823 SOS 70477 HAS SOPS 70477 HAS SOUS 57837 HAS SOUPS 57837 WITH SCORE 57907.477
AT ITER 866 NEW BEST:: SOT 183329 SOS 69962 HAS SOPS 69962 HAS SOUS 57365 HAS SOUPS 57365 WITH SCORE 57434.962
AT ITER 869 NEW BEST:: SOT 183161 SOS 69675 HAS SOPS 69675 HAS SOUS 57078 HAS SOUPS 57078 WITH SCORE 57147.675
AT ITER 879 NEW BEST:: SOT 183072 SOS 69550 HAS SOPS 69550 HAS SOUS 56953 HAS SOUPS 56953 WITH SCORE 57022.55
AT ITER 893 NEW BEST:: SOT 180834 SOS 68216 HAS SOPS 68216 HAS SOUS 54997 HAS SOUPS 54997 WITH SCORE 55065.216
AT ITER 894 NEW BEST:: SOT 180864 SOS 68246 HAS SOPS 68246 HAS SOUS 54960 HAS SOUPS 54960 WITH SCORE 55028.246
AT ITER 914 NEW BEST:: SOT 180800 SOS 68122 HAS SOPS 68122 HAS SOUS 54896 HAS SOUPS 54896 WITH SCORE 54964.122
AT ITER 922 NEW BEST:: SOT 180732 SOS 67986 HAS SOPS 67986 HAS SOUS 54877 HAS SOUPS 54877 WITH SCORE 54944.986
AT ITER 931 NEW BEST:: SOT 180726 SOS 67804 HAS SOPS 67804 HAS SOUS 54695 HAS SOUPS 54695 WITH SCORE 54762.804
AT ITER 944 NEW BEST:: SOT 180660 SOS 67672 HAS SOPS 67672 HAS SOUS 54536 HAS SOUPS 54536 WITH SCORE 54603.672
AT ITER 951 NEW BEST:: SOT 180635 SOS 67635 HAS SOPS 67635 HAS SOUS 54499 HAS SOUPS 54499 WITH SCORE 54566.635
AT ITER 952 NEW BEST:: SOT 180622 SOS 67609 HAS SOPS 67609 HAS SOUS 54473 HAS SOUPS 54473 WITH SCORE 54540.609
AT ITER 956 NEW BEST:: SOT 180567 SOS 70326 HAS SOPS 70326 HAS SOUS 54463 HAS SOUPS 54463 WITH SCORE 54533.326
AT ITER 962 NEW BEST:: SOT 180559 SOS 70318 HAS SOPS 70318 HAS SOUS 54455 HAS SOUPS 54455 WITH SCORE 54525.318
AT ITER 978 NEW BEST:: SOT 180430 SOS 70111 HAS SOPS 70111 HAS SOUS 54248 HAS SOUPS 54248 WITH SCORE 54318.111
AT ITER 988 NEW BEST:: SOT 180341 SOS 70022 HAS SOPS 70022 HAS SOUS 54210 HAS SOUPS 54210 WITH SCORE 54280.022
AT ITER 995 NEW BEST:: SOT 180341 SOS 70021 HAS SOPS 70021 HAS SOUS 54210 HAS SOUPS 54210 WITH SCORE 54280.021
AT ITER 999 NEW BEST:: SOT 180341 SOS 70020 HAS SOPS 70020 HAS SOUS 54209 HAS SOUPS 54209 WITH SCORE 54279.02
AT ITER 1005 NEW BEST:: SOT 180341 SOS 70020 HAS SOPS 70020 HAS SOUS 54116 HAS SOUPS 54116 WITH SCORE 54186.02
AT ITER 1013 NEW BEST:: SOT 180322 SOS 70001 HAS SOPS 70001 HAS SOUS 54097 HAS SOUPS 54097 WITH SCORE 54167.001
AT ITER 1040 NEW BEST:: SOT 180322 SOS 69998 HAS SOPS 69998 HAS SOUS 54094 HAS SOUPS 54094 WITH SCORE 54163.998
AT ITER 1042 NEW BEST:: SOT 180260 SOS 69854 HAS SOPS 69854 HAS SOUS 53950 HAS SOUPS 53950 WITH SCORE 54019.854
AT ITER 1044 NEW BEST:: SOT 180248 SOS 69842 HAS SOPS 69842 HAS SOUS 53937 HAS SOUPS 53937 WITH SCORE 54006.842
AT ITER 1045 NEW BEST:: SOT 179937 SOS 69338 HAS SOPS 69338 HAS SOUS 53433 HAS SOUPS 53433 WITH SCORE 53502.338
AT ITER 1049 NEW BEST:: SOT 179891 SOS 69286 HAS SOPS 69286 HAS SOUS 53404 HAS SOUPS 53404 WITH SCORE 53473.286
AT ITER 1055 NEW BEST:: SOT 179883 SOS 69266 HAS SOPS 69266 HAS SOUS 53384 HAS SOUPS 53384 WITH SCORE 53453.266
AT ITER 1057 NEW BEST:: SOT 179849 SOS 69198 HAS SOPS 69198 HAS SOUS 53316 HAS SOUPS 53316 WITH SCORE 53385.198
AT ITER 1085 NEW BEST:: SOT 179836 SOS 69185 HAS SOPS 69185 HAS SOUS 53303 HAS SOUPS 53303 WITH SCORE 53372.185
AT ITER 1091 NEW BEST:: SOT 179787 SOS 69255 HAS SOPS 69255 HAS SOUS 53243 HAS SOUPS 53243 WITH SCORE 53312.255
AT ITER 1093 NEW BEST:: SOT 179729 SOS 69139 HAS SOPS 69139 HAS SOUS 53179 HAS SOUPS 53179 WITH SCORE 53248.139
AT ITER 1098 NEW BEST:: SOT 179729 SOS 68799 HAS SOPS 68799 HAS SOUS 53140 HAS SOUPS 53140 WITH SCORE 53208.799
AT ITER 1111 NEW BEST:: SOT 179612 SOS 68682 HAS SOPS 68682 HAS SOUS 53023 HAS SOUPS 53023 WITH SCORE 53091.682
AT ITER 1112 NEW BEST:: SOT 179605 SOS 68661 HAS SOPS 68661 HAS SOUS 53002 HAS SOUPS 53002 WITH SCORE 53070.661
AT ITER 1134 NEW BEST:: SOT 179720 SOS 68827 HAS SOPS 68827 HAS SOUS 52955 HAS SOUPS 52955 WITH SCORE 53023.827
AT ITER 1148 NEW BEST:: SOT 179703 SOS 68810 HAS SOPS 68810 HAS SOUS 52938 HAS SOUPS 52938 WITH SCORE 53006.81
AT ITER 1150 NEW BEST:: SOT 179751 SOS 68661 HAS SOPS 68661 HAS SOUS 52766 HAS SOUPS 52766 WITH SCORE 52834.661
AT ITER 1151 NEW BEST:: SOT 179721 SOS 68601 HAS SOPS 68601 HAS SOUS 52672 HAS SOUPS 52672 WITH SCORE 52740.601
AT ITER 1154 NEW BEST:: SOT 179728 SOS 68569 HAS SOPS 68569 HAS SOUS 52594 HAS SOUPS 52594 WITH SCORE 52662.569
AT ITER 1158 NEW BEST:: SOT 179582 SOS 68350 HAS SOPS 68350 HAS SOUS 52448 HAS SOUPS 52448 WITH SCORE 52516.35
AT ITER 1176 NEW BEST:: SOT 179679 SOS 68344 HAS SOPS 68344 HAS SOUS 52442 HAS SOUPS 52442 WITH SCORE 52510.344
AT ITER 1180 NEW BEST:: SOT 179636 SOS 68371 HAS SOPS 68371 HAS SOUS 52371 HAS SOUPS 52371 WITH SCORE 52439.371
AT ITER 1208 NEW BEST:: SOT 179680 SOS 68459 HAS SOPS 68459 HAS SOUS 52339 HAS SOUPS 52339 WITH SCORE 52407.459
AT ITER 1214 NEW BEST:: SOT 177235 SOS 66048 HAS SOPS 66048 HAS SOUS 50102 HAS SOUPS 50102 WITH SCORE 50168.048
AT ITER 1232 NEW BEST:: SOT 177235 SOS 66038 HAS SOPS 66038 HAS SOUS 50092 HAS SOUPS 50092 WITH SCORE 50158.038
AT ITER 1233 NEW BEST:: SOT 177235 SOS 65682 HAS SOPS 65682 HAS SOUS 50092 HAS SOUPS 50092 WITH SCORE 50157.682
AT ITER 1241 NEW BEST:: SOT 177235 SOS 65581 HAS SOPS 65581 HAS SOUS 49948 HAS SOUPS 49948 WITH SCORE 50013.581
AT ITER 1244 NEW BEST:: SOT 177300 SOS 65557 HAS SOPS 65557 HAS SOUS 49924 HAS SOUPS 49924 WITH SCORE 49989.557
AT ITER 1246 NEW BEST:: SOT 177299 SOS 65556 HAS SOPS 65556 HAS SOUS 49734 HAS SOUPS 49734 WITH SCORE 49799.556
AT ITER 1253 NEW BEST:: SOT 177407 SOS 65616 HAS SOPS 65616 HAS SOUS 49684 HAS SOUPS 49684 WITH SCORE 49749.616
AT ITER 1266 NEW BEST:: SOT 177407 SOS 65615 HAS SOPS 65615 HAS SOUS 49683 HAS SOUPS 49683 WITH SCORE 49748.615
AT ITER 1273 NEW BEST:: SOT 177406 SOS 65613 HAS SOPS 65613 HAS SOUS 49681 HAS SOUPS 49681 WITH SCORE 49746.613
AT ITER 1277 NEW BEST:: SOT 177333 SOS 65526 HAS SOPS 65526 HAS SOUS 49594 HAS SOUPS 49594 WITH SCORE 49659.526
AT ITER 1331 NEW BEST:: SOT 177326 SOS 65512 HAS SOPS 65512 HAS SOUS 49580 HAS SOUPS 49580 WITH SCORE 49645.512
AT ITER 1332 NEW BEST:: SOT 177235 SOS 65415 HAS SOPS 65415 HAS SOUS 49573 HAS SOUPS 49573 WITH SCORE 49638.415
AT ITER 1343 NEW BEST:: SOT 177235 SOS 65415 HAS SOPS 65415 HAS SOUS 49517 HAS SOUPS 49517 WITH SCORE 49582.415
AT ITER 1357 NEW BEST:: SOT 177233 SOS 65413 HAS SOPS 65413 HAS SOUS 49517 HAS SOUPS 49517 WITH SCORE 49582.413
AT ITER 1358 NEW BEST:: SOT 177306 SOS 65219 HAS SOPS 65219 HAS SOUS 49323 HAS SOUPS 49323 WITH SCORE 49388.219
AT ITER 1361 NEW BEST:: SOT 177292 SOS 65191 HAS SOPS 65191 HAS SOUS 49295 HAS SOUPS 49295 WITH SCORE 49360.191
AT ITER 1375 NEW BEST:: SOT 177290 SOS 65084 HAS SOPS 65084 HAS SOUS 49243 HAS SOUPS 49243 WITH SCORE 49308.084
AT ITER 1376 NEW BEST:: SOT 177262 SOS 65028 HAS SOPS 65028 HAS SOUS 49187 HAS SOUPS 49187 WITH SCORE 49252.028
AT ITER 1381 NEW BEST:: SOT 177243 SOS 65009 HAS SOPS 65009 HAS SOUS 49168 HAS SOUPS 49168 WITH SCORE 49233.009
AT ITER 1382 NEW BEST:: SOT 177249 SOS 65173 HAS SOPS 65173 HAS SOUS 49131 HAS SOUPS 49131 WITH SCORE 49196.173
AT ITER 1385 NEW BEST:: SOT 177225 SOS 65243 HAS SOPS 65243 HAS SOUS 49091 HAS SOUPS 49091 WITH SCORE 49156.243
AT ITER 1390 NEW BEST:: SOT 177200 SOS 65218 HAS SOPS 65218 HAS SOUS 49066 HAS SOUPS 49066 WITH SCORE 49131.218
AT ITER 1401 NEW BEST:: SOT 177155 SOS 65179 HAS SOPS 65179 HAS SOUS 49027 HAS SOUPS 49027 WITH SCORE 49092.179
AT ITER 1411 NEW BEST:: SOT 177191 SOS 65251 HAS SOPS 65251 HAS SOUS 49003 HAS SOUPS 49003 WITH SCORE 49068.251
AT ITER 1416 NEW BEST:: SOT 177185 SOS 65227 HAS SOPS 65227 HAS SOUS 48979 HAS SOUPS 48979 WITH SCORE 49044.227
AT ITER 1423 NEW BEST:: SOT 177185 SOS 65121 HAS SOPS 65121 HAS SOUS 48873 HAS SOUPS 48873 WITH SCORE 48938.121
AT ITER 1436 NEW BEST:: SOT 176906 SOS 64794 HAS SOPS 64794 HAS SOUS 48782 HAS SOUPS 48782 WITH SCORE 48846.794
AT ITER 1456 NEW BEST:: SOT 176833 SOS 64599 HAS SOPS 64599 HAS SOUS 48618 HAS SOUPS 48618 WITH SCORE 48682.599
AT ITER 1457 NEW BEST:: SOT 176807 SOS 64547 HAS SOPS 64547 HAS SOUS 48592 HAS SOUPS 48592 WITH SCORE 48656.547
AT ITER 1464 NEW BEST:: SOT 176544 SOS 64170 HAS SOPS 64170 HAS SOUS 48215 HAS SOUPS 48215 WITH SCORE 48279.17
AT ITER 1475 NEW BEST:: SOT 176464 SOS 63897 HAS SOPS 63897 HAS SOUS 48138 HAS SOUPS 48138 WITH SCORE 48201.897
AT ITER 1499 NEW BEST:: SOT 176463 SOS 63876 HAS SOPS 63876 HAS SOUS 48117 HAS SOUPS 48117 WITH SCORE 48180.876
AT ITER 1500 NEW BEST:: SOT 176317 SOS 63679 HAS SOPS 63679 HAS SOUS 48015 HAS SOUPS 48015 WITH SCORE 48078.679
AT ITER 1501 NEW BEST:: SOT 176313 SOS 63675 HAS SOPS 63675 HAS SOUS 48011 HAS SOUPS 48011 WITH SCORE 48074.675
AT ITER 1504 NEW BEST:: SOT 176244 SOS 63581 HAS SOPS 63581 HAS SOUS 47917 HAS SOUPS 47917 WITH SCORE 47980.581
AT ITER 1506 NEW BEST:: SOT 176452 SOS 63789 HAS SOPS 63789 HAS SOUS 47873 HAS SOUPS 47873 WITH SCORE 47936.789
AT ITER 1526 NEW BEST:: SOT 176351 SOS 63688 HAS SOPS 63688 HAS SOUS 47772 HAS SOUPS 47772 WITH SCORE 47835.688
AT ITER 1528 NEW BEST:: SOT 176284 SOS 63617 HAS SOPS 63617 HAS SOUS 47768 HAS SOUPS 47768 WITH SCORE 47831.617
AT ITER 1537 NEW BEST:: SOT 176272 SOS 63593 HAS SOPS 63593 HAS SOUS 47744 HAS SOUPS 47744 WITH SCORE 47807.593
AT ITER 1572 NEW BEST:: SOT 176178 SOS 63585 HAS SOPS 63585 HAS SOUS 47617 HAS SOUPS 47617 WITH SCORE 47680.585
AT ITER 1575 NEW BEST:: SOT 176138 SOS 63397 HAS SOPS 63397 HAS SOUS 47469 HAS SOUPS 47469 WITH SCORE 47532.397
AT ITER 1578 NEW BEST:: SOT 176136 SOS 63391 HAS SOPS 63391 HAS SOUS 47463 HAS SOUPS 47463 WITH SCORE 47526.391
AT ITER 1591 NEW BEST:: SOT 176210 SOS 63322 HAS SOPS 63322 HAS SOUS 47394 HAS SOUPS 47394 WITH SCORE 47457.322
AT ITER 1610 NEW BEST:: SOT 176192 SOS 63286 HAS SOPS 63286 HAS SOUS 47358 HAS SOUPS 47358 WITH SCORE 47421.286
AT ITER 1616 NEW BEST:: SOT 175384 SOS 62662 HAS SOPS 62662 HAS SOUS 46618 HAS SOUPS 46618 WITH SCORE 46680.662
AT ITER 1629 NEW BEST:: SOT 175384 SOS 62468 HAS SOPS 62468 HAS SOUS 46506 HAS SOUPS 46506 WITH SCORE 46568.468
AT ITER 1633 NEW BEST:: SOT 175384 SOS 62468 HAS SOPS 62468 HAS SOUS 46415 HAS SOUPS 46415 WITH SCORE 46477.468
AT ITER 1642 NEW BEST:: SOT 175301 SOS 62402 HAS SOPS 62402 HAS SOUS 46359 HAS SOUPS 46359 WITH SCORE 46421.402
AT ITER 1659 NEW BEST:: SOT 175300 SOS 62401 HAS SOPS 62401 HAS SOUS 46358 HAS SOUPS 46358 WITH SCORE 46420.401
AT ITER 1662 NEW BEST:: SOT 175139 SOS 62060 HAS SOPS 62060 HAS SOUS 46017 HAS SOUPS 46017 WITH SCORE 46079.06
AT ITER 1694 NEW BEST:: SOT 175075 SOS 61906 HAS SOPS 61906 HAS SOUS 46016 HAS SOUPS 46016 WITH SCORE 46077.906
AT ITER 1704 NEW BEST:: SOT 175075 SOS 61852 HAS SOPS 61852 HAS SOUS 46016 HAS SOUPS 46016 WITH SCORE 46077.852
AT ITER 1710 NEW BEST:: SOT 175039 SOS 61811 HAS SOPS 61811 HAS SOUS 45975 HAS SOUPS 45975 WITH SCORE 46036.811
AT ITER 1718 NEW BEST:: SOT 175021 SOS 61793 HAS SOPS 61793 HAS SOUS 45957 HAS SOUPS 45957 WITH SCORE 46018.793
AT ITER 1720 NEW BEST:: SOT 174845 SOS 61573 HAS SOPS 61573 HAS SOUS 45737 HAS SOUPS 45737 WITH SCORE 45798.573
AT ITER 1724 NEW BEST:: SOT 174806 SOS 61523 HAS SOPS 61523 HAS SOUS 45679 HAS SOUPS 45679 WITH SCORE 45740.523
AT ITER 1727 NEW BEST:: SOT 174676 SOS 61319 HAS SOPS 61319 HAS SOUS 45475 HAS SOUPS 45475 WITH SCORE 45536.319
AT ITER 1750 NEW BEST:: SOT 174652 SOS 61246 HAS SOPS 61246 HAS SOUS 45384 HAS SOUPS 45384 WITH SCORE 45445.246
AT ITER 1757 NEW BEST:: SOT 174135 SOS 60839 HAS SOPS 60839 HAS SOUS 44938 HAS SOUPS 44938 WITH SCORE 44998.839
AT ITER 1759 NEW BEST:: SOT 174130 SOS 60829 HAS SOPS 60829 HAS SOUS 44933 HAS SOUPS 44933 WITH SCORE 44993.829
AT ITER 1776 NEW BEST:: SOT 174069 SOS 60707 HAS SOPS 60707 HAS SOUS 44811 HAS SOUPS 44811 WITH SCORE 44871.707
AT ITER 1784 NEW BEST:: SOT 174068 SOS 60706 HAS SOPS 60706 HAS SOUS 44810 HAS SOUPS 44810 WITH SCORE 44870.706
AT ITER 1786 NEW BEST:: SOT 174057 SOS 60695 HAS SOPS 60695 HAS SOUS 44799 HAS SOUPS 44799 WITH SCORE 44859.695
AT ITER 1792 NEW BEST:: SOT 173899 SOS 60608 HAS SOPS 60608 HAS SOUS 44712 HAS SOUPS 44712 WITH SCORE 44772.608
AT ITER 1805 NEW BEST:: SOT 173909 SOS 60608 HAS SOPS 60608 HAS SOUS 44702 HAS SOUPS 44702 WITH SCORE 44762.608
AT ITER 1835 NEW BEST:: SOT 173971 SOS 60476 HAS SOPS 60476 HAS SOUS 44570 HAS SOUPS 44570 WITH SCORE 44630.476
AT ITER 1837 NEW BEST:: SOT 173971 SOS 60476 HAS SOPS 60476 HAS SOUS 44551 HAS SOUPS 44551 WITH SCORE 44611.476
AT ITER 1840 NEW BEST:: SOT 173929 SOS 60437 HAS SOPS 60437 HAS SOUS 44549 HAS SOUPS 44549 WITH SCORE 44609.437
AT ITER 1866 NEW BEST:: SOT 173878 SOS 60409 HAS SOPS 60409 HAS SOUS 44444 HAS SOUPS 44444 WITH SCORE 44504.409
AT ITER 1870 NEW BEST:: SOT 173890 SOS 60421 HAS SOPS 60421 HAS SOUS 44410 HAS SOUPS 44410 WITH SCORE 44470.421
AT ITER 1872 NEW BEST:: SOT 173873 SOS 60404 HAS SOPS 60404 HAS SOUS 44393 HAS SOUPS 44393 WITH SCORE 44453.404
AT ITER 1876 NEW BEST:: SOT 173858 SOS 60389 HAS SOPS 60389 HAS SOUS 44393 HAS SOUPS 44393 WITH SCORE 44453.389
AT ITER 1880 NEW BEST:: SOT 173683 SOS 60039 HAS SOPS 60039 HAS SOUS 44112 HAS SOUPS 44112 WITH SCORE 44172.039
AT ITER 1882 NEW BEST:: SOT 173497 SOS 59893 HAS SOPS 59893 HAS SOUS 43966 HAS SOUPS 43966 WITH SCORE 44025.893
AT ITER 1891 NEW BEST:: SOT 173313 SOS 59559 HAS SOPS 59559 HAS SOUS 43721 HAS SOUPS 43721 WITH SCORE 43780.559
AT ITER 1895 NEW BEST:: SOT 173309 SOS 59555 HAS SOPS 59555 HAS SOUS 43717 HAS SOUPS 43717 WITH SCORE 43776.555
AT ITER 1912 NEW BEST:: SOT 173292 SOS 59465 HAS SOPS 59465 HAS SOUS 43627 HAS SOUPS 43627 WITH SCORE 43686.465
AT ITER 1915 NEW BEST:: SOT 173259 SOS 59423 HAS SOPS 59423 HAS SOUS 43552 HAS SOUPS 43552 WITH SCORE 43611.423
AT ITER 1953 NEW BEST:: SOT 172910 SOS 59211 HAS SOPS 59211 HAS SOUS 43235 HAS SOUPS 43235 WITH SCORE 43294.211
AT ITER 1975 NEW BEST:: SOT 172900 SOS 59200 HAS SOPS 59200 HAS SOUS 43224 HAS SOUPS 43224 WITH SCORE 43283.2
AT ITER 1981 NEW BEST:: SOT 172875 SOS 59150 HAS SOPS 59150 HAS SOUS 43199 HAS SOUPS 43199 WITH SCORE 43258.15
AT ITER 2018 NEW BEST:: SOT 172839 SOS 59105 HAS SOPS 59105 HAS SOUS 43181 HAS SOUPS 43181 WITH SCORE 43240.105
AT ITER 2031 NEW BEST:: SOT 172677 SOS 58862 HAS SOPS 58862 HAS SOUS 42938 HAS SOUPS 42938 WITH SCORE 42996.862
AT ITER 2048 NEW BEST:: SOT 172703 SOS 58947 HAS SOPS 58947 HAS SOUS 42927 HAS SOUPS 42927 WITH SCORE 42985.947
AT ITER 2050 NEW BEST:: SOT 172678 SOS 58897 HAS SOPS 58897 HAS SOUS 42884 HAS SOUPS 42884 WITH SCORE 42942.897
AT ITER 2069 NEW BEST:: SOT 172654 SOS 58780 HAS SOPS 58780 HAS SOUS 42767 HAS SOUPS 42767 WITH SCORE 42825.78
AT ITER 2072 NEW BEST:: SOT 172640 SOS 58792 HAS SOPS 58792 HAS SOUS 42761 HAS SOUPS 42761 WITH SCORE 42819.792
AT ITER 2073 NEW BEST:: SOT 172631 SOS 58774 HAS SOPS 58774 HAS SOUS 42707 HAS SOUPS 42707 WITH SCORE 42765.774
AT ITER 2082 NEW BEST:: SOT 172628 SOS 58770 HAS SOPS 58770 HAS SOUS 42703 HAS SOUPS 42703 WITH SCORE 42761.77
AT ITER 2089 NEW BEST:: SOT 172631 SOS 58734 HAS SOPS 58734 HAS SOUS 42667 HAS SOUPS 42667 WITH SCORE 42725.734
AT ITER 2090 NEW BEST:: SOT 172526 SOS 58629 HAS SOPS 58629 HAS SOUS 42658 HAS SOUPS 42658 WITH SCORE 42716.629
AT ITER 2114 NEW BEST:: SOT 172525 SOS 58627 HAS SOPS 58627 HAS SOUS 42615 HAS SOUPS 42615 WITH SCORE 42673.627
AT ITER 2116 NEW BEST:: SOT 172513 SOS 58609 HAS SOPS 58609 HAS SOUS 42603 HAS SOUPS 42603 WITH SCORE 42661.609
AT ITER 2117 NEW BEST:: SOT 172512 SOS 58608 HAS SOPS 58608 HAS SOUS 42602 HAS SOUPS 42602 WITH SCORE 42660.608
AT ITER 2121 NEW BEST:: SOT 172512 SOS 58600 HAS SOPS 58600 HAS SOUS 42602 HAS SOUPS 42602 WITH SCORE 42660.6
AT ITER 2125 NEW BEST:: SOT 172510 SOS 58598 HAS SOPS 58598 HAS SOUS 42600 HAS SOUPS 42600 WITH SCORE 42658.598
AT ITER 2126 NEW BEST:: SOT 172382 SOS 58406 HAS SOPS 58406 HAS SOUS 42472 HAS SOUPS 42472 WITH SCORE 42530.406
AT ITER 2136 NEW BEST:: SOT 172272 SOS 58545 HAS SOPS 58545 HAS SOUS 42366 HAS SOUPS 42366 WITH SCORE 42424.545
AT ITER 2138 NEW BEST:: SOT 172282 SOS 58517 HAS SOPS 58517 HAS SOUS 42338 HAS SOUPS 42338 WITH SCORE 42396.517
AT ITER 2149 NEW BEST:: SOT 172258 SOS 58469 HAS SOPS 58469 HAS SOUS 42290 HAS SOUPS 42290 WITH SCORE 42348.469
AT ITER 2157 NEW BEST:: SOT 172247 SOS 58461 HAS SOPS 58461 HAS SOUS 42282 HAS SOUPS 42282 WITH SCORE 42340.461
AT ITER 2161 NEW BEST:: SOT 172247 SOS 58437 HAS SOPS 58437 HAS SOUS 42282 HAS SOUPS 42282 WITH SCORE 42340.437
AT ITER 2164 NEW BEST:: SOT 171874 SOS 58059 HAS SOPS 58059 HAS SOUS 41904 HAS SOUPS 41904 WITH SCORE 41962.059
AT ITER 2166 NEW BEST:: SOT 171869 SOS 58054 HAS SOPS 58054 HAS SOUS 41899 HAS SOUPS 41899 WITH SCORE 41957.054
AT ITER 2202 NEW BEST:: SOT 171837 SOS 57985 HAS SOPS 57985 HAS SOUS 41867 HAS SOUPS 41867 WITH SCORE 41924.985
AT ITER 2206 NEW BEST:: SOT 171824 SOS 57966 HAS SOPS 57966 HAS SOUS 41854 HAS SOUPS 41854 WITH SCORE 41911.966
AT ITER 2209 NEW BEST:: SOT 171804 SOS 57946 HAS SOPS 57946 HAS SOUS 41834 HAS SOUPS 41834 WITH SCORE 41891.946
AT ITER 2213 NEW BEST:: SOT 171767 SOS 57872 HAS SOPS 57872 HAS SOUS 41760 HAS SOUPS 41760 WITH SCORE 41817.872
AT ITER 2215 NEW BEST:: SOT 171764 SOS 57868 HAS SOPS 57868 HAS SOUS 41734 HAS SOUPS 41734 WITH SCORE 41791.868
AT ITER 2270 NEW BEST:: SOT 171763 SOS 57866 HAS SOPS 57866 HAS SOUS 41732 HAS SOUPS 41732 WITH SCORE 41789.866
AT ITER 2274 NEW BEST:: SOT 171736 SOS 57836 HAS SOPS 57836 HAS SOUS 41702 HAS SOUPS 41702 WITH SCORE 41759.836
AT ITER 2279 NEW BEST:: SOT 171736 SOS 57836 HAS SOPS 57836 HAS SOUS 41690 HAS SOUPS 41690 WITH SCORE 41747.836
AT ITER 2292 NEW BEST:: SOT 171689 SOS 57788 HAS SOPS 57788 HAS SOUS 41688 HAS SOUPS 41688 WITH SCORE 41745.788
AT ITER 2296 NEW BEST:: SOT 171689 SOS 57788 HAS SOPS 57788 HAS SOUS 41586 HAS SOUPS 41586 WITH SCORE 41643.788
AT ITER 2301 NEW BEST:: SOT 171688 SOS 57786 HAS SOPS 57786 HAS SOUS 41584 HAS SOUPS 41584 WITH SCORE 41641.786
AT ITER 2302 NEW BEST:: SOT 171683 SOS 57781 HAS SOPS 57781 HAS SOUS 41579 HAS SOUPS 41579 WITH SCORE 41636.781
AT ITER 2324 NEW BEST:: SOT 171705 SOS 57792 HAS SOPS 57792 HAS SOUS 41568 HAS SOUPS 41568 WITH SCORE 41625.792
AT ITER 2325 NEW BEST:: SOT 171705 SOS 57728 HAS SOPS 57728 HAS SOUS 41504 HAS SOUPS 41504 WITH SCORE 41561.728
AT ITER 2327 NEW BEST:: SOT 171705 SOS 57733 HAS SOPS 57733 HAS SOUS 41492 HAS SOUPS 41492 WITH SCORE 41549.733
AT ITER 2336 NEW BEST:: SOT 171713 SOS 57749 HAS SOPS 57749 HAS SOUS 41472 HAS SOUPS 41472 WITH SCORE 41529.749
AT ITER 2346 NEW BEST:: SOT 171681 SOS 57717 HAS SOPS 57717 HAS SOUS 41472 HAS SOUPS 41472 WITH SCORE 41529.717
AT ITER 2349 NEW BEST:: SOT 171646 SOS 57707 HAS SOPS 57707 HAS SOUS 41462 HAS SOUPS 41462 WITH SCORE 41519.707
AT ITER 2356 NEW BEST:: SOT 171542 SOS 57499 HAS SOPS 57499 HAS SOUS 41337 HAS SOUPS 41337 WITH SCORE 41394.499
AT ITER 2364 NEW BEST:: SOT 171540 SOS 57496 HAS SOPS 57496 HAS SOUS 41334 HAS SOUPS 41334 WITH SCORE 41391.496
AT ITER 2374 NEW BEST:: SOT 171530 SOS 57466 HAS SOPS 57466 HAS SOUS 41314 HAS SOUPS 41314 WITH SCORE 41371.466
AT ITER 2397 NEW BEST:: SOT 171480 SOS 57432 HAS SOPS 57432 HAS SOUS 41280 HAS SOUPS 41280 WITH SCORE 41337.432
AT ITER 2402 NEW BEST:: SOT 171480 SOS 57430 HAS SOPS 57430 HAS SOUS 41278 HAS SOUPS 41278 WITH SCORE 41335.43
AT ITER 2410 NEW BEST:: SOT 171481 SOS 57431 HAS SOPS 57431 HAS SOUS 41273 HAS SOUPS 41273 WITH SCORE 41330.431
AT ITER 2425 NEW BEST:: SOT 171457 SOS 57366 HAS SOPS 57366 HAS SOUS 41201 HAS SOUPS 41201 WITH SCORE 41258.366
AT ITER 2429 NEW BEST:: SOT 171404 SOS 57261 HAS SOPS 57261 HAS SOUS 41184 HAS SOUPS 41184 WITH SCORE 41241.261
AT ITER 2443 NEW BEST:: SOT 171516 SOS 57217 HAS SOPS 57217 HAS SOUS 41148 HAS SOUPS 41148 WITH SCORE 41205.217
AT ITER 2444 NEW BEST:: SOT 171537 SOS 57199 HAS SOPS 57199 HAS SOUS 41130 HAS SOUPS 41130 WITH SCORE 41187.199
AT ITER 2447 NEW BEST:: SOT 171537 SOS 57199 HAS SOPS 57199 HAS SOUS 41118 HAS SOUPS 41118 WITH SCORE 41175.199
AT ITER 2466 NEW BEST:: SOT 171524 SOS 57195 HAS SOPS 57195 HAS SOUS 41114 HAS SOUPS 41114 WITH SCORE 41171.195
AT ITER 2486 NEW BEST:: SOT 171409 SOS 56978 HAS SOPS 56978 HAS SOUS 40975 HAS SOUPS 40975 WITH SCORE 41031.978
AT ITER 2494 NEW BEST:: SOT 171210 SOS 56779 HAS SOPS 56779 HAS SOUS 40908 HAS SOUPS 40908 WITH SCORE 40964.779
AT ITER 2501 NEW BEST:: SOT 171110 SOS 56741 HAS SOPS 56741 HAS SOUS 40806 HAS SOUPS 40806 WITH SCORE 40862.741
AT ITER 2533 NEW BEST:: SOT 171086 SOS 56693 HAS SOPS 56693 HAS SOUS 40758 HAS SOUPS 40758 WITH SCORE 40814.693
AT ITER 2534 NEW BEST:: SOT 171206 SOS 56628 HAS SOPS 56628 HAS SOUS 40693 HAS SOUPS 40693 WITH SCORE 40749.628
AT ITER 2548 NEW BEST:: SOT 171170 SOS 56556 HAS SOPS 56556 HAS SOUS 40621 HAS SOUPS 40621 WITH SCORE 40677.556
AT ITER 2631 NEW BEST:: SOT 171271 SOS 56523 HAS SOPS 56523 HAS SOUS 40569 HAS SOUPS 40569 WITH SCORE 40625.523
AT ITER 2632 NEW BEST:: SOT 171271 SOS 56522 HAS SOPS 56522 HAS SOUS 40568 HAS SOUPS 40568 WITH SCORE 40624.522
AT ITER 2648 NEW BEST:: SOT 171295 SOS 56522 HAS SOPS 56522 HAS SOUS 40544 HAS SOUPS 40544 WITH SCORE 40600.522
AT ITER 2653 NEW BEST:: SOT 171295 SOS 56540 HAS SOPS 56540 HAS SOUS 40516 HAS SOUPS 40516 WITH SCORE 40572.54
AT ITER 2702 NEW BEST:: SOT 171320 SOS 56536 HAS SOPS 56536 HAS SOUS 40512 HAS SOUPS 40512 WITH SCORE 40568.536
AT ITER 2709 NEW BEST:: SOT 171320 SOS 56504 HAS SOPS 56504 HAS SOUS 40480 HAS SOUPS 40480 WITH SCORE 40536.504
AT ITER 2718 NEW BEST:: SOT 171315 SOS 56489 HAS SOPS 56489 HAS SOUS 40465 HAS SOUPS 40465 WITH SCORE 40521.489
AT ITER 2733 NEW BEST:: SOT 171359 SOS 56462 HAS SOPS 56462 HAS SOUS 40412 HAS SOUPS 40412 WITH SCORE 40468.462
AT ITER 2741 NEW BEST:: SOT 171358 SOS 56461 HAS SOPS 56461 HAS SOUS 40411 HAS SOUPS 40411 WITH SCORE 40467.461
AT ITER 2755 NEW BEST:: SOT 171263 SOS 56367 HAS SOPS 56367 HAS SOUS 40338 HAS SOUPS 40338 WITH SCORE 40394.367
AT ITER 2756 NEW BEST:: SOT 171202 SOS 56306 HAS SOPS 56306 HAS SOUS 40277 HAS SOUPS 40277 WITH SCORE 40333.306
AT ITER 2761 NEW BEST:: SOT 171197 SOS 56296 HAS SOPS 56296 HAS SOUS 40272 HAS SOUPS 40272 WITH SCORE 40328.296
AT ITER 2773 NEW BEST:: SOT 171148 SOS 56307 HAS SOPS 56307 HAS SOUS 40214 HAS SOUPS 40214 WITH SCORE 40270.307
AT ITER 2810 NEW BEST:: SOT 171086 SOS 56209 HAS SOPS 56209 HAS SOUS 40101 HAS SOUPS 40101 WITH SCORE 40157.209
AT ITER 2819 NEW BEST:: SOT 171071 SOS 56207 HAS SOPS 56207 HAS SOUS 40099 HAS SOUPS 40099 WITH SCORE 40155.207
AT ITER 2820 NEW BEST:: SOT 171053 SOS 56189 HAS SOPS 56189 HAS SOUS 40081 HAS SOUPS 40081 WITH SCORE 40137.189
AT ITER 2826 NEW BEST:: SOT 171098 SOS 56108 HAS SOPS 56108 HAS SOUS 40038 HAS SOUPS 40038 WITH SCORE 40094.108
AT ITER 2837 NEW BEST:: SOT 171077 SOS 56087 HAS SOPS 56087 HAS SOUS 40038 HAS SOUPS 40038 WITH SCORE 40094.087
AT ITER 2846 NEW BEST:: SOT 171076 SOS 56080 HAS SOPS 56080 HAS SOUS 40031 HAS SOUPS 40031 WITH SCORE 40087.08
AT ITER 2859 NEW BEST:: SOT 171181 SOS 56047 HAS SOPS 56047 HAS SOUS 39998 HAS SOUPS 39998 WITH SCORE 40054.047
AT ITER 2882 NEW BEST:: SOT 171177 SOS 56039 HAS SOPS 56039 HAS SOUS 39989 HAS SOUPS 39989 WITH SCORE 40045.039
AT ITER 2884 NEW BEST:: SOT 171164 SOS 56013 HAS SOPS 56013 HAS SOUS 39963 HAS SOUPS 39963 WITH SCORE 40019.013
AT ITER 2895 NEW BEST:: SOT 171164 SOS 55368 HAS SOPS 55368 HAS SOUS 39963 HAS SOUPS 39963 WITH SCORE 40018.368
AT ITER 2907 NEW BEST:: SOT 171136 SOS 55302 HAS SOPS 55302 HAS SOUS 39897 HAS SOUPS 39897 WITH SCORE 39952.302
AT ITER 2918 NEW BEST:: SOT 171125 SOS 55257 HAS SOPS 55257 HAS SOUS 39852 HAS SOUPS 39852 WITH SCORE 39907.257
AT ITER 2930 NEW BEST:: SOT 171125 SOS 55247 HAS SOPS 55247 HAS SOUS 39842 HAS SOUPS 39842 WITH SCORE 39897.247
AT ITER 2964 NEW BEST:: SOT 171097 SOS 55208 HAS SOPS 55208 HAS SOUS 39820 HAS SOUPS 39820 WITH SCORE 39875.208
AT ITER 2966 NEW BEST:: SOT 171064 SOS 55116 HAS SOPS 55116 HAS SOUS 39777 HAS SOUPS 39777 WITH SCORE 39832.116
AT ITER 2975 NEW BEST:: SOT 171059 SOS 55111 HAS SOPS 55111 HAS SOUS 39772 HAS SOUPS 39772 WITH SCORE 39827.111
AT ITER 2982 NEW BEST:: SOT 171014 SOS 55021 HAS SOPS 55021 HAS SOUS 39731 HAS SOUPS 39731 WITH SCORE 39786.021
AT ITER 2984 NEW BEST:: SOT 171014 SOS 55018 HAS SOPS 55018 HAS SOUS 39728 HAS SOUPS 39728 WITH SCORE 39783.018
AT ITER 3001 NEW BEST:: SOT 171014 SOS 55039 HAS SOPS 55039 HAS SOUS 39719 HAS SOUPS 39719 WITH SCORE 39774.039
AT ITER 3005 NEW BEST:: SOT 171010 SOS 55031 HAS SOPS 55031 HAS SOUS 39715 HAS SOUPS 39715 WITH SCORE 39770.031
AT ITER 3012 NEW BEST:: SOT 170969 SOS 54949 HAS SOPS 54949 HAS SOUS 39633 HAS SOUPS 39633 WITH SCORE 39687.949
AT ITER 3018 NEW BEST:: SOT 170902 SOS 54815 HAS SOPS 54815 HAS SOUS 39628 HAS SOUPS 39628 WITH SCORE 39682.815
AT ITER 3030 NEW BEST:: SOT 170817 SOS 54766 HAS SOPS 54766 HAS SOUS 39583 HAS SOUPS 39583 WITH SCORE 39637.766
AT ITER 3045 NEW BEST:: SOT 170800 SOS 54749 HAS SOPS 54749 HAS SOUS 39583 HAS SOUPS 39583 WITH SCORE 39637.749
AT ITER 3065 NEW BEST:: SOT 170708 SOS 54689 HAS SOPS 54689 HAS SOUS 39523 HAS SOUPS 39523 WITH SCORE 39577.689
AT ITER 3131 NEW BEST:: SOT 170692 SOS 54657 HAS SOPS 54657 HAS SOUS 39491 HAS SOUPS 39491 WITH SCORE 39545.657
AT ITER 3136 NEW BEST:: SOT 170680 SOS 54645 HAS SOPS 54645 HAS SOUS 39479 HAS SOUPS 39479 WITH SCORE 39533.645
AT ITER 3139 NEW BEST:: SOT 170677 SOS 54639 HAS SOPS 54639 HAS SOUS 39473 HAS SOUPS 39473 WITH SCORE 39527.639
AT ITER 3152 NEW BEST:: SOT 170726 SOS 54688 HAS SOPS 54688 HAS SOUS 39409 HAS SOUPS 39409 WITH SCORE 39463.688
AT ITER 3174 NEW BEST:: SOT 170586 SOS 54478 HAS SOPS 54478 HAS SOUS 39199 HAS SOUPS 39199 WITH SCORE 39253.478
AT ITER 3182 NEW BEST:: SOT 170586 SOS 54354 HAS SOPS 54354 HAS SOUS 39191 HAS SOUPS 39191 WITH SCORE 39245.354
AT ITER 3202 NEW BEST:: SOT 170392 SOS 54033 HAS SOPS 54033 HAS SOUS 38999 HAS SOUPS 38999 WITH SCORE 39053.033
AT ITER 3204 NEW BEST:: SOT 170376 SOS 54017 HAS SOPS 54017 HAS SOUS 38983 HAS SOUPS 38983 WITH SCORE 39037.017
AT ITER 3211 NEW BEST:: SOT 170408 SOS 54049 HAS SOPS 54049 HAS SOUS 38978 HAS SOUPS 38978 WITH SCORE 39032.049
AT ITER 3222 NEW BEST:: SOT 170408 SOS 54049 HAS SOPS 54049 HAS SOUS 38965 HAS SOUPS 38965 WITH SCORE 39019.049
AT ITER 3252 NEW BEST:: SOT 170389 SOS 53968 HAS SOPS 53968 HAS SOUS 38914 HAS SOUPS 38914 WITH SCORE 38967.968
AT ITER 3259 NEW BEST:: SOT 170389 SOS 53893 HAS SOPS 53893 HAS SOUS 38876 HAS SOUPS 38876 WITH SCORE 38929.893
AT ITER 3270 NEW BEST:: SOT 170389 SOS 53893 HAS SOPS 53893 HAS SOUS 38860 HAS SOUPS 38860 WITH SCORE 38913.893
AT ITER 3271 NEW BEST:: SOT 170383 SOS 53872 HAS SOPS 53872 HAS SOUS 38842 HAS SOUPS 38842 WITH SCORE 38895.872
AT ITER 3288 NEW BEST:: SOT 170350 SOS 53837 HAS SOPS 53837 HAS SOUS 38807 HAS SOUPS 38807 WITH SCORE 38860.837
AT ITER 3335 NEW BEST:: SOT 170285 SOS 53753 HAS SOPS 53753 HAS SOUS 38765 HAS SOUPS 38765 WITH SCORE 38818.753
AT ITER 3339 NEW BEST:: SOT 170284 SOS 53751 HAS SOPS 53751 HAS SOUS 38763 HAS SOUPS 38763 WITH SCORE 38816.751
AT ITER 3352 NEW BEST:: SOT 170283 SOS 53749 HAS SOPS 53749 HAS SOUS 38761 HAS SOUPS 38761 WITH SCORE 38814.749
AT ITER 3390 NEW BEST:: SOT 170240 SOS 53706 HAS SOPS 53706 HAS SOUS 38718 HAS SOUPS 38718 WITH SCORE 38771.706
AT ITER 3444 NEW BEST:: SOT 170226 SOS 53647 HAS SOPS 53647 HAS SOUS 38659 HAS SOUPS 38659 WITH SCORE 38712.647
AT ITER 3464 NEW BEST:: SOT 170195 SOS 53635 HAS SOPS 53635 HAS SOUS 38626 HAS SOUPS 38626 WITH SCORE 38679.635
AT ITER 3471 NEW BEST:: SOT 170190 SOS 53633 HAS SOPS 53633 HAS SOUS 38624 HAS SOUPS 38624 WITH SCORE 38677.633
AT ITER 3519 NEW BEST:: SOT 170195 SOS 53643 HAS SOPS 53643 HAS SOUS 38602 HAS SOUPS 38602 WITH SCORE 38655.643
AT ITER 3527 NEW BEST:: SOT 170179 SOS 53611 HAS SOPS 53611 HAS SOUS 38570 HAS SOUPS 38570 WITH SCORE 38623.611
AT ITER 3534 NEW BEST:: SOT 170185 SOS 53608 HAS SOPS 53608 HAS SOUS 38567 HAS SOUPS 38567 WITH SCORE 38620.608
AT ITER 3536 NEW BEST:: SOT 170170 SOS 53593 HAS SOPS 53593 HAS SOUS 38552 HAS SOUPS 38552 WITH SCORE 38605.593
AT ITER 3573 NEW BEST:: SOT 170154 SOS 53561 HAS SOPS 53561 HAS SOUS 38520 HAS SOUPS 38520 WITH SCORE 38573.561
AT ITER 3581 NEW BEST:: SOT 170111 SOS 53525 HAS SOPS 53525 HAS SOUS 38484 HAS SOUPS 38484 WITH SCORE 38537.525
AT ITER 3606 NEW BEST:: SOT 170100 SOS 53503 HAS SOPS 53503 HAS SOUS 38462 HAS SOUPS 38462 WITH SCORE 38515.503
AT ITER 3636 NEW BEST:: SOT 170094 SOS 53491 HAS SOPS 53491 HAS SOUS 38450 HAS SOUPS 38450 WITH SCORE 38503.491
AT ITER 3638 NEW BEST:: SOT 170058 SOS 53419 HAS SOPS 53419 HAS SOUS 38378 HAS SOUPS 38378 WITH SCORE 38431.419
AT ITER 3656 NEW BEST:: SOT 170025 SOS 53353 HAS SOPS 53353 HAS SOUS 38312 HAS SOUPS 38312 WITH SCORE 38365.353
AT ITER 3663 NEW BEST:: SOT 170005 SOS 53333 HAS SOPS 53333 HAS SOUS 38292 HAS SOUPS 38292 WITH SCORE 38345.333
AT ITER 3702 NEW BEST:: SOT 169985 SOS 53314 HAS SOPS 53314 HAS SOUS 38273 HAS SOUPS 38273 WITH SCORE 38326.314
AT ITER 3727 NEW BEST:: SOT 169961 SOS 53325 HAS SOPS 53325 HAS SOUS 38238 HAS SOUPS 38238 WITH SCORE 38291.325
AT ITER 3740 NEW BEST:: SOT 169892 SOS 53319 HAS SOPS 53319 HAS SOUS 38232 HAS SOUPS 38232 WITH SCORE 38285.319
AT ITER 3752 NEW BEST:: SOT 169892 SOS 53289 HAS SOPS 53289 HAS SOUS 38218 HAS SOUPS 38218 WITH SCORE 38271.289
AT ITER 3782 NEW BEST:: SOT 169892 SOS 53289 HAS SOPS 53289 HAS SOUS 38214 HAS SOUPS 38214 WITH SCORE 38267.289
AT ITER 3796 NEW BEST:: SOT 169892 SOS 53289 HAS SOPS 53289 HAS SOUS 38210 HAS SOUPS 38210 WITH SCORE 38263.289
AT ITER 3806 NEW BEST:: SOT 169892 SOS 53286 HAS SOPS 53286 HAS SOUS 38207 HAS SOUPS 38207 WITH SCORE 38260.286
AT ITER 3811 NEW BEST:: SOT 169891 SOS 53284 HAS SOPS 53284 HAS SOUS 38205 HAS SOUPS 38205 WITH SCORE 38258.284
AT ITER 3834 NEW BEST:: SOT 169826 SOS 53218 HAS SOPS 53218 HAS SOUS 38203 HAS SOUPS 38203 WITH SCORE 38256.218
AT ITER 3835 NEW BEST:: SOT 169821 SOS 53208 HAS SOPS 53208 HAS SOUS 38193 HAS SOUPS 38193 WITH SCORE 38246.208
AT ITER 3842 NEW BEST:: SOT 169816 SOS 53203 HAS SOPS 53203 HAS SOUS 38188 HAS SOUPS 38188 WITH SCORE 38241.203
AT ITER 3847 NEW BEST:: SOT 169811 SOS 53193 HAS SOPS 53193 HAS SOUS 38178 HAS SOUPS 38178 WITH SCORE 38231.193
AT ITER 3865 NEW BEST:: SOT 169811 SOS 53202 HAS SOPS 53202 HAS SOUS 38169 HAS SOUPS 38169 WITH SCORE 38222.202
AT ITER 3866 NEW BEST:: SOT 169759 SOS 53148 HAS SOPS 53148 HAS SOUS 38115 HAS SOUPS 38115 WITH SCORE 38168.148
AT ITER 3901 NEW BEST:: SOT 169759 SOS 53120 HAS SOPS 53120 HAS SOUS 38115 HAS SOUPS 38115 WITH SCORE 38168.12
AT ITER 3903 NEW BEST:: SOT 169753 SOS 53102 HAS SOPS 53102 HAS SOUS 38097 HAS SOUPS 38097 WITH SCORE 38150.102
AT ITER 3913 NEW BEST:: SOT 169743 SOS 53040 HAS SOPS 53040 HAS SOUS 38035 HAS SOUPS 38035 WITH SCORE 38088.04
AT ITER 3936 NEW BEST:: SOT 169738 SOS 53030 HAS SOPS 53030 HAS SOUS 38025 HAS SOUPS 38025 WITH SCORE 38078.03
AT ITER 3956 NEW BEST:: SOT 169598 SOS 52820 HAS SOPS 52820 HAS SOUS 37885 HAS SOUPS 37885 WITH SCORE 37937.82
AT ITER 3961 NEW BEST:: SOT 169592 SOS 52816 HAS SOPS 52816 HAS SOUS 37881 HAS SOUPS 37881 WITH SCORE 37933.816
AT ITER 3980 NEW BEST:: SOT 169583 SOS 52834 HAS SOPS 52834 HAS SOUS 37872 HAS SOUPS 37872 WITH SCORE 37924.834
AT ITER 3991 NEW BEST:: SOT 169618 SOS 52819 HAS SOPS 52819 HAS SOUS 37857 HAS SOUPS 37857 WITH SCORE 37909.819
AT ITER 4002 NEW BEST:: SOT 169604 SOS 52791 HAS SOPS 52791 HAS SOUS 37829 HAS SOUPS 37829 WITH SCORE 37881.791
AT ITER 4038 NEW BEST:: SOT 169557 SOS 52710 HAS SOPS 52710 HAS SOUS 37748 HAS SOUPS 37748 WITH SCORE 37800.71
AT ITER 4040 NEW BEST:: SOT 169479 SOS 52554 HAS SOPS 52554 HAS SOUS 37670 HAS SOUPS 37670 WITH SCORE 37722.554
AT ITER 4060 NEW BEST:: SOT 169471 SOS 52553 HAS SOPS 52553 HAS SOUS 37669 HAS SOUPS 37669 WITH SCORE 37721.553
AT ITER 4070 NEW BEST:: SOT 169471 SOS 52472 HAS SOPS 52472 HAS SOUS 37583 HAS SOUPS 37583 WITH SCORE 37635.472
AT ITER 4094 NEW BEST:: SOT 169509 SOS 52548 HAS SOPS 52548 HAS SOUS 37575 HAS SOUPS 37575 WITH SCORE 37627.548
AT ITER 4158 NEW BEST:: SOT 169509 SOS 52544 HAS SOPS 52544 HAS SOUS 37571 HAS SOUPS 37571 WITH SCORE 37623.544
AT ITER 4176 NEW BEST:: SOT 169509 SOS 52541 HAS SOPS 52541 HAS SOUS 37570 HAS SOUPS 37570 WITH SCORE 37622.541
AT ITER 4205 NEW BEST:: SOT 169463 SOS 52495 HAS SOPS 52495 HAS SOUS 37557 HAS SOUPS 37557 WITH SCORE 37609.495
AT ITER 4224 NEW BEST:: SOT 169455 SOS 52471 HAS SOPS 52471 HAS SOUS 37541 HAS SOUPS 37541 WITH SCORE 37593.471
AT ITER 4257 NEW BEST:: SOT 169491 SOS 52471 HAS SOPS 52471 HAS SOUS 37505 HAS SOUPS 37505 WITH SCORE 37557.471
AT ITER 4282 NEW BEST:: SOT 169491 SOS 52468 HAS SOPS 52468 HAS SOUS 37499 HAS SOUPS 37499 WITH SCORE 37551.468
AT ITER 4297 NEW BEST:: SOT 169489 SOS 52466 HAS SOPS 52466 HAS SOUS 37497 HAS SOUPS 37497 WITH SCORE 37549.466
AT ITER 4304 NEW BEST:: SOT 169489 SOS 52465 HAS SOPS 52465 HAS SOUS 37495 HAS SOUPS 37495 WITH SCORE 37547.465
AT ITER 4310 NEW BEST:: SOT 169473 SOS 52433 HAS SOPS 52433 HAS SOUS 37463 HAS SOUPS 37463 WITH SCORE 37515.433
AT ITER 4345 NEW BEST:: SOT 169434 SOS 52316 HAS SOPS 52316 HAS SOUS 37346 HAS SOUPS 37346 WITH SCORE 37398.316
AT ITER 4367 NEW BEST:: SOT 169416 SOS 52298 HAS SOPS 52298 HAS SOUS 37328 HAS SOUPS 37328 WITH SCORE 37380.298
AT ITER 4384 NEW BEST:: SOT 169418 SOS 52295 HAS SOPS 52295 HAS SOUS 37325 HAS SOUPS 37325 WITH SCORE 37377.295
AT ITER 4397 NEW BEST:: SOT 169418 SOS 52281 HAS SOPS 52281 HAS SOUS 37311 HAS SOUPS 37311 WITH SCORE 37363.281
AT ITER 4414 NEW BEST:: SOT 169354 SOS 52177 HAS SOPS 52177 HAS SOUS 37207 HAS SOUPS 37207 WITH SCORE 37259.177
AT ITER 4419 NEW BEST:: SOT 169350 SOS 52155 HAS SOPS 52155 HAS SOUS 37185 HAS SOUPS 37185 WITH SCORE 37237.155
AT ITER 4425 NEW BEST:: SOT 169342 SOS 52143 HAS SOPS 52143 HAS SOUS 37177 HAS SOUPS 37177 WITH SCORE 37229.143
AT ITER 4432 NEW BEST:: SOT 169334 SOS 52127 HAS SOPS 52127 HAS SOUS 37161 HAS SOUPS 37161 WITH SCORE 37213.127
AT ITER 4443 NEW BEST:: SOT 169306 SOS 52099 HAS SOPS 52099 HAS SOUS 37133 HAS SOUPS 37133 WITH SCORE 37185.099
AT ITER 4456 NEW BEST:: SOT 169283 SOS 52059 HAS SOPS 52059 HAS SOUS 37093 HAS SOUPS 37093 WITH SCORE 37145.059
AT ITER 4485 NEW BEST:: SOT 169275 SOS 52051 HAS SOPS 52051 HAS SOUS 37085 HAS SOUPS 37085 WITH SCORE 37137.051
AT ITER 4501 NEW BEST:: SOT 169275 SOS 52046 HAS SOPS 52046 HAS SOUS 37080 HAS SOUPS 37080 WITH SCORE 37132.046
AT ITER 4504 NEW BEST:: SOT 169239 SOS 52066 HAS SOPS 52066 HAS SOUS 37061 HAS SOUPS 37061 WITH SCORE 37113.066
AT ITER 4513 NEW BEST:: SOT 169239 SOS 52025 HAS SOPS 52025 HAS SOUS 37020 HAS SOUPS 37020 WITH SCORE 37072.025
AT ITER 4547 NEW BEST:: SOT 169231 SOS 52009 HAS SOPS 52009 HAS SOUS 37012 HAS SOUPS 37012 WITH SCORE 37064.009
AT ITER 4551 NEW BEST:: SOT 169231 SOS 52007 HAS SOPS 52007 HAS SOUS 37010 HAS SOUPS 37010 WITH SCORE 37062.007
AT ITER 4562 NEW BEST:: SOT 169199 SOS 51942 HAS SOPS 51942 HAS SOUS 36982 HAS SOUPS 36982 WITH SCORE 37033.942
AT ITER 4581 NEW BEST:: SOT 169197 SOS 51940 HAS SOPS 51940 HAS SOUS 36982 HAS SOUPS 36982 WITH SCORE 37033.94
AT ITER 4582 NEW BEST:: SOT 169196 SOS 51938 HAS SOPS 51938 HAS SOUS 36980 HAS SOUPS 36980 WITH SCORE 37031.938
AT ITER 4630 NEW BEST:: SOT 169188 SOS 51930 HAS SOPS 51930 HAS SOUS 36972 HAS SOUPS 36972 WITH SCORE 37023.93
AT ITER 4653 NEW BEST:: SOT 169188 SOS 51928 HAS SOPS 51928 HAS SOUS 36970 HAS SOUPS 36970 WITH SCORE 37021.928
AT ITER 4662 NEW BEST:: SOT 169176 SOS 51916 HAS SOPS 51916 HAS SOUS 36958 HAS SOUPS 36958 WITH SCORE 37009.916
AT ITER 4665 NEW BEST:: SOT 169140 SOS 51888 HAS SOPS 51888 HAS SOUS 36930 HAS SOUPS 36930 WITH SCORE 36981.888
AT ITER 4717 NEW BEST:: SOT 169139 SOS 51946 HAS SOPS 51946 HAS SOUS 36929 HAS SOUPS 36929 WITH SCORE 36980.946
AT ITER 4719 NEW BEST:: SOT 169137 SOS 51944 HAS SOPS 51944 HAS SOUS 36927 HAS SOUPS 36927 WITH SCORE 36978.944
AT ITER 4734 NEW BEST:: SOT 169137 SOS 51944 HAS SOPS 51944 HAS SOUS 36912 HAS SOUPS 36912 WITH SCORE 36963.944
AT ITER 4799 NEW BEST:: SOT 169153 SOS 51976 HAS SOPS 51976 HAS SOUS 36891 HAS SOUPS 36891 WITH SCORE 36942.976
AT ITER 4814 NEW BEST:: SOT 169125 SOS 51948 HAS SOPS 51948 HAS SOUS 36863 HAS SOUPS 36863 WITH SCORE 36914.948
AT ITER 4842 NEW BEST:: SOT 169124 SOS 51946 HAS SOPS 51946 HAS SOUS 36861 HAS SOUPS 36861 WITH SCORE 36912.946
AT ITER 4879 NEW BEST:: SOT 169116 SOS 51930 HAS SOPS 51930 HAS SOUS 36845 HAS SOUPS 36845 WITH SCORE 36896.93
AT ITER 4881 NEW BEST:: SOT 169105 SOS 51908 HAS SOPS 51908 HAS SOUS 36834 HAS SOUPS 36834 WITH SCORE 36885.908
AT ITER 4888 NEW BEST:: SOT 169115 SOS 51893 HAS SOPS 51893 HAS SOUS 36819 HAS SOUPS 36819 WITH SCORE 36870.893
AT ITER 4900 NEW BEST:: SOT 169106 SOS 51875 HAS SOPS 51875 HAS SOUS 36801 HAS SOUPS 36801 WITH SCORE 36852.875
AT ITER 4909 NEW BEST:: SOT 169083 SOS 51829 HAS SOPS 51829 HAS SOUS 36755 HAS SOUPS 36755 WITH SCORE 36806.829
AT ITER 4933 NEW BEST:: SOT 169083 SOS 51815 HAS SOPS 51815 HAS SOUS 36755 HAS SOUPS 36755 WITH SCORE 36806.815
AT ITER 4934 NEW BEST:: SOT 169065 SOS 51779 HAS SOPS 51779 HAS SOUS 36733 HAS SOUPS 36733 WITH SCORE 36784.779
AT ITER 4938 NEW BEST:: SOT 169081 SOS 51795 HAS SOPS 51795 HAS SOUS 36716 HAS SOUPS 36716 WITH SCORE 36767.795
AT ITER 4940 NEW BEST:: SOT 169081 SOS 51779 HAS SOPS 51779 HAS SOUS 36716 HAS SOUPS 36716 WITH SCORE 36767.779
AT ITER 4943 NEW BEST:: SOT 169060 SOS 51758 HAS SOPS 51758 HAS SOUS 36716 HAS SOUPS 36716 WITH SCORE 36767.758
AT ITER 4983 NEW BEST:: SOT 168933 SOS 51720 HAS SOPS 51720 HAS SOUS 36678 HAS SOUPS 36678 WITH SCORE 36729.72
AT ITER 4992 NEW BEST:: SOT 168929 SOS 51712 HAS SOPS 51712 HAS SOUS 36659 HAS SOUPS 36659 WITH SCORE 36710.712
AT ITER 4999 NEW BEST:: SOT 168929 SOS 51710 HAS SOPS 51710 HAS SOUS 36657 HAS SOUPS 36657 WITH SCORE 36708.71
AT ITER 5021 NEW BEST:: SOT 168861 SOS 51574 HAS SOPS 51574 HAS SOUS 36555 HAS SOUPS 36555 WITH SCORE 36606.574
AT ITER 5056 NEW BEST:: SOT 168861 SOS 51506 HAS SOPS 51506 HAS SOUS 36487 HAS SOUPS 36487 WITH SCORE 36538.506
AT ITER 5064 NEW BEST:: SOT 168854 SOS 51499 HAS SOPS 51499 HAS SOUS 36487 HAS SOUPS 36487 WITH SCORE 36538.499
AT ITER 5074 NEW BEST:: SOT 168850 SOS 51494 HAS SOPS 51494 HAS SOUS 36482 HAS SOUPS 36482 WITH SCORE 36533.494
AT ITER 5090 NEW BEST:: SOT 168850 SOS 51491 HAS SOPS 51491 HAS SOUS 36479 HAS SOUPS 36479 WITH SCORE 36530.491
AT ITER 5132 NEW BEST:: SOT 168841 SOS 51447 HAS SOPS 51447 HAS SOUS 36435 HAS SOUPS 36435 WITH SCORE 36486.447
AT ITER 5154 NEW BEST:: SOT 168841 SOS 51392 HAS SOPS 51392 HAS SOUS 36325 HAS SOUPS 36325 WITH SCORE 36376.392
AT ITER 5190 NEW BEST:: SOT 168841 SOS 51677 HAS SOPS 51677 HAS SOUS 36298 HAS SOUPS 36298 WITH SCORE 36349.677
AT ITER 5196 NEW BEST:: SOT 168859 SOS 51695 HAS SOPS 51695 HAS SOUS 36275 HAS SOUPS 36275 WITH SCORE 36326.695
AT ITER 5209 NEW BEST:: SOT 168795 SOS 51631 HAS SOPS 51631 HAS SOUS 36260 HAS SOUPS 36260 WITH SCORE 36311.631
AT ITER 5220 NEW BEST:: SOT 168783 SOS 51641 HAS SOPS 51641 HAS SOUS 36253 HAS SOUPS 36253 WITH SCORE 36304.641
AT ITER 5237 NEW BEST:: SOT 168773 SOS 51651 HAS SOPS 51651 HAS SOUS 36250 HAS SOUPS 36250 WITH SCORE 36301.651
AT ITER 5288 NEW BEST:: SOT 168773 SOS 51651 HAS SOPS 51651 HAS SOUS 36243 HAS SOUPS 36243 WITH SCORE 36294.651
AT ITER 5295 NEW BEST:: SOT 168773 SOS 51626 HAS SOPS 51626 HAS SOUS 36229 HAS SOUPS 36229 WITH SCORE 36280.626
AT ITER 5310 NEW BEST:: SOT 168434 SOS 51531 HAS SOPS 51531 HAS SOUS 36129 HAS SOUPS 36129 WITH SCORE 36180.531
AT ITER 5363 NEW BEST:: SOT 168421 SOS 51480 HAS SOPS 51480 HAS SOUS 36078 HAS SOUPS 36078 WITH SCORE 36129.48
AT ITER 5365 NEW BEST:: SOT 168440 SOS 51427 HAS SOPS 51427 HAS SOUS 36033 HAS SOUPS 36033 WITH SCORE 36084.427
AT ITER 5377 NEW BEST:: SOT 168440 SOS 51433 HAS SOPS 51433 HAS SOUS 36031 HAS SOUPS 36031 WITH SCORE 36082.433
AT ITER 5401 NEW BEST:: SOT 168485 SOS 51474 HAS SOPS 51474 HAS SOUS 36015 HAS SOUPS 36015 WITH SCORE 36066.474
AT ITER 5461 NEW BEST:: SOT 168485 SOS 51474 HAS SOPS 51474 HAS SOUS 36007 HAS SOUPS 36007 WITH SCORE 36058.474
AT ITER 5462 NEW BEST:: SOT 168485 SOS 51474 HAS SOPS 51474 HAS SOUS 35988 HAS SOUPS 35988 WITH SCORE 36039.474
AT ITER 5479 NEW BEST:: SOT 168474 SOS 51452 HAS SOPS 51452 HAS SOUS 35966 HAS SOUPS 35966 WITH SCORE 36017.452
AT ITER 5484 NEW BEST:: SOT 168455 SOS 51395 HAS SOPS 51395 HAS SOUS 35909 HAS SOUPS 35909 WITH SCORE 35960.395
AT ITER 5501 NEW BEST:: SOT 168454 SOS 51394 HAS SOPS 51394 HAS SOUS 35908 HAS SOUPS 35908 WITH SCORE 35959.394
AT ITER 5512 NEW BEST:: SOT 168365 SOS 51273 HAS SOPS 51273 HAS SOUS 35850 HAS SOUPS 35850 WITH SCORE 35901.273
AT ITER 5513 NEW BEST:: SOT 168325 SOS 51311 HAS SOPS 51311 HAS SOUS 35791 HAS SOUPS 35791 WITH SCORE 35842.311
AT ITER 5545 NEW BEST:: SOT 168291 SOS 51276 HAS SOPS 51276 HAS SOUS 35756 HAS SOUPS 35756 WITH SCORE 35807.276
AT ITER 5550 NEW BEST:: SOT 168295 SOS 51249 HAS SOPS 51249 HAS SOUS 35728 HAS SOUPS 35728 WITH SCORE 35779.249
AT ITER 5615 NEW BEST:: SOT 168287 SOS 51241 HAS SOPS 51241 HAS SOUS 35720 HAS SOUPS 35720 WITH SCORE 35771.241
AT ITER 5625 NEW BEST:: SOT 168214 SOS 51168 HAS SOPS 51168 HAS SOUS 35715 HAS SOUPS 35715 WITH SCORE 35766.168
AT ITER 5636 NEW BEST:: SOT 168214 SOS 51167 HAS SOPS 51167 HAS SOUS 35714 HAS SOUPS 35714 WITH SCORE 35765.167
AT ITER 5648 NEW BEST:: SOT 168199 SOS 51115 HAS SOPS 51115 HAS SOUS 35662 HAS SOUPS 35662 WITH SCORE 35713.115
AT ITER 5675 NEW BEST:: SOT 168255 SOS 51130 HAS SOPS 51130 HAS SOUS 35641 HAS SOUPS 35641 WITH SCORE 35692.13
AT ITER 5689 NEW BEST:: SOT 168240 SOS 51073 HAS SOPS 51073 HAS SOUS 35584 HAS SOUPS 35584 WITH SCORE 35635.073
AT ITER 5701 NEW BEST:: SOT 168213 SOS 51046 HAS SOPS 51046 HAS SOUS 35557 HAS SOUPS 35557 WITH SCORE 35608.046
AT ITER 5739 NEW BEST:: SOT 168240 SOS 50975 HAS SOPS 50975 HAS SOUS 35486 HAS SOUPS 35486 WITH SCORE 35536.975
AT ITER 5754 NEW BEST:: SOT 168235 SOS 50970 HAS SOPS 50970 HAS SOUS 35481 HAS SOUPS 35481 WITH SCORE 35531.97
AT ITER 5767 NEW BEST:: SOT 168316 SOS 50916 HAS SOPS 50916 HAS SOUS 35427 HAS SOUPS 35427 WITH SCORE 35477.916
AT ITER 5771 NEW BEST:: SOT 167864 SOS 50432 HAS SOPS 50432 HAS SOUS 34943 HAS SOUPS 34943 WITH SCORE 34993.432
AT ITER 5820 NEW BEST:: SOT 167864 SOS 50429 HAS SOPS 50429 HAS SOUS 34940 HAS SOUPS 34940 WITH SCORE 34990.429
AT ITER 5821 NEW BEST:: SOT 167860 SOS 50403 HAS SOPS 50403 HAS SOUS 34914 HAS SOUPS 34914 WITH SCORE 34964.403
AT ITER 5822 NEW BEST:: SOT 167774 SOS 50317 HAS SOPS 50317 HAS SOUS 34906 HAS SOUPS 34906 WITH SCORE 34956.317
AT ITER 5828 NEW BEST:: SOT 167761 SOS 50291 HAS SOPS 50291 HAS SOUS 34893 HAS SOUPS 34893 WITH SCORE 34943.291
AT ITER 5837 NEW BEST:: SOT 167761 SOS 50290 HAS SOPS 50290 HAS SOUS 34892 HAS SOUPS 34892 WITH SCORE 34942.29
AT ITER 5861 NEW BEST:: SOT 167747 SOS 50276 HAS SOPS 50276 HAS SOUS 34878 HAS SOUPS 34878 WITH SCORE 34928.276
AT ITER 5921 NEW BEST:: SOT 167708 SOS 50265 HAS SOPS 50265 HAS SOUS 34867 HAS SOUPS 34867 WITH SCORE 34917.265
AT ITER 5925 NEW BEST:: SOT 167702 SOS 50331 HAS SOPS 50331 HAS SOUS 34861 HAS SOUPS 34861 WITH SCORE 34911.331
AT ITER 5934 NEW BEST:: SOT 167643 SOS 50215 HAS SOPS 50215 HAS SOUS 34817 HAS SOUPS 34817 WITH SCORE 34867.215
AT ITER 5935 NEW BEST:: SOT 167637 SOS 50174 HAS SOPS 50174 HAS SOUS 34776 HAS SOUPS 34776 WITH SCORE 34826.174
AT ITER 5960 NEW BEST:: SOT 167637 SOS 50173 HAS SOPS 50173 HAS SOUS 34776 HAS SOUPS 34776 WITH SCORE 34826.173
AT ITER 6015 NEW BEST:: SOT 167636 SOS 50153 HAS SOPS 50153 HAS SOUS 34756 HAS SOUPS 34756 WITH SCORE 34806.153
AT ITER 6054 NEW BEST:: SOT 167629 SOS 50146 HAS SOPS 50146 HAS SOUS 34743 HAS SOUPS 34743 WITH SCORE 34793.146
AT ITER 6061 NEW BEST:: SOT 167589 SOS 50084 HAS SOPS 50084 HAS SOUS 34718 HAS SOUPS 34718 WITH SCORE 34768.084
AT ITER 6096 NEW BEST:: SOT 167574 SOS 50084 HAS SOPS 50084 HAS SOUS 34703 HAS SOUPS 34703 WITH SCORE 34753.084
AT ITER 6131 NEW BEST:: SOT 167591 SOS 50101 HAS SOPS 50101 HAS SOUS 34678 HAS SOUPS 34678 WITH SCORE 34728.101
AT ITER 6135 NEW BEST:: SOT 167570 SOS 50080 HAS SOPS 50080 HAS SOUS 34657 HAS SOUPS 34657 WITH SCORE 34707.08
AT ITER 6136 NEW BEST:: SOT 167544 SOS 50054 HAS SOPS 50054 HAS SOUS 34631 HAS SOUPS 34631 WITH SCORE 34681.054
AT ITER 6193 NEW BEST:: SOT 167542 SOS 50050 HAS SOPS 50050 HAS SOUS 34627 HAS SOUPS 34627 WITH SCORE 34677.05
AT ITER 6194 NEW BEST:: SOT 167437 SOS 49945 HAS SOPS 49945 HAS SOUS 34627 HAS SOUPS 34627 WITH SCORE 34676.945
AT ITER 6216 NEW BEST:: SOT 167404 SOS 49912 HAS SOPS 49912 HAS SOUS 34594 HAS SOUPS 34594 WITH SCORE 34643.912
AT ITER 6218 NEW BEST:: SOT 167420 SOS 49723 HAS SOPS 49723 HAS SOUS 34405 HAS SOUPS 34405 WITH SCORE 34454.723
AT ITER 6240 NEW BEST:: SOT 167306 SOS 49554 HAS SOPS 49554 HAS SOUS 34236 HAS SOUPS 34236 WITH SCORE 34285.554
AT ITER 6308 NEW BEST:: SOT 167306 SOS 49545 HAS SOPS 49545 HAS SOUS 34227 HAS SOUPS 34227 WITH SCORE 34276.545
AT ITER 6315 NEW BEST:: SOT 167306 SOS 49530 HAS SOPS 49530 HAS SOUS 34212 HAS SOUPS 34212 WITH SCORE 34261.53
AT ITER 6333 NEW BEST:: SOT 167310 SOS 49456 HAS SOPS 49456 HAS SOUS 34207 HAS SOUPS 34207 WITH SCORE 34256.456
AT ITER 6337 NEW BEST:: SOT 167295 SOS 49400 HAS SOPS 49400 HAS SOUS 34160 HAS SOUPS 34160 WITH SCORE 34209.4
AT ITER 6349 NEW BEST:: SOT 167285 SOS 49390 HAS SOPS 49390 HAS SOUS 34129 HAS SOUPS 34129 WITH SCORE 34178.39
AT ITER 6365 NEW BEST:: SOT 167239 SOS 49298 HAS SOPS 49298 HAS SOUS 34083 HAS SOUPS 34083 WITH SCORE 34132.298
AT ITER 6377 NEW BEST:: SOT 167108 SOS 49126 HAS SOPS 49126 HAS SOUS 34001 HAS SOUPS 34001 WITH SCORE 34050.126
AT ITER 6395 NEW BEST:: SOT 167108 SOS 49125 HAS SOPS 49125 HAS SOUS 34001 HAS SOUPS 34001 WITH SCORE 34050.125
AT ITER 6450 NEW BEST:: SOT 167231 SOS 49171 HAS SOPS 49171 HAS SOUS 33981 HAS SOUPS 33981 WITH SCORE 34030.171
AT ITER 6488 NEW BEST:: SOT 167128 SOS 49068 HAS SOPS 49068 HAS SOUS 33878 HAS SOUPS 33878 WITH SCORE 33927.068
AT ITER 6504 NEW BEST:: SOT 167101 SOS 49014 HAS SOPS 49014 HAS SOUS 33860 HAS SOUPS 33860 WITH SCORE 33909.014
AT ITER 6536 NEW BEST:: SOT 167100 SOS 49012 HAS SOPS 49012 HAS SOUS 33858 HAS SOUPS 33858 WITH SCORE 33907.012
AT ITER 6538 NEW BEST:: SOT 167100 SOS 49012 HAS SOPS 49012 HAS SOUS 33852 HAS SOUPS 33852 WITH SCORE 33901.012
AT ITER 6546 NEW BEST:: SOT 167114 SOS 49009 HAS SOPS 49009 HAS SOUS 33849 HAS SOUPS 33849 WITH SCORE 33898.009
AT ITER 6557 NEW BEST:: SOT 167098 SOS 48888 HAS SOPS 48888 HAS SOUS 33833 HAS SOUPS 33833 WITH SCORE 33881.888
AT ITER 6569 NEW BEST:: SOT 166966 SOS 48690 HAS SOPS 48690 HAS SOUS 33701 HAS SOUPS 33701 WITH SCORE 33749.69
AT ITER 6609 NEW BEST:: SOT 166860 SOS 48550 HAS SOPS 48550 HAS SOUS 33625 HAS SOUPS 33625 WITH SCORE 33673.55
AT ITER 6668 NEW BEST:: SOT 166860 SOS 48419 HAS SOPS 48419 HAS SOUS 33594 HAS SOUPS 33594 WITH SCORE 33642.419
AT ITER 6740 NEW BEST:: SOT 166841 SOS 48400 HAS SOPS 48400 HAS SOUS 33547 HAS SOUPS 33547 WITH SCORE 33595.4
AT ITER 6753 NEW BEST:: SOT 166957 SOS 48392 HAS SOPS 48392 HAS SOUS 33539 HAS SOUPS 33539 WITH SCORE 33587.392
AT ITER 6780 NEW BEST:: SOT 166867 SOS 48315 HAS SOPS 48315 HAS SOUS 33505 HAS SOUPS 33505 WITH SCORE 33553.315
AT ITER 6788 NEW BEST:: SOT 166782 SOS 48230 HAS SOPS 48230 HAS SOUS 33488 HAS SOUPS 33488 WITH SCORE 33536.23
AT ITER 6789 NEW BEST:: SOT 166798 SOS 48224 HAS SOPS 48224 HAS SOUS 33482 HAS SOUPS 33482 WITH SCORE 33530.224
AT ITER 6799 NEW BEST:: SOT 166762 SOS 48188 HAS SOPS 48188 HAS SOUS 33446 HAS SOUPS 33446 WITH SCORE 33494.188
AT ITER 6840 NEW BEST:: SOT 166758 SOS 48187 HAS SOPS 48187 HAS SOUS 33445 HAS SOUPS 33445 WITH SCORE 33493.187
AT ITER 6853 NEW BEST:: SOT 166742 SOS 48117 HAS SOPS 48117 HAS SOUS 33380 HAS SOUPS 33380 WITH SCORE 33428.117
AT ITER 6960 NEW BEST:: SOT 166735 SOS 48110 HAS SOPS 48110 HAS SOUS 33373 HAS SOUPS 33373 WITH SCORE 33421.11
AT ITER 6982 NEW BEST:: SOT 166615 SOS 47946 HAS SOPS 47946 HAS SOUS 33329 HAS SOUPS 33329 WITH SCORE 33376.946
AT ITER 6993 NEW BEST:: SOT 166611 SOS 47942 HAS SOPS 47942 HAS SOUS 33325 HAS SOUPS 33325 WITH SCORE 33372.942
AT ITER 6996 NEW BEST:: SOT 166564 SOS 47848 HAS SOPS 47848 HAS SOUS 33231 HAS SOUPS 33231 WITH SCORE 33278.848
AT ITER 7039 NEW BEST:: SOT 166537 SOS 47821 HAS SOPS 47821 HAS SOUS 33231 HAS SOUPS 33231 WITH SCORE 33278.821
AT ITER 7058 NEW BEST:: SOT 166455 SOS 47657 HAS SOPS 47657 HAS SOUS 33067 HAS SOUPS 33067 WITH SCORE 33114.657
AT ITER 7062 NEW BEST:: SOT 166355 SOS 47526 HAS SOPS 47526 HAS SOUS 32936 HAS SOUPS 32936 WITH SCORE 32983.526
AT ITER 7072 NEW BEST:: SOT 166327 SOS 47470 HAS SOPS 47470 HAS SOUS 32908 HAS SOUPS 32908 WITH SCORE 32955.47
AT ITER 7134 NEW BEST:: SOT 166302 SOS 47445 HAS SOPS 47445 HAS SOUS 32883 HAS SOUPS 32883 WITH SCORE 32930.445
AT ITER 7178 NEW BEST:: SOT 166306 SOS 47457 HAS SOPS 47457 HAS SOUS 32879 HAS SOUPS 32879 WITH SCORE 32926.457
AT ITER 7179 NEW BEST:: SOT 166286 SOS 47423 HAS SOPS 47423 HAS SOUS 32839 HAS SOUPS 32839 WITH SCORE 32886.423
AT ITER 7190 NEW BEST:: SOT 166286 SOS 47419 HAS SOPS 47419 HAS SOUS 32839 HAS SOUPS 32839 WITH SCORE 32886.419
AT ITER 7208 NEW BEST:: SOT 166286 SOS 47419 HAS SOPS 47419 HAS SOUS 32835 HAS SOUPS 32835 WITH SCORE 32882.419
AT ITER 7212 NEW BEST:: SOT 166254 SOS 47355 HAS SOPS 47355 HAS SOUS 32771 HAS SOUPS 32771 WITH SCORE 32818.355
AT ITER 7214 NEW BEST:: SOT 166246 SOS 47347 HAS SOPS 47347 HAS SOUS 32771 HAS SOUPS 32771 WITH SCORE 32818.347
AT ITER 7289 NEW BEST:: SOT 166187 SOS 47229 HAS SOPS 47229 HAS SOUS 32715 HAS SOUPS 32715 WITH SCORE 32762.229
AT ITER 7318 NEW BEST:: SOT 166190 SOS 47227 HAS SOPS 47227 HAS SOUS 32713 HAS SOUPS 32713 WITH SCORE 32760.227
AT ITER 7321 NEW BEST:: SOT 166171 SOS 47096 HAS SOPS 47096 HAS SOUS 32711 HAS SOUPS 32711 WITH SCORE 32758.096
AT ITER 7354 NEW BEST:: SOT 166171 SOS 47095 HAS SOPS 47095 HAS SOUS 32710 HAS SOUPS 32710 WITH SCORE 32757.095
AT ITER 7414 NEW BEST:: SOT 166145 SOS 47063 HAS SOPS 47063 HAS SOUS 32684 HAS SOUPS 32684 WITH SCORE 32731.063
AT ITER 7415 NEW BEST:: SOT 166068 SOS 47029 HAS SOPS 47029 HAS SOUS 32650 HAS SOUPS 32650 WITH SCORE 32697.029
AT ITER 7416 NEW BEST:: SOT 166058 SOS 47005 HAS SOPS 47005 HAS SOUS 32626 HAS SOUPS 32626 WITH SCORE 32673.005
AT ITER 7474 NEW BEST:: SOT 166058 SOS 46956 HAS SOPS 46956 HAS SOUS 32577 HAS SOUPS 32577 WITH SCORE 32623.956
AT ITER 7506 NEW BEST:: SOT 166051 SOS 46949 HAS SOPS 46949 HAS SOUS 32570 HAS SOUPS 32570 WITH SCORE 32616.949
AT ITER 7537 NEW BEST:: SOT 166054 SOS 46925 HAS SOPS 46925 HAS SOUS 32546 HAS SOUPS 32546 WITH SCORE 32592.925
AT ITER 7590 NEW BEST:: SOT 166026 SOS 46897 HAS SOPS 46897 HAS SOUS 32546 HAS SOUPS 32546 WITH SCORE 32592.897
AT ITER 7649 NEW BEST:: SOT 166033 SOS 46885 HAS SOPS 46885 HAS SOUS 32533 HAS SOUPS 32533 WITH SCORE 32579.885
AT ITER 7677 NEW BEST:: SOT 165984 SOS 46786 HAS SOPS 46786 HAS SOUS 32434 HAS SOUPS 32434 WITH SCORE 32480.786
AT ITER 7769 NEW BEST:: SOT 165976 SOS 46770 HAS SOPS 46770 HAS SOUS 32429 HAS SOUPS 32429 WITH SCORE 32475.77
AT ITER 7786 NEW BEST:: SOT 165956 SOS 46730 HAS SOPS 46730 HAS SOUS 32391 HAS SOUPS 32391 WITH SCORE 32437.73
AT ITER 7804 NEW BEST:: SOT 165949 SOS 46723 HAS SOPS 46723 HAS SOUS 32384 HAS SOUPS 32384 WITH SCORE 32430.723
AT ITER 7868 NEW BEST:: SOT 165816 SOS 46567 HAS SOPS 46567 HAS SOUS 32322 HAS SOUPS 32322 WITH SCORE 32368.567
AT ITER 7937 NEW BEST:: SOT 165813 SOS 46552 HAS SOPS 46552 HAS SOUS 32307 HAS SOUPS 32307 WITH SCORE 32353.552
AT ITER 7939 NEW BEST:: SOT 165824 SOS 46548 HAS SOPS 46548 HAS SOUS 32303 HAS SOUPS 32303 WITH SCORE 32349.548
AT ITER 7953 NEW BEST:: SOT 165803 SOS 46527 HAS SOPS 46527 HAS SOUS 32261 HAS SOUPS 32261 WITH SCORE 32307.527
AT ITER 7969 NEW BEST:: SOT 165791 SOS 46491 HAS SOPS 46491 HAS SOUS 32225 HAS SOUPS 32225 WITH SCORE 32271.491
AT ITER 8000 NEW BEST:: SOT 165756 SOS 46421 HAS SOPS 46421 HAS SOUS 32155 HAS SOUPS 32155 WITH SCORE 32201.421
AT ITER 8003 NEW BEST:: SOT 165762 SOS 46427 HAS SOPS 46427 HAS SOUS 32154 HAS SOUPS 32154 WITH SCORE 32200.427
AT ITER 8015 NEW BEST:: SOT 165762 SOS 46331 HAS SOPS 46331 HAS SOUS 32146 HAS SOUPS 32146 WITH SCORE 32192.331
AT ITER 8032 NEW BEST:: SOT 165762 SOS 46323 HAS SOPS 46323 HAS SOUS 32138 HAS SOUPS 32138 WITH SCORE 32184.323
AT ITER 8036 NEW BEST:: SOT 165762 SOS 46318 HAS SOPS 46318 HAS SOUS 32133 HAS SOUPS 32133 WITH SCORE 32179.318
AT ITER 8079 NEW BEST:: SOT 165759 SOS 46315 HAS SOPS 46315 HAS SOUS 32126 HAS SOUPS 32126 WITH SCORE 32172.315
AT ITER 8110 NEW BEST:: SOT 165759 SOS 46302 HAS SOPS 46302 HAS SOUS 32113 HAS SOUPS 32113 WITH SCORE 32159.302
AT ITER 8126 NEW BEST:: SOT 165759 SOS 46181 HAS SOPS 46181 HAS SOUS 32084 HAS SOUPS 32084 WITH SCORE 32130.181
AT ITER 8224 NEW BEST:: SOT 165757 SOS 46172 HAS SOPS 46172 HAS SOUS 32056 HAS SOUPS 32056 WITH SCORE 32102.172
AT ITER 8248 NEW BEST:: SOT 165753 SOS 46168 HAS SOPS 46168 HAS SOUS 32056 HAS SOUPS 32056 WITH SCORE 32102.168
AT ITER 8285 NEW BEST:: SOT 165807 SOS 46123 HAS SOPS 46123 HAS SOUS 32011 HAS SOUPS 32011 WITH SCORE 32057.123
AT ITER 8332 NEW BEST:: SOT 165903 SOS 46216 HAS SOPS 46216 HAS SOUS 32002 HAS SOUPS 32002 WITH SCORE 32048.216
AT ITER 8356 NEW BEST:: SOT 165896 SOS 46193 HAS SOPS 46193 HAS SOUS 31979 HAS SOUPS 31979 WITH SCORE 32025.193
AT ITER 8361 NEW BEST:: SOT 165868 SOS 46158 HAS SOPS 46158 HAS SOUS 31944 HAS SOUPS 31944 WITH SCORE 31990.158
AT ITER 8384 NEW BEST:: SOT 165859 SOS 46155 HAS SOPS 46155 HAS SOUS 31941 HAS SOUPS 31941 WITH SCORE 31987.155
AT ITER 8410 NEW BEST:: SOT 165823 SOS 46069 HAS SOPS 46069 HAS SOUS 31891 HAS SOUPS 31891 WITH SCORE 31937.069
AT ITER 8423 NEW BEST:: SOT 165783 SOS 45908 HAS SOPS 45908 HAS SOUS 31830 HAS SOUPS 31830 WITH SCORE 31875.908
AT ITER 8437 NEW BEST:: SOT 165773 SOS 45898 HAS SOPS 45898 HAS SOUS 31820 HAS SOUPS 31820 WITH SCORE 31865.898
AT ITER 8458 NEW BEST:: SOT 165773 SOS 45898 HAS SOPS 45898 HAS SOUS 31806 HAS SOUPS 31806 WITH SCORE 31851.898
AT ITER 8460 NEW BEST:: SOT 165765 SOS 45882 HAS SOPS 45882 HAS SOUS 31790 HAS SOUPS 31790 WITH SCORE 31835.882
AT ITER 8492 NEW BEST:: SOT 165756 SOS 45864 HAS SOPS 45864 HAS SOUS 31772 HAS SOUPS 31772 WITH SCORE 31817.864
AT ITER 8495 NEW BEST:: SOT 165756 SOS 45850 HAS SOPS 45850 HAS SOUS 31758 HAS SOUPS 31758 WITH SCORE 31803.85
AT ITER 8498 NEW BEST:: SOT 165754 SOS 45849 HAS SOPS 45849 HAS SOUS 31757 HAS SOUPS 31757 WITH SCORE 31802.849
AT ITER 8541 NEW BEST:: SOT 165752 SOS 45850 HAS SOPS 45850 HAS SOUS 31754 HAS SOUPS 31754 WITH SCORE 31799.85
AT ITER 8550 NEW BEST:: SOT 165732 SOS 45804 HAS SOPS 45804 HAS SOUS 31708 HAS SOUPS 31708 WITH SCORE 31753.804
AT ITER 8580 NEW BEST:: SOT 165728 SOS 45799 HAS SOPS 45799 HAS SOUS 31703 HAS SOUPS 31703 WITH SCORE 31748.799
AT ITER 8591 NEW BEST:: SOT 165736 SOS 45778 HAS SOPS 45778 HAS SOUS 31690 HAS SOUPS 31690 WITH SCORE 31735.778
AT ITER 8611 NEW BEST:: SOT 165732 SOS 45772 HAS SOPS 45772 HAS SOUS 31684 HAS SOUPS 31684 WITH SCORE 31729.772
AT ITER 8616 NEW BEST:: SOT 165719 SOS 45757 HAS SOPS 45757 HAS SOUS 31680 HAS SOUPS 31680 WITH SCORE 31725.757
AT ITER 8676 NEW BEST:: SOT 165699 SOS 45717 HAS SOPS 45717 HAS SOUS 31633 HAS SOUPS 31633 WITH SCORE 31678.717
AT ITER 8692 NEW BEST:: SOT 165699 SOS 45711 HAS SOPS 45711 HAS SOUS 31630 HAS SOUPS 31630 WITH SCORE 31675.711
AT ITER 8705 NEW BEST:: SOT 165666 SOS 45666 HAS SOPS 45666 HAS SOUS 31585 HAS SOUPS 31585 WITH SCORE 31630.666
AT ITER 8721 NEW BEST:: SOT 165666 SOS 45661 HAS SOPS 45661 HAS SOUS 31580 HAS SOUPS 31580 WITH SCORE 31625.661
AT ITER 8735 NEW BEST:: SOT 165666 SOS 45593 HAS SOPS 45593 HAS SOUS 31556 HAS SOUPS 31556 WITH SCORE 31601.593
AT ITER 8769 NEW BEST:: SOT 165662 SOS 45602 HAS SOPS 45602 HAS SOUS 31514 HAS SOUPS 31514 WITH SCORE 31559.602
AT ITER 8904 NEW BEST:: SOT 165657 SOS 45597 HAS SOPS 45597 HAS SOUS 31509 HAS SOUPS 31509 WITH SCORE 31554.597
AT ITER 8988 NEW BEST:: SOT 165654 SOS 45581 HAS SOPS 45581 HAS SOUS 31493 HAS SOUPS 31493 WITH SCORE 31538.581
AT ITER 9031 NEW BEST:: SOT 165630 SOS 45580 HAS SOPS 45580 HAS SOUS 31492 HAS SOUPS 31492 WITH SCORE 31537.58
AT ITER 9034 NEW BEST:: SOT 165639 SOS 45540 HAS SOPS 45540 HAS SOUS 31452 HAS SOUPS 31452 WITH SCORE 31497.54
AT ITER 9036 NEW BEST:: SOT 165627 SOS 45522 HAS SOPS 45522 HAS SOUS 31434 HAS SOUPS 31434 WITH SCORE 31479.522
AT ITER 9052 NEW BEST:: SOT 165617 SOS 45512 HAS SOPS 45512 HAS SOUS 31424 HAS SOUPS 31424 WITH SCORE 31469.512
AT ITER 9067 NEW BEST:: SOT 165629 SOS 45486 HAS SOPS 45486 HAS SOUS 31398 HAS SOUPS 31398 WITH SCORE 31443.486
AT ITER 9090 NEW BEST:: SOT 165640 SOS 45480 HAS SOPS 45480 HAS SOUS 31392 HAS SOUPS 31392 WITH SCORE 31437.48
AT ITER 9093 NEW BEST:: SOT 165568 SOS 45336 HAS SOPS 45336 HAS SOUS 31374 HAS SOUPS 31374 WITH SCORE 31419.336
AT ITER 9097 NEW BEST:: SOT 165565 SOS 45330 HAS SOPS 45330 HAS SOUS 31368 HAS SOUPS 31368 WITH SCORE 31413.33
AT ITER 9131 NEW BEST:: SOT 165608 SOS 45303 HAS SOPS 45303 HAS SOUS 31341 HAS SOUPS 31341 WITH SCORE 31386.303
AT ITER 9151 NEW BEST:: SOT 165566 SOS 45261 HAS SOPS 45261 HAS SOUS 31304 HAS SOUPS 31304 WITH SCORE 31349.261
AT ITER 9269 NEW BEST:: SOT 165566 SOS 45263 HAS SOPS 45263 HAS SOUS 31303 HAS SOUPS 31303 WITH SCORE 31348.263
AT ITER 9304 NEW BEST:: SOT 165562 SOS 45244 HAS SOPS 45244 HAS SOUS 31284 HAS SOUPS 31284 WITH SCORE 31329.244
AT ITER 9315 NEW BEST:: SOT 165559 SOS 45238 HAS SOPS 45238 HAS SOUS 31284 HAS SOUPS 31284 WITH SCORE 31329.238
AT ITER 9330 NEW BEST:: SOT 165543 SOS 45242 HAS SOPS 45242 HAS SOUS 31271 HAS SOUPS 31271 WITH SCORE 31316.242
AT ITER 9345 NEW BEST:: SOT 165543 SOS 45241 HAS SOPS 45241 HAS SOUS 31271 HAS SOUPS 31271 WITH SCORE 31316.241
AT ITER 9346 NEW BEST:: SOT 165498 SOS 45151 HAS SOPS 45151 HAS SOUS 31251 HAS SOUPS 31251 WITH SCORE 31296.151
AT ITER 9348 NEW BEST:: SOT 165476 SOS 45107 HAS SOPS 45107 HAS SOUS 31207 HAS SOUPS 31207 WITH SCORE 31252.107
AT ITER 9378 NEW BEST:: SOT 165476 SOS 45065 HAS SOPS 45065 HAS SOUS 31165 HAS SOUPS 31165 WITH SCORE 31210.065
AT ITER 9449 NEW BEST:: SOT 165466 SOS 45059 HAS SOPS 45059 HAS SOUS 31159 HAS SOUPS 31159 WITH SCORE 31204.059
AT ITER 9452 NEW BEST:: SOT 165460 SOS 45053 HAS SOPS 45053 HAS SOUS 31153 HAS SOUPS 31153 WITH SCORE 31198.053
AT ITER 9456 NEW BEST:: SOT 165378 SOS 44975 HAS SOPS 44975 HAS SOUS 31075 HAS SOUPS 31075 WITH SCORE 31119.975
AT ITER 9488 NEW BEST:: SOT 165378 SOS 44967 HAS SOPS 44967 HAS SOUS 31067 HAS SOUPS 31067 WITH SCORE 31111.967
AT ITER 9509 NEW BEST:: SOT 165373 SOS 44936 HAS SOPS 44936 HAS SOUS 31062 HAS SOUPS 31062 WITH SCORE 31106.936
AT ITER 9527 NEW BEST:: SOT 165360 SOS 44910 HAS SOPS 44910 HAS SOUS 31036 HAS SOUPS 31036 WITH SCORE 31080.91
AT ITER 9558 NEW BEST:: SOT 165330 SOS 44865 HAS SOPS 44865 HAS SOUS 31006 HAS SOUPS 31006 WITH SCORE 31050.865
AT ITER 9570 NEW BEST:: SOT 165317 SOS 44846 HAS SOPS 44846 HAS SOUS 30987 HAS SOUPS 30987 WITH SCORE 31031.846
AT ITER 9609 NEW BEST:: SOT 165314 SOS 44840 HAS SOPS 44840 HAS SOUS 30981 HAS SOUPS 30981 WITH SCORE 31025.84
AT ITER 9638 NEW BEST:: SOT 165309 SOS 44842 HAS SOPS 44842 HAS SOUS 30974 HAS SOUPS 30974 WITH SCORE 31018.842
AT ITER 9687 NEW BEST:: SOT 165301 SOS 44828 HAS SOPS 44828 HAS SOUS 30954 HAS SOUPS 30954 WITH SCORE 30998.828
AT ITER 9726 NEW BEST:: SOT 165277 SOS 44780 HAS SOPS 44780 HAS SOUS 30906 HAS SOUPS 30906 WITH SCORE 30950.78
AT ITER 9735 NEW BEST:: SOT 165283 SOS 44731 HAS SOPS 44731 HAS SOUS 30857 HAS SOUPS 30857 WITH SCORE 30901.731
AT ITER 9763 NEW BEST:: SOT 165280 SOS 44671 HAS SOPS 44671 HAS SOUS 30855 HAS SOUPS 30855 WITH SCORE 30899.671
AT ITER 9766 NEW BEST:: SOT 165280 SOS 44671 HAS SOPS 44671 HAS SOUS 30850 HAS SOUPS 30850 WITH SCORE 30894.671
AT ITER 9772 NEW BEST:: SOT 165268 SOS 44659 HAS SOPS 44659 HAS SOUS 30834 HAS SOUPS 30834 WITH SCORE 30878.659
AT ITER 9792 NEW BEST:: SOT 165253 SOS 44650 HAS SOPS 44650 HAS SOUS 30825 HAS SOUPS 30825 WITH SCORE 30869.65
AT ITER 9800 NEW BEST:: SOT 165155 SOS 44552 HAS SOPS 44552 HAS SOUS 30825 HAS SOUPS 30825 WITH SCORE 30869.552
AT ITER 9849 NEW BEST:: SOT 165137 SOS 44534 HAS SOPS 44534 HAS SOUS 30807 HAS SOUPS 30807 WITH SCORE 30851.534
AT ITER 9858 NEW BEST:: SOT 165137 SOS 44507 HAS SOPS 44507 HAS SOUS 30780 HAS SOUPS 30780 WITH SCORE 30824.507
AT ITER 9870 NEW BEST:: SOT 165137 SOS 44507 HAS SOPS 44507 HAS SOUS 30778 HAS SOUPS 30778 WITH SCORE 30822.507
AT ITER 9871 NEW BEST:: SOT 165149 SOS 44492 HAS SOPS 44492 HAS SOUS 30763 HAS SOUPS 30763 WITH SCORE 30807.492
AT ITER 9893 NEW BEST:: SOT 165156 SOS 44415 HAS SOPS 44415 HAS SOUS 30763 HAS SOUPS 30763 WITH SCORE 30807.415
AT ITER 9896 NEW BEST:: SOT 165138 SOS 44379 HAS SOPS 44379 HAS SOUS 30727 HAS SOUPS 30727 WITH SCORE 30771.379
AT ITER 9911 NEW BEST:: SOT 165138 SOS 44379 HAS SOPS 44379 HAS SOUS 30723 HAS SOUPS 30723 WITH SCORE 30767.379
AT ITER 9994 NEW BEST:: SOT 165101 SOS 44351 HAS SOPS 44351 HAS SOUS 30718 HAS SOUPS 30718 WITH SCORE 30762.351

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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