Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469800656.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 ShieldPPPt-PT-010A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469800656
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 232K
-rw-r--r-- 1 mcc users 3.5K May 14 01:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 19:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 19:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 14:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 14:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 08:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 67K May 12 20:42 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 1590446749169

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

Filename model.pnml
Petri model created: 253 places, 183 transitions, 726 arcs.
AT ITER 0 NEW BEST:: SOT 38059 SOS 31846 HAS SOPS 31846 HAS SOUS 25856 HAS SOUPS 25856 WITH SCORE 25887.846
AT ITER 2 NEW BEST:: SOT 38059 SOS 31873 HAS SOPS 31873 HAS SOUS 25855 HAS SOUPS 25855 WITH SCORE 25886.873
AT ITER 4 NEW BEST:: SOT 38059 SOS 31733 HAS SOPS 31733 HAS SOUS 25853 HAS SOUPS 25853 WITH SCORE 25884.733
AT ITER 5 NEW BEST:: SOT 37951 SOS 31640 HAS SOPS 31640 HAS SOUS 25760 HAS SOUPS 25760 WITH SCORE 25791.64
AT ITER 6 NEW BEST:: SOT 37735 SOS 31481 HAS SOPS 31481 HAS SOUS 25662 HAS SOUPS 25662 WITH SCORE 25693.481
AT ITER 7 NEW BEST:: SOT 37716 SOS 31187 HAS SOPS 31187 HAS SOUS 25565 HAS SOUPS 25565 WITH SCORE 25596.187
AT ITER 9 NEW BEST:: SOT 37594 SOS 30819 HAS SOPS 30819 HAS SOUS 25312 HAS SOUPS 25312 WITH SCORE 25342.819
AT ITER 13 NEW BEST:: SOT 37594 SOS 30685 HAS SOPS 30685 HAS SOUS 25307 HAS SOUPS 25307 WITH SCORE 25337.685
AT ITER 15 NEW BEST:: SOT 37548 SOS 30639 HAS SOPS 30639 HAS SOUS 25222 HAS SOUPS 25222 WITH SCORE 25252.639
AT ITER 16 NEW BEST:: SOT 37394 SOS 30010 HAS SOPS 30010 HAS SOUS 24851 HAS SOUPS 24851 WITH SCORE 24881.01
AT ITER 18 NEW BEST:: SOT 37445 SOS 29652 HAS SOPS 29652 HAS SOUS 24845 HAS SOUPS 24845 WITH SCORE 24874.652
AT ITER 21 NEW BEST:: SOT 37361 SOS 29312 HAS SOPS 29312 HAS SOUS 24641 HAS SOUPS 24641 WITH SCORE 24670.312
AT ITER 22 NEW BEST:: SOT 37157 SOS 29108 HAS SOPS 29108 HAS SOUS 24436 HAS SOUPS 24436 WITH SCORE 24465.108
AT ITER 24 NEW BEST:: SOT 37157 SOS 28778 HAS SOPS 28778 HAS SOUS 24335 HAS SOUPS 24335 WITH SCORE 24363.778
AT ITER 25 NEW BEST:: SOT 37199 SOS 28393 HAS SOPS 28393 HAS SOUS 24278 HAS SOUPS 24278 WITH SCORE 24306.393
AT ITER 28 NEW BEST:: SOT 37137 SOS 28331 HAS SOPS 28331 HAS SOUS 24153 HAS SOUPS 24153 WITH SCORE 24181.331
AT ITER 30 NEW BEST:: SOT 37109 SOS 28303 HAS SOPS 28303 HAS SOUS 24125 HAS SOUPS 24125 WITH SCORE 24153.303
AT ITER 33 NEW BEST:: SOT 36989 SOS 28183 HAS SOPS 28183 HAS SOUS 24005 HAS SOUPS 24005 WITH SCORE 24033.183
AT ITER 41 NEW BEST:: SOT 36890 SOS 27673 HAS SOPS 27673 HAS SOUS 23674 HAS SOUPS 23674 WITH SCORE 23701.673
AT ITER 42 NEW BEST:: SOT 36890 SOS 27671 HAS SOPS 27671 HAS SOUS 23672 HAS SOUPS 23672 WITH SCORE 23699.671
AT ITER 43 NEW BEST:: SOT 36860 SOS 27626 HAS SOPS 27626 HAS SOUS 23627 HAS SOUPS 23627 WITH SCORE 23654.626
AT ITER 47 NEW BEST:: SOT 36956 SOS 27433 HAS SOPS 27433 HAS SOUS 23559 HAS SOUPS 23559 WITH SCORE 23586.433
AT ITER 48 NEW BEST:: SOT 36745 SOS 27220 HAS SOPS 27220 HAS SOUS 23446 HAS SOUPS 23446 WITH SCORE 23473.22
AT ITER 49 NEW BEST:: SOT 36459 SOS 26919 HAS SOPS 26919 HAS SOUS 23144 HAS SOUPS 23144 WITH SCORE 23170.919
AT ITER 52 NEW BEST:: SOT 36459 SOS 26540 HAS SOPS 26540 HAS SOUS 23005 HAS SOUPS 23005 WITH SCORE 23031.54
AT ITER 56 NEW BEST:: SOT 36369 SOS 26481 HAS SOPS 26481 HAS SOUS 22976 HAS SOUPS 22976 WITH SCORE 23002.481
AT ITER 57 NEW BEST:: SOT 36207 SOS 26319 HAS SOPS 26319 HAS SOUS 22844 HAS SOUPS 22844 WITH SCORE 22870.319
AT ITER 58 NEW BEST:: SOT 36137 SOS 26277 HAS SOPS 26277 HAS SOUS 22831 HAS SOUPS 22831 WITH SCORE 22857.277
AT ITER 65 NEW BEST:: SOT 36168 SOS 26084 HAS SOPS 26084 HAS SOUS 22739 HAS SOUPS 22739 WITH SCORE 22765.084
AT ITER 67 NEW BEST:: SOT 36031 SOS 26008 HAS SOPS 26008 HAS SOUS 22579 HAS SOUPS 22579 WITH SCORE 22605.008
AT ITER 69 NEW BEST:: SOT 35982 SOS 25959 HAS SOPS 25959 HAS SOUS 22530 HAS SOUPS 22530 WITH SCORE 22555.959
AT ITER 71 NEW BEST:: SOT 35949 SOS 25953 HAS SOPS 25953 HAS SOUS 22522 HAS SOUPS 22522 WITH SCORE 22547.953
AT ITER 73 NEW BEST:: SOT 35910 SOS 25911 HAS SOPS 25911 HAS SOUS 22480 HAS SOUPS 22480 WITH SCORE 22505.911
AT ITER 78 NEW BEST:: SOT 35762 SOS 25725 HAS SOPS 25725 HAS SOUS 22294 HAS SOUPS 22294 WITH SCORE 22319.725
AT ITER 81 NEW BEST:: SOT 35618 SOS 25579 HAS SOPS 25579 HAS SOUS 22192 HAS SOUPS 22192 WITH SCORE 22217.579
AT ITER 82 NEW BEST:: SOT 35584 SOS 25543 HAS SOPS 25543 HAS SOUS 22156 HAS SOUPS 22156 WITH SCORE 22181.543
AT ITER 85 NEW BEST:: SOT 35464 SOS 25423 HAS SOPS 25423 HAS SOUS 22050 HAS SOUPS 22050 WITH SCORE 22075.423
AT ITER 87 NEW BEST:: SOT 35464 SOS 25319 HAS SOPS 25319 HAS SOUS 22048 HAS SOUPS 22048 WITH SCORE 22073.319
AT ITER 96 NEW BEST:: SOT 35431 SOS 25268 HAS SOPS 25268 HAS SOUS 21997 HAS SOUPS 21997 WITH SCORE 22022.268
AT ITER 100 NEW BEST:: SOT 35431 SOS 24905 HAS SOPS 24905 HAS SOUS 21970 HAS SOUPS 21970 WITH SCORE 21994.905
AT ITER 102 NEW BEST:: SOT 35023 SOS 24138 HAS SOPS 24138 HAS SOUS 21322 HAS SOUPS 21322 WITH SCORE 21346.138
AT ITER 107 NEW BEST:: SOT 35062 SOS 24096 HAS SOPS 24096 HAS SOUS 21280 HAS SOUPS 21280 WITH SCORE 21304.096
AT ITER 109 NEW BEST:: SOT 34972 SOS 24004 HAS SOPS 24004 HAS SOUS 21188 HAS SOUPS 21188 WITH SCORE 21212.004
AT ITER 110 NEW BEST:: SOT 34970 SOS 24002 HAS SOPS 24002 HAS SOUS 21186 HAS SOUPS 21186 WITH SCORE 21210.002
AT ITER 112 NEW BEST:: SOT 34961 SOS 23993 HAS SOPS 23993 HAS SOUS 21186 HAS SOUPS 21186 WITH SCORE 21209.993
AT ITER 116 NEW BEST:: SOT 34961 SOS 23986 HAS SOPS 23986 HAS SOUS 21186 HAS SOUPS 21186 WITH SCORE 21209.986
AT ITER 121 NEW BEST:: SOT 34961 SOS 24033 HAS SOPS 24033 HAS SOUS 21156 HAS SOUPS 21156 WITH SCORE 21180.033
AT ITER 123 NEW BEST:: SOT 34969 SOS 23992 HAS SOPS 23992 HAS SOUS 21141 HAS SOUPS 21141 WITH SCORE 21164.992
AT ITER 126 NEW BEST:: SOT 34879 SOS 23895 HAS SOPS 23895 HAS SOUS 21048 HAS SOUPS 21048 WITH SCORE 21071.895
AT ITER 129 NEW BEST:: SOT 34879 SOS 23779 HAS SOPS 23779 HAS SOUS 21024 HAS SOUPS 21024 WITH SCORE 21047.779
AT ITER 133 NEW BEST:: SOT 34775 SOS 23674 HAS SOPS 23674 HAS SOUS 20970 HAS SOUPS 20970 WITH SCORE 20993.674
AT ITER 135 NEW BEST:: SOT 34609 SOS 23452 HAS SOPS 23452 HAS SOUS 20748 HAS SOUPS 20748 WITH SCORE 20771.452
AT ITER 136 NEW BEST:: SOT 34563 SOS 23404 HAS SOPS 23404 HAS SOUS 20700 HAS SOUPS 20700 WITH SCORE 20723.404
AT ITER 137 NEW BEST:: SOT 34483 SOS 23322 HAS SOPS 23322 HAS SOUS 20618 HAS SOUPS 20618 WITH SCORE 20641.322
AT ITER 138 NEW BEST:: SOT 34420 SOS 23262 HAS SOPS 23262 HAS SOUS 20558 HAS SOUPS 20558 WITH SCORE 20581.262
AT ITER 139 NEW BEST:: SOT 34103 SOS 22822 HAS SOPS 22822 HAS SOUS 20118 HAS SOUPS 20118 WITH SCORE 20140.822
AT ITER 141 NEW BEST:: SOT 33983 SOS 22702 HAS SOPS 22702 HAS SOUS 20056 HAS SOUPS 20056 WITH SCORE 20078.702
AT ITER 142 NEW BEST:: SOT 33793 SOS 22451 HAS SOPS 22451 HAS SOUS 19805 HAS SOUPS 19805 WITH SCORE 19827.451
AT ITER 143 NEW BEST:: SOT 33741 SOS 22455 HAS SOPS 22455 HAS SOUS 19792 HAS SOUPS 19792 WITH SCORE 19814.455
AT ITER 144 NEW BEST:: SOT 33690 SOS 22404 HAS SOPS 22404 HAS SOUS 19741 HAS SOUPS 19741 WITH SCORE 19763.404
AT ITER 146 NEW BEST:: SOT 33673 SOS 22336 HAS SOPS 22336 HAS SOUS 19690 HAS SOUPS 19690 WITH SCORE 19712.336
AT ITER 150 NEW BEST:: SOT 33624 SOS 22287 HAS SOPS 22287 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19662.287
AT ITER 153 NEW BEST:: SOT 33624 SOS 22202 HAS SOPS 22202 HAS SOUS 19638 HAS SOUPS 19638 WITH SCORE 19660.202
AT ITER 157 NEW BEST:: SOT 33620 SOS 22198 HAS SOPS 22198 HAS SOUS 19634 HAS SOUPS 19634 WITH SCORE 19656.198
AT ITER 161 NEW BEST:: SOT 33618 SOS 21949 HAS SOPS 21949 HAS SOUS 19579 HAS SOUPS 19579 WITH SCORE 19600.949
AT ITER 163 NEW BEST:: SOT 33610 SOS 21941 HAS SOPS 21941 HAS SOUS 19571 HAS SOUPS 19571 WITH SCORE 19592.941
AT ITER 165 NEW BEST:: SOT 33496 SOS 21739 HAS SOPS 21739 HAS SOUS 19431 HAS SOUPS 19431 WITH SCORE 19452.739
AT ITER 172 NEW BEST:: SOT 33496 SOS 21732 HAS SOPS 21732 HAS SOUS 19424 HAS SOUPS 19424 WITH SCORE 19445.732
AT ITER 177 NEW BEST:: SOT 33385 SOS 21958 HAS SOPS 21958 HAS SOUS 19332 HAS SOUPS 19332 WITH SCORE 19353.958
AT ITER 181 NEW BEST:: SOT 33284 SOS 21829 HAS SOPS 21829 HAS SOUS 19203 HAS SOUPS 19203 WITH SCORE 19224.829
AT ITER 182 NEW BEST:: SOT 33321 SOS 21818 HAS SOPS 21818 HAS SOUS 19192 HAS SOUPS 19192 WITH SCORE 19213.818
AT ITER 185 NEW BEST:: SOT 33271 SOS 21748 HAS SOPS 21748 HAS SOUS 19122 HAS SOUPS 19122 WITH SCORE 19143.748
AT ITER 191 NEW BEST:: SOT 33233 SOS 21710 HAS SOPS 21710 HAS SOUS 19084 HAS SOUPS 19084 WITH SCORE 19105.71
AT ITER 192 NEW BEST:: SOT 33233 SOS 21664 HAS SOPS 21664 HAS SOUS 19054 HAS SOUPS 19054 WITH SCORE 19075.664
AT ITER 206 NEW BEST:: SOT 33254 SOS 21663 HAS SOPS 21663 HAS SOUS 19053 HAS SOUPS 19053 WITH SCORE 19074.663
AT ITER 208 NEW BEST:: SOT 33190 SOS 21571 HAS SOPS 21571 HAS SOUS 18958 HAS SOUPS 18958 WITH SCORE 18979.571
AT ITER 210 NEW BEST:: SOT 33228 SOS 21534 HAS SOPS 21534 HAS SOUS 18924 HAS SOUPS 18924 WITH SCORE 18945.534
AT ITER 212 NEW BEST:: SOT 33211 SOS 21517 HAS SOPS 21517 HAS SOUS 18907 HAS SOUPS 18907 WITH SCORE 18928.517
AT ITER 214 NEW BEST:: SOT 33211 SOS 21517 HAS SOPS 21517 HAS SOUS 18906 HAS SOUPS 18906 WITH SCORE 18927.517
AT ITER 216 NEW BEST:: SOT 33016 SOS 21218 HAS SOPS 21218 HAS SOUS 18607 HAS SOUPS 18607 WITH SCORE 18628.218
AT ITER 217 NEW BEST:: SOT 33011 SOS 21176 HAS SOPS 21176 HAS SOUS 18565 HAS SOUPS 18565 WITH SCORE 18586.176
AT ITER 218 NEW BEST:: SOT 32990 SOS 21155 HAS SOPS 21155 HAS SOUS 18544 HAS SOUPS 18544 WITH SCORE 18565.155
AT ITER 226 NEW BEST:: SOT 32890 SOS 20969 HAS SOPS 20969 HAS SOUS 18542 HAS SOUPS 18542 WITH SCORE 18562.969
AT ITER 229 NEW BEST:: SOT 32895 SOS 20930 HAS SOPS 20930 HAS SOUS 18503 HAS SOUPS 18503 WITH SCORE 18523.93
AT ITER 230 NEW BEST:: SOT 32942 SOS 20917 HAS SOPS 20917 HAS SOUS 18486 HAS SOUPS 18486 WITH SCORE 18506.917
AT ITER 233 NEW BEST:: SOT 32898 SOS 20872 HAS SOPS 20872 HAS SOUS 18441 HAS SOUPS 18441 WITH SCORE 18461.872
AT ITER 236 NEW BEST:: SOT 32888 SOS 20867 HAS SOPS 20867 HAS SOUS 18436 HAS SOUPS 18436 WITH SCORE 18456.867
AT ITER 241 NEW BEST:: SOT 32744 SOS 20723 HAS SOPS 20723 HAS SOUS 18292 HAS SOUPS 18292 WITH SCORE 18312.723
AT ITER 242 NEW BEST:: SOT 32708 SOS 20657 HAS SOPS 20657 HAS SOUS 18221 HAS SOUPS 18221 WITH SCORE 18241.657
AT ITER 247 NEW BEST:: SOT 32632 SOS 20572 HAS SOPS 20572 HAS SOUS 18136 HAS SOUPS 18136 WITH SCORE 18156.572
AT ITER 248 NEW BEST:: SOT 32625 SOS 20568 HAS SOPS 20568 HAS SOUS 18132 HAS SOUPS 18132 WITH SCORE 18152.568
AT ITER 254 NEW BEST:: SOT 32625 SOS 20517 HAS SOPS 20517 HAS SOUS 18097 HAS SOUPS 18097 WITH SCORE 18117.517
AT ITER 256 NEW BEST:: SOT 32598 SOS 20490 HAS SOPS 20490 HAS SOUS 18070 HAS SOUPS 18070 WITH SCORE 18090.49
AT ITER 268 NEW BEST:: SOT 32513 SOS 20368 HAS SOPS 20368 HAS SOUS 17917 HAS SOUPS 17917 WITH SCORE 17937.368
AT ITER 276 NEW BEST:: SOT 32269 SOS 20130 HAS SOPS 20130 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17709.13
AT ITER 277 NEW BEST:: SOT 32212 SOS 20073 HAS SOPS 20073 HAS SOUS 17632 HAS SOUPS 17632 WITH SCORE 17652.073
AT ITER 279 NEW BEST:: SOT 32151 SOS 20025 HAS SOPS 20025 HAS SOUS 17574 HAS SOUPS 17574 WITH SCORE 17594.025
AT ITER 285 NEW BEST:: SOT 32170 SOS 20000 HAS SOPS 20000 HAS SOUS 17536 HAS SOUPS 17536 WITH SCORE 17556.0
AT ITER 289 NEW BEST:: SOT 32131 SOS 19961 HAS SOPS 19961 HAS SOUS 17497 HAS SOUPS 17497 WITH SCORE 17516.961
AT ITER 290 NEW BEST:: SOT 32051 SOS 19881 HAS SOPS 19881 HAS SOUS 17342 HAS SOUPS 17342 WITH SCORE 17361.881
AT ITER 291 NEW BEST:: SOT 32039 SOS 19869 HAS SOPS 19869 HAS SOUS 17330 HAS SOUPS 17330 WITH SCORE 17349.869
AT ITER 292 NEW BEST:: SOT 32024 SOS 19854 HAS SOPS 19854 HAS SOUS 17315 HAS SOUPS 17315 WITH SCORE 17334.854
AT ITER 305 NEW BEST:: SOT 32024 SOS 19840 HAS SOPS 19840 HAS SOUS 17308 HAS SOUPS 17308 WITH SCORE 17327.84
AT ITER 311 NEW BEST:: SOT 31821 SOS 19636 HAS SOPS 19636 HAS SOUS 17104 HAS SOUPS 17104 WITH SCORE 17123.636
AT ITER 315 NEW BEST:: SOT 31799 SOS 19614 HAS SOPS 19614 HAS SOUS 17082 HAS SOUPS 17082 WITH SCORE 17101.614
AT ITER 316 NEW BEST:: SOT 31743 SOS 19558 HAS SOPS 19558 HAS SOUS 17026 HAS SOUPS 17026 WITH SCORE 17045.558
AT ITER 319 NEW BEST:: SOT 31656 SOS 19520 HAS SOPS 19520 HAS SOUS 16893 HAS SOUPS 16893 WITH SCORE 16912.52
AT ITER 320 NEW BEST:: SOT 31617 SOS 19497 HAS SOPS 19497 HAS SOUS 16870 HAS SOUPS 16870 WITH SCORE 16889.497
AT ITER 329 NEW BEST:: SOT 31583 SOS 19463 HAS SOPS 19463 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16855.463
AT ITER 334 NEW BEST:: SOT 31562 SOS 19442 HAS SOPS 19442 HAS SOUS 16815 HAS SOUPS 16815 WITH SCORE 16834.442
AT ITER 336 NEW BEST:: SOT 31558 SOS 19434 HAS SOPS 19434 HAS SOUS 16807 HAS SOUPS 16807 WITH SCORE 16826.434
AT ITER 338 NEW BEST:: SOT 31558 SOS 19330 HAS SOPS 19330 HAS SOUS 16797 HAS SOUPS 16797 WITH SCORE 16816.33
AT ITER 339 NEW BEST:: SOT 31524 SOS 19145 HAS SOPS 19145 HAS SOUS 16735 HAS SOUPS 16735 WITH SCORE 16754.145
AT ITER 340 NEW BEST:: SOT 31471 SOS 18997 HAS SOPS 18997 HAS SOUS 16626 HAS SOUPS 16626 WITH SCORE 16644.997
AT ITER 341 NEW BEST:: SOT 31471 SOS 18997 HAS SOPS 18997 HAS SOUS 16589 HAS SOUPS 16589 WITH SCORE 16607.997
AT ITER 345 NEW BEST:: SOT 31415 SOS 18913 HAS SOPS 18913 HAS SOUS 16505 HAS SOUPS 16505 WITH SCORE 16523.913
AT ITER 346 NEW BEST:: SOT 31371 SOS 18869 HAS SOPS 18869 HAS SOUS 16449 HAS SOUPS 16449 WITH SCORE 16467.869
AT ITER 348 NEW BEST:: SOT 31325 SOS 18779 HAS SOPS 18779 HAS SOUS 16334 HAS SOUPS 16334 WITH SCORE 16352.779
AT ITER 356 NEW BEST:: SOT 31284 SOS 18738 HAS SOPS 18738 HAS SOUS 16296 HAS SOUPS 16296 WITH SCORE 16314.738
AT ITER 363 NEW BEST:: SOT 31282 SOS 18646 HAS SOPS 18646 HAS SOUS 16264 HAS SOUPS 16264 WITH SCORE 16282.646
AT ITER 365 NEW BEST:: SOT 31256 SOS 18620 HAS SOPS 18620 HAS SOUS 16238 HAS SOUPS 16238 WITH SCORE 16256.62
AT ITER 369 NEW BEST:: SOT 31214 SOS 18526 HAS SOPS 18526 HAS SOUS 16144 HAS SOUPS 16144 WITH SCORE 16162.526
AT ITER 374 NEW BEST:: SOT 31071 SOS 18349 HAS SOPS 18349 HAS SOUS 15938 HAS SOUPS 15938 WITH SCORE 15956.349
AT ITER 382 NEW BEST:: SOT 30973 SOS 18178 HAS SOPS 18178 HAS SOUS 15767 HAS SOUPS 15767 WITH SCORE 15785.178
AT ITER 383 NEW BEST:: SOT 30948 SOS 18153 HAS SOPS 18153 HAS SOUS 15742 HAS SOUPS 15742 WITH SCORE 15760.153
AT ITER 387 NEW BEST:: SOT 30937 SOS 18104 HAS SOPS 18104 HAS SOUS 15672 HAS SOUPS 15672 WITH SCORE 15690.104
AT ITER 389 NEW BEST:: SOT 30937 SOS 18027 HAS SOPS 18027 HAS SOUS 15626 HAS SOUPS 15626 WITH SCORE 15644.027
AT ITER 390 NEW BEST:: SOT 30937 SOS 18018 HAS SOPS 18018 HAS SOUS 15626 HAS SOUPS 15626 WITH SCORE 15644.018
AT ITER 393 NEW BEST:: SOT 30893 SOS 17974 HAS SOPS 17974 HAS SOUS 15596 HAS SOUPS 15596 WITH SCORE 15613.974
AT ITER 395 NEW BEST:: SOT 30893 SOS 17974 HAS SOPS 17974 HAS SOUS 15591 HAS SOUPS 15591 WITH SCORE 15608.974
AT ITER 402 NEW BEST:: SOT 30891 SOS 17840 HAS SOPS 17840 HAS SOUS 15578 HAS SOUPS 15578 WITH SCORE 15595.84
AT ITER 416 NEW BEST:: SOT 30924 SOS 17495 HAS SOPS 17495 HAS SOUS 15416 HAS SOUPS 15416 WITH SCORE 15433.495
AT ITER 419 NEW BEST:: SOT 30924 SOS 17495 HAS SOPS 17495 HAS SOUS 15412 HAS SOUPS 15412 WITH SCORE 15429.495
AT ITER 425 NEW BEST:: SOT 30819 SOS 17371 HAS SOPS 17371 HAS SOUS 15288 HAS SOUPS 15288 WITH SCORE 15305.371
AT ITER 432 NEW BEST:: SOT 30772 SOS 17324 HAS SOPS 17324 HAS SOUS 15206 HAS SOUPS 15206 WITH SCORE 15223.324
AT ITER 435 NEW BEST:: SOT 30750 SOS 17302 HAS SOPS 17302 HAS SOUS 15184 HAS SOUPS 15184 WITH SCORE 15201.302
AT ITER 440 NEW BEST:: SOT 30750 SOS 17087 HAS SOPS 17087 HAS SOUS 15149 HAS SOUPS 15149 WITH SCORE 15166.087
AT ITER 442 NEW BEST:: SOT 30750 SOS 17087 HAS SOPS 17087 HAS SOUS 15142 HAS SOUPS 15142 WITH SCORE 15159.087
AT ITER 448 NEW BEST:: SOT 30765 SOS 17078 HAS SOPS 17078 HAS SOUS 15133 HAS SOUPS 15133 WITH SCORE 15150.078
AT ITER 449 NEW BEST:: SOT 30764 SOS 17063 HAS SOPS 17063 HAS SOUS 15118 HAS SOUPS 15118 WITH SCORE 15135.063
AT ITER 453 NEW BEST:: SOT 30751 SOS 17024 HAS SOPS 17024 HAS SOUS 15092 HAS SOUPS 15092 WITH SCORE 15109.024
AT ITER 458 NEW BEST:: SOT 30597 SOS 16811 HAS SOPS 16811 HAS SOUS 14837 HAS SOUPS 14837 WITH SCORE 14853.811
AT ITER 473 NEW BEST:: SOT 30593 SOS 16807 HAS SOPS 16807 HAS SOUS 14833 HAS SOUPS 14833 WITH SCORE 14849.807
AT ITER 475 NEW BEST:: SOT 30555 SOS 16739 HAS SOPS 16739 HAS SOUS 14765 HAS SOUPS 14765 WITH SCORE 14781.739
AT ITER 479 NEW BEST:: SOT 30555 SOS 16706 HAS SOPS 16706 HAS SOUS 14747 HAS SOUPS 14747 WITH SCORE 14763.706
AT ITER 481 NEW BEST:: SOT 30555 SOS 16640 HAS SOPS 16640 HAS SOUS 14681 HAS SOUPS 14681 WITH SCORE 14697.64
AT ITER 483 NEW BEST:: SOT 30555 SOS 16566 HAS SOPS 16566 HAS SOUS 14676 HAS SOUPS 14676 WITH SCORE 14692.566
AT ITER 485 NEW BEST:: SOT 30577 SOS 16495 HAS SOPS 16495 HAS SOUS 14650 HAS SOUPS 14650 WITH SCORE 14666.495
AT ITER 495 NEW BEST:: SOT 30561 SOS 16479 HAS SOPS 16479 HAS SOUS 14634 HAS SOUPS 14634 WITH SCORE 14650.479
AT ITER 510 NEW BEST:: SOT 30532 SOS 16450 HAS SOPS 16450 HAS SOUS 14605 HAS SOUPS 14605 WITH SCORE 14621.45
AT ITER 512 NEW BEST:: SOT 30541 SOS 16231 HAS SOPS 16231 HAS SOUS 14547 HAS SOUPS 14547 WITH SCORE 14563.231
AT ITER 515 NEW BEST:: SOT 30541 SOS 16079 HAS SOPS 16079 HAS SOUS 14499 HAS SOUPS 14499 WITH SCORE 14515.079
AT ITER 518 NEW BEST:: SOT 30564 SOS 15984 HAS SOPS 15984 HAS SOUS 14404 HAS SOUPS 14404 WITH SCORE 14419.984
AT ITER 519 NEW BEST:: SOT 30563 SOS 15956 HAS SOPS 15956 HAS SOUS 14404 HAS SOUPS 14404 WITH SCORE 14419.956
AT ITER 520 NEW BEST:: SOT 30563 SOS 15934 HAS SOPS 15934 HAS SOUS 14386 HAS SOUPS 14386 WITH SCORE 14401.934
AT ITER 521 NEW BEST:: SOT 30528 SOS 15861 HAS SOPS 15861 HAS SOUS 14313 HAS SOUPS 14313 WITH SCORE 14328.861
AT ITER 529 NEW BEST:: SOT 30527 SOS 15868 HAS SOPS 15868 HAS SOUS 14302 HAS SOUPS 14302 WITH SCORE 14317.868
AT ITER 534 NEW BEST:: SOT 30511 SOS 15852 HAS SOPS 15852 HAS SOUS 14286 HAS SOUPS 14286 WITH SCORE 14301.852
AT ITER 541 NEW BEST:: SOT 30508 SOS 15849 HAS SOPS 15849 HAS SOUS 14283 HAS SOUPS 14283 WITH SCORE 14298.849
AT ITER 543 NEW BEST:: SOT 30485 SOS 15792 HAS SOPS 15792 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14241.792
AT ITER 552 NEW BEST:: SOT 30482 SOS 15780 HAS SOPS 15780 HAS SOUS 14217 HAS SOUPS 14217 WITH SCORE 14232.78
AT ITER 558 NEW BEST:: SOT 30394 SOS 15643 HAS SOPS 15643 HAS SOUS 14053 HAS SOUPS 14053 WITH SCORE 14068.643
AT ITER 564 NEW BEST:: SOT 30394 SOS 15613 HAS SOPS 15613 HAS SOUS 14053 HAS SOUPS 14053 WITH SCORE 14068.613
AT ITER 580 NEW BEST:: SOT 30394 SOS 15577 HAS SOPS 15577 HAS SOUS 14017 HAS SOUPS 14017 WITH SCORE 14032.577
AT ITER 590 NEW BEST:: SOT 30390 SOS 15565 HAS SOPS 15565 HAS SOUS 14005 HAS SOUPS 14005 WITH SCORE 14020.565
AT ITER 601 NEW BEST:: SOT 30354 SOS 15511 HAS SOPS 15511 HAS SOUS 13969 HAS SOUPS 13969 WITH SCORE 13984.511
AT ITER 604 NEW BEST:: SOT 30285 SOS 15432 HAS SOPS 15432 HAS SOUS 13913 HAS SOUPS 13913 WITH SCORE 13928.432
AT ITER 611 NEW BEST:: SOT 30224 SOS 15368 HAS SOPS 15368 HAS SOUS 13849 HAS SOUPS 13849 WITH SCORE 13864.368
AT ITER 617 NEW BEST:: SOT 30183 SOS 15292 HAS SOPS 15292 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13788.292
AT ITER 620 NEW BEST:: SOT 30183 SOS 15228 HAS SOPS 15228 HAS SOUS 13718 HAS SOUPS 13718 WITH SCORE 13733.228
AT ITER 623 NEW BEST:: SOT 30175 SOS 15216 HAS SOPS 15216 HAS SOUS 13712 HAS SOUPS 13712 WITH SCORE 13727.216
AT ITER 639 NEW BEST:: SOT 30178 SOS 15151 HAS SOPS 15151 HAS SOUS 13679 HAS SOUPS 13679 WITH SCORE 13694.151
AT ITER 656 NEW BEST:: SOT 30125 SOS 15049 HAS SOPS 15049 HAS SOUS 13566 HAS SOUPS 13566 WITH SCORE 13581.049
AT ITER 659 NEW BEST:: SOT 30125 SOS 14989 HAS SOPS 14989 HAS SOUS 13537 HAS SOUPS 13537 WITH SCORE 13551.989
AT ITER 661 NEW BEST:: SOT 30077 SOS 14870 HAS SOPS 14870 HAS SOUS 13470 HAS SOUPS 13470 WITH SCORE 13484.87
AT ITER 666 NEW BEST:: SOT 30077 SOS 14861 HAS SOPS 14861 HAS SOUS 13461 HAS SOUPS 13461 WITH SCORE 13475.861
AT ITER 668 NEW BEST:: SOT 30077 SOS 14857 HAS SOPS 14857 HAS SOUS 13457 HAS SOUPS 13457 WITH SCORE 13471.857
AT ITER 669 NEW BEST:: SOT 30015 SOS 14798 HAS SOPS 14798 HAS SOUS 13398 HAS SOUPS 13398 WITH SCORE 13412.798
AT ITER 674 NEW BEST:: SOT 30015 SOS 14733 HAS SOPS 14733 HAS SOUS 13398 HAS SOUPS 13398 WITH SCORE 13412.733
AT ITER 675 NEW BEST:: SOT 29939 SOS 14581 HAS SOPS 14581 HAS SOUS 13273 HAS SOUPS 13273 WITH SCORE 13287.581
AT ITER 686 NEW BEST:: SOT 29884 SOS 14472 HAS SOPS 14472 HAS SOUS 13179 HAS SOUPS 13179 WITH SCORE 13193.472
AT ITER 690 NEW BEST:: SOT 29884 SOS 14472 HAS SOPS 14472 HAS SOUS 13178 HAS SOUPS 13178 WITH SCORE 13192.472
AT ITER 704 NEW BEST:: SOT 29880 SOS 14458 HAS SOPS 14458 HAS SOUS 13171 HAS SOUPS 13171 WITH SCORE 13185.458
AT ITER 706 NEW BEST:: SOT 29880 SOS 14429 HAS SOPS 14429 HAS SOUS 13142 HAS SOUPS 13142 WITH SCORE 13156.429
AT ITER 714 NEW BEST:: SOT 29880 SOS 14417 HAS SOPS 14417 HAS SOUS 13130 HAS SOUPS 13130 WITH SCORE 13144.417
AT ITER 724 NEW BEST:: SOT 29852 SOS 14389 HAS SOPS 14389 HAS SOUS 13102 HAS SOUPS 13102 WITH SCORE 13116.389
AT ITER 729 NEW BEST:: SOT 29852 SOS 14392 HAS SOPS 14392 HAS SOUS 13093 HAS SOUPS 13093 WITH SCORE 13107.392
AT ITER 730 NEW BEST:: SOT 29829 SOS 14369 HAS SOPS 14369 HAS SOUS 13080 HAS SOUPS 13080 WITH SCORE 13094.369
AT ITER 748 NEW BEST:: SOT 29826 SOS 14311 HAS SOPS 14311 HAS SOUS 13068 HAS SOUPS 13068 WITH SCORE 13082.311
AT ITER 755 NEW BEST:: SOT 29812 SOS 14303 HAS SOPS 14303 HAS SOUS 13065 HAS SOUPS 13065 WITH SCORE 13079.303
AT ITER 756 NEW BEST:: SOT 29804 SOS 14287 HAS SOPS 14287 HAS SOUS 13049 HAS SOUPS 13049 WITH SCORE 13063.287
AT ITER 757 NEW BEST:: SOT 29701 SOS 14027 HAS SOPS 14027 HAS SOUS 12940 HAS SOUPS 12940 WITH SCORE 12954.027
AT ITER 760 NEW BEST:: SOT 29648 SOS 13947 HAS SOPS 13947 HAS SOUS 12887 HAS SOUPS 12887 WITH SCORE 12900.947
AT ITER 762 NEW BEST:: SOT 29620 SOS 13877 HAS SOPS 13877 HAS SOUS 12845 HAS SOUPS 12845 WITH SCORE 12858.877
AT ITER 775 NEW BEST:: SOT 29616 SOS 13853 HAS SOPS 13853 HAS SOUS 12821 HAS SOUPS 12821 WITH SCORE 12834.853
AT ITER 791 NEW BEST:: SOT 29599 SOS 13836 HAS SOPS 13836 HAS SOUS 12804 HAS SOUPS 12804 WITH SCORE 12817.836
AT ITER 800 NEW BEST:: SOT 29599 SOS 13836 HAS SOPS 13836 HAS SOUS 12729 HAS SOUPS 12729 WITH SCORE 12742.836
AT ITER 801 NEW BEST:: SOT 29500 SOS 13737 HAS SOPS 13737 HAS SOUS 12630 HAS SOUPS 12630 WITH SCORE 12643.737
AT ITER 808 NEW BEST:: SOT 29478 SOS 13730 HAS SOPS 13730 HAS SOUS 12624 HAS SOUPS 12624 WITH SCORE 12637.73
AT ITER 813 NEW BEST:: SOT 29462 SOS 13719 HAS SOPS 13719 HAS SOUS 12613 HAS SOUPS 12613 WITH SCORE 12626.719
AT ITER 814 NEW BEST:: SOT 29434 SOS 13687 HAS SOPS 13687 HAS SOUS 12581 HAS SOUPS 12581 WITH SCORE 12594.687
AT ITER 817 NEW BEST:: SOT 29394 SOS 13601 HAS SOPS 13601 HAS SOUS 12437 HAS SOUPS 12437 WITH SCORE 12450.601
AT ITER 820 NEW BEST:: SOT 29372 SOS 13559 HAS SOPS 13559 HAS SOUS 12400 HAS SOUPS 12400 WITH SCORE 12413.559
AT ITER 823 NEW BEST:: SOT 29300 SOS 13443 HAS SOPS 13443 HAS SOUS 12284 HAS SOUPS 12284 WITH SCORE 12297.443
AT ITER 833 NEW BEST:: SOT 29284 SOS 13360 HAS SOPS 13360 HAS SOUS 12212 HAS SOUPS 12212 WITH SCORE 12225.36
AT ITER 843 NEW BEST:: SOT 29275 SOS 13439 HAS SOPS 13439 HAS SOUS 12210 HAS SOUPS 12210 WITH SCORE 12223.439
AT ITER 844 NEW BEST:: SOT 29270 SOS 13420 HAS SOPS 13420 HAS SOUS 12191 HAS SOUPS 12191 WITH SCORE 12204.42
AT ITER 848 NEW BEST:: SOT 29214 SOS 13346 HAS SOPS 13346 HAS SOUS 12117 HAS SOUPS 12117 WITH SCORE 12130.346
AT ITER 851 NEW BEST:: SOT 29178 SOS 13317 HAS SOPS 13317 HAS SOUS 12088 HAS SOUPS 12088 WITH SCORE 12101.317
AT ITER 852 NEW BEST:: SOT 29173 SOS 13309 HAS SOPS 13309 HAS SOUS 12080 HAS SOUPS 12080 WITH SCORE 12093.309
AT ITER 854 NEW BEST:: SOT 29173 SOS 13309 HAS SOPS 13309 HAS SOUS 12070 HAS SOUPS 12070 WITH SCORE 12083.309
AT ITER 857 NEW BEST:: SOT 29150 SOS 13285 HAS SOPS 13285 HAS SOUS 12046 HAS SOUPS 12046 WITH SCORE 12059.285
AT ITER 866 NEW BEST:: SOT 29124 SOS 13265 HAS SOPS 13265 HAS SOUS 12026 HAS SOUPS 12026 WITH SCORE 12039.265
AT ITER 868 NEW BEST:: SOT 29107 SOS 13241 HAS SOPS 13241 HAS SOUS 11975 HAS SOUPS 11975 WITH SCORE 11988.241
AT ITER 875 NEW BEST:: SOT 29053 SOS 13187 HAS SOPS 13187 HAS SOUS 11888 HAS SOUPS 11888 WITH SCORE 11901.187
AT ITER 882 NEW BEST:: SOT 28967 SOS 13095 HAS SOPS 13095 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11788.095
AT ITER 886 NEW BEST:: SOT 28981 SOS 13093 HAS SOPS 13093 HAS SOUS 11769 HAS SOUPS 11769 WITH SCORE 11782.093
AT ITER 887 NEW BEST:: SOT 28981 SOS 13078 HAS SOPS 13078 HAS SOUS 11735 HAS SOUPS 11735 WITH SCORE 11748.078
AT ITER 889 NEW BEST:: SOT 28982 SOS 13052 HAS SOPS 13052 HAS SOUS 11723 HAS SOUPS 11723 WITH SCORE 11736.052
AT ITER 903 NEW BEST:: SOT 28964 SOS 13051 HAS SOPS 13051 HAS SOUS 11719 HAS SOUPS 11719 WITH SCORE 11732.051
AT ITER 909 NEW BEST:: SOT 28913 SOS 12888 HAS SOPS 12888 HAS SOUS 11600 HAS SOUPS 11600 WITH SCORE 11612.888
AT ITER 910 NEW BEST:: SOT 28873 SOS 12833 HAS SOPS 12833 HAS SOUS 11545 HAS SOUPS 11545 WITH SCORE 11557.833
AT ITER 916 NEW BEST:: SOT 28876 SOS 12817 HAS SOPS 12817 HAS SOUS 11529 HAS SOUPS 11529 WITH SCORE 11541.817
AT ITER 939 NEW BEST:: SOT 28712 SOS 12673 HAS SOPS 12673 HAS SOUS 11493 HAS SOUPS 11493 WITH SCORE 11505.673
AT ITER 941 NEW BEST:: SOT 28702 SOS 12567 HAS SOPS 12567 HAS SOUS 11435 HAS SOUPS 11435 WITH SCORE 11447.567
AT ITER 959 NEW BEST:: SOT 28650 SOS 12498 HAS SOPS 12498 HAS SOUS 11366 HAS SOUPS 11366 WITH SCORE 11378.498
AT ITER 960 NEW BEST:: SOT 28618 SOS 12466 HAS SOPS 12466 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11346.466
AT ITER 974 NEW BEST:: SOT 28614 SOS 12446 HAS SOPS 12446 HAS SOUS 11314 HAS SOUPS 11314 WITH SCORE 11326.446
AT ITER 975 NEW BEST:: SOT 28604 SOS 12443 HAS SOPS 12443 HAS SOUS 11301 HAS SOUPS 11301 WITH SCORE 11313.443
AT ITER 978 NEW BEST:: SOT 28525 SOS 12377 HAS SOPS 12377 HAS SOUS 11235 HAS SOUPS 11235 WITH SCORE 11247.377
AT ITER 979 NEW BEST:: SOT 28515 SOS 12365 HAS SOPS 12365 HAS SOUS 11223 HAS SOUPS 11223 WITH SCORE 11235.365
AT ITER 995 NEW BEST:: SOT 28501 SOS 12325 HAS SOPS 12325 HAS SOUS 11200 HAS SOUPS 11200 WITH SCORE 11212.325
AT ITER 1016 NEW BEST:: SOT 28493 SOS 12294 HAS SOPS 12294 HAS SOUS 11188 HAS SOUPS 11188 WITH SCORE 11200.294
AT ITER 1020 NEW BEST:: SOT 28488 SOS 12286 HAS SOPS 12286 HAS SOUS 11180 HAS SOUPS 11180 WITH SCORE 11192.286
AT ITER 1021 NEW BEST:: SOT 28378 SOS 12110 HAS SOPS 12110 HAS SOUS 10999 HAS SOUPS 10999 WITH SCORE 11011.11
AT ITER 1035 NEW BEST:: SOT 28376 SOS 12108 HAS SOPS 12108 HAS SOUS 10994 HAS SOUPS 10994 WITH SCORE 11006.108
AT ITER 1044 NEW BEST:: SOT 28376 SOS 12076 HAS SOPS 12076 HAS SOUS 10994 HAS SOUPS 10994 WITH SCORE 11006.076
AT ITER 1047 NEW BEST:: SOT 28374 SOS 12072 HAS SOPS 12072 HAS SOUS 10990 HAS SOUPS 10990 WITH SCORE 11002.072
AT ITER 1060 NEW BEST:: SOT 28371 SOS 12069 HAS SOPS 12069 HAS SOUS 10987 HAS SOUPS 10987 WITH SCORE 10999.069
AT ITER 1067 NEW BEST:: SOT 28371 SOS 12055 HAS SOPS 12055 HAS SOUS 10983 HAS SOUPS 10983 WITH SCORE 10995.055
AT ITER 1077 NEW BEST:: SOT 28356 SOS 12041 HAS SOPS 12041 HAS SOUS 10969 HAS SOUPS 10969 WITH SCORE 10981.041
AT ITER 1093 NEW BEST:: SOT 28356 SOS 12026 HAS SOPS 12026 HAS SOUS 10964 HAS SOUPS 10964 WITH SCORE 10976.026
AT ITER 1095 NEW BEST:: SOT 28350 SOS 12020 HAS SOPS 12020 HAS SOUS 10958 HAS SOUPS 10958 WITH SCORE 10970.02
AT ITER 1098 NEW BEST:: SOT 28348 SOS 12018 HAS SOPS 12018 HAS SOUS 10956 HAS SOUPS 10956 WITH SCORE 10968.018
AT ITER 1100 NEW BEST:: SOT 28301 SOS 11925 HAS SOPS 11925 HAS SOUS 10908 HAS SOUPS 10908 WITH SCORE 10919.925
AT ITER 1108 NEW BEST:: SOT 28286 SOS 11910 HAS SOPS 11910 HAS SOUS 10893 HAS SOUPS 10893 WITH SCORE 10904.91
AT ITER 1115 NEW BEST:: SOT 28225 SOS 11835 HAS SOPS 11835 HAS SOUS 10866 HAS SOUPS 10866 WITH SCORE 10877.835
AT ITER 1161 NEW BEST:: SOT 28213 SOS 11824 HAS SOPS 11824 HAS SOUS 10855 HAS SOUPS 10855 WITH SCORE 10866.824
AT ITER 1166 NEW BEST:: SOT 28155 SOS 11766 HAS SOPS 11766 HAS SOUS 10768 HAS SOUPS 10768 WITH SCORE 10779.766
AT ITER 1168 NEW BEST:: SOT 28142 SOS 11740 HAS SOPS 11740 HAS SOUS 10742 HAS SOUPS 10742 WITH SCORE 10753.74
AT ITER 1177 NEW BEST:: SOT 28102 SOS 11622 HAS SOPS 11622 HAS SOUS 10650 HAS SOUPS 10650 WITH SCORE 10661.622
AT ITER 1184 NEW BEST:: SOT 28089 SOS 11546 HAS SOPS 11546 HAS SOUS 10575 HAS SOUPS 10575 WITH SCORE 10586.546
AT ITER 1223 NEW BEST:: SOT 28089 SOS 11528 HAS SOPS 11528 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10585.528
AT ITER 1230 NEW BEST:: SOT 28083 SOS 11522 HAS SOPS 11522 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10585.522
AT ITER 1232 NEW BEST:: SOT 28070 SOS 11501 HAS SOPS 11501 HAS SOUS 10553 HAS SOUPS 10553 WITH SCORE 10564.501
AT ITER 1244 NEW BEST:: SOT 28066 SOS 11497 HAS SOPS 11497 HAS SOUS 10549 HAS SOUPS 10549 WITH SCORE 10560.497
AT ITER 1251 NEW BEST:: SOT 28059 SOS 11486 HAS SOPS 11486 HAS SOUS 10537 HAS SOUPS 10537 WITH SCORE 10548.486
AT ITER 1266 NEW BEST:: SOT 28051 SOS 11478 HAS SOPS 11478 HAS SOUS 10529 HAS SOUPS 10529 WITH SCORE 10540.478
AT ITER 1270 NEW BEST:: SOT 28046 SOS 11463 HAS SOPS 11463 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10530.463
AT ITER 1284 NEW BEST:: SOT 28048 SOS 11469 HAS SOPS 11469 HAS SOUS 10512 HAS SOUPS 10512 WITH SCORE 10523.469
AT ITER 1285 NEW BEST:: SOT 28045 SOS 11463 HAS SOPS 11463 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10514.463
AT ITER 1303 NEW BEST:: SOT 28040 SOS 11438 HAS SOPS 11438 HAS SOUS 10491 HAS SOUPS 10491 WITH SCORE 10502.438
AT ITER 1308 NEW BEST:: SOT 28040 SOS 11438 HAS SOPS 11438 HAS SOUS 10478 HAS SOUPS 10478 WITH SCORE 10489.438
AT ITER 1329 NEW BEST:: SOT 27992 SOS 11390 HAS SOPS 11390 HAS SOUS 10424 HAS SOUPS 10424 WITH SCORE 10435.39
AT ITER 1331 NEW BEST:: SOT 27990 SOS 11386 HAS SOPS 11386 HAS SOUS 10420 HAS SOUPS 10420 WITH SCORE 10431.386
AT ITER 1365 NEW BEST:: SOT 27982 SOS 11378 HAS SOPS 11378 HAS SOUS 10412 HAS SOUPS 10412 WITH SCORE 10423.378
AT ITER 1374 NEW BEST:: SOT 27982 SOS 11356 HAS SOPS 11356 HAS SOUS 10412 HAS SOUPS 10412 WITH SCORE 10423.356
AT ITER 1375 NEW BEST:: SOT 27962 SOS 11312 HAS SOPS 11312 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10379.312
AT ITER 1381 NEW BEST:: SOT 27957 SOS 11292 HAS SOPS 11292 HAS SOUS 10358 HAS SOUPS 10358 WITH SCORE 10369.292
AT ITER 1395 NEW BEST:: SOT 27938 SOS 11260 HAS SOPS 11260 HAS SOUS 10326 HAS SOUPS 10326 WITH SCORE 10337.26
AT ITER 1401 NEW BEST:: SOT 27963 SOS 11252 HAS SOPS 11252 HAS SOUS 10298 HAS SOUPS 10298 WITH SCORE 10309.252
AT ITER 1402 NEW BEST:: SOT 27963 SOS 11248 HAS SOPS 11248 HAS SOUS 10268 HAS SOUPS 10268 WITH SCORE 10279.248
AT ITER 1405 NEW BEST:: SOT 27954 SOS 11227 HAS SOPS 11227 HAS SOUS 10250 HAS SOUPS 10250 WITH SCORE 10261.227
AT ITER 1410 NEW BEST:: SOT 27927 SOS 11181 HAS SOPS 11181 HAS SOUS 10204 HAS SOUPS 10204 WITH SCORE 10215.181
AT ITER 1417 NEW BEST:: SOT 27922 SOS 11177 HAS SOPS 11177 HAS SOUS 10197 HAS SOUPS 10197 WITH SCORE 10208.177
AT ITER 1431 NEW BEST:: SOT 27922 SOS 11174 HAS SOPS 11174 HAS SOUS 10194 HAS SOUPS 10194 WITH SCORE 10205.174
AT ITER 1433 NEW BEST:: SOT 27964 SOS 11053 HAS SOPS 11053 HAS SOUS 10159 HAS SOUPS 10159 WITH SCORE 10170.053
AT ITER 1434 NEW BEST:: SOT 27953 SOS 11042 HAS SOPS 11042 HAS SOUS 10148 HAS SOUPS 10148 WITH SCORE 10159.042
AT ITER 1438 NEW BEST:: SOT 27948 SOS 11033 HAS SOPS 11033 HAS SOUS 10133 HAS SOUPS 10133 WITH SCORE 10144.033
AT ITER 1439 NEW BEST:: SOT 27945 SOS 11027 HAS SOPS 11027 HAS SOUS 10127 HAS SOUPS 10127 WITH SCORE 10138.027
AT ITER 1449 NEW BEST:: SOT 27894 SOS 10976 HAS SOPS 10976 HAS SOUS 10076 HAS SOUPS 10076 WITH SCORE 10086.976
AT ITER 1451 NEW BEST:: SOT 27890 SOS 10968 HAS SOPS 10968 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10078.968
AT ITER 1452 NEW BEST:: SOT 27851 SOS 10929 HAS SOPS 10929 HAS SOUS 10029 HAS SOUPS 10029 WITH SCORE 10039.929
AT ITER 1453 NEW BEST:: SOT 27828 SOS 10876 HAS SOPS 10876 HAS SOUS 9976 HAS SOUPS 9976 WITH SCORE 9986.876
AT ITER 1461 NEW BEST:: SOT 27798 SOS 10822 HAS SOPS 10822 HAS SOUS 9922 HAS SOUPS 9922 WITH SCORE 9932.822
AT ITER 1467 NEW BEST:: SOT 27794 SOS 10810 HAS SOPS 10810 HAS SOUS 9914 HAS SOUPS 9914 WITH SCORE 9924.81
AT ITER 1478 NEW BEST:: SOT 27817 SOS 10737 HAS SOPS 10737 HAS SOUS 9899 HAS SOUPS 9899 WITH SCORE 9909.737
AT ITER 1480 NEW BEST:: SOT 27811 SOS 10724 HAS SOPS 10724 HAS SOUS 9891 HAS SOUPS 9891 WITH SCORE 9901.724
AT ITER 1481 NEW BEST:: SOT 27769 SOS 10688 HAS SOPS 10688 HAS SOUS 9853 HAS SOUPS 9853 WITH SCORE 9863.688
AT ITER 1491 NEW BEST:: SOT 27765 SOS 10682 HAS SOPS 10682 HAS SOUS 9847 HAS SOUPS 9847 WITH SCORE 9857.682
AT ITER 1499 NEW BEST:: SOT 27765 SOS 10681 HAS SOPS 10681 HAS SOUS 9846 HAS SOUPS 9846 WITH SCORE 9856.681
AT ITER 1503 NEW BEST:: SOT 27770 SOS 10680 HAS SOPS 10680 HAS SOUS 9845 HAS SOUPS 9845 WITH SCORE 9855.68
AT ITER 1505 NEW BEST:: SOT 27787 SOS 10525 HAS SOPS 10525 HAS SOUS 9794 HAS SOUPS 9794 WITH SCORE 9804.525
AT ITER 1521 NEW BEST:: SOT 27804 SOS 10574 HAS SOPS 10574 HAS SOUS 9793 HAS SOUPS 9793 WITH SCORE 9803.574
AT ITER 1543 NEW BEST:: SOT 27800 SOS 10562 HAS SOPS 10562 HAS SOUS 9785 HAS SOUPS 9785 WITH SCORE 9795.562
AT ITER 1553 NEW BEST:: SOT 27806 SOS 10557 HAS SOPS 10557 HAS SOUS 9779 HAS SOUPS 9779 WITH SCORE 9789.557
AT ITER 1560 NEW BEST:: SOT 27776 SOS 10524 HAS SOPS 10524 HAS SOUS 9746 HAS SOUPS 9746 WITH SCORE 9756.524
AT ITER 1574 NEW BEST:: SOT 27738 SOS 10504 HAS SOPS 10504 HAS SOUS 9726 HAS SOUPS 9726 WITH SCORE 9736.504
AT ITER 1622 NEW BEST:: SOT 27732 SOS 10487 HAS SOPS 10487 HAS SOUS 9709 HAS SOUPS 9709 WITH SCORE 9719.487
AT ITER 1623 NEW BEST:: SOT 27723 SOS 10441 HAS SOPS 10441 HAS SOUS 9663 HAS SOUPS 9663 WITH SCORE 9673.441
AT ITER 1624 NEW BEST:: SOT 27723 SOS 10430 HAS SOPS 10430 HAS SOUS 9652 HAS SOUPS 9652 WITH SCORE 9662.43
AT ITER 1637 NEW BEST:: SOT 27723 SOS 10435 HAS SOPS 10435 HAS SOUS 9635 HAS SOUPS 9635 WITH SCORE 9645.435
AT ITER 1640 NEW BEST:: SOT 27729 SOS 10441 HAS SOPS 10441 HAS SOUS 9617 HAS SOUPS 9617 WITH SCORE 9627.441
AT ITER 1645 NEW BEST:: SOT 27720 SOS 10423 HAS SOPS 10423 HAS SOUS 9591 HAS SOUPS 9591 WITH SCORE 9601.423
AT ITER 1646 NEW BEST:: SOT 27719 SOS 10415 HAS SOPS 10415 HAS SOUS 9555 HAS SOUPS 9555 WITH SCORE 9565.415
AT ITER 1651 NEW BEST:: SOT 27694 SOS 10390 HAS SOPS 10390 HAS SOUS 9530 HAS SOUPS 9530 WITH SCORE 9540.39
AT ITER 1665 NEW BEST:: SOT 27697 SOS 10377 HAS SOPS 10377 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9531.377
AT ITER 1675 NEW BEST:: SOT 27676 SOS 10344 HAS SOPS 10344 HAS SOUS 9491 HAS SOUPS 9491 WITH SCORE 9501.344
AT ITER 1710 NEW BEST:: SOT 27676 SOS 10337 HAS SOPS 10337 HAS SOUS 9484 HAS SOUPS 9484 WITH SCORE 9494.337
AT ITER 1713 NEW BEST:: SOT 27664 SOS 10145 HAS SOPS 10145 HAS SOUS 9451 HAS SOUPS 9451 WITH SCORE 9461.145
AT ITER 1718 NEW BEST:: SOT 27650 SOS 10119 HAS SOPS 10119 HAS SOUS 9430 HAS SOUPS 9430 WITH SCORE 9440.119
AT ITER 1724 NEW BEST:: SOT 27594 SOS 9997 HAS SOPS 9997 HAS SOUS 9308 HAS SOUPS 9308 WITH SCORE 9317.997
AT ITER 1728 NEW BEST:: SOT 27546 SOS 9930 HAS SOPS 9930 HAS SOUS 9257 HAS SOUPS 9257 WITH SCORE 9266.93
AT ITER 1735 NEW BEST:: SOT 27539 SOS 9911 HAS SOPS 9911 HAS SOUS 9242 HAS SOUPS 9242 WITH SCORE 9251.911
AT ITER 1757 NEW BEST:: SOT 27555 SOS 9872 HAS SOPS 9872 HAS SOUS 9203 HAS SOUPS 9203 WITH SCORE 9212.872
AT ITER 1758 NEW BEST:: SOT 27544 SOS 9861 HAS SOPS 9861 HAS SOUS 9192 HAS SOUPS 9192 WITH SCORE 9201.861
AT ITER 1785 NEW BEST:: SOT 27544 SOS 9823 HAS SOPS 9823 HAS SOUS 9192 HAS SOUPS 9192 WITH SCORE 9201.823
AT ITER 1789 NEW BEST:: SOT 27557 SOS 9871 HAS SOPS 9871 HAS SOUS 9191 HAS SOUPS 9191 WITH SCORE 9200.871
AT ITER 1822 NEW BEST:: SOT 27545 SOS 9848 HAS SOPS 9848 HAS SOUS 9168 HAS SOUPS 9168 WITH SCORE 9177.848
AT ITER 1834 NEW BEST:: SOT 27543 SOS 9842 HAS SOPS 9842 HAS SOUS 9162 HAS SOUPS 9162 WITH SCORE 9171.842
AT ITER 1839 NEW BEST:: SOT 27527 SOS 9801 HAS SOPS 9801 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9130.801
AT ITER 1845 NEW BEST:: SOT 27520 SOS 9794 HAS SOPS 9794 HAS SOUS 9114 HAS SOUPS 9114 WITH SCORE 9123.794
AT ITER 1849 NEW BEST:: SOT 27510 SOS 9775 HAS SOPS 9775 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9104.775
AT ITER 1853 NEW BEST:: SOT 27504 SOS 9763 HAS SOPS 9763 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9092.763
AT ITER 1861 NEW BEST:: SOT 27408 SOS 9619 HAS SOPS 9619 HAS SOUS 8987 HAS SOUPS 8987 WITH SCORE 8996.619
AT ITER 1865 NEW BEST:: SOT 27408 SOS 9617 HAS SOPS 9617 HAS SOUS 8984 HAS SOUPS 8984 WITH SCORE 8993.617
AT ITER 1873 NEW BEST:: SOT 27403 SOS 9598 HAS SOPS 9598 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8974.598
AT ITER 1876 NEW BEST:: SOT 27403 SOS 9595 HAS SOPS 9595 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8968.595
AT ITER 1883 NEW BEST:: SOT 27387 SOS 9569 HAS SOPS 9569 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8960.569
AT ITER 1890 NEW BEST:: SOT 27390 SOS 9561 HAS SOPS 9561 HAS SOUS 8935 HAS SOUPS 8935 WITH SCORE 8944.561
AT ITER 1894 NEW BEST:: SOT 27378 SOS 9543 HAS SOPS 9543 HAS SOUS 8917 HAS SOUPS 8917 WITH SCORE 8926.543
AT ITER 1911 NEW BEST:: SOT 27378 SOS 9543 HAS SOPS 9543 HAS SOUS 8903 HAS SOUPS 8903 WITH SCORE 8912.543
AT ITER 1948 NEW BEST:: SOT 27356 SOS 9505 HAS SOPS 9505 HAS SOUS 8877 HAS SOUPS 8877 WITH SCORE 8886.505
AT ITER 1959 NEW BEST:: SOT 27338 SOS 9488 HAS SOPS 9488 HAS SOUS 8851 HAS SOUPS 8851 WITH SCORE 8860.488
AT ITER 1968 NEW BEST:: SOT 27338 SOS 9471 HAS SOPS 9471 HAS SOUS 8846 HAS SOUPS 8846 WITH SCORE 8855.471
AT ITER 1971 NEW BEST:: SOT 27301 SOS 9434 HAS SOPS 9434 HAS SOUS 8809 HAS SOUPS 8809 WITH SCORE 8818.434
AT ITER 1972 NEW BEST:: SOT 27280 SOS 9401 HAS SOPS 9401 HAS SOUS 8781 HAS SOUPS 8781 WITH SCORE 8790.401
AT ITER 1973 NEW BEST:: SOT 27280 SOS 9391 HAS SOPS 9391 HAS SOUS 8781 HAS SOUPS 8781 WITH SCORE 8790.391
AT ITER 1975 NEW BEST:: SOT 27274 SOS 9390 HAS SOPS 9390 HAS SOUS 8780 HAS SOUPS 8780 WITH SCORE 8789.39
AT ITER 1978 NEW BEST:: SOT 27257 SOS 9370 HAS SOPS 9370 HAS SOUS 8760 HAS SOUPS 8760 WITH SCORE 8769.37
AT ITER 1982 NEW BEST:: SOT 27253 SOS 9328 HAS SOPS 9328 HAS SOUS 8718 HAS SOUPS 8718 WITH SCORE 8727.328
AT ITER 2023 NEW BEST:: SOT 27237 SOS 9328 HAS SOPS 9328 HAS SOUS 8702 HAS SOUPS 8702 WITH SCORE 8711.328
AT ITER 2027 NEW BEST:: SOT 27182 SOS 9291 HAS SOPS 9291 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8669.291
AT ITER 2033 NEW BEST:: SOT 27180 SOS 9288 HAS SOPS 9288 HAS SOUS 8657 HAS SOUPS 8657 WITH SCORE 8666.288
AT ITER 2040 NEW BEST:: SOT 27177 SOS 9285 HAS SOPS 9285 HAS SOUS 8654 HAS SOUPS 8654 WITH SCORE 8663.285
AT ITER 2041 NEW BEST:: SOT 27177 SOS 9276 HAS SOPS 9276 HAS SOUS 8647 HAS SOUPS 8647 WITH SCORE 8656.276
AT ITER 2054 NEW BEST:: SOT 27176 SOS 9275 HAS SOPS 9275 HAS SOUS 8646 HAS SOUPS 8646 WITH SCORE 8655.275
AT ITER 2062 NEW BEST:: SOT 27166 SOS 9255 HAS SOPS 9255 HAS SOUS 8616 HAS SOUPS 8616 WITH SCORE 8625.255
AT ITER 2067 NEW BEST:: SOT 27158 SOS 9247 HAS SOPS 9247 HAS SOUS 8608 HAS SOUPS 8608 WITH SCORE 8617.247
AT ITER 2071 NEW BEST:: SOT 27137 SOS 9268 HAS SOPS 9268 HAS SOUS 8597 HAS SOUPS 8597 WITH SCORE 8606.268
AT ITER 2078 NEW BEST:: SOT 27126 SOS 9257 HAS SOPS 9257 HAS SOUS 8597 HAS SOUPS 8597 WITH SCORE 8606.257
AT ITER 2084 NEW BEST:: SOT 27118 SOS 9228 HAS SOPS 9228 HAS SOUS 8568 HAS SOUPS 8568 WITH SCORE 8577.228
AT ITER 2098 NEW BEST:: SOT 27117 SOS 9210 HAS SOPS 9210 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8566.21
AT ITER 2107 NEW BEST:: SOT 27106 SOS 9188 HAS SOPS 9188 HAS SOUS 8532 HAS SOUPS 8532 WITH SCORE 8541.188
AT ITER 2114 NEW BEST:: SOT 27101 SOS 9177 HAS SOPS 9177 HAS SOUS 8521 HAS SOUPS 8521 WITH SCORE 8530.177
AT ITER 2125 NEW BEST:: SOT 27090 SOS 9120 HAS SOPS 9120 HAS SOUS 8479 HAS SOUPS 8479 WITH SCORE 8488.12
AT ITER 2158 NEW BEST:: SOT 27090 SOS 9111 HAS SOPS 9111 HAS SOUS 8479 HAS SOUPS 8479 WITH SCORE 8488.111
AT ITER 2160 NEW BEST:: SOT 27090 SOS 9110 HAS SOPS 9110 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8487.11
AT ITER 2222 NEW BEST:: SOT 27100 SOS 9131 HAS SOPS 9131 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8468.131
AT ITER 2223 NEW BEST:: SOT 27081 SOS 9119 HAS SOPS 9119 HAS SOUS 8447 HAS SOUPS 8447 WITH SCORE 8456.119
AT ITER 2231 NEW BEST:: SOT 27032 SOS 9071 HAS SOPS 9071 HAS SOUS 8399 HAS SOUPS 8399 WITH SCORE 8408.071
AT ITER 2233 NEW BEST:: SOT 27032 SOS 9069 HAS SOPS 9069 HAS SOUS 8397 HAS SOUPS 8397 WITH SCORE 8406.069
AT ITER 2241 NEW BEST:: SOT 27032 SOS 9063 HAS SOPS 9063 HAS SOUS 8397 HAS SOUPS 8397 WITH SCORE 8406.063
AT ITER 2242 NEW BEST:: SOT 27026 SOS 9065 HAS SOPS 9065 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8392.065
AT ITER 2252 NEW BEST:: SOT 26996 SOS 9023 HAS SOPS 9023 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8389.023
AT ITER 2273 NEW BEST:: SOT 27014 SOS 8990 HAS SOPS 8990 HAS SOUS 8368 HAS SOUPS 8368 WITH SCORE 8376.99
AT ITER 2297 NEW BEST:: SOT 27010 SOS 8986 HAS SOPS 8986 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8372.986
AT ITER 2313 NEW BEST:: SOT 27006 SOS 8982 HAS SOPS 8982 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8368.982
AT ITER 2316 NEW BEST:: SOT 27004 SOS 8978 HAS SOPS 8978 HAS SOUS 8356 HAS SOUPS 8356 WITH SCORE 8364.978
AT ITER 2322 NEW BEST:: SOT 26956 SOS 8900 HAS SOPS 8900 HAS SOUS 8278 HAS SOUPS 8278 WITH SCORE 8286.9
AT ITER 2326 NEW BEST:: SOT 26956 SOS 8886 HAS SOPS 8886 HAS SOUS 8264 HAS SOUPS 8264 WITH SCORE 8272.886
AT ITER 2330 NEW BEST:: SOT 26956 SOS 8883 HAS SOPS 8883 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8269.883
AT ITER 2338 NEW BEST:: SOT 26956 SOS 8880 HAS SOPS 8880 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8269.88
AT ITER 2394 NEW BEST:: SOT 26945 SOS 8796 HAS SOPS 8796 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8234.796
AT ITER 2454 NEW BEST:: SOT 26929 SOS 8762 HAS SOPS 8762 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8200.762
AT ITER 2455 NEW BEST:: SOT 26919 SOS 8747 HAS SOPS 8747 HAS SOUS 8165 HAS SOUPS 8165 WITH SCORE 8173.747
AT ITER 2457 NEW BEST:: SOT 26917 SOS 8732 HAS SOPS 8732 HAS SOUS 8156 HAS SOUPS 8156 WITH SCORE 8164.732
AT ITER 2458 NEW BEST:: SOT 26916 SOS 8731 HAS SOPS 8731 HAS SOUS 8155 HAS SOUPS 8155 WITH SCORE 8163.731
AT ITER 2462 NEW BEST:: SOT 26915 SOS 8730 HAS SOPS 8730 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8162.73
AT ITER 2488 NEW BEST:: SOT 26912 SOS 8723 HAS SOPS 8723 HAS SOUS 8145 HAS SOUPS 8145 WITH SCORE 8153.723
AT ITER 2497 NEW BEST:: SOT 26886 SOS 8681 HAS SOPS 8681 HAS SOUS 8087 HAS SOUPS 8087 WITH SCORE 8095.681
AT ITER 2514 NEW BEST:: SOT 26886 SOS 8681 HAS SOPS 8681 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8081.681
AT ITER 2525 NEW BEST:: SOT 26875 SOS 8620 HAS SOPS 8620 HAS SOUS 8032 HAS SOUPS 8032 WITH SCORE 8040.62
AT ITER 2530 NEW BEST:: SOT 26873 SOS 8618 HAS SOPS 8618 HAS SOUS 8030 HAS SOUPS 8030 WITH SCORE 8038.618
AT ITER 2548 NEW BEST:: SOT 26865 SOS 8607 HAS SOPS 8607 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8027.607
AT ITER 2573 NEW BEST:: SOT 26862 SOS 8605 HAS SOPS 8605 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8025.605
AT ITER 2577 NEW BEST:: SOT 26869 SOS 8608 HAS SOPS 8608 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8019.608
AT ITER 2599 NEW BEST:: SOT 26867 SOS 8598 HAS SOPS 8598 HAS SOUS 8009 HAS SOUPS 8009 WITH SCORE 8017.598
AT ITER 2600 NEW BEST:: SOT 26867 SOS 8598 HAS SOPS 8598 HAS SOUS 7999 HAS SOUPS 7999 WITH SCORE 8007.598
AT ITER 2627 NEW BEST:: SOT 26867 SOS 8590 HAS SOPS 8590 HAS SOUS 7995 HAS SOUPS 7995 WITH SCORE 8003.59
AT ITER 2646 NEW BEST:: SOT 26865 SOS 8588 HAS SOPS 8588 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8001.588
AT ITER 2657 NEW BEST:: SOT 26817 SOS 8489 HAS SOPS 8489 HAS SOUS 7914 HAS SOUPS 7914 WITH SCORE 7922.489
AT ITER 2661 NEW BEST:: SOT 26813 SOS 8452 HAS SOPS 8452 HAS SOUS 7899 HAS SOUPS 7899 WITH SCORE 7907.452
AT ITER 2678 NEW BEST:: SOT 26813 SOS 8435 HAS SOPS 8435 HAS SOUS 7882 HAS SOUPS 7882 WITH SCORE 7890.435
AT ITER 2692 NEW BEST:: SOT 26794 SOS 8378 HAS SOPS 8378 HAS SOUS 7825 HAS SOUPS 7825 WITH SCORE 7833.378
AT ITER 2693 NEW BEST:: SOT 26794 SOS 8377 HAS SOPS 8377 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7832.377
AT ITER 2696 NEW BEST:: SOT 26790 SOS 8373 HAS SOPS 8373 HAS SOUS 7820 HAS SOUPS 7820 WITH SCORE 7828.373
AT ITER 2697 NEW BEST:: SOT 26790 SOS 8350 HAS SOPS 8350 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7817.35
AT ITER 2716 NEW BEST:: SOT 26788 SOS 8349 HAS SOPS 8349 HAS SOUS 7808 HAS SOUPS 7808 WITH SCORE 7816.349
AT ITER 2725 NEW BEST:: SOT 26818 SOS 8387 HAS SOPS 8387 HAS SOUS 7807 HAS SOUPS 7807 WITH SCORE 7815.387
AT ITER 2741 NEW BEST:: SOT 26818 SOS 8385 HAS SOPS 8385 HAS SOUS 7801 HAS SOUPS 7801 WITH SCORE 7809.385
AT ITER 2745 NEW BEST:: SOT 26821 SOS 8384 HAS SOPS 8384 HAS SOUS 7800 HAS SOUPS 7800 WITH SCORE 7808.384
AT ITER 2758 NEW BEST:: SOT 26800 SOS 8353 HAS SOPS 8353 HAS SOUS 7764 HAS SOUPS 7764 WITH SCORE 7772.353
AT ITER 2763 NEW BEST:: SOT 26780 SOS 8313 HAS SOPS 8313 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7752.313
AT ITER 2774 NEW BEST:: SOT 26779 SOS 8312 HAS SOPS 8312 HAS SOUS 7743 HAS SOUPS 7743 WITH SCORE 7751.312
AT ITER 2796 NEW BEST:: SOT 26778 SOS 8308 HAS SOPS 8308 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7749.308
AT ITER 2822 NEW BEST:: SOT 26796 SOS 8282 HAS SOPS 8282 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7737.282
AT ITER 2840 NEW BEST:: SOT 26798 SOS 8270 HAS SOPS 8270 HAS SOUS 7724 HAS SOUPS 7724 WITH SCORE 7732.27
AT ITER 2850 NEW BEST:: SOT 26798 SOS 8244 HAS SOPS 8244 HAS SOUS 7724 HAS SOUPS 7724 WITH SCORE 7732.244
AT ITER 2897 NEW BEST:: SOT 26796 SOS 8236 HAS SOPS 8236 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7724.236
AT ITER 2917 NEW BEST:: SOT 26774 SOS 8201 HAS SOPS 8201 HAS SOUS 7676 HAS SOUPS 7676 WITH SCORE 7684.201
AT ITER 2935 NEW BEST:: SOT 26771 SOS 8197 HAS SOPS 8197 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7680.197
AT ITER 2948 NEW BEST:: SOT 26765 SOS 8185 HAS SOPS 8185 HAS SOUS 7660 HAS SOUPS 7660 WITH SCORE 7668.185
AT ITER 2964 NEW BEST:: SOT 26745 SOS 8165 HAS SOPS 8165 HAS SOUS 7640 HAS SOUPS 7640 WITH SCORE 7648.165
AT ITER 2970 NEW BEST:: SOT 26732 SOS 8142 HAS SOPS 8142 HAS SOUS 7617 HAS SOUPS 7617 WITH SCORE 7625.142
AT ITER 2974 NEW BEST:: SOT 26732 SOS 8132 HAS SOPS 8132 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7615.132
AT ITER 2979 NEW BEST:: SOT 26712 SOS 8092 HAS SOPS 8092 HAS SOUS 7567 HAS SOUPS 7567 WITH SCORE 7575.092
AT ITER 2982 NEW BEST:: SOT 26712 SOS 8080 HAS SOPS 8080 HAS SOUS 7555 HAS SOUPS 7555 WITH SCORE 7563.08
AT ITER 2987 NEW BEST:: SOT 26709 SOS 8074 HAS SOPS 8074 HAS SOUS 7549 HAS SOUPS 7549 WITH SCORE 7557.074
AT ITER 3011 NEW BEST:: SOT 26700 SOS 8071 HAS SOPS 8071 HAS SOUS 7546 HAS SOUPS 7546 WITH SCORE 7554.071
AT ITER 3039 NEW BEST:: SOT 26694 SOS 8069 HAS SOPS 8069 HAS SOUS 7544 HAS SOUPS 7544 WITH SCORE 7552.069
AT ITER 3041 NEW BEST:: SOT 26693 SOS 8075 HAS SOPS 8075 HAS SOUS 7541 HAS SOUPS 7541 WITH SCORE 7549.075
AT ITER 3050 NEW BEST:: SOT 26691 SOS 8073 HAS SOPS 8073 HAS SOUS 7539 HAS SOUPS 7539 WITH SCORE 7547.073
AT ITER 3058 NEW BEST:: SOT 26683 SOS 8065 HAS SOPS 8065 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7539.065
AT ITER 3081 NEW BEST:: SOT 26683 SOS 8063 HAS SOPS 8063 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7537.063
AT ITER 3089 NEW BEST:: SOT 26703 SOS 8059 HAS SOPS 8059 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7537.059
AT ITER 3098 NEW BEST:: SOT 26698 SOS 8050 HAS SOPS 8050 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7528.05
AT ITER 3105 NEW BEST:: SOT 26667 SOS 8011 HAS SOPS 8011 HAS SOUS 7485 HAS SOUPS 7485 WITH SCORE 7493.011
AT ITER 3109 NEW BEST:: SOT 26664 SOS 8008 HAS SOPS 8008 HAS SOUS 7482 HAS SOUPS 7482 WITH SCORE 7490.008
AT ITER 3174 NEW BEST:: SOT 26660 SOS 8007 HAS SOPS 8007 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7486.007
AT ITER 3240 NEW BEST:: SOT 26650 SOS 8003 HAS SOPS 8003 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7482.003
AT ITER 3266 NEW BEST:: SOT 26647 SOS 7994 HAS SOPS 7994 HAS SOUS 7468 HAS SOUPS 7468 WITH SCORE 7475.994
AT ITER 3328 NEW BEST:: SOT 26648 SOS 7980 HAS SOPS 7980 HAS SOUS 7454 HAS SOUPS 7454 WITH SCORE 7461.98
AT ITER 3343 NEW BEST:: SOT 26646 SOS 7919 HAS SOPS 7919 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7427.919
AT ITER 3354 NEW BEST:: SOT 26639 SOS 7907 HAS SOPS 7907 HAS SOUS 7413 HAS SOUPS 7413 WITH SCORE 7420.907
AT ITER 3365 NEW BEST:: SOT 26633 SOS 7874 HAS SOPS 7874 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7410.874
AT ITER 3383 NEW BEST:: SOT 26630 SOS 7868 HAS SOPS 7868 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7401.868
AT ITER 3394 NEW BEST:: SOT 26623 SOS 7870 HAS SOPS 7870 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7398.87
AT ITER 3397 NEW BEST:: SOT 26623 SOS 7866 HAS SOPS 7866 HAS SOUS 7387 HAS SOUPS 7387 WITH SCORE 7394.866
AT ITER 3415 NEW BEST:: SOT 26621 SOS 7858 HAS SOPS 7858 HAS SOUS 7383 HAS SOUPS 7383 WITH SCORE 7390.858
AT ITER 3440 NEW BEST:: SOT 26626 SOS 7856 HAS SOPS 7856 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7388.856
AT ITER 3444 NEW BEST:: SOT 26626 SOS 7832 HAS SOPS 7832 HAS SOUS 7357 HAS SOUPS 7357 WITH SCORE 7364.832
AT ITER 3456 NEW BEST:: SOT 26626 SOS 7828 HAS SOPS 7828 HAS SOUS 7353 HAS SOUPS 7353 WITH SCORE 7360.828
AT ITER 3489 NEW BEST:: SOT 26625 SOS 7838 HAS SOPS 7838 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7359.838
AT ITER 3548 NEW BEST:: SOT 26615 SOS 7828 HAS SOPS 7828 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7344.828
AT ITER 3656 NEW BEST:: SOT 26612 SOS 7819 HAS SOPS 7819 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7335.819
AT ITER 3657 NEW BEST:: SOT 26610 SOS 7815 HAS SOPS 7815 HAS SOUS 7324 HAS SOUPS 7324 WITH SCORE 7331.815
AT ITER 3683 NEW BEST:: SOT 26590 SOS 7813 HAS SOPS 7813 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7329.813
AT ITER 3684 NEW BEST:: SOT 26590 SOS 7805 HAS SOPS 7805 HAS SOUS 7314 HAS SOUPS 7314 WITH SCORE 7321.805
AT ITER 3732 NEW BEST:: SOT 26590 SOS 7798 HAS SOPS 7798 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7314.798
AT ITER 3753 NEW BEST:: SOT 26582 SOS 7786 HAS SOPS 7786 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7302.786
AT ITER 3838 NEW BEST:: SOT 26581 SOS 7784 HAS SOPS 7784 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7300.784
AT ITER 3867 NEW BEST:: SOT 26581 SOS 7777 HAS SOPS 7777 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7293.777
AT ITER 3868 NEW BEST:: SOT 26565 SOS 7776 HAS SOPS 7776 HAS SOUS 7285 HAS SOUPS 7285 WITH SCORE 7292.776
AT ITER 3891 NEW BEST:: SOT 26560 SOS 7770 HAS SOPS 7770 HAS SOUS 7277 HAS SOUPS 7277 WITH SCORE 7284.77
AT ITER 3895 NEW BEST:: SOT 26550 SOS 7729 HAS SOPS 7729 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7259.729
AT ITER 3915 NEW BEST:: SOT 26547 SOS 7720 HAS SOPS 7720 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7250.72
AT ITER 3957 NEW BEST:: SOT 26543 SOS 7710 HAS SOPS 7710 HAS SOUS 7233 HAS SOUPS 7233 WITH SCORE 7240.71
AT ITER 4007 NEW BEST:: SOT 26542 SOS 7707 HAS SOPS 7707 HAS SOUS 7231 HAS SOUPS 7231 WITH SCORE 7238.707
AT ITER 4008 NEW BEST:: SOT 26540 SOS 7705 HAS SOPS 7705 HAS SOUS 7229 HAS SOUPS 7229 WITH SCORE 7236.705
AT ITER 4042 NEW BEST:: SOT 26538 SOS 7703 HAS SOPS 7703 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7234.703
AT ITER 4052 NEW BEST:: SOT 26527 SOS 7709 HAS SOPS 7709 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7227.709
AT ITER 4122 NEW BEST:: SOT 26527 SOS 7706 HAS SOPS 7706 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7227.706
AT ITER 4127 NEW BEST:: SOT 26506 SOS 7657 HAS SOPS 7657 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7199.657
AT ITER 4145 NEW BEST:: SOT 26503 SOS 7649 HAS SOPS 7649 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7191.649
AT ITER 4157 NEW BEST:: SOT 26510 SOS 7627 HAS SOPS 7627 HAS SOUS 7179 HAS SOUPS 7179 WITH SCORE 7186.627
AT ITER 4161 NEW BEST:: SOT 26504 SOS 7615 HAS SOPS 7615 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7174.615
AT ITER 4171 NEW BEST:: SOT 26486 SOS 7596 HAS SOPS 7596 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7148.596
AT ITER 4173 NEW BEST:: SOT 26462 SOS 7572 HAS SOPS 7572 HAS SOUS 7127 HAS SOUPS 7127 WITH SCORE 7134.572
AT ITER 4189 NEW BEST:: SOT 26442 SOS 7551 HAS SOPS 7551 HAS SOUS 7106 HAS SOUPS 7106 WITH SCORE 7113.551
AT ITER 4202 NEW BEST:: SOT 26444 SOS 7559 HAS SOPS 7559 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7109.559
AT ITER 4232 NEW BEST:: SOT 26446 SOS 7553 HAS SOPS 7553 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7109.553
AT ITER 4266 NEW BEST:: SOT 26463 SOS 7565 HAS SOPS 7565 HAS SOUS 7086 HAS SOUPS 7086 WITH SCORE 7093.565
AT ITER 4295 NEW BEST:: SOT 26452 SOS 7552 HAS SOPS 7552 HAS SOUS 7073 HAS SOUPS 7073 WITH SCORE 7080.552
AT ITER 4298 NEW BEST:: SOT 26448 SOS 7532 HAS SOPS 7532 HAS SOUS 7053 HAS SOUPS 7053 WITH SCORE 7060.532
AT ITER 4330 NEW BEST:: SOT 26442 SOS 7523 HAS SOPS 7523 HAS SOUS 7044 HAS SOUPS 7044 WITH SCORE 7051.523
AT ITER 4350 NEW BEST:: SOT 26411 SOS 7466 HAS SOPS 7466 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6994.466
AT ITER 4355 NEW BEST:: SOT 26406 SOS 7462 HAS SOPS 7462 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6990.462
AT ITER 4357 NEW BEST:: SOT 26415 SOS 7419 HAS SOPS 7419 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6947.419
AT ITER 4366 NEW BEST:: SOT 26397 SOS 7396 HAS SOPS 7396 HAS SOUS 6917 HAS SOUPS 6917 WITH SCORE 6924.396
AT ITER 4394 NEW BEST:: SOT 26373 SOS 7342 HAS SOPS 7342 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6870.342
AT ITER 4417 NEW BEST:: SOT 26361 SOS 7330 HAS SOPS 7330 HAS SOUS 6851 HAS SOUPS 6851 WITH SCORE 6858.33
AT ITER 4439 NEW BEST:: SOT 26360 SOS 7327 HAS SOPS 7327 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6855.327
AT ITER 4524 NEW BEST:: SOT 26359 SOS 7326 HAS SOPS 7326 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6855.326
AT ITER 4624 NEW BEST:: SOT 26359 SOS 7325 HAS SOPS 7325 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6854.325
AT ITER 4666 NEW BEST:: SOT 26379 SOS 7312 HAS SOPS 7312 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6842.312
AT ITER 4668 NEW BEST:: SOT 26373 SOS 7296 HAS SOPS 7296 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6834.296
AT ITER 4684 NEW BEST:: SOT 26373 SOS 7293 HAS SOPS 7293 HAS SOUS 6821 HAS SOUPS 6821 WITH SCORE 6828.293
AT ITER 4685 NEW BEST:: SOT 26373 SOS 7291 HAS SOPS 7291 HAS SOUS 6821 HAS SOUPS 6821 WITH SCORE 6828.291
AT ITER 4686 NEW BEST:: SOT 26306 SOS 7221 HAS SOPS 7221 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6758.221
AT ITER 4707 NEW BEST:: SOT 26306 SOS 7209 HAS SOPS 7209 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6758.209
AT ITER 4728 NEW BEST:: SOT 26306 SOS 7208 HAS SOPS 7208 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6757.208
AT ITER 4735 NEW BEST:: SOT 26304 SOS 7206 HAS SOPS 7206 HAS SOUS 6746 HAS SOUPS 6746 WITH SCORE 6753.206
AT ITER 4790 NEW BEST:: SOT 26260 SOS 7150 HAS SOPS 7150 HAS SOUS 6712 HAS SOUPS 6712 WITH SCORE 6719.15
AT ITER 4802 NEW BEST:: SOT 26260 SOS 7141 HAS SOPS 7141 HAS SOUS 6712 HAS SOUPS 6712 WITH SCORE 6719.141
AT ITER 4815 NEW BEST:: SOT 26247 SOS 7128 HAS SOPS 7128 HAS SOUS 6699 HAS SOUPS 6699 WITH SCORE 6706.128
AT ITER 4835 NEW BEST:: SOT 26245 SOS 7126 HAS SOPS 7126 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6704.126
AT ITER 4848 NEW BEST:: SOT 26244 SOS 7121 HAS SOPS 7121 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6701.121
AT ITER 4872 NEW BEST:: SOT 26245 SOS 7119 HAS SOPS 7119 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6699.119
AT ITER 4905 NEW BEST:: SOT 26218 SOS 7102 HAS SOPS 7102 HAS SOUS 6675 HAS SOUPS 6675 WITH SCORE 6682.102
AT ITER 4906 NEW BEST:: SOT 26212 SOS 7092 HAS SOPS 7092 HAS SOUS 6665 HAS SOUPS 6665 WITH SCORE 6672.092
AT ITER 4916 NEW BEST:: SOT 26202 SOS 7082 HAS SOPS 7082 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6667.082
AT ITER 4940 NEW BEST:: SOT 26200 SOS 7078 HAS SOPS 7078 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.078
AT ITER 4948 NEW BEST:: SOT 26194 SOS 7066 HAS SOPS 7066 HAS SOUS 6643 HAS SOUPS 6643 WITH SCORE 6650.066
AT ITER 4954 NEW BEST:: SOT 26165 SOS 7025 HAS SOPS 7025 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6623.025
AT ITER 5013 NEW BEST:: SOT 26163 SOS 7022 HAS SOPS 7022 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6621.022
AT ITER 5014 NEW BEST:: SOT 26163 SOS 7016 HAS SOPS 7016 HAS SOUS 6608 HAS SOUPS 6608 WITH SCORE 6615.016
AT ITER 5049 NEW BEST:: SOT 26148 SOS 7005 HAS SOPS 7005 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6604.005
AT ITER 5068 NEW BEST:: SOT 26148 SOS 6997 HAS SOPS 6997 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6595.997
AT ITER 5127 NEW BEST:: SOT 26147 SOS 6991 HAS SOPS 6991 HAS SOUS 6584 HAS SOUPS 6584 WITH SCORE 6590.991
AT ITER 5148 NEW BEST:: SOT 26147 SOS 6978 HAS SOPS 6978 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6577.978
AT ITER 5162 NEW BEST:: SOT 26144 SOS 6975 HAS SOPS 6975 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6574.975
AT ITER 5182 NEW BEST:: SOT 26142 SOS 6973 HAS SOPS 6973 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6566.973
AT ITER 5196 NEW BEST:: SOT 26142 SOS 6960 HAS SOPS 6960 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6566.96
AT ITER 5212 NEW BEST:: SOT 26125 SOS 6945 HAS SOPS 6945 HAS SOUS 6545 HAS SOUPS 6545 WITH SCORE 6551.945
AT ITER 5220 NEW BEST:: SOT 26119 SOS 6944 HAS SOPS 6944 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6546.944
AT ITER 5259 NEW BEST:: SOT 26122 SOS 6943 HAS SOPS 6943 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6543.943
AT ITER 5273 NEW BEST:: SOT 26115 SOS 6929 HAS SOPS 6929 HAS SOUS 6523 HAS SOUPS 6523 WITH SCORE 6529.929
AT ITER 5287 NEW BEST:: SOT 26115 SOS 6929 HAS SOPS 6929 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6525.929
AT ITER 5347 NEW BEST:: SOT 26123 SOS 6933 HAS SOPS 6933 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6518.933
AT ITER 5357 NEW BEST:: SOT 26119 SOS 6922 HAS SOPS 6922 HAS SOUS 6509 HAS SOUPS 6509 WITH SCORE 6515.922
AT ITER 5375 NEW BEST:: SOT 26119 SOS 6922 HAS SOPS 6922 HAS SOUS 6508 HAS SOUPS 6508 WITH SCORE 6514.922
AT ITER 5385 NEW BEST:: SOT 26109 SOS 6912 HAS SOPS 6912 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6504.912
AT ITER 5414 NEW BEST:: SOT 26109 SOS 6912 HAS SOPS 6912 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6501.912
AT ITER 5431 NEW BEST:: SOT 26109 SOS 6909 HAS SOPS 6909 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6498.909
AT ITER 5433 NEW BEST:: SOT 26105 SOS 6905 HAS SOPS 6905 HAS SOUS 6488 HAS SOUPS 6488 WITH SCORE 6494.905
AT ITER 5436 NEW BEST:: SOT 26105 SOS 6902 HAS SOPS 6902 HAS SOUS 6485 HAS SOUPS 6485 WITH SCORE 6491.902
AT ITER 5472 NEW BEST:: SOT 26084 SOS 6874 HAS SOPS 6874 HAS SOUS 6457 HAS SOUPS 6457 WITH SCORE 6463.874
AT ITER 5527 NEW BEST:: SOT 26078 SOS 6865 HAS SOPS 6865 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6451.865
AT ITER 5531 NEW BEST:: SOT 26046 SOS 6842 HAS SOPS 6842 HAS SOUS 6413 HAS SOUPS 6413 WITH SCORE 6419.842
AT ITER 5564 NEW BEST:: SOT 26037 SOS 6833 HAS SOPS 6833 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6410.833
AT ITER 5566 NEW BEST:: SOT 26033 SOS 6827 HAS SOPS 6827 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6406.827
AT ITER 5589 NEW BEST:: SOT 26031 SOS 6825 HAS SOPS 6825 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6404.825
AT ITER 5641 NEW BEST:: SOT 25981 SOS 6776 HAS SOPS 6776 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6360.776
AT ITER 5662 NEW BEST:: SOT 25977 SOS 6772 HAS SOPS 6772 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6356.772
AT ITER 5667 NEW BEST:: SOT 25976 SOS 6771 HAS SOPS 6771 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6355.771
AT ITER 5707 NEW BEST:: SOT 25965 SOS 6750 HAS SOPS 6750 HAS SOUS 6327 HAS SOUPS 6327 WITH SCORE 6333.75
AT ITER 5715 NEW BEST:: SOT 25976 SOS 6745 HAS SOPS 6745 HAS SOUS 6321 HAS SOUPS 6321 WITH SCORE 6327.745
AT ITER 5741 NEW BEST:: SOT 25974 SOS 6741 HAS SOPS 6741 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6323.741
AT ITER 5770 NEW BEST:: SOT 25973 SOS 6740 HAS SOPS 6740 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6322.74
AT ITER 5791 NEW BEST:: SOT 25946 SOS 6721 HAS SOPS 6721 HAS SOUS 6290 HAS SOUPS 6290 WITH SCORE 6296.721
AT ITER 5824 NEW BEST:: SOT 25940 SOS 6713 HAS SOPS 6713 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6295.713
AT ITER 5857 NEW BEST:: SOT 25938 SOS 6705 HAS SOPS 6705 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6289.705
AT ITER 5871 NEW BEST:: SOT 25929 SOS 6696 HAS SOPS 6696 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6280.696
AT ITER 5894 NEW BEST:: SOT 25927 SOS 6690 HAS SOPS 6690 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6276.69
AT ITER 5904 NEW BEST:: SOT 25925 SOS 6687 HAS SOPS 6687 HAS SOUS 6267 HAS SOUPS 6267 WITH SCORE 6273.687
AT ITER 5922 NEW BEST:: SOT 25918 SOS 6674 HAS SOPS 6674 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6260.674
AT ITER 5924 NEW BEST:: SOT 25912 SOS 6664 HAS SOPS 6664 HAS SOUS 6245 HAS SOUPS 6245 WITH SCORE 6251.664
AT ITER 5930 NEW BEST:: SOT 25905 SOS 6657 HAS SOPS 6657 HAS SOUS 6238 HAS SOUPS 6238 WITH SCORE 6244.657
AT ITER 5950 NEW BEST:: SOT 25905 SOS 6646 HAS SOPS 6646 HAS SOUS 6227 HAS SOUPS 6227 WITH SCORE 6233.646
AT ITER 5971 NEW BEST:: SOT 25906 SOS 6645 HAS SOPS 6645 HAS SOUS 6226 HAS SOUPS 6226 WITH SCORE 6232.645
AT ITER 6073 NEW BEST:: SOT 25908 SOS 6643 HAS SOPS 6643 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6231.643
AT ITER 6122 NEW BEST:: SOT 25909 SOS 6641 HAS SOPS 6641 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6229.641
AT ITER 6220 NEW BEST:: SOT 25904 SOS 6636 HAS SOPS 6636 HAS SOUS 6218 HAS SOUPS 6218 WITH SCORE 6224.636
AT ITER 6287 NEW BEST:: SOT 25901 SOS 6633 HAS SOPS 6633 HAS SOUS 6215 HAS SOUPS 6215 WITH SCORE 6221.633
AT ITER 6295 NEW BEST:: SOT 25901 SOS 6633 HAS SOPS 6633 HAS SOUS 6212 HAS SOUPS 6212 WITH SCORE 6218.633
AT ITER 6390 NEW BEST:: SOT 25901 SOS 6629 HAS SOPS 6629 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6216.629
AT ITER 6397 NEW BEST:: SOT 25894 SOS 6608 HAS SOPS 6608 HAS SOUS 6188 HAS SOUPS 6188 WITH SCORE 6194.608
AT ITER 6400 NEW BEST:: SOT 25894 SOS 6608 HAS SOPS 6608 HAS SOUS 6187 HAS SOUPS 6187 WITH SCORE 6193.608
AT ITER 6408 NEW BEST:: SOT 25902 SOS 6601 HAS SOPS 6601 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6186.601
AT ITER 6446 NEW BEST:: SOT 25833 SOS 6583 HAS SOPS 6583 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6168.583
AT ITER 6447 NEW BEST:: SOT 25830 SOS 6579 HAS SOPS 6579 HAS SOUS 6158 HAS SOUPS 6158 WITH SCORE 6164.579
AT ITER 6457 NEW BEST:: SOT 25851 SOS 6576 HAS SOPS 6576 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6153.576
AT ITER 6469 NEW BEST:: SOT 25849 SOS 6573 HAS SOPS 6573 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6150.573
AT ITER 6736 NEW BEST:: SOT 25849 SOS 6571 HAS SOPS 6571 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6148.571
AT ITER 6754 NEW BEST:: SOT 25842 SOS 6557 HAS SOPS 6557 HAS SOUS 6121 HAS SOUPS 6121 WITH SCORE 6127.557
AT ITER 6810 NEW BEST:: SOT 25843 SOS 6550 HAS SOPS 6550 HAS SOUS 6114 HAS SOUPS 6114 WITH SCORE 6120.55
AT ITER 6973 NEW BEST:: SOT 25841 SOS 6541 HAS SOPS 6541 HAS SOUS 6103 HAS SOUPS 6103 WITH SCORE 6109.541
AT ITER 7014 NEW BEST:: SOT 25839 SOS 6535 HAS SOPS 6535 HAS SOUS 6099 HAS SOUPS 6099 WITH SCORE 6105.535
AT ITER 7190 NEW BEST:: SOT 25843 SOS 6533 HAS SOPS 6533 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6103.533
AT ITER 7337 NEW BEST:: SOT 25842 SOS 6532 HAS SOPS 6532 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6102.532
AT ITER 7403 NEW BEST:: SOT 25842 SOS 6527 HAS SOPS 6527 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6102.527
AT ITER 7421 NEW BEST:: SOT 25828 SOS 6504 HAS SOPS 6504 HAS SOUS 6073 HAS SOUPS 6073 WITH SCORE 6079.504
AT ITER 7438 NEW BEST:: SOT 25827 SOS 6493 HAS SOPS 6493 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6078.493
AT ITER 7448 NEW BEST:: SOT 25822 SOS 6488 HAS SOPS 6488 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6073.488
AT ITER 7456 NEW BEST:: SOT 25822 SOS 6467 HAS SOPS 6467 HAS SOUS 6057 HAS SOUPS 6057 WITH SCORE 6063.467
AT ITER 7535 NEW BEST:: SOT 25819 SOS 6464 HAS SOPS 6464 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6060.464
AT ITER 7564 NEW BEST:: SOT 25808 SOS 6442 HAS SOPS 6442 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6038.442
AT ITER 7568 NEW BEST:: SOT 25806 SOS 6436 HAS SOPS 6436 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6032.436
AT ITER 7618 NEW BEST:: SOT 25800 SOS 6430 HAS SOPS 6430 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6026.43
AT ITER 7621 NEW BEST:: SOT 25800 SOS 6408 HAS SOPS 6408 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6008.408
AT ITER 7678 NEW BEST:: SOT 25793 SOS 6394 HAS SOPS 6394 HAS SOUS 5988 HAS SOUPS 5988 WITH SCORE 5994.394
AT ITER 7781 NEW BEST:: SOT 25790 SOS 6386 HAS SOPS 6386 HAS SOUS 5984 HAS SOUPS 5984 WITH SCORE 5990.386
AT ITER 7805 NEW BEST:: SOT 25788 SOS 6377 HAS SOPS 6377 HAS SOUS 5980 HAS SOUPS 5980 WITH SCORE 5986.377
AT ITER 7843 NEW BEST:: SOT 25786 SOS 6371 HAS SOPS 6371 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5980.371
AT ITER 7949 NEW BEST:: SOT 25780 SOS 6353 HAS SOPS 6353 HAS SOUS 5956 HAS SOUPS 5956 WITH SCORE 5962.353
AT ITER 7965 NEW BEST:: SOT 25776 SOS 6349 HAS SOPS 6349 HAS SOUS 5951 HAS SOUPS 5951 WITH SCORE 5957.349
AT ITER 8002 NEW BEST:: SOT 25772 SOS 6343 HAS SOPS 6343 HAS SOUS 5945 HAS SOUPS 5945 WITH SCORE 5951.343
AT ITER 8091 NEW BEST:: SOT 25771 SOS 6342 HAS SOPS 6342 HAS SOUS 5944 HAS SOUPS 5944 WITH SCORE 5950.342
AT ITER 8146 NEW BEST:: SOT 25770 SOS 6338 HAS SOPS 6338 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5946.338
AT ITER 8208 NEW BEST:: SOT 25768 SOS 6332 HAS SOPS 6332 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5940.332
AT ITER 8247 NEW BEST:: SOT 25752 SOS 6314 HAS SOPS 6314 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5922.314
AT ITER 8322 NEW BEST:: SOT 25742 SOS 6303 HAS SOPS 6303 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5920.303
AT ITER 8336 NEW BEST:: SOT 25742 SOS 6299 HAS SOPS 6299 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5916.299
AT ITER 8395 NEW BEST:: SOT 25740 SOS 6297 HAS SOPS 6297 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5914.297
AT ITER 8427 NEW BEST:: SOT 25735 SOS 6292 HAS SOPS 6292 HAS SOUS 5903 HAS SOUPS 5903 WITH SCORE 5909.292
AT ITER 8475 NEW BEST:: SOT 25738 SOS 6289 HAS SOPS 6289 HAS SOUS 5896 HAS SOUPS 5896 WITH SCORE 5902.289
AT ITER 8494 NEW BEST:: SOT 25741 SOS 6275 HAS SOPS 6275 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5888.275
AT ITER 8626 NEW BEST:: SOT 25737 SOS 6267 HAS SOPS 6267 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5877.267
AT ITER 8651 NEW BEST:: SOT 25737 SOS 6259 HAS SOPS 6259 HAS SOUS 5867 HAS SOUPS 5867 WITH SCORE 5873.259
AT ITER 8668 NEW BEST:: SOT 25739 SOS 6259 HAS SOPS 6259 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5868.259
AT ITER 8710 NEW BEST:: SOT 25738 SOS 6253 HAS SOPS 6253 HAS SOUS 5859 HAS SOUPS 5859 WITH SCORE 5865.253
AT ITER 8727 NEW BEST:: SOT 25736 SOS 6251 HAS SOPS 6251 HAS SOUS 5857 HAS SOUPS 5857 WITH SCORE 5863.251
AT ITER 8741 NEW BEST:: SOT 25736 SOS 6246 HAS SOPS 6246 HAS SOUS 5852 HAS SOUPS 5852 WITH SCORE 5858.246
AT ITER 8745 NEW BEST:: SOT 25721 SOS 6237 HAS SOPS 6237 HAS SOUS 5845 HAS SOUPS 5845 WITH SCORE 5851.237
AT ITER 8748 NEW BEST:: SOT 25719 SOS 6236 HAS SOPS 6236 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5850.236
AT ITER 8762 NEW BEST:: SOT 25731 SOS 6229 HAS SOPS 6229 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5843.229
AT ITER 8821 NEW BEST:: SOT 25724 SOS 6222 HAS SOPS 6222 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5836.222
AT ITER 8860 NEW BEST:: SOT 25721 SOS 6207 HAS SOPS 6207 HAS SOUS 5821 HAS SOUPS 5821 WITH SCORE 5827.207
AT ITER 8895 NEW BEST:: SOT 25727 SOS 6200 HAS SOPS 6200 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5826.2
AT ITER 8948 NEW BEST:: SOT 25721 SOS 6198 HAS SOPS 6198 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5814.198
AT ITER 8964 NEW BEST:: SOT 25715 SOS 6221 HAS SOPS 6221 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5813.221
AT ITER 8985 NEW BEST:: SOT 25713 SOS 6220 HAS SOPS 6220 HAS SOUS 5806 HAS SOUPS 5806 WITH SCORE 5812.22
AT ITER 8992 NEW BEST:: SOT 25709 SOS 6212 HAS SOPS 6212 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5804.212
AT ITER 9015 NEW BEST:: SOT 25708 SOS 6210 HAS SOPS 6210 HAS SOUS 5794 HAS SOUPS 5794 WITH SCORE 5800.21
AT ITER 9052 NEW BEST:: SOT 25706 SOS 6206 HAS SOPS 6206 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5798.206
AT ITER 9124 NEW BEST:: SOT 25706 SOS 6200 HAS SOPS 6200 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5792.2
AT ITER 9257 NEW BEST:: SOT 25710 SOS 6188 HAS SOPS 6188 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5784.188
AT ITER 9276 NEW BEST:: SOT 25706 SOS 6181 HAS SOPS 6181 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5777.181
AT ITER 9335 NEW BEST:: SOT 25716 SOS 6178 HAS SOPS 6178 HAS SOUS 5768 HAS SOUPS 5768 WITH SCORE 5774.178
AT ITER 9337 NEW BEST:: SOT 25716 SOS 6178 HAS SOPS 6178 HAS SOUS 5766 HAS SOUPS 5766 WITH SCORE 5772.178
AT ITER 9367 NEW BEST:: SOT 25716 SOS 6178 HAS SOPS 6178 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5769.178
AT ITER 9432 NEW BEST:: SOT 25720 SOS 6170 HAS SOPS 6170 HAS SOUS 5760 HAS SOUPS 5760 WITH SCORE 5766.17
AT ITER 9434 NEW BEST:: SOT 25711 SOS 6158 HAS SOPS 6158 HAS SOUS 5748 HAS SOUPS 5748 WITH SCORE 5754.158
AT ITER 9454 NEW BEST:: SOT 25707 SOS 6148 HAS SOPS 6148 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5748.148
AT ITER 9483 NEW BEST:: SOT 25707 SOS 6142 HAS SOPS 6142 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5746.142
AT ITER 9515 NEW BEST:: SOT 25708 SOS 6127 HAS SOPS 6127 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5740.127
AT ITER 9553 NEW BEST:: SOT 25700 SOS 6113 HAS SOPS 6113 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5726.113
AT ITER 9557 NEW BEST:: SOT 25700 SOS 6111 HAS SOPS 6111 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5726.111
AT ITER 9597 NEW BEST:: SOT 25695 SOS 6105 HAS SOPS 6105 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5720.105
AT ITER 9625 NEW BEST:: SOT 25693 SOS 6095 HAS SOPS 6095 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5710.095
AT ITER 9641 NEW BEST:: SOT 25695 SOS 6094 HAS SOPS 6094 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5709.094
AT ITER 9666 NEW BEST:: SOT 25695 SOS 6072 HAS SOPS 6072 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5690.072
AT ITER 9672 NEW BEST:: SOT 25693 SOS 6070 HAS SOPS 6070 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5688.07
AT ITER 9752 NEW BEST:: SOT 25691 SOS 6065 HAS SOPS 6065 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5683.065
AT ITER 9877 NEW BEST:: SOT 25688 SOS 6061 HAS SOPS 6061 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5675.061
AT ITER 9969 NEW BEST:: SOT 25688 SOS 6059 HAS SOPS 6059 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5673.059
AT ITER 9976 NEW BEST:: SOT 25688 SOS 6034 HAS SOPS 6034 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5648.034
AT ITER 9982 NEW BEST:: SOT 25682 SOS 6028 HAS SOPS 6028 HAS SOUS 5636 HAS SOUPS 5636 WITH SCORE 5642.028

BK_TIME_CONFINEMENT_REACHED

--------------------
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="ShieldPPPt-PT-010A"
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 ShieldPPPt-PT-010A, 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 r207-tajo-159033469800656"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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