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.r067-smll-167814394400080.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 CSRepetitions-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r067-smll-167814394400080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 85K Feb 25 11:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 354K Feb 25 11:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 76K Feb 25 11:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 336K Feb 25 11:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 29K Feb 25 15:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 25 15:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 28K Feb 25 15:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 25 15:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 91K Feb 25 12:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 385K Feb 25 12:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 301K Feb 25 12:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.3M Feb 25 12:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 15:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 20K Feb 25 15:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 162K 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 1678237007659

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=CSRepetitions-PT-05
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CSRepetitions (PT), instance 05
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: 206 places, 325 transitions, 1175 arcs.
AT ITER 0 NEW BEST:: SOT 52053 SOS 47735 HAS SOPS 47159 HAS SOUS 42719 HAS SOUPS 42143 WITH SCORE 42190.735
AT ITER 1 NEW BEST:: SOT 52122 SOS 47666 HAS SOPS 47021 HAS SOUS 42374 HAS SOUPS 41729 WITH SCORE 41776.666
AT ITER 5 NEW BEST:: SOT 52146 SOS 47500 HAS SOPS 46760 HAS SOUS 41923 HAS SOUPS 41183 WITH SCORE 41230.5
AT ITER 9 NEW BEST:: SOT 52144 SOS 47378 HAS SOPS 46662 HAS SOUS 41631 HAS SOUPS 40915 WITH SCORE 40962.378
AT ITER 10 NEW BEST:: SOT 52101 SOS 47335 HAS SOPS 46619 HAS SOUS 41588 HAS SOUPS 40872 WITH SCORE 40919.335
AT ITER 12 NEW BEST:: SOT 52100 SOS 47214 HAS SOPS 46522 HAS SOUS 41298 HAS SOUPS 40606 WITH SCORE 40653.214
AT ITER 15 NEW BEST:: SOT 52029 SOS 47143 HAS SOPS 46451 HAS SOUS 41229 HAS SOUPS 40537 WITH SCORE 40584.143
AT ITER 16 NEW BEST:: SOT 52040 SOS 47068 HAS SOPS 46333 HAS SOUS 40982 HAS SOUPS 40247 WITH SCORE 40294.068
AT ITER 18 NEW BEST:: SOT 52059 SOS 46967 HAS SOPS 46256 HAS SOUS 40715 HAS SOUPS 40004 WITH SCORE 40050.967
AT ITER 21 NEW BEST:: SOT 52177 SOS 46898 HAS SOPS 46069 HAS SOUS 40206 HAS SOUPS 39377 WITH SCORE 39423.898
AT ITER 23 NEW BEST:: SOT 52177 SOS 46867 HAS SOPS 46011 HAS SOUS 40170 HAS SOUPS 39314 WITH SCORE 39360.867
AT ITER 25 NEW BEST:: SOT 52174 SOS 46744 HAS SOPS 45912 HAS SOUS 39876 HAS SOUPS 39044 WITH SCORE 39090.744
AT ITER 28 NEW BEST:: SOT 52197 SOS 46767 HAS SOPS 45935 HAS SOUS 39874 HAS SOUPS 39042 WITH SCORE 39088.767
AT ITER 30 NEW BEST:: SOT 52173 SOS 46743 HAS SOPS 45935 HAS SOUS 39850 HAS SOUPS 39042 WITH SCORE 39088.743
AT ITER 31 NEW BEST:: SOT 52189 SOS 46555 HAS SOPS 45645 HAS SOUS 39356 HAS SOUPS 38446 WITH SCORE 38492.555
AT ITER 32 NEW BEST:: SOT 52112 SOS 46478 HAS SOPS 45568 HAS SOUS 39279 HAS SOUPS 38369 WITH SCORE 38415.478
AT ITER 34 NEW BEST:: SOT 52070 SOS 46328 HAS SOPS 45442 HAS SOUS 38961 HAS SOUPS 38075 WITH SCORE 38121.328
AT ITER 37 NEW BEST:: SOT 52102 SOS 46162 HAS SOPS 45177 HAS SOUS 38642 HAS SOUPS 37657 WITH SCORE 37703.162
AT ITER 42 NEW BEST:: SOT 52062 SOS 46018 HAS SOPS 45057 HAS SOUS 38338 HAS SOUPS 37377 WITH SCORE 37423.018
AT ITER 47 NEW BEST:: SOT 52084 SOS 45660 HAS SOPS 44692 HAS SOUS 37494 HAS SOUPS 36526 WITH SCORE 36571.66
AT ITER 48 NEW BEST:: SOT 52084 SOS 45653 HAS SOPS 44692 HAS SOUS 37487 HAS SOUPS 36526 WITH SCORE 36571.653
AT ITER 50 NEW BEST:: SOT 52115 SOS 45564 HAS SOPS 44627 HAS SOUS 37257 HAS SOUPS 36320 WITH SCORE 36365.564
AT ITER 51 NEW BEST:: SOT 45859 SOS 39569 HAS SOPS 38719 HAS SOUS 31133 HAS SOUPS 30283 WITH SCORE 30322.569
AT ITER 52 NEW BEST:: SOT 45911 SOS 39453 HAS SOPS 38519 HAS SOUS 30697 HAS SOUPS 29763 WITH SCORE 29802.453
AT ITER 56 NEW BEST:: SOT 45831 SOS 39373 HAS SOPS 38439 HAS SOUS 30617 HAS SOUPS 29683 WITH SCORE 29722.373
AT ITER 58 NEW BEST:: SOT 45977 SOS 39381 HAS SOPS 38514 HAS SOUS 30467 HAS SOUPS 29600 WITH SCORE 29639.381
AT ITER 63 NEW BEST:: SOT 46091 SOS 37364 HAS SOPS 36497 HAS SOUS 27900 HAS SOUPS 27033 WITH SCORE 27070.364
AT ITER 66 NEW BEST:: SOT 46070 SOS 37343 HAS SOPS 36476 HAS SOUS 27858 HAS SOUPS 26991 WITH SCORE 27028.343
AT ITER 68 NEW BEST:: SOT 46089 SOS 37117 HAS SOPS 36197 HAS SOUS 27510 HAS SOUPS 26590 WITH SCORE 26627.117
AT ITER 69 NEW BEST:: SOT 46066 SOS 37094 HAS SOPS 36174 HAS SOUS 27487 HAS SOUPS 26567 WITH SCORE 26604.094
AT ITER 72 NEW BEST:: SOT 46048 SOS 37022 HAS SOPS 36084 HAS SOUS 27379 HAS SOUPS 26441 WITH SCORE 26478.022
AT ITER 74 NEW BEST:: SOT 46065 SOS 36830 HAS SOPS 35957 HAS SOUS 27147 HAS SOUPS 26274 WITH SCORE 26310.83
AT ITER 75 NEW BEST:: SOT 48748 SOS 37247 HAS SOPS 36374 HAS SOUS 26819 HAS SOUPS 25946 WITH SCORE 25983.247
AT ITER 76 NEW BEST:: SOT 48719 SOS 37218 HAS SOPS 36345 HAS SOUS 26793 HAS SOUPS 25920 WITH SCORE 25957.218
AT ITER 82 NEW BEST:: SOT 48695 SOS 37194 HAS SOPS 36321 HAS SOUS 26763 HAS SOUPS 25890 WITH SCORE 25927.194
AT ITER 83 NEW BEST:: SOT 50025 SOS 35953 HAS SOPS 35080 HAS SOUS 24960 HAS SOUPS 24087 WITH SCORE 24122.953
AT ITER 84 NEW BEST:: SOT 49995 SOS 35923 HAS SOPS 35050 HAS SOUS 24924 HAS SOUPS 24051 WITH SCORE 24086.923
AT ITER 88 NEW BEST:: SOT 50014 SOS 35864 HAS SOPS 34972 HAS SOUS 24930 HAS SOUPS 24038 WITH SCORE 24073.864
AT ITER 92 NEW BEST:: SOT 50131 SOS 35528 HAS SOPS 34534 HAS SOUS 24929 HAS SOUPS 23935 WITH SCORE 23970.528
AT ITER 95 NEW BEST:: SOT 50121 SOS 35346 HAS SOPS 34352 HAS SOUS 24790 HAS SOUPS 23796 WITH SCORE 23831.346
AT ITER 96 NEW BEST:: SOT 50121 SOS 35316 HAS SOPS 34322 HAS SOUS 24768 HAS SOUPS 23774 WITH SCORE 23809.316
AT ITER 98 NEW BEST:: SOT 50168 SOS 35220 HAS SOPS 34220 HAS SOUS 24727 HAS SOUPS 23727 WITH SCORE 23762.22
AT ITER 103 NEW BEST:: SOT 50168 SOS 35153 HAS SOPS 34153 HAS SOUS 24727 HAS SOUPS 23727 WITH SCORE 23762.153
AT ITER 105 NEW BEST:: SOT 50225 SOS 35052 HAS SOPS 34052 HAS SOUS 24637 HAS SOUPS 23637 WITH SCORE 23672.052
AT ITER 110 NEW BEST:: SOT 50220 SOS 35047 HAS SOPS 34047 HAS SOUS 24637 HAS SOUPS 23637 WITH SCORE 23672.047
AT ITER 111 NEW BEST:: SOT 50085 SOS 34912 HAS SOPS 33912 HAS SOUS 24496 HAS SOUPS 23496 WITH SCORE 23530.912
AT ITER 114 NEW BEST:: SOT 50185 SOS 34680 HAS SOPS 33592 HAS SOUS 24429 HAS SOUPS 23341 WITH SCORE 23375.68
AT ITER 117 NEW BEST:: SOT 50185 SOS 34371 HAS SOPS 33254 HAS SOUS 24207 HAS SOUPS 23090 WITH SCORE 23124.371
AT ITER 118 NEW BEST:: SOT 50221 SOS 34227 HAS SOPS 33074 HAS SOUS 24243 HAS SOUPS 23090 WITH SCORE 23124.227
AT ITER 119 NEW BEST:: SOT 50168 SOS 34174 HAS SOPS 33021 HAS SOUS 24113 HAS SOUPS 22960 WITH SCORE 22994.174
AT ITER 120 NEW BEST:: SOT 50168 SOS 34162 HAS SOPS 33009 HAS SOUS 24113 HAS SOUPS 22960 WITH SCORE 22994.162
AT ITER 124 NEW BEST:: SOT 50168 SOS 34134 HAS SOPS 32981 HAS SOUS 24113 HAS SOUPS 22960 WITH SCORE 22994.134
AT ITER 153 NEW BEST:: SOT 49171 SOS 33991 HAS SOPS 33064 HAS SOUS 23172 HAS SOUPS 22245 WITH SCORE 22278.991
AT ITER 155 NEW BEST:: SOT 49171 SOS 33991 HAS SOPS 33064 HAS SOUS 23170 HAS SOUPS 22243 WITH SCORE 22276.991
AT ITER 158 NEW BEST:: SOT 49139 SOS 33959 HAS SOPS 33032 HAS SOUS 23132 HAS SOUPS 22205 WITH SCORE 22238.959
AT ITER 165 NEW BEST:: SOT 47490 SOS 32361 HAS SOPS 31434 HAS SOUS 21784 HAS SOUPS 20857 WITH SCORE 20889.361
AT ITER 166 NEW BEST:: SOT 47490 SOS 32204 HAS SOPS 31301 HAS SOUS 21759 HAS SOUPS 20856 WITH SCORE 20888.204
AT ITER 167 NEW BEST:: SOT 47440 SOS 32133 HAS SOPS 31230 HAS SOUS 21659 HAS SOUPS 20756 WITH SCORE 20788.133
AT ITER 176 NEW BEST:: SOT 47446 SOS 32075 HAS SOPS 31156 HAS SOUS 21618 HAS SOUPS 20699 WITH SCORE 20731.075
AT ITER 182 NEW BEST:: SOT 47319 SOS 31770 HAS SOPS 30882 HAS SOUS 21492 HAS SOUPS 20604 WITH SCORE 20635.77
AT ITER 184 NEW BEST:: SOT 47319 SOS 31634 HAS SOPS 30715 HAS SOUS 21357 HAS SOUPS 20438 WITH SCORE 20469.634
AT ITER 185 NEW BEST:: SOT 47301 SOS 31580 HAS SOPS 30661 HAS SOUS 21312 HAS SOUPS 20393 WITH SCORE 20424.58
AT ITER 189 NEW BEST:: SOT 47301 SOS 31570 HAS SOPS 30651 HAS SOUS 21312 HAS SOUPS 20393 WITH SCORE 20424.57
AT ITER 190 NEW BEST:: SOT 47217 SOS 31655 HAS SOPS 30776 HAS SOUS 21236 HAS SOUPS 20357 WITH SCORE 20388.655
AT ITER 193 NEW BEST:: SOT 47217 SOS 31657 HAS SOPS 30778 HAS SOUS 21232 HAS SOUPS 20353 WITH SCORE 20384.657
AT ITER 195 NEW BEST:: SOT 47179 SOS 31619 HAS SOPS 30740 HAS SOUS 21158 HAS SOUPS 20279 WITH SCORE 20310.619
AT ITER 196 NEW BEST:: SOT 47109 SOS 31549 HAS SOPS 30670 HAS SOUS 21128 HAS SOUPS 20249 WITH SCORE 20280.549
AT ITER 197 NEW BEST:: SOT 47086 SOS 31533 HAS SOPS 30654 HAS SOUS 21112 HAS SOUPS 20233 WITH SCORE 20264.533
AT ITER 199 NEW BEST:: SOT 47116 SOS 31552 HAS SOPS 30619 HAS SOUS 21142 HAS SOUPS 20209 WITH SCORE 20240.552
AT ITER 205 NEW BEST:: SOT 46976 SOS 31294 HAS SOPS 30361 HAS SOUS 20866 HAS SOUPS 19933 WITH SCORE 19964.294
AT ITER 207 NEW BEST:: SOT 46671 SOS 31021 HAS SOPS 30088 HAS SOUS 20820 HAS SOUPS 19887 WITH SCORE 19918.021
AT ITER 208 NEW BEST:: SOT 46671 SOS 30982 HAS SOPS 30023 HAS SOUS 20794 HAS SOUPS 19835 WITH SCORE 19865.982
AT ITER 213 NEW BEST:: SOT 46580 SOS 30891 HAS SOPS 29932 HAS SOUS 20660 HAS SOUPS 19701 WITH SCORE 19731.891
AT ITER 214 NEW BEST:: SOT 46580 SOS 30843 HAS SOPS 29897 HAS SOUS 20647 HAS SOUPS 19701 WITH SCORE 19731.843
AT ITER 215 NEW BEST:: SOT 46566 SOS 30829 HAS SOPS 29883 HAS SOUS 20639 HAS SOUPS 19693 WITH SCORE 19723.829
AT ITER 217 NEW BEST:: SOT 46512 SOS 30706 HAS SOPS 29760 HAS SOUS 20585 HAS SOUPS 19639 WITH SCORE 19669.706
AT ITER 222 NEW BEST:: SOT 46512 SOS 30706 HAS SOPS 29760 HAS SOUS 20581 HAS SOUPS 19635 WITH SCORE 19665.706
AT ITER 223 NEW BEST:: SOT 46684 SOS 30581 HAS SOPS 29566 HAS SOUS 20646 HAS SOUPS 19631 WITH SCORE 19661.581
AT ITER 224 NEW BEST:: SOT 46914 SOS 28687 HAS SOPS 27672 HAS SOUS 20116 HAS SOUPS 19101 WITH SCORE 19129.687
AT ITER 231 NEW BEST:: SOT 44452 SOS 26937 HAS SOPS 25922 HAS SOUS 19252 HAS SOUPS 18237 WITH SCORE 18263.937
AT ITER 235 NEW BEST:: SOT 44440 SOS 26925 HAS SOPS 25910 HAS SOUS 19240 HAS SOUPS 18225 WITH SCORE 18251.925
AT ITER 236 NEW BEST:: SOT 44392 SOS 26801 HAS SOPS 25786 HAS SOUS 19096 HAS SOUPS 18081 WITH SCORE 18107.801
AT ITER 237 NEW BEST:: SOT 44388 SOS 26798 HAS SOPS 25783 HAS SOUS 19093 HAS SOUPS 18078 WITH SCORE 18104.798
AT ITER 251 NEW BEST:: SOT 44342 SOS 26752 HAS SOPS 25737 HAS SOUS 19047 HAS SOUPS 18032 WITH SCORE 18058.752
AT ITER 253 NEW BEST:: SOT 44342 SOS 26744 HAS SOPS 25729 HAS SOUS 19047 HAS SOUPS 18032 WITH SCORE 18058.744
AT ITER 258 NEW BEST:: SOT 44264 SOS 26666 HAS SOPS 25651 HAS SOUS 18969 HAS SOUPS 17954 WITH SCORE 17980.666
AT ITER 261 NEW BEST:: SOT 44247 SOS 26644 HAS SOPS 25629 HAS SOUS 18926 HAS SOUPS 17911 WITH SCORE 17937.644
AT ITER 266 NEW BEST:: SOT 44239 SOS 26687 HAS SOPS 25655 HAS SOUS 18919 HAS SOUPS 17887 WITH SCORE 17913.687
AT ITER 267 NEW BEST:: SOT 44221 SOS 26678 HAS SOPS 25637 HAS SOUS 18894 HAS SOUPS 17853 WITH SCORE 17879.678
AT ITER 269 NEW BEST:: SOT 44191 SOS 26648 HAS SOPS 25607 HAS SOUS 18848 HAS SOUPS 17807 WITH SCORE 17833.648
AT ITER 281 NEW BEST:: SOT 44173 SOS 26630 HAS SOPS 25589 HAS SOUS 18792 HAS SOUPS 17751 WITH SCORE 17777.63
AT ITER 285 NEW BEST:: SOT 44147 SOS 26604 HAS SOPS 25563 HAS SOUS 18754 HAS SOUPS 17713 WITH SCORE 17739.604
AT ITER 293 NEW BEST:: SOT 44129 SOS 26586 HAS SOPS 25545 HAS SOUS 18736 HAS SOUPS 17695 WITH SCORE 17721.586
AT ITER 295 NEW BEST:: SOT 44110 SOS 26535 HAS SOPS 25494 HAS SOUS 18673 HAS SOUPS 17632 WITH SCORE 17658.535
AT ITER 300 NEW BEST:: SOT 44086 SOS 26511 HAS SOPS 25470 HAS SOUS 18601 HAS SOUPS 17560 WITH SCORE 17586.511
AT ITER 311 NEW BEST:: SOT 44072 SOS 26514 HAS SOPS 25473 HAS SOUS 18559 HAS SOUPS 17518 WITH SCORE 17544.514
AT ITER 312 NEW BEST:: SOT 44137 SOS 26397 HAS SOPS 25304 HAS SOUS 18574 HAS SOUPS 17481 WITH SCORE 17507.397
AT ITER 315 NEW BEST:: SOT 44131 SOS 26355 HAS SOPS 25262 HAS SOUS 18556 HAS SOUPS 17463 WITH SCORE 17489.355
AT ITER 319 NEW BEST:: SOT 44101 SOS 26325 HAS SOPS 25232 HAS SOUS 18526 HAS SOUPS 17433 WITH SCORE 17459.325
AT ITER 324 NEW BEST:: SOT 44040 SOS 26447 HAS SOPS 25331 HAS SOUS 18427 HAS SOUPS 17311 WITH SCORE 17337.447
AT ITER 328 NEW BEST:: SOT 44014 SOS 26395 HAS SOPS 25279 HAS SOUS 18349 HAS SOUPS 17233 WITH SCORE 17259.395
AT ITER 330 NEW BEST:: SOT 43973 SOS 26354 HAS SOPS 25238 HAS SOUS 18286 HAS SOUPS 17170 WITH SCORE 17196.354
AT ITER 339 NEW BEST:: SOT 44555 SOS 26339 HAS SOPS 25223 HAS SOUS 18205 HAS SOUPS 17089 WITH SCORE 17115.339
AT ITER 342 NEW BEST:: SOT 44533 SOS 26317 HAS SOPS 25201 HAS SOUS 18183 HAS SOUPS 17067 WITH SCORE 17093.317
AT ITER 348 NEW BEST:: SOT 44453 SOS 25956 HAS SOPS 24840 HAS SOUS 17888 HAS SOUPS 16772 WITH SCORE 16797.956
AT ITER 357 NEW BEST:: SOT 44583 SOS 26022 HAS SOPS 24906 HAS SOUS 17778 HAS SOUPS 16662 WITH SCORE 16688.022
AT ITER 359 NEW BEST:: SOT 44583 SOS 26022 HAS SOPS 24906 HAS SOUS 17759 HAS SOUPS 16643 WITH SCORE 16669.022
AT ITER 362 NEW BEST:: SOT 44207 SOS 25669 HAS SOPS 24553 HAS SOUS 17399 HAS SOUPS 16283 WITH SCORE 16308.669
AT ITER 364 NEW BEST:: SOT 44155 SOS 25617 HAS SOPS 24501 HAS SOUS 17332 HAS SOUPS 16216 WITH SCORE 16241.617
AT ITER 368 NEW BEST:: SOT 44147 SOS 25561 HAS SOPS 24445 HAS SOUS 17308 HAS SOUPS 16192 WITH SCORE 16217.561
AT ITER 390 NEW BEST:: SOT 44205 SOS 25580 HAS SOPS 24464 HAS SOUS 17184 HAS SOUPS 16068 WITH SCORE 16093.58
AT ITER 391 NEW BEST:: SOT 44169 SOS 25305 HAS SOPS 24212 HAS SOUS 17053 HAS SOUPS 15960 WITH SCORE 15985.305
AT ITER 394 NEW BEST:: SOT 44141 SOS 25249 HAS SOPS 24156 HAS SOUS 16969 HAS SOUPS 15876 WITH SCORE 15901.249
AT ITER 395 NEW BEST:: SOT 44137 SOS 25238 HAS SOPS 24145 HAS SOUS 16961 HAS SOUPS 15868 WITH SCORE 15893.238
AT ITER 396 NEW BEST:: SOT 44113 SOS 25259 HAS SOPS 24176 HAS SOUS 16947 HAS SOUPS 15864 WITH SCORE 15889.259
AT ITER 399 NEW BEST:: SOT 44097 SOS 25243 HAS SOPS 24160 HAS SOUS 16931 HAS SOUPS 15848 WITH SCORE 15873.243
AT ITER 400 NEW BEST:: SOT 44093 SOS 25239 HAS SOPS 24156 HAS SOUS 16923 HAS SOUPS 15840 WITH SCORE 15865.239
AT ITER 404 NEW BEST:: SOT 44093 SOS 25118 HAS SOPS 24059 HAS SOUS 16899 HAS SOUPS 15840 WITH SCORE 15865.118
AT ITER 409 NEW BEST:: SOT 44093 SOS 25118 HAS SOPS 24059 HAS SOUS 16849 HAS SOUPS 15790 WITH SCORE 15815.118
AT ITER 411 NEW BEST:: SOT 44089 SOS 25220 HAS SOPS 24161 HAS SOUS 16837 HAS SOUPS 15778 WITH SCORE 15803.22
AT ITER 413 NEW BEST:: SOT 44124 SOS 25114 HAS SOPS 24032 HAS SOUS 16857 HAS SOUPS 15775 WITH SCORE 15800.114
AT ITER 423 NEW BEST:: SOT 44124 SOS 25090 HAS SOPS 24032 HAS SOUS 16833 HAS SOUPS 15775 WITH SCORE 15800.09
AT ITER 427 NEW BEST:: SOT 44130 SOS 25072 HAS SOPS 24008 HAS SOUS 16827 HAS SOUPS 15763 WITH SCORE 15788.072
AT ITER 429 NEW BEST:: SOT 44126 SOS 25049 HAS SOPS 23985 HAS SOUS 16796 HAS SOUPS 15732 WITH SCORE 15757.049
AT ITER 434 NEW BEST:: SOT 44120 SOS 25043 HAS SOPS 23979 HAS SOUS 16784 HAS SOUPS 15720 WITH SCORE 15745.043
AT ITER 443 NEW BEST:: SOT 44189 SOS 25042 HAS SOPS 23978 HAS SOUS 16711 HAS SOUPS 15647 WITH SCORE 15672.042
AT ITER 447 NEW BEST:: SOT 44186 SOS 25039 HAS SOPS 23975 HAS SOUS 16648 HAS SOUPS 15584 WITH SCORE 15609.039
AT ITER 453 NEW BEST:: SOT 44161 SOS 25014 HAS SOPS 23950 HAS SOUS 16626 HAS SOUPS 15562 WITH SCORE 15587.014
AT ITER 458 NEW BEST:: SOT 44161 SOS 24987 HAS SOPS 23950 HAS SOUS 16599 HAS SOUPS 15562 WITH SCORE 15586.987
AT ITER 459 NEW BEST:: SOT 44110 SOS 24921 HAS SOPS 23884 HAS SOUS 16497 HAS SOUPS 15460 WITH SCORE 15484.921
AT ITER 498 NEW BEST:: SOT 44110 SOS 24874 HAS SOPS 23837 HAS SOUS 16497 HAS SOUPS 15460 WITH SCORE 15484.874
AT ITER 499 NEW BEST:: SOT 44154 SOS 24623 HAS SOPS 23543 HAS SOUS 16498 HAS SOUPS 15418 WITH SCORE 15442.623
AT ITER 521 NEW BEST:: SOT 44120 SOS 24596 HAS SOPS 23516 HAS SOUS 16470 HAS SOUPS 15390 WITH SCORE 15414.596
AT ITER 527 NEW BEST:: SOT 44115 SOS 24591 HAS SOPS 23511 HAS SOUS 16460 HAS SOUPS 15380 WITH SCORE 15404.591
AT ITER 530 NEW BEST:: SOT 44012 SOS 24558 HAS SOPS 23478 HAS SOUS 16233 HAS SOUPS 15153 WITH SCORE 15177.558
AT ITER 534 NEW BEST:: SOT 44012 SOS 24537 HAS SOPS 23462 HAS SOUS 16228 HAS SOUPS 15153 WITH SCORE 15177.537
AT ITER 536 NEW BEST:: SOT 43884 SOS 24415 HAS SOPS 23340 HAS SOUS 16143 HAS SOUPS 15068 WITH SCORE 15092.415
AT ITER 538 NEW BEST:: SOT 43884 SOS 24404 HAS SOPS 23329 HAS SOUS 16127 HAS SOUPS 15052 WITH SCORE 15076.404
AT ITER 552 NEW BEST:: SOT 43836 SOS 24284 HAS SOPS 23209 HAS SOUS 15983 HAS SOUPS 14908 WITH SCORE 14932.284
AT ITER 564 NEW BEST:: SOT 43829 SOS 24277 HAS SOPS 23202 HAS SOUS 15969 HAS SOUPS 14894 WITH SCORE 14918.277
AT ITER 573 NEW BEST:: SOT 43810 SOS 24104 HAS SOPS 23069 HAS SOUS 15872 HAS SOUPS 14837 WITH SCORE 14861.104
AT ITER 576 NEW BEST:: SOT 43861 SOS 23985 HAS SOPS 22905 HAS SOUS 15917 HAS SOUPS 14837 WITH SCORE 14860.985
AT ITER 592 NEW BEST:: SOT 43861 SOS 23985 HAS SOPS 22905 HAS SOUS 15911 HAS SOUPS 14831 WITH SCORE 14854.985
AT ITER 600 NEW BEST:: SOT 43956 SOS 24048 HAS SOPS 22968 HAS SOUS 15907 HAS SOUPS 14827 WITH SCORE 14851.048
AT ITER 601 NEW BEST:: SOT 43935 SOS 24006 HAS SOPS 22926 HAS SOUS 15844 HAS SOUPS 14764 WITH SCORE 14788.006
AT ITER 608 NEW BEST:: SOT 43906 SOS 23963 HAS SOPS 22883 HAS SOUS 15786 HAS SOUPS 14706 WITH SCORE 14729.963
AT ITER 617 NEW BEST:: SOT 43811 SOS 23889 HAS SOPS 22809 HAS SOUS 15722 HAS SOUPS 14642 WITH SCORE 14665.889
AT ITER 622 NEW BEST:: SOT 43799 SOS 23865 HAS SOPS 22785 HAS SOUS 15672 HAS SOUPS 14592 WITH SCORE 14615.865
AT ITER 624 NEW BEST:: SOT 43951 SOS 23984 HAS SOPS 22904 HAS SOUS 15620 HAS SOUPS 14540 WITH SCORE 14563.984
AT ITER 626 NEW BEST:: SOT 43947 SOS 23980 HAS SOPS 22900 HAS SOUS 15616 HAS SOUPS 14536 WITH SCORE 14559.98
AT ITER 644 NEW BEST:: SOT 43915 SOS 23948 HAS SOPS 22868 HAS SOUS 15552 HAS SOUPS 14472 WITH SCORE 14495.948
AT ITER 648 NEW BEST:: SOT 43915 SOS 23883 HAS SOPS 22816 HAS SOUS 15539 HAS SOUPS 14472 WITH SCORE 14495.883
AT ITER 660 NEW BEST:: SOT 43696 SOS 23765 HAS SOPS 22710 HAS SOUS 15466 HAS SOUPS 14411 WITH SCORE 14434.765
AT ITER 668 NEW BEST:: SOT 43696 SOS 23717 HAS SOPS 22662 HAS SOUS 15466 HAS SOUPS 14411 WITH SCORE 14434.717
AT ITER 677 NEW BEST:: SOT 43577 SOS 23971 HAS SOPS 22952 HAS SOUS 15396 HAS SOUPS 14377 WITH SCORE 14400.971
AT ITER 704 NEW BEST:: SOT 43577 SOS 23970 HAS SOPS 22950 HAS SOUS 15396 HAS SOUPS 14376 WITH SCORE 14399.97
AT ITER 707 NEW BEST:: SOT 43566 SOS 23904 HAS SOPS 22884 HAS SOUS 15363 HAS SOUPS 14343 WITH SCORE 14366.904
AT ITER 726 NEW BEST:: SOT 43494 SOS 23944 HAS SOPS 22924 HAS SOUS 15338 HAS SOUPS 14318 WITH SCORE 14341.944
AT ITER 743 NEW BEST:: SOT 43494 SOS 23929 HAS SOPS 22904 HAS SOUS 15333 HAS SOUPS 14308 WITH SCORE 14331.929
AT ITER 745 NEW BEST:: SOT 43501 SOS 23892 HAS SOPS 22850 HAS SOUS 15327 HAS SOUPS 14285 WITH SCORE 14308.892
AT ITER 751 NEW BEST:: SOT 43501 SOS 23874 HAS SOPS 22832 HAS SOUS 15327 HAS SOUPS 14285 WITH SCORE 14308.874
AT ITER 752 NEW BEST:: SOT 43501 SOS 23873 HAS SOPS 22831 HAS SOUS 15327 HAS SOUPS 14285 WITH SCORE 14308.873
AT ITER 754 NEW BEST:: SOT 43501 SOS 23855 HAS SOPS 22816 HAS SOUS 15324 HAS SOUPS 14285 WITH SCORE 14308.855
AT ITER 755 NEW BEST:: SOT 43498 SOS 23977 HAS SOPS 22938 HAS SOUS 15315 HAS SOUPS 14276 WITH SCORE 14299.977
AT ITER 764 NEW BEST:: SOT 43494 SOS 23973 HAS SOPS 22934 HAS SOUS 15303 HAS SOUPS 14264 WITH SCORE 14287.973
AT ITER 765 NEW BEST:: SOT 43424 SOS 23926 HAS SOPS 22887 HAS SOUS 15249 HAS SOUPS 14210 WITH SCORE 14233.926
AT ITER 766 NEW BEST:: SOT 43424 SOS 23914 HAS SOPS 22875 HAS SOUS 15249 HAS SOUPS 14210 WITH SCORE 14233.914
AT ITER 770 NEW BEST:: SOT 43260 SOS 24156 HAS SOPS 23203 HAS SOUS 15104 HAS SOUPS 14151 WITH SCORE 14175.156
AT ITER 781 NEW BEST:: SOT 43260 SOS 24152 HAS SOPS 23199 HAS SOUS 15086 HAS SOUPS 14133 WITH SCORE 14157.152
AT ITER 800 NEW BEST:: SOT 43267 SOS 24152 HAS SOPS 23199 HAS SOUS 15079 HAS SOUPS 14126 WITH SCORE 14150.152
AT ITER 816 NEW BEST:: SOT 43267 SOS 24062 HAS SOPS 23115 HAS SOUS 15073 HAS SOUPS 14126 WITH SCORE 14150.062
AT ITER 823 NEW BEST:: SOT 43263 SOS 24316 HAS SOPS 23342 HAS SOUS 15088 HAS SOUPS 14114 WITH SCORE 14138.316
AT ITER 832 NEW BEST:: SOT 43165 SOS 24237 HAS SOPS 23263 HAS SOUS 15013 HAS SOUPS 14039 WITH SCORE 14063.237
AT ITER 837 NEW BEST:: SOT 43165 SOS 24188 HAS SOPS 23214 HAS SOUS 15013 HAS SOUPS 14039 WITH SCORE 14063.188
AT ITER 849 NEW BEST:: SOT 43165 SOS 24188 HAS SOPS 23214 HAS SOUS 15007 HAS SOUPS 14033 WITH SCORE 14057.188
AT ITER 851 NEW BEST:: SOT 43147 SOS 24161 HAS SOPS 23187 HAS SOUS 14943 HAS SOUPS 13969 WITH SCORE 13993.161
AT ITER 860 NEW BEST:: SOT 43125 SOS 24139 HAS SOPS 23143 HAS SOUS 14899 HAS SOUPS 13903 WITH SCORE 13927.139
AT ITER 867 NEW BEST:: SOT 43125 SOS 24121 HAS SOPS 23125 HAS SOUS 14889 HAS SOUPS 13893 WITH SCORE 13917.121
AT ITER 878 NEW BEST:: SOT 43276 SOS 24055 HAS SOPS 23011 HAS SOUS 14889 HAS SOUPS 13845 WITH SCORE 13869.055
AT ITER 886 NEW BEST:: SOT 43282 SOS 24038 HAS SOPS 22994 HAS SOUS 14889 HAS SOUPS 13845 WITH SCORE 13869.038
AT ITER 907 NEW BEST:: SOT 43282 SOS 24038 HAS SOPS 22994 HAS SOUS 14887 HAS SOUPS 13843 WITH SCORE 13867.038
AT ITER 909 NEW BEST:: SOT 43270 SOS 24019 HAS SOPS 22975 HAS SOUS 14870 HAS SOUPS 13826 WITH SCORE 13850.019
AT ITER 912 NEW BEST:: SOT 43215 SOS 23987 HAS SOPS 22943 HAS SOUS 14848 HAS SOUPS 13804 WITH SCORE 13827.987
AT ITER 914 NEW BEST:: SOT 43069 SOS 24070 HAS SOPS 23078 HAS SOUS 14791 HAS SOUPS 13799 WITH SCORE 13823.07
AT ITER 923 NEW BEST:: SOT 43075 SOS 24058 HAS SOPS 23060 HAS SOUS 14797 HAS SOUPS 13799 WITH SCORE 13823.058
AT ITER 931 NEW BEST:: SOT 43116 SOS 23960 HAS SOPS 22921 HAS SOUS 14838 HAS SOUPS 13799 WITH SCORE 13822.96
AT ITER 945 NEW BEST:: SOT 42812 SOS 23710 HAS SOPS 22671 HAS SOUS 14670 HAS SOUPS 13631 WITH SCORE 13654.71
AT ITER 947 NEW BEST:: SOT 42791 SOS 23694 HAS SOPS 22651 HAS SOUS 14610 HAS SOUPS 13567 WITH SCORE 13590.694
AT ITER 948 NEW BEST:: SOT 42768 SOS 23671 HAS SOPS 22605 HAS SOUS 14564 HAS SOUPS 13498 WITH SCORE 13521.671
AT ITER 950 NEW BEST:: SOT 42768 SOS 23644 HAS SOPS 22578 HAS SOUS 14564 HAS SOUPS 13498 WITH SCORE 13521.644
AT ITER 970 NEW BEST:: SOT 42750 SOS 23632 HAS SOPS 22566 HAS SOUS 14534 HAS SOUPS 13468 WITH SCORE 13491.632
AT ITER 976 NEW BEST:: SOT 42755 SOS 23598 HAS SOPS 22500 HAS SOUS 14533 HAS SOUPS 13435 WITH SCORE 13458.598
AT ITER 989 NEW BEST:: SOT 42727 SOS 23641 HAS SOPS 22543 HAS SOUS 14487 HAS SOUPS 13389 WITH SCORE 13412.641
AT ITER 990 NEW BEST:: SOT 42700 SOS 23623 HAS SOPS 22525 HAS SOUS 14460 HAS SOUPS 13362 WITH SCORE 13385.623
AT ITER 1008 NEW BEST:: SOT 42700 SOS 23622 HAS SOPS 22524 HAS SOUS 14460 HAS SOUPS 13362 WITH SCORE 13385.622
AT ITER 1013 NEW BEST:: SOT 42650 SOS 23586 HAS SOPS 22488 HAS SOUS 14450 HAS SOUPS 13352 WITH SCORE 13375.586
AT ITER 1015 NEW BEST:: SOT 42650 SOS 23574 HAS SOPS 22476 HAS SOUS 14450 HAS SOUPS 13352 WITH SCORE 13375.574
AT ITER 1029 NEW BEST:: SOT 42648 SOS 23572 HAS SOPS 22474 HAS SOUS 14446 HAS SOUPS 13348 WITH SCORE 13371.572
AT ITER 1037 NEW BEST:: SOT 42640 SOS 23564 HAS SOPS 22466 HAS SOUS 14438 HAS SOUPS 13340 WITH SCORE 13363.564
AT ITER 1045 NEW BEST:: SOT 42636 SOS 23514 HAS SOPS 22416 HAS SOUS 14426 HAS SOUPS 13328 WITH SCORE 13351.514
AT ITER 1049 NEW BEST:: SOT 42613 SOS 23473 HAS SOPS 22375 HAS SOUS 14357 HAS SOUPS 13259 WITH SCORE 13282.473
AT ITER 1053 NEW BEST:: SOT 42608 SOS 23468 HAS SOPS 22370 HAS SOUS 14347 HAS SOUPS 13249 WITH SCORE 13272.468
AT ITER 1063 NEW BEST:: SOT 42512 SOS 23484 HAS SOPS 22386 HAS SOUS 14323 HAS SOUPS 13225 WITH SCORE 13248.484
AT ITER 1066 NEW BEST:: SOT 42512 SOS 23477 HAS SOPS 22379 HAS SOUS 14323 HAS SOUPS 13225 WITH SCORE 13248.477
AT ITER 1069 NEW BEST:: SOT 42495 SOS 23460 HAS SOPS 22362 HAS SOUS 14296 HAS SOUPS 13198 WITH SCORE 13221.46
AT ITER 1076 NEW BEST:: SOT 42458 SOS 23386 HAS SOPS 22288 HAS SOUS 14185 HAS SOUPS 13087 WITH SCORE 13110.386
AT ITER 1084 NEW BEST:: SOT 42458 SOS 23380 HAS SOPS 22282 HAS SOUS 14185 HAS SOUPS 13087 WITH SCORE 13110.38
AT ITER 1093 NEW BEST:: SOT 42419 SOS 23341 HAS SOPS 22243 HAS SOUS 14107 HAS SOUPS 13009 WITH SCORE 13032.341
AT ITER 1101 NEW BEST:: SOT 42401 SOS 23326 HAS SOPS 22228 HAS SOUS 14071 HAS SOUPS 12973 WITH SCORE 12996.326
AT ITER 1103 NEW BEST:: SOT 42401 SOS 23326 HAS SOPS 22228 HAS SOUS 14061 HAS SOUPS 12963 WITH SCORE 12986.326
AT ITER 1120 NEW BEST:: SOT 42387 SOS 23312 HAS SOPS 22214 HAS SOUS 14047 HAS SOUPS 12949 WITH SCORE 12972.312
AT ITER 1133 NEW BEST:: SOT 42387 SOS 23295 HAS SOPS 22197 HAS SOUS 14047 HAS SOUPS 12949 WITH SCORE 12972.295
AT ITER 1134 NEW BEST:: SOT 42386 SOS 23298 HAS SOPS 22198 HAS SOUS 14046 HAS SOUPS 12946 WITH SCORE 12969.298
AT ITER 1142 NEW BEST:: SOT 42386 SOS 23277 HAS SOPS 22198 HAS SOUS 14025 HAS SOUPS 12946 WITH SCORE 12969.277
AT ITER 1146 NEW BEST:: SOT 42386 SOS 23268 HAS SOPS 22189 HAS SOUS 14025 HAS SOUPS 12946 WITH SCORE 12969.268
AT ITER 1149 NEW BEST:: SOT 42385 SOS 23267 HAS SOPS 22188 HAS SOUS 14023 HAS SOUPS 12944 WITH SCORE 12967.267
AT ITER 1163 NEW BEST:: SOT 42407 SOS 23266 HAS SOPS 22187 HAS SOUS 13929 HAS SOUPS 12850 WITH SCORE 12873.266
AT ITER 1172 NEW BEST:: SOT 42386 SOS 23245 HAS SOPS 22166 HAS SOUS 13887 HAS SOUPS 12808 WITH SCORE 12831.245
AT ITER 1180 NEW BEST:: SOT 42352 SOS 23211 HAS SOPS 22132 HAS SOUS 13801 HAS SOUPS 12722 WITH SCORE 12745.211
AT ITER 1213 NEW BEST:: SOT 42380 SOS 23103 HAS SOPS 21996 HAS SOUS 13829 HAS SOUPS 12722 WITH SCORE 12745.103
AT ITER 1216 NEW BEST:: SOT 42352 SOS 23074 HAS SOPS 21967 HAS SOUS 13795 HAS SOUPS 12688 WITH SCORE 12711.074
AT ITER 1225 NEW BEST:: SOT 42349 SOS 23071 HAS SOPS 21964 HAS SOUS 13788 HAS SOUPS 12681 WITH SCORE 12704.071
AT ITER 1229 NEW BEST:: SOT 42317 SOS 23037 HAS SOPS 21930 HAS SOUS 13724 HAS SOUPS 12617 WITH SCORE 12640.037
AT ITER 1286 NEW BEST:: SOT 42311 SOS 22983 HAS SOPS 21876 HAS SOUS 13706 HAS SOUPS 12599 WITH SCORE 12621.983
AT ITER 1288 NEW BEST:: SOT 42318 SOS 22987 HAS SOPS 21880 HAS SOUS 13702 HAS SOUPS 12595 WITH SCORE 12617.987
AT ITER 1294 NEW BEST:: SOT 42364 SOS 23030 HAS SOPS 21923 HAS SOUS 13677 HAS SOUPS 12570 WITH SCORE 12593.03
AT ITER 1304 NEW BEST:: SOT 42352 SOS 23100 HAS SOPS 21960 HAS SOUS 13674 HAS SOUPS 12534 WITH SCORE 12557.1
AT ITER 1341 NEW BEST:: SOT 42352 SOS 23070 HAS SOPS 21930 HAS SOUS 13674 HAS SOUPS 12534 WITH SCORE 12557.07
AT ITER 1347 NEW BEST:: SOT 42332 SOS 23046 HAS SOPS 21906 HAS SOUS 13669 HAS SOUPS 12529 WITH SCORE 12552.046
AT ITER 1365 NEW BEST:: SOT 42332 SOS 23043 HAS SOPS 21903 HAS SOUS 13669 HAS SOUPS 12529 WITH SCORE 12552.043
AT ITER 1375 NEW BEST:: SOT 42330 SOS 23144 HAS SOPS 22004 HAS SOUS 13663 HAS SOUPS 12523 WITH SCORE 12546.144
AT ITER 1376 NEW BEST:: SOT 42302 SOS 23116 HAS SOPS 21976 HAS SOUS 13621 HAS SOUPS 12481 WITH SCORE 12504.116
AT ITER 1386 NEW BEST:: SOT 42301 SOS 23150 HAS SOPS 22000 HAS SOUS 13628 HAS SOUPS 12478 WITH SCORE 12501.15
AT ITER 1394 NEW BEST:: SOT 42215 SOS 23435 HAS SOPS 22365 HAS SOUS 13546 HAS SOUPS 12476 WITH SCORE 12499.435
AT ITER 1398 NEW BEST:: SOT 42133 SOS 23475 HAS SOPS 22430 HAS SOUS 13463 HAS SOUPS 12418 WITH SCORE 12441.475
AT ITER 1399 NEW BEST:: SOT 42127 SOS 23479 HAS SOPS 22437 HAS SOUS 13456 HAS SOUPS 12414 WITH SCORE 12437.479
AT ITER 1413 NEW BEST:: SOT 42123 SOS 23475 HAS SOPS 22433 HAS SOUS 13452 HAS SOUPS 12410 WITH SCORE 12433.475
AT ITER 1416 NEW BEST:: SOT 42118 SOS 23412 HAS SOPS 22398 HAS SOUS 13409 HAS SOUPS 12395 WITH SCORE 12418.412
AT ITER 1442 NEW BEST:: SOT 42114 SOS 23415 HAS SOPS 22401 HAS SOUS 13405 HAS SOUPS 12391 WITH SCORE 12414.415
AT ITER 1451 NEW BEST:: SOT 42098 SOS 23491 HAS SOPS 22450 HAS SOUS 13424 HAS SOUPS 12383 WITH SCORE 12406.491
AT ITER 1454 NEW BEST:: SOT 42074 SOS 23467 HAS SOPS 22426 HAS SOUS 13390 HAS SOUPS 12349 WITH SCORE 12372.467
AT ITER 1475 NEW BEST:: SOT 42074 SOS 23464 HAS SOPS 22423 HAS SOUS 13390 HAS SOUPS 12349 WITH SCORE 12372.464
AT ITER 1481 NEW BEST:: SOT 42074 SOS 23507 HAS SOPS 22466 HAS SOUS 13384 HAS SOUPS 12343 WITH SCORE 12366.507
AT ITER 1490 NEW BEST:: SOT 42030 SOS 23531 HAS SOPS 22507 HAS SOUS 13339 HAS SOUPS 12315 WITH SCORE 12338.531
AT ITER 1497 NEW BEST:: SOT 41932 SOS 23617 HAS SOPS 22640 HAS SOUS 13240 HAS SOUPS 12263 WITH SCORE 12286.617
AT ITER 1506 NEW BEST:: SOT 41931 SOS 23620 HAS SOPS 22643 HAS SOUS 13237 HAS SOUPS 12260 WITH SCORE 12283.62
AT ITER 1507 NEW BEST:: SOT 41930 SOS 23655 HAS SOPS 22672 HAS SOUS 13240 HAS SOUPS 12257 WITH SCORE 12280.655
AT ITER 1510 NEW BEST:: SOT 41930 SOS 23643 HAS SOPS 22660 HAS SOUS 13240 HAS SOUPS 12257 WITH SCORE 12280.643
AT ITER 1526 NEW BEST:: SOT 41930 SOS 23615 HAS SOPS 22632 HAS SOUS 13198 HAS SOUPS 12215 WITH SCORE 12238.615
AT ITER 1544 NEW BEST:: SOT 41930 SOS 23597 HAS SOPS 22614 HAS SOUS 13198 HAS SOUPS 12215 WITH SCORE 12238.597
AT ITER 1551 NEW BEST:: SOT 41916 SOS 23602 HAS SOPS 22619 HAS SOUS 13170 HAS SOUPS 12187 WITH SCORE 12210.602
AT ITER 1583 NEW BEST:: SOT 41911 SOS 23592 HAS SOPS 22609 HAS SOUS 13155 HAS SOUPS 12172 WITH SCORE 12195.592
AT ITER 1596 NEW BEST:: SOT 41864 SOS 23570 HAS SOPS 22589 HAS SOUS 13123 HAS SOUPS 12142 WITH SCORE 12165.57
AT ITER 1603 NEW BEST:: SOT 41861 SOS 23564 HAS SOPS 22583 HAS SOUS 13114 HAS SOUPS 12133 WITH SCORE 12156.564
AT ITER 1605 NEW BEST:: SOT 41793 SOS 23576 HAS SOPS 22603 HAS SOUS 13051 HAS SOUPS 12078 WITH SCORE 12101.576
AT ITER 1613 NEW BEST:: SOT 41793 SOS 23570 HAS SOPS 22597 HAS SOUS 13051 HAS SOUPS 12078 WITH SCORE 12101.57
AT ITER 1615 NEW BEST:: SOT 41782 SOS 23766 HAS SOPS 22746 HAS SOUS 13065 HAS SOUPS 12045 WITH SCORE 12068.766
AT ITER 1638 NEW BEST:: SOT 41779 SOS 23760 HAS SOPS 22740 HAS SOUS 13056 HAS SOUPS 12036 WITH SCORE 12059.76
AT ITER 1662 NEW BEST:: SOT 41778 SOS 23765 HAS SOPS 22745 HAS SOUS 13054 HAS SOUPS 12034 WITH SCORE 12057.765
AT ITER 1676 NEW BEST:: SOT 41778 SOS 23716 HAS SOPS 22696 HAS SOUS 13054 HAS SOUPS 12034 WITH SCORE 12057.716
AT ITER 1679 NEW BEST:: SOT 41778 SOS 23709 HAS SOPS 22689 HAS SOUS 13054 HAS SOUPS 12034 WITH SCORE 12057.709
AT ITER 1695 NEW BEST:: SOT 41752 SOS 23698 HAS SOPS 22649 HAS SOUS 13005 HAS SOUPS 11956 WITH SCORE 11979.698
AT ITER 1707 NEW BEST:: SOT 41747 SOS 23693 HAS SOPS 22644 HAS SOUS 12995 HAS SOUPS 11946 WITH SCORE 11969.693
AT ITER 1713 NEW BEST:: SOT 41743 SOS 23685 HAS SOPS 22636 HAS SOUS 12983 HAS SOUPS 11934 WITH SCORE 11957.685
AT ITER 1728 NEW BEST:: SOT 41732 SOS 23676 HAS SOPS 22616 HAS SOUS 12961 HAS SOUPS 11901 WITH SCORE 11924.676
AT ITER 1735 NEW BEST:: SOT 41706 SOS 23624 HAS SOPS 22564 HAS SOUS 12883 HAS SOUPS 11823 WITH SCORE 11846.624
AT ITER 1745 NEW BEST:: SOT 41660 SOS 23578 HAS SOPS 22518 HAS SOUS 12825 HAS SOUPS 11765 WITH SCORE 11788.578
AT ITER 1759 NEW BEST:: SOT 41590 SOS 23639 HAS SOPS 22601 HAS SOUS 12762 HAS SOUPS 11724 WITH SCORE 11747.639
AT ITER 1760 NEW BEST:: SOT 41600 SOS 23636 HAS SOPS 22598 HAS SOUS 12704 HAS SOUPS 11666 WITH SCORE 11689.636
AT ITER 1764 NEW BEST:: SOT 41600 SOS 23620 HAS SOPS 22582 HAS SOUS 12704 HAS SOUPS 11666 WITH SCORE 11689.62
AT ITER 1778 NEW BEST:: SOT 41603 SOS 23620 HAS SOPS 22582 HAS SOUS 12701 HAS SOUPS 11663 WITH SCORE 11686.62
AT ITER 1803 NEW BEST:: SOT 41597 SOS 23614 HAS SOPS 22576 HAS SOUS 12695 HAS SOUPS 11657 WITH SCORE 11680.614
AT ITER 1807 NEW BEST:: SOT 41597 SOS 23604 HAS SOPS 22576 HAS SOUS 12685 HAS SOUPS 11657 WITH SCORE 11680.604
AT ITER 1811 NEW BEST:: SOT 41579 SOS 23645 HAS SOPS 22629 HAS SOUS 12666 HAS SOUPS 11650 WITH SCORE 11673.645
AT ITER 1813 NEW BEST:: SOT 41577 SOS 23643 HAS SOPS 22627 HAS SOUS 12662 HAS SOUPS 11646 WITH SCORE 11669.643
AT ITER 1827 NEW BEST:: SOT 41579 SOS 23642 HAS SOPS 22626 HAS SOUS 12648 HAS SOUPS 11632 WITH SCORE 11655.642
AT ITER 1829 NEW BEST:: SOT 41591 SOS 23648 HAS SOPS 22632 HAS SOUS 12636 HAS SOUPS 11620 WITH SCORE 11643.648
AT ITER 1850 NEW BEST:: SOT 41571 SOS 23628 HAS SOPS 22612 HAS SOUS 12596 HAS SOUPS 11580 WITH SCORE 11603.628
AT ITER 1861 NEW BEST:: SOT 41573 SOS 23620 HAS SOPS 22602 HAS SOUS 12598 HAS SOUPS 11580 WITH SCORE 11603.62
AT ITER 1896 NEW BEST:: SOT 41569 SOS 23616 HAS SOPS 22598 HAS SOUS 12594 HAS SOUPS 11576 WITH SCORE 11599.616
AT ITER 1934 NEW BEST:: SOT 41509 SOS 23793 HAS SOPS 22809 HAS SOUS 12553 HAS SOUPS 11569 WITH SCORE 11592.793
AT ITER 1963 NEW BEST:: SOT 41499 SOS 23702 HAS SOPS 22739 HAS SOUS 12502 HAS SOUPS 11539 WITH SCORE 11562.702
AT ITER 1990 NEW BEST:: SOT 41499 SOS 23701 HAS SOPS 22739 HAS SOUS 12501 HAS SOUPS 11539 WITH SCORE 11562.701
AT ITER 1994 NEW BEST:: SOT 41498 SOS 23697 HAS SOPS 22737 HAS SOUS 12499 HAS SOUPS 11539 WITH SCORE 11562.697
AT ITER 2025 NEW BEST:: SOT 41523 SOS 23621 HAS SOPS 22636 HAS SOUS 12524 HAS SOUPS 11539 WITH SCORE 11562.621
AT ITER 2040 NEW BEST:: SOT 41512 SOS 23610 HAS SOPS 22625 HAS SOUS 12513 HAS SOUPS 11528 WITH SCORE 11551.61
AT ITER 2054 NEW BEST:: SOT 41554 SOS 23643 HAS SOPS 22658 HAS SOUS 12477 HAS SOUPS 11492 WITH SCORE 11515.643
AT ITER 2116 NEW BEST:: SOT 41553 SOS 23634 HAS SOPS 22651 HAS SOUS 12472 HAS SOUPS 11489 WITH SCORE 11512.634
AT ITER 2122 NEW BEST:: SOT 41549 SOS 23630 HAS SOPS 22647 HAS SOUS 12464 HAS SOUPS 11481 WITH SCORE 11504.63
AT ITER 2135 NEW BEST:: SOT 41537 SOS 23622 HAS SOPS 22639 HAS SOUS 12452 HAS SOUPS 11469 WITH SCORE 11492.622
AT ITER 2158 NEW BEST:: SOT 41369 SOS 23475 HAS SOPS 22492 HAS SOUS 12396 HAS SOUPS 11413 WITH SCORE 11436.475
AT ITER 2237 NEW BEST:: SOT 41367 SOS 23473 HAS SOPS 22490 HAS SOUS 12392 HAS SOUPS 11409 WITH SCORE 11432.473
AT ITER 2245 NEW BEST:: SOT 41366 SOS 23465 HAS SOPS 22483 HAS SOUS 12388 HAS SOUPS 11406 WITH SCORE 11429.465
AT ITER 2259 NEW BEST:: SOT 41374 SOS 23466 HAS SOPS 22484 HAS SOUS 12354 HAS SOUPS 11372 WITH SCORE 11395.466
AT ITER 2281 NEW BEST:: SOT 41374 SOS 23456 HAS SOPS 22484 HAS SOUS 12344 HAS SOUPS 11372 WITH SCORE 11395.456
AT ITER 2287 NEW BEST:: SOT 41372 SOS 23454 HAS SOPS 22482 HAS SOUS 12340 HAS SOUPS 11368 WITH SCORE 11391.454
AT ITER 2288 NEW BEST:: SOT 41354 SOS 23436 HAS SOPS 22464 HAS SOUS 12304 HAS SOUPS 11332 WITH SCORE 11355.436
AT ITER 2292 NEW BEST:: SOT 41370 SOS 23372 HAS SOPS 22384 HAS SOUS 12320 HAS SOUPS 11332 WITH SCORE 11355.372
AT ITER 2358 NEW BEST:: SOT 41389 SOS 23341 HAS SOPS 22328 HAS SOUS 12304 HAS SOUPS 11291 WITH SCORE 11314.341
AT ITER 2364 NEW BEST:: SOT 41388 SOS 23339 HAS SOPS 22326 HAS SOUS 12301 HAS SOUPS 11288 WITH SCORE 11311.339
AT ITER 2379 NEW BEST:: SOT 41388 SOS 23327 HAS SOPS 22314 HAS SOUS 12293 HAS SOUPS 11280 WITH SCORE 11303.327
AT ITER 2393 NEW BEST:: SOT 41388 SOS 23321 HAS SOPS 22314 HAS SOUS 12287 HAS SOUPS 11280 WITH SCORE 11303.321
AT ITER 2412 NEW BEST:: SOT 41384 SOS 23317 HAS SOPS 22310 HAS SOUS 12283 HAS SOUPS 11276 WITH SCORE 11299.317
AT ITER 2417 NEW BEST:: SOT 41374 SOS 23307 HAS SOPS 22300 HAS SOUS 12273 HAS SOUPS 11266 WITH SCORE 11289.307
AT ITER 2433 NEW BEST:: SOT 41358 SOS 23298 HAS SOPS 22291 HAS SOUS 12264 HAS SOUPS 11257 WITH SCORE 11280.298
AT ITER 2461 NEW BEST:: SOT 41358 SOS 23290 HAS SOPS 22283 HAS SOUS 12264 HAS SOUPS 11257 WITH SCORE 11280.29
AT ITER 2480 NEW BEST:: SOT 41348 SOS 23388 HAS SOPS 22381 HAS SOUS 12234 HAS SOUPS 11227 WITH SCORE 11250.388
AT ITER 2498 NEW BEST:: SOT 41333 SOS 23602 HAS SOPS 22545 HAS SOUS 12247 HAS SOUPS 11190 WITH SCORE 11213.602
AT ITER 2506 NEW BEST:: SOT 41319 SOS 23588 HAS SOPS 22531 HAS SOUS 12219 HAS SOUPS 11162 WITH SCORE 11185.588
AT ITER 2518 NEW BEST:: SOT 41319 SOS 23585 HAS SOPS 22528 HAS SOUS 12219 HAS SOUPS 11162 WITH SCORE 11185.585
AT ITER 2540 NEW BEST:: SOT 41293 SOS 23559 HAS SOPS 22502 HAS SOUS 12167 HAS SOUPS 11110 WITH SCORE 11133.559
AT ITER 2549 NEW BEST:: SOT 41293 SOS 23559 HAS SOPS 22502 HAS SOUS 12162 HAS SOUPS 11105 WITH SCORE 11128.559
AT ITER 2582 NEW BEST:: SOT 41297 SOS 23552 HAS SOPS 22491 HAS SOUS 12166 HAS SOUPS 11105 WITH SCORE 11128.552
AT ITER 2597 NEW BEST:: SOT 41296 SOS 23552 HAS SOPS 22484 HAS SOUS 12170 HAS SOUPS 11102 WITH SCORE 11125.552
AT ITER 2601 NEW BEST:: SOT 41296 SOS 23534 HAS SOPS 22466 HAS SOUS 12158 HAS SOUPS 11090 WITH SCORE 11113.534
AT ITER 2624 NEW BEST:: SOT 41298 SOS 23528 HAS SOPS 22458 HAS SOUS 12160 HAS SOUPS 11090 WITH SCORE 11113.528
AT ITER 2648 NEW BEST:: SOT 41298 SOS 23518 HAS SOPS 22448 HAS SOUS 12160 HAS SOUPS 11090 WITH SCORE 11113.518
AT ITER 2708 NEW BEST:: SOT 41332 SOS 23536 HAS SOPS 22466 HAS SOUS 12146 HAS SOUPS 11076 WITH SCORE 11099.536
AT ITER 2721 NEW BEST:: SOT 41300 SOS 23504 HAS SOPS 22434 HAS SOUS 12082 HAS SOUPS 11012 WITH SCORE 11035.504
AT ITER 2735 NEW BEST:: SOT 41300 SOS 23492 HAS SOPS 22422 HAS SOUS 12037 HAS SOUPS 10967 WITH SCORE 10990.492
AT ITER 2786 NEW BEST:: SOT 41285 SOS 23477 HAS SOPS 22407 HAS SOUS 12007 HAS SOUPS 10937 WITH SCORE 10960.477
AT ITER 2811 NEW BEST:: SOT 41278 SOS 23470 HAS SOPS 22400 HAS SOUS 11993 HAS SOUPS 10923 WITH SCORE 10946.47
AT ITER 2860 NEW BEST:: SOT 41278 SOS 23470 HAS SOPS 22400 HAS SOUS 11991 HAS SOUPS 10921 WITH SCORE 10944.47
AT ITER 2866 NEW BEST:: SOT 41278 SOS 23458 HAS SOPS 22388 HAS SOUS 11991 HAS SOUPS 10921 WITH SCORE 10944.458
AT ITER 2869 NEW BEST:: SOT 41278 SOS 23457 HAS SOPS 22387 HAS SOUS 11991 HAS SOUPS 10921 WITH SCORE 10944.457
AT ITER 2902 NEW BEST:: SOT 41277 SOS 23447 HAS SOPS 22380 HAS SOUS 11985 HAS SOUPS 10918 WITH SCORE 10941.447
AT ITER 2928 NEW BEST:: SOT 41256 SOS 23433 HAS SOPS 22366 HAS SOUS 11964 HAS SOUPS 10897 WITH SCORE 10920.433
AT ITER 2977 NEW BEST:: SOT 41260 SOS 23425 HAS SOPS 22354 HAS SOUS 11968 HAS SOUPS 10897 WITH SCORE 10920.425
AT ITER 2995 NEW BEST:: SOT 41257 SOS 23423 HAS SOPS 22352 HAS SOUS 11967 HAS SOUPS 10896 WITH SCORE 10919.423
AT ITER 3022 NEW BEST:: SOT 41253 SOS 23419 HAS SOPS 22348 HAS SOUS 11959 HAS SOUPS 10888 WITH SCORE 10911.419
AT ITER 3099 NEW BEST:: SOT 41261 SOS 23368 HAS SOPS 22286 HAS SOUS 11953 HAS SOUPS 10871 WITH SCORE 10894.368
AT ITER 3106 NEW BEST:: SOT 41261 SOS 23356 HAS SOPS 22274 HAS SOUS 11946 HAS SOUPS 10864 WITH SCORE 10887.356
AT ITER 3123 NEW BEST:: SOT 41245 SOS 23340 HAS SOPS 22258 HAS SOUS 11914 HAS SOUPS 10832 WITH SCORE 10855.34
AT ITER 3170 NEW BEST:: SOT 41244 SOS 23333 HAS SOPS 22251 HAS SOUS 11911 HAS SOUPS 10829 WITH SCORE 10852.333
AT ITER 3201 NEW BEST:: SOT 41226 SOS 23315 HAS SOPS 22233 HAS SOUS 11875 HAS SOUPS 10793 WITH SCORE 10816.315
AT ITER 3218 NEW BEST:: SOT 41224 SOS 23298 HAS SOPS 22216 HAS SOUS 11871 HAS SOUPS 10789 WITH SCORE 10812.298
AT ITER 3227 NEW BEST:: SOT 41198 SOS 23248 HAS SOPS 22166 HAS SOUS 11793 HAS SOUPS 10711 WITH SCORE 10734.248
AT ITER 3240 NEW BEST:: SOT 41194 SOS 23244 HAS SOPS 22158 HAS SOUS 11785 HAS SOUPS 10699 WITH SCORE 10722.244
AT ITER 3304 NEW BEST:: SOT 41190 SOS 23291 HAS SOPS 22205 HAS SOUS 11773 HAS SOUPS 10687 WITH SCORE 10710.291
AT ITER 3306 NEW BEST:: SOT 41192 SOS 23287 HAS SOPS 22199 HAS SOUS 11775 HAS SOUPS 10687 WITH SCORE 10710.287
AT ITER 3324 NEW BEST:: SOT 41192 SOS 23281 HAS SOPS 22193 HAS SOUS 11767 HAS SOUPS 10679 WITH SCORE 10702.281
AT ITER 3348 NEW BEST:: SOT 41192 SOS 23261 HAS SOPS 22173 HAS SOUS 11767 HAS SOUPS 10679 WITH SCORE 10702.261
AT ITER 3430 NEW BEST:: SOT 41187 SOS 23326 HAS SOPS 22238 HAS SOUS 11752 HAS SOUPS 10664 WITH SCORE 10687.326
AT ITER 3437 NEW BEST:: SOT 41182 SOS 23331 HAS SOPS 22243 HAS SOUS 11741 HAS SOUPS 10653 WITH SCORE 10676.331
AT ITER 3522 NEW BEST:: SOT 41182 SOS 23291 HAS SOPS 22195 HAS SOUS 11733 HAS SOUPS 10637 WITH SCORE 10660.291
AT ITER 3535 NEW BEST:: SOT 41152 SOS 23261 HAS SOPS 22165 HAS SOUS 11727 HAS SOUPS 10631 WITH SCORE 10654.261
AT ITER 3539 NEW BEST:: SOT 40967 SOS 23713 HAS SOPS 22735 HAS SOUS 11560 HAS SOUPS 10582 WITH SCORE 10605.713
AT ITER 3558 NEW BEST:: SOT 40958 SOS 23729 HAS SOPS 22757 HAS SOUS 11550 HAS SOUPS 10578 WITH SCORE 10601.729
AT ITER 3597 NEW BEST:: SOT 40950 SOS 23725 HAS SOPS 22745 HAS SOUS 11538 HAS SOUPS 10558 WITH SCORE 10581.725
AT ITER 3616 NEW BEST:: SOT 40944 SOS 23700 HAS SOPS 22703 HAS SOUS 11537 HAS SOUPS 10540 WITH SCORE 10563.7
AT ITER 3656 NEW BEST:: SOT 40948 SOS 23702 HAS SOPS 22705 HAS SOUS 11533 HAS SOUPS 10536 WITH SCORE 10559.702
AT ITER 3663 NEW BEST:: SOT 40816 SOS 23673 HAS SOPS 22666 HAS SOUS 11474 HAS SOUPS 10467 WITH SCORE 10490.673
AT ITER 3692 NEW BEST:: SOT 40816 SOS 23623 HAS SOPS 22616 HAS SOUS 11474 HAS SOUPS 10467 WITH SCORE 10490.623
AT ITER 3705 NEW BEST:: SOT 40808 SOS 23615 HAS SOPS 22608 HAS SOUS 11468 HAS SOUPS 10461 WITH SCORE 10484.615
AT ITER 3709 NEW BEST:: SOT 40805 SOS 23672 HAS SOPS 22652 HAS SOUS 11472 HAS SOUPS 10452 WITH SCORE 10475.672
AT ITER 3727 NEW BEST:: SOT 40805 SOS 23657 HAS SOPS 22634 HAS SOUS 11466 HAS SOUPS 10443 WITH SCORE 10466.657
AT ITER 3784 NEW BEST:: SOT 40802 SOS 23654 HAS SOPS 22631 HAS SOUS 11460 HAS SOUPS 10437 WITH SCORE 10460.654
AT ITER 3800 NEW BEST:: SOT 40772 SOS 23625 HAS SOPS 22602 HAS SOUS 11432 HAS SOUPS 10409 WITH SCORE 10432.625
AT ITER 3871 NEW BEST:: SOT 40772 SOS 23620 HAS SOPS 22602 HAS SOUS 11427 HAS SOUPS 10409 WITH SCORE 10432.62
AT ITER 3877 NEW BEST:: SOT 40764 SOS 23564 HAS SOPS 22546 HAS SOUS 11403 HAS SOUPS 10385 WITH SCORE 10408.564
AT ITER 3888 NEW BEST:: SOT 40764 SOS 23560 HAS SOPS 22542 HAS SOUS 11403 HAS SOUPS 10385 WITH SCORE 10408.56
AT ITER 3924 NEW BEST:: SOT 40736 SOS 23532 HAS SOPS 22514 HAS SOUS 11389 HAS SOUPS 10371 WITH SCORE 10394.532
AT ITER 3935 NEW BEST:: SOT 40736 SOS 23532 HAS SOPS 22514 HAS SOUS 11388 HAS SOUPS 10370 WITH SCORE 10393.532
AT ITER 3937 NEW BEST:: SOT 40720 SOS 23524 HAS SOPS 22506 HAS SOUS 11380 HAS SOUPS 10362 WITH SCORE 10385.524
AT ITER 3975 NEW BEST:: SOT 40718 SOS 23514 HAS SOPS 22492 HAS SOUS 11378 HAS SOUPS 10356 WITH SCORE 10379.514
AT ITER 3999 NEW BEST:: SOT 40716 SOS 23489 HAS SOPS 22478 HAS SOUS 11361 HAS SOUPS 10350 WITH SCORE 10373.489
AT ITER 4020 NEW BEST:: SOT 40672 SOS 23451 HAS SOPS 22440 HAS SOUS 11353 HAS SOUPS 10342 WITH SCORE 10365.451
AT ITER 4063 NEW BEST:: SOT 40653 SOS 23439 HAS SOPS 22428 HAS SOUS 11336 HAS SOUPS 10325 WITH SCORE 10348.439
AT ITER 4070 NEW BEST:: SOT 40652 SOS 23433 HAS SOPS 22421 HAS SOUS 11334 HAS SOUPS 10322 WITH SCORE 10345.433
AT ITER 4077 NEW BEST:: SOT 40652 SOS 23418 HAS SOPS 22403 HAS SOUS 11331 HAS SOUPS 10316 WITH SCORE 10339.418
AT ITER 4110 NEW BEST:: SOT 40650 SOS 23416 HAS SOPS 22401 HAS SOUS 11327 HAS SOUPS 10312 WITH SCORE 10335.416
AT ITER 4115 NEW BEST:: SOT 40650 SOS 23411 HAS SOPS 22395 HAS SOUS 11326 HAS SOUPS 10310 WITH SCORE 10333.411
AT ITER 4128 NEW BEST:: SOT 40640 SOS 23401 HAS SOPS 22385 HAS SOUS 11306 HAS SOUPS 10290 WITH SCORE 10313.401
AT ITER 4131 NEW BEST:: SOT 40639 SOS 23400 HAS SOPS 22384 HAS SOUS 11303 HAS SOUPS 10287 WITH SCORE 10310.4
AT ITER 4179 NEW BEST:: SOT 40639 SOS 23399 HAS SOPS 22383 HAS SOUS 11303 HAS SOUPS 10287 WITH SCORE 10310.399
AT ITER 4220 NEW BEST:: SOT 40637 SOS 23397 HAS SOPS 22381 HAS SOUS 11299 HAS SOUPS 10283 WITH SCORE 10306.397
AT ITER 4273 NEW BEST:: SOT 40605 SOS 23376 HAS SOPS 22360 HAS SOUS 11268 HAS SOUPS 10252 WITH SCORE 10275.376
AT ITER 4284 NEW BEST:: SOT 40587 SOS 23358 HAS SOPS 22342 HAS SOUS 11232 HAS SOUPS 10216 WITH SCORE 10239.358
AT ITER 4323 NEW BEST:: SOT 40587 SOS 23357 HAS SOPS 22342 HAS SOUS 11231 HAS SOUPS 10216 WITH SCORE 10239.357
AT ITER 4326 NEW BEST:: SOT 40578 SOS 23305 HAS SOPS 22279 HAS SOUS 11215 HAS SOUPS 10189 WITH SCORE 10212.305
AT ITER 4342 NEW BEST:: SOT 40551 SOS 23272 HAS SOPS 22246 HAS SOUS 11161 HAS SOUPS 10135 WITH SCORE 10158.272
AT ITER 4425 NEW BEST:: SOT 40547 SOS 23268 HAS SOPS 22242 HAS SOUS 11153 HAS SOUPS 10127 WITH SCORE 10150.268
AT ITER 4513 NEW BEST:: SOT 40543 SOS 23240 HAS SOPS 22214 HAS SOUS 11141 HAS SOUPS 10115 WITH SCORE 10138.24
AT ITER 4637 NEW BEST:: SOT 40539 SOS 23236 HAS SOPS 22210 HAS SOUS 11133 HAS SOUPS 10107 WITH SCORE 10130.236
AT ITER 4663 NEW BEST:: SOT 40533 SOS 23230 HAS SOPS 22204 HAS SOUS 11121 HAS SOUPS 10095 WITH SCORE 10118.23
AT ITER 4671 NEW BEST:: SOT 40542 SOS 23225 HAS SOPS 22199 HAS SOUS 11055 HAS SOUPS 10029 WITH SCORE 10052.225
AT ITER 4743 NEW BEST:: SOT 40539 SOS 23223 HAS SOPS 22197 HAS SOUS 11055 HAS SOUPS 10029 WITH SCORE 10052.223
AT ITER 4780 NEW BEST:: SOT 40527 SOS 23211 HAS SOPS 22185 HAS SOUS 11035 HAS SOUPS 10009 WITH SCORE 10032.211
AT ITER 4856 NEW BEST:: SOT 40527 SOS 23211 HAS SOPS 22185 HAS SOUS 11027 HAS SOUPS 10001 WITH SCORE 10024.211
AT ITER 4926 NEW BEST:: SOT 40527 SOS 23207 HAS SOPS 22181 HAS SOUS 11025 HAS SOUPS 9999 WITH SCORE 10022.207
AT ITER 5062 NEW BEST:: SOT 40526 SOS 23206 HAS SOPS 22180 HAS SOUS 11023 HAS SOUPS 9997 WITH SCORE 10020.206
AT ITER 5068 NEW BEST:: SOT 40516 SOS 23196 HAS SOPS 22160 HAS SOUS 11003 HAS SOUPS 9967 WITH SCORE 9990.196
AT ITER 5318 NEW BEST:: SOT 40508 SOS 23188 HAS SOPS 22152 HAS SOUS 10987 HAS SOUPS 9951 WITH SCORE 9974.188
AT ITER 5325 NEW BEST:: SOT 40506 SOS 23186 HAS SOPS 22148 HAS SOUS 10983 HAS SOUPS 9945 WITH SCORE 9968.186
AT ITER 5394 NEW BEST:: SOT 40506 SOS 23186 HAS SOPS 22148 HAS SOUS 10981 HAS SOUPS 9943 WITH SCORE 9966.186
AT ITER 5447 NEW BEST:: SOT 40469 SOS 23235 HAS SOPS 22213 HAS SOUS 10951 HAS SOUPS 9929 WITH SCORE 9952.235
AT ITER 5494 NEW BEST:: SOT 40470 SOS 23232 HAS SOPS 22209 HAS SOUS 10952 HAS SOUPS 9929 WITH SCORE 9952.232
AT ITER 5545 NEW BEST:: SOT 40470 SOS 23227 HAS SOPS 22203 HAS SOUS 10951 HAS SOUPS 9927 WITH SCORE 9950.227
AT ITER 5575 NEW BEST:: SOT 40469 SOS 23226 HAS SOPS 22201 HAS SOUS 10949 HAS SOUPS 9924 WITH SCORE 9947.226
AT ITER 5585 NEW BEST:: SOT 40489 SOS 23238 HAS SOPS 22213 HAS SOUS 10941 HAS SOUPS 9916 WITH SCORE 9939.238
AT ITER 5607 NEW BEST:: SOT 40487 SOS 23236 HAS SOPS 22211 HAS SOUS 10937 HAS SOUPS 9912 WITH SCORE 9935.236
AT ITER 5629 NEW BEST:: SOT 40487 SOS 23236 HAS SOPS 22211 HAS SOUS 10933 HAS SOUPS 9908 WITH SCORE 9931.236
AT ITER 5635 NEW BEST:: SOT 40487 SOS 23236 HAS SOPS 22211 HAS SOUS 10931 HAS SOUPS 9906 WITH SCORE 9929.236
AT ITER 5637 NEW BEST:: SOT 40487 SOS 23230 HAS SOPS 22206 HAS SOUS 10930 HAS SOUPS 9906 WITH SCORE 9929.23
AT ITER 5663 NEW BEST:: SOT 40481 SOS 23224 HAS SOPS 22200 HAS SOUS 10923 HAS SOUPS 9899 WITH SCORE 9922.224
AT ITER 5673 NEW BEST:: SOT 40392 SOS 23267 HAS SOPS 22243 HAS SOUS 10916 HAS SOUPS 9892 WITH SCORE 9915.267
AT ITER 5692 NEW BEST:: SOT 40380 SOS 23255 HAS SOPS 22231 HAS SOUS 10895 HAS SOUPS 9871 WITH SCORE 9894.255
AT ITER 5708 NEW BEST:: SOT 40370 SOS 23245 HAS SOPS 22221 HAS SOUS 10875 HAS SOUPS 9851 WITH SCORE 9874.245
AT ITER 5720 NEW BEST:: SOT 40369 SOS 23328 HAS SOPS 22289 HAS SOUS 10887 HAS SOUPS 9848 WITH SCORE 9871.328
AT ITER 5753 NEW BEST:: SOT 40359 SOS 23318 HAS SOPS 22279 HAS SOUS 10867 HAS SOUPS 9828 WITH SCORE 9851.318
AT ITER 5776 NEW BEST:: SOT 40347 SOS 23306 HAS SOPS 22267 HAS SOUS 10843 HAS SOUPS 9804 WITH SCORE 9827.306
AT ITER 5827 NEW BEST:: SOT 40354 SOS 23303 HAS SOPS 22250 HAS SOUS 10855 HAS SOUPS 9802 WITH SCORE 9825.303
AT ITER 5859 NEW BEST:: SOT 40352 SOS 23301 HAS SOPS 22248 HAS SOUS 10852 HAS SOUPS 9799 WITH SCORE 9822.301
AT ITER 5883 NEW BEST:: SOT 40352 SOS 23297 HAS SOPS 22248 HAS SOUS 10848 HAS SOUPS 9799 WITH SCORE 9822.297
AT ITER 5966 NEW BEST:: SOT 40371 SOS 23235 HAS SOPS 22170 HAS SOUS 10857 HAS SOUPS 9792 WITH SCORE 9815.235
AT ITER 6317 NEW BEST:: SOT 40365 SOS 23229 HAS SOPS 22164 HAS SOUS 10845 HAS SOUPS 9780 WITH SCORE 9803.229
AT ITER 6374 NEW BEST:: SOT 40364 SOS 23211 HAS SOPS 22157 HAS SOUS 10831 HAS SOUPS 9777 WITH SCORE 9800.211
AT ITER 6437 NEW BEST:: SOT 40362 SOS 23262 HAS SOPS 22208 HAS SOUS 10825 HAS SOUPS 9771 WITH SCORE 9794.262
AT ITER 6474 NEW BEST:: SOT 40317 SOS 23433 HAS SOPS 22418 HAS SOUS 10785 HAS SOUPS 9770 WITH SCORE 9793.433
AT ITER 6510 NEW BEST:: SOT 40289 SOS 23405 HAS SOPS 22390 HAS SOUS 10761 HAS SOUPS 9746 WITH SCORE 9769.405
AT ITER 6615 NEW BEST:: SOT 40253 SOS 23421 HAS SOPS 22415 HAS SOUS 10724 HAS SOUPS 9718 WITH SCORE 9741.421
AT ITER 6638 NEW BEST:: SOT 40272 SOS 23403 HAS SOPS 22397 HAS SOUS 10720 HAS SOUPS 9714 WITH SCORE 9737.403
AT ITER 6643 NEW BEST:: SOT 40270 SOS 23389 HAS SOPS 22383 HAS SOUS 10714 HAS SOUPS 9708 WITH SCORE 9731.389
AT ITER 6681 NEW BEST:: SOT 40269 SOS 23392 HAS SOPS 22376 HAS SOUS 10721 HAS SOUPS 9705 WITH SCORE 9728.392
AT ITER 6695 NEW BEST:: SOT 40253 SOS 23381 HAS SOPS 22365 HAS SOUS 10719 HAS SOUPS 9703 WITH SCORE 9726.381
AT ITER 6775 NEW BEST:: SOT 40253 SOS 23377 HAS SOPS 22365 HAS SOUS 10715 HAS SOUPS 9703 WITH SCORE 9726.377
AT ITER 6844 NEW BEST:: SOT 40251 SOS 23377 HAS SOPS 22367 HAS SOUS 10711 HAS SOUPS 9701 WITH SCORE 9724.377
AT ITER 6867 NEW BEST:: SOT 40250 SOS 23376 HAS SOPS 22366 HAS SOUS 10710 HAS SOUPS 9700 WITH SCORE 9723.376
AT ITER 7037 NEW BEST:: SOT 40248 SOS 23374 HAS SOPS 22364 HAS SOUS 10706 HAS SOUPS 9696 WITH SCORE 9719.374
AT ITER 7067 NEW BEST:: SOT 40246 SOS 23370 HAS SOPS 22360 HAS SOUS 10702 HAS SOUPS 9692 WITH SCORE 9715.37
AT ITER 7148 NEW BEST:: SOT 40245 SOS 23383 HAS SOPS 22373 HAS SOUS 10699 HAS SOUPS 9689 WITH SCORE 9712.383
AT ITER 7160 NEW BEST:: SOT 40244 SOS 23382 HAS SOPS 22372 HAS SOUS 10697 HAS SOUPS 9687 WITH SCORE 9710.382
AT ITER 7179 NEW BEST:: SOT 40240 SOS 23354 HAS SOPS 22344 HAS SOUS 10685 HAS SOUPS 9675 WITH SCORE 9698.354
AT ITER 7214 NEW BEST:: SOT 40240 SOS 23352 HAS SOPS 22344 HAS SOUS 10683 HAS SOUPS 9675 WITH SCORE 9698.352
AT ITER 7222 NEW BEST:: SOT 40218 SOS 23337 HAS SOPS 22329 HAS SOUS 10681 HAS SOUPS 9673 WITH SCORE 9696.337
AT ITER 7246 NEW BEST:: SOT 40216 SOS 23335 HAS SOPS 22325 HAS SOUS 10677 HAS SOUPS 9667 WITH SCORE 9690.335
AT ITER 7274 NEW BEST:: SOT 40210 SOS 23329 HAS SOPS 22313 HAS SOUS 10665 HAS SOUPS 9649 WITH SCORE 9672.329
AT ITER 7342 NEW BEST:: SOT 40210 SOS 23323 HAS SOPS 22307 HAS SOUS 10650 HAS SOUPS 9634 WITH SCORE 9657.323
AT ITER 7361 NEW BEST:: SOT 40209 SOS 23316 HAS SOPS 22300 HAS SOUS 10647 HAS SOUPS 9631 WITH SCORE 9654.316
AT ITER 7387 NEW BEST:: SOT 40208 SOS 23319 HAS SOPS 22303 HAS SOUS 10644 HAS SOUPS 9628 WITH SCORE 9651.319
AT ITER 7398 NEW BEST:: SOT 40207 SOS 23318 HAS SOPS 22302 HAS SOUS 10642 HAS SOUPS 9626 WITH SCORE 9649.318
AT ITER 7537 NEW BEST:: SOT 40207 SOS 23318 HAS SOPS 22302 HAS SOUS 10640 HAS SOUPS 9624 WITH SCORE 9647.318
AT ITER 7633 NEW BEST:: SOT 40201 SOS 23312 HAS SOPS 22296 HAS SOUS 10628 HAS SOUPS 9612 WITH SCORE 9635.312
AT ITER 7709 NEW BEST:: SOT 40199 SOS 23310 HAS SOPS 22292 HAS SOUS 10624 HAS SOUPS 9606 WITH SCORE 9629.31
AT ITER 7769 NEW BEST:: SOT 40199 SOS 23309 HAS SOPS 22290 HAS SOUS 10624 HAS SOUPS 9605 WITH SCORE 9628.309
AT ITER 7896 NEW BEST:: SOT 40195 SOS 23305 HAS SOPS 22286 HAS SOUS 10616 HAS SOUPS 9597 WITH SCORE 9620.305
AT ITER 7899 NEW BEST:: SOT 40191 SOS 23301 HAS SOPS 22282 HAS SOUS 10608 HAS SOUPS 9589 WITH SCORE 9612.301
AT ITER 7900 NEW BEST:: SOT 40191 SOS 23291 HAS SOPS 22262 HAS SOUS 10608 HAS SOUPS 9579 WITH SCORE 9602.291
AT ITER 7996 NEW BEST:: SOT 40187 SOS 23287 HAS SOPS 22258 HAS SOUS 10600 HAS SOUPS 9571 WITH SCORE 9594.287
AT ITER 8041 NEW BEST:: SOT 40178 SOS 23287 HAS SOPS 22267 HAS SOUS 10582 HAS SOUPS 9562 WITH SCORE 9585.287
AT ITER 8065 NEW BEST:: SOT 40180 SOS 23279 HAS SOPS 22257 HAS SOUS 10584 HAS SOUPS 9562 WITH SCORE 9585.279
AT ITER 8082 NEW BEST:: SOT 40179 SOS 23280 HAS SOPS 22250 HAS SOUS 10589 HAS SOUPS 9559 WITH SCORE 9582.28
AT ITER 8165 NEW BEST:: SOT 40181 SOS 23272 HAS SOPS 22240 HAS SOUS 10591 HAS SOUPS 9559 WITH SCORE 9582.272
AT ITER 8248 NEW BEST:: SOT 40180 SOS 23261 HAS SOPS 22233 HAS SOUS 10584 HAS SOUPS 9556 WITH SCORE 9579.261
AT ITER 8250 NEW BEST:: SOT 40162 SOS 23249 HAS SOPS 22221 HAS SOUS 10566 HAS SOUPS 9538 WITH SCORE 9561.249
AT ITER 8288 NEW BEST:: SOT 40112 SOS 23205 HAS SOPS 22177 HAS SOUS 10546 HAS SOUPS 9518 WITH SCORE 9541.205
AT ITER 8374 NEW BEST:: SOT 40110 SOS 23203 HAS SOPS 22175 HAS SOUS 10542 HAS SOUPS 9514 WITH SCORE 9537.203
AT ITER 8422 NEW BEST:: SOT 40110 SOS 23183 HAS SOPS 22155 HAS SOUS 10542 HAS SOUPS 9514 WITH SCORE 9537.183
AT ITER 8430 NEW BEST:: SOT 40109 SOS 23176 HAS SOPS 22148 HAS SOUS 10539 HAS SOUPS 9511 WITH SCORE 9534.176
AT ITER 8485 NEW BEST:: SOT 40108 SOS 23162 HAS SOPS 22141 HAS SOUS 10529 HAS SOUPS 9508 WITH SCORE 9531.162
AT ITER 8492 NEW BEST:: SOT 40106 SOS 23160 HAS SOPS 22139 HAS SOUS 10526 HAS SOUPS 9505 WITH SCORE 9528.16
AT ITER 8561 NEW BEST:: SOT 40105 SOS 23153 HAS SOPS 22132 HAS SOUS 10523 HAS SOUPS 9502 WITH SCORE 9525.153
AT ITER 8579 NEW BEST:: SOT 40096 SOS 23144 HAS SOPS 22123 HAS SOUS 10506 HAS SOUPS 9485 WITH SCORE 9508.144
AT ITER 8759 NEW BEST:: SOT 40080 SOS 23128 HAS SOPS 22107 HAS SOUS 10474 HAS SOUPS 9453 WITH SCORE 9476.128
AT ITER 8870 NEW BEST:: SOT 40071 SOS 23119 HAS SOPS 22098 HAS SOUS 10458 HAS SOUPS 9437 WITH SCORE 9460.119
AT ITER 8874 NEW BEST:: SOT 40065 SOS 23113 HAS SOPS 22092 HAS SOUS 10446 HAS SOUPS 9425 WITH SCORE 9448.113
AT ITER 8938 NEW BEST:: SOT 40063 SOS 23099 HAS SOPS 22078 HAS SOUS 10440 HAS SOUPS 9419 WITH SCORE 9442.099
AT ITER 8994 NEW BEST:: SOT 40061 SOS 23103 HAS SOPS 22079 HAS SOUS 10437 HAS SOUPS 9413 WITH SCORE 9436.103
AT ITER 9057 NEW BEST:: SOT 40067 SOS 23066 HAS SOPS 22034 HAS SOUS 10433 HAS SOUPS 9401 WITH SCORE 9424.066
AT ITER 9071 NEW BEST:: SOT 40064 SOS 23063 HAS SOPS 22031 HAS SOUS 10427 HAS SOUPS 9395 WITH SCORE 9418.063
AT ITER 9204 NEW BEST:: SOT 40056 SOS 23050 HAS SOPS 22018 HAS SOUS 10425 HAS SOUPS 9393 WITH SCORE 9416.05
AT ITER 9403 NEW BEST:: SOT 40062 SOS 23054 HAS SOPS 22022 HAS SOUS 10424 HAS SOUPS 9392 WITH SCORE 9415.054
AT ITER 9544 NEW BEST:: SOT 40061 SOS 23047 HAS SOPS 22015 HAS SOUS 10421 HAS SOUPS 9389 WITH SCORE 9412.047
AT ITER 9677 NEW BEST:: SOT 39995 SOS 23001 HAS SOPS 21969 HAS SOUS 10411 HAS SOUPS 9379 WITH SCORE 9402.001
AT ITER 9696 NEW BEST:: SOT 39995 SOS 22986 HAS SOPS 21951 HAS SOUS 10408 HAS SOUPS 9373 WITH SCORE 9395.986
AT ITER 9749 NEW BEST:: SOT 39994 SOS 22979 HAS SOPS 21944 HAS SOUS 10405 HAS SOUPS 9370 WITH SCORE 9392.979
AT ITER 9825 NEW BEST:: SOT 39993 SOS 22972 HAS SOPS 21937 HAS SOUS 10402 HAS SOUPS 9367 WITH SCORE 9389.972
AT ITER 9936 NEW BEST:: SOT 39993 SOS 22970 HAS SOPS 21937 HAS SOUS 10400 HAS SOUPS 9367 WITH SCORE 9389.97
AT ITER 9950 NEW BEST:: SOT 39915 SOS 22901 HAS SOPS 21868 HAS SOUS 10364 HAS SOUPS 9331 WITH SCORE 9353.901
AT ITER 9965 NEW BEST:: SOT 39831 SOS 22829 HAS SOPS 21796 HAS SOUS 10356 HAS SOUPS 9323 WITH SCORE 9345.829
AT ITER 9978 NEW BEST:: SOT 39830 SOS 22828 HAS SOPS 21795 HAS SOUS 10354 HAS SOUPS 9321 WITH SCORE 9343.828
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8397472 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151652 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CSRepetitions-PT-05"
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 CSRepetitions-PT-05, 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 r067-smll-167814394400080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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