fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r033-smll-158901926000320
Last Updated
Jun 28, 2020

About the Execution of smart for CloudDeployment-PT-5a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.800 74750.00 74050.00 0.00 2.4883E+0008 2.7853E+0010 1 21 normal

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.r033-smll-158901926000320.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 CloudDeployment-PT-5a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000320
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 396K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 15:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 15:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 08:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 07:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 07:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 230K 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 1589151433047

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

Filename model.pnml
Petri model created: 180 places, 675 transitions, 3959 arcs.
AT ITER 0 NEW BEST:: SOT 93429 SOS 54438 HAS SOPS 50899 HAS SOUS 43124 HAS SOUPS 39986 WITH SCORE 40040.438
AT ITER 1 NEW BEST:: SOT 93919 SOS 54685 HAS SOPS 51146 HAS SOUS 42972 HAS SOUPS 39834 WITH SCORE 39888.685
AT ITER 8 NEW BEST:: SOT 93825 SOS 54524 HAS SOPS 50985 HAS SOUS 42887 HAS SOUPS 39749 WITH SCORE 39803.524
AT ITER 11 NEW BEST:: SOT 93467 SOS 55994 HAS SOPS 50833 HAS SOUS 42468 HAS SOUPS 39426 WITH SCORE 39481.994
AT ITER 14 NEW BEST:: SOT 93569 SOS 56045 HAS SOPS 50935 HAS SOUS 42264 HAS SOUPS 39273 WITH SCORE 39329.045
AT ITER 18 NEW BEST:: SOT 93679 SOS 56071 HAS SOPS 51080 HAS SOUS 41919 HAS SOUPS 39003 WITH SCORE 39059.071
AT ITER 22 NEW BEST:: SOT 93569 SOS 55825 HAS SOPS 50817 HAS SOUS 41285 HAS SOUPS 38369 WITH SCORE 38424.825
AT ITER 27 NEW BEST:: SOT 93654 SOS 55870 HAS SOPS 50898 HAS SOUS 41237 HAS SOUPS 38357 WITH SCORE 38412.87
AT ITER 28 NEW BEST:: SOT 93914 SOS 56130 HAS SOPS 51244 HAS SOUS 41159 HAS SOUPS 38279 WITH SCORE 38335.13
AT ITER 29 NEW BEST:: SOT 93901 SOS 56128 HAS SOPS 51242 HAS SOUS 41117 HAS SOUPS 38237 WITH SCORE 38293.128
AT ITER 31 NEW BEST:: SOT 93869 SOS 56104 HAS SOPS 51226 HAS SOUS 41093 HAS SOUPS 38221 WITH SCORE 38277.104
AT ITER 35 NEW BEST:: SOT 94020 SOS 56279 HAS SOPS 51490 HAS SOUS 40785 HAS SOUPS 38006 WITH SCORE 38062.279
AT ITER 38 NEW BEST:: SOT 94078 SOS 55362 HAS SOPS 51550 HAS SOUS 40540 HAS SOUPS 37777 WITH SCORE 37832.362
AT ITER 39 NEW BEST:: SOT 94014 SOS 55350 HAS SOPS 51500 HAS SOUS 40482 HAS SOUPS 37727 WITH SCORE 37782.35
AT ITER 40 NEW BEST:: SOT 94164 SOS 55375 HAS SOPS 51605 HAS SOUS 40083 HAS SOUPS 37408 WITH SCORE 37463.375
AT ITER 42 NEW BEST:: SOT 95086 SOS 55904 HAS SOPS 52134 HAS SOUS 39871 HAS SOUPS 37196 WITH SCORE 37251.904
AT ITER 44 NEW BEST:: SOT 95235 SOS 55987 HAS SOPS 52276 HAS SOUS 39771 HAS SOUPS 37162 WITH SCORE 37217.987
AT ITER 45 NEW BEST:: SOT 95714 SOS 56176 HAS SOPS 52342 HAS SOUS 39827 HAS SOUPS 37088 WITH SCORE 37144.176
AT ITER 46 NEW BEST:: SOT 95920 SOS 56279 HAS SOPS 52548 HAS SOUS 39673 HAS SOUPS 37037 WITH SCORE 37093.279
AT ITER 47 NEW BEST:: SOT 96384 SOS 56312 HAS SOPS 52581 HAS SOUS 38987 HAS SOUPS 36351 WITH SCORE 36407.312
AT ITER 52 NEW BEST:: SOT 96343 SOS 56275 HAS SOPS 52379 HAS SOUS 38990 HAS SOUPS 36294 WITH SCORE 36350.275
AT ITER 54 NEW BEST:: SOT 96376 SOS 56234 HAS SOPS 52338 HAS SOUS 38613 HAS SOUPS 35917 WITH SCORE 35973.234
AT ITER 58 NEW BEST:: SOT 96376 SOS 56230 HAS SOPS 52340 HAS SOUS 38612 HAS SOUPS 35917 WITH SCORE 35973.23
AT ITER 59 NEW BEST:: SOT 96383 SOS 56237 HAS SOPS 52347 HAS SOUS 38604 HAS SOUPS 35909 WITH SCORE 35965.237
AT ITER 62 NEW BEST:: SOT 96375 SOS 56229 HAS SOPS 52339 HAS SOUS 38596 HAS SOUPS 35901 WITH SCORE 35957.229
AT ITER 69 NEW BEST:: SOT 96378 SOS 56235 HAS SOPS 52388 HAS SOUS 38432 HAS SOUPS 35780 WITH SCORE 35836.235
AT ITER 75 NEW BEST:: SOT 96591 SOS 56451 HAS SOPS 52604 HAS SOUS 38329 HAS SOUPS 35677 WITH SCORE 35733.451
AT ITER 82 NEW BEST:: SOT 96182 SOS 56551 HAS SOPS 52334 HAS SOUS 38179 HAS SOUPS 35580 WITH SCORE 35636.551
AT ITER 89 NEW BEST:: SOT 95907 SOS 56273 HAS SOPS 51945 HAS SOUS 38236 HAS SOUPS 35516 WITH SCORE 35572.273
AT ITER 90 NEW BEST:: SOT 95940 SOS 56212 HAS SOPS 51884 HAS SOUS 38236 HAS SOUPS 35516 WITH SCORE 35572.212
AT ITER 91 NEW BEST:: SOT 96126 SOS 56315 HAS SOPS 52080 HAS SOUS 37917 HAS SOUPS 35290 WITH SCORE 35346.315
AT ITER 92 NEW BEST:: SOT 96106 SOS 56407 HAS SOPS 52109 HAS SOUS 36795 HAS SOUPS 34105 WITH SCORE 34161.407
AT ITER 93 NEW BEST:: SOT 95757 SOS 56569 HAS SOPS 51829 HAS SOUS 36697 HAS SOUPS 34011 WITH SCORE 34067.569
AT ITER 97 NEW BEST:: SOT 95736 SOS 56597 HAS SOPS 51787 HAS SOUS 36707 HAS SOUPS 34008 WITH SCORE 34064.597
AT ITER 99 NEW BEST:: SOT 95214 SOS 56073 HAS SOPS 51263 HAS SOUS 36690 HAS SOUPS 33991 WITH SCORE 34047.073
AT ITER 100 NEW BEST:: SOT 95412 SOS 56190 HAS SOPS 51409 HAS SOUS 36336 HAS SOUPS 33698 WITH SCORE 33754.19
AT ITER 101 NEW BEST:: SOT 92394 SOS 54657 HAS SOPS 49070 HAS SOUS 33685 HAS SOUPS 31319 WITH SCORE 31373.657
AT ITER 108 NEW BEST:: SOT 92422 SOS 54727 HAS SOPS 49154 HAS SOUS 33643 HAS SOUPS 31291 WITH SCORE 31345.727
AT ITER 110 NEW BEST:: SOT 92469 SOS 54648 HAS SOPS 49075 HAS SOUS 33611 HAS SOUPS 31259 WITH SCORE 31313.648
AT ITER 114 NEW BEST:: SOT 92469 SOS 54642 HAS SOPS 49058 HAS SOUS 33594 HAS SOUPS 31242 WITH SCORE 31296.642
AT ITER 115 NEW BEST:: SOT 92669 SOS 54900 HAS SOPS 49316 HAS SOUS 33576 HAS SOUPS 31224 WITH SCORE 31278.9
AT ITER 117 NEW BEST:: SOT 92684 SOS 54845 HAS SOPS 49261 HAS SOUS 33477 HAS SOUPS 31125 WITH SCORE 31179.845
AT ITER 119 NEW BEST:: SOT 92684 SOS 54740 HAS SOPS 49211 HAS SOUS 33316 HAS SOUPS 31019 WITH SCORE 31073.74
AT ITER 120 NEW BEST:: SOT 92741 SOS 54740 HAS SOPS 49211 HAS SOUS 33259 HAS SOUPS 30962 WITH SCORE 31016.74
AT ITER 121 NEW BEST:: SOT 92869 SOS 54857 HAS SOPS 49403 HAS SOUS 33007 HAS SOUPS 30774 WITH SCORE 30828.857
AT ITER 126 NEW BEST:: SOT 92828 SOS 54845 HAS SOPS 49391 HAS SOUS 33002 HAS SOUPS 30769 WITH SCORE 30823.845
AT ITER 127 NEW BEST:: SOT 92882 SOS 54952 HAS SOPS 49552 HAS SOUS 32874 HAS SOUPS 30695 WITH SCORE 30749.952
AT ITER 133 NEW BEST:: SOT 92944 SOS 54995 HAS SOPS 49595 HAS SOUS 32843 HAS SOUPS 30664 WITH SCORE 30718.995
AT ITER 135 NEW BEST:: SOT 93010 SOS 55195 HAS SOPS 49795 HAS SOUS 32831 HAS SOUPS 30652 WITH SCORE 30707.195
AT ITER 137 NEW BEST:: SOT 92171 SOS 55157 HAS SOPS 48898 HAS SOUS 32106 HAS SOUPS 29917 WITH SCORE 29972.157
AT ITER 141 NEW BEST:: SOT 92171 SOS 55153 HAS SOPS 48900 HAS SOUS 32105 HAS SOUPS 29917 WITH SCORE 29972.153
AT ITER 144 NEW BEST:: SOT 92199 SOS 55103 HAS SOPS 48830 HAS SOUS 32071 HAS SOUPS 29863 WITH SCORE 29918.103
AT ITER 147 NEW BEST:: SOT 92095 SOS 54947 HAS SOPS 48516 HAS SOUS 32104 HAS SOUPS 29843 WITH SCORE 29897.947
AT ITER 149 NEW BEST:: SOT 92105 SOS 54932 HAS SOPS 48497 HAS SOUS 32088 HAS SOUPS 29824 WITH SCORE 29878.932
AT ITER 153 NEW BEST:: SOT 92077 SOS 54885 HAS SOPS 48379 HAS SOUS 32107 HAS SOUPS 29812 WITH SCORE 29866.885
AT ITER 156 NEW BEST:: SOT 91728 SOS 54696 HAS SOPS 48108 HAS SOUS 31900 HAS SOUPS 29591 WITH SCORE 29645.696
AT ITER 159 NEW BEST:: SOT 91812 SOS 54780 HAS SOPS 48192 HAS SOUS 31879 HAS SOUPS 29570 WITH SCORE 29624.78
AT ITER 160 NEW BEST:: SOT 89092 SOS 54685 HAS SOPS 46658 HAS SOUS 30549 HAS SOUPS 28373 WITH SCORE 28427.685
AT ITER 161 NEW BEST:: SOT 89097 SOS 54674 HAS SOPS 46651 HAS SOUS 30538 HAS SOUPS 28362 WITH SCORE 28416.674
AT ITER 162 NEW BEST:: SOT 89090 SOS 54656 HAS SOPS 46633 HAS SOUS 30536 HAS SOUPS 28360 WITH SCORE 28414.656
AT ITER 165 NEW BEST:: SOT 89090 SOS 54596 HAS SOPS 46573 HAS SOUS 30516 HAS SOUPS 28340 WITH SCORE 28394.596
AT ITER 167 NEW BEST:: SOT 89574 SOS 54874 HAS SOPS 46851 HAS SOUS 30308 HAS SOUPS 28132 WITH SCORE 28186.874
AT ITER 169 NEW BEST:: SOT 89963 SOS 55425 HAS SOPS 47298 HAS SOUS 29920 HAS SOUPS 27643 WITH SCORE 27698.425
AT ITER 177 NEW BEST:: SOT 89957 SOS 55419 HAS SOPS 47292 HAS SOUS 29914 HAS SOUPS 27637 WITH SCORE 27692.419
AT ITER 178 NEW BEST:: SOT 89570 SOS 55342 HAS SOPS 46994 HAS SOUS 29542 HAS SOUPS 27324 WITH SCORE 27379.342
AT ITER 179 NEW BEST:: SOT 89581 SOS 55353 HAS SOPS 47005 HAS SOUS 29533 HAS SOUPS 27315 WITH SCORE 27370.353
AT ITER 181 NEW BEST:: SOT 89619 SOS 55267 HAS SOPS 46919 HAS SOUS 29409 HAS SOUPS 27191 WITH SCORE 27246.267
AT ITER 188 NEW BEST:: SOT 89619 SOS 55155 HAS SOPS 46807 HAS SOUS 29379 HAS SOUPS 27161 WITH SCORE 27216.155
AT ITER 190 NEW BEST:: SOT 89599 SOS 55135 HAS SOPS 46787 HAS SOUS 29369 HAS SOUPS 27151 WITH SCORE 27206.135
AT ITER 206 NEW BEST:: SOT 89369 SOS 54712 HAS SOPS 46470 HAS SOUS 28947 HAS SOUPS 26835 WITH SCORE 26889.712
AT ITER 207 NEW BEST:: SOT 89338 SOS 54554 HAS SOPS 46312 HAS SOUS 28869 HAS SOUPS 26757 WITH SCORE 26811.554
AT ITER 208 NEW BEST:: SOT 89078 SOS 54332 HAS SOPS 46134 HAS SOUS 28673 HAS SOUPS 26577 WITH SCORE 26631.332
AT ITER 213 NEW BEST:: SOT 88976 SOS 54199 HAS SOPS 46001 HAS SOUS 28498 HAS SOUPS 26402 WITH SCORE 26456.199
AT ITER 214 NEW BEST:: SOT 89014 SOS 54235 HAS SOPS 46037 HAS SOUS 28472 HAS SOUPS 26376 WITH SCORE 26430.235
AT ITER 216 NEW BEST:: SOT 89198 SOS 54561 HAS SOPS 46470 HAS SOUS 28096 HAS SOUPS 26113 WITH SCORE 26167.561
AT ITER 218 NEW BEST:: SOT 89505 SOS 54672 HAS SOPS 46542 HAS SOUS 27948 HAS SOUPS 25965 WITH SCORE 26019.672
AT ITER 219 NEW BEST:: SOT 89948 SOS 54858 HAS SOPS 46803 HAS SOUS 27664 HAS SOUPS 25681 WITH SCORE 25735.858
AT ITER 222 NEW BEST:: SOT 90449 SOS 55358 HAS SOPS 47377 HAS SOUS 26807 HAS SOUPS 24824 WITH SCORE 24879.358
AT ITER 223 NEW BEST:: SOT 92181 SOS 57090 HAS SOPS 49109 HAS SOUS 26421 HAS SOUPS 24438 WITH SCORE 24495.09
AT ITER 224 NEW BEST:: SOT 92163 SOS 57050 HAS SOPS 49069 HAS SOUS 26219 HAS SOUPS 24236 WITH SCORE 24293.05
AT ITER 226 NEW BEST:: SOT 92123 SOS 57010 HAS SOPS 49029 HAS SOUS 26210 HAS SOUPS 24227 WITH SCORE 24284.01
AT ITER 227 NEW BEST:: SOT 92261 SOS 56898 HAS SOPS 48917 HAS SOUS 26143 HAS SOUPS 24160 WITH SCORE 24216.898
AT ITER 228 NEW BEST:: SOT 93152 SOS 57908 HAS SOPS 49896 HAS SOUS 25056 HAS SOUPS 23026 WITH SCORE 23083.908
AT ITER 229 NEW BEST:: SOT 93146 SOS 57902 HAS SOPS 49892 HAS SOUS 25050 HAS SOUPS 23022 WITH SCORE 23079.902
AT ITER 230 NEW BEST:: SOT 93295 SOS 58002 HAS SOPS 49992 HAS SOUS 24979 HAS SOUPS 22951 WITH SCORE 23009.002
AT ITER 231 NEW BEST:: SOT 93295 SOS 58002 HAS SOPS 49992 HAS SOUS 24974 HAS SOUPS 22946 WITH SCORE 23004.002
AT ITER 239 NEW BEST:: SOT 93353 SOS 57887 HAS SOPS 49877 HAS SOUS 24813 HAS SOUPS 22785 WITH SCORE 22842.887
AT ITER 240 NEW BEST:: SOT 93353 SOS 57867 HAS SOPS 49857 HAS SOUS 24803 HAS SOUPS 22775 WITH SCORE 22832.867
AT ITER 241 NEW BEST:: SOT 93316 SOS 57830 HAS SOPS 49810 HAS SOUS 24621 HAS SOUPS 22593 WITH SCORE 22650.83
AT ITER 248 NEW BEST:: SOT 93279 SOS 57820 HAS SOPS 49800 HAS SOUS 24551 HAS SOUPS 22523 WITH SCORE 22580.82
AT ITER 251 NEW BEST:: SOT 93302 SOS 57794 HAS SOPS 49774 HAS SOUS 24527 HAS SOUPS 22499 WITH SCORE 22556.794
AT ITER 254 NEW BEST:: SOT 93137 SOS 57610 HAS SOPS 49663 HAS SOUS 24376 HAS SOUPS 22421 WITH SCORE 22478.61
AT ITER 258 NEW BEST:: SOT 93134 SOS 57547 HAS SOPS 49600 HAS SOUS 24347 HAS SOUPS 22392 WITH SCORE 22449.547
AT ITER 262 NEW BEST:: SOT 93134 SOS 57547 HAS SOPS 49600 HAS SOUS 24329 HAS SOUPS 22374 WITH SCORE 22431.547
AT ITER 270 NEW BEST:: SOT 93120 SOS 57514 HAS SOPS 49575 HAS SOUS 24305 HAS SOUPS 22354 WITH SCORE 22411.514
AT ITER 271 NEW BEST:: SOT 93092 SOS 57500 HAS SOPS 49547 HAS SOUS 24259 HAS SOUPS 22294 WITH SCORE 22351.5
AT ITER 273 NEW BEST:: SOT 93042 SOS 57450 HAS SOPS 49497 HAS SOUS 24233 HAS SOUPS 22268 WITH SCORE 22325.45
AT ITER 276 NEW BEST:: SOT 93034 SOS 57442 HAS SOPS 49489 HAS SOUS 24215 HAS SOUPS 22250 WITH SCORE 22307.442
AT ITER 287 NEW BEST:: SOT 92872 SOS 57485 HAS SOPS 49352 HAS SOUS 24038 HAS SOUPS 22073 WITH SCORE 22130.485
AT ITER 289 NEW BEST:: SOT 92876 SOS 57446 HAS SOPS 49313 HAS SOUS 23999 HAS SOUPS 22034 WITH SCORE 22091.446
AT ITER 290 NEW BEST:: SOT 92871 SOS 57416 HAS SOPS 49283 HAS SOUS 23969 HAS SOUPS 22004 WITH SCORE 22061.416
AT ITER 294 NEW BEST:: SOT 92855 SOS 57368 HAS SOPS 49235 HAS SOUS 23969 HAS SOUPS 22004 WITH SCORE 22061.368
AT ITER 295 NEW BEST:: SOT 92855 SOS 57368 HAS SOPS 49235 HAS SOUS 23968 HAS SOUPS 22003 WITH SCORE 22060.368
AT ITER 297 NEW BEST:: SOT 93080 SOS 57408 HAS SOPS 49345 HAS SOUS 23951 HAS SOUPS 21999 WITH SCORE 22056.408
AT ITER 299 NEW BEST:: SOT 91801 SOS 56507 HAS SOPS 48360 HAS SOUS 23535 HAS SOUPS 21570 WITH SCORE 21626.507
AT ITER 300 NEW BEST:: SOT 91816 SOS 56876 HAS SOPS 48688 HAS SOUS 23424 HAS SOUPS 21459 WITH SCORE 21515.876
AT ITER 304 NEW BEST:: SOT 92218 SOS 57286 HAS SOPS 49096 HAS SOUS 23291 HAS SOUPS 21318 WITH SCORE 21375.286
AT ITER 315 NEW BEST:: SOT 92344 SOS 57335 HAS SOPS 49200 HAS SOUS 23143 HAS SOUPS 21227 WITH SCORE 21284.335
AT ITER 316 NEW BEST:: SOT 92344 SOS 57335 HAS SOPS 49200 HAS SOUS 23089 HAS SOUPS 21173 WITH SCORE 21230.335
AT ITER 317 NEW BEST:: SOT 92079 SOS 56906 HAS SOPS 48925 HAS SOUS 22668 HAS SOUPS 20761 WITH SCORE 20817.906
AT ITER 323 NEW BEST:: SOT 92097 SOS 56920 HAS SOPS 48939 HAS SOUS 22652 HAS SOUPS 20745 WITH SCORE 20801.92
AT ITER 325 NEW BEST:: SOT 92097 SOS 56906 HAS SOPS 48939 HAS SOUS 22652 HAS SOUPS 20745 WITH SCORE 20801.906
AT ITER 330 NEW BEST:: SOT 92105 SOS 56907 HAS SOPS 48979 HAS SOUS 22570 HAS SOUPS 20695 WITH SCORE 20751.907
AT ITER 335 NEW BEST:: SOT 92105 SOS 56907 HAS SOPS 48975 HAS SOUS 22566 HAS SOUPS 20691 WITH SCORE 20747.907
AT ITER 337 NEW BEST:: SOT 92101 SOS 56902 HAS SOPS 48969 HAS SOUS 22560 HAS SOUPS 20685 WITH SCORE 20741.902
AT ITER 345 NEW BEST:: SOT 91826 SOS 56888 HAS SOPS 48955 HAS SOUS 22422 HAS SOUPS 20547 WITH SCORE 20603.888
AT ITER 348 NEW BEST:: SOT 91413 SOS 57668 HAS SOPS 48623 HAS SOUS 22320 HAS SOUPS 20362 WITH SCORE 20419.668
AT ITER 352 NEW BEST:: SOT 91253 SOS 57723 HAS SOPS 48594 HAS SOUS 22185 HAS SOUPS 20275 WITH SCORE 20332.723
AT ITER 358 NEW BEST:: SOT 91253 SOS 57672 HAS SOPS 48573 HAS SOUS 21983 HAS SOUPS 20073 WITH SCORE 20130.672
AT ITER 361 NEW BEST:: SOT 91253 SOS 57672 HAS SOPS 48578 HAS SOUS 21963 HAS SOUPS 20053 WITH SCORE 20110.672
AT ITER 386 NEW BEST:: SOT 91216 SOS 57612 HAS SOPS 48532 HAS SOUS 21888 HAS SOUPS 19992 WITH SCORE 20049.612
AT ITER 398 NEW BEST:: SOT 91413 SOS 57593 HAS SOPS 48513 HAS SOUS 21881 HAS SOUPS 19985 WITH SCORE 20042.593
AT ITER 400 NEW BEST:: SOT 91412 SOS 57592 HAS SOPS 48591 HAS SOUS 21773 HAS SOUPS 19877 WITH SCORE 19934.592
AT ITER 401 NEW BEST:: SOT 91536 SOS 57720 HAS SOPS 48719 HAS SOUS 21725 HAS SOUPS 19829 WITH SCORE 19886.72
AT ITER 405 NEW BEST:: SOT 91536 SOS 57685 HAS SOPS 48684 HAS SOUS 21550 HAS SOUPS 19654 WITH SCORE 19711.685
AT ITER 407 NEW BEST:: SOT 91505 SOS 57654 HAS SOPS 48652 HAS SOUS 21518 HAS SOUPS 19622 WITH SCORE 19679.654
AT ITER 413 NEW BEST:: SOT 91455 SOS 57664 HAS SOPS 48641 HAS SOUS 21499 HAS SOUPS 19615 WITH SCORE 19672.664
AT ITER 415 NEW BEST:: SOT 91453 SOS 57658 HAS SOPS 48635 HAS SOUS 21494 HAS SOUPS 19610 WITH SCORE 19667.658
AT ITER 425 NEW BEST:: SOT 91525 SOS 57610 HAS SOPS 48587 HAS SOUS 21494 HAS SOUPS 19610 WITH SCORE 19667.61
AT ITER 438 NEW BEST:: SOT 91489 SOS 57390 HAS SOPS 48330 HAS SOUS 21462 HAS SOUPS 19541 WITH SCORE 19598.39
AT ITER 439 NEW BEST:: SOT 91494 SOS 57380 HAS SOPS 48330 HAS SOUS 21447 HAS SOUPS 19531 WITH SCORE 19588.38
AT ITER 441 NEW BEST:: SOT 91498 SOS 57379 HAS SOPS 48331 HAS SOUS 21447 HAS SOUPS 19531 WITH SCORE 19588.379
AT ITER 447 NEW BEST:: SOT 91518 SOS 57491 HAS SOPS 48420 HAS SOUS 21289 HAS SOUPS 19350 WITH SCORE 19407.491
AT ITER 459 NEW BEST:: SOT 91518 SOS 57466 HAS SOPS 48395 HAS SOUS 21264 HAS SOUPS 19325 WITH SCORE 19382.466
AT ITER 467 NEW BEST:: SOT 91518 SOS 57466 HAS SOPS 48394 HAS SOUS 21263 HAS SOUPS 19324 WITH SCORE 19381.466
AT ITER 470 NEW BEST:: SOT 91532 SOS 57438 HAS SOPS 48380 HAS SOUS 21263 HAS SOUPS 19324 WITH SCORE 19381.438
AT ITER 471 NEW BEST:: SOT 91685 SOS 57611 HAS SOPS 48553 HAS SOUS 21099 HAS SOUPS 19160 WITH SCORE 19217.611
AT ITER 485 NEW BEST:: SOT 91736 SOS 57646 HAS SOPS 48588 HAS SOUS 21087 HAS SOUPS 19148 WITH SCORE 19205.646
AT ITER 486 NEW BEST:: SOT 91612 SOS 57554 HAS SOPS 48496 HAS SOUS 21015 HAS SOUPS 19076 WITH SCORE 19133.554
AT ITER 490 NEW BEST:: SOT 91598 SOS 57477 HAS SOPS 48412 HAS SOUS 20994 HAS SOUPS 19048 WITH SCORE 19105.477
AT ITER 491 NEW BEST:: SOT 91716 SOS 57365 HAS SOPS 48314 HAS SOUS 20968 HAS SOUPS 19022 WITH SCORE 19079.365
AT ITER 496 NEW BEST:: SOT 91371 SOS 57083 HAS SOPS 48140 HAS SOUS 20808 HAS SOUPS 18878 WITH SCORE 18935.083
AT ITER 498 NEW BEST:: SOT 91341 SOS 57108 HAS SOPS 48115 HAS SOUS 20792 HAS SOUPS 18857 WITH SCORE 18914.108
AT ITER 499 NEW BEST:: SOT 91376 SOS 57143 HAS SOPS 48150 HAS SOUS 20759 HAS SOUPS 18824 WITH SCORE 18881.143
AT ITER 504 NEW BEST:: SOT 91183 SOS 57237 HAS SOPS 48075 HAS SOUS 20638 HAS SOUPS 18761 WITH SCORE 18818.237
AT ITER 509 NEW BEST:: SOT 91029 SOS 57013 HAS SOPS 47801 HAS SOUS 20544 HAS SOUPS 18658 WITH SCORE 18715.013
AT ITER 514 NEW BEST:: SOT 92727 SOS 58860 HAS SOPS 49548 HAS SOUS 19340 HAS SOUPS 17354 WITH SCORE 17412.86
AT ITER 515 NEW BEST:: SOT 92874 SOS 58918 HAS SOPS 49607 HAS SOUS 19323 HAS SOUPS 17350 WITH SCORE 17408.918
AT ITER 536 NEW BEST:: SOT 92787 SOS 58744 HAS SOPS 49486 HAS SOUS 19322 HAS SOUPS 17324 WITH SCORE 17382.744
AT ITER 539 NEW BEST:: SOT 92808 SOS 58815 HAS SOPS 49557 HAS SOUS 19262 HAS SOUPS 17264 WITH SCORE 17322.815
AT ITER 541 NEW BEST:: SOT 93303 SOS 58168 HAS SOPS 49557 HAS SOUS 19324 HAS SOUPS 17264 WITH SCORE 17322.168
AT ITER 546 NEW BEST:: SOT 93273 SOS 58122 HAS SOPS 49511 HAS SOUS 19269 HAS SOUPS 17209 WITH SCORE 17267.122
AT ITER 549 NEW BEST:: SOT 93273 SOS 58034 HAS SOPS 49430 HAS SOUS 19262 HAS SOUPS 17202 WITH SCORE 17260.034
AT ITER 557 NEW BEST:: SOT 93093 SOS 57899 HAS SOPS 49295 HAS SOUS 19086 HAS SOUPS 17026 WITH SCORE 17083.899
AT ITER 563 NEW BEST:: SOT 92860 SOS 57728 HAS SOPS 49283 HAS SOUS 19025 HAS SOUPS 17016 WITH SCORE 17073.728
AT ITER 569 NEW BEST:: SOT 92842 SOS 57703 HAS SOPS 49258 HAS SOUS 19000 HAS SOUPS 16991 WITH SCORE 17048.703
AT ITER 578 NEW BEST:: SOT 92807 SOS 57633 HAS SOPS 49206 HAS SOUS 18963 HAS SOUPS 16963 WITH SCORE 17020.633
AT ITER 580 NEW BEST:: SOT 92803 SOS 57621 HAS SOPS 49198 HAS SOUS 18945 HAS SOUPS 16949 WITH SCORE 17006.621
AT ITER 582 NEW BEST:: SOT 92686 SOS 57396 HAS SOPS 48973 HAS SOUS 18919 HAS SOUPS 16923 WITH SCORE 16980.396
AT ITER 589 NEW BEST:: SOT 92674 SOS 57414 HAS SOPS 48997 HAS SOUS 18901 HAS SOUPS 16911 WITH SCORE 16968.414
AT ITER 590 NEW BEST:: SOT 92560 SOS 57327 HAS SOPS 48910 HAS SOUS 18786 HAS SOUPS 16796 WITH SCORE 16853.327
AT ITER 592 NEW BEST:: SOT 92476 SOS 57303 HAS SOPS 48886 HAS SOUS 18774 HAS SOUPS 16784 WITH SCORE 16841.303
AT ITER 597 NEW BEST:: SOT 92434 SOS 57219 HAS SOPS 48802 HAS SOUS 18754 HAS SOUPS 16764 WITH SCORE 16821.219
AT ITER 600 NEW BEST:: SOT 91817 SOS 58350 HAS SOPS 48664 HAS SOUS 18558 HAS SOUPS 16632 WITH SCORE 16690.35
AT ITER 602 NEW BEST:: SOT 91817 SOS 58347 HAS SOPS 48661 HAS SOUS 18555 HAS SOUPS 16629 WITH SCORE 16687.347
AT ITER 619 NEW BEST:: SOT 91799 SOS 58338 HAS SOPS 48634 HAS SOUS 18537 HAS SOUPS 16611 WITH SCORE 16669.338
AT ITER 620 NEW BEST:: SOT 91796 SOS 58140 HAS SOPS 48519 HAS SOUS 18197 HAS SOUPS 16271 WITH SCORE 16329.14
AT ITER 623 NEW BEST:: SOT 91799 SOS 58094 HAS SOPS 48460 HAS SOUS 18200 HAS SOUPS 16261 WITH SCORE 16319.094
AT ITER 630 NEW BEST:: SOT 91797 SOS 58091 HAS SOPS 48457 HAS SOUS 18197 HAS SOUPS 16258 WITH SCORE 16316.091
AT ITER 633 NEW BEST:: SOT 91792 SOS 58076 HAS SOPS 48437 HAS SOUS 18182 HAS SOUPS 16243 WITH SCORE 16301.076
AT ITER 645 NEW BEST:: SOT 91724 SOS 57940 HAS SOPS 48327 HAS SOUS 18102 HAS SOUPS 16158 WITH SCORE 16215.94
AT ITER 647 NEW BEST:: SOT 91643 SOS 57984 HAS SOPS 48354 HAS SOUS 18083 HAS SOUPS 16139 WITH SCORE 16196.984
AT ITER 670 NEW BEST:: SOT 91657 SOS 57820 HAS SOPS 48238 HAS SOUS 18069 HAS SOUPS 16125 WITH SCORE 16182.82
AT ITER 677 NEW BEST:: SOT 91662 SOS 57822 HAS SOPS 48232 HAS SOUS 18066 HAS SOUPS 16122 WITH SCORE 16179.822
AT ITER 689 NEW BEST:: SOT 91710 SOS 57806 HAS SOPS 48216 HAS SOUS 18024 HAS SOUPS 16080 WITH SCORE 16137.806
AT ITER 692 NEW BEST:: SOT 91695 SOS 57717 HAS SOPS 48127 HAS SOUS 17957 HAS SOUPS 16013 WITH SCORE 16070.717
AT ITER 696 NEW BEST:: SOT 91493 SOS 57554 HAS SOPS 47921 HAS SOUS 17830 HAS SOUPS 15886 WITH SCORE 15943.554
AT ITER 701 NEW BEST:: SOT 91533 SOS 57330 HAS SOPS 47829 HAS SOUS 17805 HAS SOUPS 15861 WITH SCORE 15918.33
AT ITER 702 NEW BEST:: SOT 90638 SOS 57361 HAS SOPS 47494 HAS SOUS 17691 HAS SOUPS 15734 WITH SCORE 15791.361
AT ITER 709 NEW BEST:: SOT 90638 SOS 57235 HAS SOPS 47331 HAS SOUS 17680 HAS SOUPS 15721 WITH SCORE 15778.235
AT ITER 712 NEW BEST:: SOT 90700 SOS 57230 HAS SOPS 47341 HAS SOUS 17678 HAS SOUPS 15719 WITH SCORE 15776.23
AT ITER 717 NEW BEST:: SOT 90692 SOS 57218 HAS SOPS 47333 HAS SOUS 17678 HAS SOUPS 15719 WITH SCORE 15776.218
AT ITER 718 NEW BEST:: SOT 90699 SOS 57236 HAS SOPS 47351 HAS SOUS 17666 HAS SOUPS 15707 WITH SCORE 15764.236
AT ITER 749 NEW BEST:: SOT 90691 SOS 57232 HAS SOPS 47347 HAS SOUS 17662 HAS SOUPS 15703 WITH SCORE 15760.232
AT ITER 752 NEW BEST:: SOT 91106 SOS 57081 HAS SOPS 47517 HAS SOUS 17634 HAS SOUPS 15688 WITH SCORE 15745.081
AT ITER 756 NEW BEST:: SOT 91100 SOS 57069 HAS SOPS 47551 HAS SOUS 17557 HAS SOUPS 15657 WITH SCORE 15714.069
AT ITER 766 NEW BEST:: SOT 91154 SOS 57089 HAS SOPS 47527 HAS SOUS 17514 HAS SOUPS 15614 WITH SCORE 15671.089
AT ITER 773 NEW BEST:: SOT 91187 SOS 57119 HAS SOPS 47581 HAS SOUS 17483 HAS SOUPS 15611 WITH SCORE 15668.119
AT ITER 775 NEW BEST:: SOT 91187 SOS 57109 HAS SOPS 47561 HAS SOUS 17463 HAS SOUPS 15591 WITH SCORE 15648.109
AT ITER 785 NEW BEST:: SOT 91187 SOS 55999 HAS SOPS 46163 HAS SOUS 17418 HAS SOUPS 15528 WITH SCORE 15583.999
AT ITER 790 NEW BEST:: SOT 91187 SOS 55999 HAS SOPS 46117 HAS SOUS 17372 HAS SOUPS 15482 WITH SCORE 15537.999
AT ITER 793 NEW BEST:: SOT 91187 SOS 55992 HAS SOPS 46116 HAS SOUS 17371 HAS SOUPS 15482 WITH SCORE 15537.992
AT ITER 816 NEW BEST:: SOT 91187 SOS 55995 HAS SOPS 46119 HAS SOUS 17359 HAS SOUPS 15470 WITH SCORE 15525.995
AT ITER 826 NEW BEST:: SOT 90529 SOS 55655 HAS SOPS 46109 HAS SOUS 17144 HAS SOUPS 15355 WITH SCORE 15410.655
AT ITER 830 NEW BEST:: SOT 90504 SOS 55574 HAS SOPS 46028 HAS SOUS 17047 HAS SOUPS 15258 WITH SCORE 15313.574
AT ITER 844 NEW BEST:: SOT 89232 SOS 55159 HAS SOPS 46086 HAS SOUS 16723 HAS SOUPS 15174 WITH SCORE 15229.159
AT ITER 848 NEW BEST:: SOT 89232 SOS 55086 HAS SOPS 46000 HAS SOUS 16698 HAS SOUPS 15143 WITH SCORE 15198.086
AT ITER 850 NEW BEST:: SOT 89232 SOS 55056 HAS SOPS 45970 HAS SOUS 16698 HAS SOUPS 15143 WITH SCORE 15198.056
AT ITER 853 NEW BEST:: SOT 89292 SOS 55169 HAS SOPS 46148 HAS SOUS 16534 HAS SOUPS 15068 WITH SCORE 15123.169
AT ITER 861 NEW BEST:: SOT 89132 SOS 54999 HAS SOPS 46038 HAS SOUS 16414 HAS SOUPS 14958 WITH SCORE 15012.999
AT ITER 873 NEW BEST:: SOT 89124 SOS 54983 HAS SOPS 45996 HAS SOUS 16326 HAS SOUPS 14870 WITH SCORE 14924.983
AT ITER 874 NEW BEST:: SOT 89124 SOS 54831 HAS SOPS 45844 HAS SOUS 16278 HAS SOUPS 14822 WITH SCORE 14876.831
AT ITER 878 NEW BEST:: SOT 89127 SOS 54831 HAS SOPS 45844 HAS SOUS 16275 HAS SOUPS 14819 WITH SCORE 14873.831
AT ITER 883 NEW BEST:: SOT 88370 SOS 56101 HAS SOPS 45697 HAS SOUS 16155 HAS SOUPS 14809 WITH SCORE 14865.101
AT ITER 887 NEW BEST:: SOT 88362 SOS 56093 HAS SOPS 45689 HAS SOUS 16137 HAS SOUPS 14791 WITH SCORE 14847.093
AT ITER 891 NEW BEST:: SOT 88434 SOS 56157 HAS SOPS 45703 HAS SOUS 16020 HAS SOUPS 14678 WITH SCORE 14734.157
AT ITER 898 NEW BEST:: SOT 88434 SOS 56117 HAS SOPS 45663 HAS SOUS 16020 HAS SOUPS 14678 WITH SCORE 14734.117
AT ITER 904 NEW BEST:: SOT 88350 SOS 56055 HAS SOPS 45548 HAS SOUS 15974 HAS SOUPS 14631 WITH SCORE 14687.055
AT ITER 906 NEW BEST:: SOT 88417 SOS 55998 HAS SOPS 45490 HAS SOUS 15946 HAS SOUPS 14603 WITH SCORE 14658.998
AT ITER 910 NEW BEST:: SOT 88391 SOS 55935 HAS SOPS 45427 HAS SOUS 15846 HAS SOUPS 14503 WITH SCORE 14558.935
AT ITER 914 NEW BEST:: SOT 87274 SOS 55374 HAS SOPS 45134 HAS SOUS 15746 HAS SOUPS 14356 WITH SCORE 14411.374
AT ITER 915 NEW BEST:: SOT 87278 SOS 55104 HAS SOPS 44680 HAS SOUS 15750 HAS SOUPS 14348 WITH SCORE 14403.104
AT ITER 916 NEW BEST:: SOT 87276 SOS 55102 HAS SOPS 44676 HAS SOUS 15748 HAS SOUPS 14346 WITH SCORE 14401.102
AT ITER 920 NEW BEST:: SOT 87246 SOS 55072 HAS SOPS 44647 HAS SOUS 15734 HAS SOUPS 14329 WITH SCORE 14384.072
AT ITER 922 NEW BEST:: SOT 87249 SOS 55072 HAS SOPS 44647 HAS SOUS 15732 HAS SOUPS 14327 WITH SCORE 14382.072
AT ITER 932 NEW BEST:: SOT 87158 SOS 54968 HAS SOPS 44586 HAS SOUS 15545 HAS SOUPS 14140 WITH SCORE 14194.968
AT ITER 933 NEW BEST:: SOT 87284 SOS 53942 HAS SOPS 44582 HAS SOUS 15528 HAS SOUPS 14130 WITH SCORE 14183.942
AT ITER 946 NEW BEST:: SOT 87284 SOS 53927 HAS SOPS 44552 HAS SOUS 15516 HAS SOUPS 14118 WITH SCORE 14171.927
AT ITER 949 NEW BEST:: SOT 85997 SOS 53576 HAS SOPS 44531 HAS SOUS 15417 HAS SOUPS 14097 WITH SCORE 14150.576
AT ITER 971 NEW BEST:: SOT 85855 SOS 53292 HAS SOPS 44303 HAS SOUS 15218 HAS SOUPS 13926 WITH SCORE 13979.292
AT ITER 983 NEW BEST:: SOT 85821 SOS 53263 HAS SOPS 44275 HAS SOUS 15180 HAS SOUPS 13888 WITH SCORE 13941.263
AT ITER 986 NEW BEST:: SOT 85772 SOS 52850 HAS SOPS 43337 HAS SOUS 15157 HAS SOUPS 13846 WITH SCORE 13898.85
AT ITER 988 NEW BEST:: SOT 85779 SOS 52953 HAS SOPS 43303 HAS SOUS 15177 HAS SOUPS 13836 WITH SCORE 13888.953
AT ITER 992 NEW BEST:: SOT 85303 SOS 52692 HAS SOPS 43257 HAS SOUS 15174 HAS SOUPS 13828 WITH SCORE 13880.692
AT ITER 1005 NEW BEST:: SOT 82209 SOS 49598 HAS SOPS 40099 HAS SOUS 15095 HAS SOUPS 13738 WITH SCORE 13787.598
AT ITER 1014 NEW BEST:: SOT 82207 SOS 49594 HAS SOPS 40097 HAS SOUS 15091 HAS SOUPS 13734 WITH SCORE 13783.594
AT ITER 1016 NEW BEST:: SOT 82178 SOS 49550 HAS SOPS 40213 HAS SOUS 15065 HAS SOUPS 13713 WITH SCORE 13762.55
AT ITER 1017 NEW BEST:: SOT 82139 SOS 49377 HAS SOPS 40132 HAS SOUS 14954 HAS SOUPS 13603 WITH SCORE 13652.377
AT ITER 1033 NEW BEST:: SOT 81334 SOS 48572 HAS SOPS 39307 HAS SOUS 14955 HAS SOUPS 13592 WITH SCORE 13640.572
AT ITER 1036 NEW BEST:: SOT 81315 SOS 48629 HAS SOPS 39345 HAS SOUS 14936 HAS SOUPS 13573 WITH SCORE 13621.629
AT ITER 1039 NEW BEST:: SOT 81297 SOS 48611 HAS SOPS 39327 HAS SOUS 14918 HAS SOUPS 13555 WITH SCORE 13603.611
AT ITER 1044 NEW BEST:: SOT 81307 SOS 48607 HAS SOPS 39299 HAS SOUS 14902 HAS SOUPS 13539 WITH SCORE 13587.607
AT ITER 1046 NEW BEST:: SOT 81293 SOS 48579 HAS SOPS 39271 HAS SOUS 14877 HAS SOUPS 13514 WITH SCORE 13562.579
AT ITER 1050 NEW BEST:: SOT 81139 SOS 48324 HAS SOPS 38983 HAS SOUS 14801 HAS SOUPS 13398 WITH SCORE 13446.324
AT ITER 1068 NEW BEST:: SOT 81136 SOS 48093 HAS SOPS 38827 HAS SOUS 14699 HAS SOUPS 13323 WITH SCORE 13371.093
AT ITER 1072 NEW BEST:: SOT 81064 SOS 48051 HAS SOPS 38447 HAS SOUS 14695 HAS SOUPS 13285 WITH SCORE 13333.051
AT ITER 1090 NEW BEST:: SOT 81137 SOS 48124 HAS SOPS 38474 HAS SOUS 14658 HAS SOUPS 13251 WITH SCORE 13299.124
AT ITER 1091 NEW BEST:: SOT 81138 SOS 48098 HAS SOPS 38448 HAS SOUS 14653 HAS SOUPS 13246 WITH SCORE 13294.098
AT ITER 1095 NEW BEST:: SOT 81080 SOS 48030 HAS SOPS 38380 HAS SOUS 14592 HAS SOUPS 13185 WITH SCORE 13233.03
AT ITER 1128 NEW BEST:: SOT 81052 SOS 48006 HAS SOPS 38360 HAS SOUS 14552 HAS SOUPS 13145 WITH SCORE 13193.006
AT ITER 1134 NEW BEST:: SOT 81039 SOS 47979 HAS SOPS 38273 HAS SOUS 14564 HAS SOUPS 13145 WITH SCORE 13192.979
AT ITER 1138 NEW BEST:: SOT 81017 SOS 47913 HAS SOPS 38207 HAS SOUS 14564 HAS SOUPS 13145 WITH SCORE 13192.913
AT ITER 1154 NEW BEST:: SOT 80979 SOS 47875 HAS SOPS 38169 HAS SOUS 14526 HAS SOUPS 13107 WITH SCORE 13154.875
AT ITER 1165 NEW BEST:: SOT 81020 SOS 47953 HAS SOPS 38272 HAS SOUS 14477 HAS SOUPS 13086 WITH SCORE 13133.953
AT ITER 1167 NEW BEST:: SOT 81020 SOS 47915 HAS SOPS 38234 HAS SOUS 14439 HAS SOUPS 13048 WITH SCORE 13095.915
AT ITER 1181 NEW BEST:: SOT 81020 SOS 47895 HAS SOPS 38214 HAS SOUS 14429 HAS SOUPS 13038 WITH SCORE 13085.895
AT ITER 1182 NEW BEST:: SOT 80990 SOS 47786 HAS SOPS 38154 HAS SOUS 14368 HAS SOUPS 12978 WITH SCORE 13025.786
AT ITER 1188 NEW BEST:: SOT 80946 SOS 47854 HAS SOPS 38160 HAS SOUS 14372 HAS SOUPS 12972 WITH SCORE 13019.854
AT ITER 1189 NEW BEST:: SOT 80943 SOS 47845 HAS SOPS 38157 HAS SOUS 14366 HAS SOUPS 12966 WITH SCORE 13013.845
AT ITER 1192 NEW BEST:: SOT 80913 SOS 47687 HAS SOPS 38489 HAS SOUS 14317 HAS SOUPS 12966 WITH SCORE 13013.687
AT ITER 1198 NEW BEST:: SOT 80878 SOS 47617 HAS SOPS 38419 HAS SOUS 14259 HAS SOUPS 12908 WITH SCORE 12955.617
AT ITER 1207 NEW BEST:: SOT 80877 SOS 47583 HAS SOPS 38385 HAS SOUS 14259 HAS SOUPS 12908 WITH SCORE 12955.583
AT ITER 1211 NEW BEST:: SOT 80904 SOS 47616 HAS SOPS 38400 HAS SOUS 14254 HAS SOUPS 12903 WITH SCORE 12950.616
AT ITER 1246 NEW BEST:: SOT 80893 SOS 47651 HAS SOPS 37917 HAS SOUS 14266 HAS SOUPS 12863 WITH SCORE 12910.651
AT ITER 1247 NEW BEST:: SOT 80893 SOS 47637 HAS SOPS 37917 HAS SOUS 14266 HAS SOUPS 12863 WITH SCORE 12910.637
AT ITER 1250 NEW BEST:: SOT 80858 SOS 47479 HAS SOPS 37759 HAS SOUS 14248 HAS SOUPS 12845 WITH SCORE 12892.479
AT ITER 1258 NEW BEST:: SOT 80901 SOS 47416 HAS SOPS 37761 HAS SOUS 14181 HAS SOUPS 12790 WITH SCORE 12837.416
AT ITER 1269 NEW BEST:: SOT 80754 SOS 49896 HAS SOPS 37751 HAS SOUS 14204 HAS SOUPS 12780 WITH SCORE 12829.896
AT ITER 1271 NEW BEST:: SOT 80751 SOS 49961 HAS SOPS 37745 HAS SOUS 14198 HAS SOUPS 12774 WITH SCORE 12823.961
AT ITER 1278 NEW BEST:: SOT 80751 SOS 49961 HAS SOPS 37736 HAS SOUS 14180 HAS SOUPS 12756 WITH SCORE 12805.961
AT ITER 1280 NEW BEST:: SOT 80737 SOS 49939 HAS SOPS 37754 HAS SOUS 14179 HAS SOUPS 12755 WITH SCORE 12804.939
AT ITER 1281 NEW BEST:: SOT 80741 SOS 49937 HAS SOPS 37754 HAS SOUS 14173 HAS SOUPS 12749 WITH SCORE 12798.937
AT ITER 1292 NEW BEST:: SOT 80804 SOS 50026 HAS SOPS 37787 HAS SOUS 14144 HAS SOUPS 12696 WITH SCORE 12746.026
AT ITER 1295 NEW BEST:: SOT 80821 SOS 50001 HAS SOPS 37759 HAS SOUS 14116 HAS SOUPS 12668 WITH SCORE 12718.001
AT ITER 1312 NEW BEST:: SOT 80821 SOS 49983 HAS SOPS 37747 HAS SOUS 14110 HAS SOUPS 12662 WITH SCORE 12711.983
AT ITER 1326 NEW BEST:: SOT 80818 SOS 49965 HAS SOPS 37729 HAS SOUS 14107 HAS SOUPS 12659 WITH SCORE 12708.965
AT ITER 1342 NEW BEST:: SOT 80653 SOS 49807 HAS SOPS 37634 HAS SOUS 14014 HAS SOUPS 12564 WITH SCORE 12613.807
AT ITER 1347 NEW BEST:: SOT 80642 SOS 49791 HAS SOPS 37603 HAS SOUS 14008 HAS SOUPS 12558 WITH SCORE 12607.791
AT ITER 1350 NEW BEST:: SOT 80629 SOS 49780 HAS SOPS 37589 HAS SOUS 13995 HAS SOUPS 12545 WITH SCORE 12594.78
AT ITER 1352 NEW BEST:: SOT 80627 SOS 49778 HAS SOPS 37585 HAS SOUS 13993 HAS SOUPS 12543 WITH SCORE 12592.778
AT ITER 1355 NEW BEST:: SOT 80601 SOS 49744 HAS SOPS 37551 HAS SOUS 13978 HAS SOUPS 12528 WITH SCORE 12577.744
AT ITER 1358 NEW BEST:: SOT 80568 SOS 49723 HAS SOPS 37530 HAS SOUS 13942 HAS SOUPS 12492 WITH SCORE 12541.723
AT ITER 1373 NEW BEST:: SOT 80456 SOS 49754 HAS SOPS 37479 HAS SOUS 13910 HAS SOUPS 12441 WITH SCORE 12490.754
AT ITER 1379 NEW BEST:: SOT 80467 SOS 49754 HAS SOPS 37479 HAS SOUS 13900 HAS SOUPS 12431 WITH SCORE 12480.754
AT ITER 1392 NEW BEST:: SOT 80453 SOS 49742 HAS SOPS 37467 HAS SOUS 13892 HAS SOUPS 12423 WITH SCORE 12472.742
AT ITER 1400 NEW BEST:: SOT 80452 SOS 49779 HAS SOPS 37504 HAS SOUS 13885 HAS SOUPS 12416 WITH SCORE 12465.779
AT ITER 1445 NEW BEST:: SOT 80452 SOS 49779 HAS SOPS 37509 HAS SOUS 13875 HAS SOUPS 12411 WITH SCORE 12460.779
AT ITER 1457 NEW BEST:: SOT 80422 SOS 49809 HAS SOPS 37503 HAS SOUS 13875 HAS SOUPS 12399 WITH SCORE 12448.809
AT ITER 1475 NEW BEST:: SOT 82924 SOS 52484 HAS SOPS 40147 HAS SOUS 13645 HAS SOUPS 12120 WITH SCORE 12172.484
AT ITER 1477 NEW BEST:: SOT 82920 SOS 52504 HAS SOPS 40125 HAS SOUS 13637 HAS SOUPS 12105 WITH SCORE 12157.504
AT ITER 1485 NEW BEST:: SOT 82808 SOS 52384 HAS SOPS 40088 HAS SOUS 13488 HAS SOUPS 12001 WITH SCORE 12053.384
AT ITER 1505 NEW BEST:: SOT 82802 SOS 52369 HAS SOPS 40073 HAS SOUS 13473 HAS SOUPS 11986 WITH SCORE 12038.369
AT ITER 1512 NEW BEST:: SOT 82823 SOS 52352 HAS SOPS 40057 HAS SOUS 13473 HAS SOUPS 11986 WITH SCORE 12038.352
AT ITER 1532 NEW BEST:: SOT 82842 SOS 52448 HAS SOPS 40153 HAS SOUS 13463 HAS SOUPS 11976 WITH SCORE 12028.448
AT ITER 1541 NEW BEST:: SOT 82890 SOS 52496 HAS SOPS 40252 HAS SOUS 13452 HAS SOUPS 11965 WITH SCORE 12017.496
AT ITER 1545 NEW BEST:: SOT 82887 SOS 52493 HAS SOPS 40252 HAS SOUS 13452 HAS SOUPS 11965 WITH SCORE 12017.493
AT ITER 1560 NEW BEST:: SOT 82809 SOS 52641 HAS SOPS 40216 HAS SOUS 13486 HAS SOUPS 11963 WITH SCORE 12015.641
AT ITER 1596 NEW BEST:: SOT 82808 SOS 52640 HAS SOPS 40214 HAS SOUS 13481 HAS SOUPS 11958 WITH SCORE 12010.64
AT ITER 1602 NEW BEST:: SOT 82770 SOS 52583 HAS SOPS 40157 HAS SOUS 13348 HAS SOUPS 11825 WITH SCORE 11877.583
AT ITER 1604 NEW BEST:: SOT 82362 SOS 52393 HAS SOPS 39963 HAS SOUS 13176 HAS SOUPS 11653 WITH SCORE 11705.393
AT ITER 1626 NEW BEST:: SOT 82361 SOS 52392 HAS SOPS 39963 HAS SOUS 13177 HAS SOUPS 11653 WITH SCORE 11705.392
AT ITER 1649 NEW BEST:: SOT 82424 SOS 52398 HAS SOPS 39969 HAS SOUS 13175 HAS SOUPS 11651 WITH SCORE 11703.398
AT ITER 1651 NEW BEST:: SOT 82426 SOS 52409 HAS SOPS 39980 HAS SOUS 13170 HAS SOUPS 11646 WITH SCORE 11698.409
AT ITER 1657 NEW BEST:: SOT 82470 SOS 52336 HAS SOPS 39907 HAS SOUS 13066 HAS SOUPS 11542 WITH SCORE 11594.336
AT ITER 1658 NEW BEST:: SOT 82567 SOS 52422 HAS SOPS 39859 HAS SOUS 13109 HAS SOUPS 11536 WITH SCORE 11588.422
AT ITER 1683 NEW BEST:: SOT 82282 SOS 52107 HAS SOPS 39544 HAS SOUS 13022 HAS SOUPS 11449 WITH SCORE 11501.107
AT ITER 1685 NEW BEST:: SOT 82278 SOS 52099 HAS SOPS 39539 HAS SOUS 13013 HAS SOUPS 11443 WITH SCORE 11495.099
AT ITER 1708 NEW BEST:: SOT 82260 SOS 52081 HAS SOPS 39521 HAS SOUS 13004 HAS SOUPS 11434 WITH SCORE 11486.081
AT ITER 1715 NEW BEST:: SOT 82257 SOS 52078 HAS SOPS 39521 HAS SOUS 13007 HAS SOUPS 11434 WITH SCORE 11486.078
AT ITER 1717 NEW BEST:: SOT 82177 SOS 51954 HAS SOPS 39419 HAS SOUS 12897 HAS SOUPS 11346 WITH SCORE 11397.954
AT ITER 1753 NEW BEST:: SOT 82139 SOS 51981 HAS SOPS 39421 HAS SOUS 12886 HAS SOUPS 11335 WITH SCORE 11386.981
AT ITER 1763 NEW BEST:: SOT 82139 SOS 51959 HAS SOPS 39399 HAS SOUS 12884 HAS SOUPS 11333 WITH SCORE 11384.959
AT ITER 1776 NEW BEST:: SOT 81947 SOS 52458 HAS SOPS 39261 HAS SOUS 12855 HAS SOUPS 11304 WITH SCORE 11356.458
AT ITER 1786 NEW BEST:: SOT 81944 SOS 52455 HAS SOPS 39249 HAS SOUS 12854 HAS SOUPS 11302 WITH SCORE 11354.455
AT ITER 1788 NEW BEST:: SOT 81939 SOS 52453 HAS SOPS 39245 HAS SOUS 12853 HAS SOUPS 11301 WITH SCORE 11353.453
AT ITER 1804 NEW BEST:: SOT 80679 SOS 54437 HAS SOPS 39207 HAS SOUS 12918 HAS SOUPS 11227 WITH SCORE 11281.437
AT ITER 1805 NEW BEST:: SOT 80677 SOS 54435 HAS SOPS 39201 HAS SOUS 12914 HAS SOUPS 11223 WITH SCORE 11277.435
AT ITER 1812 NEW BEST:: SOT 80655 SOS 54394 HAS SOPS 39163 HAS SOUS 12890 HAS SOUPS 11200 WITH SCORE 11254.394
AT ITER 1818 NEW BEST:: SOT 80677 SOS 54405 HAS SOPS 39163 HAS SOUS 12868 HAS SOUPS 11178 WITH SCORE 11232.405
AT ITER 1821 NEW BEST:: SOT 80666 SOS 54479 HAS SOPS 39189 HAS SOUS 12866 HAS SOUPS 11176 WITH SCORE 11230.479
AT ITER 1829 NEW BEST:: SOT 80681 SOS 54467 HAS SOPS 39189 HAS SOUS 12861 HAS SOUPS 11176 WITH SCORE 11230.467
AT ITER 1830 NEW BEST:: SOT 78548 SOS 52835 HAS SOPS 39197 HAS SOUS 12630 HAS SOUPS 11153 WITH SCORE 11205.835
AT ITER 1845 NEW BEST:: SOT 78442 SOS 52839 HAS SOPS 39129 HAS SOUS 12603 HAS SOUPS 11126 WITH SCORE 11178.839
AT ITER 1846 NEW BEST:: SOT 78440 SOS 52833 HAS SOPS 39125 HAS SOUS 12605 HAS SOUPS 11126 WITH SCORE 11178.833
AT ITER 1847 NEW BEST:: SOT 76952 SOS 51345 HAS SOPS 37637 HAS SOUS 12353 HAS SOUPS 10874 WITH SCORE 10925.345
AT ITER 1862 NEW BEST:: SOT 76950 SOS 51337 HAS SOPS 37627 HAS SOUS 12345 HAS SOUPS 10866 WITH SCORE 10917.337
AT ITER 1906 NEW BEST:: SOT 76850 SOS 51237 HAS SOPS 37527 HAS SOUS 12344 HAS SOUPS 10838 WITH SCORE 10889.237
AT ITER 1932 NEW BEST:: SOT 76850 SOS 51198 HAS SOPS 37488 HAS SOUS 12332 HAS SOUPS 10826 WITH SCORE 10877.198
AT ITER 1949 NEW BEST:: SOT 76718 SOS 50950 HAS SOPS 37278 HAS SOUS 12201 HAS SOUPS 10692 WITH SCORE 10742.95
AT ITER 1956 NEW BEST:: SOT 76702 SOS 50907 HAS SOPS 37246 HAS SOUS 12185 HAS SOUPS 10676 WITH SCORE 10726.907
AT ITER 1962 NEW BEST:: SOT 76833 SOS 51016 HAS SOPS 37304 HAS SOUS 12118 HAS SOUPS 10635 WITH SCORE 10686.016
AT ITER 1964 NEW BEST:: SOT 76815 SOS 50989 HAS SOPS 37286 HAS SOUS 12099 HAS SOUPS 10625 WITH SCORE 10675.989
AT ITER 1967 NEW BEST:: SOT 76807 SOS 50981 HAS SOPS 37262 HAS SOUS 12111 HAS SOUPS 10625 WITH SCORE 10675.981
AT ITER 1968 NEW BEST:: SOT 76783 SOS 50961 HAS SOPS 37242 HAS SOUS 12103 HAS SOUPS 10617 WITH SCORE 10667.961
AT ITER 2032 NEW BEST:: SOT 76774 SOS 50905 HAS SOPS 36794 HAS SOUS 12140 HAS SOUPS 10599 WITH SCORE 10649.905
AT ITER 2047 NEW BEST:: SOT 76741 SOS 50790 HAS SOPS 36690 HAS SOUS 12134 HAS SOUPS 10593 WITH SCORE 10643.79
AT ITER 2060 NEW BEST:: SOT 76695 SOS 50762 HAS SOPS 36632 HAS SOUS 12090 HAS SOUPS 10549 WITH SCORE 10599.762
AT ITER 2062 NEW BEST:: SOT 76464 SOS 53073 HAS SOPS 36676 HAS SOUS 12103 HAS SOUPS 10541 WITH SCORE 10594.073
AT ITER 2066 NEW BEST:: SOT 76423 SOS 53082 HAS SOPS 36620 HAS SOUS 12074 HAS SOUPS 10512 WITH SCORE 10565.082
AT ITER 2127 NEW BEST:: SOT 76429 SOS 53059 HAS SOPS 36564 HAS SOUS 12062 HAS SOUPS 10500 WITH SCORE 10553.059
AT ITER 2139 NEW BEST:: SOT 76426 SOS 53054 HAS SOPS 36559 HAS SOUS 12059 HAS SOUPS 10497 WITH SCORE 10550.054
AT ITER 2154 NEW BEST:: SOT 76348 SOS 53026 HAS SOPS 37261 HAS SOUS 11995 HAS SOUPS 10497 WITH SCORE 10550.026
AT ITER 2155 NEW BEST:: SOT 76478 SOS 53231 HAS SOPS 37391 HAS SOUS 11979 HAS SOUPS 10481 WITH SCORE 10534.231
AT ITER 2214 NEW BEST:: SOT 76473 SOS 53173 HAS SOPS 37405 HAS SOUS 11964 HAS SOUPS 10478 WITH SCORE 10531.173
AT ITER 2226 NEW BEST:: SOT 76481 SOS 53159 HAS SOPS 37246 HAS SOUS 11927 HAS SOUPS 10441 WITH SCORE 10494.159
AT ITER 2232 NEW BEST:: SOT 76481 SOS 53155 HAS SOPS 37242 HAS SOUS 11925 HAS SOUPS 10439 WITH SCORE 10492.155
AT ITER 2245 NEW BEST:: SOT 76460 SOS 53145 HAS SOPS 37232 HAS SOUS 11917 HAS SOUPS 10431 WITH SCORE 10484.145
AT ITER 2252 NEW BEST:: SOT 76169 SOS 52899 HAS SOPS 37232 HAS SOUS 11919 HAS SOUPS 10431 WITH SCORE 10483.899
AT ITER 2263 NEW BEST:: SOT 76212 SOS 52877 HAS SOPS 37254 HAS SOUS 11879 HAS SOUPS 10423 WITH SCORE 10475.877
AT ITER 2264 NEW BEST:: SOT 76190 SOS 52828 HAS SOPS 37205 HAS SOUS 11873 HAS SOUPS 10417 WITH SCORE 10469.828
AT ITER 2274 NEW BEST:: SOT 76205 SOS 52820 HAS SOPS 37201 HAS SOUS 11869 HAS SOUPS 10413 WITH SCORE 10465.82
AT ITER 2277 NEW BEST:: SOT 75972 SOS 52674 HAS SOPS 37211 HAS SOUS 11874 HAS SOUPS 10403 WITH SCORE 10455.674
AT ITER 2278 NEW BEST:: SOT 75952 SOS 52654 HAS SOPS 37191 HAS SOUS 11854 HAS SOUPS 10389 WITH SCORE 10441.654
AT ITER 2307 NEW BEST:: SOT 75570 SOS 53010 HAS SOPS 37191 HAS SOUS 11913 HAS SOUPS 10384 WITH SCORE 10437.01
AT ITER 2322 NEW BEST:: SOT 75509 SOS 53023 HAS SOPS 37159 HAS SOUS 11928 HAS SOUPS 10359 WITH SCORE 10412.023
AT ITER 2336 NEW BEST:: SOT 75615 SOS 53065 HAS SOPS 37249 HAS SOUS 11903 HAS SOUPS 10334 WITH SCORE 10387.065
AT ITER 2345 NEW BEST:: SOT 75614 SOS 52740 HAS SOPS 37085 HAS SOUS 11901 HAS SOUPS 10332 WITH SCORE 10384.74
AT ITER 2346 NEW BEST:: SOT 75612 SOS 52738 HAS SOPS 37083 HAS SOUS 11900 HAS SOUPS 10331 WITH SCORE 10383.738
AT ITER 2353 NEW BEST:: SOT 75549 SOS 52675 HAS SOPS 37075 HAS SOUS 11892 HAS SOUPS 10323 WITH SCORE 10375.675
AT ITER 2357 NEW BEST:: SOT 75522 SOS 52648 HAS SOPS 37042 HAS SOUS 11859 HAS SOUPS 10297 WITH SCORE 10349.648
AT ITER 2364 NEW BEST:: SOT 75474 SOS 52568 HAS SOPS 36978 HAS SOUS 11831 HAS SOUPS 10269 WITH SCORE 10321.568
AT ITER 2391 NEW BEST:: SOT 75474 SOS 52528 HAS SOPS 36946 HAS SOUS 11815 HAS SOUPS 10253 WITH SCORE 10305.528
AT ITER 2393 NEW BEST:: SOT 75437 SOS 52478 HAS SOPS 36897 HAS SOUS 11784 HAS SOUPS 10222 WITH SCORE 10274.478
AT ITER 2428 NEW BEST:: SOT 75437 SOS 52465 HAS SOPS 36884 HAS SOUS 11771 HAS SOUPS 10209 WITH SCORE 10261.465
AT ITER 2445 NEW BEST:: SOT 75421 SOS 52442 HAS SOPS 36861 HAS SOUS 11759 HAS SOUPS 10197 WITH SCORE 10249.442
AT ITER 2456 NEW BEST:: SOT 75433 SOS 52424 HAS SOPS 36843 HAS SOUS 11747 HAS SOUPS 10185 WITH SCORE 10237.424
AT ITER 2471 NEW BEST:: SOT 75447 SOS 52438 HAS SOPS 36857 HAS SOUS 11684 HAS SOUPS 10133 WITH SCORE 10185.438
AT ITER 2483 NEW BEST:: SOT 75429 SOS 52420 HAS SOPS 36821 HAS SOUS 11656 HAS SOUPS 10097 WITH SCORE 10149.42
AT ITER 2506 NEW BEST:: SOT 75431 SOS 52384 HAS SOPS 36811 HAS SOUS 11635 HAS SOUPS 10087 WITH SCORE 10139.384
AT ITER 2508 NEW BEST:: SOT 77321 SOS 53818 HAS SOPS 36713 HAS SOUS 11646 HAS SOUPS 10064 WITH SCORE 10117.818
AT ITER 2548 NEW BEST:: SOT 77267 SOS 54401 HAS SOPS 36691 HAS SOUS 11646 HAS SOUPS 10048 WITH SCORE 10102.401
AT ITER 2566 NEW BEST:: SOT 77259 SOS 54393 HAS SOPS 36681 HAS SOUS 11638 HAS SOUPS 10040 WITH SCORE 10094.393
AT ITER 2568 NEW BEST:: SOT 77219 SOS 54365 HAS SOPS 36649 HAS SOUS 11624 HAS SOUPS 10026 WITH SCORE 10080.365
AT ITER 2579 NEW BEST:: SOT 77201 SOS 54417 HAS SOPS 36647 HAS SOUS 11631 HAS SOUPS 10024 WITH SCORE 10078.417
AT ITER 2590 NEW BEST:: SOT 77206 SOS 54474 HAS SOPS 36707 HAS SOUS 11620 HAS SOUPS 10013 WITH SCORE 10067.474
AT ITER 2594 NEW BEST:: SOT 77197 SOS 54423 HAS SOPS 36669 HAS SOUS 11578 HAS SOUPS 9977 WITH SCORE 10031.423
AT ITER 2614 NEW BEST:: SOT 77378 SOS 54361 HAS SOPS 36607 HAS SOUS 11547 HAS SOUPS 9946 WITH SCORE 10000.361
AT ITER 2652 NEW BEST:: SOT 77365 SOS 54335 HAS SOPS 36589 HAS SOUS 11542 HAS SOUPS 9941 WITH SCORE 9995.335
AT ITER 2680 NEW BEST:: SOT 77364 SOS 54331 HAS SOPS 36587 HAS SOUS 11541 HAS SOUPS 9940 WITH SCORE 9994.331
AT ITER 2692 NEW BEST:: SOT 77290 SOS 54311 HAS SOPS 36551 HAS SOUS 11561 HAS SOUPS 9933 WITH SCORE 9987.311
AT ITER 2695 NEW BEST:: SOT 77242 SOS 54480 HAS SOPS 36557 HAS SOUS 11596 HAS SOUPS 9925 WITH SCORE 9979.48
AT ITER 2699 NEW BEST:: SOT 77242 SOS 54438 HAS SOPS 36543 HAS SOUS 11582 HAS SOUPS 9911 WITH SCORE 9965.438
AT ITER 2703 NEW BEST:: SOT 77233 SOS 54429 HAS SOPS 36534 HAS SOUS 11573 HAS SOUPS 9902 WITH SCORE 9956.429
AT ITER 2706 NEW BEST:: SOT 77228 SOS 54428 HAS SOPS 36530 HAS SOUS 11572 HAS SOUPS 9898 WITH SCORE 9952.428
AT ITER 2730 NEW BEST:: SOT 77241 SOS 54434 HAS SOPS 36536 HAS SOUS 11571 HAS SOUPS 9897 WITH SCORE 9951.434
AT ITER 2732 NEW BEST:: SOT 77336 SOS 54392 HAS SOPS 36494 HAS SOUS 11554 HAS SOUPS 9880 WITH SCORE 9934.392
AT ITER 2795 NEW BEST:: SOT 77261 SOS 54387 HAS SOPS 36518 HAS SOUS 11536 HAS SOUPS 9862 WITH SCORE 9916.387
AT ITER 2824 NEW BEST:: SOT 77333 SOS 54456 HAS SOPS 37034 HAS SOUS 11485 HAS SOUPS 9859 WITH SCORE 9913.456
AT ITER 2831 NEW BEST:: SOT 77346 SOS 54443 HAS SOPS 37021 HAS SOUS 11467 HAS SOUPS 9841 WITH SCORE 9895.443
AT ITER 2838 NEW BEST:: SOT 77278 SOS 54671 HAS SOPS 37013 HAS SOUS 11463 HAS SOUPS 9833 WITH SCORE 9887.671
AT ITER 2861 NEW BEST:: SOT 76850 SOS 54295 HAS SOPS 36993 HAS SOUS 11400 HAS SOUPS 9819 WITH SCORE 9873.295
AT ITER 2867 NEW BEST:: SOT 76848 SOS 54293 HAS SOPS 36991 HAS SOUS 11396 HAS SOUPS 9815 WITH SCORE 9869.293
AT ITER 2900 NEW BEST:: SOT 77030 SOS 54485 HAS SOPS 37183 HAS SOUS 11376 HAS SOUPS 9795 WITH SCORE 9849.485
AT ITER 2949 NEW BEST:: SOT 76992 SOS 54467 HAS SOPS 37109 HAS SOUS 11302 HAS SOUPS 9721 WITH SCORE 9775.467
AT ITER 2950 NEW BEST:: SOT 76974 SOS 54479 HAS SOPS 37109 HAS SOUS 11296 HAS SOUPS 9715 WITH SCORE 9769.479
AT ITER 2973 NEW BEST:: SOT 76974 SOS 54476 HAS SOPS 37109 HAS SOUS 11293 HAS SOUPS 9715 WITH SCORE 9769.476
AT ITER 3001 NEW BEST:: SOT 76971 SOS 54473 HAS SOPS 37103 HAS SOUS 11290 HAS SOUPS 9709 WITH SCORE 9763.473
AT ITER 3031 NEW BEST:: SOT 76963 SOS 54469 HAS SOPS 37059 HAS SOUS 11290 HAS SOUPS 9705 WITH SCORE 9759.469
AT ITER 3034 NEW BEST:: SOT 76951 SOS 54097 HAS SOPS 37053 HAS SOUS 11266 HAS SOUPS 9699 WITH SCORE 9753.097
AT ITER 3036 NEW BEST:: SOT 76864 SOS 53923 HAS SOPS 36879 HAS SOUS 11209 HAS SOUPS 9642 WITH SCORE 9695.923
AT ITER 3044 NEW BEST:: SOT 76870 SOS 53945 HAS SOPS 36891 HAS SOUS 11205 HAS SOUPS 9638 WITH SCORE 9691.945
AT ITER 3050 NEW BEST:: SOT 76767 SOS 53842 HAS SOPS 36779 HAS SOUS 11155 HAS SOUPS 9588 WITH SCORE 9641.842
AT ITER 3073 NEW BEST:: SOT 76771 SOS 53850 HAS SOPS 36779 HAS SOUS 11145 HAS SOUPS 9578 WITH SCORE 9631.85
AT ITER 3095 NEW BEST:: SOT 76771 SOS 53858 HAS SOPS 36775 HAS SOUS 11142 HAS SOUPS 9573 WITH SCORE 9626.858
AT ITER 3096 NEW BEST:: SOT 76756 SOS 53833 HAS SOPS 36745 HAS SOUS 11131 HAS SOUPS 9562 WITH SCORE 9615.833
AT ITER 3097 NEW BEST:: SOT 76742 SOS 53812 HAS SOPS 36731 HAS SOUS 11130 HAS SOUPS 9557 WITH SCORE 9610.812
AT ITER 3133 NEW BEST:: SOT 76718 SOS 53764 HAS SOPS 36695 HAS SOUS 11085 HAS SOUPS 9521 WITH SCORE 9574.764
AT ITER 3156 NEW BEST:: SOT 76717 SOS 53763 HAS SOPS 36694 HAS SOUS 11083 HAS SOUPS 9519 WITH SCORE 9572.763
AT ITER 3163 NEW BEST:: SOT 76717 SOS 53763 HAS SOPS 36692 HAS SOUS 11082 HAS SOUPS 9518 WITH SCORE 9571.763
AT ITER 3174 NEW BEST:: SOT 76718 SOS 53730 HAS SOPS 36654 HAS SOUS 11078 HAS SOUPS 9514 WITH SCORE 9567.73
AT ITER 3175 NEW BEST:: SOT 76716 SOS 53728 HAS SOPS 36652 HAS SOUS 11076 HAS SOUPS 9512 WITH SCORE 9565.728
AT ITER 3188 NEW BEST:: SOT 76665 SOS 53643 HAS SOPS 36567 HAS SOUS 11042 HAS SOUPS 9478 WITH SCORE 9531.643
AT ITER 3189 NEW BEST:: SOT 76642 SOS 53623 HAS SOPS 36353 HAS SOUS 11019 HAS SOUPS 9455 WITH SCORE 9508.623
AT ITER 3198 NEW BEST:: SOT 76698 SOS 53582 HAS SOPS 36335 HAS SOUS 11001 HAS SOUPS 9455 WITH SCORE 9508.582
AT ITER 3209 NEW BEST:: SOT 76698 SOS 53570 HAS SOPS 36343 HAS SOUS 10997 HAS SOUPS 9451 WITH SCORE 9504.57
AT ITER 3210 NEW BEST:: SOT 76710 SOS 53566 HAS SOPS 36339 HAS SOUS 10995 HAS SOUPS 9449 WITH SCORE 9502.566
AT ITER 3215 NEW BEST:: SOT 76580 SOS 53461 HAS SOPS 36339 HAS SOUS 10972 HAS SOUPS 9439 WITH SCORE 9492.461
AT ITER 3218 NEW BEST:: SOT 76576 SOS 53453 HAS SOPS 36331 HAS SOUS 10964 HAS SOUPS 9431 WITH SCORE 9484.453
AT ITER 3229 NEW BEST:: SOT 76588 SOS 53441 HAS SOPS 36331 HAS SOUS 10946 HAS SOUPS 9419 WITH SCORE 9472.441
AT ITER 3243 NEW BEST:: SOT 76576 SOS 53423 HAS SOPS 36316 HAS SOUS 10934 HAS SOUPS 9407 WITH SCORE 9460.423
AT ITER 3252 NEW BEST:: SOT 76539 SOS 53349 HAS SOPS 36268 HAS SOUS 10932 HAS SOUPS 9405 WITH SCORE 9458.349
AT ITER 3307 NEW BEST:: SOT 76539 SOS 53337 HAS SOPS 36260 HAS SOUS 10928 HAS SOUPS 9401 WITH SCORE 9454.337
AT ITER 3309 NEW BEST:: SOT 76536 SOS 53351 HAS SOPS 36270 HAS SOUS 10927 HAS SOUPS 9400 WITH SCORE 9453.351
AT ITER 3376 NEW BEST:: SOT 76500 SOS 53327 HAS SOPS 36240 HAS SOUS 10915 HAS SOUPS 9388 WITH SCORE 9441.327
AT ITER 3400 NEW BEST:: SOT 76505 SOS 53325 HAS SOPS 36238 HAS SOUS 10912 HAS SOUPS 9385 WITH SCORE 9438.325
AT ITER 3424 NEW BEST:: SOT 76497 SOS 53314 HAS SOPS 36228 HAS SOUS 10903 HAS SOUPS 9376 WITH SCORE 9429.314
AT ITER 3434 NEW BEST:: SOT 76482 SOS 53299 HAS SOPS 36216 HAS SOUS 10891 HAS SOUPS 9364 WITH SCORE 9417.299
AT ITER 3456 NEW BEST:: SOT 76489 SOS 53298 HAS SOPS 36215 HAS SOUS 10890 HAS SOUPS 9363 WITH SCORE 9416.298
AT ITER 3496 NEW BEST:: SOT 76513 SOS 53322 HAS SOPS 36227 HAS SOUS 10899 HAS SOUPS 9360 WITH SCORE 9413.322
AT ITER 3500 NEW BEST:: SOT 76515 SOS 53351 HAS SOPS 36220 HAS SOUS 10902 HAS SOUPS 9357 WITH SCORE 9410.351
AT ITER 3513 NEW BEST:: SOT 76479 SOS 53339 HAS SOPS 36204 HAS SOUS 10898 HAS SOUPS 9349 WITH SCORE 9402.339
AT ITER 3517 NEW BEST:: SOT 76475 SOS 53323 HAS SOPS 36188 HAS SOUS 10892 HAS SOUPS 9343 WITH SCORE 9396.323
AT ITER 3522 NEW BEST:: SOT 76469 SOS 53313 HAS SOPS 36176 HAS SOUS 10880 HAS SOUPS 9331 WITH SCORE 9384.313
AT ITER 3584 NEW BEST:: SOT 76462 SOS 53279 HAS SOPS 36142 HAS SOUS 10866 HAS SOUPS 9317 WITH SCORE 9370.279
AT ITER 3601 NEW BEST:: SOT 76447 SOS 53270 HAS SOPS 36133 HAS SOUS 10866 HAS SOUPS 9317 WITH SCORE 9370.27
AT ITER 3608 NEW BEST:: SOT 76438 SOS 53369 HAS SOPS 36470 HAS SOUS 10847 HAS SOUPS 9298 WITH SCORE 9351.369
AT ITER 3623 NEW BEST:: SOT 76444 SOS 53357 HAS SOPS 36458 HAS SOUS 10835 HAS SOUPS 9286 WITH SCORE 9339.357
AT ITER 3632 NEW BEST:: SOT 76464 SOS 53347 HAS SOPS 36468 HAS SOUS 10806 HAS SOUPS 9257 WITH SCORE 9310.347
AT ITER 3648 NEW BEST:: SOT 76455 SOS 53338 HAS SOPS 36477 HAS SOUS 10798 HAS SOUPS 9249 WITH SCORE 9302.338
AT ITER 3677 NEW BEST:: SOT 76441 SOS 53350 HAS SOPS 36475 HAS SOUS 10796 HAS SOUPS 9247 WITH SCORE 9300.35
AT ITER 3723 NEW BEST:: SOT 76423 SOS 53350 HAS SOPS 36466 HAS SOUS 10787 HAS SOUPS 9238 WITH SCORE 9291.35
AT ITER 3757 NEW BEST:: SOT 76420 SOS 53347 HAS SOPS 36460 HAS SOUS 10752 HAS SOUPS 9203 WITH SCORE 9256.347
AT ITER 3780 NEW BEST:: SOT 76448 SOS 53359 HAS SOPS 36472 HAS SOUS 10746 HAS SOUPS 9197 WITH SCORE 9250.359
AT ITER 3816 NEW BEST:: SOT 76444 SOS 53351 HAS SOPS 36464 HAS SOUS 10740 HAS SOUPS 9191 WITH SCORE 9244.351
AT ITER 3840 NEW BEST:: SOT 76442 SOS 53348 HAS SOPS 36451 HAS SOUS 10738 HAS SOUPS 9189 WITH SCORE 9242.348
AT ITER 3881 NEW BEST:: SOT 76442 SOS 53323 HAS SOPS 36426 HAS SOUS 10713 HAS SOUPS 9164 WITH SCORE 9217.323
AT ITER 3907 NEW BEST:: SOT 76441 SOS 53321 HAS SOPS 36424 HAS SOUS 10711 HAS SOUPS 9162 WITH SCORE 9215.321
AT ITER 3908 NEW BEST:: SOT 76455 SOS 53352 HAS SOPS 36472 HAS SOUS 10705 HAS SOUPS 9156 WITH SCORE 9209.352
AT ITER 3909 NEW BEST:: SOT 76446 SOS 53337 HAS SOPS 36460 HAS SOUS 10699 HAS SOUPS 9150 WITH SCORE 9203.337
AT ITER 3923 NEW BEST:: SOT 76444 SOS 53329 HAS SOPS 36474 HAS SOUS 10693 HAS SOUPS 9146 WITH SCORE 9199.329
AT ITER 3927 NEW BEST:: SOT 76428 SOS 53316 HAS SOPS 36461 HAS SOUS 10683 HAS SOUPS 9136 WITH SCORE 9189.316
AT ITER 3933 NEW BEST:: SOT 76422 SOS 53324 HAS SOPS 36457 HAS SOUS 10681 HAS SOUPS 9132 WITH SCORE 9185.324
AT ITER 3937 NEW BEST:: SOT 76444 SOS 53323 HAS SOPS 36456 HAS SOUS 10663 HAS SOUPS 9114 WITH SCORE 9167.323
AT ITER 3962 NEW BEST:: SOT 76442 SOS 53315 HAS SOPS 36448 HAS SOUS 10655 HAS SOUPS 9106 WITH SCORE 9159.315
AT ITER 3990 NEW BEST:: SOT 76442 SOS 53314 HAS SOPS 36448 HAS SOUS 10655 HAS SOUPS 9106 WITH SCORE 9159.314
AT ITER 3991 NEW BEST:: SOT 76456 SOS 53330 HAS SOPS 36443 HAS SOUS 10648 HAS SOUPS 9079 WITH SCORE 9132.33
AT ITER 4037 NEW BEST:: SOT 76456 SOS 53326 HAS SOPS 36441 HAS SOUS 10648 HAS SOUPS 9079 WITH SCORE 9132.326
AT ITER 4139 NEW BEST:: SOT 76461 SOS 53296 HAS SOPS 36421 HAS SOUS 10643 HAS SOUPS 9074 WITH SCORE 9127.296
AT ITER 4196 NEW BEST:: SOT 76452 SOS 53298 HAS SOPS 36423 HAS SOUS 10639 HAS SOUPS 9070 WITH SCORE 9123.298
AT ITER 4204 NEW BEST:: SOT 76440 SOS 53268 HAS SOPS 36405 HAS SOUS 10627 HAS SOUPS 9064 WITH SCORE 9117.268
AT ITER 4207 NEW BEST:: SOT 76319 SOS 53243 HAS SOPS 36360 HAS SOUS 10622 HAS SOUPS 9059 WITH SCORE 9112.243
AT ITER 4243 NEW BEST:: SOT 76319 SOS 53239 HAS SOPS 36357 HAS SOUS 10622 HAS SOUPS 9059 WITH SCORE 9112.239
AT ITER 4248 NEW BEST:: SOT 76319 SOS 53207 HAS SOPS 36325 HAS SOUS 10614 HAS SOUPS 9051 WITH SCORE 9104.207
AT ITER 4278 NEW BEST:: SOT 76318 SOS 53205 HAS SOPS 36323 HAS SOUS 10613 HAS SOUPS 9050 WITH SCORE 9103.205
AT ITER 4293 NEW BEST:: SOT 75037 SOS 52175 HAS SOPS 36264 HAS SOUS 10596 HAS SOUPS 9039 WITH SCORE 9091.175
AT ITER 4311 NEW BEST:: SOT 75013 SOS 52139 HAS SOPS 36240 HAS SOUS 10596 HAS SOUPS 9039 WITH SCORE 9091.139
AT ITER 4314 NEW BEST:: SOT 74752 SOS 51878 HAS SOPS 35978 HAS SOUS 10574 HAS SOUPS 9017 WITH SCORE 9068.878
AT ITER 4337 NEW BEST:: SOT 74742 SOS 51838 HAS SOPS 35938 HAS SOUS 10564 HAS SOUPS 9007 WITH SCORE 9058.838
AT ITER 4340 NEW BEST:: SOT 74733 SOS 51814 HAS SOPS 35914 HAS SOUS 10544 HAS SOUPS 8987 WITH SCORE 9038.814
AT ITER 4393 NEW BEST:: SOT 74709 SOS 51796 HAS SOPS 35884 HAS SOUS 10526 HAS SOUPS 8969 WITH SCORE 9020.796
AT ITER 4400 NEW BEST:: SOT 74744 SOS 51831 HAS SOPS 35862 HAS SOUS 10504 HAS SOUPS 8947 WITH SCORE 8998.831
AT ITER 4439 NEW BEST:: SOT 74745 SOS 51830 HAS SOPS 35861 HAS SOUS 10503 HAS SOUPS 8946 WITH SCORE 8997.83
AT ITER 4454 NEW BEST:: SOT 74723 SOS 51828 HAS SOPS 35845 HAS SOUS 10501 HAS SOUPS 8944 WITH SCORE 8995.828
AT ITER 4467 NEW BEST:: SOT 74721 SOS 51832 HAS SOPS 35845 HAS SOUS 10492 HAS SOUPS 8935 WITH SCORE 8986.832
AT ITER 4468 NEW BEST:: SOT 74682 SOS 51822 HAS SOPS 35812 HAS SOUS 10468 HAS SOUPS 8911 WITH SCORE 8962.822
AT ITER 4483 NEW BEST:: SOT 73421 SOS 50561 HAS SOPS 34550 HAS SOUS 10418 HAS SOUPS 8861 WITH SCORE 8911.561
AT ITER 4552 NEW BEST:: SOT 73395 SOS 50542 HAS SOPS 34540 HAS SOUS 10385 HAS SOUPS 8828 WITH SCORE 8878.542
AT ITER 4565 NEW BEST:: SOT 73323 SOS 50509 HAS SOPS 34470 HAS SOUS 10385 HAS SOUPS 8828 WITH SCORE 8878.509
AT ITER 4570 NEW BEST:: SOT 73172 SOS 51007 HAS SOPS 34470 HAS SOUS 10394 HAS SOUPS 8827 WITH SCORE 8878.007
AT ITER 4681 NEW BEST:: SOT 73029 SOS 50864 HAS SOPS 34344 HAS SOUS 10274 HAS SOUPS 8721 WITH SCORE 8771.864
AT ITER 4767 NEW BEST:: SOT 73035 SOS 50864 HAS SOPS 34384 HAS SOUS 10272 HAS SOUPS 8719 WITH SCORE 8769.864
AT ITER 4783 NEW BEST:: SOT 73031 SOS 50852 HAS SOPS 34376 HAS SOUS 10260 HAS SOUPS 8707 WITH SCORE 8757.852
AT ITER 4817 NEW BEST:: SOT 72518 SOS 50339 HAS SOPS 33849 HAS SOUS 9793 HAS SOUPS 8240 WITH SCORE 8290.339
AT ITER 4870 NEW BEST:: SOT 72512 SOS 50336 HAS SOPS 33840 HAS SOUS 9787 HAS SOUPS 8234 WITH SCORE 8284.336
AT ITER 4891 NEW BEST:: SOT 72477 SOS 50294 HAS SOPS 33658 HAS SOUS 9780 HAS SOUPS 8213 WITH SCORE 8263.294
AT ITER 4912 NEW BEST:: SOT 72468 SOS 50294 HAS SOPS 33568 HAS SOUS 9780 HAS SOUPS 8204 WITH SCORE 8254.294
AT ITER 4940 NEW BEST:: SOT 72451 SOS 50273 HAS SOPS 33547 HAS SOUS 9753 HAS SOUPS 8177 WITH SCORE 8227.273
AT ITER 4972 NEW BEST:: SOT 72452 SOS 50274 HAS SOPS 33547 HAS SOUS 9753 HAS SOUPS 8176 WITH SCORE 8226.274
AT ITER 5004 NEW BEST:: SOT 72458 SOS 50261 HAS SOPS 33534 HAS SOUS 9743 HAS SOUPS 8166 WITH SCORE 8216.261
AT ITER 5016 NEW BEST:: SOT 72302 SOS 50105 HAS SOPS 33374 HAS SOUS 9743 HAS SOUPS 8166 WITH SCORE 8216.105
AT ITER 5028 NEW BEST:: SOT 71412 SOS 49830 HAS SOPS 33374 HAS SOUS 9828 HAS SOUPS 8165 WITH SCORE 8214.83
AT ITER 5037 NEW BEST:: SOT 71398 SOS 49788 HAS SOPS 33332 HAS SOUS 9826 HAS SOUPS 8163 WITH SCORE 8212.788
AT ITER 5042 NEW BEST:: SOT 71390 SOS 49782 HAS SOPS 33322 HAS SOUS 9820 HAS SOUPS 8157 WITH SCORE 8206.782
AT ITER 5060 NEW BEST:: SOT 71390 SOS 49779 HAS SOPS 33322 HAS SOUS 9820 HAS SOUPS 8157 WITH SCORE 8206.779
AT ITER 5070 NEW BEST:: SOT 71372 SOS 49767 HAS SOPS 33310 HAS SOUS 9814 HAS SOUPS 8151 WITH SCORE 8200.767
AT ITER 5098 NEW BEST:: SOT 71364 SOS 49767 HAS SOPS 33310 HAS SOUS 9810 HAS SOUPS 8147 WITH SCORE 8196.767
AT ITER 5103 NEW BEST:: SOT 71501 SOS 49749 HAS SOPS 33294 HAS SOUS 9797 HAS SOUPS 8123 WITH SCORE 8172.749
AT ITER 5114 NEW BEST:: SOT 71502 SOS 49748 HAS SOPS 33294 HAS SOUS 9796 HAS SOUPS 8122 WITH SCORE 8171.748
AT ITER 5120 NEW BEST:: SOT 71489 SOS 49735 HAS SOPS 33281 HAS SOUS 9783 HAS SOUPS 8109 WITH SCORE 8158.735
AT ITER 5150 NEW BEST:: SOT 71459 SOS 49705 HAS SOPS 33251 HAS SOUS 9772 HAS SOUPS 8098 WITH SCORE 8147.705
AT ITER 5160 NEW BEST:: SOT 71201 SOS 49447 HAS SOPS 32987 HAS SOUS 9760 HAS SOUPS 8086 WITH SCORE 8135.447
AT ITER 5177 NEW BEST:: SOT 71213 SOS 49375 HAS SOPS 32987 HAS SOUS 9760 HAS SOUPS 8086 WITH SCORE 8135.375
AT ITER 5182 NEW BEST:: SOT 71213 SOS 49367 HAS SOPS 32979 HAS SOUS 9756 HAS SOUPS 8082 WITH SCORE 8131.367
AT ITER 5252 NEW BEST:: SOT 71214 SOS 49333 HAS SOPS 32949 HAS SOUS 9717 HAS SOUPS 8051 WITH SCORE 8100.333
AT ITER 5253 NEW BEST:: SOT 71199 SOS 49323 HAS SOPS 32939 HAS SOUS 9712 HAS SOUPS 8046 WITH SCORE 8095.323
AT ITER 5303 NEW BEST:: SOT 71139 SOS 49263 HAS SOPS 32879 HAS SOUS 9648 HAS SOUPS 7986 WITH SCORE 8035.263
AT ITER 5405 NEW BEST:: SOT 71130 SOS 49257 HAS SOPS 32873 HAS SOUS 9645 HAS SOUPS 7983 WITH SCORE 8032.257
AT ITER 5435 NEW BEST:: SOT 71137 SOS 49264 HAS SOPS 32888 HAS SOUS 9643 HAS SOUPS 7981 WITH SCORE 8030.264
AT ITER 5447 NEW BEST:: SOT 71129 SOS 49260 HAS SOPS 32884 HAS SOUS 9643 HAS SOUPS 7981 WITH SCORE 8030.26
AT ITER 5501 NEW BEST:: SOT 71188 SOS 49319 HAS SOPS 32872 HAS SOUS 9646 HAS SOUPS 7969 WITH SCORE 8018.319
AT ITER 5512 NEW BEST:: SOT 71116 SOS 49247 HAS SOPS 32790 HAS SOUS 9583 HAS SOUPS 7917 WITH SCORE 7966.247
AT ITER 5541 NEW BEST:: SOT 71118 SOS 49249 HAS SOPS 32792 HAS SOUS 9579 HAS SOUPS 7913 WITH SCORE 7962.249
AT ITER 5617 NEW BEST:: SOT 70938 SOS 49174 HAS SOPS 32792 HAS SOUS 9599 HAS SOUPS 7913 WITH SCORE 7962.174
AT ITER 5662 NEW BEST:: SOT 70888 SOS 49124 HAS SOPS 32744 HAS SOUS 9551 HAS SOUPS 7878 WITH SCORE 7927.124
AT ITER 5753 NEW BEST:: SOT 70885 SOS 49123 HAS SOPS 32743 HAS SOUS 9538 HAS SOUPS 7865 WITH SCORE 7914.123
AT ITER 5851 NEW BEST:: SOT 70885 SOS 49123 HAS SOPS 32753 HAS SOUS 9523 HAS SOUPS 7850 WITH SCORE 7899.123
AT ITER 5866 NEW BEST:: SOT 70887 SOS 49123 HAS SOPS 32753 HAS SOUS 9522 HAS SOUPS 7849 WITH SCORE 7898.123
AT ITER 5881 NEW BEST:: SOT 70867 SOS 49103 HAS SOPS 32733 HAS SOUS 9522 HAS SOUPS 7849 WITH SCORE 7898.103
AT ITER 5905 NEW BEST:: SOT 70849 SOS 49083 HAS SOPS 32713 HAS SOUS 9506 HAS SOUPS 7833 WITH SCORE 7882.083
AT ITER 5912 NEW BEST:: SOT 70859 SOS 49083 HAS SOPS 32713 HAS SOUS 9503 HAS SOUPS 7830 WITH SCORE 7879.083
AT ITER 5928 NEW BEST:: SOT 70847 SOS 49092 HAS SOPS 32488 HAS SOUS 9508 HAS SOUPS 7825 WITH SCORE 7874.092
AT ITER 5963 NEW BEST:: SOT 70859 SOS 49093 HAS SOPS 32488 HAS SOUS 9505 HAS SOUPS 7822 WITH SCORE 7871.093
AT ITER 5998 NEW BEST:: SOT 70862 SOS 49041 HAS SOPS 32488 HAS SOUS 9506 HAS SOUPS 7822 WITH SCORE 7871.041
AT ITER 6021 NEW BEST:: SOT 70556 SOS 49018 HAS SOPS 32488 HAS SOUS 9568 HAS SOUPS 7822 WITH SCORE 7871.018
AT ITER 6116 NEW BEST:: SOT 70548 SOS 49014 HAS SOPS 32480 HAS SOUS 9564 HAS SOUPS 7818 WITH SCORE 7867.014
AT ITER 6134 NEW BEST:: SOT 70532 SOS 48998 HAS SOPS 32464 HAS SOUS 9548 HAS SOUPS 7806 WITH SCORE 7854.998
AT ITER 6157 NEW BEST:: SOT 70504 SOS 48989 HAS SOPS 32448 HAS SOUS 9538 HAS SOUPS 7800 WITH SCORE 7848.989
AT ITER 6167 NEW BEST:: SOT 70457 SOS 48942 HAS SOPS 32400 HAS SOUS 9532 HAS SOUPS 7794 WITH SCORE 7842.942
AT ITER 6174 NEW BEST:: SOT 70452 SOS 48937 HAS SOPS 32391 HAS SOUS 9528 HAS SOUPS 7790 WITH SCORE 7838.937
AT ITER 6264 NEW BEST:: SOT 70452 SOS 48934 HAS SOPS 32378 HAS SOUS 9525 HAS SOUPS 7786 WITH SCORE 7834.934
AT ITER 6311 NEW BEST:: SOT 70366 SOS 48961 HAS SOPS 32350 HAS SOUS 9536 HAS SOUPS 7783 WITH SCORE 7831.961
AT ITER 6344 NEW BEST:: SOT 70364 SOS 48959 HAS SOPS 32346 HAS SOUS 9534 HAS SOUPS 7779 WITH SCORE 7827.959
AT ITER 6348 NEW BEST:: SOT 70359 SOS 48954 HAS SOPS 32341 HAS SOUS 9523 HAS SOUPS 7768 WITH SCORE 7816.954
AT ITER 6350 NEW BEST:: SOT 70358 SOS 48964 HAS SOPS 32348 HAS SOUS 9522 HAS SOUPS 7767 WITH SCORE 7815.964
AT ITER 6391 NEW BEST:: SOT 70376 SOS 48964 HAS SOPS 32348 HAS SOUS 9520 HAS SOUPS 7765 WITH SCORE 7813.964
AT ITER 6553 NEW BEST:: SOT 70348 SOS 48943 HAS SOPS 32332 HAS SOUS 9519 HAS SOUPS 7764 WITH SCORE 7812.943
AT ITER 6563 NEW BEST:: SOT 70360 SOS 48955 HAS SOPS 32344 HAS SOUS 9516 HAS SOUPS 7761 WITH SCORE 7809.955
AT ITER 6641 NEW BEST:: SOT 70375 SOS 48962 HAS SOPS 32367 HAS SOUS 9514 HAS SOUPS 7759 WITH SCORE 7807.962
AT ITER 6707 NEW BEST:: SOT 70381 SOS 48967 HAS SOPS 32365 HAS SOUS 9511 HAS SOUPS 7756 WITH SCORE 7804.967
AT ITER 6788 NEW BEST:: SOT 70242 SOS 48828 HAS SOPS 32223 HAS SOUS 9485 HAS SOUPS 7730 WITH SCORE 7778.828
AT ITER 6793 NEW BEST:: SOT 70244 SOS 48788 HAS SOPS 32203 HAS SOUS 9479 HAS SOUPS 7728 WITH SCORE 7776.788
AT ITER 6821 NEW BEST:: SOT 70234 SOS 48778 HAS SOPS 32173 HAS SOUS 9474 HAS SOUPS 7721 WITH SCORE 7769.778
AT ITER 6833 NEW BEST:: SOT 70188 SOS 48800 HAS SOPS 30557 HAS SOUS 9545 HAS SOUPS 7706 WITH SCORE 7754.8
AT ITER 6841 NEW BEST:: SOT 70193 SOS 48821 HAS SOPS 30578 HAS SOUS 9543 HAS SOUPS 7704 WITH SCORE 7752.821
AT ITER 6880 NEW BEST:: SOT 70155 SOS 48871 HAS SOPS 23487 HAS SOUS 9591 HAS SOUPS 7134 WITH SCORE 7182.871
AT ITER 6881 NEW BEST:: SOT 70022 SOS 48887 HAS SOPS 23503 HAS SOUS 9621 HAS SOUPS 7117 WITH SCORE 7165.887
AT ITER 6905 NEW BEST:: SOT 70032 SOS 48867 HAS SOPS 23493 HAS SOUS 9611 HAS SOUPS 7117 WITH SCORE 7165.867
AT ITER 6936 NEW BEST:: SOT 70047 SOS 48607 HAS SOPS 23493 HAS SOUS 9617 HAS SOUPS 7117 WITH SCORE 7165.607
AT ITER 6986 NEW BEST:: SOT 70011 SOS 48521 HAS SOPS 23424 HAS SOUS 9610 HAS SOUPS 7110 WITH SCORE 7158.521
AT ITER 7012 NEW BEST:: SOT 70011 SOS 48520 HAS SOPS 23419 HAS SOUS 9603 HAS SOUPS 7103 WITH SCORE 7151.52
AT ITER 7047 NEW BEST:: SOT 70011 SOS 48519 HAS SOPS 23418 HAS SOUS 9602 HAS SOUPS 7102 WITH SCORE 7150.519
AT ITER 7057 NEW BEST:: SOT 70035 SOS 48532 HAS SOPS 20994 HAS SOUS 9604 HAS SOUPS 6801 WITH SCORE 6849.532
AT ITER 7089 NEW BEST:: SOT 70029 SOS 48526 HAS SOPS 20988 HAS SOUS 9598 HAS SOUPS 6795 WITH SCORE 6843.526
AT ITER 7095 NEW BEST:: SOT 70090 SOS 48520 HAS SOPS 20988 HAS SOUS 9598 HAS SOUPS 6795 WITH SCORE 6843.52
AT ITER 7145 NEW BEST:: SOT 70091 SOS 48519 HAS SOPS 20987 HAS SOUS 9598 HAS SOUPS 6795 WITH SCORE 6843.519
AT ITER 7159 NEW BEST:: SOT 70083 SOS 48528 HAS SOPS 20966 HAS SOUS 9602 HAS SOUPS 6794 WITH SCORE 6842.528
AT ITER 7188 NEW BEST:: SOT 70083 SOS 48524 HAS SOPS 20962 HAS SOUS 9597 HAS SOUPS 6789 WITH SCORE 6837.524
AT ITER 7189 NEW BEST:: SOT 70054 SOS 48502 HAS SOPS 20934 HAS SOUS 9574 HAS SOUPS 6766 WITH SCORE 6814.502
AT ITER 7272 NEW BEST:: SOT 70058 SOS 48497 HAS SOPS 20799 HAS SOUS 9556 HAS SOUPS 6748 WITH SCORE 6796.497
AT ITER 7290 NEW BEST:: SOT 70044 SOS 48485 HAS SOPS 20791 HAS SOUS 9550 HAS SOUPS 6746 WITH SCORE 6794.485
AT ITER 7353 NEW BEST:: SOT 70390 SOS 48809 HAS SOPS 16427 HAS SOUS 10144 HAS SOUPS 6642 WITH SCORE 6690.809
AT ITER 7354 NEW BEST:: SOT 70160 SOS 48583 HAS SOPS 17061 HAS SOUS 9918 HAS SOUPS 6552 WITH SCORE 6600.583
AT ITER 7367 NEW BEST:: SOT 70160 SOS 48583 HAS SOPS 17045 HAS SOUS 9902 HAS SOUPS 6536 WITH SCORE 6584.583
AT ITER 7376 NEW BEST:: SOT 70160 SOS 48559 HAS SOPS 17057 HAS SOUS 9896 HAS SOUPS 6536 WITH SCORE 6584.559
AT ITER 7393 NEW BEST:: SOT 70133 SOS 48546 HAS SOPS 16884 HAS SOUS 9885 HAS SOUPS 6508 WITH SCORE 6556.546
AT ITER 7396 NEW BEST:: SOT 70136 SOS 48552 HAS SOPS 16890 HAS SOUS 9875 HAS SOUPS 6504 WITH SCORE 6552.552
AT ITER 7434 NEW BEST:: SOT 70139 SOS 48555 HAS SOPS 16889 HAS SOUS 9642 HAS SOUPS 6270 WITH SCORE 6318.555
AT ITER 7492 NEW BEST:: SOT 70154 SOS 48545 HAS SOPS 16854 HAS SOUS 9637 HAS SOUPS 6265 WITH SCORE 6313.545
AT ITER 7561 NEW BEST:: SOT 70114 SOS 48513 HAS SOPS 16850 HAS SOUS 9641 HAS SOUPS 6265 WITH SCORE 6313.513
AT ITER 7602 NEW BEST:: SOT 70001 SOS 48472 HAS SOPS 16846 HAS SOUS 9676 HAS SOUPS 6263 WITH SCORE 6311.472
AT ITER 7610 NEW BEST:: SOT 69999 SOS 48466 HAS SOPS 16842 HAS SOUS 9678 HAS SOUPS 6263 WITH SCORE 6311.466
AT ITER 7642 NEW BEST:: SOT 69993 SOS 48463 HAS SOPS 16839 HAS SOUS 9677 HAS SOUPS 6261 WITH SCORE 6309.463
AT ITER 7709 NEW BEST:: SOT 69993 SOS 48462 HAS SOPS 16838 HAS SOUS 9676 HAS SOUPS 6260 WITH SCORE 6308.462
AT ITER 7715 NEW BEST:: SOT 69818 SOS 48420 HAS SOPS 16796 HAS SOUS 9598 HAS SOUPS 6182 WITH SCORE 6230.42
AT ITER 7718 NEW BEST:: SOT 69818 SOS 48420 HAS SOPS 16788 HAS SOUS 9590 HAS SOUPS 6174 WITH SCORE 6222.42
AT ITER 8078 NEW BEST:: SOT 69826 SOS 48408 HAS SOPS 16843 HAS SOUS 9557 HAS SOUPS 6169 WITH SCORE 6217.408
AT ITER 8111 NEW BEST:: SOT 69824 SOS 48405 HAS SOPS 16840 HAS SOUS 9553 HAS SOUPS 6165 WITH SCORE 6213.405
AT ITER 8160 NEW BEST:: SOT 69826 SOS 48409 HAS SOPS 16839 HAS SOUS 9545 HAS SOUPS 6162 WITH SCORE 6210.409
AT ITER 8267 NEW BEST:: SOT 69829 SOS 48420 HAS SOPS 15990 HAS SOUS 9611 HAS SOUPS 6092 WITH SCORE 6140.42
AT ITER 8302 NEW BEST:: SOT 69825 SOS 48414 HAS SOPS 15986 HAS SOUS 9604 HAS SOUPS 6086 WITH SCORE 6134.414
AT ITER 8336 NEW BEST:: SOT 69828 SOS 48413 HAS SOPS 15996 HAS SOUS 9598 HAS SOUPS 6080 WITH SCORE 6128.413
AT ITER 8337 NEW BEST:: SOT 69806 SOS 48383 HAS SOPS 15966 HAS SOUS 9599 HAS SOUPS 6074 WITH SCORE 6122.383
AT ITER 8436 NEW BEST:: SOT 69811 SOS 48383 HAS SOPS 15968 HAS SOUS 9596 HAS SOUPS 6073 WITH SCORE 6121.383
AT ITER 8447 NEW BEST:: SOT 69787 SOS 48395 HAS SOPS 15965 HAS SOUS 9559 HAS SOUPS 6056 WITH SCORE 6104.395
AT ITER 8510 NEW BEST:: SOT 69771 SOS 48379 HAS SOPS 15949 HAS SOUS 9543 HAS SOUPS 6040 WITH SCORE 6088.379
AT ITER 8629 NEW BEST:: SOT 69773 SOS 48367 HAS SOPS 15935 HAS SOUS 9537 HAS SOUPS 6034 WITH SCORE 6082.367
AT ITER 8691 NEW BEST:: SOT 69773 SOS 48367 HAS SOPS 15935 HAS SOUS 9536 HAS SOUPS 6033 WITH SCORE 6081.367
AT ITER 8705 NEW BEST:: SOT 69772 SOS 48366 HAS SOPS 15924 HAS SOUS 9535 HAS SOUPS 6032 WITH SCORE 6080.366
AT ITER 8724 NEW BEST:: SOT 69764 SOS 48363 HAS SOPS 15921 HAS SOUS 9537 HAS SOUPS 6021 WITH SCORE 6069.363
AT ITER 8727 NEW BEST:: SOT 69780 SOS 48379 HAS SOPS 15953 HAS SOUS 9540 HAS SOUPS 6010 WITH SCORE 6058.379
AT ITER 8743 NEW BEST:: SOT 69776 SOS 48374 HAS SOPS 15919 HAS SOUS 9539 HAS SOUPS 6009 WITH SCORE 6057.374
AT ITER 8762 NEW BEST:: SOT 69773 SOS 48370 HAS SOPS 15906 HAS SOUS 9536 HAS SOUPS 6005 WITH SCORE 6053.37
AT ITER 8778 NEW BEST:: SOT 69768 SOS 48365 HAS SOPS 15891 HAS SOUS 9532 HAS SOUPS 6001 WITH SCORE 6049.365
AT ITER 8800 NEW BEST:: SOT 69768 SOS 48350 HAS SOPS 15906 HAS SOUS 9527 HAS SOUPS 6001 WITH SCORE 6049.35
AT ITER 8814 NEW BEST:: SOT 69765 SOS 48350 HAS SOPS 15906 HAS SOUS 9525 HAS SOUPS 5999 WITH SCORE 6047.35
AT ITER 8823 NEW BEST:: SOT 69777 SOS 48290 HAS SOPS 15846 HAS SOUS 9486 HAS SOUPS 5960 WITH SCORE 6008.29
AT ITER 8935 NEW BEST:: SOT 69786 SOS 48276 HAS SOPS 15832 HAS SOUS 9478 HAS SOUPS 5952 WITH SCORE 6000.276
AT ITER 8939 NEW BEST:: SOT 69426 SOS 47916 HAS SOPS 15472 HAS SOUS 9331 HAS SOUPS 5805 WITH SCORE 5852.916
AT ITER 8948 NEW BEST:: SOT 69851 SOS 47681 HAS SOPS 15472 HAS SOUS 9299 HAS SOUPS 5805 WITH SCORE 5852.681
AT ITER 8952 NEW BEST:: SOT 69833 SOS 47651 HAS SOPS 15448 HAS SOUS 9281 HAS SOUPS 5793 WITH SCORE 5840.651
AT ITER 8976 NEW BEST:: SOT 69824 SOS 47652 HAS SOPS 15440 HAS SOUS 9283 HAS SOUPS 5790 WITH SCORE 5837.652
AT ITER 9007 NEW BEST:: SOT 69818 SOS 47655 HAS SOPS 15440 HAS SOUS 9283 HAS SOUPS 5787 WITH SCORE 5834.655
AT ITER 9028 NEW BEST:: SOT 69811 SOS 47657 HAS SOPS 15429 HAS SOUS 9281 HAS SOUPS 5785 WITH SCORE 5832.657
AT ITER 9036 NEW BEST:: SOT 69957 SOS 47837 HAS SOPS 13923 HAS SOUS 9510 HAS SOUPS 5732 WITH SCORE 5779.837
AT ITER 9087 NEW BEST:: SOT 69948 SOS 47828 HAS SOPS 13917 HAS SOUS 9507 HAS SOUPS 5726 WITH SCORE 5773.828
AT ITER 9096 NEW BEST:: SOT 69902 SOS 47865 HAS SOPS 13923 HAS SOUS 9520 HAS SOUPS 5725 WITH SCORE 5772.865
AT ITER 9097 NEW BEST:: SOT 69901 SOS 47862 HAS SOPS 13920 HAS SOUS 9519 HAS SOUPS 5725 WITH SCORE 5772.862
AT ITER 9198 NEW BEST:: SOT 69935 SOS 47850 HAS SOPS 13903 HAS SOUS 9516 HAS SOUPS 5722 WITH SCORE 5769.85
AT ITER 9233 NEW BEST:: SOT 69895 SOS 47810 HAS SOPS 13847 HAS SOUS 9460 HAS SOUPS 5666 WITH SCORE 5713.81
AT ITER 9237 NEW BEST:: SOT 69891 SOS 47806 HAS SOPS 13843 HAS SOUS 9460 HAS SOUPS 5666 WITH SCORE 5713.806
AT ITER 9279 NEW BEST:: SOT 69916 SOS 47778 HAS SOPS 13844 HAS SOUS 9447 HAS SOUPS 5666 WITH SCORE 5713.778
AT ITER 9307 NEW BEST:: SOT 69800 SOS 47662 HAS SOPS 13728 HAS SOUS 9331 HAS SOUPS 5550 WITH SCORE 5597.662
AT ITER 9318 NEW BEST:: SOT 69841 SOS 47703 HAS SOPS 13769 HAS SOUS 9326 HAS SOUPS 5545 WITH SCORE 5592.703
AT ITER 9456 NEW BEST:: SOT 69819 SOS 47715 HAS SOPS 13773 HAS SOUS 9325 HAS SOUPS 5544 WITH SCORE 5591.715
AT ITER 9517 NEW BEST:: SOT 69821 SOS 47719 HAS SOPS 13776 HAS SOUS 9323 HAS SOUPS 5542 WITH SCORE 5589.719
AT ITER 9523 NEW BEST:: SOT 69818 SOS 47717 HAS SOPS 13775 HAS SOUS 9323 HAS SOUPS 5541 WITH SCORE 5588.717
AT ITER 9527 NEW BEST:: SOT 69817 SOS 47716 HAS SOPS 13774 HAS SOUS 9322 HAS SOUPS 5540 WITH SCORE 5587.716
AT ITER 9554 NEW BEST:: SOT 69813 SOS 47700 HAS SOPS 13758 HAS SOUS 9321 HAS SOUPS 5539 WITH SCORE 5586.7
AT ITER 9568 NEW BEST:: SOT 69934 SOS 47824 HAS SOPS 13882 HAS SOUS 9317 HAS SOUPS 5535 WITH SCORE 5582.824
AT ITER 9588 NEW BEST:: SOT 69897 SOS 47789 HAS SOPS 13856 HAS SOUS 9311 HAS SOUPS 5532 WITH SCORE 5579.789
AT ITER 9607 NEW BEST:: SOT 69895 SOS 47794 HAS SOPS 13849 HAS SOUS 9310 HAS SOUPS 5529 WITH SCORE 5576.794
AT ITER 9648 NEW BEST:: SOT 69932 SOS 47836 HAS SOPS 13891 HAS SOUS 9304 HAS SOUPS 5523 WITH SCORE 5570.836
AT ITER 9751 NEW BEST:: SOT 69937 SOS 47841 HAS SOPS 13901 HAS SOUS 9288 HAS SOUPS 5520 WITH SCORE 5567.841
AT ITER 9770 NEW BEST:: SOT 69919 SOS 47820 HAS SOPS 13872 HAS SOUS 9247 HAS SOUPS 5479 WITH SCORE 5526.82
AT ITER 9792 NEW BEST:: SOT 69902 SOS 47816 HAS SOPS 13808 HAS SOUS 9238 HAS SOUPS 5464 WITH SCORE 5511.816
AT ITER 9796 NEW BEST:: SOT 69832 SOS 48191 HAS SOPS 13782 HAS SOUS 9248 HAS SOUPS 5455 WITH SCORE 5503.191
AT ITER 9802 NEW BEST:: SOT 69806 SOS 48171 HAS SOPS 13746 HAS SOUS 9223 HAS SOUPS 5430 WITH SCORE 5478.171
AT ITER 9835 NEW BEST:: SOT 69785 SOS 48174 HAS SOPS 13709 HAS SOUS 9221 HAS SOUPS 5428 WITH SCORE 5476.174
AT ITER 9840 NEW BEST:: SOT 69882 SOS 48251 HAS SOPS 13753 HAS SOUS 9210 HAS SOUPS 5417 WITH SCORE 5465.251
AT ITER 9854 NEW BEST:: SOT 69883 SOS 48249 HAS SOPS 13746 HAS SOUS 9208 HAS SOUPS 5415 WITH SCORE 5463.249
AT ITER 9970 NEW BEST:: SOT 69861 SOS 48205 HAS SOPS 13718 HAS SOUS 9200 HAS SOUPS 5399 WITH SCORE 5447.205
AT ITER 9988 NEW BEST:: SOT 69864 SOS 48208 HAS SOPS 13744 HAS SOUS 9191 HAS SOUPS 5390 WITH SCORE 5438.208
STATE_SPACE STATES 248829948 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 21 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 27853023080 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589151507797

--------------------
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="CloudDeployment-PT-5a"
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 CloudDeployment-PT-5a, 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 r033-smll-158901926000320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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