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

About the Execution of Smart for NoC3x3-PT-1A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16225.531 2813952.00 2806876.00 6093.20 [undef] Cannot compute

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.r259-smll-167863534300232.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is NoC3x3-PT-1A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534300232
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 6.7K Feb 26 09:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 09:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 09:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 09:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 09:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 151K Feb 26 09:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 09:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 09:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 81K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678717132202

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

Filename model.pnml
Petri model created: 165 places, 355 transitions, 1069 arcs.
AT ITER 0 NEW BEST:: SOT 39460 SOS 33632 HAS SOPS 33632 HAS SOUS 16750 HAS SOUPS 16750 WITH SCORE 16783.632
AT ITER 3 NEW BEST:: SOT 39270 SOS 33494 HAS SOPS 33494 HAS SOUS 16729 HAS SOUPS 16729 WITH SCORE 16762.494
AT ITER 5 NEW BEST:: SOT 39295 SOS 33519 HAS SOPS 33519 HAS SOUS 16728 HAS SOUPS 16728 WITH SCORE 16761.519
AT ITER 8 NEW BEST:: SOT 39392 SOS 33180 HAS SOPS 33180 HAS SOUS 16704 HAS SOUPS 16704 WITH SCORE 16737.18
AT ITER 9 NEW BEST:: SOT 39723 SOS 32923 HAS SOPS 32923 HAS SOUS 16468 HAS SOUPS 16468 WITH SCORE 16500.923
AT ITER 10 NEW BEST:: SOT 39716 SOS 32916 HAS SOPS 32916 HAS SOUS 16456 HAS SOUPS 16456 WITH SCORE 16488.916
AT ITER 11 NEW BEST:: SOT 39626 SOS 32826 HAS SOPS 32826 HAS SOUS 16420 HAS SOUPS 16420 WITH SCORE 16452.826
AT ITER 14 NEW BEST:: SOT 39886 SOS 32478 HAS SOPS 32478 HAS SOUS 16417 HAS SOUPS 16417 WITH SCORE 16449.478
AT ITER 15 NEW BEST:: SOT 40091 SOS 32410 HAS SOPS 32410 HAS SOUS 16335 HAS SOUPS 16335 WITH SCORE 16367.41
AT ITER 17 NEW BEST:: SOT 40118 SOS 32371 HAS SOPS 32371 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16319.371
AT ITER 27 NEW BEST:: SOT 39963 SOS 32216 HAS SOPS 32216 HAS SOUS 16232 HAS SOUPS 16232 WITH SCORE 16264.216
AT ITER 28 NEW BEST:: SOT 40224 SOS 32335 HAS SOPS 32335 HAS SOUS 16186 HAS SOUPS 16186 WITH SCORE 16218.335
AT ITER 29 NEW BEST:: SOT 40292 SOS 32318 HAS SOPS 32318 HAS SOUS 16186 HAS SOUPS 16186 WITH SCORE 16218.318
AT ITER 30 NEW BEST:: SOT 40807 SOS 32439 HAS SOPS 32439 HAS SOUS 16169 HAS SOUPS 16169 WITH SCORE 16201.439
AT ITER 34 NEW BEST:: SOT 40397 SOS 32028 HAS SOPS 32028 HAS SOUS 15922 HAS SOUPS 15922 WITH SCORE 15954.028
AT ITER 35 NEW BEST:: SOT 40081 SOS 31800 HAS SOPS 31800 HAS SOUS 15892 HAS SOUPS 15892 WITH SCORE 15923.8
AT ITER 39 NEW BEST:: SOT 40081 SOS 31800 HAS SOPS 31800 HAS SOUS 15888 HAS SOUPS 15888 WITH SCORE 15919.8
AT ITER 41 NEW BEST:: SOT 40049 SOS 31768 HAS SOPS 31768 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15878.768
AT ITER 42 NEW BEST:: SOT 40058 SOS 31777 HAS SOPS 31777 HAS SOUS 15846 HAS SOUPS 15846 WITH SCORE 15877.777
AT ITER 43 NEW BEST:: SOT 39486 SOS 31205 HAS SOPS 31205 HAS SOUS 15506 HAS SOUPS 15506 WITH SCORE 15537.205
AT ITER 44 NEW BEST:: SOT 39486 SOS 31234 HAS SOPS 31234 HAS SOUS 15504 HAS SOUPS 15504 WITH SCORE 15535.234
AT ITER 45 NEW BEST:: SOT 39459 SOS 31207 HAS SOPS 31207 HAS SOUS 15450 HAS SOUPS 15450 WITH SCORE 15481.207
AT ITER 46 NEW BEST:: SOT 39459 SOS 30779 HAS SOPS 30779 HAS SOUS 15450 HAS SOUPS 15450 WITH SCORE 15480.779
AT ITER 48 NEW BEST:: SOT 39109 SOS 30429 HAS SOPS 30429 HAS SOUS 15274 HAS SOUPS 15274 WITH SCORE 15304.429
AT ITER 50 NEW BEST:: SOT 38566 SOS 29817 HAS SOPS 29817 HAS SOUS 14947 HAS SOUPS 14947 WITH SCORE 14976.817
AT ITER 53 NEW BEST:: SOT 37949 SOS 29200 HAS SOPS 29200 HAS SOUS 14581 HAS SOUPS 14581 WITH SCORE 14610.2
AT ITER 60 NEW BEST:: SOT 37810 SOS 29061 HAS SOPS 29061 HAS SOUS 14442 HAS SOUPS 14442 WITH SCORE 14471.061
AT ITER 61 NEW BEST:: SOT 37649 SOS 28900 HAS SOPS 28900 HAS SOUS 14255 HAS SOUPS 14255 WITH SCORE 14283.9
AT ITER 63 NEW BEST:: SOT 37649 SOS 28176 HAS SOPS 28176 HAS SOUS 14255 HAS SOUPS 14255 WITH SCORE 14283.176
AT ITER 71 NEW BEST:: SOT 37636 SOS 28163 HAS SOPS 28163 HAS SOUS 14242 HAS SOUPS 14242 WITH SCORE 14270.163
AT ITER 72 NEW BEST:: SOT 37602 SOS 28129 HAS SOPS 28129 HAS SOUS 14207 HAS SOUPS 14207 WITH SCORE 14235.129
AT ITER 73 NEW BEST:: SOT 37602 SOS 27079 HAS SOPS 27079 HAS SOUS 14207 HAS SOUPS 14207 WITH SCORE 14234.079
AT ITER 74 NEW BEST:: SOT 37560 SOS 26967 HAS SOPS 26967 HAS SOUS 14186 HAS SOUPS 14186 WITH SCORE 14212.967
AT ITER 77 NEW BEST:: SOT 37560 SOS 26967 HAS SOPS 26967 HAS SOUS 14183 HAS SOUPS 14183 WITH SCORE 14209.967
AT ITER 78 NEW BEST:: SOT 37688 SOS 26579 HAS SOPS 26579 HAS SOUS 14176 HAS SOUPS 14176 WITH SCORE 14202.579
AT ITER 80 NEW BEST:: SOT 37229 SOS 26120 HAS SOPS 26120 HAS SOUS 13882 HAS SOUPS 13882 WITH SCORE 13908.12
AT ITER 83 NEW BEST:: SOT 36688 SOS 25579 HAS SOPS 25579 HAS SOUS 13575 HAS SOUPS 13575 WITH SCORE 13600.579
AT ITER 87 NEW BEST:: SOT 36645 SOS 25483 HAS SOPS 25483 HAS SOUS 13548 HAS SOUPS 13548 WITH SCORE 13573.483
AT ITER 88 NEW BEST:: SOT 36554 SOS 25394 HAS SOPS 25392 HAS SOUS 13502 HAS SOUPS 13500 WITH SCORE 13525.394
AT ITER 90 NEW BEST:: SOT 36554 SOS 24544 HAS SOPS 24458 HAS SOUS 13424 HAS SOUPS 13338 WITH SCORE 13362.544
AT ITER 95 NEW BEST:: SOT 36518 SOS 24508 HAS SOPS 24422 HAS SOUS 13388 HAS SOUPS 13302 WITH SCORE 13326.508
AT ITER 96 NEW BEST:: SOT 35853 SOS 23918 HAS SOPS 23832 HAS SOUS 13041 HAS SOUPS 12955 WITH SCORE 12978.918
AT ITER 97 NEW BEST:: SOT 35622 SOS 23441 HAS SOPS 23331 HAS SOUS 12889 HAS SOUPS 12779 WITH SCORE 12802.441
AT ITER 99 NEW BEST:: SOT 35606 SOS 23423 HAS SOPS 23315 HAS SOUS 12879 HAS SOUPS 12771 WITH SCORE 12794.423
AT ITER 103 NEW BEST:: SOT 35532 SOS 23195 HAS SOPS 23087 HAS SOUS 12879 HAS SOUPS 12771 WITH SCORE 12794.195
AT ITER 104 NEW BEST:: SOT 35532 SOS 23109 HAS SOPS 23001 HAS SOUS 12879 HAS SOUPS 12771 WITH SCORE 12794.109
AT ITER 106 NEW BEST:: SOT 35597 SOS 22946 HAS SOPS 22838 HAS SOUS 12835 HAS SOUPS 12727 WITH SCORE 12749.946
AT ITER 107 NEW BEST:: SOT 35164 SOS 22720 HAS SOPS 22634 HAS SOUS 12672 HAS SOUPS 12586 WITH SCORE 12608.72
AT ITER 112 NEW BEST:: SOT 35108 SOS 22375 HAS SOPS 22289 HAS SOUS 12631 HAS SOUPS 12545 WITH SCORE 12567.375
AT ITER 117 NEW BEST:: SOT 35005 SOS 22239 HAS SOPS 22153 HAS SOUS 12503 HAS SOUPS 12417 WITH SCORE 12439.239
AT ITER 118 NEW BEST:: SOT 34932 SOS 22166 HAS SOPS 22080 HAS SOUS 12406 HAS SOUPS 12320 WITH SCORE 12342.166
AT ITER 119 NEW BEST:: SOT 34931 SOS 22165 HAS SOPS 22079 HAS SOUS 12405 HAS SOUPS 12319 WITH SCORE 12341.165
AT ITER 120 NEW BEST:: SOT 34927 SOS 22161 HAS SOPS 22075 HAS SOUS 12393 HAS SOUPS 12307 WITH SCORE 12329.161
AT ITER 121 NEW BEST:: SOT 34911 SOS 22113 HAS SOPS 22027 HAS SOUS 12393 HAS SOUPS 12307 WITH SCORE 12329.113
AT ITER 128 NEW BEST:: SOT 34911 SOS 22074 HAS SOPS 21988 HAS SOUS 12393 HAS SOUPS 12307 WITH SCORE 12329.074
AT ITER 129 NEW BEST:: SOT 34631 SOS 21794 HAS SOPS 21708 HAS SOUS 12113 HAS SOUPS 12027 WITH SCORE 12048.794
AT ITER 130 NEW BEST:: SOT 34630 SOS 21793 HAS SOPS 21707 HAS SOUS 12112 HAS SOUPS 12026 WITH SCORE 12047.793
AT ITER 135 NEW BEST:: SOT 34624 SOS 21769 HAS SOPS 21683 HAS SOUS 12103 HAS SOUPS 12017 WITH SCORE 12038.769
AT ITER 137 NEW BEST:: SOT 34624 SOS 21417 HAS SOPS 21331 HAS SOUS 12093 HAS SOUPS 12007 WITH SCORE 12028.417
AT ITER 142 NEW BEST:: SOT 34478 SOS 21275 HAS SOPS 21189 HAS SOUS 12004 HAS SOUPS 11918 WITH SCORE 11939.275
AT ITER 145 NEW BEST:: SOT 34478 SOS 21214 HAS SOPS 21128 HAS SOUS 11984 HAS SOUPS 11898 WITH SCORE 11919.214
AT ITER 148 NEW BEST:: SOT 34243 SOS 20527 HAS SOPS 20441 HAS SOUS 11767 HAS SOUPS 11681 WITH SCORE 11701.527
AT ITER 149 NEW BEST:: SOT 34242 SOS 20524 HAS SOPS 20438 HAS SOUS 11758 HAS SOUPS 11672 WITH SCORE 11692.524
AT ITER 152 NEW BEST:: SOT 33984 SOS 20041 HAS SOPS 19955 HAS SOUS 11458 HAS SOUPS 11372 WITH SCORE 11392.041
AT ITER 170 NEW BEST:: SOT 33963 SOS 19992 HAS SOPS 19906 HAS SOUS 11397 HAS SOUPS 11311 WITH SCORE 11330.992
AT ITER 173 NEW BEST:: SOT 33963 SOS 19990 HAS SOPS 19904 HAS SOUS 11397 HAS SOUPS 11311 WITH SCORE 11330.99
AT ITER 174 NEW BEST:: SOT 33678 SOS 19860 HAS SOPS 19774 HAS SOUS 11313 HAS SOUPS 11227 WITH SCORE 11246.86
AT ITER 176 NEW BEST:: SOT 33470 SOS 19969 HAS SOPS 19883 HAS SOUS 11165 HAS SOUPS 11079 WITH SCORE 11098.969
AT ITER 178 NEW BEST:: SOT 33470 SOS 19933 HAS SOPS 19847 HAS SOUS 11164 HAS SOUPS 11078 WITH SCORE 11097.933
AT ITER 179 NEW BEST:: SOT 33472 SOS 19935 HAS SOPS 19849 HAS SOUS 11148 HAS SOUPS 11062 WITH SCORE 11081.935
AT ITER 180 NEW BEST:: SOT 33418 SOS 20180 HAS SOPS 20094 HAS SOUS 11143 HAS SOUPS 11057 WITH SCORE 11077.18
AT ITER 184 NEW BEST:: SOT 33344 SOS 20106 HAS SOPS 20020 HAS SOUS 11128 HAS SOUPS 11042 WITH SCORE 11062.106
AT ITER 192 NEW BEST:: SOT 33279 SOS 19773 HAS SOPS 19687 HAS SOUS 10959 HAS SOUPS 10873 WITH SCORE 10892.773
AT ITER 196 NEW BEST:: SOT 33275 SOS 19769 HAS SOPS 19683 HAS SOUS 10947 HAS SOUPS 10861 WITH SCORE 10880.769
AT ITER 202 NEW BEST:: SOT 33272 SOS 19766 HAS SOPS 19680 HAS SOUS 10911 HAS SOUPS 10825 WITH SCORE 10844.766
AT ITER 204 NEW BEST:: SOT 33275 SOS 19769 HAS SOPS 19683 HAS SOUS 10889 HAS SOUPS 10803 WITH SCORE 10822.769
AT ITER 208 NEW BEST:: SOT 32934 SOS 19458 HAS SOPS 19372 HAS SOUS 10606 HAS SOUPS 10520 WITH SCORE 10539.458
AT ITER 216 NEW BEST:: SOT 32934 SOS 19438 HAS SOPS 19352 HAS SOUS 10606 HAS SOUPS 10520 WITH SCORE 10539.438
AT ITER 219 NEW BEST:: SOT 32911 SOS 19415 HAS SOPS 19329 HAS SOUS 10580 HAS SOUPS 10494 WITH SCORE 10513.415
AT ITER 223 NEW BEST:: SOT 32897 SOS 19399 HAS SOPS 19313 HAS SOUS 10570 HAS SOUPS 10484 WITH SCORE 10503.399
AT ITER 224 NEW BEST:: SOT 32793 SOS 18923 HAS SOPS 18837 HAS SOUS 10545 HAS SOUPS 10459 WITH SCORE 10477.923
AT ITER 227 NEW BEST:: SOT 32793 SOS 18828 HAS SOPS 18742 HAS SOUS 10509 HAS SOUPS 10423 WITH SCORE 10441.828
AT ITER 228 NEW BEST:: SOT 32756 SOS 18791 HAS SOPS 18705 HAS SOUS 10445 HAS SOUPS 10359 WITH SCORE 10377.791
AT ITER 231 NEW BEST:: SOT 32696 SOS 18546 HAS SOPS 18460 HAS SOUS 10361 HAS SOUPS 10275 WITH SCORE 10293.546
AT ITER 238 NEW BEST:: SOT 32678 SOS 18528 HAS SOPS 18442 HAS SOUS 10340 HAS SOUPS 10254 WITH SCORE 10272.528
AT ITER 242 NEW BEST:: SOT 32381 SOS 18301 HAS SOPS 18215 HAS SOUS 10309 HAS SOUPS 10223 WITH SCORE 10241.301
AT ITER 245 NEW BEST:: SOT 32321 SOS 18243 HAS SOPS 18157 HAS SOUS 10295 HAS SOUPS 10209 WITH SCORE 10227.243
AT ITER 251 NEW BEST:: SOT 32332 SOS 18384 HAS SOPS 18298 HAS SOUS 10280 HAS SOUPS 10194 WITH SCORE 10212.384
AT ITER 252 NEW BEST:: SOT 32424 SOS 18476 HAS SOPS 18390 HAS SOUS 10259 HAS SOUPS 10173 WITH SCORE 10191.476
AT ITER 253 NEW BEST:: SOT 32392 SOS 18476 HAS SOPS 18390 HAS SOUS 10251 HAS SOUPS 10165 WITH SCORE 10183.476
AT ITER 260 NEW BEST:: SOT 32392 SOS 18531 HAS SOPS 18445 HAS SOUS 10249 HAS SOUPS 10163 WITH SCORE 10181.531
AT ITER 263 NEW BEST:: SOT 32298 SOS 19247 HAS SOPS 19161 HAS SOUS 10209 HAS SOUPS 10123 WITH SCORE 10142.247
AT ITER 267 NEW BEST:: SOT 32260 SOS 19209 HAS SOPS 19123 HAS SOUS 10172 HAS SOUPS 10086 WITH SCORE 10105.209
AT ITER 271 NEW BEST:: SOT 32259 SOS 19204 HAS SOPS 19118 HAS SOUS 10169 HAS SOUPS 10083 WITH SCORE 10102.204
AT ITER 272 NEW BEST:: SOT 32258 SOS 19282 HAS SOPS 19196 HAS SOUS 10150 HAS SOUPS 10064 WITH SCORE 10083.282
AT ITER 273 NEW BEST:: SOT 32236 SOS 19260 HAS SOPS 19174 HAS SOUS 10106 HAS SOUPS 10020 WITH SCORE 10039.26
AT ITER 278 NEW BEST:: SOT 32197 SOS 19221 HAS SOPS 19135 HAS SOUS 10064 HAS SOUPS 9978 WITH SCORE 9997.221
AT ITER 287 NEW BEST:: SOT 32207 SOS 19213 HAS SOPS 19127 HAS SOUS 10041 HAS SOUPS 9955 WITH SCORE 9974.213
AT ITER 297 NEW BEST:: SOT 32165 SOS 19099 HAS SOPS 19013 HAS SOUS 9981 HAS SOUPS 9895 WITH SCORE 9914.099
AT ITER 300 NEW BEST:: SOT 31934 SOS 19189 HAS SOPS 19103 HAS SOUS 9934 HAS SOUPS 9848 WITH SCORE 9867.189
AT ITER 308 NEW BEST:: SOT 32050 SOS 19417 HAS SOPS 19331 HAS SOUS 9928 HAS SOUPS 9842 WITH SCORE 9861.417
AT ITER 309 NEW BEST:: SOT 31852 SOS 18979 HAS SOPS 18893 HAS SOUS 9873 HAS SOUPS 9787 WITH SCORE 9805.979
AT ITER 311 NEW BEST:: SOT 31963 SOS 19090 HAS SOPS 19004 HAS SOUS 9868 HAS SOUPS 9782 WITH SCORE 9801.09
AT ITER 312 NEW BEST:: SOT 31988 SOS 18779 HAS SOPS 18673 HAS SOUS 9787 HAS SOUPS 9681 WITH SCORE 9699.779
AT ITER 315 NEW BEST:: SOT 31972 SOS 18782 HAS SOPS 18657 HAS SOUS 9771 HAS SOUPS 9646 WITH SCORE 9664.782
AT ITER 316 NEW BEST:: SOT 31996 SOS 18734 HAS SOPS 18609 HAS SOUS 9747 HAS SOUPS 9622 WITH SCORE 9640.734
AT ITER 321 NEW BEST:: SOT 31976 SOS 18714 HAS SOPS 18589 HAS SOUS 9710 HAS SOUPS 9585 WITH SCORE 9603.714
AT ITER 326 NEW BEST:: SOT 31899 SOS 18637 HAS SOPS 18512 HAS SOUS 9594 HAS SOUPS 9469 WITH SCORE 9487.637
AT ITER 332 NEW BEST:: SOT 31899 SOS 18235 HAS SOPS 18110 HAS SOUS 9594 HAS SOUPS 9469 WITH SCORE 9487.235
AT ITER 336 NEW BEST:: SOT 31904 SOS 18220 HAS SOPS 18115 HAS SOUS 9563 HAS SOUPS 9458 WITH SCORE 9476.22
AT ITER 340 NEW BEST:: SOT 32024 SOS 18109 HAS SOPS 18004 HAS SOUS 9535 HAS SOUPS 9430 WITH SCORE 9448.109
AT ITER 341 NEW BEST:: SOT 31994 SOS 18079 HAS SOPS 17974 HAS SOUS 9499 HAS SOUPS 9394 WITH SCORE 9412.079
AT ITER 349 NEW BEST:: SOT 31993 SOS 18069 HAS SOPS 17963 HAS SOUS 9499 HAS SOUPS 9393 WITH SCORE 9411.069
AT ITER 350 NEW BEST:: SOT 32004 SOS 17816 HAS SOPS 17710 HAS SOUS 9439 HAS SOUPS 9333 WITH SCORE 9350.816
AT ITER 370 NEW BEST:: SOT 32013 SOS 17807 HAS SOPS 17701 HAS SOUS 9439 HAS SOUPS 9333 WITH SCORE 9350.807
AT ITER 372 NEW BEST:: SOT 31905 SOS 17937 HAS SOPS 17831 HAS SOUS 9434 HAS SOUPS 9328 WITH SCORE 9345.937
AT ITER 374 NEW BEST:: SOT 31885 SOS 17917 HAS SOPS 17811 HAS SOUS 9394 HAS SOUPS 9288 WITH SCORE 9305.917
AT ITER 375 NEW BEST:: SOT 31891 SOS 17911 HAS SOPS 17805 HAS SOUS 9384 HAS SOUPS 9278 WITH SCORE 9295.911
AT ITER 379 NEW BEST:: SOT 31891 SOS 17888 HAS SOPS 17782 HAS SOUS 9384 HAS SOUPS 9278 WITH SCORE 9295.888
AT ITER 380 NEW BEST:: SOT 31907 SOS 17858 HAS SOPS 17752 HAS SOUS 9361 HAS SOUPS 9255 WITH SCORE 9272.858
AT ITER 397 NEW BEST:: SOT 31949 SOS 17729 HAS SOPS 17623 HAS SOUS 9329 HAS SOUPS 9223 WITH SCORE 9240.729
AT ITER 398 NEW BEST:: SOT 31921 SOS 17353 HAS SOPS 17247 HAS SOUS 9318 HAS SOUPS 9212 WITH SCORE 9229.353
AT ITER 406 NEW BEST:: SOT 31868 SOS 16999 HAS SOPS 16893 HAS SOUS 9191 HAS SOUPS 9085 WITH SCORE 9101.999
AT ITER 412 NEW BEST:: SOT 31845 SOS 16976 HAS SOPS 16870 HAS SOUS 9179 HAS SOUPS 9073 WITH SCORE 9089.976
AT ITER 418 NEW BEST:: SOT 31879 SOS 17110 HAS SOPS 17004 HAS SOUS 9174 HAS SOUPS 9068 WITH SCORE 9085.11
AT ITER 419 NEW BEST:: SOT 31936 SOS 17099 HAS SOPS 16993 HAS SOUS 9147 HAS SOUPS 9041 WITH SCORE 9058.099
AT ITER 420 NEW BEST:: SOT 31934 SOS 17105 HAS SOPS 16999 HAS SOUS 9143 HAS SOUPS 9037 WITH SCORE 9054.105
AT ITER 433 NEW BEST:: SOT 31905 SOS 17043 HAS SOPS 16937 HAS SOUS 9123 HAS SOUPS 9017 WITH SCORE 9034.043
AT ITER 435 NEW BEST:: SOT 31870 SOS 16973 HAS SOPS 16867 HAS SOUS 9086 HAS SOUPS 8980 WITH SCORE 8996.973
AT ITER 442 NEW BEST:: SOT 31737 SOS 16802 HAS SOPS 16696 HAS SOUS 9010 HAS SOUPS 8904 WITH SCORE 8920.802
AT ITER 444 NEW BEST:: SOT 31717 SOS 16797 HAS SOPS 16696 HAS SOUS 9005 HAS SOUPS 8904 WITH SCORE 8920.797
AT ITER 445 NEW BEST:: SOT 31706 SOS 16743 HAS SOPS 16642 HAS SOUS 8959 HAS SOUPS 8858 WITH SCORE 8874.743
AT ITER 459 NEW BEST:: SOT 31744 SOS 16597 HAS SOPS 16496 HAS SOUS 8775 HAS SOUPS 8674 WITH SCORE 8690.597
AT ITER 469 NEW BEST:: SOT 31692 SOS 16285 HAS SOPS 16158 HAS SOUS 8746 HAS SOUPS 8619 WITH SCORE 8635.285
AT ITER 475 NEW BEST:: SOT 31610 SOS 16203 HAS SOPS 16076 HAS SOUS 8674 HAS SOUPS 8547 WITH SCORE 8563.203
AT ITER 492 NEW BEST:: SOT 31615 SOS 16183 HAS SOPS 16056 HAS SOUS 8649 HAS SOUPS 8522 WITH SCORE 8538.183
AT ITER 495 NEW BEST:: SOT 31516 SOS 16084 HAS SOPS 15957 HAS SOUS 8600 HAS SOUPS 8473 WITH SCORE 8489.084
AT ITER 501 NEW BEST:: SOT 31488 SOS 16056 HAS SOPS 15929 HAS SOUS 8584 HAS SOUPS 8457 WITH SCORE 8473.056
AT ITER 504 NEW BEST:: SOT 31487 SOS 15978 HAS SOPS 15851 HAS SOUS 8583 HAS SOUPS 8456 WITH SCORE 8471.978
AT ITER 513 NEW BEST:: SOT 31464 SOS 15951 HAS SOPS 15824 HAS SOUS 8537 HAS SOUPS 8410 WITH SCORE 8425.951
AT ITER 515 NEW BEST:: SOT 31464 SOS 15872 HAS SOPS 15745 HAS SOUS 8537 HAS SOUPS 8410 WITH SCORE 8425.872
AT ITER 516 NEW BEST:: SOT 31480 SOS 15858 HAS SOPS 15731 HAS SOUS 8485 HAS SOUPS 8358 WITH SCORE 8373.858
AT ITER 522 NEW BEST:: SOT 31478 SOS 15856 HAS SOPS 15729 HAS SOUS 8481 HAS SOUPS 8354 WITH SCORE 8369.856
AT ITER 528 NEW BEST:: SOT 31472 SOS 15652 HAS SOPS 15525 HAS SOUS 8456 HAS SOUPS 8329 WITH SCORE 8344.652
AT ITER 532 NEW BEST:: SOT 31443 SOS 15608 HAS SOPS 15481 HAS SOUS 8424 HAS SOUPS 8297 WITH SCORE 8312.608
AT ITER 538 NEW BEST:: SOT 31708 SOS 15777 HAS SOPS 15650 HAS SOUS 8399 HAS SOUPS 8272 WITH SCORE 8287.777
AT ITER 547 NEW BEST:: SOT 31588 SOS 15447 HAS SOPS 15320 HAS SOUS 8339 HAS SOUPS 8212 WITH SCORE 8227.447
AT ITER 558 NEW BEST:: SOT 31586 SOS 15445 HAS SOPS 15318 HAS SOUS 8335 HAS SOUPS 8208 WITH SCORE 8223.445
AT ITER 561 NEW BEST:: SOT 31502 SOS 15361 HAS SOPS 15234 HAS SOUS 8335 HAS SOUPS 8208 WITH SCORE 8223.361
AT ITER 568 NEW BEST:: SOT 31499 SOS 15358 HAS SOPS 15231 HAS SOUS 8332 HAS SOUPS 8205 WITH SCORE 8220.358
AT ITER 571 NEW BEST:: SOT 31413 SOS 15272 HAS SOPS 15145 HAS SOUS 8267 HAS SOUPS 8140 WITH SCORE 8155.272
AT ITER 574 NEW BEST:: SOT 31404 SOS 15181 HAS SOPS 15054 HAS SOUS 8256 HAS SOUPS 8129 WITH SCORE 8144.181
AT ITER 582 NEW BEST:: SOT 31404 SOS 15126 HAS SOPS 14999 HAS SOUS 8251 HAS SOUPS 8124 WITH SCORE 8139.126
AT ITER 588 NEW BEST:: SOT 31445 SOS 14801 HAS SOPS 14674 HAS SOUS 8223 HAS SOUPS 8096 WITH SCORE 8110.801
AT ITER 594 NEW BEST:: SOT 31439 SOS 14795 HAS SOPS 14668 HAS SOUS 8201 HAS SOUPS 8074 WITH SCORE 8088.795
AT ITER 599 NEW BEST:: SOT 31466 SOS 14798 HAS SOPS 14665 HAS SOUS 8186 HAS SOUPS 8053 WITH SCORE 8067.798
AT ITER 603 NEW BEST:: SOT 31426 SOS 14730 HAS SOPS 14597 HAS SOUS 8181 HAS SOUPS 8048 WITH SCORE 8062.73
AT ITER 615 NEW BEST:: SOT 31226 SOS 14560 HAS SOPS 14427 HAS SOUS 8106 HAS SOUPS 7973 WITH SCORE 7987.56
AT ITER 623 NEW BEST:: SOT 31228 SOS 14562 HAS SOPS 14429 HAS SOUS 8101 HAS SOUPS 7968 WITH SCORE 7982.562
AT ITER 627 NEW BEST:: SOT 31227 SOS 14506 HAS SOPS 14373 HAS SOUS 8045 HAS SOUPS 7912 WITH SCORE 7926.506
AT ITER 628 NEW BEST:: SOT 31213 SOS 14492 HAS SOPS 14359 HAS SOUS 8016 HAS SOUPS 7883 WITH SCORE 7897.492
AT ITER 645 NEW BEST:: SOT 31221 SOS 14488 HAS SOPS 14355 HAS SOUS 8016 HAS SOUPS 7883 WITH SCORE 7897.488
AT ITER 654 NEW BEST:: SOT 31210 SOS 14429 HAS SOPS 14296 HAS SOUS 7991 HAS SOUPS 7858 WITH SCORE 7872.429
AT ITER 655 NEW BEST:: SOT 31222 SOS 14433 HAS SOPS 14300 HAS SOUS 7987 HAS SOUPS 7854 WITH SCORE 7868.433
AT ITER 656 NEW BEST:: SOT 31201 SOS 14412 HAS SOPS 14279 HAS SOUS 7978 HAS SOUPS 7845 WITH SCORE 7859.412
AT ITER 660 NEW BEST:: SOT 31180 SOS 14382 HAS SOPS 14249 HAS SOUS 7945 HAS SOUPS 7812 WITH SCORE 7826.382
AT ITER 661 NEW BEST:: SOT 31180 SOS 14379 HAS SOPS 14246 HAS SOUS 7939 HAS SOUPS 7806 WITH SCORE 7820.379
AT ITER 662 NEW BEST:: SOT 31146 SOS 14288 HAS SOPS 14155 HAS SOUS 7913 HAS SOUPS 7780 WITH SCORE 7794.288
AT ITER 673 NEW BEST:: SOT 31150 SOS 14181 HAS SOPS 14048 HAS SOUS 7888 HAS SOUPS 7755 WITH SCORE 7769.181
AT ITER 683 NEW BEST:: SOT 31013 SOS 14035 HAS SOPS 13902 HAS SOUS 7775 HAS SOUPS 7642 WITH SCORE 7656.035
AT ITER 684 NEW BEST:: SOT 30988 SOS 13779 HAS SOPS 13646 HAS SOUS 7750 HAS SOUPS 7617 WITH SCORE 7630.779
AT ITER 686 NEW BEST:: SOT 30988 SOS 13784 HAS SOPS 13651 HAS SOUS 7746 HAS SOUPS 7613 WITH SCORE 7626.784
AT ITER 702 NEW BEST:: SOT 30991 SOS 13641 HAS SOPS 13508 HAS SOUS 7724 HAS SOUPS 7591 WITH SCORE 7604.641
AT ITER 704 NEW BEST:: SOT 31117 SOS 13767 HAS SOPS 13634 HAS SOUS 7706 HAS SOUPS 7573 WITH SCORE 7586.767
AT ITER 712 NEW BEST:: SOT 31089 SOS 13762 HAS SOPS 13629 HAS SOUS 7686 HAS SOUPS 7553 WITH SCORE 7566.762
AT ITER 715 NEW BEST:: SOT 31090 SOS 13756 HAS SOPS 13623 HAS SOUS 7684 HAS SOUPS 7551 WITH SCORE 7564.756
AT ITER 729 NEW BEST:: SOT 31065 SOS 13791 HAS SOPS 13658 HAS SOUS 7674 HAS SOUPS 7541 WITH SCORE 7554.791
AT ITER 758 NEW BEST:: SOT 31079 SOS 13791 HAS SOPS 13658 HAS SOUS 7667 HAS SOUPS 7534 WITH SCORE 7547.791
AT ITER 759 NEW BEST:: SOT 31079 SOS 13809 HAS SOPS 13676 HAS SOUS 7666 HAS SOUPS 7533 WITH SCORE 7546.809
AT ITER 766 NEW BEST:: SOT 31048 SOS 13778 HAS SOPS 13645 HAS SOUS 7604 HAS SOUPS 7471 WITH SCORE 7484.778
AT ITER 782 NEW BEST:: SOT 31021 SOS 13663 HAS SOPS 13530 HAS SOUS 7535 HAS SOUPS 7402 WITH SCORE 7415.663
AT ITER 786 NEW BEST:: SOT 31015 SOS 13657 HAS SOPS 13524 HAS SOUS 7523 HAS SOUPS 7390 WITH SCORE 7403.657
AT ITER 787 NEW BEST:: SOT 31011 SOS 13657 HAS SOPS 13524 HAS SOUS 7521 HAS SOUPS 7388 WITH SCORE 7401.657
AT ITER 801 NEW BEST:: SOT 30995 SOS 13638 HAS SOPS 13505 HAS SOUS 7511 HAS SOUPS 7378 WITH SCORE 7391.638
AT ITER 806 NEW BEST:: SOT 30974 SOS 13617 HAS SOPS 13484 HAS SOUS 7490 HAS SOUPS 7357 WITH SCORE 7370.617
AT ITER 809 NEW BEST:: SOT 31372 SOS 13310 HAS SOPS 13177 HAS SOUS 7470 HAS SOUPS 7337 WITH SCORE 7350.31
AT ITER 827 NEW BEST:: SOT 31324 SOS 13223 HAS SOPS 13090 HAS SOUS 7457 HAS SOUPS 7324 WITH SCORE 7337.223
AT ITER 830 NEW BEST:: SOT 31319 SOS 13109 HAS SOPS 12976 HAS SOUS 7396 HAS SOUPS 7263 WITH SCORE 7276.109
AT ITER 832 NEW BEST:: SOT 31290 SOS 13080 HAS SOPS 12947 HAS SOUS 7395 HAS SOUPS 7262 WITH SCORE 7275.08
AT ITER 855 NEW BEST:: SOT 31271 SOS 13062 HAS SOPS 12928 HAS SOUS 7372 HAS SOUPS 7238 WITH SCORE 7251.062
AT ITER 859 NEW BEST:: SOT 31247 SOS 13071 HAS SOPS 12937 HAS SOUS 7355 HAS SOUPS 7221 WITH SCORE 7234.071
AT ITER 860 NEW BEST:: SOT 31197 SOS 13021 HAS SOPS 12887 HAS SOUS 7335 HAS SOUPS 7201 WITH SCORE 7214.021
AT ITER 869 NEW BEST:: SOT 31193 SOS 13017 HAS SOPS 12883 HAS SOUS 7335 HAS SOUPS 7201 WITH SCORE 7214.017
AT ITER 885 NEW BEST:: SOT 31188 SOS 13011 HAS SOPS 12878 HAS SOUS 7285 HAS SOUPS 7152 WITH SCORE 7165.011
AT ITER 887 NEW BEST:: SOT 30815 SOS 12743 HAS SOPS 12610 HAS SOUS 7284 HAS SOUPS 7151 WITH SCORE 7163.743
AT ITER 892 NEW BEST:: SOT 30473 SOS 12401 HAS SOPS 12268 HAS SOUS 7247 HAS SOUPS 7114 WITH SCORE 7126.401
AT ITER 893 NEW BEST:: SOT 30496 SOS 12364 HAS SOPS 12231 HAS SOUS 7203 HAS SOUPS 7070 WITH SCORE 7082.364
AT ITER 894 NEW BEST:: SOT 30520 SOS 12061 HAS SOPS 11900 HAS SOUS 7194 HAS SOUPS 7033 WITH SCORE 7045.061
AT ITER 898 NEW BEST:: SOT 30519 SOS 12060 HAS SOPS 11899 HAS SOUS 7193 HAS SOUPS 7032 WITH SCORE 7044.06
AT ITER 908 NEW BEST:: SOT 30510 SOS 11949 HAS SOPS 11788 HAS SOUS 7174 HAS SOUPS 7013 WITH SCORE 7024.949
AT ITER 915 NEW BEST:: SOT 30527 SOS 11901 HAS SOPS 11740 HAS SOUS 7174 HAS SOUPS 7013 WITH SCORE 7024.901
AT ITER 928 NEW BEST:: SOT 30495 SOS 11869 HAS SOPS 11708 HAS SOUS 7117 HAS SOUPS 6956 WITH SCORE 6967.869
AT ITER 929 NEW BEST:: SOT 30497 SOS 11866 HAS SOPS 11704 HAS SOUS 7118 HAS SOUPS 6956 WITH SCORE 6967.866
AT ITER 931 NEW BEST:: SOT 30547 SOS 11822 HAS SOPS 11660 HAS SOUS 7087 HAS SOUPS 6925 WITH SCORE 6936.822
AT ITER 935 NEW BEST:: SOT 30549 SOS 11519 HAS SOPS 11357 HAS SOUS 7087 HAS SOUPS 6925 WITH SCORE 6936.519
AT ITER 939 NEW BEST:: SOT 30572 SOS 11466 HAS SOPS 11304 HAS SOUS 7068 HAS SOUPS 6906 WITH SCORE 6917.466
AT ITER 945 NEW BEST:: SOT 30579 SOS 11463 HAS SOPS 11301 HAS SOUS 7068 HAS SOUPS 6906 WITH SCORE 6917.463
AT ITER 946 NEW BEST:: SOT 30578 SOS 11463 HAS SOPS 11301 HAS SOUS 7067 HAS SOUPS 6905 WITH SCORE 6916.463
AT ITER 967 NEW BEST:: SOT 30570 SOS 11460 HAS SOPS 11294 HAS SOUS 7069 HAS SOUPS 6903 WITH SCORE 6914.46
AT ITER 975 NEW BEST:: SOT 30570 SOS 11432 HAS SOPS 11266 HAS SOUS 7069 HAS SOUPS 6903 WITH SCORE 6914.432
AT ITER 984 NEW BEST:: SOT 30541 SOS 11358 HAS SOPS 11192 HAS SOUS 7015 HAS SOUPS 6849 WITH SCORE 6860.358
AT ITER 994 NEW BEST:: SOT 30530 SOS 11322 HAS SOPS 11156 HAS SOUS 6991 HAS SOUPS 6825 WITH SCORE 6836.322
AT ITER 995 NEW BEST:: SOT 30519 SOS 11300 HAS SOPS 11134 HAS SOUS 6962 HAS SOUPS 6796 WITH SCORE 6807.3
AT ITER 996 NEW BEST:: SOT 30519 SOS 11298 HAS SOPS 11132 HAS SOUS 6962 HAS SOUPS 6796 WITH SCORE 6807.298
AT ITER 1025 NEW BEST:: SOT 30497 SOS 11271 HAS SOPS 11105 HAS SOUS 6924 HAS SOUPS 6758 WITH SCORE 6769.271
AT ITER 1026 NEW BEST:: SOT 30565 SOS 11254 HAS SOPS 11088 HAS SOUS 6911 HAS SOUPS 6745 WITH SCORE 6756.254
AT ITER 1028 NEW BEST:: SOT 30564 SOS 11223 HAS SOPS 11057 HAS SOUS 6889 HAS SOUPS 6723 WITH SCORE 6734.223
AT ITER 1040 NEW BEST:: SOT 30538 SOS 11197 HAS SOPS 11036 HAS SOUS 6868 HAS SOUPS 6707 WITH SCORE 6718.197
AT ITER 1042 NEW BEST:: SOT 30519 SOS 11194 HAS SOPS 11033 HAS SOUS 6863 HAS SOUPS 6702 WITH SCORE 6713.194
AT ITER 1065 NEW BEST:: SOT 30566 SOS 11160 HAS SOPS 10999 HAS SOUS 6853 HAS SOUPS 6692 WITH SCORE 6703.16
AT ITER 1073 NEW BEST:: SOT 30565 SOS 11159 HAS SOPS 10998 HAS SOUS 6836 HAS SOUPS 6675 WITH SCORE 6686.159
AT ITER 1075 NEW BEST:: SOT 30557 SOS 11151 HAS SOPS 10990 HAS SOUS 6774 HAS SOUPS 6613 WITH SCORE 6624.151
AT ITER 1086 NEW BEST:: SOT 30557 SOS 11115 HAS SOPS 10954 HAS SOUS 6766 HAS SOUPS 6605 WITH SCORE 6616.115
AT ITER 1111 NEW BEST:: SOT 30493 SOS 11221 HAS SOPS 11060 HAS SOUS 6747 HAS SOUPS 6586 WITH SCORE 6597.221
AT ITER 1122 NEW BEST:: SOT 30481 SOS 11203 HAS SOPS 11042 HAS SOUS 6735 HAS SOUPS 6574 WITH SCORE 6585.203
AT ITER 1130 NEW BEST:: SOT 30471 SOS 11195 HAS SOPS 11034 HAS SOUS 6716 HAS SOUPS 6555 WITH SCORE 6566.195
AT ITER 1137 NEW BEST:: SOT 30464 SOS 11189 HAS SOPS 11022 HAS SOUS 6692 HAS SOUPS 6525 WITH SCORE 6536.189
AT ITER 1150 NEW BEST:: SOT 30453 SOS 11042 HAS SOPS 10875 HAS SOUS 6681 HAS SOUPS 6514 WITH SCORE 6525.042
AT ITER 1159 NEW BEST:: SOT 30428 SOS 10992 HAS SOPS 10825 HAS SOUS 6619 HAS SOUPS 6452 WITH SCORE 6462.992
AT ITER 1161 NEW BEST:: SOT 30411 SOS 10975 HAS SOPS 10808 HAS SOUS 6585 HAS SOUPS 6418 WITH SCORE 6428.975
AT ITER 1178 NEW BEST:: SOT 30403 SOS 10895 HAS SOPS 10720 HAS SOUS 6569 HAS SOUPS 6394 WITH SCORE 6404.895
AT ITER 1179 NEW BEST:: SOT 30379 SOS 10872 HAS SOPS 10696 HAS SOUS 6563 HAS SOUPS 6387 WITH SCORE 6397.872
AT ITER 1203 NEW BEST:: SOT 30369 SOS 10853 HAS SOPS 10677 HAS SOUS 6560 HAS SOUPS 6384 WITH SCORE 6394.853
AT ITER 1217 NEW BEST:: SOT 30340 SOS 10824 HAS SOPS 10648 HAS SOUS 6560 HAS SOUPS 6384 WITH SCORE 6394.824
AT ITER 1225 NEW BEST:: SOT 30213 SOS 10799 HAS SOPS 10623 HAS SOUS 6539 HAS SOUPS 6363 WITH SCORE 6373.799
AT ITER 1230 NEW BEST:: SOT 30172 SOS 10822 HAS SOPS 10660 HAS SOUS 6507 HAS SOUPS 6345 WITH SCORE 6355.822
AT ITER 1243 NEW BEST:: SOT 30180 SOS 10830 HAS SOPS 10668 HAS SOUS 6493 HAS SOUPS 6331 WITH SCORE 6341.83
AT ITER 1246 NEW BEST:: SOT 30176 SOS 10821 HAS SOPS 10659 HAS SOUS 6491 HAS SOUPS 6329 WITH SCORE 6339.821
AT ITER 1259 NEW BEST:: SOT 30170 SOS 10814 HAS SOPS 10652 HAS SOUS 6488 HAS SOUPS 6326 WITH SCORE 6336.814
AT ITER 1261 NEW BEST:: SOT 30194 SOS 10788 HAS SOPS 10626 HAS SOUS 6482 HAS SOUPS 6320 WITH SCORE 6330.788
AT ITER 1265 NEW BEST:: SOT 30181 SOS 10761 HAS SOPS 10599 HAS SOUS 6430 HAS SOUPS 6268 WITH SCORE 6278.761
AT ITER 1282 NEW BEST:: SOT 30148 SOS 10696 HAS SOPS 10534 HAS SOUS 6320 HAS SOUPS 6158 WITH SCORE 6168.696
AT ITER 1285 NEW BEST:: SOT 30146 SOS 10694 HAS SOPS 10532 HAS SOUS 6316 HAS SOUPS 6154 WITH SCORE 6164.694
AT ITER 1286 NEW BEST:: SOT 30145 SOS 10693 HAS SOPS 10531 HAS SOUS 6315 HAS SOUPS 6153 WITH SCORE 6163.693
AT ITER 1292 NEW BEST:: SOT 30256 SOS 10711 HAS SOPS 10540 HAS SOUS 6320 HAS SOUPS 6149 WITH SCORE 6159.711
AT ITER 1328 NEW BEST:: SOT 30256 SOS 10709 HAS SOPS 10538 HAS SOUS 6320 HAS SOUPS 6149 WITH SCORE 6159.709
AT ITER 1335 NEW BEST:: SOT 30229 SOS 10708 HAS SOPS 10540 HAS SOUS 6317 HAS SOUPS 6149 WITH SCORE 6159.708
AT ITER 1340 NEW BEST:: SOT 30228 SOS 10706 HAS SOPS 10538 HAS SOUS 6314 HAS SOUPS 6146 WITH SCORE 6156.706
AT ITER 1342 NEW BEST:: SOT 30228 SOS 10706 HAS SOPS 10538 HAS SOUS 6312 HAS SOUPS 6144 WITH SCORE 6154.706
AT ITER 1345 NEW BEST:: SOT 30244 SOS 10722 HAS SOPS 10554 HAS SOUS 6304 HAS SOUPS 6136 WITH SCORE 6146.722
AT ITER 1346 NEW BEST:: SOT 30243 SOS 10721 HAS SOPS 10553 HAS SOUS 6304 HAS SOUPS 6136 WITH SCORE 6146.721
AT ITER 1349 NEW BEST:: SOT 30249 SOS 10715 HAS SOPS 10547 HAS SOUS 6302 HAS SOUPS 6134 WITH SCORE 6144.715
AT ITER 1370 NEW BEST:: SOT 30242 SOS 10687 HAS SOPS 10519 HAS SOUS 6298 HAS SOUPS 6130 WITH SCORE 6140.687
AT ITER 1372 NEW BEST:: SOT 30205 SOS 10570 HAS SOPS 10402 HAS SOUS 6248 HAS SOUPS 6080 WITH SCORE 6090.57
AT ITER 1386 NEW BEST:: SOT 30189 SOS 10571 HAS SOPS 10386 HAS SOUS 6238 HAS SOUPS 6053 WITH SCORE 6063.571
AT ITER 1389 NEW BEST:: SOT 30176 SOS 10558 HAS SOPS 10373 HAS SOUS 6217 HAS SOUPS 6032 WITH SCORE 6042.558
AT ITER 1399 NEW BEST:: SOT 30174 SOS 10499 HAS SOPS 10314 HAS SOUS 6199 HAS SOUPS 6014 WITH SCORE 6024.499
AT ITER 1428 NEW BEST:: SOT 30274 SOS 10581 HAS SOPS 10396 HAS SOUS 6191 HAS SOUPS 6006 WITH SCORE 6016.581
AT ITER 1467 NEW BEST:: SOT 30250 SOS 10557 HAS SOPS 10372 HAS SOUS 6167 HAS SOUPS 5982 WITH SCORE 5992.557
AT ITER 1481 NEW BEST:: SOT 30248 SOS 10555 HAS SOPS 10370 HAS SOUS 6163 HAS SOUPS 5978 WITH SCORE 5988.555
AT ITER 1488 NEW BEST:: SOT 30242 SOS 10579 HAS SOPS 10394 HAS SOUS 6146 HAS SOUPS 5961 WITH SCORE 5971.579
AT ITER 1493 NEW BEST:: SOT 30291 SOS 10544 HAS SOPS 10338 HAS SOUS 6139 HAS SOUPS 5933 WITH SCORE 5943.544
AT ITER 1510 NEW BEST:: SOT 30231 SOS 10466 HAS SOPS 10260 HAS SOUS 6097 HAS SOUPS 5891 WITH SCORE 5901.466
AT ITER 1525 NEW BEST:: SOT 30239 SOS 10444 HAS SOPS 10238 HAS SOUS 6075 HAS SOUPS 5869 WITH SCORE 5879.444
AT ITER 1546 NEW BEST:: SOT 30223 SOS 10510 HAS SOPS 10304 HAS SOUS 6071 HAS SOUPS 5865 WITH SCORE 5875.51
AT ITER 1554 NEW BEST:: SOT 30220 SOS 10513 HAS SOPS 10307 HAS SOUS 6068 HAS SOUPS 5862 WITH SCORE 5872.513
AT ITER 1573 NEW BEST:: SOT 30235 SOS 10525 HAS SOPS 10319 HAS SOUS 6046 HAS SOUPS 5840 WITH SCORE 5850.525
AT ITER 1586 NEW BEST:: SOT 30226 SOS 10541 HAS SOPS 10335 HAS SOUS 6035 HAS SOUPS 5829 WITH SCORE 5839.541
AT ITER 1589 NEW BEST:: SOT 30199 SOS 10510 HAS SOPS 10304 HAS SOUS 6025 HAS SOUPS 5819 WITH SCORE 5829.51
AT ITER 1610 NEW BEST:: SOT 30208 SOS 10254 HAS SOPS 10048 HAS SOUS 6020 HAS SOUPS 5814 WITH SCORE 5824.254
AT ITER 1613 NEW BEST:: SOT 30180 SOS 10203 HAS SOPS 9997 HAS SOUS 5992 HAS SOUPS 5786 WITH SCORE 5796.203
AT ITER 1665 NEW BEST:: SOT 30180 SOS 10201 HAS SOPS 9995 HAS SOUS 5988 HAS SOUPS 5782 WITH SCORE 5792.201
AT ITER 1667 NEW BEST:: SOT 30177 SOS 10154 HAS SOPS 9948 HAS SOUS 5924 HAS SOUPS 5718 WITH SCORE 5728.154
AT ITER 1669 NEW BEST:: SOT 30150 SOS 10110 HAS SOPS 9904 HAS SOUS 5897 HAS SOUPS 5691 WITH SCORE 5701.11
AT ITER 1681 NEW BEST:: SOT 30010 SOS 9970 HAS SOPS 9764 HAS SOUS 5871 HAS SOUPS 5665 WITH SCORE 5674.97
AT ITER 1732 NEW BEST:: SOT 30016 SOS 9982 HAS SOPS 9776 HAS SOUS 5868 HAS SOUPS 5662 WITH SCORE 5671.982
AT ITER 1736 NEW BEST:: SOT 30013 SOS 9958 HAS SOPS 9752 HAS SOUS 5868 HAS SOUPS 5662 WITH SCORE 5671.958
AT ITER 1755 NEW BEST:: SOT 30024 SOS 9953 HAS SOPS 9693 HAS SOUS 5913 HAS SOUPS 5653 WITH SCORE 5662.953
AT ITER 1756 NEW BEST:: SOT 30042 SOS 9861 HAS SOPS 9601 HAS SOUS 5903 HAS SOUPS 5643 WITH SCORE 5652.861
AT ITER 1764 NEW BEST:: SOT 30025 SOS 9886 HAS SOPS 9626 HAS SOUS 5899 HAS SOUPS 5639 WITH SCORE 5648.886
AT ITER 1816 NEW BEST:: SOT 30020 SOS 9934 HAS SOPS 9674 HAS SOUS 5897 HAS SOUPS 5637 WITH SCORE 5646.934
AT ITER 1834 NEW BEST:: SOT 30040 SOS 9914 HAS SOPS 9654 HAS SOUS 5897 HAS SOUPS 5637 WITH SCORE 5646.914
AT ITER 1838 NEW BEST:: SOT 30031 SOS 9900 HAS SOPS 9640 HAS SOUS 5856 HAS SOUPS 5596 WITH SCORE 5605.9
AT ITER 1862 NEW BEST:: SOT 30035 SOS 9866 HAS SOPS 9606 HAS SOUS 5854 HAS SOUPS 5594 WITH SCORE 5603.866
AT ITER 1874 NEW BEST:: SOT 30035 SOS 9864 HAS SOPS 9604 HAS SOUS 5854 HAS SOUPS 5594 WITH SCORE 5603.864
AT ITER 1880 NEW BEST:: SOT 30036 SOS 9863 HAS SOPS 9603 HAS SOUS 5854 HAS SOUPS 5594 WITH SCORE 5603.863
AT ITER 1884 NEW BEST:: SOT 29999 SOS 9852 HAS SOPS 9592 HAS SOUS 5843 HAS SOUPS 5583 WITH SCORE 5592.852
AT ITER 1898 NEW BEST:: SOT 29950 SOS 9828 HAS SOPS 9543 HAS SOUS 5842 HAS SOUPS 5557 WITH SCORE 5566.828
AT ITER 1910 NEW BEST:: SOT 29951 SOS 9829 HAS SOPS 9544 HAS SOUS 5841 HAS SOUPS 5556 WITH SCORE 5565.829
AT ITER 1915 NEW BEST:: SOT 29950 SOS 9828 HAS SOPS 9543 HAS SOUS 5840 HAS SOUPS 5555 WITH SCORE 5564.828
AT ITER 1930 NEW BEST:: SOT 29941 SOS 9819 HAS SOPS 9534 HAS SOUS 5820 HAS SOUPS 5535 WITH SCORE 5544.819
AT ITER 1945 NEW BEST:: SOT 29929 SOS 9807 HAS SOPS 9522 HAS SOUS 5811 HAS SOUPS 5526 WITH SCORE 5535.807
AT ITER 1977 NEW BEST:: SOT 29923 SOS 9793 HAS SOPS 9508 HAS SOUS 5789 HAS SOUPS 5504 WITH SCORE 5513.793
AT ITER 1984 NEW BEST:: SOT 29923 SOS 9789 HAS SOPS 9504 HAS SOUS 5785 HAS SOUPS 5500 WITH SCORE 5509.789
AT ITER 2013 NEW BEST:: SOT 29915 SOS 9791 HAS SOPS 9506 HAS SOUS 5783 HAS SOUPS 5498 WITH SCORE 5507.791
AT ITER 2048 NEW BEST:: SOT 29826 SOS 9702 HAS SOPS 9417 HAS SOUS 5749 HAS SOUPS 5464 WITH SCORE 5473.702
AT ITER 2062 NEW BEST:: SOT 29818 SOS 9694 HAS SOPS 9409 HAS SOUS 5721 HAS SOUPS 5436 WITH SCORE 5445.694
AT ITER 2099 NEW BEST:: SOT 29791 SOS 9685 HAS SOPS 9373 HAS SOUS 5739 HAS SOUPS 5427 WITH SCORE 5436.685
AT ITER 2104 NEW BEST:: SOT 29804 SOS 9641 HAS SOPS 9329 HAS SOUS 5721 HAS SOUPS 5409 WITH SCORE 5418.641
AT ITER 2105 NEW BEST:: SOT 29772 SOS 9689 HAS SOPS 9377 HAS SOUS 5715 HAS SOUPS 5403 WITH SCORE 5412.689
AT ITER 2128 NEW BEST:: SOT 29772 SOS 9593 HAS SOPS 9281 HAS SOUS 5699 HAS SOUPS 5387 WITH SCORE 5396.593
AT ITER 2158 NEW BEST:: SOT 29788 SOS 9585 HAS SOPS 9273 HAS SOUS 5695 HAS SOUPS 5383 WITH SCORE 5392.585
AT ITER 2180 NEW BEST:: SOT 29788 SOS 9565 HAS SOPS 9253 HAS SOUS 5691 HAS SOUPS 5379 WITH SCORE 5388.565
AT ITER 2187 NEW BEST:: SOT 29795 SOS 9567 HAS SOPS 9255 HAS SOUS 5688 HAS SOUPS 5376 WITH SCORE 5385.567
AT ITER 2201 NEW BEST:: SOT 29773 SOS 9551 HAS SOPS 9209 HAS SOUS 5689 HAS SOUPS 5355 WITH SCORE 5364.551
AT ITER 2203 NEW BEST:: SOT 29763 SOS 9569 HAS SOPS 9207 HAS SOUS 5699 HAS SOUPS 5345 WITH SCORE 5354.569
AT ITER 2248 NEW BEST:: SOT 29757 SOS 9579 HAS SOPS 9217 HAS SOUS 5697 HAS SOUPS 5343 WITH SCORE 5352.579
AT ITER 2252 NEW BEST:: SOT 29758 SOS 9573 HAS SOPS 9211 HAS SOUS 5687 HAS SOUPS 5333 WITH SCORE 5342.573
AT ITER 2260 NEW BEST:: SOT 29754 SOS 9533 HAS SOPS 9171 HAS SOUS 5679 HAS SOUPS 5325 WITH SCORE 5334.533
AT ITER 2273 NEW BEST:: SOT 29786 SOS 9531 HAS SOPS 9161 HAS SOUS 5686 HAS SOUPS 5324 WITH SCORE 5333.531
AT ITER 2307 NEW BEST:: SOT 29786 SOS 9516 HAS SOPS 9146 HAS SOUS 5686 HAS SOUPS 5324 WITH SCORE 5333.516
AT ITER 2321 NEW BEST:: SOT 29806 SOS 9513 HAS SOPS 9128 HAS SOUS 5686 HAS SOUPS 5309 WITH SCORE 5318.513
AT ITER 2328 NEW BEST:: SOT 29771 SOS 9538 HAS SOPS 9153 HAS SOUS 5680 HAS SOUPS 5303 WITH SCORE 5312.538
AT ITER 2341 NEW BEST:: SOT 29771 SOS 9513 HAS SOPS 9125 HAS SOUS 5676 HAS SOUPS 5296 WITH SCORE 5305.513
AT ITER 2350 NEW BEST:: SOT 29766 SOS 9508 HAS SOPS 9120 HAS SOUS 5671 HAS SOUPS 5291 WITH SCORE 5300.508
AT ITER 2356 NEW BEST:: SOT 29754 SOS 9484 HAS SOPS 9094 HAS SOUS 5665 HAS SOUPS 5283 WITH SCORE 5292.484
AT ITER 2368 NEW BEST:: SOT 29757 SOS 9483 HAS SOPS 9093 HAS SOUS 5662 HAS SOUPS 5280 WITH SCORE 5289.483
AT ITER 2391 NEW BEST:: SOT 29753 SOS 9479 HAS SOPS 9089 HAS SOUS 5658 HAS SOUPS 5276 WITH SCORE 5285.479
AT ITER 2399 NEW BEST:: SOT 29753 SOS 9479 HAS SOPS 9089 HAS SOUS 5640 HAS SOUPS 5258 WITH SCORE 5267.479
AT ITER 2403 NEW BEST:: SOT 29753 SOS 9473 HAS SOPS 9083 HAS SOUS 5639 HAS SOUPS 5257 WITH SCORE 5266.473
AT ITER 2420 NEW BEST:: SOT 29753 SOS 9473 HAS SOPS 9083 HAS SOUS 5638 HAS SOUPS 5256 WITH SCORE 5265.473
AT ITER 2429 NEW BEST:: SOT 29729 SOS 9449 HAS SOPS 9059 HAS SOUS 5614 HAS SOUPS 5232 WITH SCORE 5241.449
AT ITER 2488 NEW BEST:: SOT 29725 SOS 9445 HAS SOPS 9055 HAS SOUS 5578 HAS SOUPS 5196 WITH SCORE 5205.445
AT ITER 2515 NEW BEST:: SOT 29718 SOS 9452 HAS SOPS 9069 HAS SOUS 5564 HAS SOUPS 5189 WITH SCORE 5198.452
AT ITER 2524 NEW BEST:: SOT 29703 SOS 9297 HAS SOPS 8914 HAS SOUS 5534 HAS SOUPS 5159 WITH SCORE 5168.297
AT ITER 2533 NEW BEST:: SOT 29713 SOS 9287 HAS SOPS 8899 HAS SOUS 5528 HAS SOUPS 5148 WITH SCORE 5157.287
AT ITER 2554 NEW BEST:: SOT 29715 SOS 9289 HAS SOPS 8901 HAS SOUS 5527 HAS SOUPS 5147 WITH SCORE 5156.289
AT ITER 2565 NEW BEST:: SOT 29715 SOS 9259 HAS SOPS 8871 HAS SOUS 5527 HAS SOUPS 5147 WITH SCORE 5156.259
AT ITER 2604 NEW BEST:: SOT 29715 SOS 9251 HAS SOPS 8875 HAS SOUS 5507 HAS SOUPS 5139 WITH SCORE 5148.251
AT ITER 2618 NEW BEST:: SOT 29712 SOS 9242 HAS SOPS 8866 HAS SOUS 5501 HAS SOUPS 5133 WITH SCORE 5142.242
AT ITER 2632 NEW BEST:: SOT 29701 SOS 9231 HAS SOPS 8855 HAS SOUS 5493 HAS SOUPS 5125 WITH SCORE 5134.231
AT ITER 2636 NEW BEST:: SOT 29675 SOS 9205 HAS SOPS 8829 HAS SOUS 5455 HAS SOUPS 5087 WITH SCORE 5096.205
AT ITER 2654 NEW BEST:: SOT 29653 SOS 9183 HAS SOPS 8807 HAS SOUS 5449 HAS SOUPS 5081 WITH SCORE 5090.183
AT ITER 2664 NEW BEST:: SOT 29667 SOS 8970 HAS SOPS 8541 HAS SOUS 5430 HAS SOUPS 5034 WITH SCORE 5042.97
AT ITER 2669 NEW BEST:: SOT 29757 SOS 9235 HAS SOPS 8566 HAS SOUS 5527 HAS SOUPS 5033 WITH SCORE 5042.235
AT ITER 2690 NEW BEST:: SOT 29739 SOS 9151 HAS SOPS 8471 HAS SOUS 5509 HAS SOUPS 5015 WITH SCORE 5024.151
AT ITER 2709 NEW BEST:: SOT 29749 SOS 9161 HAS SOPS 8481 HAS SOUS 5473 HAS SOUPS 4979 WITH SCORE 4988.161
AT ITER 2730 NEW BEST:: SOT 29749 SOS 9152 HAS SOPS 8472 HAS SOUS 5473 HAS SOUPS 4979 WITH SCORE 4988.152
AT ITER 2760 NEW BEST:: SOT 29698 SOS 9116 HAS SOPS 8421 HAS SOUS 5475 HAS SOUPS 4966 WITH SCORE 4975.116
AT ITER 2764 NEW BEST:: SOT 29701 SOS 9156 HAS SOPS 8420 HAS SOUS 5476 HAS SOUPS 4953 WITH SCORE 4962.156
AT ITER 2831 NEW BEST:: SOT 29700 SOS 9180 HAS SOPS 8444 HAS SOUS 5469 HAS SOUPS 4946 WITH SCORE 4955.18
AT ITER 2845 NEW BEST:: SOT 29646 SOS 9126 HAS SOPS 8390 HAS SOUS 5431 HAS SOUPS 4908 WITH SCORE 4917.126
AT ITER 2852 NEW BEST:: SOT 29668 SOS 9121 HAS SOPS 8385 HAS SOUS 5419 HAS SOUPS 4896 WITH SCORE 4905.121
AT ITER 2869 NEW BEST:: SOT 29666 SOS 9117 HAS SOPS 8381 HAS SOUS 5413 HAS SOUPS 4890 WITH SCORE 4899.117
AT ITER 2912 NEW BEST:: SOT 29658 SOS 9121 HAS SOPS 8385 HAS SOUS 5411 HAS SOUPS 4888 WITH SCORE 4897.121
AT ITER 2919 NEW BEST:: SOT 29658 SOS 9114 HAS SOPS 8378 HAS SOUS 5411 HAS SOUPS 4888 WITH SCORE 4897.114
AT ITER 2994 NEW BEST:: SOT 29627 SOS 9083 HAS SOPS 8347 HAS SOUS 5392 HAS SOUPS 4869 WITH SCORE 4878.083
AT ITER 3016 NEW BEST:: SOT 29625 SOS 9084 HAS SOPS 8353 HAS SOUS 5386 HAS SOUPS 4868 WITH SCORE 4877.084
AT ITER 3028 NEW BEST:: SOT 29607 SOS 9042 HAS SOPS 8311 HAS SOUS 5376 HAS SOUPS 4858 WITH SCORE 4867.042
AT ITER 3053 NEW BEST:: SOT 29517 SOS 8899 HAS SOPS 8168 HAS SOUS 5350 HAS SOUPS 4832 WITH SCORE 4840.899
AT ITER 3059 NEW BEST:: SOT 29509 SOS 8881 HAS SOPS 8150 HAS SOUS 5323 HAS SOUPS 4805 WITH SCORE 4813.881
AT ITER 3111 NEW BEST:: SOT 29506 SOS 8864 HAS SOPS 8133 HAS SOUS 5316 HAS SOUPS 4798 WITH SCORE 4806.864
AT ITER 3113 NEW BEST:: SOT 29547 SOS 8892 HAS SOPS 8174 HAS SOUS 5283 HAS SOUPS 4778 WITH SCORE 4786.892
AT ITER 3118 NEW BEST:: SOT 29539 SOS 8884 HAS SOPS 8166 HAS SOUS 5279 HAS SOUPS 4774 WITH SCORE 4782.884
AT ITER 3126 NEW BEST:: SOT 29530 SOS 8850 HAS SOPS 8132 HAS SOUS 5267 HAS SOUPS 4762 WITH SCORE 4770.85
AT ITER 3128 NEW BEST:: SOT 29455 SOS 8757 HAS SOPS 8039 HAS SOUS 5237 HAS SOUPS 4732 WITH SCORE 4740.757
AT ITER 3134 NEW BEST:: SOT 29443 SOS 8745 HAS SOPS 8027 HAS SOUS 5225 HAS SOUPS 4720 WITH SCORE 4728.745
AT ITER 3159 NEW BEST:: SOT 29460 SOS 8737 HAS SOPS 8019 HAS SOUS 5220 HAS SOUPS 4715 WITH SCORE 4723.737
AT ITER 3163 NEW BEST:: SOT 29460 SOS 8724 HAS SOPS 8019 HAS SOUS 5218 HAS SOUPS 4713 WITH SCORE 4721.724
AT ITER 3277 NEW BEST:: SOT 29457 SOS 8721 HAS SOPS 8016 HAS SOUS 5215 HAS SOUPS 4710 WITH SCORE 4718.721
AT ITER 3294 NEW BEST:: SOT 29449 SOS 8723 HAS SOPS 8018 HAS SOUS 5213 HAS SOUPS 4708 WITH SCORE 4716.723
AT ITER 3326 NEW BEST:: SOT 29434 SOS 8673 HAS SOPS 7963 HAS SOUS 5203 HAS SOUPS 4693 WITH SCORE 4701.673
AT ITER 3360 NEW BEST:: SOT 29411 SOS 8636 HAS SOPS 7926 HAS SOUS 5185 HAS SOUPS 4675 WITH SCORE 4683.636
AT ITER 3361 NEW BEST:: SOT 29409 SOS 8634 HAS SOPS 7924 HAS SOUS 5182 HAS SOUPS 4672 WITH SCORE 4680.634
AT ITER 3384 NEW BEST:: SOT 29410 SOS 8650 HAS SOPS 7925 HAS SOUS 5180 HAS SOUPS 4665 WITH SCORE 4673.65
AT ITER 3389 NEW BEST:: SOT 29410 SOS 8557 HAS SOPS 7832 HAS SOUS 5167 HAS SOUPS 4652 WITH SCORE 4660.557
AT ITER 3436 NEW BEST:: SOT 29424 SOS 8614 HAS SOPS 7880 HAS SOUS 5154 HAS SOUPS 4639 WITH SCORE 4647.614
AT ITER 3440 NEW BEST:: SOT 29412 SOS 8596 HAS SOPS 7862 HAS SOUS 5136 HAS SOUPS 4621 WITH SCORE 4629.596
AT ITER 3465 NEW BEST:: SOT 29439 SOS 8578 HAS SOPS 7844 HAS SOUS 5130 HAS SOUPS 4615 WITH SCORE 4623.578
AT ITER 3514 NEW BEST:: SOT 29442 SOS 8576 HAS SOPS 7842 HAS SOUS 5130 HAS SOUPS 4615 WITH SCORE 4623.576
AT ITER 3523 NEW BEST:: SOT 29422 SOS 8560 HAS SOPS 7826 HAS SOUS 5123 HAS SOUPS 4608 WITH SCORE 4616.56
AT ITER 3536 NEW BEST:: SOT 29419 SOS 8561 HAS SOPS 7827 HAS SOUS 5120 HAS SOUPS 4605 WITH SCORE 4613.561
AT ITER 3558 NEW BEST:: SOT 29412 SOS 8533 HAS SOPS 7800 HAS SOUS 5096 HAS SOUPS 4582 WITH SCORE 4590.533
AT ITER 3592 NEW BEST:: SOT 29412 SOS 8531 HAS SOPS 7800 HAS SOUS 5094 HAS SOUPS 4582 WITH SCORE 4590.531
AT ITER 3653 NEW BEST:: SOT 29410 SOS 8529 HAS SOPS 7798 HAS SOUS 5078 HAS SOUPS 4566 WITH SCORE 4574.529
AT ITER 3654 NEW BEST:: SOT 29413 SOS 8528 HAS SOPS 7797 HAS SOUS 5078 HAS SOUPS 4566 WITH SCORE 4574.528
AT ITER 3657 NEW BEST:: SOT 29395 SOS 8512 HAS SOPS 7785 HAS SOUS 5062 HAS SOUPS 4554 WITH SCORE 4562.512
AT ITER 3675 NEW BEST:: SOT 29392 SOS 8504 HAS SOPS 7777 HAS SOUS 5049 HAS SOUPS 4541 WITH SCORE 4549.504
AT ITER 3711 NEW BEST:: SOT 29389 SOS 8501 HAS SOPS 7774 HAS SOUS 5049 HAS SOUPS 4541 WITH SCORE 4549.501
AT ITER 3736 NEW BEST:: SOT 29382 SOS 8494 HAS SOPS 7767 HAS SOUS 5046 HAS SOUPS 4538 WITH SCORE 4546.494
AT ITER 3738 NEW BEST:: SOT 29373 SOS 8485 HAS SOPS 7758 HAS SOUS 5043 HAS SOUPS 4535 WITH SCORE 4543.485
AT ITER 3758 NEW BEST:: SOT 29369 SOS 8479 HAS SOPS 7752 HAS SOUS 5039 HAS SOUPS 4531 WITH SCORE 4539.479
AT ITER 3816 NEW BEST:: SOT 29333 SOS 8371 HAS SOPS 7644 HAS SOUS 5024 HAS SOUPS 4516 WITH SCORE 4524.371
AT ITER 3831 NEW BEST:: SOT 29320 SOS 8378 HAS SOPS 7651 HAS SOUS 5018 HAS SOUPS 4510 WITH SCORE 4518.378
AT ITER 3834 NEW BEST:: SOT 29320 SOS 8377 HAS SOPS 7667 HAS SOUS 4990 HAS SOUPS 4499 WITH SCORE 4507.377
AT ITER 3926 NEW BEST:: SOT 29312 SOS 8369 HAS SOPS 7659 HAS SOUS 4976 HAS SOUPS 4485 WITH SCORE 4493.369
AT ITER 3934 NEW BEST:: SOT 29301 SOS 8358 HAS SOPS 7648 HAS SOUS 4965 HAS SOUPS 4474 WITH SCORE 4482.358
AT ITER 3941 NEW BEST:: SOT 29303 SOS 8298 HAS SOPS 7578 HAS SOUS 4969 HAS SOUPS 4468 WITH SCORE 4476.298
AT ITER 3971 NEW BEST:: SOT 29315 SOS 8304 HAS SOPS 7578 HAS SOUS 4963 HAS SOUPS 4458 WITH SCORE 4466.304
AT ITER 3978 NEW BEST:: SOT 29331 SOS 8307 HAS SOPS 7591 HAS SOUS 4947 HAS SOUPS 4452 WITH SCORE 4460.307
AT ITER 4012 NEW BEST:: SOT 29335 SOS 8321 HAS SOPS 7605 HAS SOUS 4939 HAS SOUPS 4444 WITH SCORE 4452.321
AT ITER 4031 NEW BEST:: SOT 29329 SOS 8315 HAS SOPS 7599 HAS SOUS 4932 HAS SOUPS 4437 WITH SCORE 4445.315
AT ITER 4058 NEW BEST:: SOT 29347 SOS 8320 HAS SOPS 7604 HAS SOUS 4922 HAS SOUPS 4427 WITH SCORE 4435.32
AT ITER 4092 NEW BEST:: SOT 29341 SOS 8262 HAS SOPS 7540 HAS SOUS 4922 HAS SOUPS 4421 WITH SCORE 4429.262
AT ITER 4105 NEW BEST:: SOT 29317 SOS 8218 HAS SOPS 7496 HAS SOUS 4917 HAS SOUPS 4416 WITH SCORE 4424.218
AT ITER 4146 NEW BEST:: SOT 29295 SOS 8161 HAS SOPS 7474 HAS SOUS 4893 HAS SOUPS 4409 WITH SCORE 4417.161
AT ITER 4171 NEW BEST:: SOT 29296 SOS 8154 HAS SOPS 7467 HAS SOUS 4892 HAS SOUPS 4408 WITH SCORE 4416.154
AT ITER 4205 NEW BEST:: SOT 29247 SOS 8092 HAS SOPS 7406 HAS SOUS 4851 HAS SOUPS 4368 WITH SCORE 4376.092
AT ITER 4206 NEW BEST:: SOT 29242 SOS 8091 HAS SOPS 7401 HAS SOUS 4853 HAS SOUPS 4366 WITH SCORE 4374.091
AT ITER 4209 NEW BEST:: SOT 29232 SOS 8085 HAS SOPS 7395 HAS SOUS 4853 HAS SOUPS 4366 WITH SCORE 4374.085
AT ITER 4249 NEW BEST:: SOT 29228 SOS 8081 HAS SOPS 7391 HAS SOUS 4853 HAS SOUPS 4366 WITH SCORE 4374.081
AT ITER 4331 NEW BEST:: SOT 29225 SOS 8071 HAS SOPS 7381 HAS SOUS 4850 HAS SOUPS 4363 WITH SCORE 4371.071
AT ITER 4342 NEW BEST:: SOT 29193 SOS 8016 HAS SOPS 7360 HAS SOUS 4848 HAS SOUPS 4361 WITH SCORE 4369.016
AT ITER 4393 NEW BEST:: SOT 29192 SOS 8015 HAS SOPS 7359 HAS SOUS 4847 HAS SOUPS 4360 WITH SCORE 4368.015
AT ITER 4429 NEW BEST:: SOT 29133 SOS 7956 HAS SOPS 7300 HAS SOUS 4834 HAS SOUPS 4347 WITH SCORE 4354.956
AT ITER 4442 NEW BEST:: SOT 29132 SOS 7955 HAS SOPS 7299 HAS SOUS 4832 HAS SOUPS 4345 WITH SCORE 4352.955
AT ITER 4444 NEW BEST:: SOT 29118 SOS 7950 HAS SOPS 7294 HAS SOUS 4826 HAS SOUPS 4339 WITH SCORE 4346.95
AT ITER 4546 NEW BEST:: SOT 29114 SOS 7946 HAS SOPS 7290 HAS SOUS 4824 HAS SOUPS 4337 WITH SCORE 4344.946
AT ITER 4556 NEW BEST:: SOT 29114 SOS 7941 HAS SOPS 7284 HAS SOUS 4823 HAS SOUPS 4335 WITH SCORE 4342.941
AT ITER 4592 NEW BEST:: SOT 29100 SOS 7932 HAS SOPS 7275 HAS SOUS 4822 HAS SOUPS 4334 WITH SCORE 4341.932
AT ITER 4646 NEW BEST:: SOT 29103 SOS 7933 HAS SOPS 7276 HAS SOUS 4820 HAS SOUPS 4332 WITH SCORE 4339.933
AT ITER 4694 NEW BEST:: SOT 29082 SOS 7839 HAS SOPS 7182 HAS SOUS 4813 HAS SOUPS 4325 WITH SCORE 4332.839
AT ITER 4708 NEW BEST:: SOT 29078 SOS 7824 HAS SOPS 7167 HAS SOUS 4806 HAS SOUPS 4318 WITH SCORE 4325.824
AT ITER 4711 NEW BEST:: SOT 29086 SOS 7770 HAS SOPS 7113 HAS SOUS 4806 HAS SOUPS 4318 WITH SCORE 4325.77
AT ITER 4712 NEW BEST:: SOT 29102 SOS 7771 HAS SOPS 7111 HAS SOUS 4804 HAS SOUPS 4313 WITH SCORE 4320.771
AT ITER 4801 NEW BEST:: SOT 29101 SOS 7771 HAS SOPS 7111 HAS SOUS 4803 HAS SOUPS 4312 WITH SCORE 4319.771
AT ITER 4807 NEW BEST:: SOT 29095 SOS 7768 HAS SOPS 7108 HAS SOUS 4802 HAS SOUPS 4311 WITH SCORE 4318.768
AT ITER 4830 NEW BEST:: SOT 29089 SOS 7762 HAS SOPS 7102 HAS SOUS 4798 HAS SOUPS 4307 WITH SCORE 4314.762
AT ITER 4836 NEW BEST:: SOT 29085 SOS 7758 HAS SOPS 7098 HAS SOUS 4797 HAS SOUPS 4306 WITH SCORE 4313.758
AT ITER 4867 NEW BEST:: SOT 29073 SOS 7746 HAS SOPS 7086 HAS SOUS 4791 HAS SOUPS 4300 WITH SCORE 4307.746
AT ITER 4876 NEW BEST:: SOT 29067 SOS 7740 HAS SOPS 7080 HAS SOUS 4789 HAS SOUPS 4298 WITH SCORE 4305.74
AT ITER 4884 NEW BEST:: SOT 29069 SOS 7755 HAS SOPS 7095 HAS SOUS 4787 HAS SOUPS 4296 WITH SCORE 4303.755
AT ITER 4955 NEW BEST:: SOT 29069 SOS 7722 HAS SOPS 7068 HAS SOUS 4773 HAS SOUPS 4288 WITH SCORE 4295.722
AT ITER 4982 NEW BEST:: SOT 29081 SOS 7722 HAS SOPS 7068 HAS SOUS 4771 HAS SOUPS 4286 WITH SCORE 4293.722
AT ITER 5041 NEW BEST:: SOT 29081 SOS 7720 HAS SOPS 7066 HAS SOUS 4771 HAS SOUPS 4286 WITH SCORE 4293.72
AT ITER 5102 NEW BEST:: SOT 29081 SOS 7712 HAS SOPS 7058 HAS SOUS 4763 HAS SOUPS 4278 WITH SCORE 4285.712
AT ITER 5151 NEW BEST:: SOT 29078 SOS 7641 HAS SOPS 6969 HAS SOUS 4739 HAS SOUPS 4236 WITH SCORE 4243.641
AT ITER 5155 NEW BEST:: SOT 29090 SOS 7649 HAS SOPS 6977 HAS SOUS 4732 HAS SOUPS 4229 WITH SCORE 4236.649
AT ITER 5203 NEW BEST:: SOT 29068 SOS 7627 HAS SOPS 6955 HAS SOUS 4728 HAS SOUPS 4225 WITH SCORE 4232.627
AT ITER 5214 NEW BEST:: SOT 29062 SOS 7621 HAS SOPS 6949 HAS SOUS 4711 HAS SOUPS 4208 WITH SCORE 4215.621
AT ITER 5248 NEW BEST:: SOT 29079 SOS 7607 HAS SOPS 6935 HAS SOUS 4706 HAS SOUPS 4203 WITH SCORE 4210.607
AT ITER 5252 NEW BEST:: SOT 29051 SOS 7579 HAS SOPS 6907 HAS SOUS 4693 HAS SOUPS 4190 WITH SCORE 4197.579
AT ITER 5275 NEW BEST:: SOT 29028 SOS 7566 HAS SOPS 6900 HAS SOUS 4685 HAS SOUPS 4188 WITH SCORE 4195.566
AT ITER 5281 NEW BEST:: SOT 29031 SOS 7550 HAS SOPS 6879 HAS SOUS 4686 HAS SOUPS 4186 WITH SCORE 4193.55
AT ITER 5287 NEW BEST:: SOT 29030 SOS 7540 HAS SOPS 6869 HAS SOUS 4684 HAS SOUPS 4184 WITH SCORE 4191.54
AT ITER 5314 NEW BEST:: SOT 29034 SOS 7539 HAS SOPS 6868 HAS SOUS 4684 HAS SOUPS 4184 WITH SCORE 4191.539
AT ITER 5356 NEW BEST:: SOT 29025 SOS 7407 HAS SOPS 6727 HAS SOUS 4682 HAS SOUPS 4173 WITH SCORE 4180.407
AT ITER 5365 NEW BEST:: SOT 29025 SOS 7380 HAS SOPS 6700 HAS SOUS 4676 HAS SOUPS 4167 WITH SCORE 4174.38
AT ITER 5384 NEW BEST:: SOT 29024 SOS 7372 HAS SOPS 6695 HAS SOUS 4668 HAS SOUPS 4162 WITH SCORE 4169.372
AT ITER 5436 NEW BEST:: SOT 29021 SOS 7369 HAS SOPS 6692 HAS SOUS 4665 HAS SOUPS 4159 WITH SCORE 4166.369
AT ITER 5462 NEW BEST:: SOT 29044 SOS 7366 HAS SOPS 6689 HAS SOUS 4649 HAS SOUPS 4143 WITH SCORE 4150.366
AT ITER 5496 NEW BEST:: SOT 29044 SOS 7274 HAS SOPS 6597 HAS SOUS 4626 HAS SOUPS 4120 WITH SCORE 4127.274
AT ITER 5540 NEW BEST:: SOT 29063 SOS 7278 HAS SOPS 6598 HAS SOUS 4624 HAS SOUPS 4115 WITH SCORE 4122.278
AT ITER 5556 NEW BEST:: SOT 29063 SOS 7279 HAS SOPS 6592 HAS SOUS 4623 HAS SOUPS 4107 WITH SCORE 4114.279
AT ITER 5613 NEW BEST:: SOT 29055 SOS 7274 HAS SOPS 6587 HAS SOUS 4620 HAS SOUPS 4104 WITH SCORE 4111.274
AT ITER 5618 NEW BEST:: SOT 29051 SOS 7269 HAS SOPS 6582 HAS SOUS 4619 HAS SOUPS 4103 WITH SCORE 4110.269
AT ITER 5642 NEW BEST:: SOT 29025 SOS 7194 HAS SOPS 6565 HAS SOUS 4588 HAS SOUPS 4101 WITH SCORE 4108.194
AT ITER 5646 NEW BEST:: SOT 29015 SOS 7184 HAS SOPS 6555 HAS SOUS 4586 HAS SOUPS 4099 WITH SCORE 4106.184
AT ITER 5737 NEW BEST:: SOT 29015 SOS 7184 HAS SOPS 6555 HAS SOUS 4585 HAS SOUPS 4098 WITH SCORE 4105.184
AT ITER 5829 NEW BEST:: SOT 28993 SOS 7202 HAS SOPS 6573 HAS SOUS 4570 HAS SOUPS 4083 WITH SCORE 4090.202
AT ITER 5844 NEW BEST:: SOT 28998 SOS 7207 HAS SOPS 6573 HAS SOUS 4573 HAS SOUPS 4081 WITH SCORE 4088.207
AT ITER 5907 NEW BEST:: SOT 28990 SOS 7201 HAS SOPS 6567 HAS SOUS 4569 HAS SOUPS 4077 WITH SCORE 4084.201
AT ITER 5930 NEW BEST:: SOT 28989 SOS 7195 HAS SOPS 6561 HAS SOUS 4566 HAS SOUPS 4074 WITH SCORE 4081.195
AT ITER 5953 NEW BEST:: SOT 28985 SOS 7179 HAS SOPS 6543 HAS SOUS 4562 HAS SOUPS 4070 WITH SCORE 4077.179
AT ITER 5971 NEW BEST:: SOT 28974 SOS 7177 HAS SOPS 6512 HAS SOUS 4552 HAS SOUPS 4045 WITH SCORE 4052.177
AT ITER 5998 NEW BEST:: SOT 28962 SOS 7133 HAS SOPS 6468 HAS SOUS 4549 HAS SOUPS 4042 WITH SCORE 4049.133
AT ITER 6050 NEW BEST:: SOT 28913 SOS 7119 HAS SOPS 6454 HAS SOUS 4541 HAS SOUPS 4034 WITH SCORE 4041.119
AT ITER 6053 NEW BEST:: SOT 28901 SOS 7118 HAS SOPS 6454 HAS SOUS 4540 HAS SOUPS 4034 WITH SCORE 4041.118
AT ITER 6107 NEW BEST:: SOT 28891 SOS 7100 HAS SOPS 6433 HAS SOUS 4536 HAS SOUPS 4027 WITH SCORE 4034.1
AT ITER 6134 NEW BEST:: SOT 28894 SOS 7091 HAS SOPS 6423 HAS SOUS 4532 HAS SOUPS 4023 WITH SCORE 4030.091
AT ITER 6163 NEW BEST:: SOT 28895 SOS 7092 HAS SOPS 6424 HAS SOUS 4531 HAS SOUPS 4022 WITH SCORE 4029.092
AT ITER 6166 NEW BEST:: SOT 28906 SOS 7086 HAS SOPS 6418 HAS SOUS 4524 HAS SOUPS 4015 WITH SCORE 4022.086
AT ITER 6288 NEW BEST:: SOT 28914 SOS 7086 HAS SOPS 6414 HAS SOUS 4524 HAS SOUPS 4013 WITH SCORE 4020.086
AT ITER 6336 NEW BEST:: SOT 28930 SOS 7164 HAS SOPS 6420 HAS SOUS 4540 HAS SOUPS 4005 WITH SCORE 4012.164
AT ITER 6385 NEW BEST:: SOT 28898 SOS 7067 HAS SOPS 6325 HAS SOUS 4528 HAS SOUPS 3993 WITH SCORE 4000.067
AT ITER 6468 NEW BEST:: SOT 28904 SOS 7073 HAS SOPS 6331 HAS SOUS 4521 HAS SOUPS 3986 WITH SCORE 3993.073
AT ITER 6469 NEW BEST:: SOT 28897 SOS 7066 HAS SOPS 6324 HAS SOUS 4521 HAS SOUPS 3986 WITH SCORE 3993.066
AT ITER 6470 NEW BEST:: SOT 28890 SOS 7059 HAS SOPS 6317 HAS SOUS 4517 HAS SOUPS 3982 WITH SCORE 3989.059
AT ITER 6498 NEW BEST:: SOT 28885 SOS 7052 HAS SOPS 6310 HAS SOUS 4514 HAS SOUPS 3979 WITH SCORE 3986.052
AT ITER 6519 NEW BEST:: SOT 28889 SOS 7039 HAS SOPS 6293 HAS SOUS 4512 HAS SOUPS 3975 WITH SCORE 3982.039
AT ITER 6527 NEW BEST:: SOT 28889 SOS 7040 HAS SOPS 6293 HAS SOUS 4511 HAS SOUPS 3974 WITH SCORE 3981.04
AT ITER 6658 NEW BEST:: SOT 28878 SOS 7059 HAS SOPS 6318 HAS SOUS 4505 HAS SOUPS 3972 WITH SCORE 3979.059
AT ITER 6795 NEW BEST:: SOT 28881 SOS 7056 HAS SOPS 6315 HAS SOUS 4505 HAS SOUPS 3972 WITH SCORE 3979.056
AT ITER 6803 NEW BEST:: SOT 28891 SOS 7056 HAS SOPS 6313 HAS SOUS 4502 HAS SOUPS 3967 WITH SCORE 3974.056
AT ITER 6940 NEW BEST:: SOT 28906 SOS 7017 HAS SOPS 6264 HAS SOUS 4502 HAS SOUPS 3957 WITH SCORE 3964.017
AT ITER 6972 NEW BEST:: SOT 28904 SOS 7013 HAS SOPS 6260 HAS SOUS 4496 HAS SOUPS 3951 WITH SCORE 3958.013
AT ITER 6998 NEW BEST:: SOT 28904 SOS 7013 HAS SOPS 6260 HAS SOUS 4493 HAS SOUPS 3948 WITH SCORE 3955.013
AT ITER 7030 NEW BEST:: SOT 28904 SOS 7011 HAS SOPS 6258 HAS SOUS 4493 HAS SOUPS 3948 WITH SCORE 3955.011
AT ITER 7070 NEW BEST:: SOT 28853 SOS 6966 HAS SOPS 6231 HAS SOUS 4465 HAS SOUPS 3929 WITH SCORE 3935.966
AT ITER 7110 NEW BEST:: SOT 28848 SOS 6961 HAS SOPS 6226 HAS SOUS 4460 HAS SOUPS 3924 WITH SCORE 3930.961
AT ITER 7134 NEW BEST:: SOT 28852 SOS 6937 HAS SOPS 6194 HAS SOUS 4457 HAS SOUPS 3917 WITH SCORE 3923.937
AT ITER 7135 NEW BEST:: SOT 28848 SOS 6883 HAS SOPS 6140 HAS SOUS 4444 HAS SOUPS 3904 WITH SCORE 3910.883
AT ITER 7199 NEW BEST:: SOT 28848 SOS 6883 HAS SOPS 6140 HAS SOUS 4442 HAS SOUPS 3902 WITH SCORE 3908.883
AT ITER 7296 NEW BEST:: SOT 28839 SOS 6888 HAS SOPS 6145 HAS SOUS 4425 HAS SOUPS 3885 WITH SCORE 3891.888
AT ITER 7301 NEW BEST:: SOT 28839 SOS 6751 HAS SOPS 5995 HAS SOUS 4404 HAS SOUPS 3851 WITH SCORE 3857.751
AT ITER 7375 NEW BEST:: SOT 28839 SOS 6751 HAS SOPS 5995 HAS SOUS 4396 HAS SOUPS 3843 WITH SCORE 3849.751
AT ITER 7408 NEW BEST:: SOT 28842 SOS 6754 HAS SOPS 5998 HAS SOUS 4395 HAS SOUPS 3842 WITH SCORE 3848.754
AT ITER 7463 NEW BEST:: SOT 28842 SOS 6746 HAS SOPS 5990 HAS SOUS 4393 HAS SOUPS 3840 WITH SCORE 3846.746
AT ITER 7514 NEW BEST:: SOT 28835 SOS 6748 HAS SOPS 5992 HAS SOUS 4390 HAS SOUPS 3837 WITH SCORE 3843.748
AT ITER 7552 NEW BEST:: SOT 28828 SOS 6747 HAS SOPS 5991 HAS SOUS 4387 HAS SOUPS 3834 WITH SCORE 3840.747
AT ITER 7640 NEW BEST:: SOT 28826 SOS 6746 HAS SOPS 5990 HAS SOUS 4386 HAS SOUPS 3833 WITH SCORE 3839.746
AT ITER 7792 NEW BEST:: SOT 28832 SOS 6757 HAS SOPS 5998 HAS SOUS 4388 HAS SOUPS 3832 WITH SCORE 3838.757
AT ITER 7822 NEW BEST:: SOT 28801 SOS 6802 HAS SOPS 6043 HAS SOUS 4382 HAS SOUPS 3826 WITH SCORE 3832.802
AT ITER 7834 NEW BEST:: SOT 28801 SOS 6801 HAS SOPS 6042 HAS SOUS 4382 HAS SOUPS 3826 WITH SCORE 3832.801
AT ITER 7921 NEW BEST:: SOT 28794 SOS 6787 HAS SOPS 6028 HAS SOUS 4368 HAS SOUPS 3812 WITH SCORE 3818.787
AT ITER 7938 NEW BEST:: SOT 28788 SOS 6739 HAS SOPS 5980 HAS SOUS 4356 HAS SOUPS 3800 WITH SCORE 3806.739
AT ITER 8001 NEW BEST:: SOT 28794 SOS 6730 HAS SOPS 5968 HAS SOUS 4356 HAS SOUPS 3797 WITH SCORE 3803.73
AT ITER 8099 NEW BEST:: SOT 28792 SOS 6717 HAS SOPS 5953 HAS SOUS 4357 HAS SOUPS 3796 WITH SCORE 3802.717
AT ITER 8254 NEW BEST:: SOT 28793 SOS 6715 HAS SOPS 5951 HAS SOUS 4353 HAS SOUPS 3792 WITH SCORE 3798.715
AT ITER 8300 NEW BEST:: SOT 28795 SOS 6713 HAS SOPS 5949 HAS SOUS 4353 HAS SOUPS 3792 WITH SCORE 3798.713
AT ITER 8357 NEW BEST:: SOT 28793 SOS 6711 HAS SOPS 5947 HAS SOUS 4351 HAS SOUPS 3790 WITH SCORE 3796.711
AT ITER 8583 NEW BEST:: SOT 28791 SOS 6691 HAS SOPS 5927 HAS SOUS 4323 HAS SOUPS 3762 WITH SCORE 3768.691
AT ITER 8696 NEW BEST:: SOT 28791 SOS 6681 HAS SOPS 5914 HAS SOUS 4317 HAS SOUPS 3753 WITH SCORE 3759.681
AT ITER 8786 NEW BEST:: SOT 28788 SOS 6675 HAS SOPS 5908 HAS SOUS 4311 HAS SOUPS 3747 WITH SCORE 3753.675
AT ITER 8846 NEW BEST:: SOT 28787 SOS 6665 HAS SOPS 5895 HAS SOUS 4310 HAS SOUPS 3743 WITH SCORE 3749.665
AT ITER 9042 NEW BEST:: SOT 28799 SOS 6662 HAS SOPS 5892 HAS SOUS 4307 HAS SOUPS 3740 WITH SCORE 3746.662
AT ITER 9044 NEW BEST:: SOT 28799 SOS 6660 HAS SOPS 5890 HAS SOUS 4307 HAS SOUPS 3740 WITH SCORE 3746.66
AT ITER 9081 NEW BEST:: SOT 28802 SOS 6658 HAS SOPS 5887 HAS SOUS 4306 HAS SOUPS 3738 WITH SCORE 3744.658
AT ITER 9123 NEW BEST:: SOT 28802 SOS 6658 HAS SOPS 5885 HAS SOUS 4306 HAS SOUPS 3736 WITH SCORE 3742.658
AT ITER 9159 NEW BEST:: SOT 28798 SOS 6652 HAS SOPS 5879 HAS SOUS 4298 HAS SOUPS 3728 WITH SCORE 3734.652
AT ITER 9162 NEW BEST:: SOT 28789 SOS 6658 HAS SOPS 5885 HAS SOUS 4296 HAS SOUPS 3726 WITH SCORE 3732.658
AT ITER 9222 NEW BEST:: SOT 28784 SOS 6664 HAS SOPS 5891 HAS SOUS 4292 HAS SOUPS 3722 WITH SCORE 3728.664
AT ITER 9246 NEW BEST:: SOT 28782 SOS 6662 HAS SOPS 5889 HAS SOUS 4291 HAS SOUPS 3721 WITH SCORE 3727.662
AT ITER 9277 NEW BEST:: SOT 28782 SOS 6659 HAS SOPS 5886 HAS SOUS 4291 HAS SOUPS 3721 WITH SCORE 3727.659
AT ITER 9508 NEW BEST:: SOT 28777 SOS 6654 HAS SOPS 5881 HAS SOUS 4289 HAS SOUPS 3719 WITH SCORE 3725.654
AT ITER 9562 NEW BEST:: SOT 28781 SOS 6658 HAS SOPS 5885 HAS SOUS 4287 HAS SOUPS 3717 WITH SCORE 3723.658
AT ITER 9618 NEW BEST:: SOT 28780 SOS 6657 HAS SOPS 5884 HAS SOUS 4287 HAS SOUPS 3717 WITH SCORE 3723.657
AT ITER 9740 NEW BEST:: SOT 28775 SOS 6652 HAS SOPS 5879 HAS SOUS 4286 HAS SOUPS 3716 WITH SCORE 3722.652
AT ITER 9983 NEW BEST:: SOT 28779 SOS 6655 HAS SOPS 5883 HAS SOUS 4284 HAS SOUPS 3715 WITH SCORE 3721.655

BK_STOP 1678719946154

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-1A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is NoC3x3-PT-1A, 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 r259-smll-167863534300232"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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