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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.370 3600000.00 3599931.00 39.60 [undef] Time out reached

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-158901926000332.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-6a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000332
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 15:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 15:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:01 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 317K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-00
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-01
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-02
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-03
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-04
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-05
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-06
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-07
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-08
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-09
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-10
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-11
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-12
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-13
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-14
FORMULA_NAME CloudDeployment-PT-6a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589157583004

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 6a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 221 places, 908 transitions, 5517 arcs.
AT ITER 0 NEW BEST:: SOT 157763 SOS 92225 HAS SOPS 86851 HAS SOUS 73439 HAS SOUPS 68768 WITH SCORE 68860.225
AT ITER 3 NEW BEST:: SOT 158301 SOS 92483 HAS SOPS 87109 HAS SOUS 73118 HAS SOUPS 68447 WITH SCORE 68539.483
AT ITER 4 NEW BEST:: SOT 158253 SOS 92387 HAS SOPS 87029 HAS SOUS 73038 HAS SOUPS 68383 WITH SCORE 68475.387
AT ITER 6 NEW BEST:: SOT 158150 SOS 92259 HAS SOPS 86905 HAS SOUS 72923 HAS SOUPS 68259 WITH SCORE 68351.259
AT ITER 10 NEW BEST:: SOT 157922 SOS 91863 HAS SOPS 86509 HAS SOUS 72819 HAS SOUPS 68155 WITH SCORE 68246.863
AT ITER 12 NEW BEST:: SOT 157944 SOS 91874 HAS SOPS 86531 HAS SOUS 72797 HAS SOUPS 68144 WITH SCORE 68235.874
AT ITER 15 NEW BEST:: SOT 158180 SOS 92053 HAS SOPS 86828 HAS SOUS 72492 HAS SOUPS 67957 WITH SCORE 68049.053
AT ITER 16 NEW BEST:: SOT 158337 SOS 92279 HAS SOPS 87141 HAS SOUS 72179 HAS SOUPS 67731 WITH SCORE 67823.279
AT ITER 20 NEW BEST:: SOT 158154 SOS 92750 HAS SOPS 87118 HAS SOUS 72076 HAS SOUPS 67708 WITH SCORE 67800.75
AT ITER 23 NEW BEST:: SOT 158137 SOS 92801 HAS SOPS 87186 HAS SOUS 72025 HAS SOUPS 67674 WITH SCORE 67766.801
AT ITER 29 NEW BEST:: SOT 158381 SOS 92885 HAS SOPS 87392 HAS SOUS 71356 HAS SOUPS 67127 WITH SCORE 67219.885
AT ITER 30 NEW BEST:: SOT 158879 SOS 93300 HAS SOPS 87807 HAS SOUS 70962 HAS SOUPS 66733 WITH SCORE 66826.3
AT ITER 32 NEW BEST:: SOT 158878 SOS 93298 HAS SOPS 87805 HAS SOUS 70962 HAS SOUPS 66733 WITH SCORE 66826.298
AT ITER 35 NEW BEST:: SOT 158875 SOS 93211 HAS SOPS 87799 HAS SOUS 70389 HAS SOUPS 66241 WITH SCORE 66334.211
AT ITER 39 NEW BEST:: SOT 158861 SOS 93196 HAS SOPS 87784 HAS SOUS 70374 HAS SOUPS 66226 WITH SCORE 66319.196
AT ITER 40 NEW BEST:: SOT 158801 SOS 92698 HAS SOPS 87541 HAS SOUS 70242 HAS SOUPS 65985 WITH SCORE 66077.698
AT ITER 49 NEW BEST:: SOT 158794 SOS 92677 HAS SOPS 87527 HAS SOUS 70200 HAS SOUPS 65950 WITH SCORE 66042.677
AT ITER 50 NEW BEST:: SOT 158775 SOS 92675 HAS SOPS 87508 HAS SOUS 70194 HAS SOUPS 65927 WITH SCORE 66019.675
AT ITER 53 NEW BEST:: SOT 158745 SOS 92726 HAS SOPS 87487 HAS SOUS 70178 HAS SOUPS 65911 WITH SCORE 66003.726
AT ITER 54 NEW BEST:: SOT 158745 SOS 92414 HAS SOPS 87175 HAS SOUS 69989 HAS SOUPS 65722 WITH SCORE 65814.414
AT ITER 58 NEW BEST:: SOT 158845 SOS 92426 HAS SOPS 87281 HAS SOUS 69438 HAS SOUPS 65265 WITH SCORE 65357.426
AT ITER 60 NEW BEST:: SOT 159059 SOS 92300 HAS SOPS 87155 HAS SOUS 69435 HAS SOUPS 65262 WITH SCORE 65354.3
AT ITER 61 NEW BEST:: SOT 159055 SOS 92292 HAS SOPS 87147 HAS SOUS 69423 HAS SOUPS 65250 WITH SCORE 65342.292
AT ITER 63 NEW BEST:: SOT 158489 SOS 91867 HAS SOPS 86664 HAS SOUS 68939 HAS SOUPS 64767 WITH SCORE 64858.867
AT ITER 69 NEW BEST:: SOT 158488 SOS 91865 HAS SOPS 86662 HAS SOUS 68939 HAS SOUPS 64767 WITH SCORE 64858.865
AT ITER 71 NEW BEST:: SOT 158482 SOS 91847 HAS SOPS 86644 HAS SOUS 68937 HAS SOUPS 64765 WITH SCORE 64856.847
AT ITER 72 NEW BEST:: SOT 158791 SOS 92264 HAS SOPS 87061 HAS SOUS 68733 HAS SOUPS 64561 WITH SCORE 64653.264
AT ITER 76 NEW BEST:: SOT 158685 SOS 92157 HAS SOPS 86954 HAS SOUS 68626 HAS SOUPS 64454 WITH SCORE 64546.157
AT ITER 82 NEW BEST:: SOT 158685 SOS 92073 HAS SOPS 86870 HAS SOUS 68542 HAS SOUPS 64370 WITH SCORE 64462.073
AT ITER 84 NEW BEST:: SOT 158835 SOS 92118 HAS SOPS 87000 HAS SOUS 68057 HAS SOUPS 63970 WITH SCORE 64062.118
AT ITER 87 NEW BEST:: SOT 158832 SOS 92112 HAS SOPS 86994 HAS SOUS 68048 HAS SOUPS 63961 WITH SCORE 64053.112
AT ITER 90 NEW BEST:: SOT 158228 SOS 92344 HAS SOPS 86406 HAS SOUS 67622 HAS SOUPS 63535 WITH SCORE 63627.344
AT ITER 91 NEW BEST:: SOT 158103 SOS 92253 HAS SOPS 86368 HAS SOUS 67515 HAS SOUPS 63481 WITH SCORE 63573.253
AT ITER 95 NEW BEST:: SOT 158121 SOS 92289 HAS SOPS 86404 HAS SOUS 67289 HAS SOUPS 63255 WITH SCORE 63347.289
AT ITER 98 NEW BEST:: SOT 158735 SOS 92848 HAS SOPS 86963 HAS SOUS 67058 HAS SOUPS 63024 WITH SCORE 63116.848
AT ITER 99 NEW BEST:: SOT 158873 SOS 93032 HAS SOPS 87147 HAS SOUS 66966 HAS SOUPS 62932 WITH SCORE 63025.032
AT ITER 102 NEW BEST:: SOT 158877 SOS 92950 HAS SOPS 87061 HAS SOUS 66899 HAS SOUPS 62861 WITH SCORE 62953.95
AT ITER 103 NEW BEST:: SOT 158851 SOS 93028 HAS SOPS 87165 HAS SOUS 66769 HAS SOUPS 62757 WITH SCORE 62850.028
AT ITER 106 NEW BEST:: SOT 159077 SOS 93295 HAS SOPS 87596 HAS SOUS 66371 HAS SOUPS 62493 WITH SCORE 62586.295
AT ITER 107 NEW BEST:: SOT 159079 SOS 93295 HAS SOPS 87598 HAS SOUS 66359 HAS SOUPS 62483 WITH SCORE 62576.295
AT ITER 108 NEW BEST:: SOT 159181 SOS 93079 HAS SOPS 87382 HAS SOUS 65707 HAS SOUPS 61831 WITH SCORE 61924.079
AT ITER 109 NEW BEST:: SOT 159406 SOS 93303 HAS SOPS 87681 HAS SOUS 65406 HAS SOUPS 61605 WITH SCORE 61698.303
AT ITER 114 NEW BEST:: SOT 159627 SOS 93532 HAS SOPS 88049 HAS SOUS 64701 HAS SOUPS 61045 WITH SCORE 61138.532
AT ITER 118 NEW BEST:: SOT 159554 SOS 93439 HAS SOPS 87956 HAS SOUS 64679 HAS SOUPS 61023 WITH SCORE 61116.439
AT ITER 119 NEW BEST:: SOT 159553 SOS 93437 HAS SOPS 87954 HAS SOUS 64679 HAS SOUPS 61023 WITH SCORE 61116.437
AT ITER 123 NEW BEST:: SOT 159051 SOS 93105 HAS SOPS 87555 HAS SOUS 64252 HAS SOUPS 60624 WITH SCORE 60717.105
AT ITER 127 NEW BEST:: SOT 157980 SOS 93418 HAS SOPS 86914 HAS SOUS 63236 HAS SOUPS 59863 WITH SCORE 59956.418
AT ITER 129 NEW BEST:: SOT 157937 SOS 93375 HAS SOPS 86870 HAS SOUS 63192 HAS SOUPS 59819 WITH SCORE 59912.375
AT ITER 132 NEW BEST:: SOT 157975 SOS 93375 HAS SOPS 86889 HAS SOUS 63078 HAS SOUPS 59724 WITH SCORE 59817.375
AT ITER 136 NEW BEST:: SOT 158033 SOS 93344 HAS SOPS 86858 HAS SOUS 63047 HAS SOUPS 59693 WITH SCORE 59786.344
AT ITER 139 NEW BEST:: SOT 158017 SOS 93328 HAS SOPS 86842 HAS SOUS 63031 HAS SOUPS 59677 WITH SCORE 59770.328
AT ITER 141 NEW BEST:: SOT 158198 SOS 93482 HAS SOPS 87105 HAS SOUS 62469 HAS SOUPS 59222 WITH SCORE 59315.482
AT ITER 143 NEW BEST:: SOT 158162 SOS 93446 HAS SOPS 87069 HAS SOUS 62449 HAS SOUPS 59202 WITH SCORE 59295.446
AT ITER 144 NEW BEST:: SOT 157640 SOS 92743 HAS SOPS 86366 HAS SOUS 61778 HAS SOUPS 58531 WITH SCORE 58623.743
AT ITER 145 NEW BEST:: SOT 157775 SOS 92782 HAS SOPS 86405 HAS SOUS 61725 HAS SOUPS 58478 WITH SCORE 58570.782
AT ITER 146 NEW BEST:: SOT 157885 SOS 92875 HAS SOPS 86498 HAS SOUS 61552 HAS SOUPS 58305 WITH SCORE 58397.875
AT ITER 148 NEW BEST:: SOT 157885 SOS 92874 HAS SOPS 86497 HAS SOUS 61551 HAS SOUPS 58304 WITH SCORE 58396.874
AT ITER 151 NEW BEST:: SOT 158119 SOS 93107 HAS SOPS 86847 HAS SOUS 61157 HAS SOUPS 58027 WITH SCORE 58120.107
AT ITER 153 NEW BEST:: SOT 158363 SOS 92994 HAS SOPS 86856 HAS SOUS 60284 HAS SOUPS 57276 WITH SCORE 57368.994
AT ITER 154 NEW BEST:: SOT 158084 SOS 92806 HAS SOPS 86668 HAS SOUS 57976 HAS SOUPS 54968 WITH SCORE 55060.806
AT ITER 156 NEW BEST:: SOT 158149 SOS 92936 HAS SOPS 86865 HAS SOUS 57716 HAS SOUPS 54778 WITH SCORE 54870.936
AT ITER 161 NEW BEST:: SOT 158125 SOS 92888 HAS SOPS 86825 HAS SOUS 57676 HAS SOUPS 54746 WITH SCORE 54838.888
AT ITER 165 NEW BEST:: SOT 158077 SOS 92888 HAS SOPS 86849 HAS SOUS 57580 HAS SOUPS 54674 WITH SCORE 54766.888
AT ITER 167 NEW BEST:: SOT 157890 SOS 92514 HAS SOPS 86543 HAS SOUS 56864 HAS SOUPS 54026 WITH SCORE 54118.514
AT ITER 172 NEW BEST:: SOT 157800 SOS 92393 HAS SOPS 86422 HAS SOUS 55272 HAS SOUPS 52434 WITH SCORE 52526.393
AT ITER 173 NEW BEST:: SOT 157722 SOS 92237 HAS SOPS 86266 HAS SOUS 55168 HAS SOUPS 52330 WITH SCORE 52422.237
AT ITER 174 NEW BEST:: SOT 157693 SOS 92143 HAS SOPS 86100 HAS SOUS 55195 HAS SOUPS 52303 WITH SCORE 52395.143
AT ITER 178 NEW BEST:: SOT 157821 SOS 92144 HAS SOPS 86178 HAS SOUS 54814 HAS SOUPS 51986 WITH SCORE 52078.144
AT ITER 185 NEW BEST:: SOT 157877 SOS 92165 HAS SOPS 86200 HAS SOUS 54778 HAS SOUPS 51953 WITH SCORE 52045.165
AT ITER 190 NEW BEST:: SOT 159248 SOS 93536 HAS SOPS 87571 HAS SOUS 53055 HAS SOUPS 50230 WITH SCORE 50323.536
AT ITER 191 NEW BEST:: SOT 159248 SOS 93319 HAS SOPS 87354 HAS SOUS 52189 HAS SOUPS 49364 WITH SCORE 49457.319
AT ITER 196 NEW BEST:: SOT 159266 SOS 95211 HAS SOPS 87253 HAS SOUS 52056 HAS SOUPS 49288 WITH SCORE 49383.211
AT ITER 199 NEW BEST:: SOT 159265 SOS 95209 HAS SOPS 87251 HAS SOUS 52056 HAS SOUPS 49288 WITH SCORE 49383.209
AT ITER 201 NEW BEST:: SOT 159175 SOS 95106 HAS SOPS 87136 HAS SOUS 51846 HAS SOUPS 49078 WITH SCORE 49173.106
AT ITER 204 NEW BEST:: SOT 159160 SOS 94917 HAS SOPS 86947 HAS SOUS 51738 HAS SOUPS 48970 WITH SCORE 49064.917
AT ITER 205 NEW BEST:: SOT 159154 SOS 94911 HAS SOPS 86938 HAS SOUS 51738 HAS SOUPS 48967 WITH SCORE 49061.911
AT ITER 206 NEW BEST:: SOT 159107 SOS 94867 HAS SOPS 86944 HAS SOUS 51521 HAS SOUPS 48800 WITH SCORE 48894.867
AT ITER 209 NEW BEST:: SOT 159098 SOS 94845 HAS SOPS 86922 HAS SOUS 51517 HAS SOUPS 48796 WITH SCORE 48890.845
AT ITER 211 NEW BEST:: SOT 159138 SOS 94825 HAS SOPS 86902 HAS SOUS 51517 HAS SOUPS 48796 WITH SCORE 48890.825
AT ITER 213 NEW BEST:: SOT 159340 SOS 94939 HAS SOPS 87117 HAS SOUS 51328 HAS SOUPS 48708 WITH SCORE 48802.939
AT ITER 214 NEW BEST:: SOT 158902 SOS 96866 HAS SOPS 86694 HAS SOUS 50866 HAS SOUPS 48228 WITH SCORE 48324.866
AT ITER 218 NEW BEST:: SOT 159274 SOS 97149 HAS SOPS 87101 HAS SOUS 50771 HAS SOUPS 48133 WITH SCORE 48230.149
AT ITER 223 NEW BEST:: SOT 159503 SOS 97330 HAS SOPS 87418 HAS SOUS 50463 HAS SOUPS 47946 WITH SCORE 48043.33
AT ITER 225 NEW BEST:: SOT 159593 SOS 97340 HAS SOPS 87723 HAS SOUS 50431 HAS SOUPS 47914 WITH SCORE 48011.34
AT ITER 227 NEW BEST:: SOT 159578 SOS 97310 HAS SOPS 87649 HAS SOUS 50196 HAS SOUPS 47679 WITH SCORE 47776.31
AT ITER 231 NEW BEST:: SOT 159461 SOS 97248 HAS SOPS 87501 HAS SOUS 50224 HAS SOUPS 47621 WITH SCORE 47718.248
AT ITER 233 NEW BEST:: SOT 159765 SOS 97127 HAS SOPS 87494 HAS SOUS 49603 HAS SOUPS 47000 WITH SCORE 47097.127
AT ITER 234 NEW BEST:: SOT 156604 SOS 96219 HAS SOPS 85256 HAS SOUS 47138 HAS SOUPS 44742 WITH SCORE 44838.219
AT ITER 235 NEW BEST:: SOT 156598 SOS 96207 HAS SOPS 85244 HAS SOUS 47138 HAS SOUPS 44742 WITH SCORE 44838.207
AT ITER 236 NEW BEST:: SOT 156640 SOS 96249 HAS SOPS 85272 HAS SOUS 47092 HAS SOUPS 44696 WITH SCORE 44792.249
AT ITER 240 NEW BEST:: SOT 156725 SOS 96333 HAS SOPS 85357 HAS SOUS 47080 HAS SOUPS 44684 WITH SCORE 44780.333
AT ITER 242 NEW BEST:: SOT 156598 SOS 96291 HAS SOPS 85188 HAS SOUS 46924 HAS SOUPS 44528 WITH SCORE 44624.291
AT ITER 243 NEW BEST:: SOT 156892 SOS 96570 HAS SOPS 85570 HAS SOUS 46843 HAS SOUPS 44447 WITH SCORE 44543.57
AT ITER 244 NEW BEST:: SOT 156931 SOS 96602 HAS SOPS 85602 HAS SOUS 46840 HAS SOUPS 44444 WITH SCORE 44540.602
AT ITER 246 NEW BEST:: SOT 156910 SOS 96560 HAS SOPS 85560 HAS SOUS 46646 HAS SOUPS 44250 WITH SCORE 44346.56
AT ITER 249 NEW BEST:: SOT 157378 SOS 96387 HAS SOPS 85645 HAS SOUS 46677 HAS SOUPS 44190 WITH SCORE 44286.387
AT ITER 251 NEW BEST:: SOT 157378 SOS 96469 HAS SOPS 85702 HAS SOUS 46627 HAS SOUPS 44115 WITH SCORE 44211.469
AT ITER 256 NEW BEST:: SOT 156661 SOS 96849 HAS SOPS 85411 HAS SOUS 46590 HAS SOUPS 44090 WITH SCORE 44186.849
AT ITER 257 NEW BEST:: SOT 156686 SOS 96920 HAS SOPS 85457 HAS SOUS 46528 HAS SOUPS 44028 WITH SCORE 44124.92
AT ITER 258 NEW BEST:: SOT 156789 SOS 96997 HAS SOPS 85534 HAS SOUS 46509 HAS SOUPS 44009 WITH SCORE 44105.997
AT ITER 263 NEW BEST:: SOT 156868 SOS 97049 HAS SOPS 85480 HAS SOUS 46534 HAS SOUPS 43928 WITH SCORE 44025.049
AT ITER 266 NEW BEST:: SOT 156852 SOS 97034 HAS SOPS 85432 HAS SOUS 45718 HAS SOUPS 43112 WITH SCORE 43209.034
AT ITER 270 NEW BEST:: SOT 156846 SOS 97052 HAS SOPS 85456 HAS SOUS 45707 HAS SOUPS 43107 WITH SCORE 43204.052
AT ITER 273 NEW BEST:: SOT 156813 SOS 96986 HAS SOPS 85390 HAS SOUS 45641 HAS SOUPS 43041 WITH SCORE 43137.986
AT ITER 280 NEW BEST:: SOT 156810 SOS 96984 HAS SOPS 85386 HAS SOUS 45639 HAS SOUPS 43039 WITH SCORE 43135.984
AT ITER 282 NEW BEST:: SOT 156852 SOS 96982 HAS SOPS 85384 HAS SOUS 45639 HAS SOUPS 43039 WITH SCORE 43135.982
AT ITER 287 NEW BEST:: SOT 156852 SOS 97167 HAS SOPS 85579 HAS SOUS 45611 HAS SOUPS 43011 WITH SCORE 43108.167
AT ITER 288 NEW BEST:: SOT 156870 SOS 97128 HAS SOPS 85565 HAS SOUS 45539 HAS SOUPS 42964 WITH SCORE 43061.128
AT ITER 294 NEW BEST:: SOT 156844 SOS 97089 HAS SOPS 85513 HAS SOUS 45539 HAS SOUPS 42951 WITH SCORE 43048.089
AT ITER 298 NEW BEST:: SOT 156781 SOS 97007 HAS SOPS 85450 HAS SOUS 45394 HAS SOUPS 42806 WITH SCORE 42903.007
AT ITER 299 NEW BEST:: SOT 156842 SOS 97156 HAS SOPS 85599 HAS SOUS 43120 HAS SOUPS 40480 WITH SCORE 40577.156
AT ITER 303 NEW BEST:: SOT 156853 SOS 97110 HAS SOPS 85587 HAS SOUS 43063 HAS SOUPS 40457 WITH SCORE 40554.11
AT ITER 310 NEW BEST:: SOT 157288 SOS 97465 HAS SOPS 85980 HAS SOUS 42982 HAS SOUPS 40376 WITH SCORE 40473.465
AT ITER 314 NEW BEST:: SOT 157256 SOS 97449 HAS SOPS 85964 HAS SOUS 42978 HAS SOUPS 40372 WITH SCORE 40469.449
AT ITER 315 NEW BEST:: SOT 156450 SOS 96954 HAS SOPS 85836 HAS SOUS 42759 HAS SOUPS 40249 WITH SCORE 40345.954
AT ITER 319 NEW BEST:: SOT 156363 SOS 96855 HAS SOPS 85760 HAS SOUS 42722 HAS SOUPS 40215 WITH SCORE 40311.855
AT ITER 320 NEW BEST:: SOT 156305 SOS 97043 HAS SOPS 85948 HAS SOUS 42674 HAS SOUPS 40167 WITH SCORE 40264.043
AT ITER 327 NEW BEST:: SOT 155856 SOS 96760 HAS SOPS 85540 HAS SOUS 42811 HAS SOUPS 40166 WITH SCORE 40262.76
AT ITER 336 NEW BEST:: SOT 155916 SOS 96760 HAS SOPS 85294 HAS SOUS 42691 HAS SOUPS 40046 WITH SCORE 40142.76
AT ITER 340 NEW BEST:: SOT 155933 SOS 96757 HAS SOPS 85290 HAS SOUS 42667 HAS SOUPS 40022 WITH SCORE 40118.757
AT ITER 343 NEW BEST:: SOT 153121 SOS 98534 HAS SOPS 84298 HAS SOUS 41019 HAS SOUPS 38481 WITH SCORE 38579.534
AT ITER 346 NEW BEST:: SOT 153125 SOS 98526 HAS SOPS 84306 HAS SOUS 40975 HAS SOUPS 38453 WITH SCORE 38551.526
AT ITER 349 NEW BEST:: SOT 152907 SOS 97659 HAS SOPS 83433 HAS SOUS 40970 HAS SOUPS 38448 WITH SCORE 38545.659
AT ITER 350 NEW BEST:: SOT 153243 SOS 97925 HAS SOPS 83747 HAS SOUS 40962 HAS SOUPS 38440 WITH SCORE 38537.925
AT ITER 352 NEW BEST:: SOT 153138 SOS 97745 HAS SOPS 83507 HAS SOUS 40922 HAS SOUPS 38369 WITH SCORE 38466.745
AT ITER 353 NEW BEST:: SOT 153393 SOS 97807 HAS SOPS 83694 HAS SOUS 40334 HAS SOUPS 37890 WITH SCORE 37987.807
AT ITER 354 NEW BEST:: SOT 153428 SOS 97704 HAS SOPS 83567 HAS SOUS 40274 HAS SOUPS 37830 WITH SCORE 37927.704
AT ITER 358 NEW BEST:: SOT 154966 SOS 99242 HAS SOPS 85115 HAS SOUS 39420 HAS SOUPS 36976 WITH SCORE 37075.242
AT ITER 359 NEW BEST:: SOT 155047 SOS 99258 HAS SOPS 85130 HAS SOUS 39397 HAS SOUPS 36953 WITH SCORE 37052.258
AT ITER 365 NEW BEST:: SOT 155956 SOS 98130 HAS SOPS 85581 HAS SOUS 38993 HAS SOUPS 36671 WITH SCORE 36769.13
AT ITER 370 NEW BEST:: SOT 156056 SOS 98134 HAS SOPS 85566 HAS SOUS 38909 HAS SOUPS 36587 WITH SCORE 36685.134
AT ITER 371 NEW BEST:: SOT 156050 SOS 98207 HAS SOPS 85639 HAS SOUS 38859 HAS SOUPS 36537 WITH SCORE 36635.207
AT ITER 372 NEW BEST:: SOT 156068 SOS 98223 HAS SOPS 85665 HAS SOUS 38848 HAS SOUPS 36536 WITH SCORE 36634.223
AT ITER 382 NEW BEST:: SOT 156507 SOS 98662 HAS SOPS 86104 HAS SOUS 38028 HAS SOUPS 35716 WITH SCORE 35814.662
AT ITER 383 NEW BEST:: SOT 156409 SOS 98013 HAS SOPS 85469 HAS SOUS 37702 HAS SOUPS 35390 WITH SCORE 35488.013
AT ITER 384 NEW BEST:: SOT 156437 SOS 98041 HAS SOPS 85772 HAS SOUS 37674 HAS SOUPS 35362 WITH SCORE 35460.041
AT ITER 385 NEW BEST:: SOT 156342 SOS 97902 HAS SOPS 85633 HAS SOUS 37557 HAS SOUPS 35245 WITH SCORE 35342.902
AT ITER 386 NEW BEST:: SOT 156045 SOS 97708 HAS SOPS 85454 HAS SOUS 37424 HAS SOUPS 35112 WITH SCORE 35209.708
AT ITER 389 NEW BEST:: SOT 156079 SOS 97674 HAS SOPS 85420 HAS SOUS 37390 HAS SOUPS 35078 WITH SCORE 35175.674
AT ITER 390 NEW BEST:: SOT 155947 SOS 97734 HAS SOPS 85480 HAS SOUS 37380 HAS SOUPS 35068 WITH SCORE 35165.734
AT ITER 400 NEW BEST:: SOT 156053 SOS 97746 HAS SOPS 85492 HAS SOUS 37354 HAS SOUPS 35042 WITH SCORE 35139.746
AT ITER 403 NEW BEST:: SOT 155690 SOS 99341 HAS SOPS 85491 HAS SOUS 37197 HAS SOUPS 34948 WITH SCORE 35047.341
AT ITER 406 NEW BEST:: SOT 155690 SOS 99328 HAS SOPS 85478 HAS SOUS 37184 HAS SOUPS 34935 WITH SCORE 35034.328
AT ITER 412 NEW BEST:: SOT 155680 SOS 99292 HAS SOPS 85438 HAS SOUS 37158 HAS SOUPS 34903 WITH SCORE 35002.292
AT ITER 413 NEW BEST:: SOT 155441 SOS 99063 HAS SOPS 85184 HAS SOUS 36905 HAS SOUPS 34650 WITH SCORE 34749.063
AT ITER 415 NEW BEST:: SOT 155425 SOS 99192 HAS SOPS 85313 HAS SOUS 36746 HAS SOUPS 34491 WITH SCORE 34590.192
AT ITER 419 NEW BEST:: SOT 155418 SOS 99185 HAS SOPS 85306 HAS SOUS 36739 HAS SOUPS 34484 WITH SCORE 34583.185
AT ITER 420 NEW BEST:: SOT 155398 SOS 99191 HAS SOPS 85312 HAS SOUS 36714 HAS SOUPS 34459 WITH SCORE 34558.191
AT ITER 427 NEW BEST:: SOT 155170 SOS 98944 HAS SOPS 85137 HAS SOUS 36535 HAS SOUPS 34280 WITH SCORE 34378.944
AT ITER 431 NEW BEST:: SOT 155242 SOS 98926 HAS SOPS 85119 HAS SOUS 36486 HAS SOUPS 34231 WITH SCORE 34329.926
AT ITER 435 NEW BEST:: SOT 153487 SOS 97627 HAS SOPS 84342 HAS SOUS 35602 HAS SOUPS 33485 WITH SCORE 33582.627
AT ITER 436 NEW BEST:: SOT 153060 SOS 97233 HAS SOPS 83941 HAS SOUS 35327 HAS SOUPS 33210 WITH SCORE 33307.233
AT ITER 442 NEW BEST:: SOT 152336 SOS 96653 HAS SOPS 83295 HAS SOUS 35137 HAS SOUPS 33010 WITH SCORE 33106.653
AT ITER 444 NEW BEST:: SOT 152336 SOS 96601 HAS SOPS 83243 HAS SOUS 35020 HAS SOUPS 32893 WITH SCORE 32989.601
AT ITER 445 NEW BEST:: SOT 152265 SOS 96373 HAS SOPS 83015 HAS SOUS 34885 HAS SOUPS 32758 WITH SCORE 32854.373
AT ITER 456 NEW BEST:: SOT 152210 SOS 96451 HAS SOPS 83093 HAS SOUS 34884 HAS SOUPS 32757 WITH SCORE 32853.451
AT ITER 461 NEW BEST:: SOT 152200 SOS 96431 HAS SOPS 83073 HAS SOUS 34854 HAS SOUPS 32727 WITH SCORE 32823.431
AT ITER 463 NEW BEST:: SOT 152199 SOS 96429 HAS SOPS 83070 HAS SOUS 34855 HAS SOUPS 32727 WITH SCORE 32823.429
AT ITER 464 NEW BEST:: SOT 152298 SOS 96698 HAS SOPS 83038 HAS SOUS 34958 HAS SOUPS 32715 WITH SCORE 32811.698
AT ITER 472 NEW BEST:: SOT 152291 SOS 96684 HAS SOPS 83017 HAS SOUS 34965 HAS SOUPS 32715 WITH SCORE 32811.684
AT ITER 476 NEW BEST:: SOT 152311 SOS 96674 HAS SOPS 83037 HAS SOUS 34960 HAS SOUPS 32715 WITH SCORE 32811.674
AT ITER 477 NEW BEST:: SOT 152298 SOS 96661 HAS SOPS 83024 HAS SOUS 34947 HAS SOUPS 32702 WITH SCORE 32798.661
AT ITER 479 NEW BEST:: SOT 152325 SOS 96355 HAS SOPS 83114 HAS SOUS 34938 HAS SOUPS 32693 WITH SCORE 32789.355
AT ITER 484 NEW BEST:: SOT 152115 SOS 95935 HAS SOPS 82694 HAS SOUS 34607 HAS SOUPS 32362 WITH SCORE 32457.935
AT ITER 490 NEW BEST:: SOT 151926 SOS 95835 HAS SOPS 82579 HAS SOUS 34531 HAS SOUPS 32286 WITH SCORE 32381.835
AT ITER 491 NEW BEST:: SOT 151921 SOS 95825 HAS SOPS 82569 HAS SOUS 34531 HAS SOUPS 32286 WITH SCORE 32381.825
AT ITER 504 NEW BEST:: SOT 151835 SOS 95765 HAS SOPS 82261 HAS SOUS 34551 HAS SOUPS 32238 WITH SCORE 32333.765
AT ITER 507 NEW BEST:: SOT 152068 SOS 95728 HAS SOPS 82311 HAS SOUS 34504 HAS SOUPS 32191 WITH SCORE 32286.728
AT ITER 512 NEW BEST:: SOT 152139 SOS 95870 HAS SOPS 82490 HAS SOUS 34463 HAS SOUPS 32187 WITH SCORE 32282.87
AT ITER 514 NEW BEST:: SOT 152334 SOS 95704 HAS SOPS 82324 HAS SOUS 34399 HAS SOUPS 32123 WITH SCORE 32218.704
AT ITER 517 NEW BEST:: SOT 152266 SOS 95503 HAS SOPS 82123 HAS SOUS 34266 HAS SOUPS 31990 WITH SCORE 32085.503
AT ITER 520 NEW BEST:: SOT 152438 SOS 95531 HAS SOPS 82171 HAS SOUS 34009 HAS SOUPS 31785 WITH SCORE 31880.531
AT ITER 534 NEW BEST:: SOT 152206 SOS 95067 HAS SOPS 81749 HAS SOUS 33959 HAS SOUPS 31713 WITH SCORE 31808.067
AT ITER 537 NEW BEST:: SOT 152190 SOS 95037 HAS SOPS 81719 HAS SOUS 33913 HAS SOUPS 31667 WITH SCORE 31762.037
AT ITER 544 NEW BEST:: SOT 152240 SOS 95019 HAS SOPS 81779 HAS SOUS 33764 HAS SOUPS 31596 WITH SCORE 31691.019
AT ITER 556 NEW BEST:: SOT 152240 SOS 94948 HAS SOPS 81670 HAS SOUS 33721 HAS SOUPS 31515 WITH SCORE 31609.948
AT ITER 565 NEW BEST:: SOT 152144 SOS 94820 HAS SOPS 81606 HAS SOUS 33625 HAS SOUPS 31451 WITH SCORE 31545.82
AT ITER 570 NEW BEST:: SOT 152996 SOS 95672 HAS SOPS 82520 HAS SOUS 32082 HAS SOUPS 29908 WITH SCORE 30003.672
AT ITER 574 NEW BEST:: SOT 152234 SOS 95120 HAS SOPS 82150 HAS SOUS 31540 HAS SOUPS 29335 WITH SCORE 29430.12
AT ITER 576 NEW BEST:: SOT 152133 SOS 94874 HAS SOPS 81948 HAS SOUS 31338 HAS SOUPS 29133 WITH SCORE 29227.874
AT ITER 577 NEW BEST:: SOT 152090 SOS 94835 HAS SOPS 81909 HAS SOUS 31309 HAS SOUPS 29104 WITH SCORE 29198.835
AT ITER 580 NEW BEST:: SOT 151349 SOS 94778 HAS SOPS 81840 HAS SOUS 31072 HAS SOUPS 28992 WITH SCORE 29086.778
AT ITER 582 NEW BEST:: SOT 151345 SOS 94770 HAS SOPS 81832 HAS SOUS 31060 HAS SOUPS 28980 WITH SCORE 29074.77
AT ITER 590 NEW BEST:: SOT 151339 SOS 94760 HAS SOPS 81820 HAS SOUS 31054 HAS SOUPS 28972 WITH SCORE 29066.76
AT ITER 593 NEW BEST:: SOT 151835 SOS 94702 HAS SOPS 81818 HAS SOUS 31097 HAS SOUPS 28926 WITH SCORE 29020.702
AT ITER 596 NEW BEST:: SOT 151850 SOS 94702 HAS SOPS 81848 HAS SOUS 31064 HAS SOUPS 28908 WITH SCORE 29002.702
AT ITER 601 NEW BEST:: SOT 151941 SOS 95046 HAS SOPS 81906 HAS SOUS 31155 HAS SOUPS 28875 WITH SCORE 28970.046
AT ITER 602 NEW BEST:: SOT 151782 SOS 94821 HAS SOPS 81707 HAS SOUS 31111 HAS SOUPS 28806 WITH SCORE 28900.821
AT ITER 612 NEW BEST:: SOT 151842 SOS 94701 HAS SOPS 81647 HAS SOUS 30931 HAS SOUPS 28686 WITH SCORE 28780.701
AT ITER 616 NEW BEST:: SOT 151689 SOS 94439 HAS SOPS 81385 HAS SOUS 30675 HAS SOUPS 28430 WITH SCORE 28524.439
AT ITER 618 NEW BEST:: SOT 151668 SOS 94141 HAS SOPS 81029 HAS SOUS 30647 HAS SOUPS 28371 WITH SCORE 28465.141
AT ITER 620 NEW BEST:: SOT 151644 SOS 94093 HAS SOPS 80981 HAS SOUS 30611 HAS SOUPS 28335 WITH SCORE 28429.093
AT ITER 621 NEW BEST:: SOT 151513 SOS 90124 HAS SOPS 76283 HAS SOUS 30517 HAS SOUPS 28226 WITH SCORE 28316.124
AT ITER 623 NEW BEST:: SOT 151521 SOS 90111 HAS SOPS 76226 HAS SOUS 30460 HAS SOUPS 28169 WITH SCORE 28259.111
AT ITER 629 NEW BEST:: SOT 151441 SOS 90033 HAS SOPS 76182 HAS SOUS 30401 HAS SOUPS 28120 WITH SCORE 28210.033
AT ITER 635 NEW BEST:: SOT 151311 SOS 89748 HAS SOPS 75741 HAS SOUS 30191 HAS SOUPS 27806 WITH SCORE 27895.748
AT ITER 638 NEW BEST:: SOT 151282 SOS 89690 HAS SOPS 75654 HAS SOUS 30176 HAS SOUPS 27762 WITH SCORE 27851.69
AT ITER 639 NEW BEST:: SOT 151427 SOS 89784 HAS SOPS 75748 HAS SOUS 30174 HAS SOUPS 27760 WITH SCORE 27849.784
AT ITER 641 NEW BEST:: SOT 151421 SOS 89775 HAS SOPS 75703 HAS SOUS 30171 HAS SOUPS 27757 WITH SCORE 27846.775
AT ITER 645 NEW BEST:: SOT 151415 SOS 89845 HAS SOPS 75773 HAS SOUS 30111 HAS SOUPS 27697 WITH SCORE 27786.845
AT ITER 647 NEW BEST:: SOT 150749 SOS 89359 HAS SOPS 75526 HAS SOUS 29919 HAS SOUPS 27464 WITH SCORE 27553.359
AT ITER 648 NEW BEST:: SOT 150748 SOS 89358 HAS SOPS 75526 HAS SOUS 29919 HAS SOUPS 27464 WITH SCORE 27553.358
AT ITER 651 NEW BEST:: SOT 150736 SOS 89324 HAS SOPS 75492 HAS SOUS 29885 HAS SOUPS 27430 WITH SCORE 27519.324
AT ITER 653 NEW BEST:: SOT 150869 SOS 89399 HAS SOPS 75580 HAS SOUS 29860 HAS SOUPS 27405 WITH SCORE 27494.399
AT ITER 654 NEW BEST:: SOT 150616 SOS 88871 HAS SOPS 74841 HAS SOUS 29714 HAS SOUPS 27207 WITH SCORE 27295.871
AT ITER 657 NEW BEST:: SOT 150590 SOS 88849 HAS SOPS 74789 HAS SOUS 29677 HAS SOUPS 27166 WITH SCORE 27254.849
AT ITER 667 NEW BEST:: SOT 150649 SOS 88865 HAS SOPS 74805 HAS SOUS 29672 HAS SOUPS 27161 WITH SCORE 27249.865
AT ITER 668 NEW BEST:: SOT 150632 SOS 88838 HAS SOPS 74788 HAS SOUS 29638 HAS SOUPS 27127 WITH SCORE 27215.838
AT ITER 671 NEW BEST:: SOT 150547 SOS 88652 HAS SOPS 74602 HAS SOUS 29521 HAS SOUPS 27010 WITH SCORE 27098.652
AT ITER 674 NEW BEST:: SOT 150643 SOS 88748 HAS SOPS 74683 HAS SOUS 29510 HAS SOUPS 26999 WITH SCORE 27087.748
AT ITER 675 NEW BEST:: SOT 150635 SOS 88740 HAS SOPS 74675 HAS SOUS 29502 HAS SOUPS 26991 WITH SCORE 27079.74
AT ITER 679 NEW BEST:: SOT 150578 SOS 88686 HAS SOPS 74621 HAS SOUS 29471 HAS SOUPS 26960 WITH SCORE 27048.686
AT ITER 681 NEW BEST:: SOT 147760 SOS 88679 HAS SOPS 74047 HAS SOUS 28961 HAS SOUPS 26703 WITH SCORE 26791.679
AT ITER 682 NEW BEST:: SOT 147850 SOS 88469 HAS SOPS 74047 HAS SOUS 28991 HAS SOUPS 26703 WITH SCORE 26791.469
AT ITER 687 NEW BEST:: SOT 146439 SOS 87058 HAS SOPS 72636 HAS SOUS 28672 HAS SOUPS 26384 WITH SCORE 26471.058
AT ITER 688 NEW BEST:: SOT 146454 SOS 87028 HAS SOPS 72606 HAS SOUS 28657 HAS SOUPS 26369 WITH SCORE 26456.028
AT ITER 690 NEW BEST:: SOT 146454 SOS 86988 HAS SOPS 72566 HAS SOUS 28657 HAS SOUPS 26369 WITH SCORE 26455.988
AT ITER 691 NEW BEST:: SOT 146834 SOS 87277 HAS SOPS 72815 HAS SOUS 28607 HAS SOUPS 26351 WITH SCORE 26438.277
AT ITER 697 NEW BEST:: SOT 146616 SOS 87092 HAS SOPS 72630 HAS SOUS 28422 HAS SOUPS 26166 WITH SCORE 26253.092
AT ITER 698 NEW BEST:: SOT 146474 SOS 89777 HAS SOPS 72519 HAS SOUS 28405 HAS SOUPS 26129 WITH SCORE 26218.777
AT ITER 708 NEW BEST:: SOT 146225 SOS 89537 HAS SOPS 72297 HAS SOUS 28286 HAS SOUPS 25997 WITH SCORE 26086.537
AT ITER 715 NEW BEST:: SOT 145514 SOS 88988 HAS SOPS 71842 HAS SOUS 27964 HAS SOUPS 25651 WITH SCORE 25739.988
AT ITER 718 NEW BEST:: SOT 145346 SOS 81536 HAS SOPS 56996 HAS SOUS 27540 HAS SOUPS 24802 WITH SCORE 24883.536
AT ITER 719 NEW BEST:: SOT 145325 SOS 81558 HAS SOPS 57018 HAS SOUS 27526 HAS SOUPS 24788 WITH SCORE 24869.558
AT ITER 723 NEW BEST:: SOT 145592 SOS 81705 HAS SOPS 57141 HAS SOUS 27505 HAS SOUPS 24767 WITH SCORE 24848.705
AT ITER 724 NEW BEST:: SOT 145577 SOS 81703 HAS SOPS 57139 HAS SOUS 27502 HAS SOUPS 24764 WITH SCORE 24845.703
AT ITER 734 NEW BEST:: SOT 145233 SOS 81419 HAS SOPS 57021 HAS SOUS 27392 HAS SOUPS 24654 WITH SCORE 24735.419
AT ITER 737 NEW BEST:: SOT 145199 SOS 81419 HAS SOPS 57004 HAS SOUS 27358 HAS SOUPS 24637 WITH SCORE 24718.419
AT ITER 739 NEW BEST:: SOT 145319 SOS 81463 HAS SOPS 57023 HAS SOUS 27308 HAS SOUPS 24587 WITH SCORE 24668.463
AT ITER 750 NEW BEST:: SOT 145372 SOS 81533 HAS SOPS 57090 HAS SOUS 27217 HAS SOUPS 24547 WITH SCORE 24628.533
AT ITER 756 NEW BEST:: SOT 145387 SOS 81476 HAS SOPS 57222 HAS SOUS 27147 HAS SOUPS 24528 WITH SCORE 24609.476
AT ITER 758 NEW BEST:: SOT 144688 SOS 82141 HAS SOPS 56961 HAS SOUS 27069 HAS SOUPS 24303 WITH SCORE 24385.141
AT ITER 759 NEW BEST:: SOT 144650 SOS 82112 HAS SOPS 56949 HAS SOUS 27052 HAS SOUPS 24290 WITH SCORE 24372.112
AT ITER 762 NEW BEST:: SOT 144455 SOS 81928 HAS SOPS 56734 HAS SOUS 26947 HAS SOUPS 24185 WITH SCORE 24266.928
AT ITER 768 NEW BEST:: SOT 144199 SOS 81746 HAS SOPS 56550 HAS SOUS 26877 HAS SOUPS 24115 WITH SCORE 24196.746
AT ITER 772 NEW BEST:: SOT 144253 SOS 81876 HAS SOPS 56658 HAS SOUS 26857 HAS SOUPS 24095 WITH SCORE 24176.876
AT ITER 774 NEW BEST:: SOT 144255 SOS 81864 HAS SOPS 56642 HAS SOUS 26846 HAS SOUPS 24080 WITH SCORE 24161.864
AT ITER 776 NEW BEST:: SOT 143602 SOS 81432 HAS SOPS 56569 HAS SOUS 26722 HAS SOUPS 24007 WITH SCORE 24088.432
AT ITER 781 NEW BEST:: SOT 143562 SOS 81478 HAS SOPS 56489 HAS SOUS 26724 HAS SOUPS 23988 WITH SCORE 24069.478
AT ITER 782 NEW BEST:: SOT 143358 SOS 81310 HAS SOPS 56342 HAS SOUS 26568 HAS SOUPS 23843 WITH SCORE 23924.31
AT ITER 785 NEW BEST:: SOT 143394 SOS 81382 HAS SOPS 56324 HAS SOUS 26553 HAS SOUPS 23828 WITH SCORE 23909.382
AT ITER 789 NEW BEST:: SOT 143964 SOS 82003 HAS SOPS 56979 HAS SOUS 25812 HAS SOUPS 23087 WITH SCORE 23169.003
AT ITER 796 NEW BEST:: SOT 143980 SOS 81843 HAS SOPS 56861 HAS SOUS 25776 HAS SOUPS 23047 WITH SCORE 23128.843
AT ITER 807 NEW BEST:: SOT 143994 SOS 81849 HAS SOPS 56862 HAS SOUS 25748 HAS SOUPS 23020 WITH SCORE 23101.849
AT ITER 808 NEW BEST:: SOT 143959 SOS 81822 HAS SOPS 56862 HAS SOUS 25743 HAS SOUPS 23020 WITH SCORE 23101.822
AT ITER 811 NEW BEST:: SOT 144020 SOS 81848 HAS SOPS 56911 HAS SOUS 25676 HAS SOUPS 22953 WITH SCORE 23034.848
AT ITER 814 NEW BEST:: SOT 143961 SOS 81730 HAS SOPS 56831 HAS SOUS 25610 HAS SOUPS 22890 WITH SCORE 22971.73
AT ITER 823 NEW BEST:: SOT 143907 SOS 81656 HAS SOPS 56689 HAS SOUS 25617 HAS SOUPS 22863 WITH SCORE 22944.656
AT ITER 828 NEW BEST:: SOT 142986 SOS 80735 HAS SOPS 55768 HAS SOUS 24720 HAS SOUPS 21966 WITH SCORE 22046.735
AT ITER 833 NEW BEST:: SOT 142974 SOS 80711 HAS SOPS 55748 HAS SOUS 24704 HAS SOUPS 21950 WITH SCORE 22030.711
AT ITER 834 NEW BEST:: SOT 143193 SOS 81009 HAS SOPS 56008 HAS SOUS 24433 HAS SOUPS 21708 WITH SCORE 21789.009
AT ITER 835 NEW BEST:: SOT 143331 SOS 80882 HAS SOPS 55870 HAS SOUS 24411 HAS SOUPS 21686 WITH SCORE 21766.882
AT ITER 839 NEW BEST:: SOT 143315 SOS 80866 HAS SOPS 55854 HAS SOUS 24395 HAS SOUPS 21670 WITH SCORE 21750.866
AT ITER 843 NEW BEST:: SOT 143579 SOS 81130 HAS SOPS 56126 HAS SOUS 24347 HAS SOUPS 21622 WITH SCORE 21703.13
AT ITER 844 NEW BEST:: SOT 143524 SOS 81120 HAS SOPS 56104 HAS SOUS 24357 HAS SOUPS 21613 WITH SCORE 21694.12
AT ITER 855 NEW BEST:: SOT 143384 SOS 81018 HAS SOPS 56020 HAS SOUS 24150 HAS SOUPS 21416 WITH SCORE 21497.018
AT ITER 856 NEW BEST:: SOT 143444 SOS 80998 HAS SOPS 56060 HAS SOUS 24127 HAS SOUPS 21403 WITH SCORE 21483.998
AT ITER 857 NEW BEST:: SOT 143444 SOS 80984 HAS SOPS 56039 HAS SOUS 24092 HAS SOUPS 21368 WITH SCORE 21448.984
AT ITER 858 NEW BEST:: SOT 143421 SOS 80926 HAS SOPS 56004 HAS SOUS 23989 HAS SOUPS 21265 WITH SCORE 21345.926
AT ITER 863 NEW BEST:: SOT 143375 SOS 81230 HAS SOPS 55912 HAS SOUS 24047 HAS SOUPS 21257 WITH SCORE 21338.23
AT ITER 869 NEW BEST:: SOT 143544 SOS 75855 HAS SOPS 55887 HAS SOUS 23940 HAS SOUPS 21151 WITH SCORE 21226.855
AT ITER 873 NEW BEST:: SOT 143571 SOS 75853 HAS SOPS 55877 HAS SOUS 23764 HAS SOUPS 20975 WITH SCORE 21050.853
AT ITER 888 NEW BEST:: SOT 143554 SOS 75770 HAS SOPS 55717 HAS SOUS 23726 HAS SOUPS 20925 WITH SCORE 21000.77
AT ITER 890 NEW BEST:: SOT 143560 SOS 75540 HAS SOPS 55683 HAS SOUS 23658 HAS SOUPS 20885 WITH SCORE 20960.54
AT ITER 898 NEW BEST:: SOT 143546 SOS 75526 HAS SOPS 55666 HAS SOUS 23555 HAS SOUPS 20782 WITH SCORE 20857.526
AT ITER 915 NEW BEST:: SOT 143568 SOS 75486 HAS SOPS 55626 HAS SOUS 23490 HAS SOUPS 20717 WITH SCORE 20792.486
AT ITER 930 NEW BEST:: SOT 143486 SOS 75403 HAS SOPS 55503 HAS SOUS 23443 HAS SOUPS 20636 WITH SCORE 20711.403
AT ITER 931 NEW BEST:: SOT 143440 SOS 75277 HAS SOPS 55388 HAS SOUS 23408 HAS SOUPS 20601 WITH SCORE 20676.277
AT ITER 950 NEW BEST:: SOT 143437 SOS 75274 HAS SOPS 55385 HAS SOUS 23405 HAS SOUPS 20598 WITH SCORE 20673.274
AT ITER 951 NEW BEST:: SOT 143427 SOS 75244 HAS SOPS 55355 HAS SOUS 23403 HAS SOUPS 20596 WITH SCORE 20671.244
AT ITER 952 NEW BEST:: SOT 143350 SOS 75167 HAS SOPS 55278 HAS SOUS 23326 HAS SOUPS 20519 WITH SCORE 20594.167
AT ITER 953 NEW BEST:: SOT 143324 SOS 75498 HAS SOPS 55278 HAS SOUS 23347 HAS SOUPS 20489 WITH SCORE 20564.498
AT ITER 954 NEW BEST:: SOT 143309 SOS 75483 HAS SOPS 55246 HAS SOUS 23315 HAS SOUPS 20457 WITH SCORE 20532.483
AT ITER 960 NEW BEST:: SOT 143387 SOS 75456 HAS SOPS 55219 HAS SOUS 23240 HAS SOUPS 20382 WITH SCORE 20457.456
AT ITER 965 NEW BEST:: SOT 143284 SOS 75353 HAS SOPS 55116 HAS SOUS 23155 HAS SOUPS 20297 WITH SCORE 20372.353
AT ITER 972 NEW BEST:: SOT 143218 SOS 75255 HAS SOPS 55018 HAS SOUS 23055 HAS SOUPS 20197 WITH SCORE 20272.255
AT ITER 987 NEW BEST:: SOT 143138 SOS 75191 HAS SOPS 54998 HAS SOUS 23023 HAS SOUPS 20173 WITH SCORE 20248.191
AT ITER 993 NEW BEST:: SOT 143110 SOS 75203 HAS SOPS 54991 HAS SOUS 23016 HAS SOUPS 20166 WITH SCORE 20241.203
AT ITER 998 NEW BEST:: SOT 143070 SOS 75150 HAS SOPS 54857 HAS SOUS 22983 HAS SOUPS 20115 WITH SCORE 20190.15
AT ITER 1043 NEW BEST:: SOT 143028 SOS 75153 HAS SOPS 54857 HAS SOUS 22937 HAS SOUPS 20073 WITH SCORE 20148.153
AT ITER 1048 NEW BEST:: SOT 143024 SOS 75145 HAS SOPS 54849 HAS SOUS 22935 HAS SOUPS 20071 WITH SCORE 20146.145
AT ITER 1068 NEW BEST:: SOT 142687 SOS 75060 HAS SOPS 54721 HAS SOUS 22959 HAS SOUPS 20055 WITH SCORE 20130.06
AT ITER 1070 NEW BEST:: SOT 142523 SOS 74909 HAS SOPS 54544 HAS SOUS 22924 HAS SOUPS 19993 WITH SCORE 20067.909
AT ITER 1083 NEW BEST:: SOT 142463 SOS 74849 HAS SOPS 54484 HAS SOUS 22904 HAS SOUPS 19973 WITH SCORE 20047.849
AT ITER 1085 NEW BEST:: SOT 142419 SOS 74805 HAS SOPS 54440 HAS SOUS 22860 HAS SOUPS 19929 WITH SCORE 20003.805
AT ITER 1093 NEW BEST:: SOT 142233 SOS 74515 HAS SOPS 53997 HAS SOUS 22801 HAS SOUPS 19785 WITH SCORE 19859.515
AT ITER 1107 NEW BEST:: SOT 142194 SOS 74266 HAS SOPS 53997 HAS SOUS 22755 HAS SOUPS 19782 WITH SCORE 19856.266
AT ITER 1109 NEW BEST:: SOT 142123 SOS 74107 HAS SOPS 53845 HAS SOUS 22662 HAS SOUPS 19689 WITH SCORE 19763.107
AT ITER 1113 NEW BEST:: SOT 142081 SOS 74065 HAS SOPS 53797 HAS SOUS 22638 HAS SOUPS 19665 WITH SCORE 19739.065
AT ITER 1125 NEW BEST:: SOT 142085 SOS 74029 HAS SOPS 53761 HAS SOUS 22620 HAS SOUPS 19647 WITH SCORE 19721.029
AT ITER 1134 NEW BEST:: SOT 141938 SOS 73931 HAS SOPS 53663 HAS SOUS 22605 HAS SOUPS 19632 WITH SCORE 19705.931
AT ITER 1150 NEW BEST:: SOT 141935 SOS 73925 HAS SOPS 53660 HAS SOUS 22605 HAS SOUPS 19632 WITH SCORE 19705.925
AT ITER 1165 NEW BEST:: SOT 141922 SOS 73912 HAS SOPS 53634 HAS SOUS 22579 HAS SOUPS 19606 WITH SCORE 19679.912
AT ITER 1180 NEW BEST:: SOT 141908 SOS 73860 HAS SOPS 53582 HAS SOUS 22579 HAS SOUPS 19606 WITH SCORE 19679.86
AT ITER 1184 NEW BEST:: SOT 142838 SOS 74950 HAS SOPS 54689 HAS SOUS 22268 HAS SOUPS 19295 WITH SCORE 19369.95
AT ITER 1192 NEW BEST:: SOT 142720 SOS 74954 HAS SOPS 54609 HAS SOUS 22262 HAS SOUPS 19267 WITH SCORE 19341.954
AT ITER 1202 NEW BEST:: SOT 141256 SOS 74577 HAS SOPS 54540 HAS SOUS 22120 HAS SOUPS 19232 WITH SCORE 19306.577
AT ITER 1218 NEW BEST:: SOT 141267 SOS 74564 HAS SOPS 54541 HAS SOUS 22120 HAS SOUPS 19232 WITH SCORE 19306.564
AT ITER 1219 NEW BEST:: SOT 141255 SOS 74422 HAS SOPS 54437 HAS SOUS 22096 HAS SOUPS 19208 WITH SCORE 19282.422
AT ITER 1234 NEW BEST:: SOT 141240 SOS 74422 HAS SOPS 54422 HAS SOUS 22036 HAS SOUPS 19148 WITH SCORE 19222.422
AT ITER 1237 NEW BEST:: SOT 140811 SOS 74149 HAS SOPS 54244 HAS SOUS 22020 HAS SOUPS 19132 WITH SCORE 19206.149
AT ITER 1239 NEW BEST:: SOT 140790 SOS 74094 HAS SOPS 54232 HAS SOUS 21991 HAS SOUPS 19105 WITH SCORE 19179.094
AT ITER 1254 NEW BEST:: SOT 140755 SOS 74203 HAS SOPS 54162 HAS SOUS 21984 HAS SOUPS 19065 WITH SCORE 19139.203
AT ITER 1259 NEW BEST:: SOT 140744 SOS 73976 HAS SOPS 54222 HAS SOUS 21932 HAS SOUPS 19054 WITH SCORE 19127.976
AT ITER 1268 NEW BEST:: SOT 140736 SOS 73997 HAS SOPS 54220 HAS SOUS 21931 HAS SOUPS 19052 WITH SCORE 19125.997
AT ITER 1272 NEW BEST:: SOT 140740 SOS 73944 HAS SOPS 54193 HAS SOUS 21905 HAS SOUPS 19025 WITH SCORE 19098.944
AT ITER 1282 NEW BEST:: SOT 140740 SOS 73906 HAS SOPS 54513 HAS SOUS 21867 HAS SOUPS 19025 WITH SCORE 19098.906
AT ITER 1283 NEW BEST:: SOT 140795 SOS 73961 HAS SOPS 54547 HAS SOUS 21862 HAS SOUPS 19003 WITH SCORE 19076.961
AT ITER 1294 NEW BEST:: SOT 140675 SOS 73931 HAS SOPS 54487 HAS SOUS 21802 HAS SOUPS 18943 WITH SCORE 19016.931
AT ITER 1299 NEW BEST:: SOT 140651 SOS 73907 HAS SOPS 54463 HAS SOUS 21774 HAS SOUPS 18915 WITH SCORE 18988.907
AT ITER 1311 NEW BEST:: SOT 140637 SOS 73888 HAS SOPS 54444 HAS SOUS 21730 HAS SOUPS 18871 WITH SCORE 18944.888
AT ITER 1323 NEW BEST:: SOT 140642 SOS 73883 HAS SOPS 54444 HAS SOUS 21720 HAS SOUPS 18861 WITH SCORE 18934.883
AT ITER 1324 NEW BEST:: SOT 140687 SOS 73919 HAS SOPS 54477 HAS SOUS 21711 HAS SOUPS 18852 WITH SCORE 18925.919
AT ITER 1328 NEW BEST:: SOT 140677 SOS 74031 HAS SOPS 54435 HAS SOUS 21728 HAS SOUPS 18847 WITH SCORE 18921.031
AT ITER 1335 NEW BEST:: SOT 140660 SOS 73961 HAS SOPS 54365 HAS SOUS 21669 HAS SOUPS 18788 WITH SCORE 18861.961
AT ITER 1337 NEW BEST:: SOT 140757 SOS 73823 HAS SOPS 54227 HAS SOUS 21600 HAS SOUPS 18719 WITH SCORE 18792.823
AT ITER 1356 NEW BEST:: SOT 140789 SOS 73855 HAS SOPS 54352 HAS SOUS 21562 HAS SOUPS 18700 WITH SCORE 18773.855
AT ITER 1361 NEW BEST:: SOT 140635 SOS 73701 HAS SOPS 54237 HAS SOUS 21459 HAS SOUPS 18635 WITH SCORE 18708.701
AT ITER 1363 NEW BEST:: SOT 140515 SOS 73581 HAS SOPS 54157 HAS SOUS 21419 HAS SOUPS 18580 WITH SCORE 18653.581
AT ITER 1364 NEW BEST:: SOT 140407 SOS 73593 HAS SOPS 54133 HAS SOUS 21436 HAS SOUPS 18577 WITH SCORE 18650.593
AT ITER 1366 NEW BEST:: SOT 140377 SOS 73703 HAS SOPS 54243 HAS SOUS 21406 HAS SOUPS 18547 WITH SCORE 18620.703
AT ITER 1370 NEW BEST:: SOT 140452 SOS 73466 HAS SOPS 54006 HAS SOUS 21399 HAS SOUPS 18540 WITH SCORE 18613.466
AT ITER 1373 NEW BEST:: SOT 140206 SOS 73147 HAS SOPS 53577 HAS SOUS 21337 HAS SOUPS 18443 WITH SCORE 18516.147
AT ITER 1374 NEW BEST:: SOT 140164 SOS 73090 HAS SOPS 53529 HAS SOUS 21319 HAS SOUPS 18425 WITH SCORE 18498.09
AT ITER 1377 NEW BEST:: SOT 139926 SOS 72906 HAS SOPS 53529 HAS SOUS 21277 HAS SOUPS 18418 WITH SCORE 18490.906
AT ITER 1380 NEW BEST:: SOT 139623 SOS 72603 HAS SOPS 53223 HAS SOUS 21148 HAS SOUPS 18289 WITH SCORE 18361.603
AT ITER 1388 NEW BEST:: SOT 139605 SOS 72519 HAS SOPS 53149 HAS SOUS 21108 HAS SOUPS 18249 WITH SCORE 18321.519
AT ITER 1400 NEW BEST:: SOT 139597 SOS 72512 HAS SOPS 53113 HAS SOUS 21092 HAS SOUPS 18231 WITH SCORE 18303.512
AT ITER 1401 NEW BEST:: SOT 139612 SOS 72738 HAS SOPS 53055 HAS SOUS 21075 HAS SOUPS 18166 WITH SCORE 18238.738
AT ITER 1407 NEW BEST:: SOT 139630 SOS 72750 HAS SOPS 53067 HAS SOUS 21073 HAS SOUPS 18164 WITH SCORE 18236.75
AT ITER 1409 NEW BEST:: SOT 139585 SOS 72709 HAS SOPS 53033 HAS SOUS 21032 HAS SOUPS 18130 WITH SCORE 18202.709
AT ITER 1411 NEW BEST:: SOT 139443 SOS 72465 HAS SOPS 52857 HAS SOUS 20944 HAS SOUPS 18028 WITH SCORE 18100.465
AT ITER 1416 NEW BEST:: SOT 139326 SOS 72309 HAS SOPS 52701 HAS SOUS 20827 HAS SOUPS 17911 WITH SCORE 17983.309
AT ITER 1419 NEW BEST:: SOT 138943 SOS 72122 HAS SOPS 52490 HAS SOUS 20567 HAS SOUPS 17634 WITH SCORE 17706.122
AT ITER 1427 NEW BEST:: SOT 139004 SOS 72183 HAS SOPS 52550 HAS SOUS 20545 HAS SOUPS 17609 WITH SCORE 17681.183
AT ITER 1429 NEW BEST:: SOT 139018 SOS 72068 HAS SOPS 52458 HAS SOUS 20496 HAS SOUPS 17561 WITH SCORE 17633.068
AT ITER 1433 NEW BEST:: SOT 139036 SOS 72032 HAS SOPS 52440 HAS SOUS 20478 HAS SOUPS 17543 WITH SCORE 17615.032
AT ITER 1439 NEW BEST:: SOT 139036 SOS 71848 HAS SOPS 52448 HAS SOUS 20462 HAS SOUPS 17543 WITH SCORE 17614.848
AT ITER 1442 NEW BEST:: SOT 139239 SOS 71445 HAS SOPS 49712 HAS SOUS 20496 HAS SOUPS 17397 WITH SCORE 17468.445
AT ITER 1453 NEW BEST:: SOT 139221 SOS 71421 HAS SOPS 49682 HAS SOUS 20466 HAS SOUPS 17367 WITH SCORE 17438.421
AT ITER 1463 NEW BEST:: SOT 139237 SOS 71363 HAS SOPS 49624 HAS SOUS 20452 HAS SOUPS 17353 WITH SCORE 17424.363
AT ITER 1488 NEW BEST:: SOT 139101 SOS 71256 HAS SOPS 49517 HAS SOUS 20427 HAS SOUPS 17328 WITH SCORE 17399.256
AT ITER 1490 NEW BEST:: SOT 139030 SOS 71491 HAS SOPS 49578 HAS SOUS 20450 HAS SOUPS 17322 WITH SCORE 17393.491
AT ITER 1493 NEW BEST:: SOT 139029 SOS 71505 HAS SOPS 49592 HAS SOUS 20436 HAS SOUPS 17308 WITH SCORE 17379.505
AT ITER 1495 NEW BEST:: SOT 139004 SOS 71465 HAS SOPS 49552 HAS SOUS 20426 HAS SOUPS 17298 WITH SCORE 17369.465
AT ITER 1506 NEW BEST:: SOT 138971 SOS 71432 HAS SOPS 49486 HAS SOUS 20360 HAS SOUPS 17232 WITH SCORE 17303.432
AT ITER 1509 NEW BEST:: SOT 138948 SOS 71419 HAS SOPS 49462 HAS SOUS 20346 HAS SOUPS 17218 WITH SCORE 17289.419
AT ITER 1532 NEW BEST:: SOT 138947 SOS 71434 HAS SOPS 49444 HAS SOUS 20328 HAS SOUPS 17200 WITH SCORE 17271.434
AT ITER 1534 NEW BEST:: SOT 138878 SOS 71365 HAS SOPS 49342 HAS SOUS 20223 HAS SOUPS 17095 WITH SCORE 17166.365
AT ITER 1535 NEW BEST:: SOT 138834 SOS 71385 HAS SOPS 49362 HAS SOUS 20203 HAS SOUPS 17075 WITH SCORE 17146.385
AT ITER 1538 NEW BEST:: SOT 138834 SOS 71385 HAS SOPS 49362 HAS SOUS 20197 HAS SOUPS 17069 WITH SCORE 17140.385
AT ITER 1542 NEW BEST:: SOT 138884 SOS 71406 HAS SOPS 49393 HAS SOUS 20196 HAS SOUPS 17068 WITH SCORE 17139.406
AT ITER 1543 NEW BEST:: SOT 138064 SOS 71120 HAS SOPS 49253 HAS SOUS 20193 HAS SOUPS 17051 WITH SCORE 17122.12
AT ITER 1545 NEW BEST:: SOT 138064 SOS 71117 HAS SOPS 49247 HAS SOUS 20199 HAS SOUPS 17051 WITH SCORE 17122.117
AT ITER 1557 NEW BEST:: SOT 138058 SOS 71117 HAS SOPS 49247 HAS SOUS 20190 HAS SOUPS 17042 WITH SCORE 17113.117
AT ITER 1565 NEW BEST:: SOT 137986 SOS 71009 HAS SOPS 49139 HAS SOUS 20124 HAS SOUPS 16976 WITH SCORE 17047.009
AT ITER 1566 NEW BEST:: SOT 137945 SOS 70937 HAS SOPS 49105 HAS SOUS 20096 HAS SOUPS 16948 WITH SCORE 17018.937
AT ITER 1567 NEW BEST:: SOT 137920 SOS 70912 HAS SOPS 49085 HAS SOUS 20083 HAS SOUPS 16938 WITH SCORE 17008.912
AT ITER 1573 NEW BEST:: SOT 137942 SOS 70916 HAS SOPS 49077 HAS SOUS 20084 HAS SOUPS 16929 WITH SCORE 16999.916
AT ITER 1585 NEW BEST:: SOT 137939 SOS 70894 HAS SOPS 49052 HAS SOUS 20023 HAS SOUPS 16868 WITH SCORE 16938.894
AT ITER 1593 NEW BEST:: SOT 137918 SOS 70873 HAS SOPS 49031 HAS SOUS 20002 HAS SOUPS 16847 WITH SCORE 16917.873
AT ITER 1595 NEW BEST:: SOT 137668 SOS 70741 HAS SOPS 48881 HAS SOUS 19724 HAS SOUPS 16574 WITH SCORE 16644.741
AT ITER 1601 NEW BEST:: SOT 137641 SOS 70649 HAS SOPS 48789 HAS SOUS 19689 HAS SOUPS 16539 WITH SCORE 16609.649
AT ITER 1606 NEW BEST:: SOT 137619 SOS 70478 HAS SOPS 48618 HAS SOUS 19679 HAS SOUPS 16529 WITH SCORE 16599.478
AT ITER 1610 NEW BEST:: SOT 137616 SOS 70452 HAS SOPS 48592 HAS SOUS 19637 HAS SOUPS 16487 WITH SCORE 16557.452
AT ITER 1612 NEW BEST:: SOT 137639 SOS 70542 HAS SOPS 48616 HAS SOUS 19639 HAS SOUPS 16478 WITH SCORE 16548.542
AT ITER 1614 NEW BEST:: SOT 137627 SOS 70518 HAS SOPS 48592 HAS SOUS 19630 HAS SOUPS 16469 WITH SCORE 16539.518
AT ITER 1620 NEW BEST:: SOT 137404 SOS 73487 HAS SOPS 48636 HAS SOUS 19689 HAS SOUPS 16461 WITH SCORE 16534.487
AT ITER 1624 NEW BEST:: SOT 137411 SOS 73409 HAS SOPS 48565 HAS SOUS 19688 HAS SOUPS 16460 WITH SCORE 16533.409
AT ITER 1647 NEW BEST:: SOT 137406 SOS 73402 HAS SOPS 48561 HAS SOUS 19686 HAS SOUPS 16458 WITH SCORE 16531.402
AT ITER 1670 NEW BEST:: SOT 137393 SOS 73389 HAS SOPS 48535 HAS SOUS 19663 HAS SOUPS 16435 WITH SCORE 16508.389
AT ITER 1690 NEW BEST:: SOT 137500 SOS 73458 HAS SOPS 48585 HAS SOUS 19632 HAS SOUPS 16385 WITH SCORE 16458.458
AT ITER 1691 NEW BEST:: SOT 137398 SOS 77173 HAS SOPS 48517 HAS SOUS 19608 HAS SOUPS 16361 WITH SCORE 16438.173
AT ITER 1703 NEW BEST:: SOT 137408 SOS 77193 HAS SOPS 48511 HAS SOUS 19567 HAS SOUPS 16327 WITH SCORE 16404.193
AT ITER 1707 NEW BEST:: SOT 137409 SOS 77155 HAS SOPS 48624 HAS SOUS 19473 HAS SOUPS 16235 WITH SCORE 16312.155
AT ITER 1718 NEW BEST:: SOT 137364 SOS 77110 HAS SOPS 48570 HAS SOUS 19419 HAS SOUPS 16181 WITH SCORE 16258.11
AT ITER 1723 NEW BEST:: SOT 137363 SOS 77112 HAS SOPS 48572 HAS SOUS 19418 HAS SOUPS 16180 WITH SCORE 16257.112
AT ITER 1730 NEW BEST:: SOT 137408 SOS 77157 HAS SOPS 48599 HAS SOUS 19409 HAS SOUPS 16171 WITH SCORE 16248.157
AT ITER 1750 NEW BEST:: SOT 137417 SOS 77153 HAS SOPS 48621 HAS SOUS 19368 HAS SOUPS 16149 WITH SCORE 16226.153
AT ITER 1751 NEW BEST:: SOT 137452 SOS 77015 HAS SOPS 48561 HAS SOUS 19343 HAS SOUPS 16137 WITH SCORE 16214.015
AT ITER 1771 NEW BEST:: SOT 137438 SOS 76872 HAS SOPS 48418 HAS SOUS 19357 HAS SOUPS 16112 WITH SCORE 16188.872
AT ITER 1773 NEW BEST:: SOT 137393 SOS 76813 HAS SOPS 48345 HAS SOUS 19228 HAS SOUPS 15983 WITH SCORE 16059.813
AT ITER 1778 NEW BEST:: SOT 137389 SOS 76686 HAS SOPS 48267 HAS SOUS 19221 HAS SOUPS 15967 WITH SCORE 16043.686
AT ITER 1781 NEW BEST:: SOT 137382 SOS 76679 HAS SOPS 48258 HAS SOUS 19220 HAS SOUPS 15963 WITH SCORE 16039.679
AT ITER 1785 NEW BEST:: SOT 137109 SOS 76658 HAS SOPS 48227 HAS SOUS 19208 HAS SOUPS 15922 WITH SCORE 15998.658
AT ITER 1786 NEW BEST:: SOT 137082 SOS 76634 HAS SOPS 48193 HAS SOUS 19189 HAS SOUPS 15900 WITH SCORE 15976.634
AT ITER 1788 NEW BEST:: SOT 137192 SOS 76623 HAS SOPS 48193 HAS SOUS 19189 HAS SOUPS 15900 WITH SCORE 15976.623
AT ITER 1789 NEW BEST:: SOT 137290 SOS 76705 HAS SOPS 48267 HAS SOUS 19181 HAS SOUPS 15884 WITH SCORE 15960.705
AT ITER 1790 NEW BEST:: SOT 137128 SOS 77370 HAS SOPS 48231 HAS SOUS 19196 HAS SOUPS 15862 WITH SCORE 15939.37
AT ITER 1795 NEW BEST:: SOT 137091 SOS 77296 HAS SOPS 48157 HAS SOUS 19167 HAS SOUPS 15833 WITH SCORE 15910.296
AT ITER 1801 NEW BEST:: SOT 137128 SOS 77313 HAS SOPS 48143 HAS SOUS 19153 HAS SOUPS 15819 WITH SCORE 15896.313
AT ITER 1810 NEW BEST:: SOT 137080 SOS 77265 HAS SOPS 48115 HAS SOUS 19125 HAS SOUPS 15791 WITH SCORE 15868.265
AT ITER 1816 NEW BEST:: SOT 137034 SOS 77219 HAS SOPS 48063 HAS SOUS 19073 HAS SOUPS 15739 WITH SCORE 15816.219
AT ITER 1820 NEW BEST:: SOT 137074 SOS 73473 HAS SOPS 48057 HAS SOUS 19005 HAS SOUPS 15710 WITH SCORE 15783.473
AT ITER 1825 NEW BEST:: SOT 137040 SOS 73301 HAS SOPS 47885 HAS SOUS 18922 HAS SOUPS 15627 WITH SCORE 15700.301
AT ITER 1829 NEW BEST:: SOT 137047 SOS 73028 HAS SOPS 46348 HAS SOUS 18880 HAS SOUPS 15474 WITH SCORE 15547.028
AT ITER 1837 NEW BEST:: SOT 137096 SOS 73057 HAS SOPS 46377 HAS SOUS 18863 HAS SOUPS 15457 WITH SCORE 15530.057
AT ITER 1852 NEW BEST:: SOT 137132 SOS 73015 HAS SOPS 46374 HAS SOUS 18863 HAS SOUPS 15457 WITH SCORE 15530.015
AT ITER 1860 NEW BEST:: SOT 137120 SOS 73006 HAS SOPS 46365 HAS SOUS 18863 HAS SOUPS 15457 WITH SCORE 15530.006
AT ITER 1877 NEW BEST:: SOT 137119 SOS 73004 HAS SOPS 46363 HAS SOUS 18859 HAS SOUPS 15453 WITH SCORE 15526.004
AT ITER 1880 NEW BEST:: SOT 135262 SOS 73477 HAS SOPS 46315 HAS SOUS 18738 HAS SOUPS 15406 WITH SCORE 15479.477
AT ITER 1888 NEW BEST:: SOT 135227 SOS 73463 HAS SOPS 46301 HAS SOUS 18738 HAS SOUPS 15406 WITH SCORE 15479.463
AT ITER 1891 NEW BEST:: SOT 135203 SOS 73431 HAS SOPS 46269 HAS SOUS 18730 HAS SOUPS 15398 WITH SCORE 15471.431
AT ITER 1914 NEW BEST:: SOT 135203 SOS 73359 HAS SOPS 46281 HAS SOUS 18718 HAS SOUPS 15398 WITH SCORE 15471.359
AT ITER 1915 NEW BEST:: SOT 135176 SOS 73337 HAS SOPS 46255 HAS SOUS 18696 HAS SOUPS 15376 WITH SCORE 15449.337
AT ITER 1931 NEW BEST:: SOT 135149 SOS 73274 HAS SOPS 46192 HAS SOUS 18670 HAS SOUPS 15350 WITH SCORE 15423.274
AT ITER 1935 NEW BEST:: SOT 135272 SOS 73315 HAS SOPS 46188 HAS SOUS 18602 HAS SOUPS 15282 WITH SCORE 15355.315
AT ITER 1952 NEW BEST:: SOT 135306 SOS 73298 HAS SOPS 46157 HAS SOUS 18597 HAS SOUPS 15275 WITH SCORE 15348.298
AT ITER 1955 NEW BEST:: SOT 135296 SOS 73278 HAS SOPS 46137 HAS SOUS 18587 HAS SOUPS 15265 WITH SCORE 15338.278
AT ITER 1956 NEW BEST:: SOT 135205 SOS 73187 HAS SOPS 46046 HAS SOUS 18561 HAS SOUPS 15228 WITH SCORE 15301.187
AT ITER 1963 NEW BEST:: SOT 135204 SOS 73185 HAS SOPS 46044 HAS SOUS 18560 HAS SOUPS 15227 WITH SCORE 15300.185
AT ITER 1964 NEW BEST:: SOT 135211 SOS 73192 HAS SOPS 46058 HAS SOUS 18558 HAS SOUPS 15196 WITH SCORE 15269.192
AT ITER 1979 NEW BEST:: SOT 135171 SOS 73176 HAS SOPS 46045 HAS SOUS 18488 HAS SOUPS 15138 WITH SCORE 15211.176
AT ITER 2032 NEW BEST:: SOT 134429 SOS 72416 HAS SOPS 45303 HAS SOUS 18474 HAS SOUPS 15124 WITH SCORE 15196.416
AT ITER 2041 NEW BEST:: SOT 134387 SOS 72072 HAS SOPS 44959 HAS SOUS 18445 HAS SOUPS 15095 WITH SCORE 15167.072
AT ITER 2054 NEW BEST:: SOT 134363 SOS 72024 HAS SOPS 44929 HAS SOUS 18421 HAS SOUPS 15071 WITH SCORE 15143.024
AT ITER 2059 NEW BEST:: SOT 134822 SOS 72483 HAS SOPS 45388 HAS SOUS 18404 HAS SOUPS 15054 WITH SCORE 15126.483
AT ITER 2066 NEW BEST:: SOT 134825 SOS 72480 HAS SOPS 45388 HAS SOUS 18404 HAS SOUPS 15054 WITH SCORE 15126.48
AT ITER 2068 NEW BEST:: SOT 134878 SOS 72564 HAS SOPS 45472 HAS SOUS 18396 HAS SOUPS 15046 WITH SCORE 15118.564
AT ITER 2069 NEW BEST:: SOT 135221 SOS 72709 HAS SOPS 45472 HAS SOUS 18430 HAS SOUPS 15045 WITH SCORE 15117.709
AT ITER 2071 NEW BEST:: SOT 135030 SOS 72562 HAS SOPS 45314 HAS SOUS 18413 HAS SOUPS 15017 WITH SCORE 15089.562
AT ITER 2075 NEW BEST:: SOT 135024 SOS 72473 HAS SOPS 45243 HAS SOUS 18384 HAS SOUPS 14988 WITH SCORE 15060.473
AT ITER 2078 NEW BEST:: SOT 135069 SOS 72425 HAS SOPS 45195 HAS SOUS 18380 HAS SOUPS 14984 WITH SCORE 15056.425
AT ITER 2088 NEW BEST:: SOT 135007 SOS 72402 HAS SOPS 45169 HAS SOUS 18373 HAS SOUPS 14977 WITH SCORE 15049.402
AT ITER 2094 NEW BEST:: SOT 135015 SOS 72396 HAS SOPS 45163 HAS SOUS 18367 HAS SOUPS 14971 WITH SCORE 15043.396
AT ITER 2112 NEW BEST:: SOT 134989 SOS 72366 HAS SOPS 45144 HAS SOUS 18347 HAS SOUPS 14951 WITH SCORE 15023.366
AT ITER 2116 NEW BEST:: SOT 135373 SOS 72768 HAS SOPS 45546 HAS SOUS 18294 HAS SOUPS 14907 WITH SCORE 14979.768
AT ITER 2126 NEW BEST:: SOT 135372 SOS 72767 HAS SOPS 45545 HAS SOUS 18289 HAS SOUPS 14903 WITH SCORE 14975.767
AT ITER 2138 NEW BEST:: SOT 135451 SOS 72802 HAS SOPS 45580 HAS SOUS 18255 HAS SOUPS 14869 WITH SCORE 14941.802
AT ITER 2141 NEW BEST:: SOT 135450 SOS 72778 HAS SOPS 45556 HAS SOUS 18231 HAS SOUPS 14845 WITH SCORE 14917.778
AT ITER 2152 NEW BEST:: SOT 135364 SOS 72675 HAS SOPS 45333 HAS SOUS 18192 HAS SOUPS 14806 WITH SCORE 14878.675
AT ITER 2162 NEW BEST:: SOT 135325 SOS 72669 HAS SOPS 44931 HAS SOUS 18182 HAS SOUPS 14796 WITH SCORE 14868.669
AT ITER 2168 NEW BEST:: SOT 135322 SOS 72666 HAS SOPS 44931 HAS SOUS 18182 HAS SOUPS 14796 WITH SCORE 14868.666
AT ITER 2169 NEW BEST:: SOT 135242 SOS 72629 HAS SOPS 44931 HAS SOUS 18182 HAS SOUPS 14780 WITH SCORE 14852.629
AT ITER 2172 NEW BEST:: SOT 135237 SOS 72493 HAS SOPS 44795 HAS SOUS 18114 HAS SOUPS 14712 WITH SCORE 14784.493
AT ITER 2179 NEW BEST:: SOT 135225 SOS 72493 HAS SOPS 44795 HAS SOUS 18108 HAS SOUPS 14706 WITH SCORE 14778.493
AT ITER 2183 NEW BEST:: SOT 135097 SOS 72377 HAS SOPS 44803 HAS SOUS 18088 HAS SOUPS 14706 WITH SCORE 14778.377
AT ITER 2228 NEW BEST:: SOT 135093 SOS 72376 HAS SOPS 44790 HAS SOUS 18087 HAS SOUPS 14705 WITH SCORE 14777.376
AT ITER 2246 NEW BEST:: SOT 135062 SOS 72345 HAS SOPS 44958 HAS SOUS 18034 HAS SOUPS 14665 WITH SCORE 14737.345
AT ITER 2248 NEW BEST:: SOT 135140 SOS 72397 HAS SOPS 45010 HAS SOUS 17995 HAS SOUPS 14626 WITH SCORE 14698.397
AT ITER 2263 NEW BEST:: SOT 135070 SOS 72400 HAS SOPS 45013 HAS SOUS 17993 HAS SOUPS 14624 WITH SCORE 14696.4
AT ITER 2273 NEW BEST:: SOT 135015 SOS 72373 HAS SOPS 44986 HAS SOUS 17983 HAS SOUPS 14614 WITH SCORE 14686.373
AT ITER 2284 NEW BEST:: SOT 134991 SOS 72426 HAS SOPS 45422 HAS SOUS 17935 HAS SOUPS 14566 WITH SCORE 14638.426
AT ITER 2323 NEW BEST:: SOT 134969 SOS 72470 HAS SOPS 45389 HAS SOUS 17913 HAS SOUPS 14533 WITH SCORE 14605.47
AT ITER 2326 NEW BEST:: SOT 135010 SOS 72511 HAS SOPS 45430 HAS SOUS 17901 HAS SOUPS 14522 WITH SCORE 14594.511
AT ITER 2329 NEW BEST:: SOT 134956 SOS 72502 HAS SOPS 45396 HAS SOUS 17897 HAS SOUPS 14518 WITH SCORE 14590.502
AT ITER 2332 NEW BEST:: SOT 134977 SOS 72499 HAS SOPS 45165 HAS SOUS 17897 HAS SOUPS 14518 WITH SCORE 14590.499
AT ITER 2355 NEW BEST:: SOT 134972 SOS 72513 HAS SOPS 45095 HAS SOUS 17900 HAS SOUPS 14509 WITH SCORE 14581.513
AT ITER 2358 NEW BEST:: SOT 134991 SOS 72573 HAS SOPS 45139 HAS SOUS 17887 HAS SOUPS 14496 WITH SCORE 14568.573
AT ITER 2366 NEW BEST:: SOT 134878 SOS 76070 HAS SOPS 44983 HAS SOUS 17895 HAS SOUPS 14429 WITH SCORE 14505.07
AT ITER 2368 NEW BEST:: SOT 134933 SOS 76069 HAS SOPS 44944 HAS SOUS 17819 HAS SOUPS 14356 WITH SCORE 14432.069
AT ITER 2373 NEW BEST:: SOT 134779 SOS 76175 HAS SOPS 44950 HAS SOUS 17815 HAS SOUPS 14338 WITH SCORE 14414.175
AT ITER 2388 NEW BEST:: SOT 134761 SOS 76163 HAS SOPS 44956 HAS SOUS 17758 HAS SOUPS 14281 WITH SCORE 14357.163
AT ITER 2391 NEW BEST:: SOT 134697 SOS 76197 HAS SOPS 44937 HAS SOUS 17755 HAS SOUPS 14269 WITH SCORE 14345.197
AT ITER 2406 NEW BEST:: SOT 134682 SOS 76178 HAS SOPS 44922 HAS SOUS 17740 HAS SOUPS 14254 WITH SCORE 14330.178
AT ITER 2411 NEW BEST:: SOT 134681 SOS 76181 HAS SOPS 44925 HAS SOUS 17739 HAS SOUPS 14253 WITH SCORE 14329.181
AT ITER 2413 NEW BEST:: SOT 134666 SOS 76166 HAS SOPS 44910 HAS SOUS 17734 HAS SOUPS 14248 WITH SCORE 14324.166
AT ITER 2427 NEW BEST:: SOT 134693 SOS 76178 HAS SOPS 44922 HAS SOUS 17723 HAS SOUPS 14241 WITH SCORE 14317.178
AT ITER 2437 NEW BEST:: SOT 134690 SOS 76184 HAS SOPS 44010 HAS SOUS 17723 HAS SOUPS 14148 WITH SCORE 14224.184
AT ITER 2438 NEW BEST:: SOT 134244 SOS 78170 HAS SOPS 43981 HAS SOUS 18024 HAS SOUPS 14143 WITH SCORE 14221.17
AT ITER 2439 NEW BEST:: SOT 134236 SOS 78244 HAS SOPS 43950 HAS SOUS 18022 HAS SOUPS 14126 WITH SCORE 14204.244
AT ITER 2453 NEW BEST:: SOT 134236 SOS 78246 HAS SOPS 43952 HAS SOUS 18002 HAS SOUPS 14106 WITH SCORE 14184.246
AT ITER 2497 NEW BEST:: SOT 134223 SOS 78255 HAS SOPS 43953 HAS SOUS 17985 HAS SOUPS 14089 WITH SCORE 14167.255
AT ITER 2509 NEW BEST:: SOT 134212 SOS 78331 HAS SOPS 44029 HAS SOUS 17971 HAS SOUPS 14075 WITH SCORE 14153.331
AT ITER 2530 NEW BEST:: SOT 134210 SOS 78348 HAS SOPS 44032 HAS SOUS 17976 HAS SOUPS 14073 WITH SCORE 14151.348
AT ITER 2536 NEW BEST:: SOT 134190 SOS 78343 HAS SOPS 44027 HAS SOUS 17985 HAS SOUPS 14068 WITH SCORE 14146.343
AT ITER 2563 NEW BEST:: SOT 134176 SOS 78329 HAS SOPS 44002 HAS SOUS 17972 HAS SOUPS 14055 WITH SCORE 14133.329
AT ITER 2570 NEW BEST:: SOT 134248 SOS 78173 HAS SOPS 43738 HAS SOUS 17969 HAS SOUPS 14052 WITH SCORE 14130.173
AT ITER 2599 NEW BEST:: SOT 134265 SOS 78081 HAS SOPS 43700 HAS SOUS 17949 HAS SOUPS 14048 WITH SCORE 14126.081
AT ITER 2611 NEW BEST:: SOT 134296 SOS 77908 HAS SOPS 43571 HAS SOUS 17844 HAS SOUPS 13943 WITH SCORE 14020.908
AT ITER 2615 NEW BEST:: SOT 134466 SOS 76811 HAS SOPS 43762 HAS SOUS 17803 HAS SOUPS 13937 WITH SCORE 14013.811
AT ITER 2620 NEW BEST:: SOT 134464 SOS 76805 HAS SOPS 43760 HAS SOUS 17799 HAS SOUPS 13935 WITH SCORE 14011.805
AT ITER 2623 NEW BEST:: SOT 133555 SOS 75896 HAS SOPS 42838 HAS SOUS 17804 HAS SOUPS 13930 WITH SCORE 14005.896
AT ITER 2634 NEW BEST:: SOT 133597 SOS 75869 HAS SOPS 42801 HAS SOUS 17772 HAS SOUPS 13898 WITH SCORE 13973.869
AT ITER 2654 NEW BEST:: SOT 133599 SOS 75873 HAS SOPS 42805 HAS SOUS 17756 HAS SOUPS 13882 WITH SCORE 13957.873
AT ITER 2656 NEW BEST:: SOT 133567 SOS 75889 HAS SOPS 42803 HAS SOUS 17754 HAS SOUPS 13880 WITH SCORE 13955.889
AT ITER 2659 NEW BEST:: SOT 133501 SOS 75845 HAS SOPS 42759 HAS SOUS 17754 HAS SOUPS 13880 WITH SCORE 13955.845
AT ITER 2664 NEW BEST:: SOT 133481 SOS 75823 HAS SOPS 42737 HAS SOUS 17734 HAS SOUPS 13860 WITH SCORE 13935.823
AT ITER 2696 NEW BEST:: SOT 133481 SOS 75935 HAS SOPS 42845 HAS SOUS 17708 HAS SOUPS 13834 WITH SCORE 13909.935
AT ITER 2705 NEW BEST:: SOT 133465 SOS 75919 HAS SOPS 42813 HAS SOUS 17678 HAS SOUPS 13802 WITH SCORE 13877.919
AT ITER 2709 NEW BEST:: SOT 133450 SOS 75896 HAS SOPS 42795 HAS SOUS 17668 HAS SOUPS 13792 WITH SCORE 13867.896
AT ITER 2713 NEW BEST:: SOT 133612 SOS 76058 HAS SOPS 42957 HAS SOUS 17620 HAS SOUPS 13748 WITH SCORE 13824.058
AT ITER 2726 NEW BEST:: SOT 133585 SOS 76031 HAS SOPS 42924 HAS SOUS 17588 HAS SOUPS 13715 WITH SCORE 13791.031
AT ITER 2730 NEW BEST:: SOT 133582 SOS 76025 HAS SOPS 42918 HAS SOUS 17581 HAS SOUPS 13708 WITH SCORE 13784.025
AT ITER 2735 NEW BEST:: SOT 133575 SOS 76018 HAS SOPS 42910 HAS SOUS 17568 HAS SOUPS 13695 WITH SCORE 13771.018
AT ITER 2753 NEW BEST:: SOT 133566 SOS 76015 HAS SOPS 41672 HAS SOUS 17553 HAS SOUPS 13559 WITH SCORE 13635.015
AT ITER 2822 NEW BEST:: SOT 133548 SOS 75994 HAS SOPS 41666 HAS SOUS 17518 HAS SOUPS 13550 WITH SCORE 13625.994
AT ITER 2825 NEW BEST:: SOT 133540 SOS 75992 HAS SOPS 41349 HAS SOUS 17520 HAS SOUPS 13514 WITH SCORE 13589.992
AT ITER 2861 NEW BEST:: SOT 133540 SOS 76013 HAS SOPS 41348 HAS SOUS 17519 HAS SOUPS 13513 WITH SCORE 13589.013
AT ITER 2865 NEW BEST:: SOT 133420 SOS 75921 HAS SOPS 41340 HAS SOUS 17503 HAS SOUPS 13509 WITH SCORE 13584.921
AT ITER 2873 NEW BEST:: SOT 133456 SOS 75921 HAS SOPS 41340 HAS SOUS 17485 HAS SOUPS 13491 WITH SCORE 13566.921
AT ITER 2882 NEW BEST:: SOT 133428 SOS 75893 HAS SOPS 41312 HAS SOUS 17457 HAS SOUPS 13463 WITH SCORE 13538.893
AT ITER 2958 NEW BEST:: SOT 133492 SOS 74929 HAS SOPS 41290 HAS SOUS 17453 HAS SOUPS 13460 WITH SCORE 13534.929
AT ITER 2975 NEW BEST:: SOT 133534 SOS 74967 HAS SOPS 41328 HAS SOUS 17415 HAS SOUPS 13422 WITH SCORE 13496.967
AT ITER 2981 NEW BEST:: SOT 133521 SOS 74993 HAS SOPS 41328 HAS SOUS 17405 HAS SOUPS 13412 WITH SCORE 13486.993
AT ITER 3082 NEW BEST:: SOT 133506 SOS 75005 HAS SOPS 41347 HAS SOUS 17399 HAS SOUPS 13406 WITH SCORE 13481.005
AT ITER 3098 NEW BEST:: SOT 133500 SOS 75038 HAS SOPS 41365 HAS SOUS 17393 HAS SOUPS 13400 WITH SCORE 13475.038
AT ITER 3113 NEW BEST:: SOT 133483 SOS 75000 HAS SOPS 41312 HAS SOUS 17329 HAS SOUPS 13336 WITH SCORE 13411.0
AT ITER 3119 NEW BEST:: SOT 132599 SOS 80905 HAS SOPS 41242 HAS SOUS 17538 HAS SOUPS 13266 WITH SCORE 13346.905
AT ITER 3138 NEW BEST:: SOT 132572 SOS 80878 HAS SOPS 41215 HAS SOUS 17511 HAS SOUPS 13239 WITH SCORE 13319.878
AT ITER 3163 NEW BEST:: SOT 132562 SOS 80808 HAS SOPS 41145 HAS SOUS 17501 HAS SOUPS 13229 WITH SCORE 13309.808
AT ITER 3179 NEW BEST:: SOT 132526 SOS 80776 HAS SOPS 41113 HAS SOUS 17481 HAS SOUPS 13209 WITH SCORE 13289.776
AT ITER 3180 NEW BEST:: SOT 132506 SOS 80754 HAS SOPS 41085 HAS SOUS 17479 HAS SOUPS 13205 WITH SCORE 13285.754
AT ITER 3206 NEW BEST:: SOT 132564 SOS 80762 HAS SOPS 41086 HAS SOUS 17476 HAS SOUPS 13202 WITH SCORE 13282.762
AT ITER 3210 NEW BEST:: SOT 132542 SOS 80718 HAS SOPS 41062 HAS SOUS 17470 HAS SOUPS 13187 WITH SCORE 13267.718
AT ITER 3261 NEW BEST:: SOT 132538 SOS 80692 HAS SOPS 41054 HAS SOUS 17456 HAS SOUPS 13173 WITH SCORE 13253.692
AT ITER 3310 NEW BEST:: SOT 132530 SOS 80656 HAS SOPS 41046 HAS SOUS 17440 HAS SOUPS 13161 WITH SCORE 13241.656
AT ITER 3319 NEW BEST:: SOT 132619 SOS 80749 HAS SOPS 41140 HAS SOUS 17439 HAS SOUPS 13160 WITH SCORE 13240.749
AT ITER 3339 NEW BEST:: SOT 132619 SOS 80724 HAS SOPS 41120 HAS SOUS 17434 HAS SOUPS 13155 WITH SCORE 13235.724
AT ITER 3348 NEW BEST:: SOT 132616 SOS 80718 HAS SOPS 41111 HAS SOUS 17422 HAS SOUPS 13143 WITH SCORE 13223.718
AT ITER 3359 NEW BEST:: SOT 132613 SOS 80712 HAS SOPS 41105 HAS SOUS 17416 HAS SOUPS 13137 WITH SCORE 13217.712
AT ITER 3379 NEW BEST:: SOT 132617 SOS 80709 HAS SOPS 41108 HAS SOUS 17415 HAS SOUPS 13137 WITH SCORE 13217.709
AT ITER 3384 NEW BEST:: SOT 132602 SOS 80657 HAS SOPS 41064 HAS SOUS 17406 HAS SOUPS 13120 WITH SCORE 13200.657
AT ITER 3410 NEW BEST:: SOT 132604 SOS 80654 HAS SOPS 41056 HAS SOUS 17405 HAS SOUPS 13119 WITH SCORE 13199.654
AT ITER 3417 NEW BEST:: SOT 132639 SOS 80684 HAS SOPS 41077 HAS SOUS 17389 HAS SOUPS 13103 WITH SCORE 13183.684
AT ITER 3456 NEW BEST:: SOT 132619 SOS 80684 HAS SOPS 41037 HAS SOUS 17349 HAS SOUPS 13063 WITH SCORE 13143.684
AT ITER 3478 NEW BEST:: SOT 132616 SOS 80680 HAS SOPS 41033 HAS SOUS 17344 HAS SOUPS 13058 WITH SCORE 13138.68
AT ITER 3494 NEW BEST:: SOT 132610 SOS 80682 HAS SOPS 40419 HAS SOUS 17340 HAS SOUPS 12990 WITH SCORE 13070.682
AT ITER 3505 NEW BEST:: SOT 132649 SOS 76364 HAS SOPS 40409 HAS SOUS 17228 HAS SOUPS 12980 WITH SCORE 13056.364
AT ITER 3523 NEW BEST:: SOT 132628 SOS 76350 HAS SOPS 40381 HAS SOUS 17207 HAS SOUPS 12959 WITH SCORE 13035.35
AT ITER 3525 NEW BEST:: SOT 132630 SOS 76338 HAS SOPS 40381 HAS SOUS 17205 HAS SOUPS 12959 WITH SCORE 13035.338
AT ITER 3540 NEW BEST:: SOT 132638 SOS 76778 HAS SOPS 40381 HAS SOUS 17213 HAS SOUPS 12951 WITH SCORE 13027.778
AT ITER 3554 NEW BEST:: SOT 132638 SOS 76775 HAS SOPS 40379 HAS SOUS 17211 HAS SOUPS 12949 WITH SCORE 13025.775
AT ITER 3557 NEW BEST:: SOT 132640 SOS 76755 HAS SOPS 40359 HAS SOUS 17207 HAS SOUPS 12945 WITH SCORE 13021.755
AT ITER 3575 NEW BEST:: SOT 132640 SOS 76799 HAS SOPS 39195 HAS SOUS 17250 HAS SOUPS 12855 WITH SCORE 12931.799
AT ITER 3578 NEW BEST:: SOT 132639 SOS 76798 HAS SOPS 39193 HAS SOUS 17248 HAS SOUPS 12853 WITH SCORE 12929.798
AT ITER 3629 NEW BEST:: SOT 132629 SOS 76789 HAS SOPS 39193 HAS SOUS 17248 HAS SOUPS 12853 WITH SCORE 12929.789
AT ITER 3634 NEW BEST:: SOT 130667 SOS 75124 HAS SOPS 39121 HAS SOUS 16985 HAS SOUPS 12781 WITH SCORE 12856.124
AT ITER 3662 NEW BEST:: SOT 130579 SOS 75542 HAS SOPS 39107 HAS SOUS 16998 HAS SOUPS 12777 WITH SCORE 12852.542
AT ITER 3690 NEW BEST:: SOT 130579 SOS 75542 HAS SOPS 39081 HAS SOUS 16972 HAS SOUPS 12751 WITH SCORE 12826.542
AT ITER 3702 NEW BEST:: SOT 130598 SOS 75558 HAS SOPS 34641 HAS SOUS 17180 HAS SOUPS 12422 WITH SCORE 12497.558
AT ITER 3720 NEW BEST:: SOT 130595 SOS 75558 HAS SOPS 34641 HAS SOUS 17177 HAS SOUPS 12419 WITH SCORE 12494.558
AT ITER 3744 NEW BEST:: SOT 130652 SOS 75520 HAS SOPS 34622 HAS SOUS 17177 HAS SOUPS 12419 WITH SCORE 12494.52
AT ITER 3757 NEW BEST:: SOT 130546 SOS 75419 HAS SOPS 34616 HAS SOUS 17164 HAS SOUPS 12413 WITH SCORE 12488.419
AT ITER 3761 NEW BEST:: SOT 130535 SOS 75409 HAS SOPS 34606 HAS SOUS 17163 HAS SOUPS 12412 WITH SCORE 12487.409
AT ITER 3772 NEW BEST:: SOT 130531 SOS 75385 HAS SOPS 34514 HAS SOUS 17158 HAS SOUPS 12407 WITH SCORE 12482.385
AT ITER 3796 NEW BEST:: SOT 130523 SOS 75369 HAS SOPS 34498 HAS SOUS 17137 HAS SOUPS 12386 WITH SCORE 12461.369
AT ITER 3808 NEW BEST:: SOT 130460 SOS 76011 HAS SOPS 34507 HAS SOUS 17129 HAS SOUPS 12377 WITH SCORE 12453.011
AT ITER 3815 NEW BEST:: SOT 130453 SOS 75910 HAS SOPS 34424 HAS SOUS 17035 HAS SOUPS 12324 WITH SCORE 12399.91
AT ITER 3857 NEW BEST:: SOT 130453 SOS 75910 HAS SOPS 34422 HAS SOUS 17031 HAS SOUPS 12322 WITH SCORE 12397.91
AT ITER 3863 NEW BEST:: SOT 130449 SOS 75902 HAS SOPS 34414 HAS SOUS 17029 HAS SOUPS 12320 WITH SCORE 12395.902
AT ITER 3888 NEW BEST:: SOT 130449 SOS 75922 HAS SOPS 34436 HAS SOUS 17023 HAS SOUPS 12318 WITH SCORE 12393.922
AT ITER 3899 NEW BEST:: SOT 130277 SOS 75768 HAS SOPS 34431 HAS SOUS 17006 HAS SOUPS 12308 WITH SCORE 12383.768
AT ITER 3914 NEW BEST:: SOT 130270 SOS 75760 HAS SOPS 34420 HAS SOUS 16994 HAS SOUPS 12296 WITH SCORE 12371.76
AT ITER 3916 NEW BEST:: SOT 130239 SOS 75713 HAS SOPS 34403 HAS SOUS 16961 HAS SOUPS 12293 WITH SCORE 12368.713
AT ITER 3942 NEW BEST:: SOT 130259 SOS 75579 HAS SOPS 34401 HAS SOUS 16955 HAS SOUPS 12291 WITH SCORE 12366.579
AT ITER 3955 NEW BEST:: SOT 130279 SOS 75599 HAS SOPS 34413 HAS SOUS 16951 HAS SOUPS 12287 WITH SCORE 12362.599
AT ITER 3966 NEW BEST:: SOT 130279 SOS 75584 HAS SOPS 34383 HAS SOUS 16936 HAS SOUPS 12272 WITH SCORE 12347.584
AT ITER 3982 NEW BEST:: SOT 130284 SOS 75574 HAS SOPS 34378 HAS SOUS 16931 HAS SOUPS 12272 WITH SCORE 12347.574
AT ITER 4008 NEW BEST:: SOT 130278 SOS 75559 HAS SOPS 34363 HAS SOUS 16925 HAS SOUPS 12266 WITH SCORE 12341.559
AT ITER 4068 NEW BEST:: SOT 130303 SOS 75584 HAS SOPS 34361 HAS SOUS 16923 HAS SOUPS 12264 WITH SCORE 12339.584
AT ITER 4075 NEW BEST:: SOT 130215 SOS 75521 HAS SOPS 34278 HAS SOUS 16898 HAS SOUPS 12229 WITH SCORE 12304.521
AT ITER 4083 NEW BEST:: SOT 130199 SOS 75517 HAS SOPS 34259 HAS SOUS 16825 HAS SOUPS 12156 WITH SCORE 12231.517
AT ITER 4100 NEW BEST:: SOT 130197 SOS 75513 HAS SOPS 34250 HAS SOUS 16814 HAS SOUPS 12150 WITH SCORE 12225.513
AT ITER 4101 NEW BEST:: SOT 130133 SOS 75471 HAS SOPS 34206 HAS SOUS 16802 HAS SOUPS 12147 WITH SCORE 12222.471
AT ITER 4113 NEW BEST:: SOT 130111 SOS 75455 HAS SOPS 34187 HAS SOUS 16801 HAS SOUPS 12144 WITH SCORE 12219.455
AT ITER 4120 NEW BEST:: SOT 130175 SOS 75403 HAS SOPS 34315 HAS SOUS 16765 HAS SOUPS 12144 WITH SCORE 12219.403
AT ITER 4135 NEW BEST:: SOT 130084 SOS 75295 HAS SOPS 34244 HAS SOUS 16733 HAS SOUPS 12112 WITH SCORE 12187.295
AT ITER 4147 NEW BEST:: SOT 130095 SOS 75302 HAS SOPS 34253 HAS SOUS 16731 HAS SOUPS 12110 WITH SCORE 12185.302
AT ITER 4150 NEW BEST:: SOT 130098 SOS 75293 HAS SOPS 34238 HAS SOUS 16725 HAS SOUPS 12107 WITH SCORE 12182.293
AT ITER 4168 NEW BEST:: SOT 130084 SOS 75289 HAS SOPS 34090 HAS SOUS 16721 HAS SOUPS 12103 WITH SCORE 12178.289
AT ITER 4188 NEW BEST:: SOT 130092 SOS 75281 HAS SOPS 34082 HAS SOUS 16713 HAS SOUPS 12103 WITH SCORE 12178.281
AT ITER 4190 NEW BEST:: SOT 128928 SOS 76671 HAS SOPS 34027 HAS SOUS 16710 HAS SOUPS 12070 WITH SCORE 12146.671
AT ITER 4216 NEW BEST:: SOT 128919 SOS 76687 HAS SOPS 34009 HAS SOUS 16711 HAS SOUPS 12055 WITH SCORE 12131.687
AT ITER 4225 NEW BEST:: SOT 128919 SOS 76678 HAS SOPS 33964 HAS SOUS 16699 HAS SOUPS 12043 WITH SCORE 12119.678
AT ITER 4250 NEW BEST:: SOT 128879 SOS 76641 HAS SOPS 33929 HAS SOUS 16683 HAS SOUPS 12029 WITH SCORE 12105.641
AT ITER 4260 NEW BEST:: SOT 128865 SOS 76629 HAS SOPS 33917 HAS SOUS 16680 HAS SOUPS 12026 WITH SCORE 12102.629
AT ITER 4265 NEW BEST:: SOT 128847 SOS 76611 HAS SOPS 33902 HAS SOUS 16665 HAS SOUPS 12014 WITH SCORE 12090.611
AT ITER 4294 NEW BEST:: SOT 128770 SOS 76534 HAS SOPS 33825 HAS SOUS 16597 HAS SOUPS 11968 WITH SCORE 12044.534
AT ITER 4295 NEW BEST:: SOT 128778 SOS 76862 HAS SOPS 33817 HAS SOUS 16610 HAS SOUPS 11957 WITH SCORE 12033.862
AT ITER 4302 NEW BEST:: SOT 128760 SOS 76846 HAS SOPS 33801 HAS SOUS 16594 HAS SOUPS 11941 WITH SCORE 12017.846
AT ITER 4309 NEW BEST:: SOT 128749 SOS 76793 HAS SOPS 33751 HAS SOUS 16555 HAS SOUPS 11902 WITH SCORE 11978.793
AT ITER 4310 NEW BEST:: SOT 128751 SOS 76795 HAS SOPS 33751 HAS SOUS 16553 HAS SOUPS 11898 WITH SCORE 11974.795
AT ITER 4312 NEW BEST:: SOT 128739 SOS 76784 HAS SOPS 33753 HAS SOUS 16518 HAS SOUPS 11876 WITH SCORE 11952.784
AT ITER 4331 NEW BEST:: SOT 128731 SOS 76766 HAS SOPS 33735 HAS SOUS 16490 HAS SOUPS 11848 WITH SCORE 11924.766
AT ITER 4355 NEW BEST:: SOT 128702 SOS 76737 HAS SOPS 33706 HAS SOUS 16461 HAS SOUPS 11819 WITH SCORE 11895.737
AT ITER 4376 NEW BEST:: SOT 128677 SOS 76647 HAS SOPS 33744 HAS SOUS 16362 HAS SOUPS 11794 WITH SCORE 11870.647
AT ITER 4384 NEW BEST:: SOT 128679 SOS 76650 HAS SOPS 33737 HAS SOUS 16367 HAS SOUPS 11793 WITH SCORE 11869.65
AT ITER 4409 NEW BEST:: SOT 128676 SOS 76681 HAS SOPS 33736 HAS SOUS 16369 HAS SOUPS 11791 WITH SCORE 11867.681
AT ITER 4417 NEW BEST:: SOT 128537 SOS 76783 HAS SOPS 33738 HAS SOUS 16353 HAS SOUPS 11775 WITH SCORE 11851.783
AT ITER 4447 NEW BEST:: SOT 128530 SOS 76776 HAS SOPS 33731 HAS SOUS 16353 HAS SOUPS 11775 WITH SCORE 11851.776
AT ITER 4467 NEW BEST:: SOT 128347 SOS 81116 HAS SOPS 33631 HAS SOUS 16493 HAS SOUPS 11758 WITH SCORE 11839.116
AT ITER 4470 NEW BEST:: SOT 127940 SOS 80709 HAS SOPS 33224 HAS SOUS 16469 HAS SOUPS 11733 WITH SCORE 11813.709
AT ITER 4507 NEW BEST:: SOT 127934 SOS 80703 HAS SOPS 33215 HAS SOUS 16464 HAS SOUPS 11728 WITH SCORE 11808.703
AT ITER 4542 NEW BEST:: SOT 127949 SOS 80696 HAS SOPS 33208 HAS SOUS 16444 HAS SOUPS 11708 WITH SCORE 11788.696
AT ITER 4647 NEW BEST:: SOT 127946 SOS 80695 HAS SOPS 33206 HAS SOUS 16436 HAS SOUPS 11699 WITH SCORE 11779.695
AT ITER 4679 NEW BEST:: SOT 127951 SOS 80639 HAS SOPS 33150 HAS SOUS 16399 HAS SOUPS 11662 WITH SCORE 11742.639
AT ITER 4693 NEW BEST:: SOT 127859 SOS 80546 HAS SOPS 33044 HAS SOUS 16214 HAS SOUPS 11499 WITH SCORE 11579.546
AT ITER 4712 NEW BEST:: SOT 127856 SOS 80541 HAS SOPS 33040 HAS SOUS 16213 HAS SOUPS 11497 WITH SCORE 11577.541
AT ITER 4758 NEW BEST:: SOT 127840 SOS 80533 HAS SOPS 33024 HAS SOUS 16197 HAS SOUPS 11481 WITH SCORE 11561.533
AT ITER 4766 NEW BEST:: SOT 127820 SOS 79625 HAS SOPS 33016 HAS SOUS 16159 HAS SOUPS 11463 WITH SCORE 11542.625
AT ITER 4802 NEW BEST:: SOT 127748 SOS 79553 HAS SOPS 32944 HAS SOUS 16087 HAS SOUPS 11391 WITH SCORE 11470.553
AT ITER 4814 NEW BEST:: SOT 127731 SOS 79500 HAS SOPS 32910 HAS SOUS 16017 HAS SOUPS 11357 WITH SCORE 11436.5
AT ITER 4847 NEW BEST:: SOT 127745 SOS 79488 HAS SOPS 32905 HAS SOUS 15998 HAS SOUPS 11338 WITH SCORE 11417.488
AT ITER 4863 NEW BEST:: SOT 127727 SOS 79482 HAS SOPS 32888 HAS SOUS 15995 HAS SOUPS 11335 WITH SCORE 11414.482
AT ITER 4867 NEW BEST:: SOT 127723 SOS 79478 HAS SOPS 32880 HAS SOUS 15991 HAS SOUPS 11327 WITH SCORE 11406.478
AT ITER 4890 NEW BEST:: SOT 127761 SOS 79472 HAS SOPS 32868 HAS SOUS 15957 HAS SOUPS 11293 WITH SCORE 11372.472
AT ITER 4896 NEW BEST:: SOT 127841 SOS 79532 HAS SOPS 32918 HAS SOUS 15952 HAS SOUPS 11288 WITH SCORE 11367.532
AT ITER 4939 NEW BEST:: SOT 127823 SOS 79532 HAS SOPS 32900 HAS SOUS 15934 HAS SOUPS 11270 WITH SCORE 11349.532
AT ITER 4946 NEW BEST:: SOT 127839 SOS 79527 HAS SOPS 32949 HAS SOUS 15927 HAS SOUPS 11268 WITH SCORE 11347.527
AT ITER 4974 NEW BEST:: SOT 127835 SOS 79515 HAS SOPS 32941 HAS SOUS 15923 HAS SOUPS 11260 WITH SCORE 11339.515
Bounds file is: CTLFireability.xml
PROPERTY: CloudDeployment-PT-6a-CTLFireability-00 (EG( (EX( (EF( ((potential((tk(P61)>=1) & (tk(P63)>=1))))))))))
PROPERTY: CloudDeployment-PT-6a-CTLFireability-01 (AF( (EF( (EX( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P65)>=1) & (tk(P207)>=1) & (tk(P220)>=1))))))))))
PROPERTY: CloudDeployment-PT-6a-CTLFireability-02 (EG( ( ( ( (! ((potential((tk(P157)>=1))))) & ( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P85)>=1) & (tk(P208)>=1)))) | ((potential((tk(P154)>=1)))) ) ) | ( (! ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P82)>=1) & (tk(P207)>=1) & (tk(P220)>=1))))) | ( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P18)>=1) & (tk(P207)>=1) & (tk(P220)>=1)))) | ((potential((tk(P143)>=1) & (tk(P175)>=1)))) ) ) ) | (EF( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P12)>=1) & (tk(P207)>=1) & (tk(P220)>=1)))))) )))
PROPERTY: CloudDeployment-PT-6a-CTLFireability-03 (! (! (AF( (EG( ((potential((tk(P24)>=1))))))))))
PROPERTY: CloudDeployment-PT-6a-CTLFireability-04 (EF( ((potential((tk(P143)>=1) & (tk(P145)>=1) & (tk(P160)>=1) & (tk(P207)>=1) & (tk(P220)>=1))))))
PROPERTY: CloudDeployment-PT-6a-CTLFireability-05 (! (AX( (AG( (! ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P17)>=1) & (tk(P207)>=1) & (tk(P220)>=1))))))))))
PROPERTY: CloudDeployment-PT-6a-CTLFireability-06 (AU( ((potential((tk(P70)>=1)))) , (AF( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P83)>=1) & (tk(P207)>=1) & (tk(P220)>=1)))))) ))
PROPERTY: CloudDeployment-PT-6a-CTLFireability-07 (AF( ( ((potential((tk(P9)>=1)))) & ( ( ( ((potential((tk(P143)>=1) & (tk(P145)>=1) & (tk(P147)>=1) & (tk(P207)>=1) & (tk(P220)>=1)))) & ((potential((tk(P102)>=1)))) ) & ( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P55)>=1) & (tk(P207)>=1) & (tk(P220)>=1)))) | ((potential((tk(P160)>=1)))) ) ) & (EF( ((potential((tk(P13)>=1)))))) ) )))
PROPERTY: CloudDeployment-PT-6a-CTLFireability-08 ( ( (! (EU( ((potential((tk(P84)>=1)))) , ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P74)>=1) & (tk(P207)>=1) & (tk(P220)>=1)))) ))) & ( (AU( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P57)>=1) & (tk(P194)>=1)))) , ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P44)>=1) & (tk(P207)>=1) & (tk(P220)>=1)))) )) & (! ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P29)>=1) & (tk(P212)>=1))))) ) ) | (EX( (! (EF( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P54)>=1) & (tk(P207)>=1) & (tk(P220)>=1))))))))) )
PROPERTY: CloudDeployment-PT-6a-CTLFireability-09 (EF( ((potential((tk(P143)>=1) & (tk(P145)>=1) & (tk(P160)>=1) & (tk(P207)>=1) & (tk(P220)>=1))))))
PROPERTY: CloudDeployment-PT-6a-CTLFireability-10 (AG( (EF( (AX( ((potential((tk(P143)>=1) & (tk(P175)>=1))))))))))
PROPERTY: CloudDeployment-PT-6a-CTLFireability-11 (EF( ( ( (EX( ((potential((tk(P138)>=1)))))) & (AX( ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P101)>=1) & (tk(P207)>=1) & (tk(P220)>=1)))))) ) & ( ( (! ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P55)>=1) & (tk(P207)>=1) & (tk(P220)>=1))))) & ( ((potential((tk(P115)>=1) & (tk(P117)>=1) & (tk(P141)>=1) & (tk(P188)>=1)))) & ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P85)>=1) & (tk(P206)>=1)))) ) ) & ( ( ((potential((tk(P98)>=1)))) & ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P9)>=1) & (tk(P207)>=1) & (tk(P220)>=1)))) ) | ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P29)>=1) & (tk(P212)>=1)))) ) ) )))
PROPERTY: CloudDeployment-PT-6a-CTLFireability-12 (AG( ( ( ((potential((tk(P131)>=1)))) | ( ( ((potential((tk(P65)>=1)))) | ((potential((tk(P61)>=1) & (tk(P115)>=1)))) ) | ( ((potential((tk(P159)>=1)))) | ((potential((tk(P162)>=1)))) ) ) ) | ( ( ( ((potential((tk(P31)>=1) & (tk(P145)>=1)))) | ((potential((tk(P80)>=1)))) ) & (! ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P91)>=1) & (tk(P207)>=1) & (tk(P220)>=1))))) ) | (! ((potential((tk(P14)>=1))))) ) )))
PROPERTY: CloudDeployment-PT-6a-CTLFireability-13 (EF( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P85)>=1) & (tk(P194)>=1))))))
PROPERTY: CloudDeployment-PT-6a-CTLFireability-14 (AF( ( ((potential((tk(P115)>=1) & (tk(P117)>=1) & (tk(P141)>=1) & (tk(P194)>=1)))) & ( (EX( ((potential((tk(P115)>=1) & (tk(P117)>=1) & (tk(P141)>=1) & (tk(P176)>=1)))))) & (EF( ((potential((tk(P5)>=1) & (tk(P11)>=1)))))) ) )))
PROPERTY: CloudDeployment-PT-6a-CTLFireability-15 (AF( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P76)>=1) & (tk(P207)>=1) & (tk(P220)>=1))))))

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="CloudDeployment-PT-6a"
export BK_EXAMINATION="CTLFireability"
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-6a, examination is CTLFireability"
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-158901926000332"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-6a.tgz
mv CloudDeployment-PT-6a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;