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.r227-tall-167856410100184.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 JoinFreeModules-PT-0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410100184
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 644K
-rw-r--r-- 1 mcc users 8.6K Feb 25 11:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 25 11:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 11:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 11:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:18 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:18 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:18 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:18 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 11:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Feb 25 11:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 11:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 11:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 152K 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 1678605588850

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=JoinFreeModules-PT-0050
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running JoinFreeModules (PT), instance 0050
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: 251 places, 401 transitions, 1152 arcs.
AT ITER 0 NEW BEST:: SOT 70451 SOS 47951 HAS SOPS 47900 HAS SOUS 47951 HAS SOUPS 47900 WITH SCORE 47947.951
AT ITER 1 NEW BEST:: SOT 70442 SOS 47948 HAS SOPS 47724 HAS SOUS 47850 HAS SOUPS 47626 WITH SCORE 47673.948
AT ITER 2 NEW BEST:: SOT 70228 SOS 47654 HAS SOPS 47430 HAS SOUS 47556 HAS SOUPS 47332 WITH SCORE 47379.654
AT ITER 4 NEW BEST:: SOT 70166 SOS 47400 HAS SOPS 47162 HAS SOUS 47203 HAS SOUPS 46965 WITH SCORE 47012.4
AT ITER 7 NEW BEST:: SOT 70189 SOS 47377 HAS SOPS 47139 HAS SOUS 47180 HAS SOUPS 46942 WITH SCORE 46989.377
AT ITER 8 NEW BEST:: SOT 70140 SOS 47127 HAS SOPS 46889 HAS SOUS 46925 HAS SOUPS 46687 WITH SCORE 46734.127
AT ITER 9 NEW BEST:: SOT 69992 SOS 46826 HAS SOPS 46588 HAS SOUS 46578 HAS SOUPS 46340 WITH SCORE 46386.826
AT ITER 10 NEW BEST:: SOT 69994 SOS 46671 HAS SOPS 46433 HAS SOUS 46324 HAS SOUPS 46086 WITH SCORE 46132.671
AT ITER 11 NEW BEST:: SOT 69913 SOS 46590 HAS SOPS 46352 HAS SOUS 46216 HAS SOUPS 45978 WITH SCORE 46024.59
AT ITER 12 NEW BEST:: SOT 69923 SOS 46535 HAS SOPS 46297 HAS SOUS 46161 HAS SOUPS 45923 WITH SCORE 45969.535
AT ITER 13 NEW BEST:: SOT 69923 SOS 46515 HAS SOPS 46277 HAS SOUS 46141 HAS SOUPS 45903 WITH SCORE 45949.515
AT ITER 14 NEW BEST:: SOT 69922 SOS 46383 HAS SOPS 46145 HAS SOUS 45984 HAS SOUPS 45746 WITH SCORE 45792.383
AT ITER 16 NEW BEST:: SOT 69681 SOS 46040 HAS SOPS 45802 HAS SOUS 45641 HAS SOUPS 45403 WITH SCORE 45449.04
AT ITER 18 NEW BEST:: SOT 69531 SOS 45638 HAS SOPS 45400 HAS SOUS 45191 HAS SOUPS 44953 WITH SCORE 44998.638
AT ITER 21 NEW BEST:: SOT 69526 SOS 45633 HAS SOPS 45395 HAS SOUS 45186 HAS SOUPS 44948 WITH SCORE 44993.633
AT ITER 22 NEW BEST:: SOT 69500 SOS 45611 HAS SOPS 45373 HAS SOUS 45164 HAS SOUPS 44926 WITH SCORE 44971.611
AT ITER 24 NEW BEST:: SOT 69463 SOS 45413 HAS SOPS 45175 HAS SOUS 44966 HAS SOUPS 44728 WITH SCORE 44773.413
AT ITER 27 NEW BEST:: SOT 69344 SOS 45141 HAS SOPS 44903 HAS SOUS 44677 HAS SOUPS 44439 WITH SCORE 44484.141
AT ITER 29 NEW BEST:: SOT 69375 SOS 45110 HAS SOPS 44872 HAS SOUS 44646 HAS SOUPS 44408 WITH SCORE 44453.11
AT ITER 32 NEW BEST:: SOT 69425 SOS 44850 HAS SOPS 44612 HAS SOUS 44386 HAS SOUPS 44148 WITH SCORE 44192.85
AT ITER 33 NEW BEST:: SOT 69276 SOS 44551 HAS SOPS 44313 HAS SOUS 44038 HAS SOUPS 43800 WITH SCORE 43844.551
AT ITER 34 NEW BEST:: SOT 69123 SOS 44398 HAS SOPS 44160 HAS SOUS 43885 HAS SOUPS 43647 WITH SCORE 43691.398
AT ITER 35 NEW BEST:: SOT 69094 SOS 44088 HAS SOPS 43850 HAS SOUS 43556 HAS SOUPS 43318 WITH SCORE 43362.088
AT ITER 36 NEW BEST:: SOT 69125 SOS 44057 HAS SOPS 43819 HAS SOUS 43525 HAS SOUPS 43287 WITH SCORE 43331.057
AT ITER 38 NEW BEST:: SOT 69088 SOS 43843 HAS SOPS 43605 HAS SOUS 43282 HAS SOUPS 43044 WITH SCORE 43087.843
AT ITER 39 NEW BEST:: SOT 69133 SOS 43805 HAS SOPS 43567 HAS SOUS 43148 HAS SOUPS 42910 WITH SCORE 42953.805
AT ITER 41 NEW BEST:: SOT 69024 SOS 43677 HAS SOPS 43439 HAS SOUS 42921 HAS SOUPS 42683 WITH SCORE 42726.677
AT ITER 42 NEW BEST:: SOT 68996 SOS 43649 HAS SOPS 43411 HAS SOUS 42893 HAS SOUPS 42655 WITH SCORE 42698.649
AT ITER 45 NEW BEST:: SOT 69049 SOS 43591 HAS SOPS 43353 HAS SOUS 42835 HAS SOUPS 42597 WITH SCORE 42640.591
AT ITER 46 NEW BEST:: SOT 69028 SOS 43487 HAS SOPS 43249 HAS SOUS 42731 HAS SOUPS 42493 WITH SCORE 42536.487
AT ITER 48 NEW BEST:: SOT 68880 SOS 43193 HAS SOPS 42955 HAS SOUS 42383 HAS SOUPS 42145 WITH SCORE 42188.193
AT ITER 49 NEW BEST:: SOT 68860 SOS 43173 HAS SOPS 42935 HAS SOUS 42363 HAS SOUPS 42125 WITH SCORE 42168.173
AT ITER 50 NEW BEST:: SOT 68722 SOS 42882 HAS SOPS 42644 HAS SOUS 42036 HAS SOUPS 41798 WITH SCORE 41840.882
AT ITER 51 NEW BEST:: SOT 68926 SOS 42825 HAS SOPS 42588 HAS SOUS 41994 HAS SOUPS 41757 WITH SCORE 41799.825
AT ITER 53 NEW BEST:: SOT 68951 SOS 42793 HAS SOPS 42556 HAS SOUS 41979 HAS SOUPS 41742 WITH SCORE 41784.793
AT ITER 56 NEW BEST:: SOT 68781 SOS 42453 HAS SOPS 42216 HAS SOUS 41724 HAS SOUPS 41487 WITH SCORE 41529.453
AT ITER 57 NEW BEST:: SOT 68761 SOS 42433 HAS SOPS 42196 HAS SOUS 41704 HAS SOUPS 41467 WITH SCORE 41509.433
AT ITER 58 NEW BEST:: SOT 68661 SOS 42415 HAS SOPS 42178 HAS SOUS 41700 HAS SOUPS 41463 WITH SCORE 41505.415
AT ITER 64 NEW BEST:: SOT 68609 SOS 42269 HAS SOPS 42032 HAS SOUS 41554 HAS SOUPS 41317 WITH SCORE 41359.269
AT ITER 66 NEW BEST:: SOT 68557 SOS 42199 HAS SOPS 41962 HAS SOUS 41400 HAS SOUPS 41163 WITH SCORE 41205.199
AT ITER 70 NEW BEST:: SOT 68334 SOS 41814 HAS SOPS 41577 HAS SOUS 41105 HAS SOUPS 40868 WITH SCORE 40909.814
AT ITER 74 NEW BEST:: SOT 68300 SOS 41763 HAS SOPS 41526 HAS SOUS 41054 HAS SOUPS 40817 WITH SCORE 40858.763
AT ITER 75 NEW BEST:: SOT 68283 SOS 41749 HAS SOPS 41512 HAS SOUS 41054 HAS SOUPS 40817 WITH SCORE 40858.749
AT ITER 76 NEW BEST:: SOT 68263 SOS 41725 HAS SOPS 41488 HAS SOUS 40980 HAS SOUPS 40743 WITH SCORE 40784.725
AT ITER 77 NEW BEST:: SOT 68085 SOS 41256 HAS SOPS 41019 HAS SOUS 40592 HAS SOUPS 40355 WITH SCORE 40396.256
AT ITER 78 NEW BEST:: SOT 68078 SOS 41228 HAS SOPS 40991 HAS SOUS 40571 HAS SOUPS 40334 WITH SCORE 40375.228
AT ITER 79 NEW BEST:: SOT 67892 SOS 40440 HAS SOPS 40203 HAS SOUS 39783 HAS SOUPS 39546 WITH SCORE 39586.44
AT ITER 81 NEW BEST:: SOT 67745 SOS 40293 HAS SOPS 40056 HAS SOUS 39636 HAS SOUPS 39399 WITH SCORE 39439.293
AT ITER 82 NEW BEST:: SOT 67569 SOS 39782 HAS SOPS 39545 HAS SOUS 39125 HAS SOUPS 38888 WITH SCORE 38927.782
AT ITER 83 NEW BEST:: SOT 67526 SOS 39450 HAS SOPS 39213 HAS SOUS 38694 HAS SOUPS 38457 WITH SCORE 38496.45
AT ITER 88 NEW BEST:: SOT 67590 SOS 39418 HAS SOPS 39168 HAS SOUS 38543 HAS SOUPS 38293 WITH SCORE 38332.418
AT ITER 91 NEW BEST:: SOT 67702 SOS 39490 HAS SOPS 39240 HAS SOUS 38517 HAS SOUPS 38267 WITH SCORE 38306.49
AT ITER 92 NEW BEST:: SOT 67476 SOS 39187 HAS SOPS 38937 HAS SOUS 38217 HAS SOUPS 37967 WITH SCORE 38006.187
AT ITER 93 NEW BEST:: SOT 67659 SOS 39199 HAS SOPS 38949 HAS SOUS 38190 HAS SOUPS 37940 WITH SCORE 37979.199
AT ITER 94 NEW BEST:: SOT 67659 SOS 39198 HAS SOPS 38948 HAS SOUS 38189 HAS SOUPS 37939 WITH SCORE 37978.198
AT ITER 98 NEW BEST:: SOT 67612 SOS 39083 HAS SOPS 38833 HAS SOUS 38067 HAS SOUPS 37817 WITH SCORE 37856.083
AT ITER 102 NEW BEST:: SOT 67499 SOS 38631 HAS SOPS 38381 HAS SOUS 37590 HAS SOUPS 37340 WITH SCORE 37378.631
AT ITER 103 NEW BEST:: SOT 67427 SOS 38614 HAS SOPS 38364 HAS SOUS 37573 HAS SOUPS 37323 WITH SCORE 37361.614
AT ITER 106 NEW BEST:: SOT 67338 SOS 38372 HAS SOPS 38122 HAS SOUS 37331 HAS SOUPS 37081 WITH SCORE 37119.372
AT ITER 110 NEW BEST:: SOT 67338 SOS 38367 HAS SOPS 38117 HAS SOUS 37326 HAS SOUPS 37076 WITH SCORE 37114.367
AT ITER 114 NEW BEST:: SOT 67192 SOS 38032 HAS SOPS 37782 HAS SOUS 37049 HAS SOUPS 36799 WITH SCORE 36837.032
AT ITER 123 NEW BEST:: SOT 67158 SOS 37998 HAS SOPS 37748 HAS SOUS 37015 HAS SOUPS 36765 WITH SCORE 36802.998
AT ITER 125 NEW BEST:: SOT 67142 SOS 37865 HAS SOPS 37615 HAS SOUS 36857 HAS SOUPS 36607 WITH SCORE 36644.865
AT ITER 128 NEW BEST:: SOT 67114 SOS 37828 HAS SOPS 37578 HAS SOUS 36833 HAS SOUPS 36583 WITH SCORE 36620.828
AT ITER 130 NEW BEST:: SOT 67055 SOS 37769 HAS SOPS 37519 HAS SOUS 36774 HAS SOUPS 36524 WITH SCORE 36561.769
AT ITER 131 NEW BEST:: SOT 67054 SOS 37768 HAS SOPS 37518 HAS SOUS 36772 HAS SOUPS 36522 WITH SCORE 36559.768
AT ITER 135 NEW BEST:: SOT 66767 SOS 37374 HAS SOPS 37124 HAS SOUS 36396 HAS SOUPS 36146 WITH SCORE 36183.374
AT ITER 136 NEW BEST:: SOT 66707 SOS 37296 HAS SOPS 37046 HAS SOUS 36318 HAS SOUPS 36068 WITH SCORE 36105.296
AT ITER 138 NEW BEST:: SOT 66707 SOS 37295 HAS SOPS 37045 HAS SOUS 36317 HAS SOUPS 36067 WITH SCORE 36104.295
AT ITER 140 NEW BEST:: SOT 66566 SOS 37107 HAS SOPS 36857 HAS SOUS 36129 HAS SOUPS 35879 WITH SCORE 35916.107
AT ITER 142 NEW BEST:: SOT 66542 SOS 37075 HAS SOPS 36825 HAS SOUS 36097 HAS SOUPS 35847 WITH SCORE 35884.075
AT ITER 145 NEW BEST:: SOT 66458 SOS 36790 HAS SOPS 36540 HAS SOUS 35858 HAS SOUPS 35608 WITH SCORE 35644.79
AT ITER 148 NEW BEST:: SOT 66503 SOS 36745 HAS SOPS 36495 HAS SOUS 35813 HAS SOUPS 35563 WITH SCORE 35599.745
AT ITER 155 NEW BEST:: SOT 66314 SOS 36556 HAS SOPS 36306 HAS SOUS 35632 HAS SOUPS 35382 WITH SCORE 35418.556
AT ITER 156 NEW BEST:: SOT 66314 SOS 36537 HAS SOPS 36287 HAS SOUS 35613 HAS SOUPS 35363 WITH SCORE 35399.537
AT ITER 157 NEW BEST:: SOT 66339 SOS 36553 HAS SOPS 36303 HAS SOUS 35611 HAS SOUPS 35361 WITH SCORE 35397.553
AT ITER 158 NEW BEST:: SOT 66339 SOS 36505 HAS SOPS 36255 HAS SOUS 35563 HAS SOUPS 35313 WITH SCORE 35349.505
AT ITER 161 NEW BEST:: SOT 66235 SOS 36349 HAS SOPS 36099 HAS SOUS 35407 HAS SOUPS 35157 WITH SCORE 35193.349
AT ITER 162 NEW BEST:: SOT 66196 SOS 36310 HAS SOPS 36060 HAS SOUS 35348 HAS SOUPS 35098 WITH SCORE 35134.31
AT ITER 166 NEW BEST:: SOT 66109 SOS 36165 HAS SOPS 35915 HAS SOUS 35203 HAS SOUPS 34953 WITH SCORE 34989.165
AT ITER 182 NEW BEST:: SOT 65934 SOS 35896 HAS SOPS 35646 HAS SOUS 34971 HAS SOUPS 34721 WITH SCORE 34756.896
AT ITER 187 NEW BEST:: SOT 65867 SOS 35729 HAS SOPS 35479 HAS SOUS 34843 HAS SOUPS 34593 WITH SCORE 34628.729
AT ITER 190 NEW BEST:: SOT 65765 SOS 35565 HAS SOPS 35315 HAS SOUS 34679 HAS SOUPS 34429 WITH SCORE 34464.565
AT ITER 191 NEW BEST:: SOT 65666 SOS 35387 HAS SOPS 35137 HAS SOUS 34587 HAS SOUPS 34337 WITH SCORE 34372.387
AT ITER 193 NEW BEST:: SOT 65819 SOS 35476 HAS SOPS 35226 HAS SOUS 34575 HAS SOUPS 34325 WITH SCORE 34360.476
AT ITER 196 NEW BEST:: SOT 65872 SOS 35482 HAS SOPS 35232 HAS SOUS 34566 HAS SOUPS 34316 WITH SCORE 34351.482
AT ITER 197 NEW BEST:: SOT 65810 SOS 35358 HAS SOPS 35108 HAS SOUS 34442 HAS SOUPS 34192 WITH SCORE 34227.358
AT ITER 199 NEW BEST:: SOT 65802 SOS 35350 HAS SOPS 35100 HAS SOUS 34434 HAS SOUPS 34184 WITH SCORE 34219.35
AT ITER 202 NEW BEST:: SOT 65510 SOS 34491 HAS SOPS 34241 HAS SOUS 33694 HAS SOUPS 33444 WITH SCORE 33478.491
AT ITER 203 NEW BEST:: SOT 65403 SOS 34280 HAS SOPS 34030 HAS SOUS 33422 HAS SOUPS 33172 WITH SCORE 33206.28
AT ITER 215 NEW BEST:: SOT 65399 SOS 34276 HAS SOPS 34026 HAS SOUS 33414 HAS SOUPS 33164 WITH SCORE 33198.276
AT ITER 218 NEW BEST:: SOT 65296 SOS 33862 HAS SOPS 33612 HAS SOUS 33098 HAS SOUPS 32848 WITH SCORE 32881.862
AT ITER 223 NEW BEST:: SOT 65296 SOS 33858 HAS SOPS 33608 HAS SOUS 33094 HAS SOUPS 32844 WITH SCORE 32877.858
AT ITER 225 NEW BEST:: SOT 65092 SOS 33332 HAS SOPS 33082 HAS SOUS 32568 HAS SOUPS 32318 WITH SCORE 32351.332
AT ITER 226 NEW BEST:: SOT 65046 SOS 33263 HAS SOPS 33013 HAS SOUS 32499 HAS SOUPS 32249 WITH SCORE 32282.263
AT ITER 228 NEW BEST:: SOT 65013 SOS 33230 HAS SOPS 32980 HAS SOUS 32466 HAS SOUPS 32216 WITH SCORE 32249.23
AT ITER 232 NEW BEST:: SOT 65013 SOS 33213 HAS SOPS 32963 HAS SOUS 32449 HAS SOUPS 32199 WITH SCORE 32232.213
AT ITER 234 NEW BEST:: SOT 64884 SOS 32869 HAS SOPS 32619 HAS SOUS 32105 HAS SOUPS 31855 WITH SCORE 31887.869
AT ITER 235 NEW BEST:: SOT 64880 SOS 32861 HAS SOPS 32611 HAS SOUS 32097 HAS SOUPS 31847 WITH SCORE 31879.861
AT ITER 237 NEW BEST:: SOT 64870 SOS 32841 HAS SOPS 32591 HAS SOUS 32087 HAS SOUPS 31837 WITH SCORE 31869.841
AT ITER 239 NEW BEST:: SOT 64855 SOS 32826 HAS SOPS 32576 HAS SOUS 32072 HAS SOUPS 31822 WITH SCORE 31854.826
AT ITER 242 NEW BEST:: SOT 64846 SOS 32803 HAS SOPS 32553 HAS SOUS 32049 HAS SOUPS 31799 WITH SCORE 31831.803
AT ITER 246 NEW BEST:: SOT 64789 SOS 32700 HAS SOPS 32450 HAS SOUS 31953 HAS SOUPS 31703 WITH SCORE 31735.7
AT ITER 256 NEW BEST:: SOT 64745 SOS 32625 HAS SOPS 32375 HAS SOUS 31878 HAS SOUPS 31628 WITH SCORE 31660.625
AT ITER 257 NEW BEST:: SOT 64649 SOS 32263 HAS SOPS 32013 HAS SOUS 31516 HAS SOUPS 31266 WITH SCORE 31298.263
AT ITER 259 NEW BEST:: SOT 64566 SOS 32136 HAS SOPS 31886 HAS SOUS 31389 HAS SOUPS 31139 WITH SCORE 31171.136
AT ITER 260 NEW BEST:: SOT 64504 SOS 32061 HAS SOPS 31811 HAS SOUS 31326 HAS SOUPS 31076 WITH SCORE 31108.061
AT ITER 264 NEW BEST:: SOT 64423 SOS 31780 HAS SOPS 31530 HAS SOUS 31060 HAS SOUPS 30810 WITH SCORE 30841.78
AT ITER 268 NEW BEST:: SOT 64414 SOS 31771 HAS SOPS 31521 HAS SOUS 31051 HAS SOUPS 30801 WITH SCORE 30832.771
AT ITER 269 NEW BEST:: SOT 64388 SOS 31667 HAS SOPS 31417 HAS SOUS 30947 HAS SOUPS 30697 WITH SCORE 30728.667
AT ITER 270 NEW BEST:: SOT 64360 SOS 31604 HAS SOPS 31354 HAS SOUS 30884 HAS SOUPS 30634 WITH SCORE 30665.604
AT ITER 271 NEW BEST:: SOT 64282 SOS 31448 HAS SOPS 31198 HAS SOUS 30728 HAS SOUPS 30478 WITH SCORE 30509.448
AT ITER 273 NEW BEST:: SOT 64156 SOS 31238 HAS SOPS 30988 HAS SOUS 30518 HAS SOUPS 30268 WITH SCORE 30299.238
AT ITER 289 NEW BEST:: SOT 64048 SOS 31076 HAS SOPS 30826 HAS SOUS 30356 HAS SOUPS 30106 WITH SCORE 30137.076
AT ITER 290 NEW BEST:: SOT 64019 SOS 30960 HAS SOPS 30710 HAS SOUS 30240 HAS SOUPS 29990 WITH SCORE 30020.96
AT ITER 293 NEW BEST:: SOT 63873 SOS 30423 HAS SOPS 30173 HAS SOUS 29802 HAS SOUPS 29552 WITH SCORE 29582.423
AT ITER 295 NEW BEST:: SOT 63831 SOS 30299 HAS SOPS 30049 HAS SOUS 29678 HAS SOUPS 29428 WITH SCORE 29458.299
AT ITER 296 NEW BEST:: SOT 63843 SOS 30287 HAS SOPS 30037 HAS SOUS 29666 HAS SOUPS 29416 WITH SCORE 29446.287
AT ITER 297 NEW BEST:: SOT 63813 SOS 30227 HAS SOPS 29977 HAS SOUS 29606 HAS SOUPS 29356 WITH SCORE 29386.227
AT ITER 298 NEW BEST:: SOT 63785 SOS 30143 HAS SOPS 29893 HAS SOUS 29522 HAS SOUPS 29272 WITH SCORE 29302.143
AT ITER 305 NEW BEST:: SOT 63737 SOS 29927 HAS SOPS 29677 HAS SOUS 29306 HAS SOUPS 29056 WITH SCORE 29085.927
AT ITER 306 NEW BEST:: SOT 63711 SOS 29888 HAS SOPS 29638 HAS SOUS 29267 HAS SOUPS 29017 WITH SCORE 29046.888
AT ITER 307 NEW BEST:: SOT 63335 SOS 29082 HAS SOPS 28832 HAS SOUS 28586 HAS SOUPS 28336 WITH SCORE 28365.082
AT ITER 308 NEW BEST:: SOT 63323 SOS 28938 HAS SOPS 28688 HAS SOUS 28428 HAS SOUPS 28178 WITH SCORE 28206.938
AT ITER 313 NEW BEST:: SOT 63211 SOS 28771 HAS SOPS 28535 HAS SOUS 28261 HAS SOUPS 28025 WITH SCORE 28053.771
AT ITER 315 NEW BEST:: SOT 63193 SOS 28744 HAS SOPS 28508 HAS SOUS 28234 HAS SOUPS 27998 WITH SCORE 28026.744
AT ITER 318 NEW BEST:: SOT 63193 SOS 28742 HAS SOPS 28506 HAS SOUS 28232 HAS SOUPS 27996 WITH SCORE 28024.742
AT ITER 319 NEW BEST:: SOT 63179 SOS 28697 HAS SOPS 28461 HAS SOUS 28187 HAS SOUPS 27951 WITH SCORE 27979.697
AT ITER 320 NEW BEST:: SOT 63041 SOS 28253 HAS SOPS 28017 HAS SOUS 27569 HAS SOUPS 27333 WITH SCORE 27361.253
AT ITER 332 NEW BEST:: SOT 63033 SOS 28115 HAS SOPS 27879 HAS SOUS 27345 HAS SOUPS 27109 WITH SCORE 27137.115
AT ITER 333 NEW BEST:: SOT 63023 SOS 28065 HAS SOPS 27829 HAS SOUS 27295 HAS SOUPS 27059 WITH SCORE 27087.065
AT ITER 340 NEW BEST:: SOT 63045 SOS 28038 HAS SOPS 27802 HAS SOUS 27287 HAS SOUPS 27051 WITH SCORE 27079.038
AT ITER 344 NEW BEST:: SOT 63039 SOS 28020 HAS SOPS 27784 HAS SOUS 27269 HAS SOUPS 27033 WITH SCORE 27061.02
AT ITER 347 NEW BEST:: SOT 62993 SOS 27775 HAS SOPS 27539 HAS SOUS 27024 HAS SOUPS 26788 WITH SCORE 26815.775
AT ITER 348 NEW BEST:: SOT 62953 SOS 27695 HAS SOPS 27459 HAS SOUS 26944 HAS SOUPS 26708 WITH SCORE 26735.695
AT ITER 349 NEW BEST:: SOT 62946 SOS 27679 HAS SOPS 27443 HAS SOUS 26928 HAS SOUPS 26692 WITH SCORE 26719.679
AT ITER 358 NEW BEST:: SOT 62950 SOS 27581 HAS SOPS 27345 HAS SOUS 26865 HAS SOUPS 26629 WITH SCORE 26656.581
AT ITER 359 NEW BEST:: SOT 62971 SOS 27578 HAS SOPS 27342 HAS SOUS 26862 HAS SOUPS 26626 WITH SCORE 26653.578
AT ITER 361 NEW BEST:: SOT 62928 SOS 27545 HAS SOPS 27309 HAS SOUS 26802 HAS SOUPS 26566 WITH SCORE 26593.545
AT ITER 363 NEW BEST:: SOT 62745 SOS 27301 HAS SOPS 27065 HAS SOUS 26558 HAS SOUPS 26322 WITH SCORE 26349.301
AT ITER 364 NEW BEST:: SOT 62652 SOS 27017 HAS SOPS 26781 HAS SOUS 26274 HAS SOUPS 26038 WITH SCORE 26065.017
AT ITER 366 NEW BEST:: SOT 62604 SOS 26941 HAS SOPS 26705 HAS SOUS 26198 HAS SOUPS 25962 WITH SCORE 25988.941
AT ITER 374 NEW BEST:: SOT 62658 SOS 26862 HAS SOPS 26626 HAS SOUS 26119 HAS SOUPS 25883 WITH SCORE 25909.862
AT ITER 375 NEW BEST:: SOT 62466 SOS 26406 HAS SOPS 26170 HAS SOUS 25645 HAS SOUPS 25409 WITH SCORE 25435.406
AT ITER 376 NEW BEST:: SOT 62465 SOS 26403 HAS SOPS 26167 HAS SOUS 25642 HAS SOUPS 25406 WITH SCORE 25432.403
AT ITER 383 NEW BEST:: SOT 62364 SOS 26342 HAS SOPS 26106 HAS SOUS 25581 HAS SOUPS 25345 WITH SCORE 25371.342
AT ITER 384 NEW BEST:: SOT 62334 SOS 26236 HAS SOPS 26000 HAS SOUS 25493 HAS SOUPS 25257 WITH SCORE 25283.236
AT ITER 387 NEW BEST:: SOT 62355 SOS 26138 HAS SOPS 25902 HAS SOUS 25393 HAS SOUPS 25157 WITH SCORE 25183.138
AT ITER 398 NEW BEST:: SOT 62222 SOS 25679 HAS SOPS 25443 HAS SOUS 24934 HAS SOUPS 24698 WITH SCORE 24723.679
AT ITER 405 NEW BEST:: SOT 62123 SOS 25463 HAS SOPS 25227 HAS SOUS 24745 HAS SOUPS 24509 WITH SCORE 24534.463
AT ITER 409 NEW BEST:: SOT 61935 SOS 25409 HAS SOPS 25173 HAS SOUS 24691 HAS SOUPS 24455 WITH SCORE 24480.409
AT ITER 413 NEW BEST:: SOT 61928 SOS 25381 HAS SOPS 25145 HAS SOUS 24663 HAS SOUPS 24427 WITH SCORE 24452.381
AT ITER 414 NEW BEST:: SOT 62049 SOS 25341 HAS SOPS 25105 HAS SOUS 24623 HAS SOUPS 24387 WITH SCORE 24412.341
AT ITER 417 NEW BEST:: SOT 61998 SOS 25290 HAS SOPS 25054 HAS SOUS 24572 HAS SOUPS 24336 WITH SCORE 24361.29
AT ITER 418 NEW BEST:: SOT 61897 SOS 24949 HAS SOPS 24713 HAS SOUS 24231 HAS SOUPS 23995 WITH SCORE 24019.949
AT ITER 424 NEW BEST:: SOT 61765 SOS 24579 HAS SOPS 24343 HAS SOUS 23861 HAS SOUPS 23625 WITH SCORE 23649.579
AT ITER 428 NEW BEST:: SOT 61873 SOS 24413 HAS SOPS 24177 HAS SOUS 23621 HAS SOUPS 23385 WITH SCORE 23409.413
AT ITER 429 NEW BEST:: SOT 61754 SOS 24109 HAS SOPS 23873 HAS SOUS 23317 HAS SOUPS 23081 WITH SCORE 23105.109
AT ITER 430 NEW BEST:: SOT 61712 SOS 24046 HAS SOPS 23810 HAS SOUS 23254 HAS SOUPS 23018 WITH SCORE 23042.046
AT ITER 442 NEW BEST:: SOT 61805 SOS 23968 HAS SOPS 23732 HAS SOUS 23176 HAS SOUPS 22940 WITH SCORE 22963.968
AT ITER 450 NEW BEST:: SOT 61742 SOS 23803 HAS SOPS 23567 HAS SOUS 23011 HAS SOUPS 22775 WITH SCORE 22798.803
AT ITER 458 NEW BEST:: SOT 61740 SOS 23801 HAS SOPS 23565 HAS SOUS 23009 HAS SOUPS 22773 WITH SCORE 22796.801
AT ITER 459 NEW BEST:: SOT 61722 SOS 23689 HAS SOPS 23453 HAS SOUS 22890 HAS SOUPS 22654 WITH SCORE 22677.689
AT ITER 470 NEW BEST:: SOT 61702 SOS 23629 HAS SOPS 23393 HAS SOUS 22830 HAS SOUPS 22594 WITH SCORE 22617.629
AT ITER 473 NEW BEST:: SOT 61506 SOS 23245 HAS SOPS 23009 HAS SOUS 22446 HAS SOUPS 22210 WITH SCORE 22233.245
AT ITER 479 NEW BEST:: SOT 61479 SOS 23208 HAS SOPS 22972 HAS SOUS 22423 HAS SOUPS 22187 WITH SCORE 22210.208
AT ITER 485 NEW BEST:: SOT 61471 SOS 23192 HAS SOPS 22956 HAS SOUS 22407 HAS SOUPS 22171 WITH SCORE 22194.192
AT ITER 488 NEW BEST:: SOT 61440 SOS 23068 HAS SOPS 22832 HAS SOUS 22283 HAS SOUPS 22047 WITH SCORE 22070.068
AT ITER 494 NEW BEST:: SOT 61284 SOS 22688 HAS SOPS 22452 HAS SOUS 21901 HAS SOUPS 21665 WITH SCORE 21687.688
AT ITER 504 NEW BEST:: SOT 61284 SOS 22688 HAS SOPS 22452 HAS SOUS 21872 HAS SOUPS 21636 WITH SCORE 21658.688
AT ITER 518 NEW BEST:: SOT 61283 SOS 22685 HAS SOPS 22449 HAS SOUS 21869 HAS SOUPS 21633 WITH SCORE 21655.685
AT ITER 521 NEW BEST:: SOT 61271 SOS 22673 HAS SOPS 22437 HAS SOUS 21857 HAS SOUPS 21621 WITH SCORE 21643.673
AT ITER 522 NEW BEST:: SOT 61263 SOS 22657 HAS SOPS 22421 HAS SOUS 21841 HAS SOUPS 21605 WITH SCORE 21627.657
AT ITER 529 NEW BEST:: SOT 61193 SOS 22456 HAS SOPS 22220 HAS SOUS 21685 HAS SOUPS 21449 WITH SCORE 21471.456
AT ITER 531 NEW BEST:: SOT 61064 SOS 22297 HAS SOPS 22061 HAS SOUS 21471 HAS SOUPS 21235 WITH SCORE 21257.297
AT ITER 534 NEW BEST:: SOT 61031 SOS 22253 HAS SOPS 22017 HAS SOUS 21427 HAS SOUPS 21191 WITH SCORE 21213.253
AT ITER 547 NEW BEST:: SOT 60863 SOS 22087 HAS SOPS 21851 HAS SOUS 21261 HAS SOUPS 21025 WITH SCORE 21047.087
AT ITER 548 NEW BEST:: SOT 60843 SOS 22047 HAS SOPS 21811 HAS SOUS 21221 HAS SOUPS 20985 WITH SCORE 21007.047
AT ITER 551 NEW BEST:: SOT 60669 SOS 21565 HAS SOPS 21329 HAS SOUS 20817 HAS SOUPS 20581 WITH SCORE 20602.565
AT ITER 558 NEW BEST:: SOT 60637 SOS 21513 HAS SOPS 21277 HAS SOUS 20765 HAS SOUPS 20529 WITH SCORE 20550.513
AT ITER 560 NEW BEST:: SOT 60633 SOS 21492 HAS SOPS 21256 HAS SOUS 20744 HAS SOUPS 20508 WITH SCORE 20529.492
AT ITER 573 NEW BEST:: SOT 60676 SOS 21492 HAS SOPS 21256 HAS SOUS 20732 HAS SOUPS 20496 WITH SCORE 20517.492
AT ITER 575 NEW BEST:: SOT 60647 SOS 21323 HAS SOPS 21087 HAS SOUS 20563 HAS SOUPS 20327 WITH SCORE 20348.323
AT ITER 581 NEW BEST:: SOT 60574 SOS 21257 HAS SOPS 21021 HAS SOUS 20497 HAS SOUPS 20261 WITH SCORE 20282.257
AT ITER 583 NEW BEST:: SOT 60557 SOS 21206 HAS SOPS 20970 HAS SOUS 20446 HAS SOUPS 20210 WITH SCORE 20231.206
AT ITER 587 NEW BEST:: SOT 60527 SOS 21137 HAS SOPS 20901 HAS SOUS 20377 HAS SOUPS 20141 WITH SCORE 20162.137
AT ITER 589 NEW BEST:: SOT 60361 SOS 21010 HAS SOPS 20774 HAS SOUS 20236 HAS SOUPS 20000 WITH SCORE 20021.01
AT ITER 594 NEW BEST:: SOT 60357 SOS 20990 HAS SOPS 20754 HAS SOUS 20220 HAS SOUPS 19984 WITH SCORE 20004.99
AT ITER 595 NEW BEST:: SOT 60353 SOS 20986 HAS SOPS 20750 HAS SOUS 20216 HAS SOUPS 19980 WITH SCORE 20000.986
AT ITER 604 NEW BEST:: SOT 60278 SOS 20691 HAS SOPS 20455 HAS SOUS 19995 HAS SOUPS 19759 WITH SCORE 19779.691
AT ITER 613 NEW BEST:: SOT 60271 SOS 20674 HAS SOPS 20438 HAS SOUS 19974 HAS SOUPS 19738 WITH SCORE 19758.674
AT ITER 615 NEW BEST:: SOT 60279 SOS 20668 HAS SOPS 20432 HAS SOUS 19968 HAS SOUPS 19732 WITH SCORE 19752.668
AT ITER 616 NEW BEST:: SOT 60277 SOS 20666 HAS SOPS 20430 HAS SOUS 19966 HAS SOUPS 19730 WITH SCORE 19750.666
AT ITER 624 NEW BEST:: SOT 60298 SOS 20641 HAS SOPS 20405 HAS SOUS 19941 HAS SOUPS 19705 WITH SCORE 19725.641
AT ITER 631 NEW BEST:: SOT 60288 SOS 20616 HAS SOPS 20380 HAS SOUS 19916 HAS SOUPS 19680 WITH SCORE 19700.616
AT ITER 649 NEW BEST:: SOT 60154 SOS 20436 HAS SOPS 20200 HAS SOUS 19660 HAS SOUPS 19424 WITH SCORE 19444.436
AT ITER 656 NEW BEST:: SOT 60065 SOS 20327 HAS SOPS 20091 HAS SOUS 19531 HAS SOUPS 19295 WITH SCORE 19315.327
AT ITER 664 NEW BEST:: SOT 59993 SOS 20188 HAS SOPS 19952 HAS SOUS 19410 HAS SOUPS 19174 WITH SCORE 19194.188
AT ITER 669 NEW BEST:: SOT 59891 SOS 19942 HAS SOPS 19706 HAS SOUS 19164 HAS SOUPS 18928 WITH SCORE 18947.942
AT ITER 670 NEW BEST:: SOT 59846 SOS 19863 HAS SOPS 19627 HAS SOUS 19085 HAS SOUPS 18849 WITH SCORE 18868.863
AT ITER 674 NEW BEST:: SOT 59817 SOS 19705 HAS SOPS 19469 HAS SOUS 18946 HAS SOUPS 18710 WITH SCORE 18729.705
AT ITER 683 NEW BEST:: SOT 59769 SOS 19657 HAS SOPS 19421 HAS SOUS 18898 HAS SOUPS 18662 WITH SCORE 18681.657
AT ITER 686 NEW BEST:: SOT 59763 SOS 19651 HAS SOPS 19415 HAS SOUS 18892 HAS SOUPS 18656 WITH SCORE 18675.651
AT ITER 688 NEW BEST:: SOT 59759 SOS 19649 HAS SOPS 19413 HAS SOUS 18885 HAS SOUPS 18649 WITH SCORE 18668.649
AT ITER 703 NEW BEST:: SOT 59719 SOS 19580 HAS SOPS 19344 HAS SOUS 18816 HAS SOUPS 18580 WITH SCORE 18599.58
AT ITER 706 NEW BEST:: SOT 59717 SOS 19578 HAS SOPS 19342 HAS SOUS 18814 HAS SOUPS 18578 WITH SCORE 18597.578
AT ITER 709 NEW BEST:: SOT 59713 SOS 19572 HAS SOPS 19336 HAS SOUS 18808 HAS SOUPS 18572 WITH SCORE 18591.572
AT ITER 711 NEW BEST:: SOT 59695 SOS 19554 HAS SOPS 19318 HAS SOUS 18790 HAS SOUPS 18554 WITH SCORE 18573.554
AT ITER 714 NEW BEST:: SOT 59673 SOS 19488 HAS SOPS 19252 HAS SOUS 18735 HAS SOUPS 18499 WITH SCORE 18518.488
AT ITER 721 NEW BEST:: SOT 59661 SOS 19451 HAS SOPS 19211 HAS SOUS 18710 HAS SOUPS 18470 WITH SCORE 18489.451
AT ITER 722 NEW BEST:: SOT 59639 SOS 19408 HAS SOPS 19168 HAS SOUS 18671 HAS SOUPS 18431 WITH SCORE 18450.408
AT ITER 723 NEW BEST:: SOT 59650 SOS 19402 HAS SOPS 19162 HAS SOUS 18665 HAS SOUPS 18425 WITH SCORE 18444.402
AT ITER 732 NEW BEST:: SOT 59587 SOS 19397 HAS SOPS 19157 HAS SOUS 18621 HAS SOUPS 18381 WITH SCORE 18400.397
AT ITER 757 NEW BEST:: SOT 59578 SOS 19388 HAS SOPS 19148 HAS SOUS 18603 HAS SOUPS 18363 WITH SCORE 18382.388
AT ITER 765 NEW BEST:: SOT 59564 SOS 19332 HAS SOPS 19092 HAS SOUS 18561 HAS SOUPS 18321 WITH SCORE 18340.332
AT ITER 767 NEW BEST:: SOT 59394 SOS 18997 HAS SOPS 18757 HAS SOUS 18267 HAS SOUPS 18027 WITH SCORE 18045.997
AT ITER 794 NEW BEST:: SOT 59385 SOS 18961 HAS SOPS 18721 HAS SOUS 18231 HAS SOUPS 17991 WITH SCORE 18009.961
AT ITER 803 NEW BEST:: SOT 59376 SOS 18946 HAS SOPS 18706 HAS SOUS 18216 HAS SOUPS 17976 WITH SCORE 17994.946
AT ITER 806 NEW BEST:: SOT 59369 SOS 18881 HAS SOPS 18641 HAS SOUS 18206 HAS SOUPS 17966 WITH SCORE 17984.881
AT ITER 812 NEW BEST:: SOT 59371 SOS 18877 HAS SOPS 18637 HAS SOUS 18202 HAS SOUPS 17962 WITH SCORE 17980.877
AT ITER 813 NEW BEST:: SOT 59359 SOS 18864 HAS SOPS 18624 HAS SOUS 18189 HAS SOUPS 17949 WITH SCORE 17967.864
AT ITER 814 NEW BEST:: SOT 59316 SOS 18800 HAS SOPS 18560 HAS SOUS 18125 HAS SOUPS 17885 WITH SCORE 17903.8
AT ITER 817 NEW BEST:: SOT 59296 SOS 18792 HAS SOPS 18552 HAS SOUS 18111 HAS SOUPS 17871 WITH SCORE 17889.792
AT ITER 820 NEW BEST:: SOT 58912 SOS 18024 HAS SOPS 17784 HAS SOUS 17439 HAS SOUPS 17199 WITH SCORE 17217.024
AT ITER 825 NEW BEST:: SOT 58827 SOS 17911 HAS SOPS 17671 HAS SOUS 17326 HAS SOUPS 17086 WITH SCORE 17103.911
AT ITER 836 NEW BEST:: SOT 58778 SOS 17750 HAS SOPS 17510 HAS SOUS 17209 HAS SOUPS 16969 WITH SCORE 16986.75
AT ITER 842 NEW BEST:: SOT 58785 SOS 17756 HAS SOPS 17516 HAS SOUS 17202 HAS SOUPS 16962 WITH SCORE 16979.756
AT ITER 854 NEW BEST:: SOT 58729 SOS 17684 HAS SOPS 17444 HAS SOUS 17130 HAS SOUPS 16890 WITH SCORE 16907.684
AT ITER 855 NEW BEST:: SOT 58742 SOS 17643 HAS SOPS 17403 HAS SOUS 17100 HAS SOUPS 16860 WITH SCORE 16877.643
AT ITER 870 NEW BEST:: SOT 58724 SOS 17641 HAS SOPS 17401 HAS SOUS 17098 HAS SOUPS 16858 WITH SCORE 16875.641
AT ITER 886 NEW BEST:: SOT 58650 SOS 17504 HAS SOPS 17264 HAS SOUS 16978 HAS SOUPS 16738 WITH SCORE 16755.504
AT ITER 903 NEW BEST:: SOT 58618 SOS 17416 HAS SOPS 17176 HAS SOUS 16890 HAS SOUPS 16650 WITH SCORE 16667.416
AT ITER 909 NEW BEST:: SOT 58583 SOS 17311 HAS SOPS 17071 HAS SOUS 16785 HAS SOUPS 16545 WITH SCORE 16562.311
AT ITER 910 NEW BEST:: SOT 58582 SOS 17292 HAS SOPS 17052 HAS SOUS 16766 HAS SOUPS 16526 WITH SCORE 16543.292
AT ITER 911 NEW BEST:: SOT 58567 SOS 17263 HAS SOPS 17023 HAS SOUS 16737 HAS SOUPS 16497 WITH SCORE 16514.263
AT ITER 912 NEW BEST:: SOT 58397 SOS 17133 HAS SOPS 16893 HAS SOUS 16607 HAS SOUPS 16367 WITH SCORE 16384.133
AT ITER 923 NEW BEST:: SOT 58393 SOS 17131 HAS SOPS 16891 HAS SOUS 16605 HAS SOUPS 16365 WITH SCORE 16382.131
AT ITER 932 NEW BEST:: SOT 58361 SOS 17015 HAS SOPS 16775 HAS SOUS 16489 HAS SOUPS 16249 WITH SCORE 16266.015
AT ITER 955 NEW BEST:: SOT 58328 SOS 16978 HAS SOPS 16738 HAS SOUS 16452 HAS SOUPS 16212 WITH SCORE 16228.978
AT ITER 962 NEW BEST:: SOT 58248 SOS 16531 HAS SOPS 16291 HAS SOUS 16097 HAS SOUPS 15857 WITH SCORE 15873.531
AT ITER 973 NEW BEST:: SOT 58259 SOS 16525 HAS SOPS 16285 HAS SOUS 16091 HAS SOUPS 15851 WITH SCORE 15867.525
AT ITER 979 NEW BEST:: SOT 58230 SOS 16414 HAS SOPS 16174 HAS SOUS 15980 HAS SOUPS 15740 WITH SCORE 15756.414
AT ITER 982 NEW BEST:: SOT 58228 SOS 16405 HAS SOPS 16165 HAS SOUS 15971 HAS SOUPS 15731 WITH SCORE 15747.405
AT ITER 985 NEW BEST:: SOT 58200 SOS 16377 HAS SOPS 16137 HAS SOUS 15943 HAS SOUPS 15703 WITH SCORE 15719.377
AT ITER 990 NEW BEST:: SOT 58196 SOS 16368 HAS SOPS 16128 HAS SOUS 15932 HAS SOUPS 15692 WITH SCORE 15708.368
AT ITER 1022 NEW BEST:: SOT 58171 SOS 16340 HAS SOPS 16100 HAS SOUS 15892 HAS SOUPS 15652 WITH SCORE 15668.34
AT ITER 1026 NEW BEST:: SOT 58116 SOS 16259 HAS SOPS 16019 HAS SOUS 15811 HAS SOUPS 15571 WITH SCORE 15587.259
AT ITER 1042 NEW BEST:: SOT 58085 SOS 16225 HAS SOPS 15985 HAS SOUS 15784 HAS SOUPS 15544 WITH SCORE 15560.225
AT ITER 1049 NEW BEST:: SOT 58080 SOS 16210 HAS SOPS 15970 HAS SOUS 15764 HAS SOUPS 15524 WITH SCORE 15540.21
AT ITER 1055 NEW BEST:: SOT 58080 SOS 16198 HAS SOPS 15958 HAS SOUS 15752 HAS SOUPS 15512 WITH SCORE 15528.198
AT ITER 1061 NEW BEST:: SOT 58074 SOS 16169 HAS SOPS 15929 HAS SOUS 15731 HAS SOUPS 15491 WITH SCORE 15507.169
AT ITER 1065 NEW BEST:: SOT 58080 SOS 16168 HAS SOPS 15928 HAS SOUS 15730 HAS SOUPS 15490 WITH SCORE 15506.168
AT ITER 1070 NEW BEST:: SOT 58113 SOS 16125 HAS SOPS 15883 HAS SOUS 15730 HAS SOUPS 15488 WITH SCORE 15504.125
AT ITER 1076 NEW BEST:: SOT 58113 SOS 16124 HAS SOPS 15882 HAS SOUS 15729 HAS SOUPS 15487 WITH SCORE 15503.124
AT ITER 1086 NEW BEST:: SOT 58102 SOS 16110 HAS SOPS 15868 HAS SOUS 15715 HAS SOUPS 15473 WITH SCORE 15489.11
AT ITER 1092 NEW BEST:: SOT 58089 SOS 16097 HAS SOPS 15855 HAS SOUS 15702 HAS SOUPS 15460 WITH SCORE 15476.097
AT ITER 1102 NEW BEST:: SOT 58009 SOS 15990 HAS SOPS 15748 HAS SOUS 15599 HAS SOUPS 15357 WITH SCORE 15372.99
AT ITER 1103 NEW BEST:: SOT 57998 SOS 15987 HAS SOPS 15745 HAS SOUS 15568 HAS SOUPS 15326 WITH SCORE 15341.987
AT ITER 1107 NEW BEST:: SOT 58033 SOS 15904 HAS SOPS 15662 HAS SOUS 15485 HAS SOUPS 15243 WITH SCORE 15258.904
AT ITER 1142 NEW BEST:: SOT 58032 SOS 15900 HAS SOPS 15658 HAS SOUS 15482 HAS SOUPS 15240 WITH SCORE 15255.9
AT ITER 1143 NEW BEST:: SOT 58041 SOS 15684 HAS SOPS 15442 HAS SOUS 15472 HAS SOUPS 15230 WITH SCORE 15245.684
AT ITER 1145 NEW BEST:: SOT 58050 SOS 15723 HAS SOPS 15481 HAS SOUS 15465 HAS SOUPS 15223 WITH SCORE 15238.723
AT ITER 1153 NEW BEST:: SOT 58048 SOS 15719 HAS SOPS 15477 HAS SOUS 15461 HAS SOUPS 15219 WITH SCORE 15234.719
AT ITER 1163 NEW BEST:: SOT 58035 SOS 15667 HAS SOPS 15425 HAS SOUS 15422 HAS SOUPS 15180 WITH SCORE 15195.667
AT ITER 1168 NEW BEST:: SOT 58017 SOS 15649 HAS SOPS 15407 HAS SOUS 15404 HAS SOUPS 15162 WITH SCORE 15177.649
AT ITER 1182 NEW BEST:: SOT 58016 SOS 15645 HAS SOPS 15403 HAS SOUS 15400 HAS SOUPS 15158 WITH SCORE 15173.645
AT ITER 1186 NEW BEST:: SOT 58006 SOS 15626 HAS SOPS 15384 HAS SOUS 15379 HAS SOUPS 15137 WITH SCORE 15152.626
AT ITER 1189 NEW BEST:: SOT 57978 SOS 15590 HAS SOPS 15350 HAS SOUS 15324 HAS SOUPS 15084 WITH SCORE 15099.59
AT ITER 1190 NEW BEST:: SOT 57930 SOS 15448 HAS SOPS 15208 HAS SOUS 15182 HAS SOUPS 14942 WITH SCORE 14957.448
AT ITER 1193 NEW BEST:: SOT 57806 SOS 15348 HAS SOPS 15108 HAS SOUS 15082 HAS SOUPS 14842 WITH SCORE 14857.348
AT ITER 1196 NEW BEST:: SOT 57619 SOS 15134 HAS SOPS 14894 HAS SOUS 14882 HAS SOUPS 14642 WITH SCORE 14657.134
AT ITER 1210 NEW BEST:: SOT 57483 SOS 14860 HAS SOPS 14620 HAS SOUS 14636 HAS SOUPS 14396 WITH SCORE 14410.86
AT ITER 1215 NEW BEST:: SOT 57441 SOS 14804 HAS SOPS 14564 HAS SOUS 14580 HAS SOUPS 14340 WITH SCORE 14354.804
AT ITER 1219 NEW BEST:: SOT 57441 SOS 14783 HAS SOPS 14543 HAS SOUS 14559 HAS SOUPS 14319 WITH SCORE 14333.783
AT ITER 1223 NEW BEST:: SOT 57420 SOS 14734 HAS SOPS 14494 HAS SOUS 14510 HAS SOUPS 14270 WITH SCORE 14284.734
AT ITER 1224 NEW BEST:: SOT 57394 SOS 14703 HAS SOPS 14463 HAS SOUS 14479 HAS SOUPS 14239 WITH SCORE 14253.703
AT ITER 1227 NEW BEST:: SOT 57421 SOS 14682 HAS SOPS 14442 HAS SOUS 14458 HAS SOUPS 14218 WITH SCORE 14232.682
AT ITER 1228 NEW BEST:: SOT 57408 SOS 14656 HAS SOPS 14416 HAS SOUS 14432 HAS SOUPS 14192 WITH SCORE 14206.656
AT ITER 1237 NEW BEST:: SOT 57391 SOS 14604 HAS SOPS 14364 HAS SOUS 14388 HAS SOUPS 14148 WITH SCORE 14162.604
AT ITER 1256 NEW BEST:: SOT 57386 SOS 14599 HAS SOPS 14359 HAS SOUS 14383 HAS SOUPS 14143 WITH SCORE 14157.599
AT ITER 1257 NEW BEST:: SOT 57365 SOS 14540 HAS SOPS 14300 HAS SOUS 14324 HAS SOUPS 14084 WITH SCORE 14098.54
AT ITER 1263 NEW BEST:: SOT 57362 SOS 14530 HAS SOPS 14290 HAS SOUS 14314 HAS SOUPS 14074 WITH SCORE 14088.53
AT ITER 1287 NEW BEST:: SOT 57314 SOS 14364 HAS SOPS 14124 HAS SOUS 14161 HAS SOUPS 13921 WITH SCORE 13935.364
AT ITER 1289 NEW BEST:: SOT 57302 SOS 14332 HAS SOPS 14092 HAS SOUS 14129 HAS SOUPS 13889 WITH SCORE 13903.332
AT ITER 1292 NEW BEST:: SOT 57280 SOS 14294 HAS SOPS 14054 HAS SOUS 14091 HAS SOUPS 13851 WITH SCORE 13865.294
AT ITER 1305 NEW BEST:: SOT 57201 SOS 14058 HAS SOPS 13818 HAS SOUS 13920 HAS SOUPS 13680 WITH SCORE 13694.058
AT ITER 1314 NEW BEST:: SOT 57182 SOS 14017 HAS SOPS 13777 HAS SOUS 13879 HAS SOUPS 13639 WITH SCORE 13653.017
AT ITER 1315 NEW BEST:: SOT 57182 SOS 13986 HAS SOPS 13746 HAS SOUS 13848 HAS SOUPS 13608 WITH SCORE 13621.986
AT ITER 1325 NEW BEST:: SOT 57182 SOS 13978 HAS SOPS 13738 HAS SOUS 13840 HAS SOUPS 13600 WITH SCORE 13613.978
AT ITER 1336 NEW BEST:: SOT 57147 SOS 13910 HAS SOPS 13670 HAS SOUS 13771 HAS SOUPS 13531 WITH SCORE 13544.91
AT ITER 1369 NEW BEST:: SOT 57180 SOS 13899 HAS SOPS 13659 HAS SOUS 13760 HAS SOUPS 13520 WITH SCORE 13533.899
AT ITER 1388 NEW BEST:: SOT 57174 SOS 13891 HAS SOPS 13651 HAS SOUS 13752 HAS SOUPS 13512 WITH SCORE 13525.891
AT ITER 1391 NEW BEST:: SOT 57160 SOS 13873 HAS SOPS 13633 HAS SOUS 13730 HAS SOUPS 13490 WITH SCORE 13503.873
AT ITER 1394 NEW BEST:: SOT 57148 SOS 13825 HAS SOPS 13585 HAS SOUS 13694 HAS SOUPS 13454 WITH SCORE 13467.825
AT ITER 1398 NEW BEST:: SOT 57098 SOS 13721 HAS SOPS 13481 HAS SOUS 13590 HAS SOUPS 13350 WITH SCORE 13363.721
AT ITER 1399 NEW BEST:: SOT 57086 SOS 13649 HAS SOPS 13409 HAS SOUS 13518 HAS SOUPS 13278 WITH SCORE 13291.649
AT ITER 1416 NEW BEST:: SOT 57012 SOS 13604 HAS SOPS 13364 HAS SOUS 13421 HAS SOUPS 13181 WITH SCORE 13194.604
AT ITER 1421 NEW BEST:: SOT 56989 SOS 13535 HAS SOPS 13295 HAS SOUS 13352 HAS SOUPS 13112 WITH SCORE 13125.535
AT ITER 1445 NEW BEST:: SOT 56968 SOS 13505 HAS SOPS 13265 HAS SOUS 13322 HAS SOUPS 13082 WITH SCORE 13095.505
AT ITER 1449 NEW BEST:: SOT 56946 SOS 13461 HAS SOPS 13221 HAS SOUS 13278 HAS SOUPS 13038 WITH SCORE 13051.461
AT ITER 1456 NEW BEST:: SOT 56936 SOS 13436 HAS SOPS 13196 HAS SOUS 13253 HAS SOUPS 13013 WITH SCORE 13026.436
AT ITER 1460 NEW BEST:: SOT 56908 SOS 13367 HAS SOPS 13127 HAS SOUS 13184 HAS SOUPS 12944 WITH SCORE 12957.367
AT ITER 1468 NEW BEST:: SOT 56906 SOS 13363 HAS SOPS 13123 HAS SOUS 13180 HAS SOUPS 12940 WITH SCORE 12953.363
AT ITER 1472 NEW BEST:: SOT 56897 SOS 13347 HAS SOPS 13107 HAS SOUS 13164 HAS SOUPS 12924 WITH SCORE 12937.347
AT ITER 1486 NEW BEST:: SOT 56867 SOS 13285 HAS SOPS 13045 HAS SOUS 13102 HAS SOUPS 12862 WITH SCORE 12875.285
AT ITER 1499 NEW BEST:: SOT 56849 SOS 13240 HAS SOPS 13000 HAS SOUS 13057 HAS SOUPS 12817 WITH SCORE 12830.24
AT ITER 1504 NEW BEST:: SOT 56828 SOS 13131 HAS SOPS 12891 HAS SOUS 12948 HAS SOUPS 12708 WITH SCORE 12721.131
AT ITER 1518 NEW BEST:: SOT 56797 SOS 13071 HAS SOPS 12831 HAS SOUS 12889 HAS SOUPS 12649 WITH SCORE 12662.071
AT ITER 1533 NEW BEST:: SOT 56778 SOS 13064 HAS SOPS 12824 HAS SOUS 12882 HAS SOUPS 12642 WITH SCORE 12655.064
AT ITER 1553 NEW BEST:: SOT 56774 SOS 13073 HAS SOPS 12833 HAS SOUS 12870 HAS SOUPS 12630 WITH SCORE 12643.073
AT ITER 1559 NEW BEST:: SOT 56710 SOS 12903 HAS SOPS 12663 HAS SOUS 12700 HAS SOUPS 12460 WITH SCORE 12472.903
AT ITER 1562 NEW BEST:: SOT 56709 SOS 12892 HAS SOPS 12652 HAS SOUS 12689 HAS SOUPS 12449 WITH SCORE 12461.892
AT ITER 1568 NEW BEST:: SOT 56674 SOS 12782 HAS SOPS 12542 HAS SOUS 12579 HAS SOUPS 12339 WITH SCORE 12351.782
AT ITER 1570 NEW BEST:: SOT 56668 SOS 12765 HAS SOPS 12525 HAS SOUS 12562 HAS SOUPS 12322 WITH SCORE 12334.765
AT ITER 1601 NEW BEST:: SOT 56698 SOS 12734 HAS SOPS 12494 HAS SOUS 12531 HAS SOUPS 12291 WITH SCORE 12303.734
AT ITER 1608 NEW BEST:: SOT 56670 SOS 12683 HAS SOPS 12443 HAS SOUS 12480 HAS SOUPS 12240 WITH SCORE 12252.683
AT ITER 1630 NEW BEST:: SOT 56659 SOS 12666 HAS SOPS 12426 HAS SOUS 12463 HAS SOUPS 12223 WITH SCORE 12235.666
AT ITER 1678 NEW BEST:: SOT 56638 SOS 12617 HAS SOPS 12377 HAS SOUS 12414 HAS SOUPS 12174 WITH SCORE 12186.617
AT ITER 1690 NEW BEST:: SOT 56592 SOS 12558 HAS SOPS 12318 HAS SOUS 12337 HAS SOUPS 12097 WITH SCORE 12109.558
AT ITER 1695 NEW BEST:: SOT 56577 SOS 12531 HAS SOPS 12291 HAS SOUS 12325 HAS SOUPS 12085 WITH SCORE 12097.531
AT ITER 1701 NEW BEST:: SOT 56544 SOS 12496 HAS SOPS 12256 HAS SOUS 12290 HAS SOUPS 12050 WITH SCORE 12062.496
AT ITER 1704 NEW BEST:: SOT 56508 SOS 12437 HAS SOPS 12197 HAS SOUS 12231 HAS SOUPS 11991 WITH SCORE 12003.437
AT ITER 1737 NEW BEST:: SOT 56544 SOS 12422 HAS SOPS 12182 HAS SOUS 12216 HAS SOUPS 11976 WITH SCORE 11988.422
AT ITER 1751 NEW BEST:: SOT 56565 SOS 12420 HAS SOPS 12180 HAS SOUS 12204 HAS SOUPS 11964 WITH SCORE 11976.42
AT ITER 1758 NEW BEST:: SOT 56551 SOS 12386 HAS SOPS 12146 HAS SOUS 12170 HAS SOUPS 11930 WITH SCORE 11942.386
AT ITER 1762 NEW BEST:: SOT 56490 SOS 12219 HAS SOPS 11979 HAS SOUS 12003 HAS SOUPS 11763 WITH SCORE 11775.219
AT ITER 1763 NEW BEST:: SOT 56475 SOS 12197 HAS SOPS 11957 HAS SOUS 11981 HAS SOUPS 11741 WITH SCORE 11753.197
AT ITER 1779 NEW BEST:: SOT 56461 SOS 12164 HAS SOPS 11924 HAS SOUS 11946 HAS SOUPS 11706 WITH SCORE 11718.164
AT ITER 1789 NEW BEST:: SOT 56461 SOS 12157 HAS SOPS 11917 HAS SOUS 11939 HAS SOUPS 11699 WITH SCORE 11711.157
AT ITER 1811 NEW BEST:: SOT 56441 SOS 12137 HAS SOPS 11897 HAS SOUS 11919 HAS SOUPS 11679 WITH SCORE 11691.137
AT ITER 1816 NEW BEST:: SOT 56416 SOS 12112 HAS SOPS 11872 HAS SOUS 11894 HAS SOUPS 11654 WITH SCORE 11666.112
AT ITER 1826 NEW BEST:: SOT 56416 SOS 12106 HAS SOPS 11866 HAS SOUS 11888 HAS SOUPS 11648 WITH SCORE 11660.106
AT ITER 1836 NEW BEST:: SOT 56402 SOS 12040 HAS SOPS 11800 HAS SOUS 11822 HAS SOUPS 11582 WITH SCORE 11594.04
AT ITER 1845 NEW BEST:: SOT 56388 SOS 12001 HAS SOPS 11761 HAS SOUS 11783 HAS SOUPS 11543 WITH SCORE 11555.001
AT ITER 1861 NEW BEST:: SOT 56381 SOS 11980 HAS SOPS 11740 HAS SOUS 11762 HAS SOUPS 11522 WITH SCORE 11533.98
AT ITER 1906 NEW BEST:: SOT 56381 SOS 11963 HAS SOPS 11723 HAS SOUS 11745 HAS SOUPS 11505 WITH SCORE 11516.963
AT ITER 1919 NEW BEST:: SOT 56421 SOS 11956 HAS SOPS 11716 HAS SOUS 11738 HAS SOUPS 11498 WITH SCORE 11509.956
AT ITER 1928 NEW BEST:: SOT 56419 SOS 11951 HAS SOPS 11711 HAS SOUS 11733 HAS SOUPS 11493 WITH SCORE 11504.951
AT ITER 1929 NEW BEST:: SOT 56418 SOS 11949 HAS SOPS 11709 HAS SOUS 11731 HAS SOUPS 11491 WITH SCORE 11502.949
AT ITER 1932 NEW BEST:: SOT 56387 SOS 11882 HAS SOPS 11642 HAS SOUS 11664 HAS SOUPS 11424 WITH SCORE 11435.882
AT ITER 1949 NEW BEST:: SOT 56352 SOS 11836 HAS SOPS 11596 HAS SOUS 11618 HAS SOUPS 11378 WITH SCORE 11389.836
AT ITER 1952 NEW BEST:: SOT 56278 SOS 11879 HAS SOPS 11639 HAS SOUS 11597 HAS SOUPS 11357 WITH SCORE 11368.879
AT ITER 1953 NEW BEST:: SOT 56244 SOS 11825 HAS SOPS 11585 HAS SOUS 11582 HAS SOUPS 11342 WITH SCORE 11353.825
AT ITER 1955 NEW BEST:: SOT 56213 SOS 11787 HAS SOPS 11547 HAS SOUS 11544 HAS SOUPS 11304 WITH SCORE 11315.787
AT ITER 1963 NEW BEST:: SOT 56199 SOS 11767 HAS SOPS 11527 HAS SOUS 11524 HAS SOUPS 11284 WITH SCORE 11295.767
AT ITER 1975 NEW BEST:: SOT 56167 SOS 11706 HAS SOPS 11466 HAS SOUS 11445 HAS SOUPS 11205 WITH SCORE 11216.706
AT ITER 1976 NEW BEST:: SOT 56165 SOS 11702 HAS SOPS 11462 HAS SOUS 11441 HAS SOUPS 11201 WITH SCORE 11212.702
AT ITER 1984 NEW BEST:: SOT 56161 SOS 11686 HAS SOPS 11446 HAS SOUS 11429 HAS SOUPS 11189 WITH SCORE 11200.686
AT ITER 2031 NEW BEST:: SOT 56039 SOS 11685 HAS SOPS 11445 HAS SOUS 11428 HAS SOUPS 11188 WITH SCORE 11199.685
AT ITER 2041 NEW BEST:: SOT 56017 SOS 11658 HAS SOPS 11418 HAS SOUS 11401 HAS SOUPS 11161 WITH SCORE 11172.658
AT ITER 2046 NEW BEST:: SOT 56006 SOS 11640 HAS SOPS 11400 HAS SOUS 11383 HAS SOUPS 11143 WITH SCORE 11154.64
AT ITER 2059 NEW BEST:: SOT 56001 SOS 11620 HAS SOPS 11380 HAS SOUS 11368 HAS SOUPS 11128 WITH SCORE 11139.62
AT ITER 2106 NEW BEST:: SOT 55994 SOS 11601 HAS SOPS 11361 HAS SOUS 11354 HAS SOUPS 11114 WITH SCORE 11125.601
AT ITER 2115 NEW BEST:: SOT 56017 SOS 11583 HAS SOPS 11343 HAS SOUS 11336 HAS SOUPS 11096 WITH SCORE 11107.583
AT ITER 2143 NEW BEST:: SOT 55978 SOS 11531 HAS SOPS 11291 HAS SOUS 11284 HAS SOUPS 11044 WITH SCORE 11055.531
AT ITER 2165 NEW BEST:: SOT 55976 SOS 11513 HAS SOPS 11273 HAS SOUS 11276 HAS SOUPS 11036 WITH SCORE 11047.513
AT ITER 2180 NEW BEST:: SOT 55956 SOS 11471 HAS SOPS 11231 HAS SOUS 11234 HAS SOUPS 10994 WITH SCORE 11005.471
AT ITER 2197 NEW BEST:: SOT 55947 SOS 11452 HAS SOPS 11212 HAS SOUS 11215 HAS SOUPS 10975 WITH SCORE 10986.452
AT ITER 2205 NEW BEST:: SOT 55937 SOS 11448 HAS SOPS 11208 HAS SOUS 11211 HAS SOUPS 10971 WITH SCORE 10982.448
AT ITER 2227 NEW BEST:: SOT 55943 SOS 11415 HAS SOPS 11175 HAS SOUS 11178 HAS SOUPS 10938 WITH SCORE 10949.415
AT ITER 2271 NEW BEST:: SOT 55890 SOS 11342 HAS SOPS 11102 HAS SOUS 11117 HAS SOUPS 10877 WITH SCORE 10888.342
AT ITER 2276 NEW BEST:: SOT 55895 SOS 11324 HAS SOPS 11084 HAS SOUS 11099 HAS SOUPS 10859 WITH SCORE 10870.324
AT ITER 2288 NEW BEST:: SOT 55893 SOS 11310 HAS SOPS 11070 HAS SOUS 11085 HAS SOUPS 10845 WITH SCORE 10856.31
AT ITER 2297 NEW BEST:: SOT 55819 SOS 11190 HAS SOPS 10950 HAS SOUS 10961 HAS SOUPS 10721 WITH SCORE 10732.19
AT ITER 2304 NEW BEST:: SOT 55763 SOS 11111 HAS SOPS 10871 HAS SOUS 10890 HAS SOUPS 10650 WITH SCORE 10661.111
AT ITER 2318 NEW BEST:: SOT 55768 SOS 11070 HAS SOPS 10830 HAS SOUS 10849 HAS SOUPS 10609 WITH SCORE 10620.07
AT ITER 2338 NEW BEST:: SOT 55761 SOS 11035 HAS SOPS 10795 HAS SOUS 10814 HAS SOUPS 10574 WITH SCORE 10585.035
AT ITER 2341 NEW BEST:: SOT 55727 SOS 10968 HAS SOPS 10728 HAS SOUS 10747 HAS SOUPS 10507 WITH SCORE 10517.968
AT ITER 2352 NEW BEST:: SOT 55712 SOS 10918 HAS SOPS 10678 HAS SOUS 10697 HAS SOUPS 10457 WITH SCORE 10467.918
AT ITER 2356 NEW BEST:: SOT 55736 SOS 10882 HAS SOPS 10642 HAS SOUS 10661 HAS SOUPS 10421 WITH SCORE 10431.882
AT ITER 2357 NEW BEST:: SOT 55733 SOS 10870 HAS SOPS 10630 HAS SOUS 10652 HAS SOUPS 10412 WITH SCORE 10422.87
AT ITER 2359 NEW BEST:: SOT 55723 SOS 10861 HAS SOPS 10621 HAS SOUS 10643 HAS SOUPS 10403 WITH SCORE 10413.861
AT ITER 2386 NEW BEST:: SOT 55683 SOS 10801 HAS SOPS 10561 HAS SOUS 10587 HAS SOUPS 10347 WITH SCORE 10357.801
AT ITER 2391 NEW BEST:: SOT 55598 SOS 10645 HAS SOPS 10405 HAS SOUS 10447 HAS SOUPS 10207 WITH SCORE 10217.645
AT ITER 2394 NEW BEST:: SOT 55599 SOS 10639 HAS SOPS 10399 HAS SOUS 10441 HAS SOUPS 10201 WITH SCORE 10211.639
AT ITER 2405 NEW BEST:: SOT 55597 SOS 10635 HAS SOPS 10395 HAS SOUS 10437 HAS SOUPS 10197 WITH SCORE 10207.635
AT ITER 2415 NEW BEST:: SOT 55593 SOS 10625 HAS SOPS 10385 HAS SOUS 10427 HAS SOUPS 10187 WITH SCORE 10197.625
AT ITER 2421 NEW BEST:: SOT 55544 SOS 10555 HAS SOPS 10315 HAS SOUS 10417 HAS SOUPS 10177 WITH SCORE 10187.555
AT ITER 2426 NEW BEST:: SOT 55494 SOS 10495 HAS SOPS 10255 HAS SOUS 10397 HAS SOUPS 10157 WITH SCORE 10167.495
AT ITER 2445 NEW BEST:: SOT 55475 SOS 10487 HAS SOPS 10247 HAS SOUS 10384 HAS SOUPS 10144 WITH SCORE 10154.487
AT ITER 2451 NEW BEST:: SOT 55471 SOS 10475 HAS SOPS 10235 HAS SOUS 10374 HAS SOUPS 10134 WITH SCORE 10144.475
AT ITER 2480 NEW BEST:: SOT 55396 SOS 10335 HAS SOPS 10095 HAS SOUS 10229 HAS SOUPS 9989 WITH SCORE 9999.335
AT ITER 2537 NEW BEST:: SOT 55386 SOS 10315 HAS SOPS 10075 HAS SOUS 10209 HAS SOUPS 9969 WITH SCORE 9979.315
AT ITER 2543 NEW BEST:: SOT 55380 SOS 10305 HAS SOPS 10065 HAS SOUS 10199 HAS SOUPS 9959 WITH SCORE 9969.305
AT ITER 2545 NEW BEST:: SOT 55381 SOS 10298 HAS SOPS 10058 HAS SOUS 10192 HAS SOUPS 9952 WITH SCORE 9962.298
AT ITER 2551 NEW BEST:: SOT 55370 SOS 10267 HAS SOPS 10027 HAS SOUS 10159 HAS SOUPS 9919 WITH SCORE 9929.267
AT ITER 2573 NEW BEST:: SOT 55366 SOS 10259 HAS SOPS 10019 HAS SOUS 10151 HAS SOUPS 9911 WITH SCORE 9921.259
AT ITER 2585 NEW BEST:: SOT 55354 SOS 10248 HAS SOPS 10008 HAS SOUS 10140 HAS SOUPS 9900 WITH SCORE 9910.248
AT ITER 2588 NEW BEST:: SOT 55344 SOS 10244 HAS SOPS 9998 HAS SOUS 10136 HAS SOUPS 9890 WITH SCORE 9900.244
AT ITER 2593 NEW BEST:: SOT 55342 SOS 10234 HAS SOPS 9988 HAS SOUS 10126 HAS SOUPS 9880 WITH SCORE 9890.234
AT ITER 2594 NEW BEST:: SOT 55286 SOS 10169 HAS SOPS 9923 HAS SOUS 10061 HAS SOUPS 9815 WITH SCORE 9825.169
AT ITER 2605 NEW BEST:: SOT 55286 SOS 10159 HAS SOPS 9913 HAS SOUS 10051 HAS SOUPS 9805 WITH SCORE 9815.159
AT ITER 2615 NEW BEST:: SOT 55192 SOS 10026 HAS SOPS 9780 HAS SOUS 9898 HAS SOUPS 9652 WITH SCORE 9662.026
AT ITER 2635 NEW BEST:: SOT 55205 SOS 9991 HAS SOPS 9745 HAS SOUS 9863 HAS SOUPS 9617 WITH SCORE 9626.991
AT ITER 2654 NEW BEST:: SOT 55182 SOS 9942 HAS SOPS 9696 HAS SOUS 9814 HAS SOUPS 9568 WITH SCORE 9577.942
AT ITER 2658 NEW BEST:: SOT 55201 SOS 9861 HAS SOPS 9615 HAS SOUS 9720 HAS SOUPS 9474 WITH SCORE 9483.861
AT ITER 2678 NEW BEST:: SOT 55201 SOS 9858 HAS SOPS 9612 HAS SOUS 9717 HAS SOUPS 9471 WITH SCORE 9480.858
AT ITER 2689 NEW BEST:: SOT 55197 SOS 9850 HAS SOPS 9604 HAS SOUS 9709 HAS SOUPS 9463 WITH SCORE 9472.85
AT ITER 2706 NEW BEST:: SOT 55197 SOS 9850 HAS SOPS 9604 HAS SOUS 9706 HAS SOUPS 9460 WITH SCORE 9469.85
AT ITER 2720 NEW BEST:: SOT 55216 SOS 9821 HAS SOPS 9575 HAS SOUS 9677 HAS SOUPS 9431 WITH SCORE 9440.821
AT ITER 2741 NEW BEST:: SOT 55226 SOS 9817 HAS SOPS 9571 HAS SOUS 9673 HAS SOUPS 9427 WITH SCORE 9436.817
AT ITER 2744 NEW BEST:: SOT 55239 SOS 9802 HAS SOPS 9556 HAS SOUS 9658 HAS SOUPS 9412 WITH SCORE 9421.802
AT ITER 2749 NEW BEST:: SOT 55236 SOS 9799 HAS SOPS 9553 HAS SOUS 9655 HAS SOUPS 9409 WITH SCORE 9418.799
AT ITER 2754 NEW BEST:: SOT 55228 SOS 9749 HAS SOPS 9509 HAS SOUS 9605 HAS SOUPS 9365 WITH SCORE 9374.749
AT ITER 2777 NEW BEST:: SOT 55224 SOS 9741 HAS SOPS 9501 HAS SOUS 9597 HAS SOUPS 9357 WITH SCORE 9366.741
AT ITER 2829 NEW BEST:: SOT 55217 SOS 9708 HAS SOPS 9468 HAS SOUS 9573 HAS SOUPS 9333 WITH SCORE 9342.708
AT ITER 2843 NEW BEST:: SOT 55206 SOS 9679 HAS SOPS 9439 HAS SOUS 9544 HAS SOUPS 9304 WITH SCORE 9313.679
AT ITER 2844 NEW BEST:: SOT 55194 SOS 9665 HAS SOPS 9425 HAS SOUS 9530 HAS SOUPS 9290 WITH SCORE 9299.665
AT ITER 2858 NEW BEST:: SOT 55188 SOS 9646 HAS SOPS 9406 HAS SOUS 9511 HAS SOUPS 9271 WITH SCORE 9280.646
AT ITER 2894 NEW BEST:: SOT 55168 SOS 9594 HAS SOPS 9354 HAS SOUS 9457 HAS SOUPS 9217 WITH SCORE 9226.594
AT ITER 2930 NEW BEST:: SOT 55162 SOS 9585 HAS SOPS 9345 HAS SOUS 9448 HAS SOUPS 9208 WITH SCORE 9217.585
AT ITER 2934 NEW BEST:: SOT 55168 SOS 9580 HAS SOPS 9340 HAS SOUS 9443 HAS SOUPS 9203 WITH SCORE 9212.58
AT ITER 2935 NEW BEST:: SOT 55150 SOS 9521 HAS SOPS 9276 HAS SOUS 9381 HAS SOUPS 9136 WITH SCORE 9145.521
AT ITER 2978 NEW BEST:: SOT 55116 SOS 9474 HAS SOPS 9229 HAS SOUS 9334 HAS SOUPS 9089 WITH SCORE 9098.474
AT ITER 2980 NEW BEST:: SOT 55109 SOS 9460 HAS SOPS 9215 HAS SOUS 9323 HAS SOUPS 9078 WITH SCORE 9087.46
AT ITER 2989 NEW BEST:: SOT 55107 SOS 9449 HAS SOPS 9204 HAS SOUS 9314 HAS SOUPS 9069 WITH SCORE 9078.449
AT ITER 2998 NEW BEST:: SOT 55141 SOS 9435 HAS SOPS 9190 HAS SOUS 9300 HAS SOUPS 9055 WITH SCORE 9064.435
AT ITER 3000 NEW BEST:: SOT 55135 SOS 9406 HAS SOPS 9161 HAS SOUS 9271 HAS SOUPS 9026 WITH SCORE 9035.406
AT ITER 3001 NEW BEST:: SOT 55127 SOS 9374 HAS SOPS 9129 HAS SOUS 9247 HAS SOUPS 9002 WITH SCORE 9011.374
AT ITER 3007 NEW BEST:: SOT 55096 SOS 9323 HAS SOPS 9078 HAS SOUS 9185 HAS SOUPS 8940 WITH SCORE 8949.323
AT ITER 3011 NEW BEST:: SOT 55078 SOS 9314 HAS SOPS 9069 HAS SOUS 9176 HAS SOUPS 8931 WITH SCORE 8940.314
AT ITER 3015 NEW BEST:: SOT 55078 SOS 9313 HAS SOPS 9068 HAS SOUS 9176 HAS SOUPS 8931 WITH SCORE 8940.313
AT ITER 3033 NEW BEST:: SOT 55033 SOS 9232 HAS SOPS 8987 HAS SOUS 9095 HAS SOUPS 8850 WITH SCORE 8859.232
AT ITER 3036 NEW BEST:: SOT 55013 SOS 9197 HAS SOPS 8952 HAS SOUS 9037 HAS SOUPS 8792 WITH SCORE 8801.197
AT ITER 3043 NEW BEST:: SOT 54870 SOS 8988 HAS SOPS 8743 HAS SOUS 8816 HAS SOUPS 8571 WITH SCORE 8579.988
AT ITER 3053 NEW BEST:: SOT 54871 SOS 8987 HAS SOPS 8742 HAS SOUS 8815 HAS SOUPS 8570 WITH SCORE 8578.987
AT ITER 3067 NEW BEST:: SOT 54853 SOS 8947 HAS SOPS 8702 HAS SOUS 8775 HAS SOUPS 8530 WITH SCORE 8538.947
AT ITER 3068 NEW BEST:: SOT 54835 SOS 8891 HAS SOPS 8646 HAS SOUS 8719 HAS SOUPS 8474 WITH SCORE 8482.891
AT ITER 3087 NEW BEST:: SOT 54828 SOS 8861 HAS SOPS 8616 HAS SOUS 8689 HAS SOUPS 8444 WITH SCORE 8452.861
AT ITER 3111 NEW BEST:: SOT 54808 SOS 8856 HAS SOPS 8611 HAS SOUS 8680 HAS SOUPS 8435 WITH SCORE 8443.856
AT ITER 3114 NEW BEST:: SOT 54799 SOS 8820 HAS SOPS 8575 HAS SOUS 8653 HAS SOUPS 8408 WITH SCORE 8416.82
AT ITER 3121 NEW BEST:: SOT 54735 SOS 8708 HAS SOPS 8463 HAS SOUS 8541 HAS SOUPS 8296 WITH SCORE 8304.708
AT ITER 3129 NEW BEST:: SOT 54712 SOS 8682 HAS SOPS 8437 HAS SOUS 8515 HAS SOUPS 8270 WITH SCORE 8278.682
AT ITER 3131 NEW BEST:: SOT 54682 SOS 8642 HAS SOPS 8397 HAS SOUS 8475 HAS SOUPS 8230 WITH SCORE 8238.642
AT ITER 3158 NEW BEST:: SOT 54685 SOS 8625 HAS SOPS 8380 HAS SOUS 8467 HAS SOUPS 8222 WITH SCORE 8230.625
AT ITER 3186 NEW BEST:: SOT 54692 SOS 8613 HAS SOPS 8368 HAS SOUS 8455 HAS SOUPS 8210 WITH SCORE 8218.613
AT ITER 3216 NEW BEST:: SOT 54688 SOS 8608 HAS SOPS 8363 HAS SOUS 8441 HAS SOUPS 8196 WITH SCORE 8204.608
AT ITER 3219 NEW BEST:: SOT 54685 SOS 8599 HAS SOPS 8354 HAS SOUS 8432 HAS SOUPS 8187 WITH SCORE 8195.599
AT ITER 3247 NEW BEST:: SOT 54685 SOS 8589 HAS SOPS 8344 HAS SOUS 8422 HAS SOUPS 8177 WITH SCORE 8185.589
AT ITER 3282 NEW BEST:: SOT 54683 SOS 8582 HAS SOPS 8337 HAS SOUS 8415 HAS SOUPS 8170 WITH SCORE 8178.582
AT ITER 3297 NEW BEST:: SOT 54679 SOS 8546 HAS SOPS 8301 HAS SOUS 8404 HAS SOUPS 8159 WITH SCORE 8167.546
AT ITER 3307 NEW BEST:: SOT 54661 SOS 8536 HAS SOPS 8291 HAS SOUS 8394 HAS SOUPS 8149 WITH SCORE 8157.536
AT ITER 3309 NEW BEST:: SOT 54662 SOS 8534 HAS SOPS 8289 HAS SOUS 8392 HAS SOUPS 8147 WITH SCORE 8155.534
AT ITER 3314 NEW BEST:: SOT 54634 SOS 8473 HAS SOPS 8228 HAS SOUS 8325 HAS SOUPS 8080 WITH SCORE 8088.473
AT ITER 3340 NEW BEST:: SOT 54634 SOS 8468 HAS SOPS 8223 HAS SOUS 8325 HAS SOUPS 8080 WITH SCORE 8088.468
AT ITER 3343 NEW BEST:: SOT 54630 SOS 8461 HAS SOPS 8216 HAS SOUS 8318 HAS SOUPS 8073 WITH SCORE 8081.461
AT ITER 3345 NEW BEST:: SOT 54621 SOS 8423 HAS SOPS 8178 HAS SOUS 8283 HAS SOUPS 8038 WITH SCORE 8046.423
AT ITER 3415 NEW BEST:: SOT 54611 SOS 8401 HAS SOPS 8156 HAS SOUS 8249 HAS SOUPS 8004 WITH SCORE 8012.401
AT ITER 3417 NEW BEST:: SOT 54609 SOS 8402 HAS SOPS 8157 HAS SOUS 8245 HAS SOUPS 8000 WITH SCORE 8008.402
AT ITER 3424 NEW BEST:: SOT 54609 SOS 8394 HAS SOPS 8149 HAS SOUS 8245 HAS SOUPS 8000 WITH SCORE 8008.394
AT ITER 3437 NEW BEST:: SOT 54607 SOS 8382 HAS SOPS 8137 HAS SOUS 8233 HAS SOUPS 7988 WITH SCORE 7996.382
AT ITER 3440 NEW BEST:: SOT 54606 SOS 8363 HAS SOPS 8118 HAS SOUS 8219 HAS SOUPS 7974 WITH SCORE 7982.363
AT ITER 3448 NEW BEST:: SOT 54561 SOS 8326 HAS SOPS 8081 HAS SOUS 8189 HAS SOUPS 7944 WITH SCORE 7952.326
AT ITER 3469 NEW BEST:: SOT 54511 SOS 8265 HAS SOPS 8020 HAS SOUS 8128 HAS SOUPS 7883 WITH SCORE 7891.265
AT ITER 3489 NEW BEST:: SOT 54478 SOS 8180 HAS SOPS 7935 HAS SOUS 8038 HAS SOUPS 7793 WITH SCORE 7801.18
AT ITER 3500 NEW BEST:: SOT 54475 SOS 8173 HAS SOPS 7928 HAS SOUS 8032 HAS SOUPS 7787 WITH SCORE 7795.173
AT ITER 3595 NEW BEST:: SOT 54467 SOS 8149 HAS SOPS 7904 HAS SOUS 8008 HAS SOUPS 7763 WITH SCORE 7771.149
AT ITER 3597 NEW BEST:: SOT 54475 SOS 8142 HAS SOPS 7897 HAS SOUS 8005 HAS SOUPS 7760 WITH SCORE 7768.142
AT ITER 3643 NEW BEST:: SOT 54471 SOS 8130 HAS SOPS 7885 HAS SOUS 7997 HAS SOUPS 7752 WITH SCORE 7760.13
AT ITER 3718 NEW BEST:: SOT 54471 SOS 8126 HAS SOPS 7881 HAS SOUS 7993 HAS SOUPS 7748 WITH SCORE 7756.126
AT ITER 3768 NEW BEST:: SOT 54418 SOS 7995 HAS SOPS 7750 HAS SOUS 7862 HAS SOUPS 7617 WITH SCORE 7624.995
AT ITER 3771 NEW BEST:: SOT 54409 SOS 7980 HAS SOPS 7735 HAS SOUS 7847 HAS SOUPS 7602 WITH SCORE 7609.98
AT ITER 3772 NEW BEST:: SOT 54400 SOS 7962 HAS SOPS 7717 HAS SOUS 7838 HAS SOUPS 7593 WITH SCORE 7600.962
AT ITER 3776 NEW BEST:: SOT 54400 SOS 7956 HAS SOPS 7711 HAS SOUS 7832 HAS SOUPS 7587 WITH SCORE 7594.956
AT ITER 3786 NEW BEST:: SOT 54389 SOS 7939 HAS SOPS 7694 HAS SOUS 7810 HAS SOUPS 7565 WITH SCORE 7572.939
AT ITER 3792 NEW BEST:: SOT 54353 SOS 7858 HAS SOPS 7613 HAS SOUS 7729 HAS SOUPS 7484 WITH SCORE 7491.858
AT ITER 3891 NEW BEST:: SOT 54355 SOS 7842 HAS SOPS 7597 HAS SOUS 7682 HAS SOUPS 7437 WITH SCORE 7444.842
AT ITER 3894 NEW BEST:: SOT 54328 SOS 7761 HAS SOPS 7516 HAS SOUS 7618 HAS SOUPS 7373 WITH SCORE 7380.761
AT ITER 3946 NEW BEST:: SOT 54294 SOS 7675 HAS SOPS 7430 HAS SOUS 7510 HAS SOUPS 7265 WITH SCORE 7272.675
AT ITER 3981 NEW BEST:: SOT 54293 SOS 7671 HAS SOPS 7426 HAS SOUS 7503 HAS SOUPS 7258 WITH SCORE 7265.671
AT ITER 3995 NEW BEST:: SOT 54292 SOS 7670 HAS SOPS 7425 HAS SOUS 7502 HAS SOUPS 7257 WITH SCORE 7264.67
AT ITER 4047 NEW BEST:: SOT 54289 SOS 7653 HAS SOPS 7408 HAS SOUS 7485 HAS SOUPS 7240 WITH SCORE 7247.653
AT ITER 4060 NEW BEST:: SOT 54289 SOS 7649 HAS SOPS 7404 HAS SOUS 7485 HAS SOUPS 7240 WITH SCORE 7247.649
AT ITER 4093 NEW BEST:: SOT 54289 SOS 7643 HAS SOPS 7398 HAS SOUS 7479 HAS SOUPS 7234 WITH SCORE 7241.643
AT ITER 4150 NEW BEST:: SOT 54269 SOS 7613 HAS SOPS 7368 HAS SOUS 7449 HAS SOUPS 7204 WITH SCORE 7211.613
AT ITER 4188 NEW BEST:: SOT 54274 SOS 7612 HAS SOPS 7367 HAS SOUS 7448 HAS SOUPS 7203 WITH SCORE 7210.612
AT ITER 4198 NEW BEST:: SOT 54264 SOS 7608 HAS SOPS 7363 HAS SOUS 7443 HAS SOUPS 7198 WITH SCORE 7205.608
AT ITER 4202 NEW BEST:: SOT 54261 SOS 7577 HAS SOPS 7332 HAS SOUS 7412 HAS SOUPS 7167 WITH SCORE 7174.577
AT ITER 4253 NEW BEST:: SOT 54253 SOS 7563 HAS SOPS 7318 HAS SOUS 7398 HAS SOUPS 7153 WITH SCORE 7160.563
AT ITER 4270 NEW BEST:: SOT 54252 SOS 7548 HAS SOPS 7303 HAS SOUS 7383 HAS SOUPS 7138 WITH SCORE 7145.548
AT ITER 4381 NEW BEST:: SOT 54249 SOS 7544 HAS SOPS 7299 HAS SOUS 7379 HAS SOUPS 7134 WITH SCORE 7141.544
AT ITER 4395 NEW BEST:: SOT 54234 SOS 7512 HAS SOPS 7267 HAS SOUS 7349 HAS SOUPS 7104 WITH SCORE 7111.512
AT ITER 4401 NEW BEST:: SOT 54199 SOS 7507 HAS SOPS 7262 HAS SOUS 7344 HAS SOUPS 7099 WITH SCORE 7106.507
AT ITER 4421 NEW BEST:: SOT 54189 SOS 7499 HAS SOPS 7254 HAS SOUS 7336 HAS SOUPS 7091 WITH SCORE 7098.499
AT ITER 4436 NEW BEST:: SOT 54188 SOS 7498 HAS SOPS 7253 HAS SOUS 7335 HAS SOUPS 7090 WITH SCORE 7097.498
AT ITER 4448 NEW BEST:: SOT 54182 SOS 7484 HAS SOPS 7239 HAS SOUS 7321 HAS SOUPS 7076 WITH SCORE 7083.484
AT ITER 4450 NEW BEST:: SOT 54161 SOS 7431 HAS SOPS 7186 HAS SOUS 7253 HAS SOUPS 7008 WITH SCORE 7015.431
AT ITER 4500 NEW BEST:: SOT 54149 SOS 7423 HAS SOPS 7178 HAS SOUS 7245 HAS SOUPS 7000 WITH SCORE 7007.423
AT ITER 4525 NEW BEST:: SOT 54137 SOS 7408 HAS SOPS 7163 HAS SOUS 7230 HAS SOUPS 6985 WITH SCORE 6992.408
AT ITER 4537 NEW BEST:: SOT 54131 SOS 7396 HAS SOPS 7151 HAS SOUS 7216 HAS SOUPS 6971 WITH SCORE 6978.396
AT ITER 4553 NEW BEST:: SOT 54125 SOS 7390 HAS SOPS 7145 HAS SOUS 7210 HAS SOUPS 6965 WITH SCORE 6972.39
AT ITER 4559 NEW BEST:: SOT 54124 SOS 7371 HAS SOPS 7126 HAS SOUS 7204 HAS SOUPS 6959 WITH SCORE 6966.371
AT ITER 4593 NEW BEST:: SOT 54107 SOS 7340 HAS SOPS 7095 HAS SOUS 7166 HAS SOUPS 6921 WITH SCORE 6928.34
AT ITER 4595 NEW BEST:: SOT 54091 SOS 7317 HAS SOPS 7072 HAS SOUS 7143 HAS SOUPS 6898 WITH SCORE 6905.317
AT ITER 4614 NEW BEST:: SOT 54083 SOS 7286 HAS SOPS 7041 HAS SOUS 7121 HAS SOUPS 6876 WITH SCORE 6883.286
AT ITER 4647 NEW BEST:: SOT 54067 SOS 7254 HAS SOPS 7009 HAS SOUS 7093 HAS SOUPS 6848 WITH SCORE 6855.254
AT ITER 4650 NEW BEST:: SOT 54046 SOS 7202 HAS SOPS 6957 HAS SOUS 7041 HAS SOUPS 6796 WITH SCORE 6803.202
AT ITER 4656 NEW BEST:: SOT 54045 SOS 7197 HAS SOPS 6952 HAS SOUS 7036 HAS SOUPS 6791 WITH SCORE 6798.197
AT ITER 4712 NEW BEST:: SOT 54043 SOS 7190 HAS SOPS 6945 HAS SOUS 7029 HAS SOUPS 6784 WITH SCORE 6791.19
AT ITER 4728 NEW BEST:: SOT 54039 SOS 7187 HAS SOPS 6942 HAS SOUS 7026 HAS SOUPS 6781 WITH SCORE 6788.187
AT ITER 4742 NEW BEST:: SOT 54025 SOS 7175 HAS SOPS 6930 HAS SOUS 7014 HAS SOUPS 6769 WITH SCORE 6776.175
AT ITER 4754 NEW BEST:: SOT 54021 SOS 7165 HAS SOPS 6920 HAS SOUS 7010 HAS SOUPS 6765 WITH SCORE 6772.165
AT ITER 4757 NEW BEST:: SOT 54019 SOS 7161 HAS SOPS 6916 HAS SOUS 7006 HAS SOUPS 6761 WITH SCORE 6768.161
AT ITER 4779 NEW BEST:: SOT 54016 SOS 7160 HAS SOPS 6915 HAS SOUS 7005 HAS SOUPS 6760 WITH SCORE 6767.16
AT ITER 4780 NEW BEST:: SOT 54011 SOS 7157 HAS SOPS 6912 HAS SOUS 7002 HAS SOUPS 6757 WITH SCORE 6764.157
AT ITER 4806 NEW BEST:: SOT 54009 SOS 7155 HAS SOPS 6910 HAS SOUS 7000 HAS SOUPS 6755 WITH SCORE 6762.155
AT ITER 4808 NEW BEST:: SOT 54002 SOS 7132 HAS SOPS 6887 HAS SOUS 6977 HAS SOUPS 6732 WITH SCORE 6739.132
AT ITER 4826 NEW BEST:: SOT 53983 SOS 7115 HAS SOPS 6870 HAS SOUS 6960 HAS SOUPS 6715 WITH SCORE 6722.115
AT ITER 4848 NEW BEST:: SOT 53983 SOS 7109 HAS SOPS 6864 HAS SOUS 6954 HAS SOUPS 6709 WITH SCORE 6716.109
AT ITER 4903 NEW BEST:: SOT 53987 SOS 7108 HAS SOPS 6863 HAS SOUS 6952 HAS SOUPS 6707 WITH SCORE 6714.108
AT ITER 4912 NEW BEST:: SOT 53988 SOS 7102 HAS SOPS 6857 HAS SOUS 6945 HAS SOUPS 6700 WITH SCORE 6707.102
AT ITER 4921 NEW BEST:: SOT 53966 SOS 7080 HAS SOPS 6835 HAS SOUS 6923 HAS SOUPS 6678 WITH SCORE 6685.08
AT ITER 4925 NEW BEST:: SOT 53957 SOS 7044 HAS SOPS 6799 HAS SOUS 6875 HAS SOUPS 6630 WITH SCORE 6637.044
AT ITER 4927 NEW BEST:: SOT 53899 SOS 6933 HAS SOPS 6688 HAS SOUS 6764 HAS SOUPS 6519 WITH SCORE 6525.933
AT ITER 4934 NEW BEST:: SOT 53878 SOS 6880 HAS SOPS 6635 HAS SOUS 6696 HAS SOUPS 6451 WITH SCORE 6457.88
AT ITER 4943 NEW BEST:: SOT 53875 SOS 6875 HAS SOPS 6630 HAS SOUS 6691 HAS SOUPS 6446 WITH SCORE 6452.875
AT ITER 4982 NEW BEST:: SOT 53873 SOS 6870 HAS SOPS 6625 HAS SOUS 6686 HAS SOUPS 6441 WITH SCORE 6447.87
AT ITER 5041 NEW BEST:: SOT 53827 SOS 6822 HAS SOPS 6577 HAS SOUS 6650 HAS SOUPS 6405 WITH SCORE 6411.822
AT ITER 5062 NEW BEST:: SOT 53827 SOS 6782 HAS SOPS 6537 HAS SOUS 6633 HAS SOUPS 6388 WITH SCORE 6394.782
AT ITER 5087 NEW BEST:: SOT 53817 SOS 6772 HAS SOPS 6527 HAS SOUS 6613 HAS SOUPS 6368 WITH SCORE 6374.772
AT ITER 5106 NEW BEST:: SOT 53814 SOS 6748 HAS SOPS 6503 HAS SOUS 6602 HAS SOUPS 6357 WITH SCORE 6363.748
AT ITER 5115 NEW BEST:: SOT 53811 SOS 6750 HAS SOPS 6505 HAS SOUS 6585 HAS SOUPS 6340 WITH SCORE 6346.75
AT ITER 5121 NEW BEST:: SOT 53799 SOS 6704 HAS SOPS 6459 HAS SOUS 6551 HAS SOUPS 6306 WITH SCORE 6312.704
AT ITER 5140 NEW BEST:: SOT 53745 SOS 6656 HAS SOPS 6411 HAS SOUS 6503 HAS SOUPS 6258 WITH SCORE 6264.656
AT ITER 5169 NEW BEST:: SOT 53734 SOS 6638 HAS SOPS 6393 HAS SOUS 6485 HAS SOUPS 6240 WITH SCORE 6246.638
AT ITER 5175 NEW BEST:: SOT 53734 SOS 6637 HAS SOPS 6392 HAS SOUS 6484 HAS SOUPS 6239 WITH SCORE 6245.637
AT ITER 5220 NEW BEST:: SOT 53734 SOS 6627 HAS SOPS 6382 HAS SOUS 6474 HAS SOUPS 6229 WITH SCORE 6235.627
AT ITER 5274 NEW BEST:: SOT 53731 SOS 6623 HAS SOPS 6378 HAS SOUS 6470 HAS SOUPS 6225 WITH SCORE 6231.623
AT ITER 5298 NEW BEST:: SOT 53719 SOS 6606 HAS SOPS 6366 HAS SOUS 6453 HAS SOUPS 6213 WITH SCORE 6219.606
AT ITER 5306 NEW BEST:: SOT 53716 SOS 6597 HAS SOPS 6357 HAS SOUS 6444 HAS SOUPS 6204 WITH SCORE 6210.597
AT ITER 5319 NEW BEST:: SOT 53714 SOS 6589 HAS SOPS 6349 HAS SOUS 6436 HAS SOUPS 6196 WITH SCORE 6202.589
AT ITER 5414 NEW BEST:: SOT 53712 SOS 6579 HAS SOPS 6339 HAS SOUS 6426 HAS SOUPS 6186 WITH SCORE 6192.579
AT ITER 5432 NEW BEST:: SOT 53715 SOS 6576 HAS SOPS 6336 HAS SOUS 6423 HAS SOUPS 6183 WITH SCORE 6189.576
AT ITER 5433 NEW BEST:: SOT 53700 SOS 6556 HAS SOPS 6316 HAS SOUS 6403 HAS SOUPS 6163 WITH SCORE 6169.556
AT ITER 5441 NEW BEST:: SOT 53711 SOS 6545 HAS SOPS 6305 HAS SOUS 6384 HAS SOUPS 6144 WITH SCORE 6150.545
AT ITER 5444 NEW BEST:: SOT 53715 SOS 6525 HAS SOPS 6285 HAS SOUS 6360 HAS SOUPS 6120 WITH SCORE 6126.525
AT ITER 5459 NEW BEST:: SOT 53711 SOS 6521 HAS SOPS 6281 HAS SOUS 6358 HAS SOUPS 6118 WITH SCORE 6124.521
AT ITER 5518 NEW BEST:: SOT 53710 SOS 6519 HAS SOPS 6279 HAS SOUS 6356 HAS SOUPS 6116 WITH SCORE 6122.519
AT ITER 5529 NEW BEST:: SOT 53700 SOS 6490 HAS SOPS 6250 HAS SOUS 6327 HAS SOUPS 6087 WITH SCORE 6093.49
AT ITER 5550 NEW BEST:: SOT 53700 SOS 6485 HAS SOPS 6245 HAS SOUS 6327 HAS SOUPS 6087 WITH SCORE 6093.485
AT ITER 5568 NEW BEST:: SOT 53697 SOS 6480 HAS SOPS 6240 HAS SOUS 6322 HAS SOUPS 6082 WITH SCORE 6088.48
AT ITER 5602 NEW BEST:: SOT 53693 SOS 6473 HAS SOPS 6233 HAS SOUS 6321 HAS SOUPS 6081 WITH SCORE 6087.473
AT ITER 5615 NEW BEST:: SOT 53692 SOS 6472 HAS SOPS 6232 HAS SOUS 6320 HAS SOUPS 6080 WITH SCORE 6086.472
AT ITER 5690 NEW BEST:: SOT 53691 SOS 6447 HAS SOPS 6203 HAS SOUS 6298 HAS SOUPS 6054 WITH SCORE 6060.447
AT ITER 5695 NEW BEST:: SOT 53677 SOS 6425 HAS SOPS 6181 HAS SOUS 6276 HAS SOUPS 6032 WITH SCORE 6038.425
AT ITER 5717 NEW BEST:: SOT 53663 SOS 6412 HAS SOPS 6168 HAS SOUS 6263 HAS SOUPS 6019 WITH SCORE 6025.412
AT ITER 5771 NEW BEST:: SOT 53658 SOS 6400 HAS SOPS 6156 HAS SOUS 6251 HAS SOUPS 6007 WITH SCORE 6013.4
AT ITER 5784 NEW BEST:: SOT 53659 SOS 6395 HAS SOPS 6151 HAS SOUS 6246 HAS SOUPS 6002 WITH SCORE 6008.395
AT ITER 5804 NEW BEST:: SOT 53630 SOS 6333 HAS SOPS 6089 HAS SOUS 6184 HAS SOUPS 5940 WITH SCORE 5946.333
AT ITER 5833 NEW BEST:: SOT 53630 SOS 6332 HAS SOPS 6088 HAS SOUS 6183 HAS SOUPS 5939 WITH SCORE 5945.332
AT ITER 5842 NEW BEST:: SOT 53622 SOS 6316 HAS SOPS 6072 HAS SOUS 6171 HAS SOUPS 5927 WITH SCORE 5933.316
AT ITER 5868 NEW BEST:: SOT 53611 SOS 6288 HAS SOPS 6044 HAS SOUS 6138 HAS SOUPS 5894 WITH SCORE 5900.288
AT ITER 5923 NEW BEST:: SOT 53569 SOS 6184 HAS SOPS 5940 HAS SOUS 6049 HAS SOUPS 5805 WITH SCORE 5811.184
AT ITER 5933 NEW BEST:: SOT 53565 SOS 6180 HAS SOPS 5936 HAS SOUS 6049 HAS SOUPS 5805 WITH SCORE 5811.18
AT ITER 5937 NEW BEST:: SOT 53566 SOS 6181 HAS SOPS 5937 HAS SOUS 6046 HAS SOUPS 5802 WITH SCORE 5808.181
AT ITER 5949 NEW BEST:: SOT 53566 SOS 6180 HAS SOPS 5936 HAS SOUS 6043 HAS SOUPS 5799 WITH SCORE 5805.18
AT ITER 5993 NEW BEST:: SOT 53546 SOS 6150 HAS SOPS 5906 HAS SOUS 6013 HAS SOUPS 5769 WITH SCORE 5775.15
AT ITER 6033 NEW BEST:: SOT 53530 SOS 6118 HAS SOPS 5874 HAS SOUS 5981 HAS SOUPS 5737 WITH SCORE 5743.118
AT ITER 6044 NEW BEST:: SOT 53524 SOS 6095 HAS SOPS 5851 HAS SOUS 5958 HAS SOUPS 5714 WITH SCORE 5720.095
AT ITER 6080 NEW BEST:: SOT 53525 SOS 6095 HAS SOPS 5851 HAS SOUS 5957 HAS SOUPS 5713 WITH SCORE 5719.095
AT ITER 6164 NEW BEST:: SOT 53525 SOS 6089 HAS SOPS 5845 HAS SOUS 5951 HAS SOUPS 5707 WITH SCORE 5713.089
AT ITER 6173 NEW BEST:: SOT 53525 SOS 6085 HAS SOPS 5841 HAS SOUS 5951 HAS SOUPS 5707 WITH SCORE 5713.085
AT ITER 6206 NEW BEST:: SOT 53467 SOS 6042 HAS SOPS 5798 HAS SOUS 5908 HAS SOUPS 5664 WITH SCORE 5670.042
AT ITER 6245 NEW BEST:: SOT 53459 SOS 6007 HAS SOPS 5763 HAS SOUS 5886 HAS SOUPS 5642 WITH SCORE 5648.007
AT ITER 6256 NEW BEST:: SOT 53457 SOS 6001 HAS SOPS 5757 HAS SOUS 5880 HAS SOUPS 5636 WITH SCORE 5642.001
AT ITER 6319 NEW BEST:: SOT 53434 SOS 5946 HAS SOPS 5702 HAS SOUS 5852 HAS SOUPS 5608 WITH SCORE 5613.946
AT ITER 6367 NEW BEST:: SOT 53433 SOS 5941 HAS SOPS 5697 HAS SOUS 5848 HAS SOUPS 5604 WITH SCORE 5609.941
AT ITER 6376 NEW BEST:: SOT 53421 SOS 5931 HAS SOPS 5687 HAS SOUS 5838 HAS SOUPS 5594 WITH SCORE 5599.931
AT ITER 6412 NEW BEST:: SOT 53411 SOS 5931 HAS SOPS 5687 HAS SOUS 5828 HAS SOUPS 5584 WITH SCORE 5589.931
AT ITER 6442 NEW BEST:: SOT 53399 SOS 5911 HAS SOPS 5667 HAS SOUS 5808 HAS SOUPS 5564 WITH SCORE 5569.911
AT ITER 6454 NEW BEST:: SOT 53399 SOS 5859 HAS SOPS 5615 HAS SOUS 5756 HAS SOUPS 5512 WITH SCORE 5517.859
AT ITER 6578 NEW BEST:: SOT 53398 SOS 5857 HAS SOPS 5613 HAS SOUS 5754 HAS SOUPS 5510 WITH SCORE 5515.857
AT ITER 6604 NEW BEST:: SOT 53389 SOS 5836 HAS SOPS 5592 HAS SOUS 5733 HAS SOUPS 5489 WITH SCORE 5494.836
AT ITER 6663 NEW BEST:: SOT 53378 SOS 5818 HAS SOPS 5574 HAS SOUS 5715 HAS SOUPS 5471 WITH SCORE 5476.818
AT ITER 6675 NEW BEST:: SOT 53376 SOS 5812 HAS SOPS 5568 HAS SOUS 5711 HAS SOUPS 5467 WITH SCORE 5472.812
AT ITER 6701 NEW BEST:: SOT 53377 SOS 5813 HAS SOPS 5565 HAS SOUS 5712 HAS SOUPS 5464 WITH SCORE 5469.813
AT ITER 6808 NEW BEST:: SOT 53363 SOS 5791 HAS SOPS 5543 HAS SOUS 5687 HAS SOUPS 5439 WITH SCORE 5444.791
AT ITER 6861 NEW BEST:: SOT 53360 SOS 5786 HAS SOPS 5538 HAS SOUS 5682 HAS SOUPS 5434 WITH SCORE 5439.786
AT ITER 6884 NEW BEST:: SOT 53351 SOS 5771 HAS SOPS 5523 HAS SOUS 5667 HAS SOUPS 5419 WITH SCORE 5424.771
AT ITER 6930 NEW BEST:: SOT 53339 SOS 5725 HAS SOPS 5477 HAS SOUS 5621 HAS SOUPS 5373 WITH SCORE 5378.725
AT ITER 6974 NEW BEST:: SOT 53331 SOS 5713 HAS SOPS 5465 HAS SOUS 5609 HAS SOUPS 5361 WITH SCORE 5366.713
AT ITER 7054 NEW BEST:: SOT 53329 SOS 5707 HAS SOPS 5459 HAS SOUS 5607 HAS SOUPS 5359 WITH SCORE 5364.707
AT ITER 7056 NEW BEST:: SOT 53327 SOS 5704 HAS SOPS 5456 HAS SOUS 5604 HAS SOUPS 5356 WITH SCORE 5361.704
AT ITER 7102 NEW BEST:: SOT 53297 SOS 5670 HAS SOPS 5422 HAS SOUS 5570 HAS SOUPS 5322 WITH SCORE 5327.67
AT ITER 7127 NEW BEST:: SOT 53293 SOS 5660 HAS SOPS 5412 HAS SOUS 5560 HAS SOUPS 5312 WITH SCORE 5317.66
AT ITER 7137 NEW BEST:: SOT 53295 SOS 5647 HAS SOPS 5399 HAS SOUS 5552 HAS SOUPS 5304 WITH SCORE 5309.647
AT ITER 7210 NEW BEST:: SOT 53291 SOS 5640 HAS SOPS 5392 HAS SOUS 5545 HAS SOUPS 5297 WITH SCORE 5302.64
AT ITER 7228 NEW BEST:: SOT 53287 SOS 5632 HAS SOPS 5384 HAS SOUS 5537 HAS SOUPS 5289 WITH SCORE 5294.632
AT ITER 7236 NEW BEST:: SOT 53283 SOS 5620 HAS SOPS 5372 HAS SOUS 5525 HAS SOUPS 5277 WITH SCORE 5282.62
AT ITER 7261 NEW BEST:: SOT 53280 SOS 5616 HAS SOPS 5368 HAS SOUS 5521 HAS SOUPS 5273 WITH SCORE 5278.616
AT ITER 7263 NEW BEST:: SOT 53258 SOS 5568 HAS SOPS 5320 HAS SOUS 5471 HAS SOUPS 5223 WITH SCORE 5228.568
AT ITER 7333 NEW BEST:: SOT 53257 SOS 5566 HAS SOPS 5318 HAS SOUS 5469 HAS SOUPS 5221 WITH SCORE 5226.566
AT ITER 7359 NEW BEST:: SOT 53255 SOS 5562 HAS SOPS 5314 HAS SOUS 5463 HAS SOUPS 5215 WITH SCORE 5220.562
AT ITER 7374 NEW BEST:: SOT 53253 SOS 5559 HAS SOPS 5311 HAS SOUS 5459 HAS SOUPS 5211 WITH SCORE 5216.559
AT ITER 7378 NEW BEST:: SOT 53244 SOS 5545 HAS SOPS 5297 HAS SOUS 5445 HAS SOUPS 5197 WITH SCORE 5202.545
AT ITER 7396 NEW BEST:: SOT 53220 SOS 5497 HAS SOPS 5249 HAS SOUS 5404 HAS SOUPS 5156 WITH SCORE 5161.497
AT ITER 7419 NEW BEST:: SOT 53216 SOS 5489 HAS SOPS 5241 HAS SOUS 5397 HAS SOUPS 5149 WITH SCORE 5154.489
AT ITER 7430 NEW BEST:: SOT 53214 SOS 5478 HAS SOPS 5230 HAS SOUS 5385 HAS SOUPS 5137 WITH SCORE 5142.478
AT ITER 7447 NEW BEST:: SOT 53208 SOS 5471 HAS SOPS 5223 HAS SOUS 5378 HAS SOUPS 5130 WITH SCORE 5135.471
AT ITER 7488 NEW BEST:: SOT 53194 SOS 5443 HAS SOPS 5195 HAS SOUS 5348 HAS SOUPS 5100 WITH SCORE 5105.443
AT ITER 7492 NEW BEST:: SOT 53192 SOS 5438 HAS SOPS 5190 HAS SOUS 5344 HAS SOUPS 5096 WITH SCORE 5101.438
AT ITER 7532 NEW BEST:: SOT 53193 SOS 5438 HAS SOPS 5190 HAS SOUS 5343 HAS SOUPS 5095 WITH SCORE 5100.438
AT ITER 7603 NEW BEST:: SOT 53181 SOS 5427 HAS SOPS 5179 HAS SOUS 5332 HAS SOUPS 5084 WITH SCORE 5089.427
AT ITER 7607 NEW BEST:: SOT 53168 SOS 5390 HAS SOPS 5142 HAS SOUS 5295 HAS SOUPS 5047 WITH SCORE 5052.39
AT ITER 7667 NEW BEST:: SOT 53165 SOS 5389 HAS SOPS 5141 HAS SOUS 5294 HAS SOUPS 5046 WITH SCORE 5051.389
AT ITER 7670 NEW BEST:: SOT 53162 SOS 5386 HAS SOPS 5138 HAS SOUS 5291 HAS SOUPS 5043 WITH SCORE 5048.386
AT ITER 7699 NEW BEST:: SOT 53162 SOS 5381 HAS SOPS 5133 HAS SOUS 5288 HAS SOUPS 5040 WITH SCORE 5045.381
AT ITER 7707 NEW BEST:: SOT 53156 SOS 5363 HAS SOPS 5115 HAS SOUS 5270 HAS SOUPS 5022 WITH SCORE 5027.363
AT ITER 7799 NEW BEST:: SOT 53140 SOS 5347 HAS SOPS 5099 HAS SOUS 5256 HAS SOUPS 5008 WITH SCORE 5013.347
AT ITER 7872 NEW BEST:: SOT 53113 SOS 5295 HAS SOPS 5047 HAS SOUS 5204 HAS SOUPS 4956 WITH SCORE 4961.295
AT ITER 7875 NEW BEST:: SOT 53113 SOS 5294 HAS SOPS 5046 HAS SOUS 5203 HAS SOUPS 4955 WITH SCORE 4960.294
AT ITER 7926 NEW BEST:: SOT 53111 SOS 5279 HAS SOPS 5031 HAS SOUS 5188 HAS SOUPS 4940 WITH SCORE 4945.279
AT ITER 8165 NEW BEST:: SOT 53102 SOS 5270 HAS SOPS 5022 HAS SOUS 5172 HAS SOUPS 4924 WITH SCORE 4929.27
AT ITER 8202 NEW BEST:: SOT 53098 SOS 5262 HAS SOPS 5014 HAS SOUS 5168 HAS SOUPS 4920 WITH SCORE 4925.262
AT ITER 8222 NEW BEST:: SOT 53106 SOS 5236 HAS SOPS 4988 HAS SOUS 5149 HAS SOUPS 4901 WITH SCORE 4906.236
AT ITER 8259 NEW BEST:: SOT 53103 SOS 5216 HAS SOPS 4968 HAS SOUS 5126 HAS SOUPS 4878 WITH SCORE 4883.216
AT ITER 8363 NEW BEST:: SOT 53102 SOS 5214 HAS SOPS 4966 HAS SOUS 5123 HAS SOUPS 4875 WITH SCORE 4880.214
AT ITER 8382 NEW BEST:: SOT 53099 SOS 5211 HAS SOPS 4963 HAS SOUS 5120 HAS SOUPS 4872 WITH SCORE 4877.211
AT ITER 8404 NEW BEST:: SOT 53087 SOS 5183 HAS SOPS 4935 HAS SOUS 5100 HAS SOUPS 4852 WITH SCORE 4857.183
AT ITER 8556 NEW BEST:: SOT 53068 SOS 5167 HAS SOPS 4919 HAS SOUS 5084 HAS SOUPS 4836 WITH SCORE 4841.167
AT ITER 8561 NEW BEST:: SOT 53068 SOS 5166 HAS SOPS 4919 HAS SOUS 5082 HAS SOUPS 4835 WITH SCORE 4840.166
AT ITER 8643 NEW BEST:: SOT 53066 SOS 5164 HAS SOPS 4917 HAS SOUS 5080 HAS SOUPS 4833 WITH SCORE 4838.164
AT ITER 8645 NEW BEST:: SOT 53066 SOS 5163 HAS SOPS 4916 HAS SOUS 5079 HAS SOUPS 4832 WITH SCORE 4837.163
AT ITER 8782 NEW BEST:: SOT 53062 SOS 5153 HAS SOPS 4906 HAS SOUS 5069 HAS SOUPS 4822 WITH SCORE 4827.153
AT ITER 8792 NEW BEST:: SOT 53058 SOS 5149 HAS SOPS 4902 HAS SOUS 5065 HAS SOUPS 4818 WITH SCORE 4823.149
AT ITER 8833 NEW BEST:: SOT 53024 SOS 5110 HAS SOPS 4863 HAS SOUS 5025 HAS SOUPS 4778 WITH SCORE 4783.11
AT ITER 8864 NEW BEST:: SOT 53004 SOS 5085 HAS SOPS 4838 HAS SOUS 5002 HAS SOUPS 4755 WITH SCORE 4760.085
AT ITER 8876 NEW BEST:: SOT 52986 SOS 5065 HAS SOPS 4818 HAS SOUS 4982 HAS SOUPS 4735 WITH SCORE 4740.065
AT ITER 8910 NEW BEST:: SOT 52985 SOS 5064 HAS SOPS 4817 HAS SOUS 4981 HAS SOUPS 4734 WITH SCORE 4739.064
AT ITER 8933 NEW BEST:: SOT 52982 SOS 5056 HAS SOPS 4809 HAS SOUS 4973 HAS SOUPS 4726 WITH SCORE 4731.056
AT ITER 8949 NEW BEST:: SOT 52972 SOS 5042 HAS SOPS 4795 HAS SOUS 4959 HAS SOUPS 4712 WITH SCORE 4717.042
AT ITER 9053 NEW BEST:: SOT 52972 SOS 5038 HAS SOPS 4791 HAS SOUS 4955 HAS SOUPS 4708 WITH SCORE 4713.038
AT ITER 9067 NEW BEST:: SOT 52969 SOS 5035 HAS SOPS 4788 HAS SOUS 4952 HAS SOUPS 4705 WITH SCORE 4710.035
AT ITER 9223 NEW BEST:: SOT 52966 SOS 5022 HAS SOPS 4775 HAS SOUS 4939 HAS SOUPS 4692 WITH SCORE 4697.022
AT ITER 9235 NEW BEST:: SOT 52968 SOS 5010 HAS SOPS 4763 HAS SOUS 4929 HAS SOUPS 4682 WITH SCORE 4687.01
AT ITER 9311 NEW BEST:: SOT 52963 SOS 5001 HAS SOPS 4754 HAS SOUS 4920 HAS SOUPS 4673 WITH SCORE 4678.001
AT ITER 9318 NEW BEST:: SOT 52957 SOS 4991 HAS SOPS 4744 HAS SOUS 4908 HAS SOUPS 4661 WITH SCORE 4665.991
AT ITER 9360 NEW BEST:: SOT 52944 SOS 4971 HAS SOPS 4724 HAS SOUS 4888 HAS SOUPS 4641 WITH SCORE 4645.971
AT ITER 9405 NEW BEST:: SOT 52932 SOS 4951 HAS SOPS 4704 HAS SOUS 4868 HAS SOUPS 4621 WITH SCORE 4625.951
AT ITER 9446 NEW BEST:: SOT 52930 SOS 4899 HAS SOPS 4652 HAS SOUS 4816 HAS SOUPS 4569 WITH SCORE 4573.899
AT ITER 9455 NEW BEST:: SOT 52903 SOS 4841 HAS SOPS 4594 HAS SOUS 4779 HAS SOUPS 4532 WITH SCORE 4536.841
AT ITER 9562 NEW BEST:: SOT 52889 SOS 4781 HAS SOPS 4534 HAS SOUS 4719 HAS SOUPS 4472 WITH SCORE 4476.781
AT ITER 9607 NEW BEST:: SOT 52884 SOS 4767 HAS SOPS 4520 HAS SOUS 4705 HAS SOUPS 4458 WITH SCORE 4462.767
AT ITER 9610 NEW BEST:: SOT 52861 SOS 4754 HAS SOPS 4507 HAS SOUS 4693 HAS SOUPS 4446 WITH SCORE 4450.754
AT ITER 9695 NEW BEST:: SOT 52855 SOS 4784 HAS SOPS 4537 HAS SOUS 4684 HAS SOUPS 4437 WITH SCORE 4441.784
AT ITER 9696 NEW BEST:: SOT 52854 SOS 4783 HAS SOPS 4536 HAS SOUS 4683 HAS SOUPS 4436 WITH SCORE 4440.783
AT ITER 9720 NEW BEST:: SOT 52850 SOS 4775 HAS SOPS 4528 HAS SOUS 4675 HAS SOUPS 4428 WITH SCORE 4432.775
AT ITER 9759 NEW BEST:: SOT 52847 SOS 4768 HAS SOPS 4521 HAS SOUS 4668 HAS SOUPS 4421 WITH SCORE 4425.768
AT ITER 9933 NEW BEST:: SOT 52850 SOS 4772 HAS SOPS 4525 HAS SOUS 4665 HAS SOUPS 4418 WITH SCORE 4422.772
AT ITER 9939 NEW BEST:: SOT 52847 SOS 4766 HAS SOPS 4519 HAS SOUS 4659 HAS SOUPS 4412 WITH SCORE 4416.766
AT ITER 9959 NEW BEST:: SOT 52855 SOS 4774 HAS SOPS 4527 HAS SOUS 4655 HAS SOUPS 4408 WITH SCORE 4412.774
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 4716116 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16155532 kB

BK_TIME_CONFINEMENT_REACHED

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

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="JoinFreeModules-PT-0050"
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 JoinFreeModules-PT-0050, 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 r227-tall-167856410100184"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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