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.r163-tall-167838847900528.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 FlexibleBarrier-PT-14a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847900528
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 620K
-rw-r--r-- 1 mcc users 7.7K Feb 25 13:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 13:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 12:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 12:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 13:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 151K Feb 25 13:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 13:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 25 13:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 169K 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 1678451589034

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=FlexibleBarrier-PT-14a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 14a
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: 171 places, 578 transitions, 2719 arcs.
AT ITER 0 NEW BEST:: SOT 85744 SOS 71994 HAS SOPS 71994 HAS SOUS 41806 HAS SOUPS 41806 WITH SCORE 41877.994
AT ITER 2 NEW BEST:: SOT 85760 SOS 71755 HAS SOPS 71755 HAS SOUS 41336 HAS SOUPS 41336 WITH SCORE 41407.755
AT ITER 3 NEW BEST:: SOT 85688 SOS 71750 HAS SOPS 71750 HAS SOUS 41308 HAS SOUPS 41308 WITH SCORE 41379.75
AT ITER 8 NEW BEST:: SOT 85412 SOS 71474 HAS SOPS 71474 HAS SOUS 41152 HAS SOUPS 41152 WITH SCORE 41223.474
AT ITER 11 NEW BEST:: SOT 85431 SOS 71257 HAS SOPS 71257 HAS SOUS 40534 HAS SOUPS 40534 WITH SCORE 40605.257
AT ITER 13 NEW BEST:: SOT 85533 SOS 71130 HAS SOPS 71130 HAS SOUS 38906 HAS SOUPS 38906 WITH SCORE 38977.13
AT ITER 14 NEW BEST:: SOT 85533 SOS 71102 HAS SOPS 71102 HAS SOUS 38906 HAS SOUPS 38906 WITH SCORE 38977.102
AT ITER 16 NEW BEST:: SOT 85529 SOS 71098 HAS SOPS 71098 HAS SOUS 38902 HAS SOUPS 38902 WITH SCORE 38973.098
AT ITER 19 NEW BEST:: SOT 85056 SOS 70629 HAS SOPS 70629 HAS SOUS 38690 HAS SOUPS 38690 WITH SCORE 38760.629
AT ITER 20 NEW BEST:: SOT 85046 SOS 70437 HAS SOPS 70437 HAS SOUS 38526 HAS SOUPS 38526 WITH SCORE 38596.437
AT ITER 22 NEW BEST:: SOT 84752 SOS 70092 HAS SOPS 70092 HAS SOUS 38361 HAS SOUPS 38361 WITH SCORE 38431.092
AT ITER 25 NEW BEST:: SOT 84751 SOS 70088 HAS SOPS 70088 HAS SOUS 38358 HAS SOUPS 38358 WITH SCORE 38428.088
AT ITER 26 NEW BEST:: SOT 84749 SOS 70086 HAS SOPS 70086 HAS SOUS 38358 HAS SOUPS 38358 WITH SCORE 38428.086
AT ITER 28 NEW BEST:: SOT 84838 SOS 70129 HAS SOPS 70129 HAS SOUS 38341 HAS SOUPS 38341 WITH SCORE 38411.129
AT ITER 32 NEW BEST:: SOT 84849 SOS 70118 HAS SOPS 70118 HAS SOUS 38319 HAS SOUPS 38319 WITH SCORE 38389.118
AT ITER 36 NEW BEST:: SOT 84808 SOS 70077 HAS SOPS 70077 HAS SOUS 38319 HAS SOUPS 38319 WITH SCORE 38389.077
AT ITER 39 NEW BEST:: SOT 82721 SOS 69093 HAS SOPS 68013 HAS SOUS 36507 HAS SOUPS 36421 WITH SCORE 36490.093
AT ITER 41 NEW BEST:: SOT 82735 SOS 69056 HAS SOPS 67976 HAS SOUS 36171 HAS SOUPS 36085 WITH SCORE 36154.056
AT ITER 42 NEW BEST:: SOT 82724 SOS 69040 HAS SOPS 67954 HAS SOUS 36160 HAS SOUPS 36074 WITH SCORE 36143.04
AT ITER 48 NEW BEST:: SOT 82780 SOS 68929 HAS SOPS 67843 HAS SOUS 36038 HAS SOUPS 35952 WITH SCORE 36020.929
AT ITER 50 NEW BEST:: SOT 82748 SOS 68838 HAS SOPS 67776 HAS SOUS 35760 HAS SOUPS 35674 WITH SCORE 35742.838
AT ITER 52 NEW BEST:: SOT 82747 SOS 68822 HAS SOPS 67763 HAS SOUS 35760 HAS SOUPS 35674 WITH SCORE 35742.822
AT ITER 53 NEW BEST:: SOT 82710 SOS 68788 HAS SOPS 67689 HAS SOUS 35747 HAS SOUPS 35661 WITH SCORE 35729.788
AT ITER 55 NEW BEST:: SOT 82709 SOS 68786 HAS SOPS 67687 HAS SOUS 35746 HAS SOUPS 35660 WITH SCORE 35728.786
AT ITER 56 NEW BEST:: SOT 82708 SOS 67863 HAS SOPS 66797 HAS SOUS 32878 HAS SOUPS 32792 WITH SCORE 32859.863
AT ITER 58 NEW BEST:: SOT 82713 SOS 67739 HAS SOPS 66673 HAS SOUS 32665 HAS SOUPS 32579 WITH SCORE 32646.739
AT ITER 59 NEW BEST:: SOT 82702 SOS 67728 HAS SOPS 66662 HAS SOUS 32654 HAS SOUPS 32568 WITH SCORE 32635.728
AT ITER 60 NEW BEST:: SOT 82647 SOS 67673 HAS SOPS 66607 HAS SOUS 32596 HAS SOUPS 32510 WITH SCORE 32577.673
AT ITER 61 NEW BEST:: SOT 82618 SOS 67610 HAS SOPS 66520 HAS SOUS 32562 HAS SOUPS 32476 WITH SCORE 32543.61
AT ITER 69 NEW BEST:: SOT 82570 SOS 67514 HAS SOPS 66376 HAS SOUS 32418 HAS SOUPS 32332 WITH SCORE 32399.514
AT ITER 71 NEW BEST:: SOT 82091 SOS 67035 HAS SOPS 65897 HAS SOUS 32155 HAS SOUPS 32069 WITH SCORE 32136.035
AT ITER 72 NEW BEST:: SOT 82076 SOS 66637 HAS SOPS 65499 HAS SOUS 31817 HAS SOUPS 31731 WITH SCORE 31797.637
AT ITER 73 NEW BEST:: SOT 82161 SOS 66223 HAS SOPS 65129 HAS SOUS 30874 HAS SOUPS 30788 WITH SCORE 30854.223
AT ITER 77 NEW BEST:: SOT 82181 SOS 66223 HAS SOPS 65129 HAS SOUS 30774 HAS SOUPS 30688 WITH SCORE 30754.223
AT ITER 78 NEW BEST:: SOT 82175 SOS 66211 HAS SOPS 65117 HAS SOUS 30762 HAS SOUPS 30676 WITH SCORE 30742.211
AT ITER 79 NEW BEST:: SOT 82190 SOS 65798 HAS SOPS 64747 HAS SOUS 29999 HAS SOUPS 29913 WITH SCORE 29978.798
AT ITER 82 NEW BEST:: SOT 82277 SOS 65934 HAS SOPS 64921 HAS SOUS 29996 HAS SOUPS 29910 WITH SCORE 29975.934
AT ITER 84 NEW BEST:: SOT 82360 SOS 64641 HAS SOPS 63676 HAS SOUS 28316 HAS SOUPS 28230 WITH SCORE 28294.641
AT ITER 86 NEW BEST:: SOT 82398 SOS 63312 HAS SOPS 62347 HAS SOUS 27380 HAS SOUPS 27294 WITH SCORE 27357.312
AT ITER 90 NEW BEST:: SOT 82364 SOS 63244 HAS SOPS 62279 HAS SOUS 27352 HAS SOUPS 27266 WITH SCORE 27329.244
AT ITER 91 NEW BEST:: SOT 82369 SOS 63118 HAS SOPS 62098 HAS SOUS 27202 HAS SOUPS 27116 WITH SCORE 27179.118
AT ITER 94 NEW BEST:: SOT 82394 SOS 63031 HAS SOPS 62011 HAS SOUS 27071 HAS SOUPS 26985 WITH SCORE 27048.031
AT ITER 99 NEW BEST:: SOT 82297 SOS 62932 HAS SOPS 61912 HAS SOUS 27069 HAS SOUPS 26983 WITH SCORE 27045.932
AT ITER 100 NEW BEST:: SOT 82302 SOS 62910 HAS SOPS 61883 HAS SOUS 27040 HAS SOUPS 26954 WITH SCORE 27016.91
AT ITER 102 NEW BEST:: SOT 82264 SOS 62834 HAS SOPS 61807 HAS SOUS 27004 HAS SOUPS 26918 WITH SCORE 26980.834
AT ITER 103 NEW BEST:: SOT 82251 SOS 62809 HAS SOPS 61781 HAS SOUS 26995 HAS SOUPS 26908 WITH SCORE 26970.809
AT ITER 112 NEW BEST:: SOT 82203 SOS 62713 HAS SOPS 61637 HAS SOUS 26899 HAS SOUPS 26812 WITH SCORE 26874.713
AT ITER 113 NEW BEST:: SOT 79555 SOS 62206 HAS SOPS 58922 HAS SOUS 26406 HAS SOUPS 26243 WITH SCORE 26305.206
AT ITER 117 NEW BEST:: SOT 79524 SOS 61980 HAS SOPS 58646 HAS SOUS 26257 HAS SOUPS 26094 WITH SCORE 26155.98
AT ITER 118 NEW BEST:: SOT 79553 SOS 61980 HAS SOPS 58646 HAS SOUS 26238 HAS SOUPS 26075 WITH SCORE 26136.98
AT ITER 120 NEW BEST:: SOT 79507 SOS 61870 HAS SOPS 58519 HAS SOUS 26157 HAS SOUPS 25994 WITH SCORE 26055.87
AT ITER 123 NEW BEST:: SOT 79473 SOS 61802 HAS SOPS 58451 HAS SOUS 26096 HAS SOUPS 25933 WITH SCORE 25994.802
AT ITER 124 NEW BEST:: SOT 79473 SOS 61422 HAS SOPS 58071 HAS SOUS 26036 HAS SOUPS 25873 WITH SCORE 25934.422
AT ITER 126 NEW BEST:: SOT 79409 SOS 61292 HAS SOPS 57952 HAS SOUS 25917 HAS SOUPS 25754 WITH SCORE 25815.292
AT ITER 128 NEW BEST:: SOT 79409 SOS 61319 HAS SOPS 57979 HAS SOUS 25911 HAS SOUPS 25748 WITH SCORE 25809.319
AT ITER 129 NEW BEST:: SOT 79401 SOS 61271 HAS SOPS 57679 HAS SOUS 25483 HAS SOUPS 25320 WITH SCORE 25381.271
AT ITER 132 NEW BEST:: SOT 79409 SOS 61277 HAS SOPS 57685 HAS SOUS 25481 HAS SOUPS 25318 WITH SCORE 25379.277
AT ITER 144 NEW BEST:: SOT 79427 SOS 61306 HAS SOPS 57714 HAS SOUS 25478 HAS SOUPS 25315 WITH SCORE 25376.306
AT ITER 145 NEW BEST:: SOT 79384 SOS 59886 HAS SOPS 55496 HAS SOUS 24198 HAS SOUPS 24035 WITH SCORE 24094.886
AT ITER 146 NEW BEST:: SOT 78133 SOS 58661 HAS SOPS 54170 HAS SOUS 23546 HAS SOUPS 23369 WITH SCORE 23427.661
AT ITER 147 NEW BEST:: SOT 78483 SOS 59003 HAS SOPS 54480 HAS SOUS 23524 HAS SOUPS 23343 WITH SCORE 23402.003
AT ITER 151 NEW BEST:: SOT 78458 SOS 58940 HAS SOPS 54417 HAS SOUS 23511 HAS SOUPS 23330 WITH SCORE 23388.94
AT ITER 152 NEW BEST:: SOT 77458 SOS 57938 HAS SOPS 53405 HAS SOUS 23008 HAS SOUPS 22827 WITH SCORE 22884.938
AT ITER 154 NEW BEST:: SOT 77458 SOS 57938 HAS SOPS 53395 HAS SOUS 22998 HAS SOUPS 22817 WITH SCORE 22874.938
AT ITER 156 NEW BEST:: SOT 76226 SOS 56701 HAS SOPS 52111 HAS SOUS 22340 HAS SOUPS 22146 WITH SCORE 22202.701
AT ITER 157 NEW BEST:: SOT 76193 SOS 56683 HAS SOPS 52093 HAS SOUS 22337 HAS SOUPS 22143 WITH SCORE 22199.683
AT ITER 158 NEW BEST:: SOT 76171 SOS 56683 HAS SOPS 52093 HAS SOUS 22318 HAS SOUPS 22124 WITH SCORE 22180.683
AT ITER 161 NEW BEST:: SOT 76113 SOS 56625 HAS SOPS 52035 HAS SOUS 22318 HAS SOUPS 22124 WITH SCORE 22180.625
AT ITER 162 NEW BEST:: SOT 76132 SOS 55091 HAS SOPS 50501 HAS SOUS 21872 HAS SOUPS 21678 WITH SCORE 21733.091
AT ITER 164 NEW BEST:: SOT 76217 SOS 54955 HAS SOPS 50365 HAS SOUS 21823 HAS SOUPS 21629 WITH SCORE 21683.955
AT ITER 169 NEW BEST:: SOT 76184 SOS 54854 HAS SOPS 50155 HAS SOUS 21657 HAS SOUPS 21463 WITH SCORE 21517.854
AT ITER 172 NEW BEST:: SOT 76069 SOS 54790 HAS SOPS 50080 HAS SOUS 21641 HAS SOUPS 21447 WITH SCORE 21501.79
AT ITER 176 NEW BEST:: SOT 74251 SOS 52874 HAS SOPS 48119 HAS SOUS 20658 HAS SOUPS 20464 WITH SCORE 20516.874
AT ITER 180 NEW BEST:: SOT 74233 SOS 52838 HAS SOPS 48083 HAS SOUS 20622 HAS SOUPS 20428 WITH SCORE 20480.838
AT ITER 183 NEW BEST:: SOT 74249 SOS 52796 HAS SOPS 48041 HAS SOUS 20577 HAS SOUPS 20383 WITH SCORE 20435.796
AT ITER 184 NEW BEST:: SOT 73825 SOS 52356 HAS SOPS 47561 HAS SOUS 20343 HAS SOUPS 20149 WITH SCORE 20201.356
AT ITER 185 NEW BEST:: SOT 73825 SOS 52336 HAS SOPS 46913 HAS SOUS 19967 HAS SOUPS 19773 WITH SCORE 19825.336
AT ITER 186 NEW BEST:: SOT 73825 SOS 52296 HAS SOPS 46893 HAS SOUS 19947 HAS SOUPS 19753 WITH SCORE 19805.296
AT ITER 187 NEW BEST:: SOT 72843 SOS 51313 HAS SOPS 46352 HAS SOUS 19763 HAS SOUPS 19569 WITH SCORE 19620.313
AT ITER 188 NEW BEST:: SOT 72896 SOS 51289 HAS SOPS 46365 HAS SOUS 19761 HAS SOUPS 19567 WITH SCORE 19618.289
AT ITER 194 NEW BEST:: SOT 72903 SOS 51296 HAS SOPS 46357 HAS SOUS 19753 HAS SOUPS 19559 WITH SCORE 19610.296
AT ITER 198 NEW BEST:: SOT 72898 SOS 51268 HAS SOPS 46329 HAS SOUS 19731 HAS SOUPS 19537 WITH SCORE 19588.268
AT ITER 199 NEW BEST:: SOT 72897 SOS 51266 HAS SOPS 46327 HAS SOUS 19729 HAS SOUPS 19535 WITH SCORE 19586.266
AT ITER 204 NEW BEST:: SOT 72895 SOS 49188 HAS SOPS 43391 HAS SOUS 18877 HAS SOUPS 18683 WITH SCORE 18732.188
AT ITER 215 NEW BEST:: SOT 72802 SOS 48975 HAS SOPS 43164 HAS SOUS 18689 HAS SOUPS 18495 WITH SCORE 18543.975
AT ITER 218 NEW BEST:: SOT 72694 SOS 48858 HAS SOPS 43047 HAS SOUS 18626 HAS SOUPS 18432 WITH SCORE 18480.858
AT ITER 222 NEW BEST:: SOT 72669 SOS 48837 HAS SOPS 43026 HAS SOUS 18601 HAS SOUPS 18407 WITH SCORE 18455.837
AT ITER 226 NEW BEST:: SOT 72669 SOS 48837 HAS SOPS 43025 HAS SOUS 18599 HAS SOUPS 18405 WITH SCORE 18453.837
AT ITER 231 NEW BEST:: SOT 72716 SOS 48876 HAS SOPS 42831 HAS SOUS 18526 HAS SOUPS 18332 WITH SCORE 18380.876
AT ITER 232 NEW BEST:: SOT 72694 SOS 47240 HAS SOPS 39942 HAS SOUS 17690 HAS SOUPS 17496 WITH SCORE 17543.24
AT ITER 233 NEW BEST:: SOT 72693 SOS 47238 HAS SOPS 39940 HAS SOUS 17688 HAS SOUPS 17494 WITH SCORE 17541.238
AT ITER 234 NEW BEST:: SOT 72693 SOS 47235 HAS SOPS 39937 HAS SOUS 17687 HAS SOUPS 17493 WITH SCORE 17540.235
AT ITER 235 NEW BEST:: SOT 72692 SOS 47233 HAS SOPS 39935 HAS SOUS 17687 HAS SOUPS 17493 WITH SCORE 17540.233
AT ITER 240 NEW BEST:: SOT 72692 SOS 47227 HAS SOPS 39932 HAS SOUS 17685 HAS SOUPS 17491 WITH SCORE 17538.227
AT ITER 243 NEW BEST:: SOT 70908 SOS 45643 HAS SOPS 39590 HAS SOUS 17563 HAS SOUPS 17369 WITH SCORE 17414.643
AT ITER 244 NEW BEST:: SOT 70876 SOS 45576 HAS SOPS 39526 HAS SOUS 17528 HAS SOUPS 17334 WITH SCORE 17379.576
AT ITER 246 NEW BEST:: SOT 70864 SOS 45514 HAS SOPS 39502 HAS SOUS 17504 HAS SOUPS 17310 WITH SCORE 17355.514
AT ITER 258 NEW BEST:: SOT 70130 SOS 44787 HAS SOPS 38775 HAS SOUS 17139 HAS SOUPS 16945 WITH SCORE 16989.787
AT ITER 261 NEW BEST:: SOT 70128 SOS 44779 HAS SOPS 38767 HAS SOUS 17133 HAS SOUPS 16939 WITH SCORE 16983.779
AT ITER 264 NEW BEST:: SOT 70119 SOS 44770 HAS SOPS 38749 HAS SOUS 17115 HAS SOUPS 16921 WITH SCORE 16965.77
AT ITER 265 NEW BEST:: SOT 69121 SOS 45344 HAS SOPS 39323 HAS SOUS 16705 HAS SOUPS 16511 WITH SCORE 16556.344
AT ITER 266 NEW BEST:: SOT 67985 SOS 44218 HAS SOPS 38197 HAS SOUS 16317 HAS SOUPS 16123 WITH SCORE 16167.218
AT ITER 267 NEW BEST:: SOT 67985 SOS 44218 HAS SOPS 38015 HAS SOUS 16219 HAS SOUPS 16025 WITH SCORE 16069.218
AT ITER 268 NEW BEST:: SOT 67953 SOS 44149 HAS SOPS 37894 HAS SOUS 16098 HAS SOUPS 15904 WITH SCORE 15948.149
AT ITER 271 NEW BEST:: SOT 67919 SOS 44135 HAS SOPS 37880 HAS SOUS 16096 HAS SOUPS 15902 WITH SCORE 15946.135
AT ITER 272 NEW BEST:: SOT 67936 SOS 44122 HAS SOPS 37833 HAS SOUS 16096 HAS SOUPS 15902 WITH SCORE 15946.122
AT ITER 276 NEW BEST:: SOT 67916 SOS 44077 HAS SOPS 37793 HAS SOUS 16051 HAS SOUPS 15857 WITH SCORE 15901.077
AT ITER 277 NEW BEST:: SOT 66611 SOS 42780 HAS SOPS 36651 HAS SOUS 15463 HAS SOUPS 15269 WITH SCORE 15311.78
AT ITER 291 NEW BEST:: SOT 66548 SOS 42654 HAS SOPS 36525 HAS SOUS 15361 HAS SOUPS 15167 WITH SCORE 15209.654
AT ITER 295 NEW BEST:: SOT 66536 SOS 42531 HAS SOPS 36415 HAS SOUS 15249 HAS SOUPS 15057 WITH SCORE 15099.531
AT ITER 297 NEW BEST:: SOT 66399 SOS 44796 HAS SOPS 35659 HAS SOUS 15113 HAS SOUPS 14862 WITH SCORE 14906.796
AT ITER 299 NEW BEST:: SOT 66454 SOS 44850 HAS SOPS 35712 HAS SOUS 15109 HAS SOUPS 14858 WITH SCORE 14902.85
AT ITER 305 NEW BEST:: SOT 66452 SOS 44830 HAS SOPS 35692 HAS SOUS 15105 HAS SOUPS 14854 WITH SCORE 14898.83
AT ITER 312 NEW BEST:: SOT 66452 SOS 44773 HAS SOPS 35603 HAS SOUS 14984 HAS SOUPS 14733 WITH SCORE 14777.773
AT ITER 313 NEW BEST:: SOT 66430 SOS 44763 HAS SOPS 35577 HAS SOUS 14965 HAS SOUPS 14714 WITH SCORE 14758.763
AT ITER 314 NEW BEST:: SOT 66522 SOS 43304 HAS SOPS 34174 HAS SOUS 14963 HAS SOUPS 14712 WITH SCORE 14755.304
AT ITER 317 NEW BEST:: SOT 66522 SOS 43232 HAS SOPS 34138 HAS SOUS 14963 HAS SOUPS 14712 WITH SCORE 14755.232
AT ITER 319 NEW BEST:: SOT 66523 SOS 43162 HAS SOPS 34069 HAS SOUS 14937 HAS SOUPS 14686 WITH SCORE 14729.162
AT ITER 320 NEW BEST:: SOT 66489 SOS 43094 HAS SOPS 34001 HAS SOUS 14903 HAS SOUPS 14652 WITH SCORE 14695.094
AT ITER 322 NEW BEST:: SOT 66455 SOS 42920 HAS SOPS 33933 HAS SOUS 14835 HAS SOUPS 14584 WITH SCORE 14626.92
AT ITER 324 NEW BEST:: SOT 66480 SOS 42919 HAS SOPS 33953 HAS SOUS 14825 HAS SOUPS 14574 WITH SCORE 14616.919
AT ITER 346 NEW BEST:: SOT 66351 SOS 42833 HAS SOPS 33861 HAS SOUS 14750 HAS SOUPS 14499 WITH SCORE 14541.833
AT ITER 349 NEW BEST:: SOT 66322 SOS 42840 HAS SOPS 33857 HAS SOUS 14738 HAS SOUPS 14487 WITH SCORE 14529.84
AT ITER 352 NEW BEST:: SOT 66305 SOS 42735 HAS SOPS 33704 HAS SOUS 14643 HAS SOUPS 14392 WITH SCORE 14434.735
AT ITER 357 NEW BEST:: SOT 66302 SOS 42732 HAS SOPS 33701 HAS SOUS 14640 HAS SOUPS 14389 WITH SCORE 14431.732
AT ITER 358 NEW BEST:: SOT 66162 SOS 42592 HAS SOPS 33561 HAS SOUS 14570 HAS SOUPS 14319 WITH SCORE 14361.592
AT ITER 364 NEW BEST:: SOT 66160 SOS 42589 HAS SOPS 33557 HAS SOUS 14567 HAS SOUPS 14316 WITH SCORE 14358.589
AT ITER 373 NEW BEST:: SOT 66162 SOS 42580 HAS SOPS 33548 HAS SOUS 14558 HAS SOUPS 14307 WITH SCORE 14349.58
AT ITER 389 NEW BEST:: SOT 66152 SOS 42570 HAS SOPS 33518 HAS SOUS 14527 HAS SOUPS 14276 WITH SCORE 14318.57
AT ITER 395 NEW BEST:: SOT 64211 SOS 40717 HAS SOPS 32204 HAS SOUS 13965 HAS SOUPS 13714 WITH SCORE 13754.717
AT ITER 396 NEW BEST:: SOT 64211 SOS 40716 HAS SOPS 32204 HAS SOUS 13965 HAS SOUPS 13714 WITH SCORE 13754.716
AT ITER 405 NEW BEST:: SOT 64211 SOS 40716 HAS SOPS 32204 HAS SOUS 13964 HAS SOUPS 13713 WITH SCORE 13753.716
AT ITER 409 NEW BEST:: SOT 64145 SOS 40647 HAS SOPS 32072 HAS SOUS 13832 HAS SOUPS 13581 WITH SCORE 13621.647
AT ITER 412 NEW BEST:: SOT 64186 SOS 40723 HAS SOPS 32154 HAS SOUS 13828 HAS SOUPS 13577 WITH SCORE 13617.723
AT ITER 414 NEW BEST:: SOT 64133 SOS 40622 HAS SOPS 32048 HAS SOUS 13700 HAS SOUPS 13449 WITH SCORE 13489.622
AT ITER 415 NEW BEST:: SOT 64130 SOS 40578 HAS SOPS 31556 HAS SOUS 13437 HAS SOUPS 13186 WITH SCORE 13226.578
AT ITER 419 NEW BEST:: SOT 64108 SOS 40534 HAS SOPS 31512 HAS SOUS 13412 HAS SOUPS 13161 WITH SCORE 13201.534
AT ITER 426 NEW BEST:: SOT 64095 SOS 40527 HAS SOPS 31501 HAS SOUS 13400 HAS SOUPS 13150 WITH SCORE 13190.527
AT ITER 432 NEW BEST:: SOT 64109 SOS 40518 HAS SOPS 31501 HAS SOUS 13395 HAS SOUPS 13145 WITH SCORE 13185.518
AT ITER 438 NEW BEST:: SOT 64104 SOS 40455 HAS SOPS 31438 HAS SOUS 13385 HAS SOUPS 13135 WITH SCORE 13175.455
AT ITER 440 NEW BEST:: SOT 64106 SOS 40355 HAS SOPS 31342 HAS SOUS 13385 HAS SOUPS 13135 WITH SCORE 13175.355
AT ITER 441 NEW BEST:: SOT 64089 SOS 40317 HAS SOPS 31308 HAS SOUS 13373 HAS SOUPS 13123 WITH SCORE 13163.317
AT ITER 442 NEW BEST:: SOT 64075 SOS 40296 HAS SOPS 31273 HAS SOUS 13338 HAS SOUPS 13088 WITH SCORE 13128.296
AT ITER 444 NEW BEST:: SOT 64072 SOS 40293 HAS SOPS 31267 HAS SOUS 13332 HAS SOUPS 13082 WITH SCORE 13122.293
AT ITER 445 NEW BEST:: SOT 64035 SOS 40266 HAS SOPS 31193 HAS SOUS 13264 HAS SOUPS 13008 WITH SCORE 13048.266
AT ITER 447 NEW BEST:: SOT 64033 SOS 40263 HAS SOPS 31189 HAS SOUS 13260 HAS SOUPS 13004 WITH SCORE 13044.263
AT ITER 448 NEW BEST:: SOT 63995 SOS 40187 HAS SOPS 31010 HAS SOUS 12998 HAS SOUPS 12742 WITH SCORE 12782.187
AT ITER 458 NEW BEST:: SOT 64055 SOS 40259 HAS SOPS 31007 HAS SOUS 12995 HAS SOUPS 12739 WITH SCORE 12779.259
AT ITER 460 NEW BEST:: SOT 63927 SOS 40067 HAS SOPS 30751 HAS SOUS 12766 HAS SOUPS 12510 WITH SCORE 12550.067
AT ITER 461 NEW BEST:: SOT 63927 SOS 40067 HAS SOPS 30700 HAS SOUS 12715 HAS SOUPS 12459 WITH SCORE 12499.067
AT ITER 467 NEW BEST:: SOT 63890 SOS 40013 HAS SOPS 30643 HAS SOUS 12658 HAS SOUPS 12402 WITH SCORE 12442.013
AT ITER 474 NEW BEST:: SOT 63841 SOS 39918 HAS SOPS 30545 HAS SOUS 12583 HAS SOUPS 12327 WITH SCORE 12366.918
AT ITER 475 NEW BEST:: SOT 63834 SOS 39904 HAS SOPS 30524 HAS SOUS 12562 HAS SOUPS 12306 WITH SCORE 12345.904
AT ITER 476 NEW BEST:: SOT 63832 SOS 39924 HAS SOPS 30537 HAS SOUS 12560 HAS SOUPS 12304 WITH SCORE 12343.924
AT ITER 487 NEW BEST:: SOT 63827 SOS 39931 HAS SOPS 30527 HAS SOUS 12555 HAS SOUPS 12299 WITH SCORE 12338.931
AT ITER 491 NEW BEST:: SOT 63855 SOS 39726 HAS SOPS 30301 HAS SOUS 12424 HAS SOUPS 12168 WITH SCORE 12207.726
AT ITER 498 NEW BEST:: SOT 63821 SOS 39645 HAS SOPS 30233 HAS SOUS 12241 HAS SOUPS 11985 WITH SCORE 12024.645
AT ITER 499 NEW BEST:: SOT 63838 SOS 39606 HAS SOPS 30194 HAS SOUS 12202 HAS SOUPS 11946 WITH SCORE 11985.606
AT ITER 501 NEW BEST:: SOT 63834 SOS 39617 HAS SOPS 30186 HAS SOUS 12177 HAS SOUPS 11921 WITH SCORE 11960.617
AT ITER 502 NEW BEST:: SOT 63838 SOS 39329 HAS SOPS 29913 HAS SOUS 12144 HAS SOUPS 11888 WITH SCORE 11927.329
AT ITER 507 NEW BEST:: SOT 63768 SOS 39899 HAS SOPS 29832 HAS SOUS 12106 HAS SOUPS 11846 WITH SCORE 11885.899
AT ITER 520 NEW BEST:: SOT 63768 SOS 39899 HAS SOPS 29832 HAS SOUS 12101 HAS SOUPS 11841 WITH SCORE 11880.899
AT ITER 522 NEW BEST:: SOT 63735 SOS 39866 HAS SOPS 29782 HAS SOUS 12058 HAS SOUPS 11798 WITH SCORE 11837.866
AT ITER 528 NEW BEST:: SOT 63712 SOS 39832 HAS SOPS 29736 HAS SOUS 12012 HAS SOUPS 11752 WITH SCORE 11791.832
AT ITER 536 NEW BEST:: SOT 63448 SOS 39574 HAS SOPS 29478 HAS SOUS 11886 HAS SOUPS 11626 WITH SCORE 11665.574
AT ITER 546 NEW BEST:: SOT 63448 SOS 39546 HAS SOPS 29464 HAS SOUS 11886 HAS SOUPS 11626 WITH SCORE 11665.546
AT ITER 547 NEW BEST:: SOT 63266 SOS 39371 HAS SOPS 29296 HAS SOUS 11816 HAS SOUPS 11556 WITH SCORE 11595.371
AT ITER 550 NEW BEST:: SOT 63157 SOS 39478 HAS SOPS 29284 HAS SOUS 11718 HAS SOUPS 11458 WITH SCORE 11497.478
AT ITER 555 NEW BEST:: SOT 63146 SOS 39485 HAS SOPS 29280 HAS SOUS 11714 HAS SOUPS 11454 WITH SCORE 11493.485
AT ITER 569 NEW BEST:: SOT 63087 SOS 39426 HAS SOPS 29162 HAS SOUS 11642 HAS SOUPS 11382 WITH SCORE 11421.426
AT ITER 577 NEW BEST:: SOT 63071 SOS 39398 HAS SOPS 29130 HAS SOUS 11622 HAS SOUPS 11362 WITH SCORE 11401.398
AT ITER 578 NEW BEST:: SOT 63077 SOS 39404 HAS SOPS 29136 HAS SOUS 11616 HAS SOUPS 11356 WITH SCORE 11395.404
AT ITER 587 NEW BEST:: SOT 62451 SOS 39418 HAS SOPS 29260 HAS SOUS 11574 HAS SOUPS 11314 WITH SCORE 11353.418
AT ITER 595 NEW BEST:: SOT 62405 SOS 39402 HAS SOPS 29211 HAS SOUS 11495 HAS SOUPS 11235 WITH SCORE 11274.402
AT ITER 599 NEW BEST:: SOT 62379 SOS 39403 HAS SOPS 29201 HAS SOUS 11482 HAS SOUPS 11222 WITH SCORE 11261.403
AT ITER 622 NEW BEST:: SOT 62378 SOS 39401 HAS SOPS 29199 HAS SOUS 11480 HAS SOUPS 11220 WITH SCORE 11259.401
AT ITER 627 NEW BEST:: SOT 62339 SOS 39373 HAS SOPS 29121 HAS SOUS 11402 HAS SOUPS 11142 WITH SCORE 11181.373
AT ITER 644 NEW BEST:: SOT 62336 SOS 39367 HAS SOPS 29118 HAS SOUS 11399 HAS SOUPS 11139 WITH SCORE 11178.367
AT ITER 650 NEW BEST:: SOT 62297 SOS 39289 HAS SOPS 29040 HAS SOUS 11399 HAS SOUPS 11139 WITH SCORE 11178.289
AT ITER 652 NEW BEST:: SOT 62290 SOS 39179 HAS SOPS 28896 HAS SOUS 11295 HAS SOUPS 11035 WITH SCORE 11074.179
AT ITER 656 NEW BEST:: SOT 62290 SOS 39175 HAS SOPS 28891 HAS SOUS 11291 HAS SOUPS 11031 WITH SCORE 11070.175
AT ITER 657 NEW BEST:: SOT 61631 SOS 38525 HAS SOPS 28245 HAS SOUS 10981 HAS SOUPS 10721 WITH SCORE 10759.525
AT ITER 677 NEW BEST:: SOT 61641 SOS 38477 HAS SOPS 28231 HAS SOUS 10967 HAS SOUPS 10707 WITH SCORE 10745.477
AT ITER 678 NEW BEST:: SOT 61636 SOS 38472 HAS SOPS 28226 HAS SOUS 10962 HAS SOUPS 10702 WITH SCORE 10740.472
AT ITER 693 NEW BEST:: SOT 61635 SOS 38466 HAS SOPS 28220 HAS SOUS 10958 HAS SOUPS 10698 WITH SCORE 10736.466
AT ITER 695 NEW BEST:: SOT 61631 SOS 38458 HAS SOPS 28208 HAS SOUS 10946 HAS SOUPS 10686 WITH SCORE 10724.458
AT ITER 697 NEW BEST:: SOT 61585 SOS 38410 HAS SOPS 28160 HAS SOUS 10921 HAS SOUPS 10661 WITH SCORE 10699.41
AT ITER 698 NEW BEST:: SOT 61583 SOS 38273 HAS SOPS 28158 HAS SOUS 10917 HAS SOUPS 10659 WITH SCORE 10697.273
AT ITER 707 NEW BEST:: SOT 61524 SOS 38184 HAS SOPS 28010 HAS SOUS 10775 HAS SOUPS 10511 WITH SCORE 10549.184
AT ITER 713 NEW BEST:: SOT 61512 SOS 38217 HAS SOPS 28027 HAS SOUS 10761 HAS SOUPS 10497 WITH SCORE 10535.217
AT ITER 720 NEW BEST:: SOT 61516 SOS 38219 HAS SOPS 28023 HAS SOUS 10757 HAS SOUPS 10493 WITH SCORE 10531.219
AT ITER 722 NEW BEST:: SOT 61473 SOS 38081 HAS SOPS 27889 HAS SOUS 10629 HAS SOUPS 10365 WITH SCORE 10403.081
AT ITER 727 NEW BEST:: SOT 61441 SOS 38022 HAS SOPS 27825 HAS SOUS 10592 HAS SOUPS 10328 WITH SCORE 10366.022
AT ITER 728 NEW BEST:: SOT 61438 SOS 38019 HAS SOPS 27819 HAS SOUS 10586 HAS SOUPS 10322 WITH SCORE 10360.019
AT ITER 743 NEW BEST:: SOT 61442 SOS 37999 HAS SOPS 27808 HAS SOUS 10571 HAS SOUPS 10307 WITH SCORE 10344.999
AT ITER 746 NEW BEST:: SOT 61435 SOS 37992 HAS SOPS 27794 HAS SOUS 10557 HAS SOUPS 10293 WITH SCORE 10330.992
AT ITER 749 NEW BEST:: SOT 61427 SOS 37640 HAS SOPS 27462 HAS SOUS 10508 HAS SOUPS 10244 WITH SCORE 10281.64
AT ITER 757 NEW BEST:: SOT 61385 SOS 37526 HAS SOPS 27324 HAS SOUS 10391 HAS SOUPS 10127 WITH SCORE 10164.526
AT ITER 761 NEW BEST:: SOT 61335 SOS 37530 HAS SOPS 27276 HAS SOUS 10383 HAS SOUPS 10119 WITH SCORE 10156.53
AT ITER 777 NEW BEST:: SOT 60298 SOS 36566 HAS SOPS 26494 HAS SOUS 10305 HAS SOUPS 10041 WITH SCORE 10077.566
AT ITER 799 NEW BEST:: SOT 59725 SOS 36040 HAS SOPS 26188 HAS SOUS 10242 HAS SOUPS 9978 WITH SCORE 10014.04
AT ITER 807 NEW BEST:: SOT 59704 SOS 36019 HAS SOPS 26167 HAS SOUS 10197 HAS SOUPS 9933 WITH SCORE 9969.019
AT ITER 808 NEW BEST:: SOT 59682 SOS 36019 HAS SOPS 26145 HAS SOUS 10175 HAS SOUPS 9911 WITH SCORE 9947.019
AT ITER 810 NEW BEST:: SOT 59676 SOS 35927 HAS SOPS 26053 HAS SOUS 10089 HAS SOUPS 9825 WITH SCORE 9860.927
AT ITER 830 NEW BEST:: SOT 59664 SOS 35904 HAS SOPS 26029 HAS SOUS 10065 HAS SOUPS 9801 WITH SCORE 9836.904
AT ITER 833 NEW BEST:: SOT 59667 SOS 35897 HAS SOPS 26024 HAS SOUS 10049 HAS SOUPS 9785 WITH SCORE 9820.897
AT ITER 837 NEW BEST:: SOT 59620 SOS 35751 HAS SOPS 25878 HAS SOUS 9950 HAS SOUPS 9686 WITH SCORE 9721.751
AT ITER 840 NEW BEST:: SOT 59580 SOS 35711 HAS SOPS 25798 HAS SOUS 9870 HAS SOUPS 9606 WITH SCORE 9641.711
AT ITER 841 NEW BEST:: SOT 59584 SOS 35479 HAS SOPS 25571 HAS SOUS 9860 HAS SOUPS 9596 WITH SCORE 9631.479
AT ITER 858 NEW BEST:: SOT 59584 SOS 35473 HAS SOPS 25565 HAS SOUS 9854 HAS SOUPS 9590 WITH SCORE 9625.473
AT ITER 859 NEW BEST:: SOT 59561 SOS 35472 HAS SOPS 25542 HAS SOUS 9854 HAS SOUPS 9590 WITH SCORE 9625.472
AT ITER 869 NEW BEST:: SOT 59389 SOS 35407 HAS SOPS 25477 HAS SOUS 9849 HAS SOUPS 9585 WITH SCORE 9620.407
AT ITER 886 NEW BEST:: SOT 59382 SOS 35404 HAS SOPS 25463 HAS SOUS 9829 HAS SOUPS 9565 WITH SCORE 9600.404
AT ITER 907 NEW BEST:: SOT 59381 SOS 35409 HAS SOPS 25461 HAS SOUS 9819 HAS SOUPS 9555 WITH SCORE 9590.409
AT ITER 918 NEW BEST:: SOT 59347 SOS 35327 HAS SOPS 25362 HAS SOUS 9723 HAS SOUPS 9459 WITH SCORE 9494.327
AT ITER 919 NEW BEST:: SOT 59280 SOS 35179 HAS SOPS 25214 HAS SOUS 9540 HAS SOUPS 9276 WITH SCORE 9311.179
AT ITER 924 NEW BEST:: SOT 59249 SOS 35135 HAS SOPS 25170 HAS SOUS 9504 HAS SOUPS 9240 WITH SCORE 9275.135
AT ITER 925 NEW BEST:: SOT 59252 SOS 34733 HAS SOPS 24768 HAS SOUS 9411 HAS SOUPS 9147 WITH SCORE 9181.733
AT ITER 935 NEW BEST:: SOT 59250 SOS 34732 HAS SOPS 24764 HAS SOUS 9410 HAS SOUPS 9146 WITH SCORE 9180.732
AT ITER 938 NEW BEST:: SOT 59249 SOS 34731 HAS SOPS 24763 HAS SOUS 9409 HAS SOUPS 9145 WITH SCORE 9179.731
AT ITER 941 NEW BEST:: SOT 59215 SOS 34697 HAS SOPS 24695 HAS SOUS 9341 HAS SOUPS 9077 WITH SCORE 9111.697
AT ITER 949 NEW BEST:: SOT 59209 SOS 34687 HAS SOPS 24679 HAS SOUS 9325 HAS SOUPS 9061 WITH SCORE 9095.687
AT ITER 953 NEW BEST:: SOT 59169 SOS 34643 HAS SOPS 24599 HAS SOUS 9210 HAS SOUPS 8946 WITH SCORE 8980.643
AT ITER 957 NEW BEST:: SOT 59071 SOS 34545 HAS SOPS 24501 HAS SOUS 9162 HAS SOUPS 8898 WITH SCORE 8932.545
AT ITER 960 NEW BEST:: SOT 59069 SOS 34539 HAS SOPS 24497 HAS SOUS 9155 HAS SOUPS 8893 WITH SCORE 8927.539
AT ITER 962 NEW BEST:: SOT 59097 SOS 34448 HAS SOPS 24459 HAS SOUS 9142 HAS SOUPS 8880 WITH SCORE 8914.448
AT ITER 965 NEW BEST:: SOT 59081 SOS 34424 HAS SOPS 24427 HAS SOUS 9128 HAS SOUPS 8866 WITH SCORE 8900.424
AT ITER 966 NEW BEST:: SOT 59062 SOS 34398 HAS SOPS 24389 HAS SOUS 9090 HAS SOUPS 8828 WITH SCORE 8862.398
AT ITER 971 NEW BEST:: SOT 59002 SOS 34338 HAS SOPS 24309 HAS SOUS 9010 HAS SOUPS 8748 WITH SCORE 8782.338
AT ITER 983 NEW BEST:: SOT 59002 SOS 34309 HAS SOPS 24294 HAS SOUS 9000 HAS SOUPS 8738 WITH SCORE 8772.309
AT ITER 987 NEW BEST:: SOT 58993 SOS 34312 HAS SOPS 24276 HAS SOUS 8963 HAS SOUPS 8701 WITH SCORE 8735.312
AT ITER 998 NEW BEST:: SOT 58754 SOS 34138 HAS SOPS 24282 HAS SOUS 8963 HAS SOUPS 8701 WITH SCORE 8735.138
AT ITER 999 NEW BEST:: SOT 58744 SOS 34134 HAS SOPS 24273 HAS SOUS 8957 HAS SOUPS 8695 WITH SCORE 8729.134
AT ITER 1003 NEW BEST:: SOT 58744 SOS 34130 HAS SOPS 24269 HAS SOUS 8955 HAS SOUPS 8693 WITH SCORE 8727.13
AT ITER 1016 NEW BEST:: SOT 58742 SOS 34126 HAS SOPS 24263 HAS SOUS 8950 HAS SOUPS 8688 WITH SCORE 8722.126
AT ITER 1025 NEW BEST:: SOT 58736 SOS 34111 HAS SOPS 24204 HAS SOUS 8921 HAS SOUPS 8659 WITH SCORE 8693.111
AT ITER 1029 NEW BEST:: SOT 58727 SOS 34066 HAS SOPS 24161 HAS SOUS 8914 HAS SOUPS 8652 WITH SCORE 8686.066
AT ITER 1039 NEW BEST:: SOT 58728 SOS 33965 HAS SOPS 24063 HAS SOUS 8909 HAS SOUPS 8647 WITH SCORE 8680.965
AT ITER 1054 NEW BEST:: SOT 58726 SOS 33958 HAS SOPS 24059 HAS SOUS 8905 HAS SOUPS 8643 WITH SCORE 8676.958
AT ITER 1067 NEW BEST:: SOT 58725 SOS 33956 HAS SOPS 24057 HAS SOUS 8904 HAS SOUPS 8642 WITH SCORE 8675.956
AT ITER 1096 NEW BEST:: SOT 58703 SOS 33930 HAS SOPS 24013 HAS SOUS 8864 HAS SOUPS 8602 WITH SCORE 8635.93
AT ITER 1097 NEW BEST:: SOT 58699 SOS 33951 HAS SOPS 24005 HAS SOUS 8856 HAS SOUPS 8594 WITH SCORE 8627.951
AT ITER 1125 NEW BEST:: SOT 58699 SOS 33946 HAS SOPS 24000 HAS SOUS 8851 HAS SOUPS 8589 WITH SCORE 8622.946
AT ITER 1127 NEW BEST:: SOT 58704 SOS 33944 HAS SOPS 24000 HAS SOUS 8850 HAS SOUPS 8588 WITH SCORE 8621.944
AT ITER 1132 NEW BEST:: SOT 58701 SOS 33942 HAS SOPS 23994 HAS SOUS 8847 HAS SOUPS 8585 WITH SCORE 8618.942
AT ITER 1142 NEW BEST:: SOT 58581 SOS 36090 HAS SOPS 23848 HAS SOUS 8781 HAS SOUPS 8506 WITH SCORE 8542.09
AT ITER 1200 NEW BEST:: SOT 58582 SOS 36058 HAS SOPS 23817 HAS SOUS 8746 HAS SOUPS 8471 WITH SCORE 8507.058
AT ITER 1209 NEW BEST:: SOT 58530 SOS 35990 HAS SOPS 23734 HAS SOUS 8674 HAS SOUPS 8399 WITH SCORE 8434.99
AT ITER 1216 NEW BEST:: SOT 58430 SOS 35890 HAS SOPS 23558 HAS SOUS 8554 HAS SOUPS 8279 WITH SCORE 8314.89
AT ITER 1222 NEW BEST:: SOT 58428 SOS 35766 HAS SOPS 23284 HAS SOUS 8503 HAS SOUPS 8228 WITH SCORE 8263.766
AT ITER 1224 NEW BEST:: SOT 58435 SOS 35767 HAS SOPS 23279 HAS SOUS 8495 HAS SOUPS 8220 WITH SCORE 8255.767
AT ITER 1229 NEW BEST:: SOT 58433 SOS 35765 HAS SOPS 23275 HAS SOUS 8491 HAS SOUPS 8216 WITH SCORE 8251.765
AT ITER 1236 NEW BEST:: SOT 58416 SOS 35732 HAS SOPS 23241 HAS SOUS 8457 HAS SOUPS 8182 WITH SCORE 8217.732
AT ITER 1240 NEW BEST:: SOT 58421 SOS 35671 HAS SOPS 23185 HAS SOUS 8401 HAS SOUPS 8126 WITH SCORE 8161.671
AT ITER 1243 NEW BEST:: SOT 58421 SOS 35656 HAS SOPS 23177 HAS SOUS 8401 HAS SOUPS 8126 WITH SCORE 8161.656
AT ITER 1257 NEW BEST:: SOT 58439 SOS 35590 HAS SOPS 22521 HAS SOUS 8298 HAS SOUPS 8023 WITH SCORE 8058.59
AT ITER 1258 NEW BEST:: SOT 58397 SOS 35551 HAS SOPS 22479 HAS SOUS 8277 HAS SOUPS 8002 WITH SCORE 8037.551
AT ITER 1259 NEW BEST:: SOT 58386 SOS 35507 HAS SOPS 22446 HAS SOUS 8265 HAS SOUPS 7990 WITH SCORE 8025.507
AT ITER 1268 NEW BEST:: SOT 58360 SOS 35481 HAS SOPS 22426 HAS SOUS 8245 HAS SOUPS 7970 WITH SCORE 8005.481
AT ITER 1296 NEW BEST:: SOT 58280 SOS 35397 HAS SOPS 22328 HAS SOUS 8123 HAS SOUPS 7848 WITH SCORE 7883.397
AT ITER 1298 NEW BEST:: SOT 58260 SOS 35397 HAS SOPS 22308 HAS SOUS 8103 HAS SOUPS 7828 WITH SCORE 7863.397
AT ITER 1309 NEW BEST:: SOT 58256 SOS 35392 HAS SOPS 22300 HAS SOUS 8095 HAS SOUPS 7820 WITH SCORE 7855.392
AT ITER 1325 NEW BEST:: SOT 58251 SOS 35395 HAS SOPS 22290 HAS SOUS 8067 HAS SOUPS 7792 WITH SCORE 7827.395
AT ITER 1330 NEW BEST:: SOT 58237 SOS 35367 HAS SOPS 21961 HAS SOUS 7997 HAS SOUPS 7722 WITH SCORE 7757.367
AT ITER 1339 NEW BEST:: SOT 58226 SOS 35353 HAS SOPS 21939 HAS SOUS 7981 HAS SOUPS 7706 WITH SCORE 7741.353
AT ITER 1349 NEW BEST:: SOT 58212 SOS 35339 HAS SOPS 21919 HAS SOUS 7964 HAS SOUPS 7686 WITH SCORE 7721.339
AT ITER 1386 NEW BEST:: SOT 58197 SOS 35340 HAS SOPS 21902 HAS SOUS 7942 HAS SOUPS 7664 WITH SCORE 7699.34
AT ITER 1389 NEW BEST:: SOT 58192 SOS 35305 HAS SOPS 21869 HAS SOUS 7937 HAS SOUPS 7659 WITH SCORE 7694.305
AT ITER 1394 NEW BEST:: SOT 58164 SOS 35273 HAS SOPS 21837 HAS SOUS 7921 HAS SOUPS 7643 WITH SCORE 7678.273
AT ITER 1438 NEW BEST:: SOT 58164 SOS 35264 HAS SOPS 21828 HAS SOUS 7912 HAS SOUPS 7634 WITH SCORE 7669.264
AT ITER 1455 NEW BEST:: SOT 58130 SOS 35233 HAS SOPS 21764 HAS SOUS 7850 HAS SOUPS 7572 WITH SCORE 7607.233
AT ITER 1462 NEW BEST:: SOT 58030 SOS 44288 HAS SOPS 21632 HAS SOUS 7822 HAS SOUPS 7514 WITH SCORE 7558.288
AT ITER 1485 NEW BEST:: SOT 58030 SOS 44276 HAS SOPS 21624 HAS SOUS 7818 HAS SOUPS 7510 WITH SCORE 7554.276
AT ITER 1491 NEW BEST:: SOT 58024 SOS 44256 HAS SOPS 21604 HAS SOUS 7802 HAS SOUPS 7494 WITH SCORE 7538.256
AT ITER 1499 NEW BEST:: SOT 58023 SOS 44255 HAS SOPS 21603 HAS SOUS 7802 HAS SOUPS 7494 WITH SCORE 7538.255
AT ITER 1525 NEW BEST:: SOT 58000 SOS 44232 HAS SOPS 21571 HAS SOUS 7774 HAS SOUPS 7466 WITH SCORE 7510.232
AT ITER 1528 NEW BEST:: SOT 58000 SOS 44233 HAS SOPS 21571 HAS SOUS 7773 HAS SOUPS 7465 WITH SCORE 7509.233
AT ITER 1530 NEW BEST:: SOT 58017 SOS 44250 HAS SOPS 21605 HAS SOUS 7771 HAS SOUPS 7463 WITH SCORE 7507.25
AT ITER 1531 NEW BEST:: SOT 58007 SOS 44236 HAS SOPS 21585 HAS SOUS 7771 HAS SOUPS 7463 WITH SCORE 7507.236
AT ITER 1537 NEW BEST:: SOT 58007 SOS 44235 HAS SOPS 21584 HAS SOUS 7771 HAS SOUPS 7463 WITH SCORE 7507.235
AT ITER 1540 NEW BEST:: SOT 58006 SOS 44221 HAS SOPS 21582 HAS SOUS 7767 HAS SOUPS 7461 WITH SCORE 7505.221
AT ITER 1542 NEW BEST:: SOT 57992 SOS 44207 HAS SOPS 21568 HAS SOUS 7758 HAS SOUPS 7452 WITH SCORE 7496.207
AT ITER 1563 NEW BEST:: SOT 57976 SOS 44159 HAS SOPS 21520 HAS SOUS 7710 HAS SOUPS 7404 WITH SCORE 7448.159
AT ITER 1564 NEW BEST:: SOT 57973 SOS 44153 HAS SOPS 21514 HAS SOUS 7706 HAS SOUPS 7400 WITH SCORE 7444.153
AT ITER 1572 NEW BEST:: SOT 57946 SOS 44113 HAS SOPS 21460 HAS SOUS 7652 HAS SOUPS 7346 WITH SCORE 7390.113
AT ITER 1594 NEW BEST:: SOT 57938 SOS 44084 HAS SOPS 21444 HAS SOUS 7640 HAS SOUPS 7334 WITH SCORE 7378.084
AT ITER 1595 NEW BEST:: SOT 57924 SOS 44097 HAS SOPS 21416 HAS SOUS 7629 HAS SOUPS 7323 WITH SCORE 7367.097
AT ITER 1609 NEW BEST:: SOT 57844 SOS 44013 HAS SOPS 21330 HAS SOUS 7581 HAS SOUPS 7275 WITH SCORE 7319.013
AT ITER 1621 NEW BEST:: SOT 57849 SOS 44024 HAS SOPS 21236 HAS SOUS 7551 HAS SOUPS 7245 WITH SCORE 7289.024
AT ITER 1646 NEW BEST:: SOT 57844 SOS 44019 HAS SOPS 21226 HAS SOUS 7543 HAS SOUPS 7237 WITH SCORE 7281.019
AT ITER 1648 NEW BEST:: SOT 57842 SOS 43997 HAS SOPS 21186 HAS SOUS 7503 HAS SOUPS 7197 WITH SCORE 7240.997
AT ITER 1652 NEW BEST:: SOT 57840 SOS 43986 HAS SOPS 21174 HAS SOUS 7493 HAS SOUPS 7187 WITH SCORE 7230.986
AT ITER 1665 NEW BEST:: SOT 57925 SOS 44068 HAS SOPS 21172 HAS SOUS 7492 HAS SOUPS 7186 WITH SCORE 7230.068
AT ITER 1685 NEW BEST:: SOT 57828 SOS 43974 HAS SOPS 21078 HAS SOUS 7443 HAS SOUPS 7137 WITH SCORE 7180.974
AT ITER 1687 NEW BEST:: SOT 57739 SOS 43884 HAS SOPS 21000 HAS SOUS 7440 HAS SOUPS 7134 WITH SCORE 7177.884
AT ITER 1705 NEW BEST:: SOT 57735 SOS 43882 HAS SOPS 20996 HAS SOUS 7436 HAS SOUPS 7130 WITH SCORE 7173.882
AT ITER 1715 NEW BEST:: SOT 57735 SOS 43870 HAS SOPS 20990 HAS SOUS 7436 HAS SOUPS 7130 WITH SCORE 7173.87
AT ITER 1731 NEW BEST:: SOT 57734 SOS 43877 HAS SOPS 20988 HAS SOUS 7441 HAS SOUPS 7127 WITH SCORE 7170.877
AT ITER 1758 NEW BEST:: SOT 57729 SOS 43867 HAS SOPS 20978 HAS SOUS 7431 HAS SOUPS 7117 WITH SCORE 7160.867
AT ITER 1790 NEW BEST:: SOT 57729 SOS 43865 HAS SOPS 20976 HAS SOUS 7429 HAS SOUPS 7115 WITH SCORE 7158.865
AT ITER 1798 NEW BEST:: SOT 57723 SOS 43872 HAS SOPS 20964 HAS SOUS 7417 HAS SOUPS 7103 WITH SCORE 7146.872
AT ITER 1819 NEW BEST:: SOT 57696 SOS 43902 HAS SOPS 20910 HAS SOUS 7390 HAS SOUPS 7076 WITH SCORE 7119.902
AT ITER 1826 NEW BEST:: SOT 57692 SOS 43898 HAS SOPS 20906 HAS SOUS 7386 HAS SOUPS 7072 WITH SCORE 7115.898
AT ITER 1836 NEW BEST:: SOT 57687 SOS 43893 HAS SOPS 20896 HAS SOUS 7376 HAS SOUPS 7062 WITH SCORE 7105.893
AT ITER 1840 NEW BEST:: SOT 57682 SOS 43889 HAS SOPS 20890 HAS SOUS 7370 HAS SOUPS 7056 WITH SCORE 7099.889
AT ITER 1848 NEW BEST:: SOT 57685 SOS 43877 HAS SOPS 20882 HAS SOUS 7363 HAS SOUPS 7049 WITH SCORE 7092.877
AT ITER 1853 NEW BEST:: SOT 57697 SOS 43740 HAS SOPS 20824 HAS SOUS 7311 HAS SOUPS 6997 WITH SCORE 7040.74
AT ITER 1863 NEW BEST:: SOT 57462 SOS 43508 HAS SOPS 20640 HAS SOUS 7252 HAS SOUPS 6938 WITH SCORE 6981.508
AT ITER 1948 NEW BEST:: SOT 57456 SOS 43496 HAS SOPS 20626 HAS SOUS 7240 HAS SOUPS 6926 WITH SCORE 6969.496
AT ITER 1955 NEW BEST:: SOT 57456 SOS 43472 HAS SOPS 20610 HAS SOUS 7234 HAS SOUPS 6920 WITH SCORE 6963.472
AT ITER 1979 NEW BEST:: SOT 57370 SOS 43388 HAS SOPS 20530 HAS SOUS 7195 HAS SOUPS 6881 WITH SCORE 6924.388
AT ITER 1981 NEW BEST:: SOT 57368 SOS 43401 HAS SOPS 20526 HAS SOUS 7164 HAS SOUPS 6850 WITH SCORE 6893.401
AT ITER 2019 NEW BEST:: SOT 57368 SOS 43401 HAS SOPS 20525 HAS SOUS 7163 HAS SOUPS 6849 WITH SCORE 6892.401
AT ITER 2024 NEW BEST:: SOT 57355 SOS 43388 HAS SOPS 20499 HAS SOUS 7137 HAS SOUPS 6823 WITH SCORE 6866.388
AT ITER 2041 NEW BEST:: SOT 57350 SOS 43378 HAS SOPS 20489 HAS SOUS 7127 HAS SOUPS 6813 WITH SCORE 6856.378
AT ITER 2047 NEW BEST:: SOT 57314 SOS 43340 HAS SOPS 20449 HAS SOUS 7103 HAS SOUPS 6789 WITH SCORE 6832.34
AT ITER 2049 NEW BEST:: SOT 57306 SOS 43324 HAS SOPS 20433 HAS SOUS 7095 HAS SOUPS 6781 WITH SCORE 6824.324
AT ITER 2067 NEW BEST:: SOT 57309 SOS 43320 HAS SOPS 20432 HAS SOUS 7094 HAS SOUPS 6780 WITH SCORE 6823.32
AT ITER 2091 NEW BEST:: SOT 57307 SOS 43314 HAS SOPS 20426 HAS SOUS 7090 HAS SOUPS 6776 WITH SCORE 6819.314
AT ITER 2093 NEW BEST:: SOT 57281 SOS 43275 HAS SOPS 20374 HAS SOUS 7056 HAS SOUPS 6742 WITH SCORE 6785.275
AT ITER 2098 NEW BEST:: SOT 57273 SOS 43265 HAS SOPS 20358 HAS SOUS 7031 HAS SOUPS 6717 WITH SCORE 6760.265
AT ITER 2130 NEW BEST:: SOT 57258 SOS 43265 HAS SOPS 20343 HAS SOUS 7016 HAS SOUPS 6702 WITH SCORE 6745.265
AT ITER 2170 NEW BEST:: SOT 57247 SOS 43243 HAS SOPS 20321 HAS SOUS 7014 HAS SOUPS 6700 WITH SCORE 6743.243
AT ITER 2174 NEW BEST:: SOT 57228 SOS 43186 HAS SOPS 20264 HAS SOUS 6976 HAS SOUPS 6662 WITH SCORE 6705.186
AT ITER 2194 NEW BEST:: SOT 57228 SOS 43199 HAS SOPS 20264 HAS SOUS 6963 HAS SOUPS 6649 WITH SCORE 6692.199
AT ITER 2213 NEW BEST:: SOT 57225 SOS 43236 HAS SOPS 20278 HAS SOUS 6957 HAS SOUPS 6643 WITH SCORE 6686.236
AT ITER 2220 NEW BEST:: SOT 57226 SOS 43238 HAS SOPS 20280 HAS SOUS 6956 HAS SOUPS 6642 WITH SCORE 6685.238
AT ITER 2238 NEW BEST:: SOT 57219 SOS 43250 HAS SOPS 20279 HAS SOUS 6955 HAS SOUPS 6641 WITH SCORE 6684.25
AT ITER 2248 NEW BEST:: SOT 57202 SOS 43221 HAS SOPS 20245 HAS SOUS 6918 HAS SOUPS 6604 WITH SCORE 6647.221
AT ITER 2258 NEW BEST:: SOT 57205 SOS 43218 HAS SOPS 20230 HAS SOUS 6898 HAS SOUPS 6584 WITH SCORE 6627.218
AT ITER 2265 NEW BEST:: SOT 57201 SOS 43216 HAS SOPS 20224 HAS SOUS 6892 HAS SOUPS 6578 WITH SCORE 6621.216
AT ITER 2266 NEW BEST:: SOT 57199 SOS 43212 HAS SOPS 20220 HAS SOUS 6879 HAS SOUPS 6565 WITH SCORE 6608.212
AT ITER 2269 NEW BEST:: SOT 57211 SOS 43182 HAS SOPS 20194 HAS SOUS 6864 HAS SOUPS 6550 WITH SCORE 6593.182
AT ITER 2289 NEW BEST:: SOT 57212 SOS 43182 HAS SOPS 20194 HAS SOUS 6863 HAS SOUPS 6549 WITH SCORE 6592.182
AT ITER 2303 NEW BEST:: SOT 57202 SOS 43162 HAS SOPS 20174 HAS SOUS 6837 HAS SOUPS 6523 WITH SCORE 6566.162
AT ITER 2329 NEW BEST:: SOT 57202 SOS 43162 HAS SOPS 20158 HAS SOUS 6832 HAS SOUPS 6518 WITH SCORE 6561.162
AT ITER 2378 NEW BEST:: SOT 57198 SOS 43158 HAS SOPS 20150 HAS SOUS 6828 HAS SOUPS 6514 WITH SCORE 6557.158
AT ITER 2383 NEW BEST:: SOT 57195 SOS 43152 HAS SOPS 20144 HAS SOUS 6822 HAS SOUPS 6508 WITH SCORE 6551.152
AT ITER 2417 NEW BEST:: SOT 57193 SOS 43150 HAS SOPS 20142 HAS SOUS 6822 HAS SOUPS 6508 WITH SCORE 6551.15
AT ITER 2449 NEW BEST:: SOT 57191 SOS 43150 HAS SOPS 20140 HAS SOUS 6820 HAS SOUPS 6506 WITH SCORE 6549.15
AT ITER 2453 NEW BEST:: SOT 57219 SOS 43127 HAS SOPS 20060 HAS SOUS 6744 HAS SOUPS 6426 WITH SCORE 6469.127
AT ITER 2462 NEW BEST:: SOT 57219 SOS 43106 HAS SOPS 20039 HAS SOUS 6744 HAS SOUPS 6426 WITH SCORE 6469.106
AT ITER 2485 NEW BEST:: SOT 57217 SOS 43100 HAS SOPS 20030 HAS SOUS 6736 HAS SOUPS 6418 WITH SCORE 6461.1
AT ITER 2487 NEW BEST:: SOT 57217 SOS 43103 HAS SOPS 20030 HAS SOUS 6733 HAS SOUPS 6415 WITH SCORE 6458.103
AT ITER 2494 NEW BEST:: SOT 57163 SOS 43049 HAS SOPS 19946 HAS SOUS 6663 HAS SOUPS 6345 WITH SCORE 6388.049
AT ITER 2516 NEW BEST:: SOT 57157 SOS 43046 HAS SOPS 19944 HAS SOUS 6660 HAS SOUPS 6343 WITH SCORE 6386.046
AT ITER 2517 NEW BEST:: SOT 57205 SOS 43090 HAS SOPS 19804 HAS SOUS 6652 HAS SOUPS 6335 WITH SCORE 6378.09
AT ITER 2543 NEW BEST:: SOT 57195 SOS 43075 HAS SOPS 19784 HAS SOUS 6637 HAS SOUPS 6320 WITH SCORE 6363.075
AT ITER 2567 NEW BEST:: SOT 57198 SOS 43068 HAS SOPS 19783 HAS SOUS 6636 HAS SOUPS 6319 WITH SCORE 6362.068
AT ITER 2594 NEW BEST:: SOT 57144 SOS 43108 HAS SOPS 19771 HAS SOUS 6626 HAS SOUPS 6309 WITH SCORE 6352.108
AT ITER 2645 NEW BEST:: SOT 57101 SOS 43019 HAS SOPS 19685 HAS SOUS 6599 HAS SOUPS 6282 WITH SCORE 6325.019
AT ITER 2664 NEW BEST:: SOT 57124 SOS 43019 HAS SOPS 19685 HAS SOUS 6585 HAS SOUPS 6268 WITH SCORE 6311.019
AT ITER 2670 NEW BEST:: SOT 57036 SOS 42936 HAS SOPS 19613 HAS SOUS 6583 HAS SOUPS 6266 WITH SCORE 6308.936
AT ITER 2759 NEW BEST:: SOT 57015 SOS 42881 HAS SOPS 19571 HAS SOUS 6575 HAS SOUPS 6258 WITH SCORE 6300.881
AT ITER 2809 NEW BEST:: SOT 57015 SOS 42877 HAS SOPS 19571 HAS SOUS 6575 HAS SOUPS 6258 WITH SCORE 6300.877
AT ITER 2905 NEW BEST:: SOT 56975 SOS 42817 HAS SOPS 19511 HAS SOUS 6546 HAS SOUPS 6229 WITH SCORE 6271.817
AT ITER 2933 NEW BEST:: SOT 56977 SOS 42819 HAS SOPS 19515 HAS SOUS 6542 HAS SOUPS 6225 WITH SCORE 6267.819
AT ITER 2935 NEW BEST:: SOT 56976 SOS 42816 HAS SOPS 19512 HAS SOUS 6540 HAS SOUPS 6223 WITH SCORE 6265.816
AT ITER 2958 NEW BEST:: SOT 56957 SOS 42777 HAS SOPS 19474 HAS SOUS 6501 HAS SOUPS 6184 WITH SCORE 6226.777
AT ITER 2995 NEW BEST:: SOT 56954 SOS 42771 HAS SOPS 19465 HAS SOUS 6490 HAS SOUPS 6173 WITH SCORE 6215.771
AT ITER 3015 NEW BEST:: SOT 56951 SOS 42718 HAS SOPS 19434 HAS SOUS 6484 HAS SOUPS 6167 WITH SCORE 6209.718
AT ITER 3020 NEW BEST:: SOT 56947 SOS 42714 HAS SOPS 19426 HAS SOUS 6476 HAS SOUPS 6159 WITH SCORE 6201.714
AT ITER 3023 NEW BEST:: SOT 56939 SOS 42678 HAS SOPS 19386 HAS SOUS 6420 HAS SOUPS 6103 WITH SCORE 6145.678
AT ITER 3050 NEW BEST:: SOT 56933 SOS 42672 HAS SOPS 19380 HAS SOUS 6420 HAS SOUPS 6103 WITH SCORE 6145.672
AT ITER 3060 NEW BEST:: SOT 56923 SOS 42638 HAS SOPS 19360 HAS SOUS 6419 HAS SOUPS 6102 WITH SCORE 6144.638
AT ITER 3067 NEW BEST:: SOT 56910 SOS 42637 HAS SOPS 19364 HAS SOUS 6418 HAS SOUPS 6101 WITH SCORE 6143.637
AT ITER 3095 NEW BEST:: SOT 56906 SOS 42622 HAS SOPS 19347 HAS SOUS 6406 HAS SOUPS 6089 WITH SCORE 6131.622
AT ITER 3112 NEW BEST:: SOT 56905 SOS 42620 HAS SOPS 19345 HAS SOUS 6404 HAS SOUPS 6087 WITH SCORE 6129.62
AT ITER 3129 NEW BEST:: SOT 56909 SOS 42633 HAS SOPS 19353 HAS SOUS 6403 HAS SOUPS 6086 WITH SCORE 6128.633
AT ITER 3140 NEW BEST:: SOT 56902 SOS 42618 HAS SOPS 19339 HAS SOUS 6389 HAS SOUPS 6072 WITH SCORE 6114.618
AT ITER 3142 NEW BEST:: SOT 56892 SOS 42608 HAS SOPS 19324 HAS SOUS 6374 HAS SOUPS 6057 WITH SCORE 6099.608
AT ITER 3192 NEW BEST:: SOT 56888 SOS 42602 HAS SOPS 19316 HAS SOUS 6368 HAS SOUPS 6051 WITH SCORE 6093.602
AT ITER 3204 NEW BEST:: SOT 56884 SOS 42598 HAS SOPS 19312 HAS SOUS 6364 HAS SOUPS 6047 WITH SCORE 6089.598
AT ITER 3206 NEW BEST:: SOT 56872 SOS 42586 HAS SOPS 19288 HAS SOUS 6344 HAS SOUPS 6023 WITH SCORE 6065.586
AT ITER 3258 NEW BEST:: SOT 56880 SOS 42602 HAS SOPS 18844 HAS SOUS 6321 HAS SOUPS 6000 WITH SCORE 6042.602
AT ITER 3305 NEW BEST:: SOT 56879 SOS 42600 HAS SOPS 18842 HAS SOUS 6319 HAS SOUPS 5998 WITH SCORE 6040.6
AT ITER 3315 NEW BEST:: SOT 56871 SOS 42578 HAS SOPS 18826 HAS SOUS 6303 HAS SOUPS 5982 WITH SCORE 6024.578
AT ITER 3337 NEW BEST:: SOT 56862 SOS 42569 HAS SOPS 18808 HAS SOUS 6285 HAS SOUPS 5964 WITH SCORE 6006.569
AT ITER 3356 NEW BEST:: SOT 56863 SOS 42564 HAS SOPS 18810 HAS SOUS 6284 HAS SOUPS 5963 WITH SCORE 6005.564
AT ITER 3361 NEW BEST:: SOT 56897 SOS 42599 HAS SOPS 18808 HAS SOUS 6273 HAS SOUPS 5952 WITH SCORE 5994.599
AT ITER 3406 NEW BEST:: SOT 56896 SOS 42597 HAS SOPS 18806 HAS SOUS 6271 HAS SOUPS 5950 WITH SCORE 5992.597
AT ITER 3417 NEW BEST:: SOT 56898 SOS 42593 HAS SOPS 18804 HAS SOUS 6269 HAS SOUPS 5948 WITH SCORE 5990.593
AT ITER 3434 NEW BEST:: SOT 56891 SOS 42586 HAS SOPS 18797 HAS SOUS 6262 HAS SOUPS 5941 WITH SCORE 5983.586
AT ITER 3439 NEW BEST:: SOT 56890 SOS 42586 HAS SOPS 18796 HAS SOUS 6260 HAS SOUPS 5939 WITH SCORE 5981.586
AT ITER 3478 NEW BEST:: SOT 56873 SOS 42578 HAS SOPS 18777 HAS SOUS 6242 HAS SOUPS 5921 WITH SCORE 5963.578
AT ITER 3513 NEW BEST:: SOT 56877 SOS 42581 HAS SOPS 18741 HAS SOUS 6198 HAS SOUPS 5877 WITH SCORE 5919.581
AT ITER 3527 NEW BEST:: SOT 56845 SOS 42552 HAS SOPS 18712 HAS SOUS 6176 HAS SOUPS 5855 WITH SCORE 5897.552
AT ITER 3532 NEW BEST:: SOT 56844 SOS 42550 HAS SOPS 18710 HAS SOUS 6176 HAS SOUPS 5855 WITH SCORE 5897.55
AT ITER 3533 NEW BEST:: SOT 56883 SOS 42589 HAS SOPS 18733 HAS SOUS 6150 HAS SOUPS 5829 WITH SCORE 5871.589
AT ITER 3551 NEW BEST:: SOT 56882 SOS 42582 HAS SOPS 18728 HAS SOUS 6145 HAS SOUPS 5824 WITH SCORE 5866.582
AT ITER 3565 NEW BEST:: SOT 56877 SOS 42667 HAS SOPS 18766 HAS SOUS 6141 HAS SOUPS 5820 WITH SCORE 5862.667
AT ITER 3578 NEW BEST:: SOT 56877 SOS 42666 HAS SOPS 18765 HAS SOUS 6140 HAS SOUPS 5819 WITH SCORE 5861.666
AT ITER 3581 NEW BEST:: SOT 56867 SOS 42656 HAS SOPS 18755 HAS SOUS 6130 HAS SOUPS 5809 WITH SCORE 5851.656
AT ITER 3615 NEW BEST:: SOT 56860 SOS 42656 HAS SOPS 18752 HAS SOUS 6127 HAS SOUPS 5806 WITH SCORE 5848.656
AT ITER 3660 NEW BEST:: SOT 56862 SOS 42654 HAS SOPS 18746 HAS SOUS 6125 HAS SOUPS 5804 WITH SCORE 5846.654
AT ITER 3662 NEW BEST:: SOT 56862 SOS 42653 HAS SOPS 18745 HAS SOUS 6124 HAS SOUPS 5803 WITH SCORE 5845.653
AT ITER 3682 NEW BEST:: SOT 56862 SOS 42652 HAS SOPS 18745 HAS SOUS 6124 HAS SOUPS 5803 WITH SCORE 5845.652
AT ITER 3693 NEW BEST:: SOT 56822 SOS 42610 HAS SOPS 18702 HAS SOUS 6100 HAS SOUPS 5779 WITH SCORE 5821.61
AT ITER 3706 NEW BEST:: SOT 56822 SOS 42606 HAS SOPS 18700 HAS SOUS 6098 HAS SOUPS 5777 WITH SCORE 5819.606
AT ITER 3772 NEW BEST:: SOT 56830 SOS 42600 HAS SOPS 18695 HAS SOUS 6093 HAS SOUPS 5772 WITH SCORE 5814.6
AT ITER 3848 NEW BEST:: SOT 56812 SOS 42600 HAS SOPS 18677 HAS SOUS 6076 HAS SOUPS 5755 WITH SCORE 5797.6
AT ITER 3849 NEW BEST:: SOT 56806 SOS 42594 HAS SOPS 18665 HAS SOUS 6064 HAS SOUPS 5743 WITH SCORE 5785.594
AT ITER 3858 NEW BEST:: SOT 56804 SOS 42591 HAS SOPS 18661 HAS SOUS 6061 HAS SOUPS 5740 WITH SCORE 5782.591
AT ITER 3865 NEW BEST:: SOT 56801 SOS 42582 HAS SOPS 18655 HAS SOUS 6061 HAS SOUPS 5740 WITH SCORE 5782.582
AT ITER 3890 NEW BEST:: SOT 56798 SOS 42573 HAS SOPS 18643 HAS SOUS 6049 HAS SOUPS 5728 WITH SCORE 5770.573
AT ITER 3897 NEW BEST:: SOT 56783 SOS 42567 HAS SOPS 18621 HAS SOUS 6030 HAS SOUPS 5709 WITH SCORE 5751.567
AT ITER 3905 NEW BEST:: SOT 56757 SOS 42539 HAS SOPS 18593 HAS SOUS 6028 HAS SOUPS 5707 WITH SCORE 5749.539
AT ITER 3911 NEW BEST:: SOT 56759 SOS 42524 HAS SOPS 18579 HAS SOUS 6013 HAS SOUPS 5692 WITH SCORE 5734.524
AT ITER 3923 NEW BEST:: SOT 56752 SOS 42521 HAS SOPS 18573 HAS SOUS 6007 HAS SOUPS 5686 WITH SCORE 5728.521
AT ITER 3951 NEW BEST:: SOT 56742 SOS 42516 HAS SOPS 18561 HAS SOUS 6000 HAS SOUPS 5679 WITH SCORE 5721.516
AT ITER 3973 NEW BEST:: SOT 56741 SOS 42515 HAS SOPS 18560 HAS SOUS 5999 HAS SOUPS 5678 WITH SCORE 5720.515
AT ITER 4003 NEW BEST:: SOT 56740 SOS 42513 HAS SOPS 18558 HAS SOUS 5997 HAS SOUPS 5676 WITH SCORE 5718.513
AT ITER 4016 NEW BEST:: SOT 56735 SOS 42510 HAS SOPS 18554 HAS SOUS 5995 HAS SOUPS 5674 WITH SCORE 5716.51
AT ITER 4026 NEW BEST:: SOT 56779 SOS 42555 HAS SOPS 18486 HAS SOUS 5972 HAS SOUPS 5651 WITH SCORE 5693.555
AT ITER 4062 NEW BEST:: SOT 56758 SOS 42525 HAS SOPS 18444 HAS SOUS 5937 HAS SOUPS 5616 WITH SCORE 5658.525
AT ITER 4075 NEW BEST:: SOT 56757 SOS 42524 HAS SOPS 18409 HAS SOUS 5927 HAS SOUPS 5606 WITH SCORE 5648.524
AT ITER 4090 NEW BEST:: SOT 56759 SOS 42500 HAS SOPS 18413 HAS SOUS 5923 HAS SOUPS 5602 WITH SCORE 5644.5
AT ITER 4104 NEW BEST:: SOT 56757 SOS 42498 HAS SOPS 18410 HAS SOUS 5920 HAS SOUPS 5599 WITH SCORE 5641.498
AT ITER 4112 NEW BEST:: SOT 56757 SOS 42490 HAS SOPS 18402 HAS SOUS 5912 HAS SOUPS 5591 WITH SCORE 5633.49
AT ITER 4114 NEW BEST:: SOT 56752 SOS 42485 HAS SOPS 18392 HAS SOUS 5902 HAS SOUPS 5581 WITH SCORE 5623.485
AT ITER 4197 NEW BEST:: SOT 56747 SOS 42470 HAS SOPS 18382 HAS SOUS 5895 HAS SOUPS 5574 WITH SCORE 5616.47
AT ITER 4214 NEW BEST:: SOT 56743 SOS 42462 HAS SOPS 18370 HAS SOUS 5887 HAS SOUPS 5566 WITH SCORE 5608.462
AT ITER 4216 NEW BEST:: SOT 56742 SOS 42460 HAS SOPS 18368 HAS SOUS 5886 HAS SOUPS 5565 WITH SCORE 5607.46
AT ITER 4238 NEW BEST:: SOT 56708 SOS 42427 HAS SOPS 18334 HAS SOUS 5869 HAS SOUPS 5548 WITH SCORE 5590.427
AT ITER 4297 NEW BEST:: SOT 56702 SOS 42438 HAS SOPS 18322 HAS SOUS 5840 HAS SOUPS 5519 WITH SCORE 5561.438
AT ITER 4310 NEW BEST:: SOT 56698 SOS 42430 HAS SOPS 18314 HAS SOUS 5832 HAS SOUPS 5511 WITH SCORE 5553.43
AT ITER 4344 NEW BEST:: SOT 56698 SOS 42427 HAS SOPS 18314 HAS SOUS 5832 HAS SOUPS 5511 WITH SCORE 5553.427
AT ITER 4374 NEW BEST:: SOT 56698 SOS 42426 HAS SOPS 18313 HAS SOUS 5830 HAS SOUPS 5509 WITH SCORE 5551.426
AT ITER 4383 NEW BEST:: SOT 56692 SOS 42420 HAS SOPS 18301 HAS SOUS 5818 HAS SOUPS 5497 WITH SCORE 5539.42
AT ITER 4398 NEW BEST:: SOT 56688 SOS 42416 HAS SOPS 18293 HAS SOUS 5810 HAS SOUPS 5489 WITH SCORE 5531.416
AT ITER 4515 NEW BEST:: SOT 56678 SOS 42414 HAS SOPS 18285 HAS SOUS 5801 HAS SOUPS 5480 WITH SCORE 5522.414
AT ITER 4565 NEW BEST:: SOT 56676 SOS 42412 HAS SOPS 18282 HAS SOUS 5798 HAS SOUPS 5477 WITH SCORE 5519.412
AT ITER 4600 NEW BEST:: SOT 56674 SOS 42410 HAS SOPS 18278 HAS SOUS 5794 HAS SOUPS 5473 WITH SCORE 5515.41
AT ITER 4614 NEW BEST:: SOT 56652 SOS 42339 HAS SOPS 18207 HAS SOUS 5743 HAS SOUPS 5422 WITH SCORE 5464.339
AT ITER 4657 NEW BEST:: SOT 56650 SOS 42336 HAS SOPS 18203 HAS SOUS 5740 HAS SOUPS 5419 WITH SCORE 5461.336
AT ITER 4756 NEW BEST:: SOT 56650 SOS 42334 HAS SOPS 18201 HAS SOUS 5738 HAS SOUPS 5417 WITH SCORE 5459.334
AT ITER 4799 NEW BEST:: SOT 56644 SOS 42347 HAS SOPS 18201 HAS SOUS 5733 HAS SOUPS 5412 WITH SCORE 5454.347
AT ITER 4847 NEW BEST:: SOT 56590 SOS 42295 HAS SOPS 18197 HAS SOUS 5721 HAS SOUPS 5400 WITH SCORE 5442.295
AT ITER 4872 NEW BEST:: SOT 56574 SOS 42282 HAS SOPS 18180 HAS SOUS 5716 HAS SOUPS 5395 WITH SCORE 5437.282
AT ITER 4883 NEW BEST:: SOT 56535 SOS 42244 HAS SOPS 18152 HAS SOUS 5714 HAS SOUPS 5393 WITH SCORE 5435.244
AT ITER 4985 NEW BEST:: SOT 56539 SOS 42224 HAS SOPS 18136 HAS SOUS 5698 HAS SOUPS 5377 WITH SCORE 5419.224
AT ITER 5030 NEW BEST:: SOT 56539 SOS 42222 HAS SOPS 18134 HAS SOUS 5696 HAS SOUPS 5375 WITH SCORE 5417.222
AT ITER 5075 NEW BEST:: SOT 56544 SOS 42218 HAS SOPS 18126 HAS SOUS 5688 HAS SOUPS 5367 WITH SCORE 5409.218
AT ITER 5080 NEW BEST:: SOT 56544 SOS 42210 HAS SOPS 18126 HAS SOUS 5688 HAS SOUPS 5367 WITH SCORE 5409.21
AT ITER 5121 NEW BEST:: SOT 56490 SOS 42154 HAS SOPS 18094 HAS SOUS 5678 HAS SOUPS 5357 WITH SCORE 5399.154
AT ITER 5181 NEW BEST:: SOT 56482 SOS 42139 HAS SOPS 18078 HAS SOUS 5671 HAS SOUPS 5350 WITH SCORE 5392.139
AT ITER 5198 NEW BEST:: SOT 56478 SOS 42139 HAS SOPS 18074 HAS SOUS 5667 HAS SOUPS 5346 WITH SCORE 5388.139
AT ITER 5244 NEW BEST:: SOT 56478 SOS 42137 HAS SOPS 18071 HAS SOUS 5664 HAS SOUPS 5343 WITH SCORE 5385.137
AT ITER 5260 NEW BEST:: SOT 56473 SOS 42132 HAS SOPS 18061 HAS SOUS 5654 HAS SOUPS 5333 WITH SCORE 5375.132
AT ITER 5274 NEW BEST:: SOT 56468 SOS 42119 HAS SOPS 18051 HAS SOUS 5652 HAS SOUPS 5331 WITH SCORE 5373.119
AT ITER 5356 NEW BEST:: SOT 56471 SOS 42117 HAS SOPS 18050 HAS SOUS 5650 HAS SOUPS 5329 WITH SCORE 5371.117
AT ITER 5368 NEW BEST:: SOT 56465 SOS 42111 HAS SOPS 18038 HAS SOUS 5641 HAS SOUPS 5320 WITH SCORE 5362.111
AT ITER 5384 NEW BEST:: SOT 56477 SOS 42084 HAS SOPS 18016 HAS SOUS 5635 HAS SOUPS 5314 WITH SCORE 5356.084
AT ITER 5411 NEW BEST:: SOT 56475 SOS 42084 HAS SOPS 18014 HAS SOUS 5633 HAS SOUPS 5312 WITH SCORE 5354.084
AT ITER 5450 NEW BEST:: SOT 56473 SOS 42079 HAS SOPS 18003 HAS SOUS 5622 HAS SOUPS 5301 WITH SCORE 5343.079
AT ITER 5491 NEW BEST:: SOT 56473 SOS 42080 HAS SOPS 18003 HAS SOUS 5621 HAS SOUPS 5300 WITH SCORE 5342.08
AT ITER 5524 NEW BEST:: SOT 56467 SOS 42070 HAS SOPS 17993 HAS SOUS 5613 HAS SOUPS 5292 WITH SCORE 5334.07
AT ITER 5563 NEW BEST:: SOT 56463 SOS 42066 HAS SOPS 17987 HAS SOUS 5607 HAS SOUPS 5286 WITH SCORE 5328.066
AT ITER 5620 NEW BEST:: SOT 56462 SOS 42065 HAS SOPS 17986 HAS SOUS 5606 HAS SOUPS 5285 WITH SCORE 5327.065
AT ITER 5804 NEW BEST:: SOT 56459 SOS 42045 HAS SOPS 17980 HAS SOUS 5601 HAS SOUPS 5280 WITH SCORE 5322.045
AT ITER 5839 NEW BEST:: SOT 56456 SOS 42039 HAS SOPS 17971 HAS SOUS 5592 HAS SOUPS 5271 WITH SCORE 5313.039
AT ITER 5855 NEW BEST:: SOT 56448 SOS 42039 HAS SOPS 17963 HAS SOUS 5584 HAS SOUPS 5263 WITH SCORE 5305.039
AT ITER 5877 NEW BEST:: SOT 56447 SOS 42039 HAS SOPS 17962 HAS SOUS 5583 HAS SOUPS 5262 WITH SCORE 5304.039
AT ITER 5899 NEW BEST:: SOT 56442 SOS 42030 HAS SOPS 17957 HAS SOUS 5580 HAS SOUPS 5259 WITH SCORE 5301.03
AT ITER 5944 NEW BEST:: SOT 56437 SOS 42011 HAS SOPS 17940 HAS SOUS 5576 HAS SOUPS 5255 WITH SCORE 5297.011
AT ITER 6086 NEW BEST:: SOT 56436 SOS 42010 HAS SOPS 17938 HAS SOUS 5575 HAS SOUPS 5254 WITH SCORE 5296.01
AT ITER 6152 NEW BEST:: SOT 56432 SOS 42006 HAS SOPS 17930 HAS SOUS 5567 HAS SOUPS 5246 WITH SCORE 5288.006
AT ITER 6227 NEW BEST:: SOT 56432 SOS 42004 HAS SOPS 17927 HAS SOUS 5564 HAS SOUPS 5243 WITH SCORE 5285.004
AT ITER 6243 NEW BEST:: SOT 56432 SOS 41944 HAS SOPS 17897 HAS SOUS 5564 HAS SOUPS 5243 WITH SCORE 5284.944
AT ITER 6259 NEW BEST:: SOT 56423 SOS 41939 HAS SOPS 17890 HAS SOUS 5562 HAS SOUPS 5241 WITH SCORE 5282.939
AT ITER 6279 NEW BEST:: SOT 56382 SOS 41895 HAS SOPS 17858 HAS SOUS 5560 HAS SOUPS 5239 WITH SCORE 5280.895
AT ITER 6486 NEW BEST:: SOT 56376 SOS 41894 HAS SOPS 17857 HAS SOUS 5559 HAS SOUPS 5238 WITH SCORE 5279.894
AT ITER 6555 NEW BEST:: SOT 56327 SOS 41842 HAS SOPS 17807 HAS SOUS 5553 HAS SOUPS 5232 WITH SCORE 5273.842
AT ITER 6557 NEW BEST:: SOT 56329 SOS 41846 HAS SOPS 17806 HAS SOUS 5552 HAS SOUPS 5231 WITH SCORE 5272.846
AT ITER 6753 NEW BEST:: SOT 56328 SOS 41844 HAS SOPS 17802 HAS SOUS 5550 HAS SOUPS 5227 WITH SCORE 5268.844
AT ITER 6783 NEW BEST:: SOT 56327 SOS 41843 HAS SOPS 17801 HAS SOUS 5549 HAS SOUPS 5226 WITH SCORE 5267.843
AT ITER 6952 NEW BEST:: SOT 56327 SOS 41841 HAS SOPS 17797 HAS SOUS 5545 HAS SOUPS 5222 WITH SCORE 5263.841
AT ITER 6973 NEW BEST:: SOT 56326 SOS 41839 HAS SOPS 17794 HAS SOUS 5543 HAS SOUPS 5220 WITH SCORE 5261.839
AT ITER 6989 NEW BEST:: SOT 56326 SOS 41839 HAS SOPS 17793 HAS SOUS 5542 HAS SOUPS 5219 WITH SCORE 5260.839
AT ITER 7021 NEW BEST:: SOT 56327 SOS 41836 HAS SOPS 17790 HAS SOUS 5534 HAS SOUPS 5211 WITH SCORE 5252.836
AT ITER 7038 NEW BEST:: SOT 56322 SOS 41831 HAS SOPS 17785 HAS SOUS 5534 HAS SOUPS 5211 WITH SCORE 5252.831
AT ITER 7094 NEW BEST:: SOT 56322 SOS 41834 HAS SOPS 17785 HAS SOUS 5533 HAS SOUPS 5210 WITH SCORE 5251.834
AT ITER 7129 NEW BEST:: SOT 56322 SOS 41817 HAS SOPS 17776 HAS SOUS 5532 HAS SOUPS 5209 WITH SCORE 5250.817
AT ITER 7186 NEW BEST:: SOT 56273 SOS 41768 HAS SOPS 17725 HAS SOUS 5506 HAS SOUPS 5183 WITH SCORE 5224.768
AT ITER 7394 NEW BEST:: SOT 56265 SOS 41764 HAS SOPS 17713 HAS SOUS 5494 HAS SOUPS 5171 WITH SCORE 5212.764
AT ITER 7461 NEW BEST:: SOT 56257 SOS 41767 HAS SOPS 17707 HAS SOUS 5487 HAS SOUPS 5164 WITH SCORE 5205.767
AT ITER 7514 NEW BEST:: SOT 56243 SOS 41750 HAS SOPS 17693 HAS SOUS 5471 HAS SOUPS 5148 WITH SCORE 5189.75
AT ITER 7517 NEW BEST:: SOT 56240 SOS 41789 HAS SOPS 17729 HAS SOUS 5465 HAS SOUPS 5142 WITH SCORE 5183.789
AT ITER 7562 NEW BEST:: SOT 56239 SOS 41786 HAS SOPS 17725 HAS SOUS 5459 HAS SOUPS 5136 WITH SCORE 5177.786
AT ITER 7596 NEW BEST:: SOT 56238 SOS 41786 HAS SOPS 17725 HAS SOUS 5457 HAS SOUPS 5134 WITH SCORE 5175.786
AT ITER 7667 NEW BEST:: SOT 56231 SOS 41790 HAS SOPS 17729 HAS SOUS 5452 HAS SOUPS 5129 WITH SCORE 5170.79
AT ITER 7693 NEW BEST:: SOT 56229 SOS 41788 HAS SOPS 17728 HAS SOUS 5451 HAS SOUPS 5128 WITH SCORE 5169.788
AT ITER 8073 NEW BEST:: SOT 56225 SOS 41784 HAS SOPS 17724 HAS SOUS 5447 HAS SOUPS 5124 WITH SCORE 5165.784
AT ITER 8084 NEW BEST:: SOT 56225 SOS 41781 HAS SOPS 17724 HAS SOUS 5447 HAS SOUPS 5124 WITH SCORE 5165.781
AT ITER 8086 NEW BEST:: SOT 56215 SOS 41807 HAS SOPS 17723 HAS SOUS 5446 HAS SOUPS 5123 WITH SCORE 5164.807
AT ITER 8111 NEW BEST:: SOT 56206 SOS 41798 HAS SOPS 17705 HAS SOUS 5428 HAS SOUPS 5105 WITH SCORE 5146.798
AT ITER 8147 NEW BEST:: SOT 56205 SOS 41793 HAS SOPS 17700 HAS SOUS 5426 HAS SOUPS 5103 WITH SCORE 5144.793
AT ITER 8245 NEW BEST:: SOT 56204 SOS 41792 HAS SOPS 17698 HAS SOUS 5424 HAS SOUPS 5101 WITH SCORE 5142.792
AT ITER 8263 NEW BEST:: SOT 56205 SOS 41787 HAS SOPS 17694 HAS SOUS 5420 HAS SOUPS 5097 WITH SCORE 5138.787
AT ITER 8267 NEW BEST:: SOT 56221 SOS 41820 HAS SOPS 17726 HAS SOUS 5418 HAS SOUPS 5095 WITH SCORE 5136.82
AT ITER 8288 NEW BEST:: SOT 56220 SOS 41815 HAS SOPS 17720 HAS SOUS 5412 HAS SOUPS 5089 WITH SCORE 5130.815
AT ITER 8357 NEW BEST:: SOT 56132 SOS 41734 HAS SOPS 17648 HAS SOUS 5410 HAS SOUPS 5087 WITH SCORE 5128.734
AT ITER 8573 NEW BEST:: SOT 56132 SOS 41733 HAS SOPS 17647 HAS SOUS 5409 HAS SOUPS 5086 WITH SCORE 5127.733
AT ITER 8575 NEW BEST:: SOT 56128 SOS 41733 HAS SOPS 17643 HAS SOUS 5405 HAS SOUPS 5082 WITH SCORE 5123.733
AT ITER 8590 NEW BEST:: SOT 56128 SOS 41733 HAS SOPS 17639 HAS SOUS 5401 HAS SOUPS 5078 WITH SCORE 5119.733
AT ITER 8599 NEW BEST:: SOT 56126 SOS 41725 HAS SOPS 17629 HAS SOUS 5394 HAS SOUPS 5071 WITH SCORE 5112.725
AT ITER 8875 NEW BEST:: SOT 56125 SOS 41722 HAS SOPS 17627 HAS SOUS 5392 HAS SOUPS 5069 WITH SCORE 5110.722
AT ITER 8892 NEW BEST:: SOT 56089 SOS 41685 HAS SOPS 17589 HAS SOUS 5371 HAS SOUPS 5048 WITH SCORE 5089.685
AT ITER 8903 NEW BEST:: SOT 56073 SOS 41668 HAS SOPS 17661 HAS SOUS 5371 HAS SOUPS 5048 WITH SCORE 5089.668
AT ITER 9002 NEW BEST:: SOT 56071 SOS 41666 HAS SOPS 17661 HAS SOUS 5370 HAS SOUPS 5047 WITH SCORE 5088.666
AT ITER 9016 NEW BEST:: SOT 56070 SOS 41665 HAS SOPS 17660 HAS SOUS 5369 HAS SOUPS 5046 WITH SCORE 5087.665
AT ITER 9200 NEW BEST:: SOT 56066 SOS 41645 HAS SOPS 17644 HAS SOUS 5361 HAS SOUPS 5038 WITH SCORE 5079.645
AT ITER 9246 NEW BEST:: SOT 56065 SOS 41680 HAS SOPS 17660 HAS SOUS 5359 HAS SOUPS 5036 WITH SCORE 5077.68
AT ITER 9311 NEW BEST:: SOT 56066 SOS 41681 HAS SOPS 17634 HAS SOUS 5348 HAS SOUPS 5025 WITH SCORE 5066.681
AT ITER 9482 NEW BEST:: SOT 56060 SOS 41681 HAS SOPS 17629 HAS SOUS 5344 HAS SOUPS 5021 WITH SCORE 5062.681
AT ITER 9521 NEW BEST:: SOT 56062 SOS 41674 HAS SOPS 17624 HAS SOUS 5339 HAS SOUPS 5016 WITH SCORE 5057.674
AT ITER 9572 NEW BEST:: SOT 56060 SOS 41682 HAS SOPS 17620 HAS SOUS 5335 HAS SOUPS 5012 WITH SCORE 5053.682
AT ITER 9602 NEW BEST:: SOT 56091 SOS 41655 HAS SOPS 17633 HAS SOUS 5322 HAS SOUPS 4999 WITH SCORE 5040.655
AT ITER 9627 NEW BEST:: SOT 56054 SOS 41655 HAS SOPS 17596 HAS SOUS 5317 HAS SOUPS 4994 WITH SCORE 5035.655
AT ITER 9662 NEW BEST:: SOT 56055 SOS 41649 HAS SOPS 17594 HAS SOUS 5315 HAS SOUPS 4992 WITH SCORE 5033.649
AT ITER 9685 NEW BEST:: SOT 56052 SOS 41649 HAS SOPS 17588 HAS SOUS 5309 HAS SOUPS 4986 WITH SCORE 5027.649
AT ITER 9822 NEW BEST:: SOT 56051 SOS 41648 HAS SOPS 17586 HAS SOUS 5308 HAS SOUPS 4985 WITH SCORE 5026.648
AT ITER 9968 NEW BEST:: SOT 56050 SOS 41646 HAS SOPS 17584 HAS SOUS 5304 HAS SOUPS 4981 WITH SCORE 5022.646
AT ITER 9998 NEW BEST:: SOT 56050 SOS 41638 HAS SOPS 17580 HAS SOUS 5304 HAS SOUPS 4981 WITH SCORE 5022.638
STATE_SPACE STATES 1283918464548865 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 16 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 28585018037108737 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678451692559

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-14a"
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 FlexibleBarrier-PT-14a, 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 r163-tall-167838847900528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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