Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 380K
-rw-r--r-- 1 mcc users 3.3K Apr 4 19:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 4 19:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 4 07:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 07:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 3 21:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 3 21:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 3 13:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 3 13:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 214K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589435475721

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

Filename model.pnml
Petri model created: 195 places, 724 transitions, 3489 arcs.
AT ITER 0 NEW BEST:: SOT 123777 SOS 105472 HAS SOPS 105472 HAS SOUS 60122 HAS SOUPS 60122 WITH SCORE 60227.472
AT ITER 1 NEW BEST:: SOT 123306 SOS 105139 HAS SOPS 105139 HAS SOUS 59948 HAS SOUPS 59948 WITH SCORE 60053.139
AT ITER 7 NEW BEST:: SOT 123304 SOS 104981 HAS SOPS 104981 HAS SOUS 59869 HAS SOUPS 59869 WITH SCORE 59973.981
AT ITER 9 NEW BEST:: SOT 123002 SOS 104501 HAS SOPS 104501 HAS SOUS 57225 HAS SOUPS 57225 WITH SCORE 57329.501
AT ITER 10 NEW BEST:: SOT 120430 SOS 102501 HAS SOPS 101927 HAS SOUS 56682 HAS SOUPS 56602 WITH SCORE 56704.501
AT ITER 13 NEW BEST:: SOT 120516 SOS 102519 HAS SOPS 101801 HAS SOUS 54815 HAS SOUPS 54735 WITH SCORE 54837.519
AT ITER 15 NEW BEST:: SOT 119347 SOS 100872 HAS SOPS 99474 HAS SOUS 49583 HAS SOUPS 49449 WITH SCORE 49549.872
AT ITER 20 NEW BEST:: SOT 117820 SOS 99408 HAS SOPS 98138 HAS SOUS 49317 HAS SOUPS 49183 WITH SCORE 49282.408
AT ITER 24 NEW BEST:: SOT 117819 SOS 99334 HAS SOPS 98064 HAS SOUS 49237 HAS SOUPS 49103 WITH SCORE 49202.334
AT ITER 27 NEW BEST:: SOT 116986 SOS 98475 HAS SOPS 97205 HAS SOUS 48738 HAS SOUPS 48604 WITH SCORE 48702.475
AT ITER 29 NEW BEST:: SOT 116990 SOS 98483 HAS SOPS 97213 HAS SOUS 48735 HAS SOUPS 48601 WITH SCORE 48699.483
AT ITER 34 NEW BEST:: SOT 117068 SOS 97746 HAS SOPS 96221 HAS SOUS 47289 HAS SOUPS 47155 WITH SCORE 47252.746
AT ITER 37 NEW BEST:: SOT 117080 SOS 97720 HAS SOPS 96195 HAS SOUS 47276 HAS SOUPS 47142 WITH SCORE 47239.72
AT ITER 42 NEW BEST:: SOT 117134 SOS 96835 HAS SOPS 95070 HAS SOUS 46176 HAS SOUPS 46042 WITH SCORE 46138.835
AT ITER 43 NEW BEST:: SOT 117121 SOS 96286 HAS SOPS 94521 HAS SOUS 45861 HAS SOUPS 45727 WITH SCORE 45823.286
AT ITER 44 NEW BEST:: SOT 117186 SOS 96218 HAS SOPS 94453 HAS SOUS 45777 HAS SOUPS 45643 WITH SCORE 45739.218
AT ITER 45 NEW BEST:: SOT 117281 SOS 96408 HAS SOPS 94259 HAS SOUS 44625 HAS SOUPS 44491 WITH SCORE 44587.408
AT ITER 49 NEW BEST:: SOT 118030 SOS 97078 HAS SOPS 94737 HAS SOUS 44515 HAS SOUPS 44381 WITH SCORE 44478.078
AT ITER 56 NEW BEST:: SOT 118006 SOS 96999 HAS SOPS 94658 HAS SOUS 44431 HAS SOUPS 44297 WITH SCORE 44393.999
AT ITER 61 NEW BEST:: SOT 116957 SOS 95950 HAS SOPS 93609 HAS SOUS 43875 HAS SOUPS 43741 WITH SCORE 43836.95
AT ITER 65 NEW BEST:: SOT 116954 SOS 95947 HAS SOPS 93606 HAS SOUS 43872 HAS SOUPS 43738 WITH SCORE 43833.947
AT ITER 66 NEW BEST:: SOT 116833 SOS 95571 HAS SOPS 93230 HAS SOUS 43702 HAS SOUPS 43568 WITH SCORE 43663.571
AT ITER 69 NEW BEST:: SOT 116927 SOS 95022 HAS SOPS 92009 HAS SOUS 42338 HAS SOUPS 42204 WITH SCORE 42299.022
AT ITER 70 NEW BEST:: SOT 116959 SOS 95048 HAS SOPS 91779 HAS SOUS 41500 HAS SOUPS 41366 WITH SCORE 41461.048
AT ITER 73 NEW BEST:: SOT 116959 SOS 95017 HAS SOPS 91717 HAS SOUS 41430 HAS SOUPS 41296 WITH SCORE 41391.017
AT ITER 75 NEW BEST:: SOT 117863 SOS 95912 HAS SOPS 92020 HAS SOUS 40711 HAS SOUPS 40577 WITH SCORE 40672.912
AT ITER 78 NEW BEST:: SOT 117878 SOS 95773 HAS SOPS 91898 HAS SOUS 40591 HAS SOUPS 40457 WITH SCORE 40552.773
AT ITER 79 NEW BEST:: SOT 117877 SOS 95739 HAS SOPS 91864 HAS SOUS 40585 HAS SOUPS 40451 WITH SCORE 40546.739
AT ITER 86 NEW BEST:: SOT 117876 SOS 95477 HAS SOPS 91575 HAS SOUS 40384 HAS SOUPS 40250 WITH SCORE 40345.477
AT ITER 88 NEW BEST:: SOT 117872 SOS 95461 HAS SOPS 91559 HAS SOUS 40374 HAS SOUPS 40240 WITH SCORE 40335.461
AT ITER 90 NEW BEST:: SOT 115592 SOS 93216 HAS SOPS 89314 HAS SOUS 39210 HAS SOUPS 39076 WITH SCORE 39169.216
AT ITER 92 NEW BEST:: SOT 115592 SOS 93063 HAS SOPS 89161 HAS SOUS 39056 HAS SOUPS 38922 WITH SCORE 39015.063
AT ITER 95 NEW BEST:: SOT 116871 SOS 93465 HAS SOPS 89103 HAS SOUS 38950 HAS SOUPS 38816 WITH SCORE 38909.465
AT ITER 97 NEW BEST:: SOT 116867 SOS 93436 HAS SOPS 89074 HAS SOUS 38947 HAS SOUPS 38813 WITH SCORE 38906.436
AT ITER 98 NEW BEST:: SOT 116266 SOS 92835 HAS SOPS 88473 HAS SOUS 38628 HAS SOUPS 38494 WITH SCORE 38586.835
AT ITER 101 NEW BEST:: SOT 116414 SOS 92809 HAS SOPS 88346 HAS SOUS 38572 HAS SOUPS 38438 WITH SCORE 38530.809
AT ITER 105 NEW BEST:: SOT 116414 SOS 92809 HAS SOPS 88346 HAS SOUS 38542 HAS SOUPS 38408 WITH SCORE 38500.809
AT ITER 107 NEW BEST:: SOT 116554 SOS 91738 HAS SOPS 85735 HAS SOUS 36483 HAS SOUPS 36349 WITH SCORE 36440.738
AT ITER 109 NEW BEST:: SOT 116553 SOS 91711 HAS SOPS 85641 HAS SOUS 36416 HAS SOUPS 36282 WITH SCORE 36373.711
AT ITER 111 NEW BEST:: SOT 116553 SOS 91707 HAS SOPS 85637 HAS SOUS 36416 HAS SOUPS 36282 WITH SCORE 36373.707
AT ITER 114 NEW BEST:: SOT 116081 SOS 91179 HAS SOPS 85109 HAS SOUS 36124 HAS SOUPS 35990 WITH SCORE 36081.179
AT ITER 117 NEW BEST:: SOT 116075 SOS 91161 HAS SOPS 85091 HAS SOUS 36124 HAS SOUPS 35990 WITH SCORE 36081.161
AT ITER 119 NEW BEST:: SOT 116072 SOS 91154 HAS SOPS 85084 HAS SOUS 36122 HAS SOUPS 35988 WITH SCORE 36079.154
AT ITER 122 NEW BEST:: SOT 116088 SOS 91159 HAS SOPS 85050 HAS SOUS 36100 HAS SOUPS 35966 WITH SCORE 36057.159
AT ITER 123 NEW BEST:: SOT 116080 SOS 91173 HAS SOPS 85034 HAS SOUS 36098 HAS SOUPS 35964 WITH SCORE 36055.173
AT ITER 124 NEW BEST:: SOT 116071 SOS 90949 HAS SOPS 84810 HAS SOUS 35921 HAS SOUPS 35787 WITH SCORE 35877.949
AT ITER 127 NEW BEST:: SOT 116175 SOS 90411 HAS SOPS 83528 HAS SOUS 35149 HAS SOUPS 35015 WITH SCORE 35105.411
AT ITER 128 NEW BEST:: SOT 116326 SOS 89588 HAS SOPS 80339 HAS SOUS 32893 HAS SOUPS 32759 WITH SCORE 32848.588
AT ITER 131 NEW BEST:: SOT 114218 SOS 87414 HAS SOPS 78165 HAS SOUS 31762 HAS SOUPS 31628 WITH SCORE 31715.414
AT ITER 134 NEW BEST:: SOT 114216 SOS 87410 HAS SOPS 78161 HAS SOUS 31711 HAS SOUPS 31577 WITH SCORE 31664.41
AT ITER 137 NEW BEST:: SOT 112699 SOS 85967 HAS SOPS 77147 HAS SOUS 31371 HAS SOUPS 31237 WITH SCORE 31322.967
AT ITER 138 NEW BEST:: SOT 111278 SOS 84546 HAS SOPS 75726 HAS SOUS 30636 HAS SOUPS 30502 WITH SCORE 30586.546
AT ITER 142 NEW BEST:: SOT 111310 SOS 84231 HAS SOPS 75380 HAS SOUS 30412 HAS SOUPS 30278 WITH SCORE 30362.231
AT ITER 143 NEW BEST:: SOT 111308 SOS 84227 HAS SOPS 75376 HAS SOUS 30410 HAS SOUPS 30276 WITH SCORE 30360.227
AT ITER 154 NEW BEST:: SOT 111391 SOS 84344 HAS SOPS 75493 HAS SOUS 30402 HAS SOUPS 30268 WITH SCORE 30352.344
AT ITER 157 NEW BEST:: SOT 111533 SOS 84308 HAS SOPS 75475 HAS SOUS 30373 HAS SOUPS 30239 WITH SCORE 30323.308
AT ITER 166 NEW BEST:: SOT 111516 SOS 84291 HAS SOPS 75458 HAS SOUS 30373 HAS SOUPS 30239 WITH SCORE 30323.291
AT ITER 168 NEW BEST:: SOT 111379 SOS 84001 HAS SOPS 75040 HAS SOUS 30203 HAS SOUPS 30069 WITH SCORE 30153.001
AT ITER 172 NEW BEST:: SOT 108807 SOS 81691 HAS SOPS 72462 HAS SOUS 27830 HAS SOUPS 27655 WITH SCORE 27736.691
AT ITER 175 NEW BEST:: SOT 108767 SOS 81639 HAS SOPS 72396 HAS SOUS 27809 HAS SOUPS 27634 WITH SCORE 27715.639
AT ITER 176 NEW BEST:: SOT 108701 SOS 81527 HAS SOPS 72048 HAS SOUS 26999 HAS SOUPS 26824 WITH SCORE 26905.527
AT ITER 187 NEW BEST:: SOT 108695 SOS 81527 HAS SOPS 72042 HAS SOUS 26993 HAS SOUPS 26818 WITH SCORE 26899.527
AT ITER 188 NEW BEST:: SOT 108695 SOS 81527 HAS SOPS 72023 HAS SOUS 26974 HAS SOUPS 26799 WITH SCORE 26880.527
AT ITER 191 NEW BEST:: SOT 108634 SOS 81448 HAS SOPS 71889 HAS SOUS 26845 HAS SOUPS 26656 WITH SCORE 26737.448
AT ITER 192 NEW BEST:: SOT 108643 SOS 81457 HAS SOPS 71772 HAS SOUS 26764 HAS SOUPS 26575 WITH SCORE 26656.457
AT ITER 195 NEW BEST:: SOT 106713 SOS 79503 HAS SOPS 69926 HAS SOUS 25852 HAS SOUPS 25657 WITH SCORE 25736.503
AT ITER 197 NEW BEST:: SOT 106282 SOS 79050 HAS SOPS 69462 HAS SOUS 25598 HAS SOUPS 25403 WITH SCORE 25482.05
AT ITER 203 NEW BEST:: SOT 105644 SOS 78426 HAS SOPS 68838 HAS SOUS 25300 HAS SOUPS 25105 WITH SCORE 25183.426
AT ITER 204 NEW BEST:: SOT 105682 SOS 78400 HAS SOPS 68773 HAS SOUS 25276 HAS SOUPS 25081 WITH SCORE 25159.4
AT ITER 207 NEW BEST:: SOT 105636 SOS 78210 HAS SOPS 68681 HAS SOUS 25222 HAS SOUPS 25027 WITH SCORE 25105.21
AT ITER 209 NEW BEST:: SOT 105616 SOS 78209 HAS SOPS 68674 HAS SOUS 25216 HAS SOUPS 25021 WITH SCORE 25099.209
AT ITER 216 NEW BEST:: SOT 105388 SOS 78229 HAS SOPS 68446 HAS SOUS 25039 HAS SOUPS 24832 WITH SCORE 24910.229
AT ITER 221 NEW BEST:: SOT 105386 SOS 78216 HAS SOPS 68432 HAS SOUS 25029 HAS SOUPS 24822 WITH SCORE 24900.216
AT ITER 226 NEW BEST:: SOT 105367 SOS 78186 HAS SOPS 68282 HAS SOUS 24904 HAS SOUPS 24697 WITH SCORE 24775.186
AT ITER 229 NEW BEST:: SOT 104119 SOS 76934 HAS SOPS 66932 HAS SOUS 24127 HAS SOUPS 23920 WITH SCORE 23996.934
AT ITER 238 NEW BEST:: SOT 104195 SOS 75302 HAS SOPS 64290 HAS SOUS 23467 HAS SOUPS 23260 WITH SCORE 23335.302
AT ITER 239 NEW BEST:: SOT 104183 SOS 75284 HAS SOPS 64266 HAS SOUS 23443 HAS SOUPS 23236 WITH SCORE 23311.284
AT ITER 240 NEW BEST:: SOT 104185 SOS 75287 HAS SOPS 64269 HAS SOUS 23411 HAS SOUPS 23204 WITH SCORE 23279.287
AT ITER 241 NEW BEST:: SOT 104061 SOS 75193 HAS SOPS 64053 HAS SOUS 23245 HAS SOUPS 23038 WITH SCORE 23113.193
AT ITER 244 NEW BEST:: SOT 104048 SOS 75167 HAS SOPS 64027 HAS SOUS 23219 HAS SOUPS 23012 WITH SCORE 23087.167
AT ITER 247 NEW BEST:: SOT 104033 SOS 75101 HAS SOPS 63960 HAS SOUS 23152 HAS SOUPS 22945 WITH SCORE 23020.101
AT ITER 248 NEW BEST:: SOT 104033 SOS 75101 HAS SOPS 63960 HAS SOUS 23107 HAS SOUPS 22900 WITH SCORE 22975.101
AT ITER 250 NEW BEST:: SOT 104016 SOS 75086 HAS SOPS 63945 HAS SOUS 23107 HAS SOUPS 22900 WITH SCORE 22975.086
AT ITER 256 NEW BEST:: SOT 103950 SOS 74948 HAS SOPS 63795 HAS SOUS 22838 HAS SOUPS 22631 WITH SCORE 22705.948
AT ITER 261 NEW BEST:: SOT 103917 SOS 73523 HAS SOPS 62034 HAS SOUS 22681 HAS SOUPS 22474 WITH SCORE 22547.523
AT ITER 263 NEW BEST:: SOT 102546 SOS 74275 HAS SOPS 63122 HAS SOUS 22294 HAS SOUPS 22087 WITH SCORE 22161.275
AT ITER 272 NEW BEST:: SOT 102504 SOS 74178 HAS SOPS 63007 HAS SOUS 22238 HAS SOUPS 22031 WITH SCORE 22105.178
AT ITER 275 NEW BEST:: SOT 102499 SOS 74168 HAS SOPS 62997 HAS SOUS 22238 HAS SOUPS 22031 WITH SCORE 22105.168
AT ITER 277 NEW BEST:: SOT 102451 SOS 74171 HAS SOPS 62901 HAS SOUS 22120 HAS SOUPS 21913 WITH SCORE 21987.171
AT ITER 285 NEW BEST:: SOT 102447 SOS 73365 HAS SOPS 60563 HAS SOUS 21403 HAS SOUPS 21196 WITH SCORE 21269.365
AT ITER 286 NEW BEST:: SOT 102447 SOS 73365 HAS SOPS 60563 HAS SOUS 21385 HAS SOUPS 21178 WITH SCORE 21251.365
AT ITER 288 NEW BEST:: SOT 102443 SOS 73361 HAS SOPS 60559 HAS SOUS 21385 HAS SOUPS 21178 WITH SCORE 21251.361
AT ITER 293 NEW BEST:: SOT 100594 SOS 71525 HAS SOPS 58879 HAS SOUS 20779 HAS SOUPS 20572 WITH SCORE 20643.525
AT ITER 294 NEW BEST:: SOT 100296 SOS 71784 HAS SOPS 58543 HAS SOUS 20519 HAS SOUPS 20293 WITH SCORE 20364.784
AT ITER 296 NEW BEST:: SOT 100394 SOS 71598 HAS SOPS 58329 HAS SOUS 20442 HAS SOUPS 20216 WITH SCORE 20287.598
AT ITER 298 NEW BEST:: SOT 100256 SOS 71457 HAS SOPS 58188 HAS SOUS 20370 HAS SOUPS 20144 WITH SCORE 20215.457
AT ITER 302 NEW BEST:: SOT 100212 SOS 71413 HAS SOPS 58100 HAS SOUS 20282 HAS SOUPS 20056 WITH SCORE 20127.413
AT ITER 306 NEW BEST:: SOT 98261 SOS 70736 HAS SOPS 58780 HAS SOUS 20132 HAS SOUPS 19906 WITH SCORE 19976.736
AT ITER 308 NEW BEST:: SOT 98241 SOS 70696 HAS SOPS 58720 HAS SOUS 20067 HAS SOUPS 19841 WITH SCORE 19911.696
AT ITER 311 NEW BEST:: SOT 98235 SOS 70686 HAS SOPS 58708 HAS SOUS 20055 HAS SOUPS 19829 WITH SCORE 19899.686
AT ITER 314 NEW BEST:: SOT 98188 SOS 70747 HAS SOPS 58753 HAS SOUS 20033 HAS SOUPS 19807 WITH SCORE 19877.747
AT ITER 319 NEW BEST:: SOT 98162 SOS 70695 HAS SOPS 58701 HAS SOUS 20020 HAS SOUPS 19794 WITH SCORE 19864.695
AT ITER 322 NEW BEST:: SOT 98218 SOS 70726 HAS SOPS 58705 HAS SOUS 20004 HAS SOUPS 19764 WITH SCORE 19834.726
AT ITER 329 NEW BEST:: SOT 98218 SOS 70721 HAS SOPS 58705 HAS SOUS 20004 HAS SOUPS 19764 WITH SCORE 19834.721
AT ITER 331 NEW BEST:: SOT 98116 SOS 70671 HAS SOPS 58501 HAS SOUS 19893 HAS SOUPS 19653 WITH SCORE 19723.671
AT ITER 332 NEW BEST:: SOT 98068 SOS 70589 HAS SOPS 58405 HAS SOUS 19859 HAS SOUPS 19619 WITH SCORE 19689.589
AT ITER 334 NEW BEST:: SOT 98040 SOS 70546 HAS SOPS 58349 HAS SOUS 19828 HAS SOUPS 19588 WITH SCORE 19658.546
AT ITER 341 NEW BEST:: SOT 98037 SOS 70540 HAS SOPS 58343 HAS SOUS 19822 HAS SOUPS 19582 WITH SCORE 19652.54
AT ITER 344 NEW BEST:: SOT 97500 SOS 70037 HAS SOPS 58527 HAS SOUS 19755 HAS SOUPS 19515 WITH SCORE 19585.037
AT ITER 346 NEW BEST:: SOT 97456 SOS 69947 HAS SOPS 58393 HAS SOUS 19621 HAS SOUPS 19381 WITH SCORE 19450.947
AT ITER 356 NEW BEST:: SOT 97455 SOS 69946 HAS SOPS 58392 HAS SOUS 19620 HAS SOUPS 19380 WITH SCORE 19449.946
AT ITER 357 NEW BEST:: SOT 96669 SOS 69182 HAS SOPS 57584 HAS SOUS 19216 HAS SOUPS 18976 WITH SCORE 19045.182
AT ITER 364 NEW BEST:: SOT 96666 SOS 69180 HAS SOPS 56860 HAS SOUS 18967 HAS SOUPS 18727 WITH SCORE 18796.18
AT ITER 365 NEW BEST:: SOT 96652 SOS 69152 HAS SOPS 56832 HAS SOUS 18939 HAS SOUPS 18699 WITH SCORE 18768.152
AT ITER 367 NEW BEST:: SOT 96665 SOS 69157 HAS SOPS 56754 HAS SOUS 18757 HAS SOUPS 18517 WITH SCORE 18586.157
AT ITER 374 NEW BEST:: SOT 96651 SOS 69115 HAS SOPS 56712 HAS SOUS 18753 HAS SOUPS 18513 WITH SCORE 18582.115
AT ITER 382 NEW BEST:: SOT 96631 SOS 69095 HAS SOPS 56687 HAS SOUS 18728 HAS SOUPS 18488 WITH SCORE 18557.095
AT ITER 385 NEW BEST:: SOT 96591 SOS 69040 HAS SOPS 56601 HAS SOUS 18648 HAS SOUPS 18408 WITH SCORE 18477.04
AT ITER 387 NEW BEST:: SOT 96636 SOS 69115 HAS SOPS 56676 HAS SOUS 18619 HAS SOUPS 18379 WITH SCORE 18448.115
AT ITER 388 NEW BEST:: SOT 96187 SOS 75875 HAS SOPS 56153 HAS SOUS 18542 HAS SOUPS 18270 WITH SCORE 18345.875
AT ITER 390 NEW BEST:: SOT 96151 SOS 75815 HAS SOPS 56093 HAS SOUS 18506 HAS SOUPS 18234 WITH SCORE 18309.815
AT ITER 395 NEW BEST:: SOT 96155 SOS 75819 HAS SOPS 56091 HAS SOUS 18505 HAS SOUPS 18233 WITH SCORE 18308.819
AT ITER 396 NEW BEST:: SOT 96135 SOS 75779 HAS SOPS 56051 HAS SOUS 18465 HAS SOUPS 18193 WITH SCORE 18268.779
AT ITER 397 NEW BEST:: SOT 96075 SOS 75585 HAS SOPS 55848 HAS SOUS 18313 HAS SOUPS 18041 WITH SCORE 18116.585
AT ITER 410 NEW BEST:: SOT 96047 SOS 75529 HAS SOPS 55745 HAS SOUS 18208 HAS SOUPS 17936 WITH SCORE 18011.529
AT ITER 422 NEW BEST:: SOT 96039 SOS 75521 HAS SOPS 55737 HAS SOUS 18208 HAS SOUPS 17936 WITH SCORE 18011.521
AT ITER 425 NEW BEST:: SOT 96100 SOS 75679 HAS SOPS 55859 HAS SOUS 18123 HAS SOUPS 17848 WITH SCORE 17923.679
AT ITER 433 NEW BEST:: SOT 96099 SOS 75677 HAS SOPS 55857 HAS SOUS 18122 HAS SOUPS 17847 WITH SCORE 17922.677
AT ITER 436 NEW BEST:: SOT 96080 SOS 75667 HAS SOPS 55833 HAS SOUS 18089 HAS SOUPS 17814 WITH SCORE 17889.667
AT ITER 438 NEW BEST:: SOT 96057 SOS 75621 HAS SOPS 55787 HAS SOUS 18043 HAS SOUPS 17768 WITH SCORE 17843.621
AT ITER 441 NEW BEST:: SOT 96055 SOS 75619 HAS SOPS 55783 HAS SOUS 18039 HAS SOUPS 17764 WITH SCORE 17839.619
AT ITER 443 NEW BEST:: SOT 96051 SOS 75535 HAS SOPS 55704 HAS SOUS 18027 HAS SOUPS 17752 WITH SCORE 17827.535
AT ITER 445 NEW BEST:: SOT 96051 SOS 75534 HAS SOPS 55703 HAS SOUS 18026 HAS SOUPS 17751 WITH SCORE 17826.534
AT ITER 446 NEW BEST:: SOT 96098 SOS 75568 HAS SOPS 55737 HAS SOUS 18003 HAS SOUPS 17728 WITH SCORE 17803.568
AT ITER 448 NEW BEST:: SOT 96058 SOS 75528 HAS SOPS 55697 HAS SOUS 17963 HAS SOUPS 17688 WITH SCORE 17763.528
AT ITER 487 NEW BEST:: SOT 96058 SOS 75513 HAS SOPS 55682 HAS SOUS 17948 HAS SOUPS 17673 WITH SCORE 17748.513
AT ITER 490 NEW BEST:: SOT 96045 SOS 75470 HAS SOPS 55656 HAS SOUS 17945 HAS SOUPS 17670 WITH SCORE 17745.47
AT ITER 497 NEW BEST:: SOT 96039 SOS 75464 HAS SOPS 55650 HAS SOUS 17933 HAS SOUPS 17658 WITH SCORE 17733.464
AT ITER 498 NEW BEST:: SOT 96019 SOS 75464 HAS SOPS 55610 HAS SOUS 17873 HAS SOUPS 17598 WITH SCORE 17673.464
AT ITER 501 NEW BEST:: SOT 96020 SOS 75465 HAS SOPS 55600 HAS SOUS 17863 HAS SOUPS 17588 WITH SCORE 17663.465
AT ITER 502 NEW BEST:: SOT 96024 SOS 75468 HAS SOPS 55548 HAS SOUS 17804 HAS SOUPS 17529 WITH SCORE 17604.468
AT ITER 535 NEW BEST:: SOT 96020 SOS 75416 HAS SOPS 55516 HAS SOUS 17796 HAS SOUPS 17521 WITH SCORE 17596.416
AT ITER 540 NEW BEST:: SOT 96019 SOS 75414 HAS SOPS 55514 HAS SOUS 17796 HAS SOUPS 17521 WITH SCORE 17596.414
AT ITER 542 NEW BEST:: SOT 95997 SOS 75348 HAS SOPS 55448 HAS SOUS 17749 HAS SOUPS 17474 WITH SCORE 17549.348
AT ITER 555 NEW BEST:: SOT 96028 SOS 75336 HAS SOPS 55450 HAS SOUS 17749 HAS SOUPS 17474 WITH SCORE 17549.336
AT ITER 556 NEW BEST:: SOT 95928 SOS 75235 HAS SOPS 55323 HAS SOUS 17638 HAS SOUPS 17363 WITH SCORE 17438.235
AT ITER 558 NEW BEST:: SOT 95930 SOS 75237 HAS SOPS 55327 HAS SOUS 17621 HAS SOUPS 17346 WITH SCORE 17421.237
AT ITER 577 NEW BEST:: SOT 94724 SOS 74059 HAS SOPS 54163 HAS SOUS 17053 HAS SOUPS 16778 WITH SCORE 16852.059
AT ITER 582 NEW BEST:: SOT 94704 SOS 74043 HAS SOPS 54123 HAS SOUS 17020 HAS SOUPS 16745 WITH SCORE 16819.043
AT ITER 586 NEW BEST:: SOT 94693 SOS 73993 HAS SOPS 54087 HAS SOUS 17007 HAS SOUPS 16732 WITH SCORE 16805.993
AT ITER 587 NEW BEST:: SOT 94679 SOS 73979 HAS SOPS 54059 HAS SOUS 16979 HAS SOUPS 16704 WITH SCORE 16777.979
AT ITER 590 NEW BEST:: SOT 94661 SOS 73797 HAS SOPS 53799 HAS SOUS 16729 HAS SOUPS 16454 WITH SCORE 16527.797
AT ITER 591 NEW BEST:: SOT 94634 SOS 73739 HAS SOPS 52103 HAS SOUS 16308 HAS SOUPS 16033 WITH SCORE 16106.739
AT ITER 603 NEW BEST:: SOT 94634 SOS 73715 HAS SOPS 52103 HAS SOUS 16288 HAS SOUPS 16013 WITH SCORE 16086.715
AT ITER 609 NEW BEST:: SOT 94651 SOS 73732 HAS SOPS 52098 HAS SOUS 16292 HAS SOUPS 16008 WITH SCORE 16081.732
AT ITER 635 NEW BEST:: SOT 94627 SOS 73708 HAS SOPS 52074 HAS SOUS 16271 HAS SOUPS 15987 WITH SCORE 16060.708
AT ITER 640 NEW BEST:: SOT 94612 SOS 73678 HAS SOPS 52044 HAS SOUS 16256 HAS SOUPS 15972 WITH SCORE 16045.678
AT ITER 642 NEW BEST:: SOT 94391 SOS 73440 HAS SOPS 51806 HAS SOUS 16120 HAS SOUPS 15836 WITH SCORE 15909.44
AT ITER 648 NEW BEST:: SOT 95103 SOS 74132 HAS SOPS 51880 HAS SOUS 15987 HAS SOUPS 15703 WITH SCORE 15777.132
AT ITER 656 NEW BEST:: SOT 95103 SOS 74104 HAS SOPS 51880 HAS SOUS 15987 HAS SOUPS 15703 WITH SCORE 15777.104
AT ITER 662 NEW BEST:: SOT 94610 SOS 73611 HAS SOPS 51410 HAS SOUS 15767 HAS SOUPS 15483 WITH SCORE 15556.611
AT ITER 663 NEW BEST:: SOT 94610 SOS 73609 HAS SOPS 51410 HAS SOUS 15767 HAS SOUPS 15483 WITH SCORE 15556.609
AT ITER 669 NEW BEST:: SOT 94607 SOS 73606 HAS SOPS 51404 HAS SOUS 15761 HAS SOUPS 15477 WITH SCORE 15550.606
AT ITER 670 NEW BEST:: SOT 94613 SOS 73612 HAS SOPS 51416 HAS SOUS 15759 HAS SOUPS 15475 WITH SCORE 15548.612
AT ITER 675 NEW BEST:: SOT 94553 SOS 73531 HAS SOPS 51296 HAS SOUS 15660 HAS SOUPS 15376 WITH SCORE 15449.531
AT ITER 676 NEW BEST:: SOT 94520 SOS 73580 HAS SOPS 51345 HAS SOUS 15653 HAS SOUPS 15369 WITH SCORE 15442.58
AT ITER 679 NEW BEST:: SOT 94552 SOS 73612 HAS SOPS 51363 HAS SOUS 15650 HAS SOUPS 15366 WITH SCORE 15439.612
AT ITER 681 NEW BEST:: SOT 94548 SOS 73608 HAS SOPS 51355 HAS SOUS 15642 HAS SOUPS 15358 WITH SCORE 15431.608
AT ITER 688 NEW BEST:: SOT 94513 SOS 73522 HAS SOPS 51230 HAS SOUS 15561 HAS SOUPS 15277 WITH SCORE 15350.522
AT ITER 695 NEW BEST:: SOT 94513 SOS 73526 HAS SOPS 51230 HAS SOUS 15557 HAS SOUPS 15273 WITH SCORE 15346.526
AT ITER 709 NEW BEST:: SOT 94537 SOS 73495 HAS SOPS 51161 HAS SOUS 15496 HAS SOUPS 15212 WITH SCORE 15285.495
AT ITER 721 NEW BEST:: SOT 94553 SOS 73456 HAS SOPS 51086 HAS SOUS 15441 HAS SOUPS 15157 WITH SCORE 15230.456
AT ITER 723 NEW BEST:: SOT 94534 SOS 73418 HAS SOPS 51013 HAS SOUS 15387 HAS SOUPS 15103 WITH SCORE 15176.418
AT ITER 729 NEW BEST:: SOT 94523 SOS 73407 HAS SOPS 51013 HAS SOUS 15387 HAS SOUPS 15103 WITH SCORE 15176.407
AT ITER 735 NEW BEST:: SOT 94170 SOS 73053 HAS SOPS 50747 HAS SOUS 15338 HAS SOUPS 15054 WITH SCORE 15127.053
AT ITER 737 NEW BEST:: SOT 94158 SOS 73076 HAS SOPS 50723 HAS SOUS 15319 HAS SOUPS 15035 WITH SCORE 15108.076
AT ITER 742 NEW BEST:: SOT 94147 SOS 73038 HAS SOPS 50685 HAS SOUS 15294 HAS SOUPS 15010 WITH SCORE 15083.038
AT ITER 745 NEW BEST:: SOT 94033 SOS 72810 HAS SOPS 50419 HAS SOUS 15104 HAS SOUPS 14820 WITH SCORE 14892.81
AT ITER 767 NEW BEST:: SOT 94045 SOS 72834 HAS SOPS 50443 HAS SOUS 15092 HAS SOUPS 14808 WITH SCORE 14880.834
AT ITER 770 NEW BEST:: SOT 93345 SOS 72154 HAS SOPS 49763 HAS SOUS 14762 HAS SOUPS 14478 WITH SCORE 14550.154
AT ITER 778 NEW BEST:: SOT 93339 SOS 72142 HAS SOPS 49751 HAS SOUS 14750 HAS SOUPS 14466 WITH SCORE 14538.142
AT ITER 804 NEW BEST:: SOT 93347 SOS 72140 HAS SOPS 49757 HAS SOUS 14746 HAS SOUPS 14462 WITH SCORE 14534.14
AT ITER 820 NEW BEST:: SOT 93322 SOS 72062 HAS SOPS 49707 HAS SOUS 14674 HAS SOUPS 14390 WITH SCORE 14462.062
AT ITER 822 NEW BEST:: SOT 93302 SOS 72044 HAS SOPS 49646 HAS SOUS 14671 HAS SOUPS 14387 WITH SCORE 14459.044
AT ITER 827 NEW BEST:: SOT 93302 SOS 72057 HAS SOPS 49656 HAS SOUS 14670 HAS SOUPS 14386 WITH SCORE 14458.057
AT ITER 829 NEW BEST:: SOT 93280 SOS 72057 HAS SOPS 49634 HAS SOUS 14643 HAS SOUPS 14359 WITH SCORE 14431.057
AT ITER 832 NEW BEST:: SOT 92837 SOS 71675 HAS SOPS 49747 HAS SOUS 14602 HAS SOUPS 14318 WITH SCORE 14389.675
AT ITER 856 NEW BEST:: SOT 92837 SOS 71667 HAS SOPS 49739 HAS SOUS 14594 HAS SOUPS 14310 WITH SCORE 14381.667
AT ITER 860 NEW BEST:: SOT 92847 SOS 71658 HAS SOPS 49757 HAS SOUS 14586 HAS SOUPS 14302 WITH SCORE 14373.658
AT ITER 861 NEW BEST:: SOT 92847 SOS 71664 HAS SOPS 49763 HAS SOUS 14578 HAS SOUPS 14294 WITH SCORE 14365.664
AT ITER 875 NEW BEST:: SOT 92775 SOS 71522 HAS SOPS 49619 HAS SOUS 14504 HAS SOUPS 14220 WITH SCORE 14291.522
AT ITER 878 NEW BEST:: SOT 92713 SOS 71398 HAS SOPS 49495 HAS SOUS 14411 HAS SOUPS 14127 WITH SCORE 14198.398
AT ITER 879 NEW BEST:: SOT 92711 SOS 71390 HAS SOPS 49491 HAS SOUS 14408 HAS SOUPS 14124 WITH SCORE 14195.39
AT ITER 893 NEW BEST:: SOT 92711 SOS 71368 HAS SOPS 49469 HAS SOUS 14398 HAS SOUPS 14114 WITH SCORE 14185.368
AT ITER 915 NEW BEST:: SOT 92533 SOS 71288 HAS SOPS 49310 HAS SOUS 14263 HAS SOUPS 13979 WITH SCORE 14050.288
AT ITER 928 NEW BEST:: SOT 92533 SOS 71288 HAS SOPS 49306 HAS SOUS 14259 HAS SOUPS 13975 WITH SCORE 14046.288
AT ITER 932 NEW BEST:: SOT 92527 SOS 71277 HAS SOPS 49289 HAS SOUS 14242 HAS SOUPS 13958 WITH SCORE 14029.277
AT ITER 935 NEW BEST:: SOT 92483 SOS 71145 HAS SOPS 49157 HAS SOUS 14154 HAS SOUPS 13870 WITH SCORE 13941.145
AT ITER 944 NEW BEST:: SOT 92378 SOS 71005 HAS SOPS 48982 HAS SOUS 14048 HAS SOUPS 13764 WITH SCORE 13835.005
AT ITER 947 NEW BEST:: SOT 92377 SOS 70996 HAS SOPS 48980 HAS SOUS 14046 HAS SOUPS 13762 WITH SCORE 13832.996
AT ITER 949 NEW BEST:: SOT 92377 SOS 70950 HAS SOPS 48934 HAS SOUS 14046 HAS SOUPS 13762 WITH SCORE 13832.95
AT ITER 955 NEW BEST:: SOT 92375 SOS 70934 HAS SOPS 48892 HAS SOUS 14032 HAS SOUPS 13748 WITH SCORE 13818.934
AT ITER 957 NEW BEST:: SOT 92366 SOS 70954 HAS SOPS 47848 HAS SOUS 13415 HAS SOUPS 13131 WITH SCORE 13201.954
AT ITER 977 NEW BEST:: SOT 92403 SOS 70976 HAS SOPS 47889 HAS SOUS 13392 HAS SOUPS 13108 WITH SCORE 13178.976
AT ITER 979 NEW BEST:: SOT 92404 SOS 70975 HAS SOPS 47776 HAS SOUS 13371 HAS SOUPS 13087 WITH SCORE 13157.975
AT ITER 988 NEW BEST:: SOT 92377 SOS 70916 HAS SOPS 47706 HAS SOUS 13317 HAS SOUPS 13033 WITH SCORE 13103.916
AT ITER 996 NEW BEST:: SOT 92377 SOS 70198 HAS SOPS 46941 HAS SOUS 13255 HAS SOUPS 12971 WITH SCORE 13041.198
AT ITER 1010 NEW BEST:: SOT 92415 SOS 70255 HAS SOPS 46658 HAS SOUS 13178 HAS SOUPS 12894 WITH SCORE 12964.255
AT ITER 1030 NEW BEST:: SOT 92415 SOS 70251 HAS SOPS 46654 HAS SOUS 13174 HAS SOUPS 12890 WITH SCORE 12960.251
AT ITER 1050 NEW BEST:: SOT 92410 SOS 70260 HAS SOPS 46644 HAS SOUS 13150 HAS SOUPS 12866 WITH SCORE 12936.26
AT ITER 1058 NEW BEST:: SOT 92394 SOS 70223 HAS SOPS 46607 HAS SOUS 13084 HAS SOUPS 12800 WITH SCORE 12870.223
AT ITER 1082 NEW BEST:: SOT 92394 SOS 70214 HAS SOPS 46598 HAS SOUS 13075 HAS SOUPS 12791 WITH SCORE 12861.214
AT ITER 1084 NEW BEST:: SOT 92384 SOS 70224 HAS SOPS 46608 HAS SOUS 13071 HAS SOUPS 12787 WITH SCORE 12857.224
AT ITER 1091 NEW BEST:: SOT 92379 SOS 70189 HAS SOPS 46578 HAS SOUS 13051 HAS SOUPS 12767 WITH SCORE 12837.189
AT ITER 1092 NEW BEST:: SOT 92353 SOS 70152 HAS SOPS 46526 HAS SOUS 13009 HAS SOUPS 12725 WITH SCORE 12795.152
AT ITER 1094 NEW BEST:: SOT 92323 SOS 70122 HAS SOPS 46498 HAS SOUS 12997 HAS SOUPS 12713 WITH SCORE 12783.122
AT ITER 1098 NEW BEST:: SOT 92320 SOS 70149 HAS SOPS 46507 HAS SOUS 12991 HAS SOUPS 12707 WITH SCORE 12777.149
AT ITER 1107 NEW BEST:: SOT 92314 SOS 70162 HAS SOPS 46528 HAS SOUS 12979 HAS SOUPS 12695 WITH SCORE 12765.162
AT ITER 1112 NEW BEST:: SOT 92250 SOS 70034 HAS SOPS 46400 HAS SOUS 12907 HAS SOUPS 12623 WITH SCORE 12693.034
AT ITER 1117 NEW BEST:: SOT 92182 SOS 69954 HAS SOPS 46488 HAS SOUS 12903 HAS SOUPS 12619 WITH SCORE 12688.954
AT ITER 1120 NEW BEST:: SOT 92139 SOS 69859 HAS SOPS 46389 HAS SOUS 12862 HAS SOUPS 12578 WITH SCORE 12647.859
AT ITER 1122 NEW BEST:: SOT 92115 SOS 69835 HAS SOPS 46341 HAS SOUS 12814 HAS SOUPS 12530 WITH SCORE 12599.835
AT ITER 1131 NEW BEST:: SOT 92129 SOS 69835 HAS SOPS 46341 HAS SOUS 12805 HAS SOUPS 12521 WITH SCORE 12590.835
AT ITER 1133 NEW BEST:: SOT 92174 SOS 69931 HAS SOPS 46437 HAS SOUS 12783 HAS SOUPS 12499 WITH SCORE 12568.931
AT ITER 1158 NEW BEST:: SOT 92163 SOS 69866 HAS SOPS 46372 HAS SOUS 12762 HAS SOUPS 12478 WITH SCORE 12547.866
AT ITER 1160 NEW BEST:: SOT 92296 SOS 73553 HAS SOPS 45463 HAS SOUS 12536 HAS SOUPS 12189 WITH SCORE 12262.553
AT ITER 1161 NEW BEST:: SOT 92245 SOS 73487 HAS SOPS 45361 HAS SOUS 12434 HAS SOUPS 12087 WITH SCORE 12160.487
AT ITER 1169 NEW BEST:: SOT 92205 SOS 73527 HAS SOPS 45339 HAS SOUS 12386 HAS SOUPS 12039 WITH SCORE 12112.527
AT ITER 1171 NEW BEST:: SOT 92201 SOS 73519 HAS SOPS 45331 HAS SOUS 12384 HAS SOUPS 12037 WITH SCORE 12110.519
AT ITER 1187 NEW BEST:: SOT 92214 SOS 73488 HAS SOPS 45357 HAS SOUS 12365 HAS SOUPS 12018 WITH SCORE 12091.488
AT ITER 1189 NEW BEST:: SOT 92159 SOS 73418 HAS SOPS 45267 HAS SOUS 12310 HAS SOUPS 11963 WITH SCORE 12036.418
AT ITER 1203 NEW BEST:: SOT 92177 SOS 73369 HAS SOPS 45189 HAS SOUS 12252 HAS SOUPS 11905 WITH SCORE 11978.369
AT ITER 1206 NEW BEST:: SOT 91850 SOS 73043 HAS SOPS 44867 HAS SOUS 12119 HAS SOUPS 11772 WITH SCORE 11845.043
AT ITER 1208 NEW BEST:: SOT 91166 SOS 72359 HAS SOPS 44183 HAS SOUS 11757 HAS SOUPS 11410 WITH SCORE 11482.359
AT ITER 1248 NEW BEST:: SOT 91161 SOS 72354 HAS SOPS 44178 HAS SOUS 11752 HAS SOUPS 11405 WITH SCORE 11477.354
AT ITER 1254 NEW BEST:: SOT 91156 SOS 72349 HAS SOPS 44168 HAS SOUS 11742 HAS SOUPS 11395 WITH SCORE 11467.349
AT ITER 1258 NEW BEST:: SOT 91138 SOS 72331 HAS SOPS 44132 HAS SOUS 11706 HAS SOUPS 11359 WITH SCORE 11431.331
AT ITER 1259 NEW BEST:: SOT 91129 SOS 72322 HAS SOPS 44123 HAS SOUS 11697 HAS SOUPS 11350 WITH SCORE 11422.322
AT ITER 1284 NEW BEST:: SOT 91130 SOS 72324 HAS SOPS 44125 HAS SOUS 11684 HAS SOUPS 11337 WITH SCORE 11409.324
AT ITER 1301 NEW BEST:: SOT 91125 SOS 72307 HAS SOPS 44125 HAS SOUS 11684 HAS SOUPS 11337 WITH SCORE 11409.307
AT ITER 1302 NEW BEST:: SOT 91138 SOS 72253 HAS SOPS 44094 HAS SOUS 11639 HAS SOUPS 11292 WITH SCORE 11364.253
AT ITER 1325 NEW BEST:: SOT 91090 SOS 72102 HAS SOPS 43947 HAS SOUS 11539 HAS SOUPS 11192 WITH SCORE 11264.102
AT ITER 1326 NEW BEST:: SOT 91083 SOS 72088 HAS SOPS 43933 HAS SOUS 11532 HAS SOUPS 11185 WITH SCORE 11257.088
AT ITER 1340 NEW BEST:: SOT 91088 SOS 72084 HAS SOPS 43933 HAS SOUS 11531 HAS SOUPS 11184 WITH SCORE 11256.084
AT ITER 1348 NEW BEST:: SOT 91064 SOS 72070 HAS SOPS 43909 HAS SOUS 11521 HAS SOUPS 11174 WITH SCORE 11246.07
AT ITER 1352 NEW BEST:: SOT 91063 SOS 72057 HAS SOPS 43887 HAS SOUS 11491 HAS SOUPS 11144 WITH SCORE 11216.057
AT ITER 1358 NEW BEST:: SOT 91069 SOS 72038 HAS SOPS 43826 HAS SOUS 11430 HAS SOUPS 11083 WITH SCORE 11155.038
AT ITER 1394 NEW BEST:: SOT 91051 SOS 72011 HAS SOPS 43790 HAS SOUS 11378 HAS SOUPS 11031 WITH SCORE 11103.011
AT ITER 1398 NEW BEST:: SOT 91007 SOS 71952 HAS SOPS 43719 HAS SOUS 11324 HAS SOUPS 10977 WITH SCORE 11048.952
AT ITER 1405 NEW BEST:: SOT 91010 SOS 71940 HAS SOPS 43710 HAS SOUS 11315 HAS SOUPS 10968 WITH SCORE 11039.94
AT ITER 1407 NEW BEST:: SOT 90999 SOS 71947 HAS SOPS 43688 HAS SOUS 11278 HAS SOUPS 10931 WITH SCORE 11002.947
AT ITER 1420 NEW BEST:: SOT 90994 SOS 71932 HAS SOPS 43593 HAS SOUS 11233 HAS SOUPS 10886 WITH SCORE 10957.932
AT ITER 1442 NEW BEST:: SOT 90990 SOS 71926 HAS SOPS 43585 HAS SOUS 11227 HAS SOUPS 10880 WITH SCORE 10951.926
AT ITER 1444 NEW BEST:: SOT 90961 SOS 71865 HAS SOPS 43490 HAS SOUS 11127 HAS SOUPS 10780 WITH SCORE 10851.865
AT ITER 1456 NEW BEST:: SOT 90895 SOS 71733 HAS SOPS 43358 HAS SOUS 11045 HAS SOUPS 10698 WITH SCORE 10769.733
AT ITER 1461 NEW BEST:: SOT 90864 SOS 71713 HAS SOPS 43328 HAS SOUS 11037 HAS SOUPS 10690 WITH SCORE 10761.713
AT ITER 1479 NEW BEST:: SOT 90856 SOS 71701 HAS SOPS 43312 HAS SOUS 11021 HAS SOUPS 10674 WITH SCORE 10745.701
AT ITER 1480 NEW BEST:: SOT 90846 SOS 71681 HAS SOPS 43282 HAS SOUS 10991 HAS SOUPS 10644 WITH SCORE 10715.681
AT ITER 1491 NEW BEST:: SOT 90835 SOS 71666 HAS SOPS 43260 HAS SOUS 10975 HAS SOUPS 10624 WITH SCORE 10695.666
AT ITER 1495 NEW BEST:: SOT 90835 SOS 71665 HAS SOPS 43259 HAS SOUS 10974 HAS SOUPS 10623 WITH SCORE 10694.665
AT ITER 1496 NEW BEST:: SOT 90835 SOS 71655 HAS SOPS 43249 HAS SOUS 10964 HAS SOUPS 10613 WITH SCORE 10684.655
AT ITER 1503 NEW BEST:: SOT 90829 SOS 71649 HAS SOPS 43237 HAS SOUS 10946 HAS SOUPS 10595 WITH SCORE 10666.649
AT ITER 1515 NEW BEST:: SOT 90867 SOS 71645 HAS SOPS 43238 HAS SOUS 10936 HAS SOUPS 10585 WITH SCORE 10656.645
AT ITER 1530 NEW BEST:: SOT 90844 SOS 71572 HAS SOPS 43142 HAS SOUS 10890 HAS SOUPS 10539 WITH SCORE 10610.572
AT ITER 1531 NEW BEST:: SOT 90651 SOS 71296 HAS SOPS 42850 HAS SOUS 10627 HAS SOUPS 10276 WITH SCORE 10347.296
AT ITER 1533 NEW BEST:: SOT 90646 SOS 71255 HAS SOPS 42804 HAS SOUS 10581 HAS SOUPS 10230 WITH SCORE 10301.255
AT ITER 1547 NEW BEST:: SOT 90633 SOS 71242 HAS SOPS 42778 HAS SOUS 10555 HAS SOUPS 10204 WITH SCORE 10275.242
AT ITER 1556 NEW BEST:: SOT 90633 SOS 71030 HAS SOPS 42566 HAS SOUS 10541 HAS SOUPS 10190 WITH SCORE 10261.03
AT ITER 1559 NEW BEST:: SOT 90756 SOS 70949 HAS SOPS 42568 HAS SOUS 10541 HAS SOUPS 10190 WITH SCORE 10260.949
AT ITER 1567 NEW BEST:: SOT 90728 SOS 70818 HAS SOPS 42438 HAS SOUS 10440 HAS SOUPS 10089 WITH SCORE 10159.818
AT ITER 1585 NEW BEST:: SOT 90720 SOS 70802 HAS SOPS 42414 HAS SOUS 10416 HAS SOUPS 10065 WITH SCORE 10135.802
AT ITER 1586 NEW BEST:: SOT 90713 SOS 70795 HAS SOPS 42400 HAS SOUS 10402 HAS SOUPS 10051 WITH SCORE 10121.795
AT ITER 1591 NEW BEST:: SOT 90703 SOS 70793 HAS SOPS 42380 HAS SOUS 10385 HAS SOUPS 10034 WITH SCORE 10104.793
AT ITER 1605 NEW BEST:: SOT 90693 SOS 70796 HAS SOPS 42372 HAS SOUS 10376 HAS SOUPS 10025 WITH SCORE 10095.796
AT ITER 1610 NEW BEST:: SOT 90688 SOS 70768 HAS SOPS 42344 HAS SOUS 10353 HAS SOUPS 10002 WITH SCORE 10072.768
AT ITER 1622 NEW BEST:: SOT 90677 SOS 70746 HAS SOPS 42322 HAS SOUS 10342 HAS SOUPS 9991 WITH SCORE 10061.746
AT ITER 1625 NEW BEST:: SOT 90676 SOS 70742 HAS SOPS 42320 HAS SOUS 10341 HAS SOUPS 9990 WITH SCORE 10060.742
AT ITER 1650 NEW BEST:: SOT 90674 SOS 70738 HAS SOPS 42316 HAS SOUS 10337 HAS SOUPS 9986 WITH SCORE 10056.738
AT ITER 1667 NEW BEST:: SOT 90671 SOS 70735 HAS SOPS 42313 HAS SOUS 10337 HAS SOUPS 9986 WITH SCORE 10056.735
AT ITER 1681 NEW BEST:: SOT 90659 SOS 70723 HAS SOPS 42293 HAS SOUS 10317 HAS SOUPS 9966 WITH SCORE 10036.723
AT ITER 1687 NEW BEST:: SOT 90658 SOS 70721 HAS SOPS 42291 HAS SOUS 10315 HAS SOUPS 9964 WITH SCORE 10034.721
AT ITER 1709 NEW BEST:: SOT 90657 SOS 70721 HAS SOPS 42290 HAS SOUS 10314 HAS SOUPS 9963 WITH SCORE 10033.721
AT ITER 1739 NEW BEST:: SOT 90608 SOS 70643 HAS SOPS 42183 HAS SOUS 10233 HAS SOUPS 9882 WITH SCORE 9952.643
AT ITER 1750 NEW BEST:: SOT 90635 SOS 70659 HAS SOPS 42199 HAS SOUS 10226 HAS SOUPS 9875 WITH SCORE 9945.659
AT ITER 1759 NEW BEST:: SOT 90588 SOS 70613 HAS SOPS 42121 HAS SOUS 10149 HAS SOUPS 9798 WITH SCORE 9868.613
AT ITER 1775 NEW BEST:: SOT 90601 SOS 70603 HAS SOPS 42124 HAS SOUS 10129 HAS SOUPS 9778 WITH SCORE 9848.603
AT ITER 1792 NEW BEST:: SOT 90601 SOS 70568 HAS SOPS 42100 HAS SOUS 10129 HAS SOUPS 9778 WITH SCORE 9848.568
AT ITER 1868 NEW BEST:: SOT 90525 SOS 70482 HAS SOPS 41948 HAS SOUS 9976 HAS SOUPS 9625 WITH SCORE 9695.482
AT ITER 1906 NEW BEST:: SOT 90529 SOS 70479 HAS SOPS 41945 HAS SOUS 9962 HAS SOUPS 9611 WITH SCORE 9681.479
AT ITER 1918 NEW BEST:: SOT 90490 SOS 70414 HAS SOPS 41867 HAS SOUS 9910 HAS SOUPS 9559 WITH SCORE 9629.414
AT ITER 1927 NEW BEST:: SOT 90419 SOS 70369 HAS SOPS 41779 HAS SOUS 9831 HAS SOUPS 9480 WITH SCORE 9550.369
AT ITER 1931 NEW BEST:: SOT 90395 SOS 70329 HAS SOPS 41731 HAS SOUS 9799 HAS SOUPS 9448 WITH SCORE 9518.329
AT ITER 1938 NEW BEST:: SOT 90390 SOS 70313 HAS SOPS 41721 HAS SOUS 9795 HAS SOUPS 9444 WITH SCORE 9514.313
AT ITER 1944 NEW BEST:: SOT 90362 SOS 70269 HAS SOPS 41665 HAS SOUS 9742 HAS SOUPS 9391 WITH SCORE 9461.269
AT ITER 1946 NEW BEST:: SOT 90295 SOS 70150 HAS SOPS 41531 HAS SOUS 9633 HAS SOUPS 9282 WITH SCORE 9352.15
AT ITER 1955 NEW BEST:: SOT 90289 SOS 70086 HAS SOPS 41490 HAS SOUS 9621 HAS SOUPS 9270 WITH SCORE 9340.086
AT ITER 1961 NEW BEST:: SOT 90281 SOS 70070 HAS SOPS 41474 HAS SOUS 9613 HAS SOUPS 9262 WITH SCORE 9332.07
AT ITER 1969 NEW BEST:: SOT 90278 SOS 70067 HAS SOPS 41468 HAS SOUS 9607 HAS SOUPS 9256 WITH SCORE 9326.067
AT ITER 1991 NEW BEST:: SOT 90277 SOS 70065 HAS SOPS 41465 HAS SOUS 9604 HAS SOUPS 9253 WITH SCORE 9323.065
AT ITER 1998 NEW BEST:: SOT 90250 SOS 70029 HAS SOPS 41420 HAS SOUS 9568 HAS SOUPS 9217 WITH SCORE 9287.029
AT ITER 2001 NEW BEST:: SOT 90244 SOS 70022 HAS SOPS 41390 HAS SOUS 9538 HAS SOUPS 9187 WITH SCORE 9257.022
AT ITER 2004 NEW BEST:: SOT 90239 SOS 70012 HAS SOPS 41380 HAS SOUS 9533 HAS SOUPS 9182 WITH SCORE 9252.012
AT ITER 2022 NEW BEST:: SOT 90185 SOS 69962 HAS SOPS 41299 HAS SOUS 9467 HAS SOUPS 9116 WITH SCORE 9185.962
AT ITER 2064 NEW BEST:: SOT 90160 SOS 69912 HAS SOPS 41249 HAS SOUS 9452 HAS SOUPS 9101 WITH SCORE 9170.912
AT ITER 2101 NEW BEST:: SOT 90203 SOS 69950 HAS SOPS 41229 HAS SOUS 9343 HAS SOUPS 8992 WITH SCORE 9061.95
AT ITER 2102 NEW BEST:: SOT 90194 SOS 69937 HAS SOPS 41216 HAS SOUS 9335 HAS SOUPS 8984 WITH SCORE 9053.937
AT ITER 2107 NEW BEST:: SOT 90160 SOS 69903 HAS SOPS 41210 HAS SOUS 9329 HAS SOUPS 8978 WITH SCORE 9047.903
AT ITER 2128 NEW BEST:: SOT 90152 SOS 69895 HAS SOPS 41202 HAS SOUS 9326 HAS SOUPS 8975 WITH SCORE 9044.895
AT ITER 2146 NEW BEST:: SOT 90150 SOS 69892 HAS SOPS 41198 HAS SOUS 9322 HAS SOUPS 8971 WITH SCORE 9040.892
AT ITER 2163 NEW BEST:: SOT 90148 SOS 69896 HAS SOPS 41194 HAS SOUS 9312 HAS SOUPS 8961 WITH SCORE 9030.896
AT ITER 2182 NEW BEST:: SOT 90156 SOS 69854 HAS SOPS 41142 HAS SOUS 9240 HAS SOUPS 8889 WITH SCORE 8958.854
AT ITER 2183 NEW BEST:: SOT 90134 SOS 69832 HAS SOPS 41109 HAS SOUS 9207 HAS SOUPS 8856 WITH SCORE 8925.832
AT ITER 2194 NEW BEST:: SOT 90167 SOS 69861 HAS SOPS 41104 HAS SOUS 9206 HAS SOUPS 8855 WITH SCORE 8924.861
AT ITER 2195 NEW BEST:: SOT 90167 SOS 69861 HAS SOPS 41089 HAS SOUS 9191 HAS SOUPS 8840 WITH SCORE 8909.861
AT ITER 2231 NEW BEST:: SOT 90177 SOS 69871 HAS SOPS 41093 HAS SOUS 9190 HAS SOUPS 8839 WITH SCORE 8908.871
AT ITER 2241 NEW BEST:: SOT 90171 SOS 69865 HAS SOPS 41087 HAS SOUS 9190 HAS SOUPS 8839 WITH SCORE 8908.865
AT ITER 2242 NEW BEST:: SOT 90170 SOS 69863 HAS SOPS 41085 HAS SOUS 9190 HAS SOUPS 8839 WITH SCORE 8908.863
AT ITER 2249 NEW BEST:: SOT 90167 SOS 69859 HAS SOPS 41079 HAS SOUS 9185 HAS SOUPS 8834 WITH SCORE 8903.859
AT ITER 2253 NEW BEST:: SOT 90157 SOS 69859 HAS SOPS 41069 HAS SOUS 9175 HAS SOUPS 8824 WITH SCORE 8893.859
AT ITER 2303 NEW BEST:: SOT 90142 SOS 69844 HAS SOPS 41054 HAS SOUS 9174 HAS SOUPS 8823 WITH SCORE 8892.844
AT ITER 2382 NEW BEST:: SOT 90142 SOS 69824 HAS SOPS 41044 HAS SOUS 9174 HAS SOUPS 8823 WITH SCORE 8892.824
AT ITER 2404 NEW BEST:: SOT 90126 SOS 69788 HAS SOPS 41001 HAS SOUS 9141 HAS SOUPS 8790 WITH SCORE 8859.788
AT ITER 2415 NEW BEST:: SOT 90111 SOS 69773 HAS SOPS 40984 HAS SOUS 9125 HAS SOUPS 8774 WITH SCORE 8843.773
AT ITER 2417 NEW BEST:: SOT 90080 SOS 69728 HAS SOPS 40922 HAS SOUS 9061 HAS SOUPS 8710 WITH SCORE 8779.728
AT ITER 2422 NEW BEST:: SOT 90054 SOS 69702 HAS SOPS 40870 HAS SOUS 9009 HAS SOUPS 8658 WITH SCORE 8727.702
AT ITER 2426 NEW BEST:: SOT 90053 SOS 69700 HAS SOPS 40818 HAS SOUS 8941 HAS SOUPS 8590 WITH SCORE 8659.7
AT ITER 2445 NEW BEST:: SOT 90047 SOS 69669 HAS SOPS 40787 HAS SOUS 8930 HAS SOUPS 8579 WITH SCORE 8648.669
AT ITER 2452 NEW BEST:: SOT 90051 SOS 69669 HAS SOPS 40787 HAS SOUS 8926 HAS SOUPS 8575 WITH SCORE 8644.669
AT ITER 2453 NEW BEST:: SOT 90060 SOS 69645 HAS SOPS 40766 HAS SOUS 8913 HAS SOUPS 8562 WITH SCORE 8631.645
AT ITER 2486 NEW BEST:: SOT 90076 SOS 70160 HAS SOPS 40672 HAS SOUS 8912 HAS SOUPS 8553 WITH SCORE 8623.16
AT ITER 2523 NEW BEST:: SOT 90076 SOS 70155 HAS SOPS 40667 HAS SOUS 8907 HAS SOUPS 8548 WITH SCORE 8618.155
AT ITER 2542 NEW BEST:: SOT 90071 SOS 70170 HAS SOPS 40667 HAS SOUS 8897 HAS SOUPS 8538 WITH SCORE 8608.17
AT ITER 2547 NEW BEST:: SOT 90059 SOS 70165 HAS SOPS 40643 HAS SOUS 8866 HAS SOUPS 8507 WITH SCORE 8577.165
AT ITER 2554 NEW BEST:: SOT 90039 SOS 70145 HAS SOPS 40603 HAS SOUS 8826 HAS SOUPS 8467 WITH SCORE 8537.145
AT ITER 2569 NEW BEST:: SOT 90042 SOS 70141 HAS SOPS 40601 HAS SOUS 8823 HAS SOUPS 8466 WITH SCORE 8536.141
AT ITER 2577 NEW BEST:: SOT 90002 SOS 70090 HAS SOPS 40534 HAS SOUS 8785 HAS SOUPS 8428 WITH SCORE 8498.09
AT ITER 2620 NEW BEST:: SOT 90002 SOS 70165 HAS SOPS 40531 HAS SOUS 8785 HAS SOUPS 8427 WITH SCORE 8497.165
AT ITER 2621 NEW BEST:: SOT 90002 SOS 70145 HAS SOPS 40521 HAS SOUS 8785 HAS SOUPS 8427 WITH SCORE 8497.145
AT ITER 2641 NEW BEST:: SOT 89998 SOS 70131 HAS SOPS 40507 HAS SOUS 8775 HAS SOUPS 8417 WITH SCORE 8487.131
AT ITER 2649 NEW BEST:: SOT 89994 SOS 70127 HAS SOPS 40499 HAS SOUS 8767 HAS SOUPS 8409 WITH SCORE 8479.127
AT ITER 2724 NEW BEST:: SOT 89994 SOS 70125 HAS SOPS 40497 HAS SOUS 8763 HAS SOUPS 8405 WITH SCORE 8475.125
AT ITER 2748 NEW BEST:: SOT 89974 SOS 70092 HAS SOPS 40470 HAS SOUS 8750 HAS SOUPS 8392 WITH SCORE 8462.092
AT ITER 2761 NEW BEST:: SOT 89971 SOS 70086 HAS SOPS 40464 HAS SOUS 8717 HAS SOUPS 8359 WITH SCORE 8429.086
AT ITER 2773 NEW BEST:: SOT 89976 SOS 70077 HAS SOPS 40463 HAS SOUS 8711 HAS SOUPS 8353 WITH SCORE 8423.077
AT ITER 2776 NEW BEST:: SOT 89976 SOS 70068 HAS SOPS 40454 HAS SOUS 8693 HAS SOUPS 8335 WITH SCORE 8405.068
AT ITER 2786 NEW BEST:: SOT 89931 SOS 70026 HAS SOPS 40388 HAS SOUS 8645 HAS SOUPS 8287 WITH SCORE 8357.026
AT ITER 2789 NEW BEST:: SOT 89927 SOS 70009 HAS SOPS 40380 HAS SOUS 8636 HAS SOUPS 8278 WITH SCORE 8348.009
AT ITER 2792 NEW BEST:: SOT 89924 SOS 70006 HAS SOPS 40375 HAS SOUS 8631 HAS SOUPS 8273 WITH SCORE 8343.006
AT ITER 2799 NEW BEST:: SOT 89903 SOS 69946 HAS SOPS 40333 HAS SOUS 8628 HAS SOUPS 8270 WITH SCORE 8339.946
AT ITER 2800 NEW BEST:: SOT 89901 SOS 69944 HAS SOPS 40329 HAS SOUS 8624 HAS SOUPS 8266 WITH SCORE 8335.944
AT ITER 2823 NEW BEST:: SOT 89898 SOS 69935 HAS SOPS 40320 HAS SOUS 8618 HAS SOUPS 8260 WITH SCORE 8329.935
AT ITER 2833 NEW BEST:: SOT 89899 SOS 69942 HAS SOPS 40322 HAS SOUS 8609 HAS SOUPS 8251 WITH SCORE 8320.942
AT ITER 2839 NEW BEST:: SOT 89883 SOS 69922 HAS SOPS 40290 HAS SOUS 8577 HAS SOUPS 8219 WITH SCORE 8288.922
AT ITER 2840 NEW BEST:: SOT 89898 SOS 69669 HAS SOPS 39995 HAS SOUS 8557 HAS SOUPS 8199 WITH SCORE 8268.669
AT ITER 2891 NEW BEST:: SOT 89838 SOS 69609 HAS SOPS 39935 HAS SOUS 8527 HAS SOUPS 8169 WITH SCORE 8238.609
AT ITER 2933 NEW BEST:: SOT 89833 SOS 69604 HAS SOPS 39931 HAS SOUS 8523 HAS SOUPS 8165 WITH SCORE 8234.604
AT ITER 2947 NEW BEST:: SOT 89814 SOS 69568 HAS SOPS 39893 HAS SOUS 8484 HAS SOUPS 8126 WITH SCORE 8195.568
AT ITER 2955 NEW BEST:: SOT 89819 SOS 69572 HAS SOPS 39903 HAS SOUS 8475 HAS SOUPS 8117 WITH SCORE 8186.572
AT ITER 2985 NEW BEST:: SOT 89813 SOS 69566 HAS SOPS 39897 HAS SOUS 8475 HAS SOUPS 8117 WITH SCORE 8186.566
AT ITER 3006 NEW BEST:: SOT 89813 SOS 69566 HAS SOPS 39896 HAS SOUS 8474 HAS SOUPS 8116 WITH SCORE 8185.566
AT ITER 3043 NEW BEST:: SOT 89802 SOS 69552 HAS SOPS 39878 HAS SOUS 8463 HAS SOUPS 8105 WITH SCORE 8174.552
AT ITER 3065 NEW BEST:: SOT 89802 SOS 69542 HAS SOPS 39873 HAS SOUS 8463 HAS SOUPS 8105 WITH SCORE 8174.542
AT ITER 3075 NEW BEST:: SOT 89798 SOS 69530 HAS SOPS 39861 HAS SOUS 8455 HAS SOUPS 8097 WITH SCORE 8166.53
AT ITER 3081 NEW BEST:: SOT 89790 SOS 69505 HAS SOPS 39833 HAS SOUS 8425 HAS SOUPS 8067 WITH SCORE 8136.505
AT ITER 3102 NEW BEST:: SOT 89768 SOS 69486 HAS SOPS 39805 HAS SOUS 8410 HAS SOUPS 8052 WITH SCORE 8121.486
AT ITER 3113 NEW BEST:: SOT 89746 SOS 69464 HAS SOPS 39772 HAS SOUS 8377 HAS SOUPS 8019 WITH SCORE 8088.464
AT ITER 3169 NEW BEST:: SOT 89748 SOS 69463 HAS SOPS 39770 HAS SOUS 8375 HAS SOUPS 8017 WITH SCORE 8086.463
AT ITER 3192 NEW BEST:: SOT 89730 SOS 69462 HAS SOPS 39761 HAS SOUS 8364 HAS SOUPS 8006 WITH SCORE 8075.462
AT ITER 3194 NEW BEST:: SOT 89730 SOS 69461 HAS SOPS 39756 HAS SOUS 8359 HAS SOUPS 8001 WITH SCORE 8070.461
AT ITER 3198 NEW BEST:: SOT 89730 SOS 69460 HAS SOPS 39755 HAS SOUS 8359 HAS SOUPS 8001 WITH SCORE 8070.46
AT ITER 3263 NEW BEST:: SOT 89729 SOS 69457 HAS SOPS 39710 HAS SOUS 8347 HAS SOUPS 7989 WITH SCORE 8058.457
AT ITER 3276 NEW BEST:: SOT 89669 SOS 69397 HAS SOPS 39649 HAS SOUS 8315 HAS SOUPS 7957 WITH SCORE 8026.397
AT ITER 3299 NEW BEST:: SOT 89665 SOS 69381 HAS SOPS 39631 HAS SOUS 8299 HAS SOUPS 7941 WITH SCORE 8010.381
AT ITER 3304 NEW BEST:: SOT 89661 SOS 69375 HAS SOPS 39623 HAS SOUS 8293 HAS SOUPS 7935 WITH SCORE 8004.375
AT ITER 3330 NEW BEST:: SOT 89657 SOS 69367 HAS SOPS 39539 HAS SOUS 8265 HAS SOUPS 7907 WITH SCORE 7976.367
AT ITER 3339 NEW BEST:: SOT 89643 SOS 69330 HAS SOPS 39488 HAS SOUS 8214 HAS SOUPS 7856 WITH SCORE 7925.33
AT ITER 3376 NEW BEST:: SOT 89748 SOS 69438 HAS SOPS 39472 HAS SOUS 8178 HAS SOUPS 7820 WITH SCORE 7889.438
AT ITER 3387 NEW BEST:: SOT 89748 SOS 69446 HAS SOPS 39472 HAS SOUS 8169 HAS SOUPS 7811 WITH SCORE 7880.446
AT ITER 3397 NEW BEST:: SOT 89739 SOS 69415 HAS SOPS 39454 HAS SOUS 8151 HAS SOUPS 7793 WITH SCORE 7862.415
AT ITER 3430 NEW BEST:: SOT 89739 SOS 69414 HAS SOPS 39454 HAS SOUS 8151 HAS SOUPS 7793 WITH SCORE 7862.414
AT ITER 3478 NEW BEST:: SOT 89732 SOS 69404 HAS SOPS 39444 HAS SOUS 8148 HAS SOUPS 7790 WITH SCORE 7859.404
AT ITER 3483 NEW BEST:: SOT 89728 SOS 69400 HAS SOPS 39436 HAS SOUS 8140 HAS SOUPS 7782 WITH SCORE 7851.4
AT ITER 3486 NEW BEST:: SOT 89728 SOS 69403 HAS SOPS 39391 HAS SOUS 8074 HAS SOUPS 7716 WITH SCORE 7785.403
AT ITER 3519 NEW BEST:: SOT 89726 SOS 69399 HAS SOPS 39387 HAS SOUS 8073 HAS SOUPS 7715 WITH SCORE 7784.399
AT ITER 3552 NEW BEST:: SOT 89731 SOS 69397 HAS SOPS 39387 HAS SOUS 8070 HAS SOUPS 7712 WITH SCORE 7781.397
AT ITER 3553 NEW BEST:: SOT 89728 SOS 69407 HAS SOPS 39390 HAS SOUS 8068 HAS SOUPS 7710 WITH SCORE 7779.407
AT ITER 3559 NEW BEST:: SOT 89721 SOS 69400 HAS SOPS 39383 HAS SOUS 8061 HAS SOUPS 7703 WITH SCORE 7772.4
AT ITER 3562 NEW BEST:: SOT 89697 SOS 69376 HAS SOPS 39359 HAS SOUS 8037 HAS SOUPS 7679 WITH SCORE 7748.376
AT ITER 3588 NEW BEST:: SOT 89696 SOS 69376 HAS SOPS 39357 HAS SOUS 8034 HAS SOUPS 7676 WITH SCORE 7745.376
AT ITER 3596 NEW BEST:: SOT 89689 SOS 69352 HAS SOPS 39333 HAS SOUS 8017 HAS SOUPS 7659 WITH SCORE 7728.352
AT ITER 3605 NEW BEST:: SOT 89679 SOS 69342 HAS SOPS 39313 HAS SOUS 8009 HAS SOUPS 7651 WITH SCORE 7720.342
AT ITER 3650 NEW BEST:: SOT 89639 SOS 69307 HAS SOPS 39205 HAS SOUS 7962 HAS SOUPS 7604 WITH SCORE 7673.307
AT ITER 3654 NEW BEST:: SOT 89634 SOS 69302 HAS SOPS 39195 HAS SOUS 7952 HAS SOUPS 7594 WITH SCORE 7663.302
AT ITER 3681 NEW BEST:: SOT 89633 SOS 69314 HAS SOPS 39193 HAS SOUS 7951 HAS SOUPS 7593 WITH SCORE 7662.314
AT ITER 3736 NEW BEST:: SOT 89626 SOS 69309 HAS SOPS 39179 HAS SOUS 7924 HAS SOUPS 7566 WITH SCORE 7635.309
AT ITER 3741 NEW BEST:: SOT 89626 SOS 69309 HAS SOPS 39175 HAS SOUS 7920 HAS SOUPS 7562 WITH SCORE 7631.309
AT ITER 3754 NEW BEST:: SOT 89631 SOS 69298 HAS SOPS 39165 HAS SOUS 7906 HAS SOUPS 7548 WITH SCORE 7617.298
AT ITER 3816 NEW BEST:: SOT 89631 SOS 69181 HAS SOPS 39048 HAS SOUS 7906 HAS SOUPS 7548 WITH SCORE 7617.181
AT ITER 3999 NEW BEST:: SOT 89630 SOS 69179 HAS SOPS 39046 HAS SOUS 7904 HAS SOUPS 7546 WITH SCORE 7615.179
AT ITER 4001 NEW BEST:: SOT 89630 SOS 69158 HAS SOPS 39025 HAS SOUS 7883 HAS SOUPS 7525 WITH SCORE 7594.158
AT ITER 4042 NEW BEST:: SOT 89629 SOS 69158 HAS SOPS 39023 HAS SOUS 7876 HAS SOUPS 7518 WITH SCORE 7587.158
AT ITER 4059 NEW BEST:: SOT 89607 SOS 69114 HAS SOPS 38979 HAS SOUS 7863 HAS SOUPS 7505 WITH SCORE 7574.114
AT ITER 4141 NEW BEST:: SOT 89606 SOS 69111 HAS SOPS 38977 HAS SOUS 7861 HAS SOUPS 7503 WITH SCORE 7572.111
AT ITER 4169 NEW BEST:: SOT 89594 SOS 69075 HAS SOPS 38937 HAS SOUS 7821 HAS SOUPS 7463 WITH SCORE 7532.075
AT ITER 4226 NEW BEST:: SOT 89589 SOS 69069 HAS SOPS 38927 HAS SOUS 7815 HAS SOUPS 7457 WITH SCORE 7526.069
AT ITER 4232 NEW BEST:: SOT 89574 SOS 69041 HAS SOPS 38897 HAS SOUS 7787 HAS SOUPS 7429 WITH SCORE 7498.041
AT ITER 4243 NEW BEST:: SOT 89549 SOS 69019 HAS SOPS 38879 HAS SOUS 7766 HAS SOUPS 7408 WITH SCORE 7477.019
AT ITER 4244 NEW BEST:: SOT 89549 SOS 69016 HAS SOPS 38876 HAS SOUS 7763 HAS SOUPS 7405 WITH SCORE 7474.016
AT ITER 4283 NEW BEST:: SOT 89557 SOS 69010 HAS SOPS 38878 HAS SOUS 7751 HAS SOUPS 7393 WITH SCORE 7462.01
AT ITER 4297 NEW BEST:: SOT 89554 SOS 69012 HAS SOPS 38880 HAS SOUS 7748 HAS SOUPS 7390 WITH SCORE 7459.012
AT ITER 4341 NEW BEST:: SOT 89547 SOS 68998 HAS SOPS 38866 HAS SOUS 7741 HAS SOUPS 7383 WITH SCORE 7451.998
AT ITER 4380 NEW BEST:: SOT 89549 SOS 69002 HAS SOPS 38870 HAS SOUS 7740 HAS SOUPS 7382 WITH SCORE 7451.002
AT ITER 4479 NEW BEST:: SOT 89541 SOS 68984 HAS SOPS 38854 HAS SOUS 7734 HAS SOUPS 7376 WITH SCORE 7444.984
AT ITER 4509 NEW BEST:: SOT 89541 SOS 68983 HAS SOPS 38837 HAS SOUS 7726 HAS SOUPS 7368 WITH SCORE 7436.983
AT ITER 4510 NEW BEST:: SOT 89534 SOS 68962 HAS SOPS 38816 HAS SOUS 7712 HAS SOUPS 7354 WITH SCORE 7422.962
AT ITER 4570 NEW BEST:: SOT 89531 SOS 68959 HAS SOPS 38813 HAS SOUS 7709 HAS SOUPS 7351 WITH SCORE 7419.959
AT ITER 4606 NEW BEST:: SOT 89529 SOS 68951 HAS SOPS 38803 HAS SOUS 7699 HAS SOUPS 7341 WITH SCORE 7409.951
AT ITER 4645 NEW BEST:: SOT 89529 SOS 68950 HAS SOPS 38802 HAS SOUS 7698 HAS SOUPS 7340 WITH SCORE 7408.95
AT ITER 4648 NEW BEST:: SOT 89527 SOS 68948 HAS SOPS 38798 HAS SOUS 7694 HAS SOUPS 7336 WITH SCORE 7404.948
AT ITER 4650 NEW BEST:: SOT 89526 SOS 68947 HAS SOPS 38796 HAS SOUS 7692 HAS SOUPS 7334 WITH SCORE 7402.947
AT ITER 4694 NEW BEST:: SOT 89526 SOS 68946 HAS SOPS 38795 HAS SOUS 7691 HAS SOUPS 7333 WITH SCORE 7401.946
AT ITER 4699 NEW BEST:: SOT 89565 SOS 68982 HAS SOPS 38763 HAS SOUS 7657 HAS SOUPS 7299 WITH SCORE 7367.982
AT ITER 4726 NEW BEST:: SOT 89565 SOS 68982 HAS SOPS 38759 HAS SOUS 7653 HAS SOUPS 7295 WITH SCORE 7363.982
AT ITER 4776 NEW BEST:: SOT 89563 SOS 68979 HAS SOPS 38755 HAS SOUS 7651 HAS SOUPS 7293 WITH SCORE 7361.979
AT ITER 4786 NEW BEST:: SOT 89554 SOS 68972 HAS SOPS 38743 HAS SOUS 7643 HAS SOUPS 7285 WITH SCORE 7353.972
AT ITER 4796 NEW BEST:: SOT 89524 SOS 68944 HAS SOPS 38715 HAS SOUS 7631 HAS SOUPS 7273 WITH SCORE 7341.944
AT ITER 4798 NEW BEST:: SOT 89499 SOS 68876 HAS SOPS 38638 HAS SOUS 7559 HAS SOUPS 7201 WITH SCORE 7269.876
AT ITER 4828 NEW BEST:: SOT 89485 SOS 68854 HAS SOPS 38610 HAS SOUS 7539 HAS SOUPS 7181 WITH SCORE 7249.854
AT ITER 4900 NEW BEST:: SOT 89482 SOS 68851 HAS SOPS 38604 HAS SOUS 7533 HAS SOUPS 7175 WITH SCORE 7243.851
AT ITER 4989 NEW BEST:: SOT 89464 SOS 68821 HAS SOPS 38568 HAS SOUS 7503 HAS SOUPS 7145 WITH SCORE 7213.821
AT ITER 5014 NEW BEST:: SOT 89464 SOS 68818 HAS SOPS 38560 HAS SOUS 7494 HAS SOUPS 7136 WITH SCORE 7204.818
AT ITER 5062 NEW BEST:: SOT 89444 SOS 68798 HAS SOPS 38539 HAS SOUS 7474 HAS SOUPS 7116 WITH SCORE 7184.798
AT ITER 5166 NEW BEST:: SOT 89406 SOS 68749 HAS SOPS 38479 HAS SOUS 7436 HAS SOUPS 7078 WITH SCORE 7146.749
AT ITER 5187 NEW BEST:: SOT 89405 SOS 68748 HAS SOPS 38476 HAS SOUS 7433 HAS SOUPS 7075 WITH SCORE 7143.748
AT ITER 5231 NEW BEST:: SOT 89397 SOS 68739 HAS SOPS 38464 HAS SOUS 7422 HAS SOUPS 7064 WITH SCORE 7132.739
AT ITER 5276 NEW BEST:: SOT 89397 SOS 68740 HAS SOPS 38464 HAS SOUS 7421 HAS SOUPS 7063 WITH SCORE 7131.74
AT ITER 5292 NEW BEST:: SOT 89394 SOS 68734 HAS SOPS 38458 HAS SOUS 7415 HAS SOUPS 7057 WITH SCORE 7125.734
AT ITER 5293 NEW BEST:: SOT 89393 SOS 68731 HAS SOPS 38455 HAS SOUS 7413 HAS SOUPS 7055 WITH SCORE 7123.731
AT ITER 5342 NEW BEST:: SOT 89407 SOS 68721 HAS SOPS 38453 HAS SOUS 7409 HAS SOUPS 7051 WITH SCORE 7119.721
AT ITER 5361 NEW BEST:: SOT 89383 SOS 68651 HAS SOPS 38405 HAS SOUS 7407 HAS SOUPS 7049 WITH SCORE 7117.651
AT ITER 5385 NEW BEST:: SOT 89378 SOS 68646 HAS SOPS 38395 HAS SOUS 7394 HAS SOUPS 7036 WITH SCORE 7104.646
AT ITER 5413 NEW BEST:: SOT 89372 SOS 68642 HAS SOPS 38388 HAS SOUS 7387 HAS SOUPS 7029 WITH SCORE 7097.642
AT ITER 5417 NEW BEST:: SOT 89355 SOS 68608 HAS SOPS 38354 HAS SOUS 7351 HAS SOUPS 6993 WITH SCORE 7061.608
AT ITER 5482 NEW BEST:: SOT 89398 SOS 68657 HAS SOPS 38365 HAS SOUS 7339 HAS SOUPS 6981 WITH SCORE 7049.657
AT ITER 5497 NEW BEST:: SOT 89386 SOS 68640 HAS SOPS 38341 HAS SOUS 7317 HAS SOUPS 6959 WITH SCORE 7027.64
AT ITER 5506 NEW BEST:: SOT 89379 SOS 68632 HAS SOPS 38332 HAS SOUS 7308 HAS SOUPS 6950 WITH SCORE 7018.632
AT ITER 5527 NEW BEST:: SOT 89372 SOS 68632 HAS SOPS 38325 HAS SOUS 7301 HAS SOUPS 6943 WITH SCORE 7011.632
AT ITER 5544 NEW BEST:: SOT 89452 SOS 68712 HAS SOPS 38257 HAS SOUS 7295 HAS SOUPS 6937 WITH SCORE 7005.712
AT ITER 5583 NEW BEST:: SOT 89455 SOS 68723 HAS SOPS 38263 HAS SOUS 7293 HAS SOUPS 6935 WITH SCORE 7003.723
AT ITER 5614 NEW BEST:: SOT 89447 SOS 68715 HAS SOPS 38247 HAS SOUS 7277 HAS SOUPS 6919 WITH SCORE 6987.715
AT ITER 5626 NEW BEST:: SOT 89446 SOS 68724 HAS SOPS 38245 HAS SOUS 7263 HAS SOUPS 6905 WITH SCORE 6973.724
AT ITER 5680 NEW BEST:: SOT 89438 SOS 68708 HAS SOPS 38229 HAS SOUS 7255 HAS SOUPS 6897 WITH SCORE 6965.708
AT ITER 5725 NEW BEST:: SOT 89434 SOS 68716 HAS SOPS 38239 HAS SOUS 7253 HAS SOUPS 6895 WITH SCORE 6963.716
AT ITER 5762 NEW BEST:: SOT 89432 SOS 68713 HAS SOPS 38235 HAS SOUS 7251 HAS SOUPS 6893 WITH SCORE 6961.713
AT ITER 5763 NEW BEST:: SOT 89432 SOS 68710 HAS SOPS 38232 HAS SOUS 7248 HAS SOUPS 6890 WITH SCORE 6958.71
AT ITER 5873 NEW BEST:: SOT 89434 SOS 68712 HAS SOPS 38186 HAS SOUS 7246 HAS SOUPS 6888 WITH SCORE 6956.712
AT ITER 5890 NEW BEST:: SOT 89433 SOS 68710 HAS SOPS 38184 HAS SOUS 7244 HAS SOUPS 6886 WITH SCORE 6954.71
AT ITER 5900 NEW BEST:: SOT 89427 SOS 68692 HAS SOPS 38166 HAS SOUS 7232 HAS SOUPS 6874 WITH SCORE 6942.692
AT ITER 5901 NEW BEST:: SOT 89419 SOS 68672 HAS SOPS 38150 HAS SOUS 7216 HAS SOUPS 6858 WITH SCORE 6926.672
AT ITER 5979 NEW BEST:: SOT 89418 SOS 68646 HAS SOPS 38135 HAS SOUS 7213 HAS SOUPS 6855 WITH SCORE 6923.646
AT ITER 5989 NEW BEST:: SOT 89409 SOS 68637 HAS SOPS 38117 HAS SOUS 7195 HAS SOUPS 6837 WITH SCORE 6905.637
AT ITER 6029 NEW BEST:: SOT 89407 SOS 68634 HAS SOPS 38113 HAS SOUS 7191 HAS SOUPS 6833 WITH SCORE 6901.634
AT ITER 6034 NEW BEST:: SOT 89404 SOS 68638 HAS SOPS 38107 HAS SOUS 7185 HAS SOUPS 6827 WITH SCORE 6895.638
AT ITER 6040 NEW BEST:: SOT 89400 SOS 68634 HAS SOPS 38103 HAS SOUS 7183 HAS SOUPS 6825 WITH SCORE 6893.634
AT ITER 6052 NEW BEST:: SOT 89400 SOS 68634 HAS SOPS 38103 HAS SOUS 7179 HAS SOUPS 6821 WITH SCORE 6889.634
AT ITER 6068 NEW BEST:: SOT 89400 SOS 68619 HAS SOPS 38088 HAS SOUS 7179 HAS SOUPS 6821 WITH SCORE 6889.619
AT ITER 6104 NEW BEST:: SOT 89395 SOS 68614 HAS SOPS 38078 HAS SOUS 7169 HAS SOUPS 6811 WITH SCORE 6879.614
AT ITER 6132 NEW BEST:: SOT 89394 SOS 68613 HAS SOPS 38077 HAS SOUS 7168 HAS SOUPS 6810 WITH SCORE 6878.613
AT ITER 6145 NEW BEST:: SOT 89393 SOS 68612 HAS SOPS 38075 HAS SOUS 7166 HAS SOUPS 6808 WITH SCORE 6876.612
AT ITER 6189 NEW BEST:: SOT 89392 SOS 68610 HAS SOPS 38073 HAS SOUS 7164 HAS SOUPS 6806 WITH SCORE 6874.61
AT ITER 6231 NEW BEST:: SOT 89403 SOS 68586 HAS SOPS 38066 HAS SOUS 7163 HAS SOUPS 6805 WITH SCORE 6873.586
AT ITER 6238 NEW BEST:: SOT 89392 SOS 68602 HAS SOPS 38068 HAS SOUS 7162 HAS SOUPS 6804 WITH SCORE 6872.602
AT ITER 6289 NEW BEST:: SOT 89379 SOS 68602 HAS SOPS 38055 HAS SOUS 7149 HAS SOUPS 6791 WITH SCORE 6859.602
AT ITER 6291 NEW BEST:: SOT 89376 SOS 68594 HAS SOPS 38044 HAS SOUS 7138 HAS SOUPS 6780 WITH SCORE 6848.594
AT ITER 6349 NEW BEST:: SOT 89384 SOS 68583 HAS SOPS 38041 HAS SOUS 7130 HAS SOUPS 6772 WITH SCORE 6840.583
AT ITER 6388 NEW BEST:: SOT 89374 SOS 68579 HAS SOPS 38032 HAS SOUS 7121 HAS SOUPS 6763 WITH SCORE 6831.579
AT ITER 6411 NEW BEST:: SOT 89361 SOS 68570 HAS SOPS 38014 HAS SOUS 7109 HAS SOUPS 6751 WITH SCORE 6819.57
AT ITER 6422 NEW BEST:: SOT 89360 SOS 68568 HAS SOPS 38012 HAS SOUS 7108 HAS SOUPS 6750 WITH SCORE 6818.568
AT ITER 6466 NEW BEST:: SOT 89352 SOS 68552 HAS SOPS 37996 HAS SOUS 7100 HAS SOUPS 6742 WITH SCORE 6810.552
AT ITER 6655 NEW BEST:: SOT 89312 SOS 68477 HAS SOPS 37957 HAS SOUS 7061 HAS SOUPS 6703 WITH SCORE 6771.477
AT ITER 6659 NEW BEST:: SOT 89320 SOS 68473 HAS SOPS 37954 HAS SOUS 7058 HAS SOUPS 6700 WITH SCORE 6768.473
AT ITER 6692 NEW BEST:: SOT 89317 SOS 68467 HAS SOPS 37948 HAS SOUS 7055 HAS SOUPS 6697 WITH SCORE 6765.467
AT ITER 6720 NEW BEST:: SOT 89317 SOS 68466 HAS SOPS 37947 HAS SOUS 7053 HAS SOUPS 6695 WITH SCORE 6763.466
AT ITER 6752 NEW BEST:: SOT 89321 SOS 68469 HAS SOPS 37950 HAS SOUS 7051 HAS SOUPS 6693 WITH SCORE 6761.469
AT ITER 6794 NEW BEST:: SOT 89312 SOS 68451 HAS SOPS 37929 HAS SOUS 7033 HAS SOUPS 6675 WITH SCORE 6743.451
AT ITER 6830 NEW BEST:: SOT 89398 SOS 68531 HAS SOPS 37981 HAS SOUS 7031 HAS SOUPS 6673 WITH SCORE 6741.531
AT ITER 6951 NEW BEST:: SOT 89394 SOS 68511 HAS SOPS 37965 HAS SOUS 7023 HAS SOUPS 6665 WITH SCORE 6733.511
AT ITER 7017 NEW BEST:: SOT 89391 SOS 68507 HAS SOPS 37961 HAS SOUS 7019 HAS SOUPS 6661 WITH SCORE 6729.507
AT ITER 7019 NEW BEST:: SOT 89389 SOS 68507 HAS SOPS 37957 HAS SOUS 7015 HAS SOUPS 6657 WITH SCORE 6725.507
AT ITER 7086 NEW BEST:: SOT 89389 SOS 68506 HAS SOPS 37956 HAS SOUS 7014 HAS SOUPS 6656 WITH SCORE 6724.506
AT ITER 7105 NEW BEST:: SOT 89373 SOS 68504 HAS SOPS 37943 HAS SOUS 7001 HAS SOUPS 6643 WITH SCORE 6711.504
AT ITER 7143 NEW BEST:: SOT 89373 SOS 68500 HAS SOPS 37939 HAS SOUS 6997 HAS SOUPS 6639 WITH SCORE 6707.5
AT ITER 7177 NEW BEST:: SOT 89368 SOS 68483 HAS SOPS 37917 HAS SOUS 6975 HAS SOUPS 6617 WITH SCORE 6685.483
AT ITER 7199 NEW BEST:: SOT 89378 SOS 68493 HAS SOPS 37881 HAS SOUS 6973 HAS SOUPS 6615 WITH SCORE 6683.493
AT ITER 7257 NEW BEST:: SOT 89375 SOS 68499 HAS SOPS 37880 HAS SOUS 6969 HAS SOUPS 6611 WITH SCORE 6679.499
AT ITER 7433 NEW BEST:: SOT 89376 SOS 68503 HAS SOPS 37882 HAS SOUS 6968 HAS SOUPS 6610 WITH SCORE 6678.503
AT ITER 7456 NEW BEST:: SOT 89374 SOS 68499 HAS SOPS 37878 HAS SOUS 6964 HAS SOUPS 6606 WITH SCORE 6674.499
AT ITER 7495 NEW BEST:: SOT 89370 SOS 68492 HAS SOPS 37870 HAS SOUS 6956 HAS SOUPS 6598 WITH SCORE 6666.492
AT ITER 7526 NEW BEST:: SOT 89369 SOS 68491 HAS SOPS 37869 HAS SOUS 6956 HAS SOUPS 6598 WITH SCORE 6666.491
AT ITER 7532 NEW BEST:: SOT 89364 SOS 68486 HAS SOPS 37859 HAS SOUS 6946 HAS SOUPS 6588 WITH SCORE 6656.486
AT ITER 7542 NEW BEST:: SOT 89362 SOS 68482 HAS SOPS 37855 HAS SOUS 6944 HAS SOUPS 6586 WITH SCORE 6654.482
AT ITER 7603 NEW BEST:: SOT 89361 SOS 68476 HAS SOPS 37850 HAS SOUS 6941 HAS SOUPS 6583 WITH SCORE 6651.476
AT ITER 7677 NEW BEST:: SOT 89362 SOS 68475 HAS SOPS 37850 HAS SOUS 6941 HAS SOUPS 6583 WITH SCORE 6651.475
AT ITER 7743 NEW BEST:: SOT 89360 SOS 68473 HAS SOPS 37846 HAS SOUS 6937 HAS SOUPS 6579 WITH SCORE 6647.473
AT ITER 7746 NEW BEST:: SOT 89358 SOS 68469 HAS SOPS 37842 HAS SOUS 6934 HAS SOUPS 6576 WITH SCORE 6644.469
AT ITER 7757 NEW BEST:: SOT 89316 SOS 68428 HAS SOPS 37801 HAS SOUS 6914 HAS SOUPS 6556 WITH SCORE 6624.428
AT ITER 7774 NEW BEST:: SOT 89316 SOS 68419 HAS SOPS 37794 HAS SOUS 6909 HAS SOUPS 6551 WITH SCORE 6619.419
AT ITER 7823 NEW BEST:: SOT 89308 SOS 68419 HAS SOPS 37786 HAS SOUS 6901 HAS SOUPS 6543 WITH SCORE 6611.419
AT ITER 7840 NEW BEST:: SOT 89312 SOS 68413 HAS SOPS 37784 HAS SOUS 6899 HAS SOUPS 6541 WITH SCORE 6609.413
AT ITER 7854 NEW BEST:: SOT 89312 SOS 68407 HAS SOPS 37781 HAS SOUS 6896 HAS SOUPS 6538 WITH SCORE 6606.407
AT ITER 7965 NEW BEST:: SOT 89309 SOS 68400 HAS SOPS 37775 HAS SOUS 6893 HAS SOUPS 6535 WITH SCORE 6603.4
AT ITER 8233 NEW BEST:: SOT 89307 SOS 68400 HAS SOPS 37773 HAS SOUS 6891 HAS SOUPS 6533 WITH SCORE 6601.4
AT ITER 8280 NEW BEST:: SOT 89301 SOS 68401 HAS SOPS 37768 HAS SOUS 6889 HAS SOUPS 6528 WITH SCORE 6596.401
AT ITER 8416 NEW BEST:: SOT 89299 SOS 68396 HAS SOPS 37756 HAS SOUS 6880 HAS SOUPS 6519 WITH SCORE 6587.396
AT ITER 8562 NEW BEST:: SOT 89295 SOS 69852 HAS SOPS 37585 HAS SOUS 6874 HAS SOUPS 6509 WITH SCORE 6578.852
AT ITER 8578 NEW BEST:: SOT 89294 SOS 69850 HAS SOPS 37583 HAS SOUS 6872 HAS SOUPS 6507 WITH SCORE 6576.85
AT ITER 8629 NEW BEST:: SOT 89283 SOS 69822 HAS SOPS 37561 HAS SOUS 6863 HAS SOUPS 6498 WITH SCORE 6567.822
AT ITER 8814 NEW BEST:: SOT 89273 SOS 69816 HAS SOPS 37551 HAS SOUS 6862 HAS SOUPS 6497 WITH SCORE 6566.816
AT ITER 8869 NEW BEST:: SOT 89272 SOS 69813 HAS SOPS 37546 HAS SOUS 6857 HAS SOUPS 6492 WITH SCORE 6561.813
AT ITER 9003 NEW BEST:: SOT 89274 SOS 69812 HAS SOPS 37547 HAS SOUS 6855 HAS SOUPS 6490 WITH SCORE 6559.812
AT ITER 9173 NEW BEST:: SOT 89274 SOS 69812 HAS SOPS 37543 HAS SOUS 6851 HAS SOUPS 6486 WITH SCORE 6555.812
AT ITER 9282 NEW BEST:: SOT 89273 SOS 69810 HAS SOPS 37541 HAS SOUS 6848 HAS SOUPS 6483 WITH SCORE 6552.81
AT ITER 9289 NEW BEST:: SOT 89274 SOS 69818 HAS SOPS 37543 HAS SOUS 6843 HAS SOUPS 6478 WITH SCORE 6547.818
AT ITER 9388 NEW BEST:: SOT 89274 SOS 69818 HAS SOPS 37543 HAS SOUS 6842 HAS SOUPS 6477 WITH SCORE 6546.818
AT ITER 9412 NEW BEST:: SOT 89273 SOS 69817 HAS SOPS 37541 HAS SOUS 6840 HAS SOUPS 6475 WITH SCORE 6544.817
AT ITER 9416 NEW BEST:: SOT 89271 SOS 69814 HAS SOPS 37537 HAS SOUS 6836 HAS SOUPS 6471 WITH SCORE 6540.814
AT ITER 9476 NEW BEST:: SOT 89270 SOS 69813 HAS SOPS 37535 HAS SOUS 6834 HAS SOUPS 6469 WITH SCORE 6538.813
AT ITER 9551 NEW BEST:: SOT 89269 SOS 69813 HAS SOPS 37534 HAS SOUS 6833 HAS SOUPS 6468 WITH SCORE 6537.813
AT ITER 9611 NEW BEST:: SOT 89263 SOS 69804 HAS SOPS 37522 HAS SOUS 6827 HAS SOUPS 6462 WITH SCORE 6531.804
AT ITER 9838 NEW BEST:: SOT 89257 SOS 69800 HAS SOPS 37515 HAS SOUS 6820 HAS SOUPS 6455 WITH SCORE 6524.8
STATE_SPACE STATES 184884258895036417 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 18 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 4783880198909067265 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589435558795

--------------------
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-16a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-16a, 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 r078-smll-158922972500360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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