fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r011-oct2-167813599600024
Last Updated
May 14, 2023

About the Execution of Smart+red for ASLink-PT-01b

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

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r011-oct2-167813599600024.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ASLink-PT-01b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599600024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 688K
-rw-r--r-- 1 mcc users 7.1K Feb 26 13:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 13:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 13:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 13:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 13:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 26 13:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 13:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 13:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 293K Mar 5 18:22 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 1678719099619

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-01b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 14:51:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 14:51:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 14:51:42] [INFO ] Load time of PNML (sax parser for PT used): 104 ms
[2023-03-13 14:51:42] [INFO ] Transformed 846 places.
[2023-03-13 14:51:42] [INFO ] Transformed 1148 transitions.
[2023-03-13 14:51:42] [INFO ] Found NUPN structural information;
[2023-03-13 14:51:42] [INFO ] Parsed PT model containing 846 places and 1148 transitions and 3624 arcs in 240 ms.
[2023-03-13 14:51:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 846 places, 1148 transitions and 3624 arcs took 16 ms.
Total runtime 299 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 01b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 846 places, 1148 transitions, 3624 arcs.
AT ITER 0 NEW BEST:: SOT 592042 SOS 207952 HAS SOPS 207952 HAS SOUS 160350 HAS SOUPS 160350 WITH SCORE 160557.952
AT ITER 33 NEW BEST:: SOT 592042 SOS 207950 HAS SOPS 207950 HAS SOUS 160349 HAS SOUPS 160349 WITH SCORE 160556.95
AT ITER 45 NEW BEST:: SOT 591829 SOS 207737 HAS SOPS 207737 HAS SOUS 160136 HAS SOUPS 160136 WITH SCORE 160343.737
AT ITER 51 NEW BEST:: SOT 591646 SOS 207159 HAS SOPS 207159 HAS SOUS 159897 HAS SOUPS 159897 WITH SCORE 160104.159
AT ITER 54 NEW BEST:: SOT 591619 SOS 206956 HAS SOPS 206956 HAS SOUS 159757 HAS SOUPS 159757 WITH SCORE 159963.956
AT ITER 57 NEW BEST:: SOT 591524 SOS 206850 HAS SOPS 206850 HAS SOUS 159651 HAS SOUPS 159651 WITH SCORE 159857.85
AT ITER 68 NEW BEST:: SOT 593746 SOS 209133 HAS SOPS 209133 HAS SOUS 159462 HAS SOUPS 159462 WITH SCORE 159671.133
AT ITER 70 NEW BEST:: SOT 592782 SOS 208365 HAS SOPS 208365 HAS SOUS 158694 HAS SOUPS 158694 WITH SCORE 158902.365
AT ITER 79 NEW BEST:: SOT 592747 SOS 208330 HAS SOPS 208330 HAS SOUS 158659 HAS SOUPS 158659 WITH SCORE 158867.33
AT ITER 88 NEW BEST:: SOT 592747 SOS 208498 HAS SOPS 208498 HAS SOUS 158646 HAS SOUPS 158646 WITH SCORE 158854.498
AT ITER 93 NEW BEST:: SOT 592013 SOS 209964 HAS SOPS 209964 HAS SOUS 158488 HAS SOUPS 158488 WITH SCORE 158697.964
AT ITER 98 NEW BEST:: SOT 591308 SOS 209353 HAS SOPS 209353 HAS SOUS 158488 HAS SOUPS 158488 WITH SCORE 158697.353
AT ITER 102 NEW BEST:: SOT 591308 SOS 209353 HAS SOPS 209353 HAS SOUS 158487 HAS SOUPS 158487 WITH SCORE 158696.353
AT ITER 107 NEW BEST:: SOT 591094 SOS 209343 HAS SOPS 209343 HAS SOUS 158459 HAS SOUPS 158459 WITH SCORE 158668.343
AT ITER 112 NEW BEST:: SOT 591034 SOS 209253 HAS SOPS 209253 HAS SOUS 158398 HAS SOUPS 158398 WITH SCORE 158607.253
AT ITER 123 NEW BEST:: SOT 591029 SOS 209248 HAS SOPS 209248 HAS SOUS 158392 HAS SOUPS 158392 WITH SCORE 158601.248
AT ITER 125 NEW BEST:: SOT 590977 SOS 209196 HAS SOPS 209196 HAS SOUS 158328 HAS SOUPS 158328 WITH SCORE 158537.196
AT ITER 128 NEW BEST:: SOT 591024 SOS 209258 HAS SOPS 209258 HAS SOUS 158301 HAS SOUPS 158301 WITH SCORE 158510.258
AT ITER 142 NEW BEST:: SOT 590975 SOS 209152 HAS SOPS 209152 HAS SOUS 158235 HAS SOUPS 158235 WITH SCORE 158444.152
AT ITER 152 NEW BEST:: SOT 590884 SOS 209016 HAS SOPS 209016 HAS SOUS 158099 HAS SOUPS 158099 WITH SCORE 158308.016
AT ITER 163 NEW BEST:: SOT 590884 SOS 209012 HAS SOPS 209012 HAS SOUS 158095 HAS SOUPS 158095 WITH SCORE 158304.012
AT ITER 171 NEW BEST:: SOT 588889 SOS 207257 HAS SOPS 207257 HAS SOUS 158069 HAS SOUPS 158069 WITH SCORE 158276.257
AT ITER 180 NEW BEST:: SOT 588246 SOS 206684 HAS SOPS 206684 HAS SOUS 157425 HAS SOUPS 157425 WITH SCORE 157631.684
AT ITER 198 NEW BEST:: SOT 588107 SOS 207589 HAS SOPS 207589 HAS SOUS 156937 HAS SOUPS 156937 WITH SCORE 157144.589
AT ITER 214 NEW BEST:: SOT 587985 SOS 207371 HAS SOPS 207371 HAS SOUS 156852 HAS SOUPS 156852 WITH SCORE 157059.371
AT ITER 216 NEW BEST:: SOT 587984 SOS 207405 HAS SOPS 207405 HAS SOUS 156778 HAS SOUPS 156778 WITH SCORE 156985.405
AT ITER 218 NEW BEST:: SOT 587755 SOS 206920 HAS SOPS 206920 HAS SOUS 153084 HAS SOUPS 153084 WITH SCORE 153290.92
AT ITER 228 NEW BEST:: SOT 587755 SOS 206832 HAS SOPS 206832 HAS SOUS 153018 HAS SOUPS 153018 WITH SCORE 153224.832
AT ITER 229 NEW BEST:: SOT 587755 SOS 207901 HAS SOPS 207901 HAS SOUS 152898 HAS SOUPS 152898 WITH SCORE 153105.901
AT ITER 230 NEW BEST:: SOT 587724 SOS 207870 HAS SOPS 207870 HAS SOUS 152867 HAS SOUPS 152867 WITH SCORE 153074.87
AT ITER 239 NEW BEST:: SOT 587695 SOS 207811 HAS SOPS 207811 HAS SOUS 152807 HAS SOUPS 152807 WITH SCORE 153014.811
AT ITER 241 NEW BEST:: SOT 587659 SOS 207672 HAS SOPS 207672 HAS SOUS 152660 HAS SOUPS 152660 WITH SCORE 152867.672
AT ITER 247 NEW BEST:: SOT 587610 SOS 207623 HAS SOPS 207623 HAS SOUS 152611 HAS SOUPS 152611 WITH SCORE 152818.623
AT ITER 269 NEW BEST:: SOT 587018 SOS 207963 HAS SOPS 207963 HAS SOUS 152375 HAS SOUPS 152375 WITH SCORE 152582.963
AT ITER 311 NEW BEST:: SOT 586903 SOS 207687 HAS SOPS 207687 HAS SOUS 152210 HAS SOUPS 152210 WITH SCORE 152417.687
AT ITER 329 NEW BEST:: SOT 586902 SOS 207685 HAS SOPS 207685 HAS SOUS 152208 HAS SOUPS 152208 WITH SCORE 152415.685
AT ITER 340 NEW BEST:: SOT 586960 SOS 207652 HAS SOPS 207652 HAS SOUS 152196 HAS SOUPS 152196 WITH SCORE 152403.652
AT ITER 343 NEW BEST:: SOT 586896 SOS 207423 HAS SOPS 207423 HAS SOUS 152132 HAS SOUPS 152132 WITH SCORE 152339.423
AT ITER 345 NEW BEST:: SOT 586874 SOS 207357 HAS SOPS 207357 HAS SOUS 152088 HAS SOUPS 152088 WITH SCORE 152295.357
AT ITER 347 NEW BEST:: SOT 586874 SOS 207299 HAS SOPS 207299 HAS SOUS 152030 HAS SOUPS 152030 WITH SCORE 152237.299
AT ITER 353 NEW BEST:: SOT 586838 SOS 207262 HAS SOPS 207262 HAS SOUS 151993 HAS SOUPS 151993 WITH SCORE 152200.262
AT ITER 364 NEW BEST:: SOT 586749 SOS 207004 HAS SOPS 207004 HAS SOUS 151866 HAS SOUPS 151866 WITH SCORE 152073.004
AT ITER 365 NEW BEST:: SOT 586749 SOS 206974 HAS SOPS 206974 HAS SOUS 151864 HAS SOUPS 151864 WITH SCORE 152070.974
AT ITER 366 NEW BEST:: SOT 586574 SOS 207466 HAS SOPS 207466 HAS SOUS 151831 HAS SOUPS 151831 WITH SCORE 152038.466
AT ITER 372 NEW BEST:: SOT 586455 SOS 207280 HAS SOPS 207280 HAS SOUS 151680 HAS SOUPS 151680 WITH SCORE 151887.28
AT ITER 381 NEW BEST:: SOT 586422 SOS 207258 HAS SOPS 207258 HAS SOUS 151625 HAS SOUPS 151625 WITH SCORE 151832.258
AT ITER 382 NEW BEST:: SOT 586422 SOS 207250 HAS SOPS 207250 HAS SOUS 151617 HAS SOUPS 151617 WITH SCORE 151824.25
AT ITER 401 NEW BEST:: SOT 586422 SOS 207250 HAS SOPS 207250 HAS SOUS 151501 HAS SOUPS 151501 WITH SCORE 151708.25
AT ITER 411 NEW BEST:: SOT 586395 SOS 207223 HAS SOPS 207223 HAS SOUS 151474 HAS SOUPS 151474 WITH SCORE 151681.223
AT ITER 413 NEW BEST:: SOT 585874 SOS 208284 HAS SOPS 208284 HAS SOUS 151068 HAS SOUPS 151068 WITH SCORE 151276.284
AT ITER 427 NEW BEST:: SOT 585901 SOS 208423 HAS SOPS 208423 HAS SOUS 151050 HAS SOUPS 151050 WITH SCORE 151258.423
AT ITER 435 NEW BEST:: SOT 585761 SOS 208309 HAS SOPS 208309 HAS SOUS 150913 HAS SOUPS 150913 WITH SCORE 151121.309
AT ITER 449 NEW BEST:: SOT 585305 SOS 207923 HAS SOPS 207923 HAS SOUS 150499 HAS SOUPS 150499 WITH SCORE 150706.923
AT ITER 454 NEW BEST:: SOT 585314 SOS 207031 HAS SOPS 207031 HAS SOUS 150439 HAS SOUPS 150439 WITH SCORE 150646.031
AT ITER 471 NEW BEST:: SOT 584873 SOS 206814 HAS SOPS 206814 HAS SOUS 149961 HAS SOUPS 149961 WITH SCORE 150167.814
AT ITER 473 NEW BEST:: SOT 584731 SOS 206671 HAS SOPS 206671 HAS SOUS 149960 HAS SOUPS 149960 WITH SCORE 150166.671
AT ITER 478 NEW BEST:: SOT 584639 SOS 206579 HAS SOPS 206579 HAS SOUS 149867 HAS SOUPS 149867 WITH SCORE 150073.579
AT ITER 483 NEW BEST:: SOT 583500 SOS 208248 HAS SOPS 208248 HAS SOUS 149586 HAS SOUPS 149586 WITH SCORE 149794.248
AT ITER 485 NEW BEST:: SOT 583384 SOS 208004 HAS SOPS 208004 HAS SOUS 149449 HAS SOUPS 149449 WITH SCORE 149657.004
AT ITER 495 NEW BEST:: SOT 583374 SOS 207994 HAS SOPS 207994 HAS SOUS 149438 HAS SOUPS 149438 WITH SCORE 149645.994
AT ITER 507 NEW BEST:: SOT 583235 SOS 207628 HAS SOPS 207628 HAS SOUS 149170 HAS SOUPS 149170 WITH SCORE 149377.628
AT ITER 516 NEW BEST:: SOT 583182 SOS 206917 HAS SOPS 206917 HAS SOUS 148951 HAS SOUPS 148951 WITH SCORE 149157.917
AT ITER 533 NEW BEST:: SOT 581671 SOS 205601 HAS SOPS 205601 HAS SOUS 148192 HAS SOUPS 148192 WITH SCORE 148397.601
AT ITER 540 NEW BEST:: SOT 581614 SOS 205409 HAS SOPS 205409 HAS SOUS 148034 HAS SOUPS 148034 WITH SCORE 148239.409
AT ITER 546 NEW BEST:: SOT 581614 SOS 205327 HAS SOPS 205327 HAS SOUS 147952 HAS SOUPS 147952 WITH SCORE 148157.327
AT ITER 551 NEW BEST:: SOT 581144 SOS 204857 HAS SOPS 204857 HAS SOUS 147932 HAS SOUPS 147932 WITH SCORE 148136.857
AT ITER 564 NEW BEST:: SOT 578921 SOS 202780 HAS SOPS 202780 HAS SOUS 145555 HAS SOUPS 145555 WITH SCORE 145757.78
AT ITER 567 NEW BEST:: SOT 578921 SOS 202682 HAS SOPS 202682 HAS SOUS 145552 HAS SOUPS 145552 WITH SCORE 145754.682
AT ITER 578 NEW BEST:: SOT 580254 SOS 203904 HAS SOPS 203904 HAS SOUS 143294 HAS SOUPS 143294 WITH SCORE 143497.904
AT ITER 584 NEW BEST:: SOT 580228 SOS 203915 HAS SOPS 203915 HAS SOUS 143233 HAS SOUPS 143233 WITH SCORE 143436.915
AT ITER 591 NEW BEST:: SOT 580188 SOS 203873 HAS SOPS 203873 HAS SOUS 143177 HAS SOUPS 143177 WITH SCORE 143380.873
AT ITER 600 NEW BEST:: SOT 577611 SOS 204495 HAS SOPS 204495 HAS SOUS 140971 HAS SOUPS 140971 WITH SCORE 141175.495
AT ITER 602 NEW BEST:: SOT 577611 SOS 204562 HAS SOPS 204562 HAS SOUS 140965 HAS SOUPS 140965 WITH SCORE 141169.562
AT ITER 616 NEW BEST:: SOT 577585 SOS 204461 HAS SOPS 204461 HAS SOUS 140864 HAS SOUPS 140864 WITH SCORE 141068.461
AT ITER 618 NEW BEST:: SOT 577574 SOS 204449 HAS SOPS 204449 HAS SOUS 140841 HAS SOUPS 140841 WITH SCORE 141045.449
AT ITER 624 NEW BEST:: SOT 577352 SOS 204348 HAS SOPS 204348 HAS SOUS 140777 HAS SOUPS 140777 WITH SCORE 140981.348
AT ITER 640 NEW BEST:: SOT 577295 SOS 204295 HAS SOPS 204295 HAS SOUS 140724 HAS SOUPS 140724 WITH SCORE 140928.295
AT ITER 649 NEW BEST:: SOT 577326 SOS 204193 HAS SOPS 204193 HAS SOUS 140622 HAS SOUPS 140622 WITH SCORE 140826.193
AT ITER 653 NEW BEST:: SOT 577325 SOS 204191 HAS SOPS 204191 HAS SOUS 140446 HAS SOUPS 140446 WITH SCORE 140650.191
AT ITER 656 NEW BEST:: SOT 577325 SOS 204165 HAS SOPS 204165 HAS SOUS 140433 HAS SOUPS 140433 WITH SCORE 140637.165
AT ITER 666 NEW BEST:: SOT 577325 SOS 204060 HAS SOPS 204060 HAS SOUS 140433 HAS SOUPS 140433 WITH SCORE 140637.06
AT ITER 671 NEW BEST:: SOT 577415 SOS 204204 HAS SOPS 204204 HAS SOUS 140349 HAS SOUPS 140349 WITH SCORE 140553.204
AT ITER 676 NEW BEST:: SOT 577415 SOS 204149 HAS SOPS 204149 HAS SOUS 140349 HAS SOUPS 140349 WITH SCORE 140553.149
AT ITER 708 NEW BEST:: SOT 577440 SOS 204045 HAS SOPS 204045 HAS SOUS 140245 HAS SOUPS 140245 WITH SCORE 140449.045
AT ITER 712 NEW BEST:: SOT 577215 SOS 203679 HAS SOPS 203679 HAS SOUS 139879 HAS SOUPS 139879 WITH SCORE 140082.679
AT ITER 723 NEW BEST:: SOT 577107 SOS 203332 HAS SOPS 203332 HAS SOUS 139650 HAS SOUPS 139650 WITH SCORE 139853.332
AT ITER 731 NEW BEST:: SOT 577107 SOS 203118 HAS SOPS 203118 HAS SOUS 139436 HAS SOUPS 139436 WITH SCORE 139639.118
AT ITER 737 NEW BEST:: SOT 576990 SOS 202898 HAS SOPS 202898 HAS SOUS 139216 HAS SOUPS 139216 WITH SCORE 139418.898
AT ITER 740 NEW BEST:: SOT 576985 SOS 202888 HAS SOPS 202888 HAS SOUS 139211 HAS SOUPS 139211 WITH SCORE 139413.888
AT ITER 741 NEW BEST:: SOT 576985 SOS 202888 HAS SOPS 202888 HAS SOUS 139206 HAS SOUPS 139206 WITH SCORE 139408.888
AT ITER 749 NEW BEST:: SOT 576961 SOS 202816 HAS SOPS 202816 HAS SOUS 139158 HAS SOUPS 139158 WITH SCORE 139360.816
AT ITER 752 NEW BEST:: SOT 574530 SOS 200768 HAS SOPS 200768 HAS SOUS 137006 HAS SOUPS 137006 WITH SCORE 137206.768
AT ITER 761 NEW BEST:: SOT 574479 SOS 199532 HAS SOPS 199532 HAS SOUS 136686 HAS SOUPS 136686 WITH SCORE 136885.532
AT ITER 773 NEW BEST:: SOT 574239 SOS 199292 HAS SOPS 199292 HAS SOUS 136656 HAS SOUPS 136656 WITH SCORE 136855.292
AT ITER 791 NEW BEST:: SOT 574218 SOS 199271 HAS SOPS 199271 HAS SOUS 136625 HAS SOUPS 136625 WITH SCORE 136824.271
AT ITER 815 NEW BEST:: SOT 574009 SOS 198941 HAS SOPS 198941 HAS SOUS 136284 HAS SOUPS 136284 WITH SCORE 136482.941
AT ITER 819 NEW BEST:: SOT 573912 SOS 198734 HAS SOPS 198734 HAS SOUS 136077 HAS SOUPS 136077 WITH SCORE 136275.734
AT ITER 822 NEW BEST:: SOT 573497 SOS 198161 HAS SOPS 198161 HAS SOUS 135713 HAS SOUPS 135713 WITH SCORE 135911.161
AT ITER 825 NEW BEST:: SOT 573707 SOS 198004 HAS SOPS 198004 HAS SOUS 134233 HAS SOUPS 134233 WITH SCORE 134431.004
AT ITER 826 NEW BEST:: SOT 573608 SOS 197389 HAS SOPS 197389 HAS SOUS 134035 HAS SOUPS 134035 WITH SCORE 134232.389
AT ITER 849 NEW BEST:: SOT 573530 SOS 197233 HAS SOPS 197233 HAS SOUS 133833 HAS SOUPS 133833 WITH SCORE 134030.233
AT ITER 854 NEW BEST:: SOT 573230 SOS 196875 HAS SOPS 196875 HAS SOUS 133475 HAS SOUPS 133475 WITH SCORE 133671.875
AT ITER 858 NEW BEST:: SOT 573205 SOS 196950 HAS SOPS 196950 HAS SOUS 133450 HAS SOUPS 133450 WITH SCORE 133646.95
AT ITER 864 NEW BEST:: SOT 573067 SOS 196854 HAS SOPS 196854 HAS SOUS 133334 HAS SOUPS 133334 WITH SCORE 133530.854
AT ITER 866 NEW BEST:: SOT 573042 SOS 196750 HAS SOPS 196750 HAS SOUS 133230 HAS SOUPS 133230 WITH SCORE 133426.75
AT ITER 873 NEW BEST:: SOT 572985 SOS 196693 HAS SOPS 196693 HAS SOUS 133173 HAS SOUPS 133173 WITH SCORE 133369.693
AT ITER 881 NEW BEST:: SOT 570967 SOS 194784 HAS SOPS 194784 HAS SOUS 133120 HAS SOUPS 133120 WITH SCORE 133314.784
AT ITER 884 NEW BEST:: SOT 570879 SOS 194606 HAS SOPS 194606 HAS SOUS 132942 HAS SOUPS 132942 WITH SCORE 133136.606
AT ITER 886 NEW BEST:: SOT 570879 SOS 194581 HAS SOPS 194581 HAS SOUS 132917 HAS SOUPS 132917 WITH SCORE 133111.581
AT ITER 908 NEW BEST:: SOT 570770 SOS 194472 HAS SOPS 194472 HAS SOUS 132808 HAS SOUPS 132808 WITH SCORE 133002.472
AT ITER 930 NEW BEST:: SOT 570770 SOS 194457 HAS SOPS 194457 HAS SOUS 132793 HAS SOUPS 132793 WITH SCORE 132987.457
AT ITER 935 NEW BEST:: SOT 570770 SOS 194455 HAS SOPS 194455 HAS SOUS 132792 HAS SOUPS 132792 WITH SCORE 132986.455
AT ITER 948 NEW BEST:: SOT 570767 SOS 194446 HAS SOPS 194446 HAS SOUS 132780 HAS SOUPS 132780 WITH SCORE 132974.446
AT ITER 967 NEW BEST:: SOT 570409 SOS 194807 HAS SOPS 194807 HAS SOUS 132641 HAS SOUPS 132641 WITH SCORE 132835.807
AT ITER 973 NEW BEST:: SOT 570316 SOS 194621 HAS SOPS 194621 HAS SOUS 132548 HAS SOUPS 132548 WITH SCORE 132742.621
AT ITER 1002 NEW BEST:: SOT 570314 SOS 194617 HAS SOPS 194617 HAS SOUS 132543 HAS SOUPS 132543 WITH SCORE 132737.617
AT ITER 1010 NEW BEST:: SOT 570304 SOS 194223 HAS SOPS 194223 HAS SOUS 132415 HAS SOUPS 132415 WITH SCORE 132609.223
AT ITER 1012 NEW BEST:: SOT 569761 SOS 194399 HAS SOPS 194399 HAS SOUS 132043 HAS SOUPS 132043 WITH SCORE 132237.399
AT ITER 1018 NEW BEST:: SOT 569604 SOS 194242 HAS SOPS 194242 HAS SOUS 131886 HAS SOUPS 131886 WITH SCORE 132080.242
AT ITER 1035 NEW BEST:: SOT 569372 SOS 193778 HAS SOPS 193778 HAS SOUS 131422 HAS SOUPS 131422 WITH SCORE 131615.778
AT ITER 1049 NEW BEST:: SOT 569372 SOS 193690 HAS SOPS 193690 HAS SOUS 131422 HAS SOUPS 131422 WITH SCORE 131615.69
AT ITER 1066 NEW BEST:: SOT 569296 SOS 193614 HAS SOPS 193614 HAS SOUS 131346 HAS SOUPS 131346 WITH SCORE 131539.614
AT ITER 1069 NEW BEST:: SOT 569117 SOS 193291 HAS SOPS 193291 HAS SOUS 131023 HAS SOUPS 131023 WITH SCORE 131216.291
AT ITER 1070 NEW BEST:: SOT 569086 SOS 193260 HAS SOPS 193260 HAS SOUS 130992 HAS SOUPS 130992 WITH SCORE 131185.26
AT ITER 1081 NEW BEST:: SOT 569094 SOS 193260 HAS SOPS 193260 HAS SOUS 130902 HAS SOUPS 130902 WITH SCORE 131095.26
AT ITER 1092 NEW BEST:: SOT 569194 SOS 192924 HAS SOPS 192924 HAS SOUS 130835 HAS SOUPS 130835 WITH SCORE 131027.924
AT ITER 1094 NEW BEST:: SOT 569219 SOS 192781 HAS SOPS 192781 HAS SOUS 130692 HAS SOUPS 130692 WITH SCORE 130884.781
AT ITER 1095 NEW BEST:: SOT 569151 SOS 192645 HAS SOPS 192645 HAS SOUS 130556 HAS SOUPS 130556 WITH SCORE 130748.645
AT ITER 1097 NEW BEST:: SOT 569129 SOS 192623 HAS SOPS 192623 HAS SOUS 130512 HAS SOUPS 130512 WITH SCORE 130704.623
AT ITER 1106 NEW BEST:: SOT 569118 SOS 192612 HAS SOPS 192612 HAS SOUS 130501 HAS SOUPS 130501 WITH SCORE 130693.612
AT ITER 1116 NEW BEST:: SOT 569117 SOS 192538 HAS SOPS 192538 HAS SOUS 130487 HAS SOUPS 130487 WITH SCORE 130679.538
AT ITER 1128 NEW BEST:: SOT 569072 SOS 192448 HAS SOPS 192448 HAS SOUS 130442 HAS SOUPS 130442 WITH SCORE 130634.448
AT ITER 1129 NEW BEST:: SOT 569072 SOS 192274 HAS SOPS 192274 HAS SOUS 130413 HAS SOUPS 130413 WITH SCORE 130605.274
AT ITER 1138 NEW BEST:: SOT 569024 SOS 192574 HAS SOPS 192574 HAS SOUS 130361 HAS SOUPS 130361 WITH SCORE 130553.574
AT ITER 1153 NEW BEST:: SOT 568655 SOS 192307 HAS SOPS 192307 HAS SOUS 130028 HAS SOUPS 130028 WITH SCORE 130220.307
AT ITER 1156 NEW BEST:: SOT 567525 SOS 191092 HAS SOPS 191092 HAS SOUS 129229 HAS SOUPS 129229 WITH SCORE 129420.092
AT ITER 1159 NEW BEST:: SOT 567451 SOS 190950 HAS SOPS 190950 HAS SOUS 129031 HAS SOUPS 129031 WITH SCORE 129221.95
AT ITER 1160 NEW BEST:: SOT 567451 SOS 190964 HAS SOPS 190964 HAS SOUS 129030 HAS SOUPS 129030 WITH SCORE 129220.964
AT ITER 1163 NEW BEST:: SOT 567382 SOS 191104 HAS SOPS 191104 HAS SOUS 128980 HAS SOUPS 128980 WITH SCORE 129171.104
AT ITER 1175 NEW BEST:: SOT 567397 SOS 190784 HAS SOPS 190784 HAS SOUS 128976 HAS SOUPS 128976 WITH SCORE 129166.784
AT ITER 1179 NEW BEST:: SOT 567359 SOS 190747 HAS SOPS 190747 HAS SOUS 128954 HAS SOUPS 128954 WITH SCORE 129144.747
AT ITER 1194 NEW BEST:: SOT 567359 SOS 190649 HAS SOPS 190649 HAS SOUS 128954 HAS SOUPS 128954 WITH SCORE 129144.649
AT ITER 1196 NEW BEST:: SOT 567173 SOS 190199 HAS SOPS 190199 HAS SOUS 128636 HAS SOUPS 128636 WITH SCORE 128826.199
AT ITER 1201 NEW BEST:: SOT 567142 SOS 190189 HAS SOPS 190189 HAS SOUS 128636 HAS SOUPS 128636 WITH SCORE 128826.189
AT ITER 1203 NEW BEST:: SOT 567132 SOS 190164 HAS SOPS 190164 HAS SOUS 128621 HAS SOUPS 128621 WITH SCORE 128811.164
AT ITER 1220 NEW BEST:: SOT 567183 SOS 190265 HAS SOPS 190265 HAS SOUS 128347 HAS SOUPS 128347 WITH SCORE 128537.265
AT ITER 1222 NEW BEST:: SOT 566998 SOS 190117 HAS SOPS 190117 HAS SOUS 128199 HAS SOUPS 128199 WITH SCORE 128389.117
AT ITER 1223 NEW BEST:: SOT 566994 SOS 190111 HAS SOPS 190111 HAS SOUS 128193 HAS SOUPS 128193 WITH SCORE 128383.111
AT ITER 1230 NEW BEST:: SOT 566934 SOS 189391 HAS SOPS 189391 HAS SOUS 127953 HAS SOUPS 127953 WITH SCORE 128142.391
AT ITER 1239 NEW BEST:: SOT 566882 SOS 189323 HAS SOPS 189323 HAS SOUS 127885 HAS SOUPS 127885 WITH SCORE 128074.323
AT ITER 1241 NEW BEST:: SOT 566882 SOS 189323 HAS SOPS 189323 HAS SOUS 127882 HAS SOUPS 127882 WITH SCORE 128071.323
AT ITER 1249 NEW BEST:: SOT 566828 SOS 189269 HAS SOPS 189269 HAS SOUS 127666 HAS SOUPS 127666 WITH SCORE 127855.269
AT ITER 1287 NEW BEST:: SOT 566775 SOS 189191 HAS SOPS 189191 HAS SOUS 127574 HAS SOUPS 127574 WITH SCORE 127763.191
AT ITER 1293 NEW BEST:: SOT 566743 SOS 189091 HAS SOPS 189091 HAS SOUS 127542 HAS SOUPS 127542 WITH SCORE 127731.091
AT ITER 1295 NEW BEST:: SOT 566780 SOS 188898 HAS SOPS 188898 HAS SOUS 127349 HAS SOUPS 127349 WITH SCORE 127537.898
AT ITER 1310 NEW BEST:: SOT 566780 SOS 188844 HAS SOPS 188844 HAS SOUS 127349 HAS SOUPS 127349 WITH SCORE 127537.844
AT ITER 1336 NEW BEST:: SOT 566780 SOS 188834 HAS SOPS 188834 HAS SOUS 127349 HAS SOUPS 127349 WITH SCORE 127537.834
AT ITER 1368 NEW BEST:: SOT 566818 SOS 188877 HAS SOPS 188877 HAS SOUS 127340 HAS SOUPS 127340 WITH SCORE 127528.877
AT ITER 1385 NEW BEST:: SOT 566807 SOS 188610 HAS SOPS 188610 HAS SOUS 127220 HAS SOUPS 127220 WITH SCORE 127408.61
AT ITER 1401 NEW BEST:: SOT 566783 SOS 188505 HAS SOPS 188505 HAS SOUS 126904 HAS SOUPS 126904 WITH SCORE 127092.505
AT ITER 1423 NEW BEST:: SOT 566775 SOS 188442 HAS SOPS 188442 HAS SOUS 126883 HAS SOUPS 126883 WITH SCORE 127071.442
AT ITER 1424 NEW BEST:: SOT 566774 SOS 188441 HAS SOPS 188441 HAS SOUS 126881 HAS SOUPS 126881 WITH SCORE 127069.441
AT ITER 1431 NEW BEST:: SOT 566670 SOS 188337 HAS SOPS 188337 HAS SOUS 126817 HAS SOUPS 126817 WITH SCORE 127005.337
AT ITER 1440 NEW BEST:: SOT 566633 SOS 188266 HAS SOPS 188266 HAS SOUS 126718 HAS SOUPS 126718 WITH SCORE 126906.266
AT ITER 1453 NEW BEST:: SOT 566707 SOS 188227 HAS SOPS 188227 HAS SOUS 126679 HAS SOUPS 126679 WITH SCORE 126867.227
AT ITER 1458 NEW BEST:: SOT 566707 SOS 188173 HAS SOPS 188173 HAS SOUS 126625 HAS SOUPS 126625 WITH SCORE 126813.173
AT ITER 1480 NEW BEST:: SOT 566811 SOS 187688 HAS SOPS 187688 HAS SOUS 126565 HAS SOUPS 126565 WITH SCORE 126752.688
AT ITER 1491 NEW BEST:: SOT 566712 SOS 187916 HAS SOPS 187916 HAS SOUS 126528 HAS SOUPS 126528 WITH SCORE 126715.916
AT ITER 1526 NEW BEST:: SOT 566707 SOS 187906 HAS SOPS 187906 HAS SOUS 126523 HAS SOUPS 126523 WITH SCORE 126710.906
AT ITER 1531 NEW BEST:: SOT 566707 SOS 187840 HAS SOPS 187840 HAS SOUS 126523 HAS SOUPS 126523 WITH SCORE 126710.84
AT ITER 1535 NEW BEST:: SOT 566707 SOS 187840 HAS SOPS 187840 HAS SOUS 126520 HAS SOUPS 126520 WITH SCORE 126707.84
AT ITER 1538 NEW BEST:: SOT 566619 SOS 187774 HAS SOPS 187774 HAS SOUS 126454 HAS SOUPS 126454 WITH SCORE 126641.774
AT ITER 1555 NEW BEST:: SOT 566469 SOS 187560 HAS SOPS 187560 HAS SOUS 126171 HAS SOUPS 126171 WITH SCORE 126358.56
AT ITER 1575 NEW BEST:: SOT 566285 SOS 187358 HAS SOPS 187358 HAS SOUS 125969 HAS SOUPS 125969 WITH SCORE 126156.358
AT ITER 1577 NEW BEST:: SOT 566247 SOS 187282 HAS SOPS 187282 HAS SOUS 125893 HAS SOUPS 125893 WITH SCORE 126080.282
AT ITER 1583 NEW BEST:: SOT 566233 SOS 187269 HAS SOPS 187269 HAS SOUS 125880 HAS SOUPS 125880 WITH SCORE 126067.269
AT ITER 1596 NEW BEST:: SOT 566050 SOS 187089 HAS SOPS 187089 HAS SOUS 125730 HAS SOUPS 125730 WITH SCORE 125917.089
AT ITER 1616 NEW BEST:: SOT 565844 SOS 186989 HAS SOPS 186989 HAS SOUS 125630 HAS SOUPS 125630 WITH SCORE 125816.989
AT ITER 1633 NEW BEST:: SOT 565806 SOS 186981 HAS SOPS 186981 HAS SOUS 125554 HAS SOUPS 125554 WITH SCORE 125740.981
AT ITER 1634 NEW BEST:: SOT 565638 SOS 186813 HAS SOPS 186813 HAS SOUS 125386 HAS SOUPS 125386 WITH SCORE 125572.813
AT ITER 1637 NEW BEST:: SOT 565602 SOS 186741 HAS SOPS 186741 HAS SOUS 125239 HAS SOUPS 125239 WITH SCORE 125425.741
AT ITER 1651 NEW BEST:: SOT 565599 SOS 187579 HAS SOPS 187579 HAS SOUS 125237 HAS SOUPS 125237 WITH SCORE 125424.579
AT ITER 1657 NEW BEST:: SOT 565522 SOS 187613 HAS SOPS 187613 HAS SOUS 125231 HAS SOUPS 125231 WITH SCORE 125418.613
AT ITER 1669 NEW BEST:: SOT 565181 SOS 187260 HAS SOPS 187260 HAS SOUS 125226 HAS SOUPS 125226 WITH SCORE 125413.26
AT ITER 1672 NEW BEST:: SOT 565033 SOS 187095 HAS SOPS 187095 HAS SOUS 125054 HAS SOUPS 125054 WITH SCORE 125241.095
AT ITER 1675 NEW BEST:: SOT 565033 SOS 187090 HAS SOPS 187090 HAS SOUS 125049 HAS SOUPS 125049 WITH SCORE 125236.09
AT ITER 1680 NEW BEST:: SOT 564869 SOS 186850 HAS SOPS 186850 HAS SOUS 124796 HAS SOUPS 124796 WITH SCORE 124982.85
AT ITER 1684 NEW BEST:: SOT 564785 SOS 186850 HAS SOPS 186850 HAS SOUS 124747 HAS SOUPS 124747 WITH SCORE 124933.85
AT ITER 1723 NEW BEST:: SOT 564610 SOS 187525 HAS SOPS 187525 HAS SOUS 124705 HAS SOUPS 124705 WITH SCORE 124892.525
AT ITER 1725 NEW BEST:: SOT 564610 SOS 187515 HAS SOPS 187515 HAS SOUS 124695 HAS SOUPS 124695 WITH SCORE 124882.515
AT ITER 1732 NEW BEST:: SOT 564536 SOS 187478 HAS SOPS 187478 HAS SOUS 124619 HAS SOUPS 124619 WITH SCORE 124806.478
AT ITER 1739 NEW BEST:: SOT 564459 SOS 187379 HAS SOPS 187379 HAS SOUS 124520 HAS SOUPS 124520 WITH SCORE 124707.379
AT ITER 1740 NEW BEST:: SOT 564459 SOS 187358 HAS SOPS 187358 HAS SOUS 124499 HAS SOUPS 124499 WITH SCORE 124686.358
AT ITER 1753 NEW BEST:: SOT 564407 SOS 187255 HAS SOPS 187255 HAS SOUS 124438 HAS SOUPS 124438 WITH SCORE 124625.255
AT ITER 1755 NEW BEST:: SOT 564381 SOS 187195 HAS SOPS 187195 HAS SOUS 124204 HAS SOUPS 124204 WITH SCORE 124391.195
AT ITER 1760 NEW BEST:: SOT 564326 SOS 187083 HAS SOPS 187083 HAS SOUS 123779 HAS SOUPS 123779 WITH SCORE 123966.083
AT ITER 1783 NEW BEST:: SOT 564319 SOS 187076 HAS SOPS 187076 HAS SOUS 123751 HAS SOUPS 123751 WITH SCORE 123938.076
AT ITER 1785 NEW BEST:: SOT 564185 SOS 187076 HAS SOPS 187076 HAS SOUS 123617 HAS SOUPS 123617 WITH SCORE 123804.076
AT ITER 1789 NEW BEST:: SOT 564185 SOS 187075 HAS SOPS 187075 HAS SOUS 123616 HAS SOUPS 123616 WITH SCORE 123803.075
AT ITER 1802 NEW BEST:: SOT 563952 SOS 186443 HAS SOPS 186443 HAS SOUS 122984 HAS SOUPS 122984 WITH SCORE 123170.443
AT ITER 1810 NEW BEST:: SOT 564046 SOS 186490 HAS SOPS 186490 HAS SOUS 122916 HAS SOUPS 122916 WITH SCORE 123102.49
AT ITER 1815 NEW BEST:: SOT 564028 SOS 186454 HAS SOPS 186454 HAS SOUS 122880 HAS SOUPS 122880 WITH SCORE 123066.454
AT ITER 1817 NEW BEST:: SOT 564058 SOS 186394 HAS SOPS 186394 HAS SOUS 122790 HAS SOUPS 122790 WITH SCORE 122976.394
AT ITER 1836 NEW BEST:: SOT 563996 SOS 186365 HAS SOPS 186365 HAS SOUS 122761 HAS SOUPS 122761 WITH SCORE 122947.365
AT ITER 1850 NEW BEST:: SOT 563940 SOS 186281 HAS SOPS 186281 HAS SOUS 122677 HAS SOUPS 122677 WITH SCORE 122863.281
AT ITER 1852 NEW BEST:: SOT 562156 SOS 184577 HAS SOPS 184577 HAS SOUS 122412 HAS SOUPS 122412 WITH SCORE 122596.577
AT ITER 1860 NEW BEST:: SOT 561978 SOS 184182 HAS SOPS 184182 HAS SOUS 122155 HAS SOUPS 122155 WITH SCORE 122339.182
AT ITER 1891 NEW BEST:: SOT 561902 SOS 183982 HAS SOPS 183982 HAS SOUS 122079 HAS SOUPS 122079 WITH SCORE 122262.982
AT ITER 1892 NEW BEST:: SOT 561902 SOS 183946 HAS SOPS 183946 HAS SOUS 122078 HAS SOUPS 122078 WITH SCORE 122261.946
AT ITER 1915 NEW BEST:: SOT 561538 SOS 183850 HAS SOPS 183850 HAS SOUS 121910 HAS SOUPS 121910 WITH SCORE 122093.85
AT ITER 1922 NEW BEST:: SOT 561493 SOS 183559 HAS SOPS 183559 HAS SOUS 121858 HAS SOUPS 121858 WITH SCORE 122041.559
AT ITER 1934 NEW BEST:: SOT 561415 SOS 183481 HAS SOPS 183481 HAS SOUS 121776 HAS SOUPS 121776 WITH SCORE 121959.481
AT ITER 1936 NEW BEST:: SOT 561200 SOS 183093 HAS SOPS 183093 HAS SOUS 121407 HAS SOUPS 121407 WITH SCORE 121590.093
AT ITER 1945 NEW BEST:: SOT 561071 SOS 182835 HAS SOPS 182835 HAS SOUS 121203 HAS SOUPS 121203 WITH SCORE 121385.835
AT ITER 1950 NEW BEST:: SOT 561071 SOS 182724 HAS SOPS 182724 HAS SOUS 121092 HAS SOUPS 121092 WITH SCORE 121274.724
AT ITER 1971 NEW BEST:: SOT 561000 SOS 182725 HAS SOPS 182725 HAS SOUS 121086 HAS SOUPS 121086 WITH SCORE 121268.725
AT ITER 1974 NEW BEST:: SOT 560961 SOS 182559 HAS SOPS 182559 HAS SOUS 121008 HAS SOUPS 121008 WITH SCORE 121190.559
AT ITER 1996 NEW BEST:: SOT 560961 SOS 182439 HAS SOPS 182439 HAS SOUS 120978 HAS SOUPS 120978 WITH SCORE 121160.439
AT ITER 2011 NEW BEST:: SOT 560961 SOS 182432 HAS SOPS 182432 HAS SOUS 120971 HAS SOUPS 120971 WITH SCORE 121153.432
AT ITER 2018 NEW BEST:: SOT 560933 SOS 182376 HAS SOPS 182376 HAS SOUS 120915 HAS SOUPS 120915 WITH SCORE 121097.376
AT ITER 2021 NEW BEST:: SOT 560932 SOS 182375 HAS SOPS 182375 HAS SOUS 120913 HAS SOUPS 120913 WITH SCORE 121095.375
AT ITER 2029 NEW BEST:: SOT 560790 SOS 182123 HAS SOPS 182123 HAS SOUS 120799 HAS SOUPS 120799 WITH SCORE 120981.123
AT ITER 2044 NEW BEST:: SOT 560755 SOS 182073 HAS SOPS 182073 HAS SOUS 120782 HAS SOUPS 120782 WITH SCORE 120964.073
AT ITER 2049 NEW BEST:: SOT 560264 SOS 181695 HAS SOPS 181695 HAS SOUS 120301 HAS SOUPS 120301 WITH SCORE 120482.695
AT ITER 2055 NEW BEST:: SOT 560073 SOS 181313 HAS SOPS 181313 HAS SOUS 120110 HAS SOUPS 120110 WITH SCORE 120291.313
AT ITER 2062 NEW BEST:: SOT 559539 SOS 181212 HAS SOPS 181212 HAS SOUS 119753 HAS SOUPS 119753 WITH SCORE 119934.212
AT ITER 2071 NEW BEST:: SOT 559550 SOS 181198 HAS SOPS 181198 HAS SOUS 119738 HAS SOUPS 119738 WITH SCORE 119919.198
AT ITER 2094 NEW BEST:: SOT 559550 SOS 180717 HAS SOPS 180717 HAS SOUS 119436 HAS SOUPS 119436 WITH SCORE 119616.717
AT ITER 2097 NEW BEST:: SOT 559536 SOS 180598 HAS SOPS 180598 HAS SOUS 119401 HAS SOUPS 119401 WITH SCORE 119581.598
AT ITER 2150 NEW BEST:: SOT 559447 SOS 180505 HAS SOPS 180505 HAS SOUS 119308 HAS SOUPS 119308 WITH SCORE 119488.505
AT ITER 2172 NEW BEST:: SOT 559436 SOS 180430 HAS SOPS 180430 HAS SOUS 119233 HAS SOUPS 119233 WITH SCORE 119413.43
AT ITER 2196 NEW BEST:: SOT 559360 SOS 180392 HAS SOPS 180392 HAS SOUS 119195 HAS SOUPS 119195 WITH SCORE 119375.392
AT ITER 2206 NEW BEST:: SOT 559307 SOS 180339 HAS SOPS 180339 HAS SOUS 119033 HAS SOUPS 119033 WITH SCORE 119213.339
AT ITER 2217 NEW BEST:: SOT 559288 SOS 180320 HAS SOPS 180320 HAS SOUS 119012 HAS SOUPS 119012 WITH SCORE 119192.32
AT ITER 2237 NEW BEST:: SOT 559288 SOS 180320 HAS SOPS 180320 HAS SOUS 118958 HAS SOUPS 118958 WITH SCORE 119138.32
AT ITER 2240 NEW BEST:: SOT 559252 SOS 180242 HAS SOPS 180242 HAS SOUS 118637 HAS SOUPS 118637 WITH SCORE 118817.242
AT ITER 2244 NEW BEST:: SOT 559035 SOS 180123 HAS SOPS 180123 HAS SOUS 118476 HAS SOUPS 118476 WITH SCORE 118656.123
AT ITER 2256 NEW BEST:: SOT 558950 SOS 180178 HAS SOPS 180178 HAS SOUS 118475 HAS SOUPS 118475 WITH SCORE 118655.178
AT ITER 2259 NEW BEST:: SOT 558950 SOS 180156 HAS SOPS 180156 HAS SOUS 118453 HAS SOUPS 118453 WITH SCORE 118633.156
AT ITER 2294 NEW BEST:: SOT 558646 SOS 179633 HAS SOPS 179633 HAS SOUS 118082 HAS SOUPS 118082 WITH SCORE 118261.633
AT ITER 2314 NEW BEST:: SOT 557833 SOS 178817 HAS SOPS 178817 HAS SOUS 117266 HAS SOUPS 117266 WITH SCORE 117444.817
AT ITER 2316 NEW BEST:: SOT 557822 SOS 178795 HAS SOPS 178795 HAS SOUS 117253 HAS SOUPS 117253 WITH SCORE 117431.795
AT ITER 2339 NEW BEST:: SOT 557741 SOS 178555 HAS SOPS 178555 HAS SOUS 117117 HAS SOUPS 117117 WITH SCORE 117295.555
AT ITER 2362 NEW BEST:: SOT 557764 SOS 178538 HAS SOPS 178538 HAS SOUS 117100 HAS SOUPS 117100 WITH SCORE 117278.538
AT ITER 2364 NEW BEST:: SOT 557109 SOS 179921 HAS SOPS 179921 HAS SOUS 116974 HAS SOUPS 116974 WITH SCORE 117153.921
AT ITER 2368 NEW BEST:: SOT 557097 SOS 179885 HAS SOPS 179885 HAS SOUS 116938 HAS SOUPS 116938 WITH SCORE 117117.885
AT ITER 2369 NEW BEST:: SOT 557040 SOS 180097 HAS SOPS 180097 HAS SOUS 116888 HAS SOUPS 116888 WITH SCORE 117068.097
AT ITER 2375 NEW BEST:: SOT 557040 SOS 179919 HAS SOPS 179919 HAS SOUS 116710 HAS SOUPS 116710 WITH SCORE 116889.919
AT ITER 2378 NEW BEST:: SOT 556925 SOS 179689 HAS SOPS 179689 HAS SOUS 116480 HAS SOUPS 116480 WITH SCORE 116659.689
AT ITER 2395 NEW BEST:: SOT 556849 SOS 179493 HAS SOPS 179493 HAS SOUS 116364 HAS SOUPS 116364 WITH SCORE 116543.493
AT ITER 2399 NEW BEST:: SOT 556849 SOS 179355 HAS SOPS 179355 HAS SOUS 116334 HAS SOUPS 116334 WITH SCORE 116513.355
AT ITER 2400 NEW BEST:: SOT 556732 SOS 179062 HAS SOPS 179062 HAS SOUS 116041 HAS SOUPS 116041 WITH SCORE 116220.062
AT ITER 2432 NEW BEST:: SOT 556732 SOS 178424 HAS SOPS 178424 HAS SOUS 116041 HAS SOUPS 116041 WITH SCORE 116219.424
AT ITER 2462 NEW BEST:: SOT 556664 SOS 178883 HAS SOPS 178883 HAS SOUS 116018 HAS SOUPS 116018 WITH SCORE 116196.883
AT ITER 2482 NEW BEST:: SOT 556663 SOS 178767 HAS SOPS 178767 HAS SOUS 116016 HAS SOUPS 116016 WITH SCORE 116194.767
AT ITER 2503 NEW BEST:: SOT 556640 SOS 178744 HAS SOPS 178744 HAS SOUS 115991 HAS SOUPS 115991 WITH SCORE 116169.744
AT ITER 2510 NEW BEST:: SOT 556584 SOS 178686 HAS SOPS 178686 HAS SOUS 115933 HAS SOUPS 115933 WITH SCORE 116111.686
AT ITER 2511 NEW BEST:: SOT 556566 SOS 178686 HAS SOPS 178686 HAS SOUS 115915 HAS SOUPS 115915 WITH SCORE 116093.686
AT ITER 2522 NEW BEST:: SOT 556556 SOS 178646 HAS SOPS 178646 HAS SOUS 115895 HAS SOUPS 115895 WITH SCORE 116073.646
AT ITER 2561 NEW BEST:: SOT 556516 SOS 178606 HAS SOPS 178606 HAS SOUS 115855 HAS SOUPS 115855 WITH SCORE 116033.606
AT ITER 2576 NEW BEST:: SOT 556470 SOS 178652 HAS SOPS 178652 HAS SOUS 115811 HAS SOUPS 115811 WITH SCORE 115989.652
AT ITER 2582 NEW BEST:: SOT 556409 SOS 178586 HAS SOPS 178586 HAS SOUS 115804 HAS SOUPS 115804 WITH SCORE 115982.586
AT ITER 2601 NEW BEST:: SOT 556395 SOS 178558 HAS SOPS 178558 HAS SOUS 115360 HAS SOUPS 115360 WITH SCORE 115538.558
AT ITER 2602 NEW BEST:: SOT 556280 SOS 178328 HAS SOPS 178328 HAS SOUS 115256 HAS SOUPS 115256 WITH SCORE 115434.328
AT ITER 2604 NEW BEST:: SOT 556208 SOS 178184 HAS SOPS 178184 HAS SOUS 115040 HAS SOUPS 115040 WITH SCORE 115218.184
AT ITER 2622 NEW BEST:: SOT 556221 SOS 177647 HAS SOPS 177647 HAS SOUS 114960 HAS SOUPS 114960 WITH SCORE 115137.647
AT ITER 2634 NEW BEST:: SOT 556205 SOS 177370 HAS SOPS 177370 HAS SOUS 114859 HAS SOUPS 114859 WITH SCORE 115036.37
AT ITER 2646 NEW BEST:: SOT 556205 SOS 177367 HAS SOPS 177367 HAS SOUS 114859 HAS SOUPS 114859 WITH SCORE 115036.367
AT ITER 2662 NEW BEST:: SOT 556194 SOS 177347 HAS SOPS 177347 HAS SOUS 114839 HAS SOUPS 114839 WITH SCORE 115016.347
AT ITER 2680 NEW BEST:: SOT 556189 SOS 177337 HAS SOPS 177337 HAS SOUS 114829 HAS SOUPS 114829 WITH SCORE 115006.337
AT ITER 2713 NEW BEST:: SOT 555817 SOS 176779 HAS SOPS 176779 HAS SOUS 114085 HAS SOUPS 114085 WITH SCORE 114261.779
AT ITER 2744 NEW BEST:: SOT 555817 SOS 176779 HAS SOPS 176779 HAS SOUS 114066 HAS SOUPS 114066 WITH SCORE 114242.779
AT ITER 2763 NEW BEST:: SOT 555808 SOS 176730 HAS SOPS 176730 HAS SOUS 114066 HAS SOUPS 114066 WITH SCORE 114242.73
AT ITER 2766 NEW BEST:: SOT 555956 SOS 176854 HAS SOPS 176854 HAS SOUS 114047 HAS SOUPS 114047 WITH SCORE 114223.854
AT ITER 2768 NEW BEST:: SOT 555788 SOS 176848 HAS SOPS 176848 HAS SOUS 113873 HAS SOUPS 113873 WITH SCORE 114049.848
AT ITER 2773 NEW BEST:: SOT 555788 SOS 176141 HAS SOPS 176141 HAS SOUS 113873 HAS SOUPS 113873 WITH SCORE 114049.141
AT ITER 2844 NEW BEST:: SOT 555774 SOS 176127 HAS SOPS 176127 HAS SOUS 113873 HAS SOUPS 113873 WITH SCORE 114049.127
AT ITER 2855 NEW BEST:: SOT 555655 SOS 175887 HAS SOPS 175887 HAS SOUS 113633 HAS SOUPS 113633 WITH SCORE 113808.887
AT ITER 2856 NEW BEST:: SOT 555511 SOS 175789 HAS SOPS 175789 HAS SOUS 113535 HAS SOUPS 113535 WITH SCORE 113710.789
AT ITER 2859 NEW BEST:: SOT 555446 SOS 175725 HAS SOPS 175725 HAS SOUS 113503 HAS SOUPS 113503 WITH SCORE 113678.725
AT ITER 2885 NEW BEST:: SOT 555450 SOS 175682 HAS SOPS 175682 HAS SOUS 113490 HAS SOUPS 113490 WITH SCORE 113665.682
AT ITER 2887 NEW BEST:: SOT 555433 SOS 175509 HAS SOPS 175509 HAS SOUS 113456 HAS SOUPS 113456 WITH SCORE 113631.509
AT ITER 2888 NEW BEST:: SOT 555415 SOS 175473 HAS SOPS 175473 HAS SOUS 113438 HAS SOUPS 113438 WITH SCORE 113613.473
AT ITER 2893 NEW BEST:: SOT 555415 SOS 175452 HAS SOPS 175452 HAS SOUS 113417 HAS SOUPS 113417 WITH SCORE 113592.452
AT ITER 2902 NEW BEST:: SOT 555354 SOS 175372 HAS SOPS 175372 HAS SOUS 113397 HAS SOUPS 113397 WITH SCORE 113572.372
AT ITER 2914 NEW BEST:: SOT 555356 SOS 175374 HAS SOPS 175374 HAS SOUS 113394 HAS SOUPS 113394 WITH SCORE 113569.374
AT ITER 2918 NEW BEST:: SOT 555252 SOS 175278 HAS SOPS 175278 HAS SOUS 113298 HAS SOUPS 113298 WITH SCORE 113473.278
AT ITER 2923 NEW BEST:: SOT 555229 SOS 174688 HAS SOPS 174688 HAS SOUS 113195 HAS SOUPS 113195 WITH SCORE 113369.688
AT ITER 2929 NEW BEST:: SOT 555219 SOS 174658 HAS SOPS 174658 HAS SOUS 113175 HAS SOUPS 113175 WITH SCORE 113349.658
AT ITER 2937 NEW BEST:: SOT 555219 SOS 174656 HAS SOPS 174656 HAS SOUS 113173 HAS SOUPS 113173 WITH SCORE 113347.656
AT ITER 2977 NEW BEST:: SOT 555205 SOS 174628 HAS SOPS 174628 HAS SOUS 113145 HAS SOUPS 113145 WITH SCORE 113319.628
AT ITER 2981 NEW BEST:: SOT 554966 SOS 174339 HAS SOPS 174339 HAS SOUS 112797 HAS SOUPS 112797 WITH SCORE 112971.339
AT ITER 2986 NEW BEST:: SOT 554966 SOS 174316 HAS SOPS 174316 HAS SOUS 112774 HAS SOUPS 112774 WITH SCORE 112948.316
AT ITER 2991 NEW BEST:: SOT 554943 SOS 174224 HAS SOPS 174224 HAS SOUS 112728 HAS SOUPS 112728 WITH SCORE 112902.224
AT ITER 3009 NEW BEST:: SOT 554908 SOS 174187 HAS SOPS 174187 HAS SOUS 112692 HAS SOUPS 112692 WITH SCORE 112866.187
AT ITER 3060 NEW BEST:: SOT 554766 SOS 174114 HAS SOPS 174114 HAS SOUS 112619 HAS SOUPS 112619 WITH SCORE 112793.114
AT ITER 3087 NEW BEST:: SOT 554652 SOS 174086 HAS SOPS 174086 HAS SOUS 112611 HAS SOUPS 112611 WITH SCORE 112785.086
AT ITER 3096 NEW BEST:: SOT 554648 SOS 174060 HAS SOPS 174060 HAS SOUS 112599 HAS SOUPS 112599 WITH SCORE 112773.06
AT ITER 3106 NEW BEST:: SOT 554622 SOS 174032 HAS SOPS 174032 HAS SOUS 112571 HAS SOUPS 112571 WITH SCORE 112745.032
AT ITER 3113 NEW BEST:: SOT 554238 SOS 173608 HAS SOPS 173608 HAS SOUS 112403 HAS SOUPS 112403 WITH SCORE 112576.608
AT ITER 3125 NEW BEST:: SOT 554212 SOS 173478 HAS SOPS 173478 HAS SOUS 112377 HAS SOUPS 112377 WITH SCORE 112550.478
AT ITER 3126 NEW BEST:: SOT 554177 SOS 173437 HAS SOPS 173437 HAS SOUS 112336 HAS SOUPS 112336 WITH SCORE 112509.437
AT ITER 3133 NEW BEST:: SOT 554170 SOS 173430 HAS SOPS 173430 HAS SOUS 112324 HAS SOUPS 112324 WITH SCORE 112497.43
AT ITER 3147 NEW BEST:: SOT 554166 SOS 173288 HAS SOPS 173288 HAS SOUS 112293 HAS SOUPS 112293 WITH SCORE 112466.288
AT ITER 3175 NEW BEST:: SOT 553606 SOS 172728 HAS SOPS 172728 HAS SOUS 111785 HAS SOUPS 111785 WITH SCORE 111957.728
AT ITER 3176 NEW BEST:: SOT 553604 SOS 172695 HAS SOPS 172695 HAS SOUS 111781 HAS SOUPS 111781 WITH SCORE 111953.695
AT ITER 3180 NEW BEST:: SOT 553524 SOS 172855 HAS SOPS 172855 HAS SOUS 111701 HAS SOUPS 111701 WITH SCORE 111873.855
AT ITER 3217 NEW BEST:: SOT 553469 SOS 172803 HAS SOPS 172803 HAS SOUS 111591 HAS SOUPS 111591 WITH SCORE 111763.803
AT ITER 3229 NEW BEST:: SOT 553421 SOS 172687 HAS SOPS 172687 HAS SOUS 111495 HAS SOUPS 111495 WITH SCORE 111667.687
AT ITER 3250 NEW BEST:: SOT 553375 SOS 172704 HAS SOPS 172704 HAS SOUS 111474 HAS SOUPS 111474 WITH SCORE 111646.704
AT ITER 3253 NEW BEST:: SOT 553375 SOS 172560 HAS SOPS 172560 HAS SOUS 111456 HAS SOUPS 111456 WITH SCORE 111628.56
AT ITER 3263 NEW BEST:: SOT 553349 SOS 172534 HAS SOPS 172534 HAS SOUS 111456 HAS SOUPS 111456 WITH SCORE 111628.534
AT ITER 3274 NEW BEST:: SOT 553355 SOS 172109 HAS SOPS 172109 HAS SOUS 111371 HAS SOUPS 111371 WITH SCORE 111543.109
AT ITER 3286 NEW BEST:: SOT 553241 SOS 172101 HAS SOPS 172101 HAS SOUS 111365 HAS SOUPS 111365 WITH SCORE 111537.101
AT ITER 3304 NEW BEST:: SOT 553206 SOS 171996 HAS SOPS 171996 HAS SOUS 111190 HAS SOUPS 111190 WITH SCORE 111361.996
AT ITER 3350 NEW BEST:: SOT 553094 SOS 171746 HAS SOPS 171746 HAS SOUS 111077 HAS SOUPS 111077 WITH SCORE 111248.746
AT ITER 3370 NEW BEST:: SOT 553094 SOS 171473 HAS SOPS 171473 HAS SOUS 111006 HAS SOUPS 111006 WITH SCORE 111177.473
AT ITER 3379 NEW BEST:: SOT 553091 SOS 171383 HAS SOPS 171383 HAS SOUS 111000 HAS SOUPS 111000 WITH SCORE 111171.383
AT ITER 3393 NEW BEST:: SOT 553091 SOS 171377 HAS SOPS 171377 HAS SOUS 110994 HAS SOUPS 110994 WITH SCORE 111165.377
AT ITER 3429 NEW BEST:: SOT 553091 SOS 171360 HAS SOPS 171360 HAS SOUS 110994 HAS SOUPS 110994 WITH SCORE 111165.36
AT ITER 3512 NEW BEST:: SOT 553051 SOS 171274 HAS SOPS 171274 HAS SOUS 110908 HAS SOUPS 110908 WITH SCORE 111079.274
AT ITER 3560 NEW BEST:: SOT 553005 SOS 171069 HAS SOPS 171069 HAS SOUS 110838 HAS SOUPS 110838 WITH SCORE 111009.069
AT ITER 3561 NEW BEST:: SOT 552982 SOS 171023 HAS SOPS 171023 HAS SOUS 110629 HAS SOUPS 110629 WITH SCORE 110800.023
AT ITER 3567 NEW BEST:: SOT 552982 SOS 171023 HAS SOPS 171023 HAS SOUS 110349 HAS SOUPS 110349 WITH SCORE 110520.023
AT ITER 3598 NEW BEST:: SOT 552982 SOS 170988 HAS SOPS 170988 HAS SOUS 110342 HAS SOUPS 110342 WITH SCORE 110512.988
AT ITER 3608 NEW BEST:: SOT 552981 SOS 170987 HAS SOPS 170987 HAS SOUS 110339 HAS SOUPS 110339 WITH SCORE 110509.987
AT ITER 3612 NEW BEST:: SOT 552967 SOS 170977 HAS SOPS 170977 HAS SOUS 110329 HAS SOUPS 110329 WITH SCORE 110499.977
AT ITER 3631 NEW BEST:: SOT 552945 SOS 170966 HAS SOPS 170966 HAS SOUS 110321 HAS SOUPS 110321 WITH SCORE 110491.966
AT ITER 3645 NEW BEST:: SOT 552927 SOS 170775 HAS SOPS 170775 HAS SOUS 110130 HAS SOUPS 110130 WITH SCORE 110300.775
AT ITER 3714 NEW BEST:: SOT 552920 SOS 170761 HAS SOPS 170761 HAS SOUS 110116 HAS SOUPS 110116 WITH SCORE 110286.761
AT ITER 3793 NEW BEST:: SOT 552883 SOS 170724 HAS SOPS 170724 HAS SOUS 110079 HAS SOUPS 110079 WITH SCORE 110249.724
AT ITER 3796 NEW BEST:: SOT 552451 SOS 170468 HAS SOPS 170468 HAS SOUS 109647 HAS SOUPS 109647 WITH SCORE 109817.468
AT ITER 3800 NEW BEST:: SOT 552450 SOS 170466 HAS SOPS 170466 HAS SOUS 109644 HAS SOUPS 109644 WITH SCORE 109814.466
AT ITER 3804 NEW BEST:: SOT 552450 SOS 170461 HAS SOPS 170461 HAS SOUS 109639 HAS SOUPS 109639 WITH SCORE 109809.461
AT ITER 3816 NEW BEST:: SOT 552423 SOS 170406 HAS SOPS 170406 HAS SOUS 109611 HAS SOUPS 109611 WITH SCORE 109781.406
AT ITER 3834 NEW BEST:: SOT 552351 SOS 170669 HAS SOPS 170669 HAS SOUS 109576 HAS SOUPS 109576 WITH SCORE 109746.669
AT ITER 3838 NEW BEST:: SOT 552350 SOS 170667 HAS SOPS 170667 HAS SOUS 109574 HAS SOUPS 109574 WITH SCORE 109744.667
AT ITER 3851 NEW BEST:: SOT 552290 SOS 170574 HAS SOPS 170574 HAS SOUS 109244 HAS SOUPS 109244 WITH SCORE 109414.574
AT ITER 3869 NEW BEST:: SOT 552290 SOS 170570 HAS SOPS 170570 HAS SOUS 109242 HAS SOUPS 109242 WITH SCORE 109412.57
AT ITER 3879 NEW BEST:: SOT 552371 SOS 170841 HAS SOPS 170841 HAS SOUS 109184 HAS SOUPS 109184 WITH SCORE 109354.841
AT ITER 3905 NEW BEST:: SOT 553067 SOS 171279 HAS SOPS 171279 HAS SOUS 109029 HAS SOUPS 109029 WITH SCORE 109200.279
AT ITER 3911 NEW BEST:: SOT 552996 SOS 171008 HAS SOPS 171008 HAS SOUS 108824 HAS SOUPS 108824 WITH SCORE 108995.008
AT ITER 3936 NEW BEST:: SOT 552979 SOS 170974 HAS SOPS 170974 HAS SOUS 108790 HAS SOUPS 108790 WITH SCORE 108960.974
AT ITER 3947 NEW BEST:: SOT 552994 SOS 170966 HAS SOPS 170966 HAS SOUS 108782 HAS SOUPS 108782 WITH SCORE 108952.966
AT ITER 3950 NEW BEST:: SOT 553031 SOS 171136 HAS SOPS 171136 HAS SOUS 108701 HAS SOUPS 108701 WITH SCORE 108872.136
AT ITER 3958 NEW BEST:: SOT 553031 SOS 171204 HAS SOPS 171204 HAS SOUS 108673 HAS SOUPS 108673 WITH SCORE 108844.204
AT ITER 4001 NEW BEST:: SOT 553031 SOS 170142 HAS SOPS 170142 HAS SOUS 108555 HAS SOUPS 108555 WITH SCORE 108725.142
AT ITER 4005 NEW BEST:: SOT 552932 SOS 169940 HAS SOPS 169940 HAS SOUS 108373 HAS SOUPS 108373 WITH SCORE 108542.94
AT ITER 4007 NEW BEST:: SOT 553583 SOS 171082 HAS SOPS 171082 HAS SOUS 108199 HAS SOUPS 108199 WITH SCORE 108370.082
AT ITER 4010 NEW BEST:: SOT 553550 SOS 170994 HAS SOPS 170994 HAS SOUS 108132 HAS SOUPS 108132 WITH SCORE 108302.994
AT ITER 4023 NEW BEST:: SOT 553474 SOS 170965 HAS SOPS 170965 HAS SOUS 108103 HAS SOUPS 108103 WITH SCORE 108273.965
AT ITER 4045 NEW BEST:: SOT 553412 SOS 170358 HAS SOPS 170358 HAS SOUS 108005 HAS SOUPS 108005 WITH SCORE 108175.358
AT ITER 4066 NEW BEST:: SOT 553412 SOS 170352 HAS SOPS 170352 HAS SOUS 107999 HAS SOUPS 107999 WITH SCORE 108169.352
AT ITER 4069 NEW BEST:: SOT 553416 SOS 170222 HAS SOPS 170222 HAS SOUS 107988 HAS SOUPS 107988 WITH SCORE 108158.222
AT ITER 4082 NEW BEST:: SOT 553309 SOS 170028 HAS SOPS 170028 HAS SOUS 107774 HAS SOUPS 107774 WITH SCORE 107944.028
AT ITER 4087 NEW BEST:: SOT 553360 SOS 169728 HAS SOPS 169728 HAS SOUS 107772 HAS SOUPS 107772 WITH SCORE 107941.728
AT ITER 4114 NEW BEST:: SOT 553348 SOS 169716 HAS SOPS 169716 HAS SOUS 107586 HAS SOUPS 107586 WITH SCORE 107755.716
AT ITER 4124 NEW BEST:: SOT 553332 SOS 169684 HAS SOPS 169684 HAS SOUS 107570 HAS SOUPS 107570 WITH SCORE 107739.684
AT ITER 4126 NEW BEST:: SOT 553242 SOS 169474 HAS SOPS 169474 HAS SOUS 107376 HAS SOUPS 107376 WITH SCORE 107545.474
AT ITER 4129 NEW BEST:: SOT 553242 SOS 169455 HAS SOPS 169455 HAS SOUS 107357 HAS SOUPS 107357 WITH SCORE 107526.455
AT ITER 4136 NEW BEST:: SOT 553207 SOS 169385 HAS SOPS 169385 HAS SOUS 107322 HAS SOUPS 107322 WITH SCORE 107491.385
AT ITER 4138 NEW BEST:: SOT 553164 SOS 169327 HAS SOPS 169327 HAS SOUS 107264 HAS SOUPS 107264 WITH SCORE 107433.327
AT ITER 4142 NEW BEST:: SOT 553186 SOS 169344 HAS SOPS 169344 HAS SOUS 107246 HAS SOUPS 107246 WITH SCORE 107415.344
AT ITER 4147 NEW BEST:: SOT 553165 SOS 169302 HAS SOPS 169302 HAS SOUS 107204 HAS SOUPS 107204 WITH SCORE 107373.302
AT ITER 4152 NEW BEST:: SOT 553025 SOS 169165 HAS SOPS 169165 HAS SOUS 107064 HAS SOUPS 107064 WITH SCORE 107233.165
AT ITER 4169 NEW BEST:: SOT 553070 SOS 169004 HAS SOPS 169004 HAS SOUS 107053 HAS SOUPS 107053 WITH SCORE 107222.004
AT ITER 4176 NEW BEST:: SOT 552963 SOS 168400 HAS SOPS 168400 HAS SOUS 106808 HAS SOUPS 106808 WITH SCORE 106976.4
AT ITER 4188 NEW BEST:: SOT 552960 SOS 168345 HAS SOPS 168345 HAS SOUS 106753 HAS SOUPS 106753 WITH SCORE 106921.345
AT ITER 4192 NEW BEST:: SOT 552945 SOS 168286 HAS SOPS 168286 HAS SOUS 106694 HAS SOUPS 106694 WITH SCORE 106862.286
AT ITER 4195 NEW BEST:: SOT 552958 SOS 168224 HAS SOPS 168224 HAS SOUS 106692 HAS SOUPS 106692 WITH SCORE 106860.224
AT ITER 4226 NEW BEST:: SOT 552885 SOS 168023 HAS SOPS 168023 HAS SOUS 106491 HAS SOUPS 106491 WITH SCORE 106659.023
AT ITER 4235 NEW BEST:: SOT 552836 SOS 167988 HAS SOPS 167988 HAS SOUS 106415 HAS SOUPS 106415 WITH SCORE 106582.988
AT ITER 4289 NEW BEST:: SOT 552824 SOS 167971 HAS SOPS 167971 HAS SOUS 106403 HAS SOUPS 106403 WITH SCORE 106570.971
AT ITER 4351 NEW BEST:: SOT 552810 SOS 167858 HAS SOPS 167858 HAS SOUS 106356 HAS SOUPS 106356 WITH SCORE 106523.858
AT ITER 4367 NEW BEST:: SOT 552788 SOS 167814 HAS SOPS 167814 HAS SOUS 106332 HAS SOUPS 106332 WITH SCORE 106499.814
AT ITER 4374 NEW BEST:: SOT 552693 SOS 167681 HAS SOPS 167681 HAS SOUS 106206 HAS SOUPS 106206 WITH SCORE 106373.681
AT ITER 4384 NEW BEST:: SOT 552678 SOS 167666 HAS SOPS 167666 HAS SOUS 106206 HAS SOUPS 106206 WITH SCORE 106373.666
AT ITER 4387 NEW BEST:: SOT 552617 SOS 167082 HAS SOPS 167082 HAS SOUS 106056 HAS SOUPS 106056 WITH SCORE 106223.082
AT ITER 4407 NEW BEST:: SOT 552609 SOS 167066 HAS SOPS 167066 HAS SOUS 106040 HAS SOUPS 106040 WITH SCORE 106207.066
AT ITER 4421 NEW BEST:: SOT 552598 SOS 167055 HAS SOPS 167055 HAS SOUS 106029 HAS SOUPS 106029 WITH SCORE 106196.055
AT ITER 4428 NEW BEST:: SOT 552611 SOS 167051 HAS SOPS 167051 HAS SOUS 106025 HAS SOUPS 106025 WITH SCORE 106192.051
AT ITER 4437 NEW BEST:: SOT 552533 SOS 166861 HAS SOPS 166861 HAS SOUS 105835 HAS SOUPS 105835 WITH SCORE 106001.861
AT ITER 4464 NEW BEST:: SOT 552506 SOS 166807 HAS SOPS 166807 HAS SOUS 105809 HAS SOUPS 105809 WITH SCORE 105975.807
AT ITER 4497 NEW BEST:: SOT 552479 SOS 166871 HAS SOPS 166871 HAS SOUS 105769 HAS SOUPS 105769 WITH SCORE 105935.871
AT ITER 4503 NEW BEST:: SOT 552441 SOS 166846 HAS SOPS 166846 HAS SOUS 105744 HAS SOUPS 105744 WITH SCORE 105910.846
AT ITER 4543 NEW BEST:: SOT 552347 SOS 166696 HAS SOPS 166696 HAS SOUS 105594 HAS SOUPS 105594 WITH SCORE 105760.696
AT ITER 4553 NEW BEST:: SOT 552217 SOS 166428 HAS SOPS 166428 HAS SOUS 105457 HAS SOUPS 105457 WITH SCORE 105623.428
AT ITER 4563 NEW BEST:: SOT 552214 SOS 166423 HAS SOPS 166423 HAS SOUS 105451 HAS SOUPS 105451 WITH SCORE 105617.423
AT ITER 4566 NEW BEST:: SOT 551967 SOS 166250 HAS SOPS 166250 HAS SOUS 105278 HAS SOUPS 105278 WITH SCORE 105444.25
AT ITER 4589 NEW BEST:: SOT 551959 SOS 166224 HAS SOPS 166224 HAS SOUS 105252 HAS SOUPS 105252 WITH SCORE 105418.224
AT ITER 4605 NEW BEST:: SOT 551959 SOS 166222 HAS SOPS 166222 HAS SOUS 105250 HAS SOUPS 105250 WITH SCORE 105416.222
AT ITER 4614 NEW BEST:: SOT 551957 SOS 166218 HAS SOPS 166218 HAS SOUS 105246 HAS SOUPS 105246 WITH SCORE 105412.218
AT ITER 4631 NEW BEST:: SOT 551853 SOS 166684 HAS SOPS 166684 HAS SOUS 105228 HAS SOUPS 105228 WITH SCORE 105394.684
AT ITER 4645 NEW BEST:: SOT 551784 SOS 166710 HAS SOPS 166710 HAS SOUS 105175 HAS SOUPS 105175 WITH SCORE 105341.71
AT ITER 4647 NEW BEST:: SOT 551783 SOS 166709 HAS SOPS 166709 HAS SOUS 105174 HAS SOUPS 105174 WITH SCORE 105340.709
AT ITER 4678 NEW BEST:: SOT 551832 SOS 166346 HAS SOPS 166346 HAS SOUS 105089 HAS SOUPS 105089 WITH SCORE 105255.346
AT ITER 4687 NEW BEST:: SOT 551829 SOS 166385 HAS SOPS 166385 HAS SOUS 105083 HAS SOUPS 105083 WITH SCORE 105249.385
AT ITER 4689 NEW BEST:: SOT 551733 SOS 166288 HAS SOPS 166288 HAS SOUS 104986 HAS SOUPS 104986 WITH SCORE 105152.288
AT ITER 4696 NEW BEST:: SOT 551689 SOS 166261 HAS SOPS 166261 HAS SOUS 104959 HAS SOUPS 104959 WITH SCORE 105125.261
AT ITER 4698 NEW BEST:: SOT 551611 SOS 166024 HAS SOPS 166024 HAS SOUS 104712 HAS SOUPS 104712 WITH SCORE 104878.024
AT ITER 4710 NEW BEST:: SOT 551610 SOS 166005 HAS SOPS 166005 HAS SOUS 104693 HAS SOUPS 104693 WITH SCORE 104859.005
AT ITER 4742 NEW BEST:: SOT 551609 SOS 166003 HAS SOPS 166003 HAS SOUS 104691 HAS SOUPS 104691 WITH SCORE 104857.003
AT ITER 4746 NEW BEST:: SOT 551519 SOS 165925 HAS SOPS 165925 HAS SOUS 104657 HAS SOUPS 104657 WITH SCORE 104822.925
AT ITER 4759 NEW BEST:: SOT 551511 SOS 165909 HAS SOPS 165909 HAS SOUS 104641 HAS SOUPS 104641 WITH SCORE 104806.909
AT ITER 4786 NEW BEST:: SOT 551457 SOS 165806 HAS SOPS 165806 HAS SOUS 104538 HAS SOUPS 104538 WITH SCORE 104703.806
AT ITER 4801 NEW BEST:: SOT 551376 SOS 165666 HAS SOPS 165666 HAS SOUS 104493 HAS SOUPS 104493 WITH SCORE 104658.666
AT ITER 4804 NEW BEST:: SOT 551095 SOS 165396 HAS SOPS 165396 HAS SOUS 104199 HAS SOUPS 104199 WITH SCORE 104364.396
AT ITER 4805 NEW BEST:: SOT 551058 SOS 165333 HAS SOPS 165333 HAS SOUS 104165 HAS SOUPS 104165 WITH SCORE 104330.333
AT ITER 4841 NEW BEST:: SOT 551028 SOS 165313 HAS SOPS 165313 HAS SOUS 104145 HAS SOUPS 104145 WITH SCORE 104310.313
AT ITER 4845 NEW BEST:: SOT 551029 SOS 165315 HAS SOPS 165315 HAS SOUS 104139 HAS SOUPS 104139 WITH SCORE 104304.315
AT ITER 4855 NEW BEST:: SOT 551027 SOS 165211 HAS SOPS 165211 HAS SOUS 104095 HAS SOUPS 104095 WITH SCORE 104260.211
AT ITER 4864 NEW BEST:: SOT 551014 SOS 165198 HAS SOPS 165198 HAS SOUS 104082 HAS SOUPS 104082 WITH SCORE 104247.198
AT ITER 4865 NEW BEST:: SOT 550601 SOS 164903 HAS SOPS 164903 HAS SOUS 103610 HAS SOUPS 103610 WITH SCORE 103774.903
AT ITER 4867 NEW BEST:: SOT 550575 SOS 164825 HAS SOPS 164825 HAS SOUS 103558 HAS SOUPS 103558 WITH SCORE 103722.825
AT ITER 4873 NEW BEST:: SOT 550544 SOS 165066 HAS SOPS 165066 HAS SOUS 103544 HAS SOUPS 103544 WITH SCORE 103709.066
AT ITER 4885 NEW BEST:: SOT 550544 SOS 165026 HAS SOPS 165026 HAS SOUS 103504 HAS SOUPS 103504 WITH SCORE 103669.026
AT ITER 4895 NEW BEST:: SOT 550544 SOS 164949 HAS SOPS 164949 HAS SOUS 103427 HAS SOUPS 103427 WITH SCORE 103591.949
AT ITER 4901 NEW BEST:: SOT 550449 SOS 164771 HAS SOPS 164771 HAS SOUS 103264 HAS SOUPS 103264 WITH SCORE 103428.771
AT ITER 4915 NEW BEST:: SOT 550354 SOS 164731 HAS SOPS 164731 HAS SOUS 103224 HAS SOUPS 103224 WITH SCORE 103388.731
AT ITER 4949 NEW BEST:: SOT 550308 SOS 164547 HAS SOPS 164547 HAS SOUS 103109 HAS SOUPS 103109 WITH SCORE 103273.547
AT ITER 4954 NEW BEST:: SOT 550292 SOS 164422 HAS SOPS 164422 HAS SOUS 103051 HAS SOUPS 103051 WITH SCORE 103215.422
AT ITER 4990 NEW BEST:: SOT 550291 SOS 164419 HAS SOPS 164419 HAS SOUS 103049 HAS SOUPS 103049 WITH SCORE 103213.419
AT ITER 4996 NEW BEST:: SOT 550164 SOS 164165 HAS SOPS 164165 HAS SOUS 102788 HAS SOUPS 102788 WITH SCORE 102952.165
AT ITER 5029 NEW BEST:: SOT 550141 SOS 164142 HAS SOPS 164142 HAS SOUS 102765 HAS SOUPS 102765 WITH SCORE 102929.142
AT ITER 5033 NEW BEST:: SOT 550087 SOS 163931 HAS SOPS 163931 HAS SOUS 102625 HAS SOUPS 102625 WITH SCORE 102788.931
AT ITER 5061 NEW BEST:: SOT 550075 SOS 164012 HAS SOPS 164012 HAS SOUS 102601 HAS SOUPS 102601 WITH SCORE 102765.012
AT ITER 5067 NEW BEST:: SOT 550074 SOS 164010 HAS SOPS 164010 HAS SOUS 102599 HAS SOUPS 102599 WITH SCORE 102763.01
AT ITER 5072 NEW BEST:: SOT 550136 SOS 163399 HAS SOPS 163399 HAS SOUS 102510 HAS SOUPS 102510 WITH SCORE 102673.399
AT ITER 5096 NEW BEST:: SOT 550221 SOS 163484 HAS SOPS 163484 HAS SOUS 102484 HAS SOUPS 102484 WITH SCORE 102647.484
AT ITER 5107 NEW BEST:: SOT 550216 SOS 163443 HAS SOPS 163443 HAS SOUS 102443 HAS SOUPS 102443 WITH SCORE 102606.443
AT ITER 5122 NEW BEST:: SOT 550209 SOS 163429 HAS SOPS 163429 HAS SOUS 102429 HAS SOUPS 102429 WITH SCORE 102592.429
AT ITER 5127 NEW BEST:: SOT 550209 SOS 163128 HAS SOPS 163128 HAS SOUS 102429 HAS SOUPS 102429 WITH SCORE 102592.128
AT ITER 5134 NEW BEST:: SOT 550202 SOS 163016 HAS SOPS 163016 HAS SOUS 102319 HAS SOUPS 102319 WITH SCORE 102482.016
AT ITER 5138 NEW BEST:: SOT 550202 SOS 162988 HAS SOPS 162988 HAS SOUS 102319 HAS SOUPS 102319 WITH SCORE 102481.988
AT ITER 5141 NEW BEST:: SOT 550176 SOS 162964 HAS SOPS 162964 HAS SOUS 102293 HAS SOUPS 102293 WITH SCORE 102455.964
AT ITER 5153 NEW BEST:: SOT 550167 SOS 162946 HAS SOPS 162946 HAS SOUS 102275 HAS SOUPS 102275 WITH SCORE 102437.946
AT ITER 5158 NEW BEST:: SOT 550148 SOS 162932 HAS SOPS 162932 HAS SOUS 102261 HAS SOUPS 102261 WITH SCORE 102423.932
AT ITER 5159 NEW BEST:: SOT 550166 SOS 162953 HAS SOPS 162953 HAS SOUS 102254 HAS SOUPS 102254 WITH SCORE 102416.953
AT ITER 5164 NEW BEST:: SOT 550108 SOS 162754 HAS SOPS 162754 HAS SOUS 102138 HAS SOUPS 102138 WITH SCORE 102300.754
AT ITER 5180 NEW BEST:: SOT 550092 SOS 162722 HAS SOPS 162722 HAS SOUS 102106 HAS SOUPS 102106 WITH SCORE 102268.722
AT ITER 5195 NEW BEST:: SOT 549844 SOS 162417 HAS SOPS 162417 HAS SOUS 101858 HAS SOUPS 101858 WITH SCORE 102020.417
AT ITER 5237 NEW BEST:: SOT 549818 SOS 162493 HAS SOPS 162493 HAS SOUS 101677 HAS SOUPS 101677 WITH SCORE 101839.493
AT ITER 5259 NEW BEST:: SOT 549818 SOS 162447 HAS SOPS 162447 HAS SOUS 101631 HAS SOUPS 101631 WITH SCORE 101793.447
AT ITER 5278 NEW BEST:: SOT 549740 SOS 162439 HAS SOPS 162439 HAS SOUS 101623 HAS SOUPS 101623 WITH SCORE 101785.439
AT ITER 5303 NEW BEST:: SOT 549704 SOS 162238 HAS SOPS 162238 HAS SOUS 101515 HAS SOUPS 101515 WITH SCORE 101677.238
AT ITER 5306 NEW BEST:: SOT 549695 SOS 162261 HAS SOPS 162261 HAS SOUS 101497 HAS SOUPS 101497 WITH SCORE 101659.261
AT ITER 5308 NEW BEST:: SOT 549685 SOS 162234 HAS SOPS 162234 HAS SOUS 101477 HAS SOUPS 101477 WITH SCORE 101639.234
AT ITER 5311 NEW BEST:: SOT 549685 SOS 162210 HAS SOPS 162210 HAS SOUS 101471 HAS SOUPS 101471 WITH SCORE 101633.21
AT ITER 5314 NEW BEST:: SOT 549630 SOS 162100 HAS SOPS 162100 HAS SOUS 101361 HAS SOUPS 101361 WITH SCORE 101523.1
AT ITER 5321 NEW BEST:: SOT 549488 SOS 161806 HAS SOPS 161806 HAS SOUS 101253 HAS SOUPS 101253 WITH SCORE 101414.806
AT ITER 5325 NEW BEST:: SOT 549486 SOS 161800 HAS SOPS 161800 HAS SOUS 101223 HAS SOUPS 101223 WITH SCORE 101384.8
AT ITER 5357 NEW BEST:: SOT 549398 SOS 161712 HAS SOPS 161712 HAS SOUS 101047 HAS SOUPS 101047 WITH SCORE 101208.712
AT ITER 5374 NEW BEST:: SOT 549398 SOS 161707 HAS SOPS 161707 HAS SOUS 101047 HAS SOUPS 101047 WITH SCORE 101208.707
AT ITER 5375 NEW BEST:: SOT 549362 SOS 161659 HAS SOPS 161659 HAS SOUS 100999 HAS SOUPS 100999 WITH SCORE 101160.659
AT ITER 5380 NEW BEST:: SOT 549357 SOS 161623 HAS SOPS 161623 HAS SOUS 100963 HAS SOUPS 100963 WITH SCORE 101124.623
AT ITER 5413 NEW BEST:: SOT 549337 SOS 161614 HAS SOPS 161614 HAS SOUS 100954 HAS SOUPS 100954 WITH SCORE 101115.614
AT ITER 5417 NEW BEST:: SOT 549292 SOS 161037 HAS SOPS 161037 HAS SOUS 100643 HAS SOUPS 100643 WITH SCORE 100804.037
AT ITER 5418 NEW BEST:: SOT 549292 SOS 160990 HAS SOPS 160990 HAS SOUS 100643 HAS SOUPS 100643 WITH SCORE 100803.99
AT ITER 5422 NEW BEST:: SOT 549272 SOS 160970 HAS SOPS 160970 HAS SOUS 100623 HAS SOUPS 100623 WITH SCORE 100783.97
AT ITER 5424 NEW BEST:: SOT 549272 SOS 160918 HAS SOPS 160918 HAS SOUS 100619 HAS SOUPS 100619 WITH SCORE 100779.918
AT ITER 5426 NEW BEST:: SOT 549231 SOS 160877 HAS SOPS 160877 HAS SOUS 100578 HAS SOUPS 100578 WITH SCORE 100738.877
AT ITER 5447 NEW BEST:: SOT 549211 SOS 160837 HAS SOPS 160837 HAS SOUS 100538 HAS SOUPS 100538 WITH SCORE 100698.837
AT ITER 5476 NEW BEST:: SOT 549364 SOS 160793 HAS SOPS 160793 HAS SOUS 100494 HAS SOUPS 100494 WITH SCORE 100654.793
AT ITER 5482 NEW BEST:: SOT 549364 SOS 160793 HAS SOPS 160793 HAS SOUS 100476 HAS SOUPS 100476 WITH SCORE 100636.793
AT ITER 5505 NEW BEST:: SOT 549362 SOS 160793 HAS SOPS 160793 HAS SOUS 100470 HAS SOUPS 100470 WITH SCORE 100630.793
AT ITER 5531 NEW BEST:: SOT 549306 SOS 160786 HAS SOPS 160786 HAS SOUS 100463 HAS SOUPS 100463 WITH SCORE 100623.786
AT ITER 5542 NEW BEST:: SOT 549296 SOS 160766 HAS SOPS 160766 HAS SOUS 100453 HAS SOUPS 100453 WITH SCORE 100613.766
AT ITER 5555 NEW BEST:: SOT 549281 SOS 160734 HAS SOPS 160734 HAS SOUS 100421 HAS SOUPS 100421 WITH SCORE 100581.734
AT ITER 5558 NEW BEST:: SOT 549273 SOS 160718 HAS SOPS 160718 HAS SOUS 100405 HAS SOUPS 100405 WITH SCORE 100565.718
AT ITER 5562 NEW BEST:: SOT 549273 SOS 160710 HAS SOPS 160710 HAS SOUS 100405 HAS SOUPS 100405 WITH SCORE 100565.71
AT ITER 5566 NEW BEST:: SOT 549178 SOS 160506 HAS SOPS 160506 HAS SOUS 100373 HAS SOUPS 100373 WITH SCORE 100533.506
AT ITER 5578 NEW BEST:: SOT 549027 SOS 160201 HAS SOPS 160201 HAS SOUS 100082 HAS SOUPS 100082 WITH SCORE 100242.201
AT ITER 5603 NEW BEST:: SOT 549011 SOS 160185 HAS SOPS 160185 HAS SOUS 100050 HAS SOUPS 100050 WITH SCORE 100210.185
AT ITER 5604 NEW BEST:: SOT 548878 SOS 160052 HAS SOPS 160052 HAS SOUS 99917 HAS SOUPS 99917 WITH SCORE 100077.052
AT ITER 5615 NEW BEST:: SOT 548853 SOS 160058 HAS SOPS 160058 HAS SOUS 99903 HAS SOUPS 99903 WITH SCORE 100063.058
AT ITER 5650 NEW BEST:: SOT 548902 SOS 159954 HAS SOPS 159954 HAS SOUS 99901 HAS SOUPS 99901 WITH SCORE 100060.954
AT ITER 5655 NEW BEST:: SOT 548809 SOS 159861 HAS SOPS 159861 HAS SOUS 99808 HAS SOUPS 99808 WITH SCORE 99967.861
AT ITER 5688 NEW BEST:: SOT 548795 SOS 159847 HAS SOPS 159847 HAS SOUS 99794 HAS SOUPS 99794 WITH SCORE 99953.847
AT ITER 5724 NEW BEST:: SOT 548755 SOS 159767 HAS SOPS 159767 HAS SOUS 99753 HAS SOUPS 99753 WITH SCORE 99912.767
AT ITER 5757 NEW BEST:: SOT 548698 SOS 159735 HAS SOPS 159735 HAS SOUS 99745 HAS SOUPS 99745 WITH SCORE 99904.735
AT ITER 5771 NEW BEST:: SOT 548594 SOS 159457 HAS SOPS 159457 HAS SOUS 99590 HAS SOUPS 99590 WITH SCORE 99749.457
AT ITER 5789 NEW BEST:: SOT 548557 SOS 159383 HAS SOPS 159383 HAS SOUS 99516 HAS SOUPS 99516 WITH SCORE 99675.383
AT ITER 5795 NEW BEST:: SOT 548557 SOS 159376 HAS SOPS 159376 HAS SOUS 99509 HAS SOUPS 99509 WITH SCORE 99668.376
AT ITER 5824 NEW BEST:: SOT 548578 SOS 159383 HAS SOPS 159383 HAS SOUS 99481 HAS SOUPS 99481 WITH SCORE 99640.383
AT ITER 5865 NEW BEST:: SOT 548523 SOS 159262 HAS SOPS 159262 HAS SOUS 99361 HAS SOUPS 99361 WITH SCORE 99520.262
AT ITER 5877 NEW BEST:: SOT 548499 SOS 159214 HAS SOPS 159214 HAS SOUS 99313 HAS SOUPS 99313 WITH SCORE 99472.214
AT ITER 5906 NEW BEST:: SOT 548085 SOS 159053 HAS SOPS 159053 HAS SOUS 99189 HAS SOUPS 99189 WITH SCORE 99348.053
AT ITER 5909 NEW BEST:: SOT 548021 SOS 159003 HAS SOPS 159003 HAS SOUS 99139 HAS SOUPS 99139 WITH SCORE 99298.003
AT ITER 5921 NEW BEST:: SOT 547964 SOS 158886 HAS SOPS 158886 HAS SOUS 99022 HAS SOUPS 99022 WITH SCORE 99180.886
AT ITER 5932 NEW BEST:: SOT 547962 SOS 158885 HAS SOPS 158885 HAS SOUS 99021 HAS SOUPS 99021 WITH SCORE 99179.885
AT ITER 5946 NEW BEST:: SOT 547942 SOS 158865 HAS SOPS 158865 HAS SOUS 98997 HAS SOUPS 98997 WITH SCORE 99155.865
AT ITER 5947 NEW BEST:: SOT 547914 SOS 158837 HAS SOPS 158837 HAS SOUS 98969 HAS SOUPS 98969 WITH SCORE 99127.837
AT ITER 5957 NEW BEST:: SOT 547517 SOS 158478 HAS SOPS 158478 HAS SOUS 98857 HAS SOUPS 98857 WITH SCORE 99015.478
AT ITER 5969 NEW BEST:: SOT 547481 SOS 158442 HAS SOPS 158442 HAS SOUS 98821 HAS SOUPS 98821 WITH SCORE 98979.442
AT ITER 5978 NEW BEST:: SOT 547315 SOS 158501 HAS SOPS 158501 HAS SOUS 98733 HAS SOUPS 98733 WITH SCORE 98891.501
AT ITER 5986 NEW BEST:: SOT 547252 SOS 158391 HAS SOPS 158391 HAS SOUS 98623 HAS SOUPS 98623 WITH SCORE 98781.391
AT ITER 6067 NEW BEST:: SOT 547281 SOS 158537 HAS SOPS 158537 HAS SOUS 98603 HAS SOUPS 98603 WITH SCORE 98761.537
AT ITER 6069 NEW BEST:: SOT 547281 SOS 158417 HAS SOPS 158417 HAS SOUS 98583 HAS SOUPS 98583 WITH SCORE 98741.417
AT ITER 6096 NEW BEST:: SOT 547302 SOS 158459 HAS SOPS 158459 HAS SOUS 98525 HAS SOUPS 98525 WITH SCORE 98683.459
AT ITER 6100 NEW BEST:: SOT 547286 SOS 158307 HAS SOPS 158307 HAS SOUS 98473 HAS SOUPS 98473 WITH SCORE 98631.307
AT ITER 6106 NEW BEST:: SOT 547232 SOS 158199 HAS SOPS 158199 HAS SOUS 98365 HAS SOUPS 98365 WITH SCORE 98523.199
AT ITER 6125 NEW BEST:: SOT 547232 SOS 158137 HAS SOPS 158137 HAS SOUS 98356 HAS SOUPS 98356 WITH SCORE 98514.137
AT ITER 6129 NEW BEST:: SOT 547295 SOS 158647 HAS SOPS 158647 HAS SOUS 98355 HAS SOUPS 98355 WITH SCORE 98513.647
AT ITER 6138 NEW BEST:: SOT 547285 SOS 158517 HAS SOPS 158517 HAS SOUS 98305 HAS SOUPS 98305 WITH SCORE 98463.517
AT ITER 6150 NEW BEST:: SOT 547296 SOS 158539 HAS SOPS 158539 HAS SOUS 98281 HAS SOUPS 98281 WITH SCORE 98439.539
AT ITER 6157 NEW BEST:: SOT 546873 SOS 158530 HAS SOPS 158530 HAS SOUS 98071 HAS SOUPS 98071 WITH SCORE 98229.53
AT ITER 6173 NEW BEST:: SOT 546860 SOS 158504 HAS SOPS 158504 HAS SOUS 98045 HAS SOUPS 98045 WITH SCORE 98203.504
AT ITER 6176 NEW BEST:: SOT 546842 SOS 158475 HAS SOPS 158475 HAS SOUS 98020 HAS SOUPS 98020 WITH SCORE 98178.475
AT ITER 6198 NEW BEST:: SOT 546842 SOS 158124 HAS SOPS 158124 HAS SOUS 97981 HAS SOUPS 97981 WITH SCORE 98139.124
AT ITER 6201 NEW BEST:: SOT 546688 SOS 157970 HAS SOPS 157970 HAS SOUS 97827 HAS SOUPS 97827 WITH SCORE 97984.97
AT ITER 6207 NEW BEST:: SOT 546742 SOS 157655 HAS SOPS 157655 HAS SOUS 97715 HAS SOUPS 97715 WITH SCORE 97872.655
AT ITER 6234 NEW BEST:: SOT 546741 SOS 157628 HAS SOPS 157628 HAS SOUS 97711 HAS SOUPS 97711 WITH SCORE 97868.628
AT ITER 6245 NEW BEST:: SOT 546732 SOS 157610 HAS SOPS 157610 HAS SOUS 97693 HAS SOUPS 97693 WITH SCORE 97850.61
AT ITER 6252 NEW BEST:: SOT 546716 SOS 157564 HAS SOPS 157564 HAS SOUS 97661 HAS SOUPS 97661 WITH SCORE 97818.564
AT ITER 6266 NEW BEST:: SOT 546707 SOS 157555 HAS SOPS 157555 HAS SOUS 97652 HAS SOUPS 97652 WITH SCORE 97809.555
AT ITER 6268 NEW BEST:: SOT 546707 SOS 157526 HAS SOPS 157526 HAS SOUS 97636 HAS SOUPS 97636 WITH SCORE 97793.526
AT ITER 6366 NEW BEST:: SOT 546707 SOS 157519 HAS SOPS 157519 HAS SOUS 97636 HAS SOUPS 97636 WITH SCORE 97793.519
AT ITER 6373 NEW BEST:: SOT 546689 SOS 157501 HAS SOPS 157501 HAS SOUS 97618 HAS SOUPS 97618 WITH SCORE 97775.501
AT ITER 6428 NEW BEST:: SOT 546616 SOS 157500 HAS SOPS 157500 HAS SOUS 97617 HAS SOUPS 97617 WITH SCORE 97774.5
AT ITER 6449 NEW BEST:: SOT 546458 SOS 157165 HAS SOPS 157165 HAS SOUS 97611 HAS SOUPS 97611 WITH SCORE 97768.165
AT ITER 6450 NEW BEST:: SOT 546318 SOS 157025 HAS SOPS 157025 HAS SOUS 97589 HAS SOUPS 97589 WITH SCORE 97746.025
AT ITER 6462 NEW BEST:: SOT 546315 SOS 157016 HAS SOPS 157016 HAS SOUS 97584 HAS SOUPS 97584 WITH SCORE 97741.016
AT ITER 6467 NEW BEST:: SOT 546314 SOS 156978 HAS SOPS 156978 HAS SOUS 97576 HAS SOUPS 97576 WITH SCORE 97732.978
AT ITER 6469 NEW BEST:: SOT 546319 SOS 156970 HAS SOPS 156970 HAS SOUS 97568 HAS SOUPS 97568 WITH SCORE 97724.97
AT ITER 6544 NEW BEST:: SOT 546314 SOS 156965 HAS SOPS 156965 HAS SOUS 97558 HAS SOUPS 97558 WITH SCORE 97714.965
AT ITER 6545 NEW BEST:: SOT 546273 SOS 156881 HAS SOPS 156881 HAS SOUS 97474 HAS SOUPS 97474 WITH SCORE 97630.881
AT ITER 6553 NEW BEST:: SOT 546282 SOS 156839 HAS SOPS 156839 HAS SOUS 97468 HAS SOUPS 97468 WITH SCORE 97624.839
AT ITER 6619 NEW BEST:: SOT 546184 SOS 156740 HAS SOPS 156740 HAS SOUS 97369 HAS SOUPS 97369 WITH SCORE 97525.74
AT ITER 6655 NEW BEST:: SOT 546161 SOS 156695 HAS SOPS 156695 HAS SOUS 97346 HAS SOUPS 97346 WITH SCORE 97502.695
AT ITER 6664 NEW BEST:: SOT 546175 SOS 156407 HAS SOPS 156407 HAS SOUS 97231 HAS SOUPS 97231 WITH SCORE 97387.407
AT ITER 6679 NEW BEST:: SOT 546144 SOS 156363 HAS SOPS 156363 HAS SOUS 97187 HAS SOUPS 97187 WITH SCORE 97343.363
AT ITER 6686 NEW BEST:: SOT 546094 SOS 156282 HAS SOPS 156282 HAS SOUS 97106 HAS SOUPS 97106 WITH SCORE 97262.282
AT ITER 6688 NEW BEST:: SOT 546094 SOS 156180 HAS SOPS 156180 HAS SOUS 97106 HAS SOUPS 97106 WITH SCORE 97262.18
AT ITER 6705 NEW BEST:: SOT 545912 SOS 155887 HAS SOPS 155887 HAS SOUS 96910 HAS SOUPS 96910 WITH SCORE 97065.887
AT ITER 6722 NEW BEST:: SOT 545912 SOS 155878 HAS SOPS 155878 HAS SOUS 96901 HAS SOUPS 96901 WITH SCORE 97056.878
AT ITER 6737 NEW BEST:: SOT 545748 SOS 155550 HAS SOPS 155550 HAS SOUS 96573 HAS SOUPS 96573 WITH SCORE 96728.55
AT ITER 6766 NEW BEST:: SOT 545633 SOS 155591 HAS SOPS 155591 HAS SOUS 96513 HAS SOUPS 96513 WITH SCORE 96668.591
AT ITER 6768 NEW BEST:: SOT 545693 SOS 155671 HAS SOPS 155671 HAS SOUS 96337 HAS SOUPS 96337 WITH SCORE 96492.671
AT ITER 6826 NEW BEST:: SOT 545683 SOS 155661 HAS SOPS 155661 HAS SOUS 96327 HAS SOUPS 96327 WITH SCORE 96482.661
AT ITER 6845 NEW BEST:: SOT 545668 SOS 155646 HAS SOPS 155646 HAS SOUS 96312 HAS SOUPS 96312 WITH SCORE 96467.646
AT ITER 6848 NEW BEST:: SOT 545617 SOS 155667 HAS SOPS 155667 HAS SOUS 96304 HAS SOUPS 96304 WITH SCORE 96459.667
AT ITER 6909 NEW BEST:: SOT 545534 SOS 155576 HAS SOPS 155576 HAS SOUS 96138 HAS SOUPS 96138 WITH SCORE 96293.576
AT ITER 6911 NEW BEST:: SOT 545510 SOS 155543 HAS SOPS 155543 HAS SOUS 96114 HAS SOUPS 96114 WITH SCORE 96269.543
AT ITER 6932 NEW BEST:: SOT 545491 SOS 155453 HAS SOPS 155453 HAS SOUS 96076 HAS SOUPS 96076 WITH SCORE 96231.453
AT ITER 6933 NEW BEST:: SOT 545474 SOS 155402 HAS SOPS 155402 HAS SOUS 96042 HAS SOUPS 96042 WITH SCORE 96197.402
AT ITER 7005 NEW BEST:: SOT 545378 SOS 155210 HAS SOPS 155210 HAS SOUS 95850 HAS SOUPS 95850 WITH SCORE 96005.21
AT ITER 7020 NEW BEST:: SOT 545401 SOS 155181 HAS SOPS 155181 HAS SOUS 95806 HAS SOUPS 95806 WITH SCORE 95961.181
AT ITER 7025 NEW BEST:: SOT 545335 SOS 155013 HAS SOPS 155013 HAS SOUS 95782 HAS SOUPS 95782 WITH SCORE 95937.013
AT ITER 7048 NEW BEST:: SOT 545335 SOS 155013 HAS SOPS 155013 HAS SOUS 95771 HAS SOUPS 95771 WITH SCORE 95926.013
AT ITER 7049 NEW BEST:: SOT 545277 SOS 154994 HAS SOPS 154994 HAS SOUS 95766 HAS SOUPS 95766 WITH SCORE 95920.994
AT ITER 7063 NEW BEST:: SOT 545257 SOS 154974 HAS SOPS 154974 HAS SOUS 95726 HAS SOUPS 95726 WITH SCORE 95880.974
AT ITER 7065 NEW BEST:: SOT 545241 SOS 154942 HAS SOPS 154942 HAS SOUS 95694 HAS SOUPS 95694 WITH SCORE 95848.942
AT ITER 7088 NEW BEST:: SOT 545184 SOS 152414 HAS SOPS 152414 HAS SOUS 95595 HAS SOUPS 95595 WITH SCORE 95747.414
AT ITER 7110 NEW BEST:: SOT 545119 SOS 152325 HAS SOPS 152325 HAS SOUS 95506 HAS SOUPS 95506 WITH SCORE 95658.325
AT ITER 7112 NEW BEST:: SOT 545081 SOS 152287 HAS SOPS 152287 HAS SOUS 95430 HAS SOUPS 95430 WITH SCORE 95582.287
AT ITER 7132 NEW BEST:: SOT 545076 SOS 152277 HAS SOPS 152277 HAS SOUS 95410 HAS SOUPS 95410 WITH SCORE 95562.277
AT ITER 7139 NEW BEST:: SOT 545072 SOS 152269 HAS SOPS 152269 HAS SOUS 95402 HAS SOUPS 95402 WITH SCORE 95554.269
AT ITER 7155 NEW BEST:: SOT 545042 SOS 152242 HAS SOPS 152242 HAS SOUS 95375 HAS SOUPS 95375 WITH SCORE 95527.242
AT ITER 7157 NEW BEST:: SOT 545039 SOS 152239 HAS SOPS 152239 HAS SOUS 95372 HAS SOUPS 95372 WITH SCORE 95524.239
AT ITER 7185 NEW BEST:: SOT 545039 SOS 152189 HAS SOPS 152189 HAS SOUS 95272 HAS SOUPS 95272 WITH SCORE 95424.189
AT ITER 7209 NEW BEST:: SOT 544958 SOS 152189 HAS SOPS 152189 HAS SOUS 95256 HAS SOUPS 95256 WITH SCORE 95408.189
AT ITER 7244 NEW BEST:: SOT 544838 SOS 151949 HAS SOPS 151949 HAS SOUS 95141 HAS SOUPS 95141 WITH SCORE 95292.949
AT ITER 7252 NEW BEST:: SOT 544787 SOS 151868 HAS SOPS 151868 HAS SOUS 95060 HAS SOUPS 95060 WITH SCORE 95211.868
AT ITER 7264 NEW BEST:: SOT 544780 SOS 151864 HAS SOPS 151864 HAS SOUS 95054 HAS SOUPS 95054 WITH SCORE 95205.864
AT ITER 7268 NEW BEST:: SOT 544829 SOS 151843 HAS SOPS 151843 HAS SOUS 95033 HAS SOUPS 95033 WITH SCORE 95184.843
AT ITER 7281 NEW BEST:: SOT 544829 SOS 151809 HAS SOPS 151809 HAS SOUS 94999 HAS SOUPS 94999 WITH SCORE 95150.809
AT ITER 7316 NEW BEST:: SOT 544828 SOS 151806 HAS SOPS 151806 HAS SOUS 94995 HAS SOUPS 94995 WITH SCORE 95146.806
AT ITER 7319 NEW BEST:: SOT 544709 SOS 151765 HAS SOPS 151765 HAS SOUS 94954 HAS SOUPS 94954 WITH SCORE 95105.765
AT ITER 7376 NEW BEST:: SOT 544709 SOS 151761 HAS SOPS 151761 HAS SOUS 94954 HAS SOUPS 94954 WITH SCORE 95105.761
AT ITER 7388 NEW BEST:: SOT 544659 SOS 151678 HAS SOPS 151678 HAS SOUS 94899 HAS SOUPS 94899 WITH SCORE 95050.678
AT ITER 7430 NEW BEST:: SOT 544659 SOS 151757 HAS SOPS 151757 HAS SOUS 94886 HAS SOUPS 94886 WITH SCORE 95037.757
AT ITER 7432 NEW BEST:: SOT 544640 SOS 151614 HAS SOPS 151614 HAS SOUS 94862 HAS SOUPS 94862 WITH SCORE 95013.614
AT ITER 7438 NEW BEST:: SOT 544523 SOS 151497 HAS SOPS 151497 HAS SOUS 94862 HAS SOUPS 94862 WITH SCORE 95013.497
AT ITER 7469 NEW BEST:: SOT 544403 SOS 151417 HAS SOPS 151417 HAS SOUS 94782 HAS SOUPS 94782 WITH SCORE 94933.417
AT ITER 7471 NEW BEST:: SOT 544401 SOS 151422 HAS SOPS 151422 HAS SOUS 94780 HAS SOUPS 94780 WITH SCORE 94931.422
AT ITER 7544 NEW BEST:: SOT 544332 SOS 151284 HAS SOPS 151284 HAS SOUS 94642 HAS SOUPS 94642 WITH SCORE 94793.284
AT ITER 7545 NEW BEST:: SOT 544310 SOS 151262 HAS SOPS 151262 HAS SOUS 94619 HAS SOUPS 94619 WITH SCORE 94770.262
AT ITER 7606 NEW BEST:: SOT 544261 SOS 151311 HAS SOPS 151311 HAS SOUS 94521 HAS SOUPS 94521 WITH SCORE 94672.311
AT ITER 7641 NEW BEST:: SOT 544261 SOS 151287 HAS SOPS 151287 HAS SOUS 94497 HAS SOUPS 94497 WITH SCORE 94648.287
AT ITER 7650 NEW BEST:: SOT 544123 SOS 151149 HAS SOPS 151149 HAS SOUS 94375 HAS SOUPS 94375 WITH SCORE 94526.149
AT ITER 7653 NEW BEST:: SOT 544113 SOS 151129 HAS SOPS 151129 HAS SOUS 94372 HAS SOUPS 94372 WITH SCORE 94523.129
AT ITER 7692 NEW BEST:: SOT 544007 SOS 150917 HAS SOPS 150917 HAS SOUS 94160 HAS SOUPS 94160 WITH SCORE 94310.917
AT ITER 7713 NEW BEST:: SOT 543994 SOS 150904 HAS SOPS 150904 HAS SOUS 94147 HAS SOUPS 94147 WITH SCORE 94297.904
AT ITER 7736 NEW BEST:: SOT 544320 SOS 151238 HAS SOPS 151238 HAS SOUS 93993 HAS SOUPS 93993 WITH SCORE 94144.238
AT ITER 7742 NEW BEST:: SOT 544318 SOS 151239 HAS SOPS 151239 HAS SOUS 93992 HAS SOUPS 93992 WITH SCORE 94143.239
AT ITER 7744 NEW BEST:: SOT 544118 SOS 150830 HAS SOPS 150830 HAS SOUS 93603 HAS SOUPS 93603 WITH SCORE 93753.83
AT ITER 7762 NEW BEST:: SOT 544118 SOS 150843 HAS SOPS 150843 HAS SOUS 93602 HAS SOUPS 93602 WITH SCORE 93752.843
AT ITER 7816 NEW BEST:: SOT 544118 SOS 150827 HAS SOPS 150827 HAS SOUS 93600 HAS SOUPS 93600 WITH SCORE 93750.827
AT ITER 7832 NEW BEST:: SOT 544118 SOS 150762 HAS SOPS 150762 HAS SOUS 93584 HAS SOUPS 93584 WITH SCORE 93734.762
AT ITER 7872 NEW BEST:: SOT 544118 SOS 150667 HAS SOPS 150667 HAS SOUS 93584 HAS SOUPS 93584 WITH SCORE 93734.667
AT ITER 7888 NEW BEST:: SOT 544201 SOS 150661 HAS SOPS 150661 HAS SOUS 93578 HAS SOUPS 93578 WITH SCORE 93728.661
AT ITER 7898 NEW BEST:: SOT 544201 SOS 150658 HAS SOPS 150658 HAS SOUS 93575 HAS SOUPS 93575 WITH SCORE 93725.658
AT ITER 7916 NEW BEST:: SOT 544141 SOS 150276 HAS SOPS 150276 HAS SOUS 93497 HAS SOUPS 93497 WITH SCORE 93647.276
AT ITER 7920 NEW BEST:: SOT 544142 SOS 150278 HAS SOPS 150278 HAS SOUS 93485 HAS SOUPS 93485 WITH SCORE 93635.278
AT ITER 7922 NEW BEST:: SOT 544118 SOS 150300 HAS SOPS 150300 HAS SOUS 93451 HAS SOUPS 93451 WITH SCORE 93601.3
AT ITER 7943 NEW BEST:: SOT 544097 SOS 150253 HAS SOPS 150253 HAS SOUS 93404 HAS SOUPS 93404 WITH SCORE 93554.253
AT ITER 7958 NEW BEST:: SOT 543965 SOS 150586 HAS SOPS 150586 HAS SOUS 93325 HAS SOUPS 93325 WITH SCORE 93475.586
AT ITER 7974 NEW BEST:: SOT 543940 SOS 150693 HAS SOPS 150693 HAS SOUS 93278 HAS SOUPS 93278 WITH SCORE 93428.693
AT ITER 7983 NEW BEST:: SOT 543443 SOS 150182 HAS SOPS 150182 HAS SOUS 93055 HAS SOUPS 93055 WITH SCORE 93205.182
AT ITER 7985 NEW BEST:: SOT 543381 SOS 150183 HAS SOPS 150183 HAS SOUS 93008 HAS SOUPS 93008 WITH SCORE 93158.183
AT ITER 7987 NEW BEST:: SOT 543376 SOS 150157 HAS SOPS 150157 HAS SOUS 92994 HAS SOUPS 92994 WITH SCORE 93144.157
AT ITER 8004 NEW BEST:: SOT 543376 SOS 150157 HAS SOPS 150157 HAS SOUS 92952 HAS SOUPS 92952 WITH SCORE 93102.157
AT ITER 8008 NEW BEST:: SOT 543326 SOS 149957 HAS SOPS 149957 HAS SOUS 92827 HAS SOUPS 92827 WITH SCORE 92976.957
AT ITER 8013 NEW BEST:: SOT 543282 SOS 149894 HAS SOPS 149894 HAS SOUS 92776 HAS SOUPS 92776 WITH SCORE 92925.894
AT ITER 8015 NEW BEST:: SOT 542610 SOS 149222 HAS SOPS 149222 HAS SOUS 92080 HAS SOUPS 92080 WITH SCORE 92229.222
AT ITER 8030 NEW BEST:: SOT 542532 SOS 149144 HAS SOPS 149144 HAS SOUS 92002 HAS SOUPS 92002 WITH SCORE 92151.144
AT ITER 8063 NEW BEST:: SOT 542493 SOS 149094 HAS SOPS 149094 HAS SOUS 91924 HAS SOUPS 91924 WITH SCORE 92073.094
AT ITER 8069 NEW BEST:: SOT 542467 SOS 149042 HAS SOPS 149042 HAS SOUS 91898 HAS SOUPS 91898 WITH SCORE 92047.042
AT ITER 8097 NEW BEST:: SOT 542467 SOS 148890 HAS SOPS 148890 HAS SOUS 91898 HAS SOUPS 91898 WITH SCORE 92046.89
AT ITER 8101 NEW BEST:: SOT 542467 SOS 148844 HAS SOPS 148844 HAS SOUS 91875 HAS SOUPS 91875 WITH SCORE 92023.844
AT ITER 8167 NEW BEST:: SOT 542466 SOS 148815 HAS SOPS 148815 HAS SOUS 91873 HAS SOUPS 91873 WITH SCORE 92021.815
AT ITER 8185 NEW BEST:: SOT 542450 SOS 148879 HAS SOPS 148879 HAS SOUS 91841 HAS SOUPS 91841 WITH SCORE 91989.879
AT ITER 8223 NEW BEST:: SOT 542379 SOS 148876 HAS SOPS 148876 HAS SOUS 91748 HAS SOUPS 91748 WITH SCORE 91896.876
AT ITER 8233 NEW BEST:: SOT 542631 SOS 149158 HAS SOPS 149158 HAS SOUS 91595 HAS SOUPS 91595 WITH SCORE 91744.158
AT ITER 8241 NEW BEST:: SOT 542620 SOS 149112 HAS SOPS 149112 HAS SOUS 91549 HAS SOUPS 91549 WITH SCORE 91698.112
AT ITER 8248 NEW BEST:: SOT 542605 SOS 149061 HAS SOPS 149061 HAS SOUS 91492 HAS SOUPS 91492 WITH SCORE 91641.061
AT ITER 8268 NEW BEST:: SOT 542604 SOS 149060 HAS SOPS 149060 HAS SOUS 91491 HAS SOUPS 91491 WITH SCORE 91640.06
AT ITER 8280 NEW BEST:: SOT 542547 SOS 148933 HAS SOPS 148933 HAS SOUS 91434 HAS SOUPS 91434 WITH SCORE 91582.933
AT ITER 8342 NEW BEST:: SOT 542489 SOS 148872 HAS SOPS 148872 HAS SOUS 91373 HAS SOUPS 91373 WITH SCORE 91521.872
AT ITER 8377 NEW BEST:: SOT 542488 SOS 148870 HAS SOPS 148870 HAS SOUS 91371 HAS SOUPS 91371 WITH SCORE 91519.87
AT ITER 8434 NEW BEST:: SOT 542482 SOS 148858 HAS SOPS 148858 HAS SOUS 91365 HAS SOUPS 91365 WITH SCORE 91513.858
AT ITER 8455 NEW BEST:: SOT 542482 SOS 148857 HAS SOPS 148857 HAS SOUS 91365 HAS SOUPS 91365 WITH SCORE 91513.857
AT ITER 8475 NEW BEST:: SOT 542422 SOS 148737 HAS SOPS 148737 HAS SOUS 91245 HAS SOUPS 91245 WITH SCORE 91393.737
AT ITER 8486 NEW BEST:: SOT 542410 SOS 148671 HAS SOPS 148671 HAS SOUS 91206 HAS SOUPS 91206 WITH SCORE 91354.671
AT ITER 8513 NEW BEST:: SOT 542348 SOS 148547 HAS SOPS 148547 HAS SOUS 91140 HAS SOUPS 91140 WITH SCORE 91288.547
AT ITER 8515 NEW BEST:: SOT 542348 SOS 148526 HAS SOPS 148526 HAS SOUS 91119 HAS SOUPS 91119 WITH SCORE 91267.526
AT ITER 8533 NEW BEST:: SOT 542241 SOS 148399 HAS SOPS 148399 HAS SOUS 90996 HAS SOUPS 90996 WITH SCORE 91144.399
AT ITER 8558 NEW BEST:: SOT 542241 SOS 148290 HAS SOPS 148290 HAS SOUS 90907 HAS SOUPS 90907 WITH SCORE 91055.29
AT ITER 8654 NEW BEST:: SOT 542214 SOS 148257 HAS SOPS 148257 HAS SOUS 90874 HAS SOUPS 90874 WITH SCORE 91022.257
AT ITER 8670 NEW BEST:: SOT 542256 SOS 148234 HAS SOPS 148234 HAS SOUS 90851 HAS SOUPS 90851 WITH SCORE 90999.234
AT ITER 8721 NEW BEST:: SOT 542252 SOS 148096 HAS SOPS 148096 HAS SOUS 90713 HAS SOUPS 90713 WITH SCORE 90861.096
AT ITER 8737 NEW BEST:: SOT 542251 SOS 148095 HAS SOPS 148095 HAS SOUS 90711 HAS SOUPS 90711 WITH SCORE 90859.095
AT ITER 8748 NEW BEST:: SOT 542229 SOS 148051 HAS SOPS 148051 HAS SOUS 90682 HAS SOUPS 90682 WITH SCORE 90830.051
AT ITER 8775 NEW BEST:: SOT 542169 SOS 148039 HAS SOPS 148039 HAS SOUS 90677 HAS SOUPS 90677 WITH SCORE 90825.039
AT ITER 8809 NEW BEST:: SOT 541510 SOS 147305 HAS SOPS 147305 HAS SOUS 89922 HAS SOUPS 89922 WITH SCORE 90069.305
AT ITER 8816 NEW BEST:: SOT 541504 SOS 147299 HAS SOPS 147299 HAS SOUS 89916 HAS SOUPS 89916 WITH SCORE 90063.299
AT ITER 8818 NEW BEST:: SOT 541494 SOS 147284 HAS SOPS 147284 HAS SOUS 89901 HAS SOUPS 89901 WITH SCORE 90048.284
AT ITER 8824 NEW BEST:: SOT 541494 SOS 147263 HAS SOPS 147263 HAS SOUS 89901 HAS SOUPS 89901 WITH SCORE 90048.263
AT ITER 8825 NEW BEST:: SOT 541492 SOS 147275 HAS SOPS 147275 HAS SOUS 89896 HAS SOUPS 89896 WITH SCORE 90043.275
AT ITER 8849 NEW BEST:: SOT 541528 SOS 147155 HAS SOPS 147155 HAS SOUS 89854 HAS SOUPS 89854 WITH SCORE 90001.155
AT ITER 8887 NEW BEST:: SOT 541436 SOS 146971 HAS SOPS 146971 HAS SOUS 89762 HAS SOUPS 89762 WITH SCORE 89908.971
AT ITER 8888 NEW BEST:: SOT 541366 SOS 146901 HAS SOPS 146901 HAS SOUS 89692 HAS SOUPS 89692 WITH SCORE 89838.901
AT ITER 8904 NEW BEST:: SOT 541346 SOS 146906 HAS SOPS 146906 HAS SOUS 89677 HAS SOUPS 89677 WITH SCORE 89823.906
AT ITER 8938 NEW BEST:: SOT 541372 SOS 146936 HAS SOPS 146936 HAS SOUS 89668 HAS SOUPS 89668 WITH SCORE 89814.936
AT ITER 8967 NEW BEST:: SOT 541246 SOS 146909 HAS SOPS 146909 HAS SOUS 89664 HAS SOUPS 89664 WITH SCORE 89810.909
AT ITER 8970 NEW BEST:: SOT 541002 SOS 148121 HAS SOPS 148121 HAS SOUS 89316 HAS SOUPS 89316 WITH SCORE 89464.121
AT ITER 9012 NEW BEST:: SOT 541002 SOS 149110 HAS SOPS 149110 HAS SOUS 89233 HAS SOUPS 89233 WITH SCORE 89382.11
AT ITER 9046 NEW BEST:: SOT 540994 SOS 149102 HAS SOPS 149102 HAS SOUS 89217 HAS SOUPS 89217 WITH SCORE 89366.102
AT ITER 9093 NEW BEST:: SOT 540990 SOS 149104 HAS SOPS 149104 HAS SOUS 89215 HAS SOUPS 89215 WITH SCORE 89364.104
AT ITER 9114 NEW BEST:: SOT 540928 SOS 149026 HAS SOPS 149026 HAS SOUS 89153 HAS SOUPS 89153 WITH SCORE 89302.026
AT ITER 9143 NEW BEST:: SOT 540842 SOS 148870 HAS SOPS 148870 HAS SOUS 89031 HAS SOUPS 89031 WITH SCORE 89179.87
AT ITER 9152 NEW BEST:: SOT 540867 SOS 148920 HAS SOPS 148920 HAS SOUS 89020 HAS SOUPS 89020 WITH SCORE 89168.92
AT ITER 9214 NEW BEST:: SOT 540867 SOS 148897 HAS SOPS 148897 HAS SOUS 88997 HAS SOUPS 88997 WITH SCORE 89145.897
AT ITER 9220 NEW BEST:: SOT 540727 SOS 148731 HAS SOPS 148731 HAS SOUS 88821 HAS SOUPS 88821 WITH SCORE 88969.731
AT ITER 9226 NEW BEST:: SOT 540718 SOS 148620 HAS SOPS 148620 HAS SOUS 88792 HAS SOUPS 88792 WITH SCORE 88940.62
AT ITER 9254 NEW BEST:: SOT 540717 SOS 148624 HAS SOPS 148624 HAS SOUS 88791 HAS SOUPS 88791 WITH SCORE 88939.624
AT ITER 9313 NEW BEST:: SOT 540685 SOS 148592 HAS SOPS 148592 HAS SOUS 88725 HAS SOUPS 88725 WITH SCORE 88873.592
AT ITER 9324 NEW BEST:: SOT 540687 SOS 148585 HAS SOPS 148585 HAS SOUS 88718 HAS SOUPS 88718 WITH SCORE 88866.585
AT ITER 9331 NEW BEST:: SOT 540656 SOS 148585 HAS SOPS 148585 HAS SOUS 88687 HAS SOUPS 88687 WITH SCORE 88835.585
AT ITER 9411 NEW BEST:: SOT 540648 SOS 148597 HAS SOPS 148597 HAS SOUS 88675 HAS SOUPS 88675 WITH SCORE 88823.597
AT ITER 9423 NEW BEST:: SOT 540815 SOS 148113 HAS SOPS 148113 HAS SOUS 88578 HAS SOUPS 88578 WITH SCORE 88726.113
AT ITER 9475 NEW BEST:: SOT 540743 SOS 147912 HAS SOPS 147912 HAS SOUS 88434 HAS SOUPS 88434 WITH SCORE 88581.912
AT ITER 9493 NEW BEST:: SOT 540728 SOS 147892 HAS SOPS 147892 HAS SOUS 88414 HAS SOUPS 88414 WITH SCORE 88561.892
AT ITER 9494 NEW BEST:: SOT 540745 SOS 147892 HAS SOPS 147892 HAS SOUS 88356 HAS SOUPS 88356 WITH SCORE 88503.892
AT ITER 9527 NEW BEST:: SOT 540524 SOS 147702 HAS SOPS 147702 HAS SOUS 88334 HAS SOUPS 88334 WITH SCORE 88481.702
AT ITER 9535 NEW BEST:: SOT 540516 SOS 147771 HAS SOPS 147771 HAS SOUS 88326 HAS SOUPS 88326 WITH SCORE 88473.771
AT ITER 9570 NEW BEST:: SOT 540513 SOS 147768 HAS SOPS 147768 HAS SOUS 88302 HAS SOUPS 88302 WITH SCORE 88449.768
AT ITER 9635 NEW BEST:: SOT 540492 SOS 147740 HAS SOPS 147740 HAS SOUS 88274 HAS SOUPS 88274 WITH SCORE 88421.74
AT ITER 9645 NEW BEST:: SOT 540492 SOS 147657 HAS SOPS 147657 HAS SOUS 88191 HAS SOUPS 88191 WITH SCORE 88338.657
AT ITER 9666 NEW BEST:: SOT 540492 SOS 147464 HAS SOPS 147464 HAS SOUS 88191 HAS SOUPS 88191 WITH SCORE 88338.464
AT ITER 9686 NEW BEST:: SOT 540488 SOS 147460 HAS SOPS 147460 HAS SOUS 88187 HAS SOUPS 88187 WITH SCORE 88334.46
AT ITER 9730 NEW BEST:: SOT 540467 SOS 147591 HAS SOPS 147591 HAS SOUS 88166 HAS SOUPS 88166 WITH SCORE 88313.591
AT ITER 9775 NEW BEST:: SOT 540449 SOS 147467 HAS SOPS 147467 HAS SOUS 88130 HAS SOUPS 88130 WITH SCORE 88277.467
AT ITER 9797 NEW BEST:: SOT 540449 SOS 147439 HAS SOPS 147439 HAS SOUS 88130 HAS SOUPS 88130 WITH SCORE 88277.439
AT ITER 9810 NEW BEST:: SOT 540606 SOS 147604 HAS SOPS 147604 HAS SOUS 88031 HAS SOUPS 88031 WITH SCORE 88178.604
AT ITER 9814 NEW BEST:: SOT 540673 SOS 147600 HAS SOPS 147600 HAS SOUS 88027 HAS SOUPS 88027 WITH SCORE 88174.6
AT ITER 9873 NEW BEST:: SOT 540674 SOS 147551 HAS SOPS 147551 HAS SOUS 87978 HAS SOUPS 87978 WITH SCORE 88125.551
AT ITER 9896 NEW BEST:: SOT 540673 SOS 147550 HAS SOPS 147550 HAS SOUS 87977 HAS SOUPS 87977 WITH SCORE 88124.55
AT ITER 9913 NEW BEST:: SOT 540622 SOS 147568 HAS SOPS 147568 HAS SOUS 87929 HAS SOUPS 87929 WITH SCORE 88076.568
AT ITER 9992 NEW BEST:: SOT 540616 SOS 147556 HAS SOPS 147556 HAS SOUS 87923 HAS SOUPS 87923 WITH SCORE 88070.556
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 11312912 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16121960 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is ASLink-PT-01b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813599600024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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