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-158901926000315.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudDeployment-PT-5a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000315
=====================================================================

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

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

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

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-5a-CTLCardinality-00
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-01
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-02
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-03
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-04
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-05
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-06
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-07
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-08
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-09
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-10
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-11
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-12
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-13
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-14
FORMULA_NAME CloudDeployment-PT-5a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589150234020

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

GOT IT HERE. BS
Petri model created: 180 places, 675 transitions, 3959 arcs.
AT ITER 0 NEW BEST:: SOT 93429 SOS 54438 HAS SOPS 50899 HAS SOUS 43124 HAS SOUPS 39986 WITH SCORE 40040.438
AT ITER 1 NEW BEST:: SOT 93025 SOS 55515 HAS SOPS 50766 HAS SOUS 42926 HAS SOUPS 39900 WITH SCORE 39955.515
AT ITER 7 NEW BEST:: SOT 93155 SOS 55515 HAS SOPS 50831 HAS SOUS 42585 HAS SOUPS 39624 WITH SCORE 39679.515
AT ITER 8 NEW BEST:: SOT 93155 SOS 55514 HAS SOPS 50830 HAS SOUS 42584 HAS SOUPS 39623 WITH SCORE 39678.514
AT ITER 9 NEW BEST:: SOT 93179 SOS 55514 HAS SOPS 50854 HAS SOUS 42560 HAS SOUPS 39611 WITH SCORE 39666.514
AT ITER 10 NEW BEST:: SOT 93223 SOS 55547 HAS SOPS 50876 HAS SOUS 42560 HAS SOUPS 39600 WITH SCORE 39655.547
AT ITER 14 NEW BEST:: SOT 93178 SOS 55583 HAS SOPS 50954 HAS SOUS 42464 HAS SOUPS 39546 WITH SCORE 39601.583
AT ITER 17 NEW BEST:: SOT 92778 SOS 55424 HAS SOPS 50621 HAS SOUS 42129 HAS SOUPS 39213 WITH SCORE 39268.424
AT ITER 19 NEW BEST:: SOT 92614 SOS 54668 HAS SOPS 49865 HAS SOUS 42035 HAS SOUPS 39119 WITH SCORE 39173.668
AT ITER 20 NEW BEST:: SOT 92700 SOS 53650 HAS SOPS 49922 HAS SOUS 41865 HAS SOUPS 38952 WITH SCORE 39005.65
AT ITER 21 NEW BEST:: SOT 92590 SOS 53518 HAS SOPS 49812 HAS SOUS 41777 HAS SOUPS 38886 WITH SCORE 38939.518
AT ITER 25 NEW BEST:: SOT 92590 SOS 53391 HAS SOPS 49685 HAS SOUS 41599 HAS SOUPS 38708 WITH SCORE 38761.391
AT ITER 28 NEW BEST:: SOT 92592 SOS 53391 HAS SOPS 49686 HAS SOUS 41593 HAS SOUPS 38703 WITH SCORE 38756.391
AT ITER 29 NEW BEST:: SOT 93022 SOS 53830 HAS SOPS 50125 HAS SOUS 41551 HAS SOUPS 38661 WITH SCORE 38714.83
AT ITER 35 NEW BEST:: SOT 92679 SOS 53604 HAS SOPS 49860 HAS SOUS 41281 HAS SOUPS 38396 WITH SCORE 38449.604
AT ITER 37 NEW BEST:: SOT 92661 SOS 53549 HAS SOPS 49824 HAS SOUS 41210 HAS SOUPS 38344 WITH SCORE 38397.549
AT ITER 38 NEW BEST:: SOT 92665 SOS 53549 HAS SOPS 49826 HAS SOUS 41200 HAS SOUPS 38336 WITH SCORE 38389.549
AT ITER 40 NEW BEST:: SOT 92657 SOS 53540 HAS SOPS 49817 HAS SOUS 41191 HAS SOUPS 38327 WITH SCORE 38380.54
AT ITER 41 NEW BEST:: SOT 92678 SOS 53582 HAS SOPS 49859 HAS SOUS 41180 HAS SOUPS 38316 WITH SCORE 38369.582
AT ITER 43 NEW BEST:: SOT 92166 SOS 53843 HAS SOPS 49707 HAS SOUS 40952 HAS SOUPS 38224 WITH SCORE 38277.843
AT ITER 44 NEW BEST:: SOT 92166 SOS 53827 HAS SOPS 49699 HAS SOUS 40902 HAS SOUPS 38182 WITH SCORE 38235.827
AT ITER 49 NEW BEST:: SOT 92157 SOS 53845 HAS SOPS 49690 HAS SOUS 40920 HAS SOUPS 38173 WITH SCORE 38226.845
AT ITER 51 NEW BEST:: SOT 92261 SOS 53912 HAS SOPS 49845 HAS SOUS 40707 HAS SOUPS 38052 WITH SCORE 38105.912
AT ITER 52 NEW BEST:: SOT 92405 SOS 53986 HAS SOPS 49991 HAS SOUS 40421 HAS SOUPS 37838 WITH SCORE 37891.986
AT ITER 53 NEW BEST:: SOT 92400 SOS 53981 HAS SOPS 49986 HAS SOUS 40416 HAS SOUPS 37833 WITH SCORE 37886.981
AT ITER 54 NEW BEST:: SOT 92449 SOS 53964 HAS SOPS 49969 HAS SOUS 40382 HAS SOUPS 37799 WITH SCORE 37852.964
AT ITER 55 NEW BEST:: SOT 92549 SOS 54100 HAS SOPS 50155 HAS SOUS 40320 HAS SOUPS 37787 WITH SCORE 37841.1
AT ITER 59 NEW BEST:: SOT 92435 SOS 53917 HAS SOPS 50017 HAS SOUS 39997 HAS SOUPS 37509 WITH SCORE 37562.917
AT ITER 61 NEW BEST:: SOT 91539 SOS 52958 HAS SOPS 49031 HAS SOUS 39036 HAS SOUPS 36548 WITH SCORE 36600.958
AT ITER 63 NEW BEST:: SOT 91865 SOS 53184 HAS SOPS 49257 HAS SOUS 38679 HAS SOUPS 36191 WITH SCORE 36244.184
AT ITER 74 NEW BEST:: SOT 91568 SOS 54331 HAS SOPS 48965 HAS SOUS 38551 HAS SOUPS 35992 WITH SCORE 36046.331
AT ITER 77 NEW BEST:: SOT 91474 SOS 54184 HAS SOPS 48818 HAS SOUS 38469 HAS SOUPS 35910 WITH SCORE 35964.184
AT ITER 78 NEW BEST:: SOT 91420 SOS 54112 HAS SOPS 48746 HAS SOUS 38397 HAS SOUPS 35838 WITH SCORE 35892.112
AT ITER 80 NEW BEST:: SOT 91637 SOS 54222 HAS SOPS 48962 HAS SOUS 38106 HAS SOUPS 35654 WITH SCORE 35708.222
AT ITER 81 NEW BEST:: SOT 91597 SOS 54192 HAS SOPS 48942 HAS SOUS 38076 HAS SOUPS 35634 WITH SCORE 35688.192
AT ITER 83 NEW BEST:: SOT 91675 SOS 54154 HAS SOPS 48898 HAS SOUS 37899 HAS SOUPS 35457 WITH SCORE 35511.154
AT ITER 84 NEW BEST:: SOT 91510 SOS 53981 HAS SOPS 48702 HAS SOUS 37728 HAS SOUPS 35286 WITH SCORE 35339.981
AT ITER 87 NEW BEST:: SOT 91534 SOS 54017 HAS SOPS 48738 HAS SOUS 37716 HAS SOUPS 35274 WITH SCORE 35328.017
AT ITER 90 NEW BEST:: SOT 91724 SOS 54297 HAS SOPS 49046 HAS SOUS 37376 HAS SOUPS 35000 WITH SCORE 35054.297
AT ITER 94 NEW BEST:: SOT 91862 SOS 54366 HAS SOPS 49184 HAS SOUS 37100 HAS SOUPS 34793 WITH SCORE 34847.366
AT ITER 95 NEW BEST:: SOT 91959 SOS 54440 HAS SOPS 49258 HAS SOUS 37079 HAS SOUPS 34772 WITH SCORE 34826.44
AT ITER 99 NEW BEST:: SOT 91959 SOS 54414 HAS SOPS 49229 HAS SOUS 37050 HAS SOUPS 34743 WITH SCORE 34797.414
AT ITER 100 NEW BEST:: SOT 89697 SOS 55954 HAS SOPS 48144 HAS SOUS 36322 HAS SOUPS 34276 WITH SCORE 34331.954
AT ITER 102 NEW BEST:: SOT 89889 SOS 56188 HAS SOPS 48528 HAS SOUS 36289 HAS SOUPS 34243 WITH SCORE 34299.188
AT ITER 105 NEW BEST:: SOT 89901 SOS 56200 HAS SOPS 48540 HAS SOUS 36251 HAS SOUPS 34205 WITH SCORE 34261.2
AT ITER 109 NEW BEST:: SOT 90120 SOS 56165 HAS SOPS 48505 HAS SOUS 36205 HAS SOUPS 34159 WITH SCORE 34215.165
AT ITER 110 NEW BEST:: SOT 90152 SOS 56101 HAS SOPS 48441 HAS SOUS 35656 HAS SOUPS 33610 WITH SCORE 33666.101
AT ITER 111 NEW BEST:: SOT 90845 SOS 56911 HAS SOPS 49227 HAS SOUS 34223 HAS SOUPS 32177 WITH SCORE 32233.911
AT ITER 119 NEW BEST:: SOT 90402 SOS 56968 HAS SOPS 49107 HAS SOUS 33997 HAS SOUPS 31976 WITH SCORE 32032.968
AT ITER 122 NEW BEST:: SOT 90388 SOS 56962 HAS SOPS 49092 HAS SOUS 33992 HAS SOUPS 31971 WITH SCORE 32027.962
AT ITER 130 NEW BEST:: SOT 90117 SOS 57722 HAS SOPS 49117 HAS SOUS 33872 HAS SOUPS 31942 WITH SCORE 31999.722
AT ITER 133 NEW BEST:: SOT 89602 SOS 57265 HAS SOPS 48808 HAS SOUS 33529 HAS SOUPS 31633 WITH SCORE 31690.265
AT ITER 135 NEW BEST:: SOT 89602 SOS 57060 HAS SOPS 48599 HAS SOUS 33328 HAS SOUPS 31432 WITH SCORE 31489.06
AT ITER 136 NEW BEST:: SOT 89591 SOS 57093 HAS SOPS 48643 HAS SOUS 33314 HAS SOUPS 31429 WITH SCORE 31486.093
AT ITER 137 NEW BEST:: SOT 89733 SOS 57154 HAS SOPS 48779 HAS SOUS 33068 HAS SOUPS 31258 WITH SCORE 31315.154
AT ITER 139 NEW BEST:: SOT 87559 SOS 56252 HAS SOPS 47688 HAS SOUS 31677 HAS SOUPS 30092 WITH SCORE 30148.252
AT ITER 141 NEW BEST:: SOT 87709 SOS 56238 HAS SOPS 47674 HAS SOUS 31330 HAS SOUPS 29745 WITH SCORE 29801.238
AT ITER 142 NEW BEST:: SOT 87381 SOS 55974 HAS SOPS 47402 HAS SOUS 31058 HAS SOUPS 29473 WITH SCORE 29528.974
AT ITER 144 NEW BEST:: SOT 84967 SOS 55163 HAS SOPS 46442 HAS SOUS 30187 HAS SOUPS 28776 WITH SCORE 28831.163
AT ITER 147 NEW BEST:: SOT 84944 SOS 55158 HAS SOPS 46436 HAS SOUS 30181 HAS SOUPS 28770 WITH SCORE 28825.158
AT ITER 149 NEW BEST:: SOT 84946 SOS 55261 HAS SOPS 46539 HAS SOUS 30157 HAS SOUPS 28746 WITH SCORE 28801.261
AT ITER 151 NEW BEST:: SOT 84884 SOS 55203 HAS SOPS 46500 HAS SOUS 30118 HAS SOUPS 28707 WITH SCORE 28762.203
AT ITER 153 NEW BEST:: SOT 84960 SOS 55297 HAS SOPS 46594 HAS SOUS 30038 HAS SOUPS 28627 WITH SCORE 28682.297
AT ITER 155 NEW BEST:: SOT 84725 SOS 55128 HAS SOPS 46399 HAS SOUS 29711 HAS SOUPS 28300 WITH SCORE 28355.128
AT ITER 157 NEW BEST:: SOT 84739 SOS 55135 HAS SOPS 46399 HAS SOUS 29669 HAS SOUPS 28258 WITH SCORE 28313.135
AT ITER 159 NEW BEST:: SOT 85054 SOS 55469 HAS SOPS 46668 HAS SOUS 29545 HAS SOUPS 28149 WITH SCORE 28204.469
AT ITER 160 NEW BEST:: SOT 85125 SOS 55460 HAS SOPS 46659 HAS SOUS 29490 HAS SOUPS 28094 WITH SCORE 28149.46
AT ITER 163 NEW BEST:: SOT 85256 SOS 55614 HAS SOPS 46813 HAS SOUS 29352 HAS SOUPS 27956 WITH SCORE 28011.614
AT ITER 165 NEW BEST:: SOT 84961 SOS 55286 HAS SOPS 47120 HAS SOUS 29299 HAS SOUPS 27914 WITH SCORE 27969.286
AT ITER 166 NEW BEST:: SOT 85272 SOS 55628 HAS SOPS 47370 HAS SOUS 28680 HAS SOUPS 27329 WITH SCORE 27384.628
AT ITER 168 NEW BEST:: SOT 84260 SOS 54561 HAS SOPS 46303 HAS SOUS 28472 HAS SOUPS 27121 WITH SCORE 27175.561
AT ITER 170 NEW BEST:: SOT 84232 SOS 54544 HAS SOPS 46286 HAS SOUS 28466 HAS SOUPS 27115 WITH SCORE 27169.544
AT ITER 172 NEW BEST:: SOT 84175 SOS 54512 HAS SOPS 46219 HAS SOUS 28146 HAS SOUPS 26795 WITH SCORE 26849.512
AT ITER 173 NEW BEST:: SOT 84209 SOS 54546 HAS SOPS 46270 HAS SOUS 28112 HAS SOUPS 26778 WITH SCORE 26832.546
AT ITER 176 NEW BEST:: SOT 84189 SOS 54526 HAS SOPS 46255 HAS SOUS 28082 HAS SOUPS 26748 WITH SCORE 26802.526
AT ITER 177 NEW BEST:: SOT 83998 SOS 54335 HAS SOPS 46064 HAS SOUS 27891 HAS SOUPS 26557 WITH SCORE 26611.335
AT ITER 178 NEW BEST:: SOT 84265 SOS 54443 HAS SOPS 46172 HAS SOUS 27625 HAS SOUPS 26291 WITH SCORE 26345.443
AT ITER 198 NEW BEST:: SOT 84300 SOS 54513 HAS SOPS 46242 HAS SOUS 27595 HAS SOUPS 26261 WITH SCORE 26315.513
AT ITER 199 NEW BEST:: SOT 84342 SOS 54522 HAS SOPS 46263 HAS SOUS 27574 HAS SOUPS 26240 WITH SCORE 26294.522
AT ITER 202 NEW BEST:: SOT 84566 SOS 54791 HAS SOPS 46552 HAS SOUS 27446 HAS SOUPS 26119 WITH SCORE 26173.791
AT ITER 203 NEW BEST:: SOT 84527 SOS 54817 HAS SOPS 46578 HAS SOUS 27440 HAS SOUPS 26113 WITH SCORE 26167.817
AT ITER 204 NEW BEST:: SOT 83676 SOS 54068 HAS SOPS 45977 HAS SOUS 26954 HAS SOUPS 25572 WITH SCORE 25626.068
AT ITER 208 NEW BEST:: SOT 83681 SOS 54078 HAS SOPS 45987 HAS SOUS 26939 HAS SOUPS 25557 WITH SCORE 25611.078
AT ITER 210 NEW BEST:: SOT 83646 SOS 54038 HAS SOPS 45947 HAS SOUS 26904 HAS SOUPS 25522 WITH SCORE 25576.038
AT ITER 211 NEW BEST:: SOT 83750 SOS 54207 HAS SOPS 46077 HAS SOUS 26815 HAS SOUPS 25433 WITH SCORE 25487.207
AT ITER 214 NEW BEST:: SOT 83750 SOS 54086 HAS SOPS 45956 HAS SOUS 26808 HAS SOUPS 25426 WITH SCORE 25480.086
AT ITER 219 NEW BEST:: SOT 83812 SOS 54222 HAS SOPS 46110 HAS SOUS 26729 HAS SOUPS 25330 WITH SCORE 25384.222
AT ITER 222 NEW BEST:: SOT 83901 SOS 54206 HAS SOPS 46094 HAS SOUS 26653 HAS SOUPS 25254 WITH SCORE 25308.206
AT ITER 228 NEW BEST:: SOT 83899 SOS 54204 HAS SOPS 46092 HAS SOUS 26651 HAS SOUPS 25252 WITH SCORE 25306.204
AT ITER 233 NEW BEST:: SOT 83622 SOS 53891 HAS SOPS 45939 HAS SOUS 26495 HAS SOUPS 25176 WITH SCORE 25229.891
AT ITER 234 NEW BEST:: SOT 83978 SOS 54107 HAS SOPS 46143 HAS SOUS 26325 HAS SOUPS 25006 WITH SCORE 25060.107
AT ITER 239 NEW BEST:: SOT 84118 SOS 54152 HAS SOPS 46270 HAS SOUS 26035 HAS SOUPS 24754 WITH SCORE 24808.152
AT ITER 242 NEW BEST:: SOT 84112 SOS 54140 HAS SOPS 46258 HAS SOUS 26025 HAS SOUPS 24744 WITH SCORE 24798.14
AT ITER 244 NEW BEST:: SOT 83958 SOS 53997 HAS SOPS 46115 HAS SOUS 25961 HAS SOUPS 24680 WITH SCORE 24733.997
AT ITER 245 NEW BEST:: SOT 83950 SOS 53989 HAS SOPS 46107 HAS SOUS 25953 HAS SOUPS 24672 WITH SCORE 24725.989
AT ITER 249 NEW BEST:: SOT 83853 SOS 54066 HAS SOPS 46205 HAS SOUS 25815 HAS SOUPS 24534 WITH SCORE 24588.066
AT ITER 250 NEW BEST:: SOT 84006 SOS 54155 HAS SOPS 46212 HAS SOUS 25773 HAS SOUPS 24485 WITH SCORE 24539.155
AT ITER 252 NEW BEST:: SOT 83999 SOS 54203 HAS SOPS 46205 HAS SOUS 25711 HAS SOUPS 24423 WITH SCORE 24477.203
AT ITER 253 NEW BEST:: SOT 83861 SOS 54179 HAS SOPS 46181 HAS SOUS 25677 HAS SOUPS 24389 WITH SCORE 24443.179
AT ITER 256 NEW BEST:: SOT 84079 SOS 54345 HAS SOPS 46347 HAS SOUS 25615 HAS SOUPS 24327 WITH SCORE 24381.345
AT ITER 261 NEW BEST:: SOT 84082 SOS 54368 HAS SOPS 46401 HAS SOUS 25509 HAS SOUPS 24252 WITH SCORE 24306.368
AT ITER 264 NEW BEST:: SOT 83996 SOS 54284 HAS SOPS 46346 HAS SOUS 25444 HAS SOUPS 24197 WITH SCORE 24251.284
AT ITER 268 NEW BEST:: SOT 84022 SOS 54297 HAS SOPS 46398 HAS SOUS 25405 HAS SOUPS 24171 WITH SCORE 24225.297
AT ITER 270 NEW BEST:: SOT 83957 SOS 54161 HAS SOPS 46262 HAS SOUS 25269 HAS SOUPS 24035 WITH SCORE 24089.161
AT ITER 274 NEW BEST:: SOT 83907 SOS 54061 HAS SOPS 46162 HAS SOUS 25269 HAS SOUPS 24035 WITH SCORE 24089.061
AT ITER 276 NEW BEST:: SOT 83799 SOS 53956 HAS SOPS 46034 HAS SOUS 25131 HAS SOUPS 23897 WITH SCORE 23950.956
AT ITER 279 NEW BEST:: SOT 83784 SOS 53941 HAS SOPS 46034 HAS SOUS 25131 HAS SOUPS 23897 WITH SCORE 23950.941
AT ITER 286 NEW BEST:: SOT 83755 SOS 53902 HAS SOPS 45995 HAS SOUS 25112 HAS SOUPS 23878 WITH SCORE 23931.902
AT ITER 287 NEW BEST:: SOT 83670 SOS 53817 HAS SOPS 45937 HAS SOUS 25096 HAS SOUPS 23869 WITH SCORE 23922.817
AT ITER 291 NEW BEST:: SOT 83661 SOS 53815 HAS SOPS 45935 HAS SOUS 25094 HAS SOUPS 23867 WITH SCORE 23920.815
AT ITER 300 NEW BEST:: SOT 84580 SOS 53214 HAS SOPS 45591 HAS SOUS 24984 HAS SOUPS 23741 WITH SCORE 23794.214
AT ITER 301 NEW BEST:: SOT 84596 SOS 53246 HAS SOPS 45619 HAS SOUS 24900 HAS SOUPS 23653 WITH SCORE 23706.246
AT ITER 305 NEW BEST:: SOT 84661 SOS 53419 HAS SOPS 45747 HAS SOUS 24444 HAS SOUPS 23170 WITH SCORE 23223.419
AT ITER 306 NEW BEST:: SOT 84661 SOS 53319 HAS SOPS 45647 HAS SOUS 24444 HAS SOUPS 23170 WITH SCORE 23223.319
AT ITER 310 NEW BEST:: SOT 84674 SOS 53308 HAS SOPS 45636 HAS SOUS 24384 HAS SOUPS 23110 WITH SCORE 23163.308
AT ITER 316 NEW BEST:: SOT 84638 SOS 53369 HAS SOPS 45718 HAS SOUS 24266 HAS SOUPS 22992 WITH SCORE 23045.369
AT ITER 322 NEW BEST:: SOT 84650 SOS 53393 HAS SOPS 45718 HAS SOUS 24254 HAS SOUPS 22968 WITH SCORE 23021.393
AT ITER 325 NEW BEST:: SOT 84655 SOS 53395 HAS SOPS 45720 HAS SOUS 24251 HAS SOUPS 22965 WITH SCORE 23018.395
AT ITER 336 NEW BEST:: SOT 84743 SOS 53203 HAS SOPS 45528 HAS SOUS 24059 HAS SOUPS 22773 WITH SCORE 22826.203
AT ITER 337 NEW BEST:: SOT 84615 SOS 53088 HAS SOPS 45413 HAS SOUS 23954 HAS SOUPS 22668 WITH SCORE 22721.088
AT ITER 338 NEW BEST:: SOT 84626 SOS 53099 HAS SOPS 45424 HAS SOUS 23855 HAS SOUPS 22569 WITH SCORE 22622.099
AT ITER 341 NEW BEST:: SOT 84794 SOS 53245 HAS SOPS 45579 HAS SOUS 23778 HAS SOUPS 22514 WITH SCORE 22567.245
AT ITER 344 NEW BEST:: SOT 84794 SOS 53187 HAS SOPS 45521 HAS SOUS 23757 HAS SOUPS 22493 WITH SCORE 22546.187
AT ITER 347 NEW BEST:: SOT 84655 SOS 53041 HAS SOPS 45375 HAS SOUS 23716 HAS SOUPS 22452 WITH SCORE 22505.041
AT ITER 351 NEW BEST:: SOT 84569 SOS 52955 HAS SOPS 45252 HAS SOUS 23606 HAS SOUPS 22329 WITH SCORE 22381.955
AT ITER 356 NEW BEST:: SOT 84595 SOS 52943 HAS SOPS 45240 HAS SOUS 23592 HAS SOUPS 22315 WITH SCORE 22367.943
AT ITER 358 NEW BEST:: SOT 84236 SOS 52634 HAS SOPS 44950 HAS SOUS 23568 HAS SOUPS 22301 WITH SCORE 22353.634
AT ITER 360 NEW BEST:: SOT 83955 SOS 52337 HAS SOPS 44500 HAS SOUS 23524 HAS SOUPS 22250 WITH SCORE 22302.337
AT ITER 363 NEW BEST:: SOT 84111 SOS 52331 HAS SOPS 44502 HAS SOUS 23410 HAS SOUPS 22152 WITH SCORE 22204.331
AT ITER 368 NEW BEST:: SOT 84008 SOS 52228 HAS SOPS 44371 HAS SOUS 23281 HAS SOUPS 22021 WITH SCORE 22073.228
AT ITER 371 NEW BEST:: SOT 84257 SOS 52428 HAS SOPS 44435 HAS SOUS 23333 HAS SOUPS 22005 WITH SCORE 22057.428
AT ITER 376 NEW BEST:: SOT 84257 SOS 52424 HAS SOPS 44431 HAS SOUS 23329 HAS SOUPS 22001 WITH SCORE 22053.424
AT ITER 379 NEW BEST:: SOT 84397 SOS 52523 HAS SOPS 44468 HAS SOUS 23236 HAS SOUPS 21908 WITH SCORE 21960.523
AT ITER 380 NEW BEST:: SOT 84397 SOS 52453 HAS SOPS 44398 HAS SOUS 23166 HAS SOUPS 21838 WITH SCORE 21890.453
AT ITER 382 NEW BEST:: SOT 84400 SOS 52455 HAS SOPS 44400 HAS SOUS 23164 HAS SOUPS 21836 WITH SCORE 21888.455
AT ITER 388 NEW BEST:: SOT 84370 SOS 52305 HAS SOPS 44250 HAS SOUS 23134 HAS SOUPS 21806 WITH SCORE 21858.305
AT ITER 394 NEW BEST:: SOT 83966 SOS 52010 HAS SOPS 43955 HAS SOUS 23058 HAS SOUPS 21730 WITH SCORE 21782.01
AT ITER 400 NEW BEST:: SOT 83964 SOS 52075 HAS SOPS 43988 HAS SOUS 22810 HAS SOUPS 21482 WITH SCORE 21534.075
AT ITER 401 NEW BEST:: SOT 83899 SOS 51977 HAS SOPS 43893 HAS SOUS 22782 HAS SOUPS 21418 WITH SCORE 21469.977
AT ITER 402 NEW BEST:: SOT 83707 SOS 51612 HAS SOPS 43706 HAS SOUS 22564 HAS SOUPS 21289 WITH SCORE 21340.612
AT ITER 403 NEW BEST:: SOT 83900 SOS 51334 HAS SOPS 43428 HAS SOUS 22382 HAS SOUPS 21107 WITH SCORE 21158.334
AT ITER 407 NEW BEST:: SOT 83902 SOS 51070 HAS SOPS 43164 HAS SOUS 22250 HAS SOUPS 20975 WITH SCORE 21026.07
AT ITER 414 NEW BEST:: SOT 83090 SOS 50366 HAS SOPS 42388 HAS SOUS 21688 HAS SOUPS 20413 WITH SCORE 20463.366
AT ITER 416 NEW BEST:: SOT 83341 SOS 50813 HAS SOPS 42835 HAS SOUS 21658 HAS SOUPS 20383 WITH SCORE 20433.813
AT ITER 417 NEW BEST:: SOT 83370 SOS 50905 HAS SOPS 42923 HAS SOUS 21583 HAS SOUPS 20308 WITH SCORE 20358.905
AT ITER 428 NEW BEST:: SOT 83938 SOS 51548 HAS SOPS 43527 HAS SOUS 21432 HAS SOUPS 20157 WITH SCORE 20208.548
AT ITER 430 NEW BEST:: SOT 83907 SOS 51486 HAS SOPS 43541 HAS SOUS 21373 HAS SOUPS 20139 WITH SCORE 20190.486
AT ITER 434 NEW BEST:: SOT 83806 SOS 51448 HAS SOPS 43471 HAS SOUS 21365 HAS SOUPS 20116 WITH SCORE 20167.448
AT ITER 441 NEW BEST:: SOT 84086 SOS 51836 HAS SOPS 43825 HAS SOUS 20835 HAS SOUPS 19586 WITH SCORE 19637.836
AT ITER 442 NEW BEST:: SOT 84068 SOS 51824 HAS SOPS 43813 HAS SOUS 20795 HAS SOUPS 19546 WITH SCORE 19597.824
AT ITER 446 NEW BEST:: SOT 84022 SOS 51782 HAS SOPS 43770 HAS SOUS 20795 HAS SOUPS 19546 WITH SCORE 19597.782
AT ITER 448 NEW BEST:: SOT 84115 SOS 51854 HAS SOPS 43842 HAS SOUS 20732 HAS SOUPS 19483 WITH SCORE 19534.854
AT ITER 449 NEW BEST:: SOT 84115 SOS 51839 HAS SOPS 43827 HAS SOUS 20702 HAS SOUPS 19453 WITH SCORE 19504.839
AT ITER 455 NEW BEST:: SOT 84119 SOS 51835 HAS SOPS 43827 HAS SOUS 20686 HAS SOUPS 19441 WITH SCORE 19492.835
AT ITER 458 NEW BEST:: SOT 84119 SOS 51831 HAS SOPS 43823 HAS SOUS 20684 HAS SOUPS 19439 WITH SCORE 19490.831
AT ITER 460 NEW BEST:: SOT 83852 SOS 51611 HAS SOPS 43603 HAS SOUS 20575 HAS SOUPS 19330 WITH SCORE 19381.611
AT ITER 464 NEW BEST:: SOT 83761 SOS 51681 HAS SOPS 43673 HAS SOUS 20564 HAS SOUPS 19319 WITH SCORE 19370.681
AT ITER 468 NEW BEST:: SOT 83915 SOS 51397 HAS SOPS 43404 HAS SOUS 20397 HAS SOUPS 19152 WITH SCORE 19203.397
AT ITER 473 NEW BEST:: SOT 81327 SOS 49083 HAS SOPS 41928 HAS SOUS 18733 HAS SOUPS 17676 WITH SCORE 17725.083
AT ITER 479 NEW BEST:: SOT 81055 SOS 49034 HAS SOPS 41879 HAS SOUS 18724 HAS SOUPS 17667 WITH SCORE 17716.034
AT ITER 480 NEW BEST:: SOT 81011 SOS 49034 HAS SOPS 41835 HAS SOUS 18735 HAS SOUPS 17656 WITH SCORE 17705.034
AT ITER 484 NEW BEST:: SOT 80990 SOS 48992 HAS SOPS 41793 HAS SOUS 18735 HAS SOUPS 17656 WITH SCORE 17704.992
AT ITER 486 NEW BEST:: SOT 81138 SOS 49037 HAS SOPS 41910 HAS SOUS 18517 HAS SOUPS 17487 WITH SCORE 17536.037
AT ITER 487 NEW BEST:: SOT 81131 SOS 49128 HAS SOPS 41966 HAS SOUS 18393 HAS SOUPS 17363 WITH SCORE 17412.128
AT ITER 495 NEW BEST:: SOT 81186 SOS 49182 HAS SOPS 42001 HAS SOUS 18349 HAS SOUPS 17319 WITH SCORE 17368.182
AT ITER 498 NEW BEST:: SOT 81182 SOS 49178 HAS SOPS 41999 HAS SOUS 18349 HAS SOUPS 17319 WITH SCORE 17368.178
AT ITER 501 NEW BEST:: SOT 79984 SOS 48483 HAS SOPS 41893 HAS SOUS 18299 HAS SOUPS 17306 WITH SCORE 17354.483
AT ITER 502 NEW BEST:: SOT 78536 SOS 48106 HAS SOPS 41589 HAS SOUS 17935 HAS SOUPS 17062 WITH SCORE 17110.106
AT ITER 506 NEW BEST:: SOT 78537 SOS 48108 HAS SOPS 41632 HAS SOUS 17664 HAS SOUPS 16832 WITH SCORE 16880.108
AT ITER 508 NEW BEST:: SOT 78351 SOS 48020 HAS SOPS 41546 HAS SOUS 17630 HAS SOUPS 16793 WITH SCORE 16841.02
AT ITER 510 NEW BEST:: SOT 78668 SOS 48102 HAS SOPS 41628 HAS SOUS 17571 HAS SOUPS 16734 WITH SCORE 16782.102
AT ITER 511 NEW BEST:: SOT 78618 SOS 47838 HAS SOPS 41364 HAS SOUS 17513 HAS SOUPS 16676 WITH SCORE 16723.838
AT ITER 514 NEW BEST:: SOT 78618 SOS 48078 HAS SOPS 41604 HAS SOUS 17497 HAS SOUPS 16660 WITH SCORE 16708.078
AT ITER 520 NEW BEST:: SOT 78660 SOS 48050 HAS SOPS 41602 HAS SOUS 17497 HAS SOUPS 16660 WITH SCORE 16708.05
AT ITER 524 NEW BEST:: SOT 78660 SOS 48021 HAS SOPS 41573 HAS SOUS 17497 HAS SOUPS 16660 WITH SCORE 16708.021
AT ITER 526 NEW BEST:: SOT 78424 SOS 48763 HAS SOPS 41958 HAS SOUS 16508 HAS SOUPS 15479 WITH SCORE 15527.763
AT ITER 530 NEW BEST:: SOT 78138 SOS 48463 HAS SOPS 41658 HAS SOUS 16460 HAS SOUPS 15431 WITH SCORE 15479.463
AT ITER 531 NEW BEST:: SOT 78000 SOS 48351 HAS SOPS 41505 HAS SOUS 16346 HAS SOUPS 15317 WITH SCORE 15365.351
AT ITER 533 NEW BEST:: SOT 78408 SOS 48683 HAS SOPS 41847 HAS SOUS 16309 HAS SOUPS 15275 WITH SCORE 15323.683
AT ITER 542 NEW BEST:: SOT 78326 SOS 48643 HAS SOPS 41788 HAS SOUS 16298 HAS SOUPS 15264 WITH SCORE 15312.643
AT ITER 545 NEW BEST:: SOT 78326 SOS 48587 HAS SOPS 41732 HAS SOUS 16298 HAS SOUPS 15264 WITH SCORE 15312.587
AT ITER 556 NEW BEST:: SOT 78145 SOS 48614 HAS SOPS 41759 HAS SOUS 16275 HAS SOUPS 15241 WITH SCORE 15289.614
AT ITER 559 NEW BEST:: SOT 78069 SOS 48531 HAS SOPS 41655 HAS SOUS 16262 HAS SOUPS 15228 WITH SCORE 15276.531
AT ITER 570 NEW BEST:: SOT 78069 SOS 48467 HAS SOPS 41591 HAS SOUS 16262 HAS SOUPS 15228 WITH SCORE 15276.467
AT ITER 571 NEW BEST:: SOT 78064 SOS 48462 HAS SOPS 41586 HAS SOUS 16257 HAS SOUPS 15223 WITH SCORE 15271.462
AT ITER 573 NEW BEST:: SOT 78055 SOS 48400 HAS SOPS 41517 HAS SOUS 16242 HAS SOUPS 15208 WITH SCORE 15256.4
AT ITER 581 NEW BEST:: SOT 78093 SOS 48300 HAS SOPS 41417 HAS SOUS 16176 HAS SOUPS 15142 WITH SCORE 15190.3
AT ITER 586 NEW BEST:: SOT 77704 SOS 47699 HAS SOPS 40911 HAS SOUS 16199 HAS SOUPS 15131 WITH SCORE 15178.699
AT ITER 594 NEW BEST:: SOT 76702 SOS 47121 HAS SOPS 40283 HAS SOUS 16214 HAS SOUPS 15015 WITH SCORE 15062.121
AT ITER 600 NEW BEST:: SOT 76719 SOS 47127 HAS SOPS 40261 HAS SOUS 16140 HAS SOUPS 14941 WITH SCORE 14988.127
AT ITER 605 NEW BEST:: SOT 76741 SOS 47155 HAS SOPS 40273 HAS SOUS 16138 HAS SOUPS 14939 WITH SCORE 14986.155
AT ITER 614 NEW BEST:: SOT 76712 SOS 47117 HAS SOPS 40239 HAS SOUS 16127 HAS SOUPS 14928 WITH SCORE 14975.117
AT ITER 619 NEW BEST:: SOT 76707 SOS 47112 HAS SOPS 40219 HAS SOUS 16107 HAS SOUPS 14908 WITH SCORE 14955.112
AT ITER 622 NEW BEST:: SOT 77071 SOS 47470 HAS SOPS 40469 HAS SOUS 15993 HAS SOUPS 14776 WITH SCORE 14823.47
AT ITER 625 NEW BEST:: SOT 77123 SOS 47264 HAS SOPS 40096 HAS SOUS 15928 HAS SOUPS 14649 WITH SCORE 14696.264
AT ITER 626 NEW BEST:: SOT 77118 SOS 47254 HAS SOPS 40092 HAS SOUS 15911 HAS SOUPS 14638 WITH SCORE 14685.254
AT ITER 629 NEW BEST:: SOT 77165 SOS 47276 HAS SOPS 40114 HAS SOUS 15872 HAS SOUPS 14599 WITH SCORE 14646.276
AT ITER 637 NEW BEST:: SOT 77165 SOS 47255 HAS SOPS 40093 HAS SOUS 15872 HAS SOUPS 14599 WITH SCORE 14646.255
AT ITER 640 NEW BEST:: SOT 76659 SOS 46727 HAS SOPS 39565 HAS SOUS 15669 HAS SOUPS 14396 WITH SCORE 14442.727
AT ITER 647 NEW BEST:: SOT 75953 SOS 46455 HAS SOPS 39401 HAS SOUS 15580 HAS SOUPS 14317 WITH SCORE 14363.455
AT ITER 648 NEW BEST:: SOT 75953 SOS 46455 HAS SOPS 39401 HAS SOUS 15574 HAS SOUPS 14312 WITH SCORE 14358.455
AT ITER 649 NEW BEST:: SOT 75981 SOS 46240 HAS SOPS 39237 HAS SOUS 15482 HAS SOUPS 14220 WITH SCORE 14266.24
AT ITER 650 NEW BEST:: SOT 75980 SOS 46138 HAS SOPS 39160 HAS SOUS 15418 HAS SOUPS 14156 WITH SCORE 14202.138
AT ITER 651 NEW BEST:: SOT 75902 SOS 46214 HAS SOPS 39036 HAS SOUS 15436 HAS SOUPS 14118 WITH SCORE 14164.214
AT ITER 661 NEW BEST:: SOT 75805 SOS 45987 HAS SOPS 38842 HAS SOUS 15343 HAS SOUPS 14025 WITH SCORE 14070.987
AT ITER 664 NEW BEST:: SOT 75554 SOS 45770 HAS SOPS 38607 HAS SOUS 15284 HAS SOUPS 13968 WITH SCORE 14013.77
AT ITER 666 NEW BEST:: SOT 75553 SOS 45768 HAS SOPS 38605 HAS SOUS 15283 HAS SOUPS 13967 WITH SCORE 14012.768
AT ITER 669 NEW BEST:: SOT 75496 SOS 45711 HAS SOPS 38605 HAS SOUS 15256 HAS SOUPS 13967 WITH SCORE 14012.711
AT ITER 672 NEW BEST:: SOT 75496 SOS 45710 HAS SOPS 38603 HAS SOUS 15252 HAS SOUPS 13963 WITH SCORE 14008.71
AT ITER 673 NEW BEST:: SOT 75084 SOS 45516 HAS SOPS 38300 HAS SOUS 15122 HAS SOUPS 13804 WITH SCORE 13849.516
AT ITER 697 NEW BEST:: SOT 75084 SOS 45517 HAS SOPS 38299 HAS SOUS 15120 HAS SOUPS 13802 WITH SCORE 13847.517
AT ITER 698 NEW BEST:: SOT 75100 SOS 45842 HAS SOPS 38278 HAS SOUS 15118 HAS SOUPS 13792 WITH SCORE 13837.842
AT ITER 699 NEW BEST:: SOT 75077 SOS 45828 HAS SOPS 38264 HAS SOUS 15095 HAS SOUPS 13769 WITH SCORE 13814.828
AT ITER 702 NEW BEST:: SOT 75078 SOS 45826 HAS SOPS 38263 HAS SOUS 15093 HAS SOUPS 13768 WITH SCORE 13813.826
AT ITER 704 NEW BEST:: SOT 75129 SOS 45877 HAS SOPS 38263 HAS SOUS 15046 HAS SOUPS 13719 WITH SCORE 13764.877
AT ITER 716 NEW BEST:: SOT 75028 SOS 45796 HAS SOPS 38182 HAS SOUS 15039 HAS SOUPS 13712 WITH SCORE 13757.796
AT ITER 720 NEW BEST:: SOT 74921 SOS 45717 HAS SOPS 38084 HAS SOUS 14994 HAS SOUPS 13667 WITH SCORE 13712.717
AT ITER 724 NEW BEST:: SOT 74950 SOS 47115 HAS SOPS 38023 HAS SOUS 15010 HAS SOUPS 13660 WITH SCORE 13707.115
AT ITER 734 NEW BEST:: SOT 74699 SOS 46700 HAS SOPS 37419 HAS SOUS 14973 HAS SOUPS 13623 WITH SCORE 13669.7
AT ITER 735 NEW BEST:: SOT 74519 SOS 46510 HAS SOPS 37347 HAS SOUS 14915 HAS SOUPS 13560 WITH SCORE 13606.51
AT ITER 737 NEW BEST:: SOT 74399 SOS 46561 HAS SOPS 37217 HAS SOUS 14916 HAS SOUPS 13499 WITH SCORE 13545.561
AT ITER 738 NEW BEST:: SOT 74362 SOS 46292 HAS SOPS 36948 HAS SOUS 14772 HAS SOUPS 13355 WITH SCORE 13401.292
AT ITER 747 NEW BEST:: SOT 74223 SOS 46326 HAS SOPS 36930 HAS SOUS 14771 HAS SOUPS 13337 WITH SCORE 13383.326
AT ITER 750 NEW BEST:: SOT 74225 SOS 46328 HAS SOPS 36904 HAS SOUS 14745 HAS SOUPS 13311 WITH SCORE 13357.328
AT ITER 751 NEW BEST:: SOT 73493 SOS 45596 HAS SOPS 36274 HAS SOUS 14450 HAS SOUPS 13040 WITH SCORE 13085.596
AT ITER 757 NEW BEST:: SOT 73236 SOS 45300 HAS SOPS 36011 HAS SOUS 14359 HAS SOUPS 12951 WITH SCORE 12996.3
AT ITER 763 NEW BEST:: SOT 73236 SOS 45227 HAS SOPS 35998 HAS SOUS 14336 HAS SOUPS 12938 WITH SCORE 12983.227
AT ITER 764 NEW BEST:: SOT 73218 SOS 45168 HAS SOPS 35939 HAS SOUS 14296 HAS SOUPS 12898 WITH SCORE 12943.168
AT ITER 770 NEW BEST:: SOT 73214 SOS 45164 HAS SOPS 35933 HAS SOUS 14282 HAS SOUPS 12884 WITH SCORE 12929.164
AT ITER 777 NEW BEST:: SOT 73264 SOS 45150 HAS SOPS 35945 HAS SOUS 14218 HAS SOUPS 12820 WITH SCORE 12865.15
AT ITER 780 NEW BEST:: SOT 73095 SOS 44957 HAS SOPS 35775 HAS SOUS 13974 HAS SOUPS 12608 WITH SCORE 12652.957
AT ITER 803 NEW BEST:: SOT 73131 SOS 44777 HAS SOPS 35669 HAS SOUS 13910 HAS SOUPS 12545 WITH SCORE 12589.777
AT ITER 806 NEW BEST:: SOT 72386 SOS 44557 HAS SOPS 35681 HAS SOUS 13941 HAS SOUPS 12521 WITH SCORE 12565.557
AT ITER 808 NEW BEST:: SOT 72399 SOS 44583 HAS SOPS 35694 HAS SOUS 13936 HAS SOUPS 12516 WITH SCORE 12560.583
AT ITER 811 NEW BEST:: SOT 72277 SOS 44369 HAS SOPS 35480 HAS SOUS 13789 HAS SOUPS 12369 WITH SCORE 12413.369
AT ITER 820 NEW BEST:: SOT 72076 SOS 44835 HAS SOPS 35384 HAS SOUS 13763 HAS SOUPS 12342 WITH SCORE 12386.835
AT ITER 835 NEW BEST:: SOT 72042 SOS 44767 HAS SOPS 35316 HAS SOUS 13716 HAS SOUPS 12295 WITH SCORE 12339.767
AT ITER 838 NEW BEST:: SOT 71973 SOS 44598 HAS SOPS 35147 HAS SOUS 13597 HAS SOUPS 12176 WITH SCORE 12220.598
AT ITER 842 NEW BEST:: SOT 71955 SOS 44568 HAS SOPS 35099 HAS SOUS 13561 HAS SOUPS 12140 WITH SCORE 12184.568
AT ITER 855 NEW BEST:: SOT 71604 SOS 44225 HAS SOPS 34786 HAS SOUS 13508 HAS SOUPS 12087 WITH SCORE 12131.225
AT ITER 858 NEW BEST:: SOT 71614 SOS 44108 HAS SOPS 34731 HAS SOUS 13285 HAS SOUPS 11864 WITH SCORE 11908.108
AT ITER 864 NEW BEST:: SOT 71773 SOS 44244 HAS SOPS 34841 HAS SOUS 13265 HAS SOUPS 11844 WITH SCORE 11888.244
AT ITER 881 NEW BEST:: SOT 71698 SOS 44967 HAS SOPS 34819 HAS SOUS 13243 HAS SOUPS 11822 WITH SCORE 11866.967
AT ITER 883 NEW BEST:: SOT 71338 SOS 44484 HAS SOPS 34398 HAS SOUS 13218 HAS SOUPS 11797 WITH SCORE 11841.484
AT ITER 892 NEW BEST:: SOT 71513 SOS 44596 HAS SOPS 34494 HAS SOUS 13164 HAS SOUPS 11743 WITH SCORE 11787.596
AT ITER 893 NEW BEST:: SOT 71509 SOS 44588 HAS SOPS 34486 HAS SOUS 13164 HAS SOUPS 11743 WITH SCORE 11787.588
AT ITER 899 NEW BEST:: SOT 71481 SOS 44606 HAS SOPS 34504 HAS SOUS 13154 HAS SOUPS 11733 WITH SCORE 11777.606
AT ITER 901 NEW BEST:: SOT 71395 SOS 44510 HAS SOPS 34414 HAS SOUS 13129 HAS SOUPS 11708 WITH SCORE 11752.51
AT ITER 903 NEW BEST:: SOT 71393 SOS 44511 HAS SOPS 34415 HAS SOUS 13128 HAS SOUPS 11707 WITH SCORE 11751.511
AT ITER 904 NEW BEST:: SOT 71392 SOS 44456 HAS SOPS 34622 HAS SOUS 13096 HAS SOUPS 11675 WITH SCORE 11719.456
AT ITER 911 NEW BEST:: SOT 71450 SOS 44228 HAS SOPS 34394 HAS SOUS 12981 HAS SOUPS 11560 WITH SCORE 11604.228
AT ITER 912 NEW BEST:: SOT 71366 SOS 44138 HAS SOPS 34284 HAS SOUS 12920 HAS SOUPS 11499 WITH SCORE 11543.138
AT ITER 920 NEW BEST:: SOT 71360 SOS 44138 HAS SOPS 34278 HAS SOUS 12908 HAS SOUPS 11487 WITH SCORE 11531.138
AT ITER 927 NEW BEST:: SOT 71649 SOS 44239 HAS SOPS 34343 HAS SOUS 12865 HAS SOUPS 11411 WITH SCORE 11455.239
AT ITER 933 NEW BEST:: SOT 71720 SOS 44200 HAS SOPS 34326 HAS SOUS 12825 HAS SOUPS 11371 WITH SCORE 11415.2
AT ITER 935 NEW BEST:: SOT 71812 SOS 44224 HAS SOPS 34350 HAS SOUS 12809 HAS SOUPS 11355 WITH SCORE 11399.224
AT ITER 936 NEW BEST:: SOT 71801 SOS 44224 HAS SOPS 34350 HAS SOUS 12799 HAS SOUPS 11344 WITH SCORE 11388.224
AT ITER 949 NEW BEST:: SOT 71792 SOS 44206 HAS SOPS 34341 HAS SOUS 12781 HAS SOUPS 11335 WITH SCORE 11379.206
AT ITER 956 NEW BEST:: SOT 72139 SOS 43079 HAS SOPS 34358 HAS SOUS 12762 HAS SOUPS 11328 WITH SCORE 11371.079
AT ITER 967 NEW BEST:: SOT 72090 SOS 42981 HAS SOPS 34267 HAS SOUS 12713 HAS SOUPS 11279 WITH SCORE 11321.981
AT ITER 974 NEW BEST:: SOT 72086 SOS 42973 HAS SOPS 34261 HAS SOUS 12707 HAS SOUPS 11275 WITH SCORE 11317.973
AT ITER 984 NEW BEST:: SOT 72079 SOS 42959 HAS SOPS 34247 HAS SOUS 12701 HAS SOUPS 11269 WITH SCORE 11311.959
AT ITER 986 NEW BEST:: SOT 72010 SOS 42905 HAS SOPS 34199 HAS SOUS 12617 HAS SOUPS 11191 WITH SCORE 11233.905
AT ITER 988 NEW BEST:: SOT 72287 SOS 42979 HAS SOPS 34167 HAS SOUS 12619 HAS SOUPS 11189 WITH SCORE 11231.979
AT ITER 989 NEW BEST:: SOT 72267 SOS 42969 HAS SOPS 34147 HAS SOUS 12609 HAS SOUPS 11179 WITH SCORE 11221.969
AT ITER 991 NEW BEST:: SOT 72267 SOS 43026 HAS SOPS 34115 HAS SOUS 12576 HAS SOUPS 11137 WITH SCORE 11180.026
AT ITER 997 NEW BEST:: SOT 72209 SOS 42980 HAS SOPS 34069 HAS SOUS 12562 HAS SOUPS 11123 WITH SCORE 11165.98
AT ITER 1008 NEW BEST:: SOT 72209 SOS 42974 HAS SOPS 34063 HAS SOUS 12556 HAS SOUPS 11117 WITH SCORE 11159.974
AT ITER 1012 NEW BEST:: SOT 72157 SOS 42870 HAS SOPS 33959 HAS SOUS 12515 HAS SOUPS 11076 WITH SCORE 11118.87
AT ITER 1019 NEW BEST:: SOT 72051 SOS 42842 HAS SOPS 33931 HAS SOUS 12487 HAS SOUPS 11048 WITH SCORE 11090.842
AT ITER 1030 NEW BEST:: SOT 72031 SOS 42832 HAS SOPS 33921 HAS SOUS 12487 HAS SOUPS 11048 WITH SCORE 11090.832
AT ITER 1031 NEW BEST:: SOT 71977 SOS 42784 HAS SOPS 33873 HAS SOUS 12445 HAS SOUPS 11006 WITH SCORE 11048.784
AT ITER 1039 NEW BEST:: SOT 71879 SOS 42727 HAS SOPS 33785 HAS SOUS 12444 HAS SOUPS 11005 WITH SCORE 11047.727
AT ITER 1040 NEW BEST:: SOT 71840 SOS 42671 HAS SOPS 33729 HAS SOUS 12388 HAS SOUPS 10949 WITH SCORE 10991.671
AT ITER 1043 NEW BEST:: SOT 71828 SOS 42627 HAS SOPS 33451 HAS SOUS 12396 HAS SOUPS 10925 WITH SCORE 10967.627
AT ITER 1048 NEW BEST:: SOT 71211 SOS 42936 HAS SOPS 33334 HAS SOUS 12305 HAS SOUPS 10834 WITH SCORE 10876.936
AT ITER 1049 NEW BEST:: SOT 71199 SOS 42912 HAS SOPS 33310 HAS SOUS 12299 HAS SOUPS 10828 WITH SCORE 10870.912
AT ITER 1055 NEW BEST:: SOT 71196 SOS 42729 HAS SOPS 33127 HAS SOUS 12243 HAS SOUPS 10772 WITH SCORE 10814.729
AT ITER 1062 NEW BEST:: SOT 71095 SOS 42898 HAS SOPS 33086 HAS SOUS 12202 HAS SOUPS 10730 WITH SCORE 10772.898
AT ITER 1074 NEW BEST:: SOT 71095 SOS 42898 HAS SOPS 33087 HAS SOUS 12200 HAS SOUPS 10729 WITH SCORE 10771.898
AT ITER 1077 NEW BEST:: SOT 71054 SOS 42857 HAS SOPS 33070 HAS SOUS 12160 HAS SOUPS 10712 WITH SCORE 10754.857
AT ITER 1079 NEW BEST:: SOT 71527 SOS 43330 HAS SOPS 33523 HAS SOUS 12016 HAS SOUPS 10568 WITH SCORE 10611.33
AT ITER 1083 NEW BEST:: SOT 71439 SOS 43264 HAS SOPS 33446 HAS SOUS 11994 HAS SOUPS 10546 WITH SCORE 10589.264
AT ITER 1098 NEW BEST:: SOT 71409 SOS 43204 HAS SOPS 33386 HAS SOUS 11994 HAS SOUPS 10546 WITH SCORE 10589.204
AT ITER 1101 NEW BEST:: SOT 71407 SOS 43190 HAS SOPS 33386 HAS SOUS 11972 HAS SOUPS 10546 WITH SCORE 10589.19
AT ITER 1110 NEW BEST:: SOT 71404 SOS 43184 HAS SOPS 33380 HAS SOUS 11963 HAS SOUPS 10537 WITH SCORE 10580.184
AT ITER 1111 NEW BEST:: SOT 71551 SOS 43244 HAS SOPS 33440 HAS SOUS 11911 HAS SOUPS 10485 WITH SCORE 10528.244
AT ITER 1124 NEW BEST:: SOT 71528 SOS 43222 HAS SOPS 33410 HAS SOUS 11892 HAS SOUPS 10458 WITH SCORE 10501.222
AT ITER 1128 NEW BEST:: SOT 71533 SOS 43217 HAS SOPS 33445 HAS SOUS 11887 HAS SOUPS 10458 WITH SCORE 10501.217
AT ITER 1134 NEW BEST:: SOT 71556 SOS 43220 HAS SOPS 33423 HAS SOUS 11878 HAS SOUPS 10453 WITH SCORE 10496.22
AT ITER 1144 NEW BEST:: SOT 71539 SOS 43203 HAS SOPS 33389 HAS SOUS 11844 HAS SOUPS 10419 WITH SCORE 10462.203
AT ITER 1161 NEW BEST:: SOT 71333 SOS 43059 HAS SOPS 33245 HAS SOUS 11751 HAS SOUPS 10326 WITH SCORE 10369.059
AT ITER 1168 NEW BEST:: SOT 71333 SOS 43041 HAS SOPS 33227 HAS SOUS 11745 HAS SOUPS 10320 WITH SCORE 10363.041
AT ITER 1172 NEW BEST:: SOT 71169 SOS 42913 HAS SOPS 33074 HAS SOUS 11726 HAS SOUPS 10301 WITH SCORE 10343.913
AT ITER 1228 NEW BEST:: SOT 71148 SOS 42831 HAS SOPS 33040 HAS SOUS 11703 HAS SOUPS 10286 WITH SCORE 10328.831
AT ITER 1234 NEW BEST:: SOT 71147 SOS 42830 HAS SOPS 33038 HAS SOUS 11699 HAS SOUPS 10282 WITH SCORE 10324.83
AT ITER 1251 NEW BEST:: SOT 71245 SOS 42894 HAS SOPS 33102 HAS SOUS 11649 HAS SOUPS 10232 WITH SCORE 10274.894
AT ITER 1257 NEW BEST:: SOT 71242 SOS 42888 HAS SOPS 33096 HAS SOUS 11648 HAS SOUPS 10231 WITH SCORE 10273.888
AT ITER 1264 NEW BEST:: SOT 70835 SOS 42451 HAS SOPS 32671 HAS SOUS 11611 HAS SOUPS 10194 WITH SCORE 10236.451
AT ITER 1273 NEW BEST:: SOT 70841 SOS 42193 HAS SOPS 32659 HAS SOUS 11575 HAS SOUPS 10194 WITH SCORE 10236.193
AT ITER 1280 NEW BEST:: SOT 70825 SOS 42161 HAS SOPS 32627 HAS SOUS 11533 HAS SOUPS 10152 WITH SCORE 10194.161
AT ITER 1281 NEW BEST:: SOT 70822 SOS 41801 HAS SOPS 31941 HAS SOUS 11507 HAS SOUPS 10123 WITH SCORE 10164.801
AT ITER 1307 NEW BEST:: SOT 70796 SOS 41775 HAS SOPS 31908 HAS SOUS 11484 HAS SOUPS 10100 WITH SCORE 10141.775
AT ITER 1314 NEW BEST:: SOT 70769 SOS 41757 HAS SOPS 31890 HAS SOUS 11484 HAS SOUPS 10100 WITH SCORE 10141.757
AT ITER 1321 NEW BEST:: SOT 70549 SOS 41553 HAS SOPS 31798 HAS SOUS 11444 HAS SOUPS 10044 WITH SCORE 10085.553
AT ITER 1322 NEW BEST:: SOT 70213 SOS 41379 HAS SOPS 31682 HAS SOUS 11389 HAS SOUPS 10002 WITH SCORE 10043.379
AT ITER 1342 NEW BEST:: SOT 70443 SOS 41452 HAS SOPS 31714 HAS SOUS 11260 HAS SOUPS 9873 WITH SCORE 9914.452
AT ITER 1347 NEW BEST:: SOT 70334 SOS 41369 HAS SOPS 31694 HAS SOUS 11254 HAS SOUPS 9858 WITH SCORE 9899.369
AT ITER 1354 NEW BEST:: SOT 70318 SOS 41361 HAS SOPS 31686 HAS SOUS 11245 HAS SOUPS 9849 WITH SCORE 9890.361
AT ITER 1361 NEW BEST:: SOT 70367 SOS 41410 HAS SOPS 31714 HAS SOUS 11233 HAS SOUPS 9824 WITH SCORE 9865.41
AT ITER 1370 NEW BEST:: SOT 70365 SOS 41397 HAS SOPS 31701 HAS SOUS 11219 HAS SOUPS 9810 WITH SCORE 9851.397
AT ITER 1382 NEW BEST:: SOT 70717 SOS 41370 HAS SOPS 31658 HAS SOUS 11165 HAS SOUPS 9797 WITH SCORE 9838.37
AT ITER 1396 NEW BEST:: SOT 70805 SOS 41194 HAS SOPS 31546 HAS SOUS 11092 HAS SOUPS 9726 WITH SCORE 9767.194
AT ITER 1406 NEW BEST:: SOT 70807 SOS 41332 HAS SOPS 31502 HAS SOUS 11090 HAS SOUPS 9696 WITH SCORE 9737.332
AT ITER 1410 NEW BEST:: SOT 70695 SOS 41216 HAS SOPS 31398 HAS SOUS 11066 HAS SOUPS 9672 WITH SCORE 9713.216
AT ITER 1415 NEW BEST:: SOT 70670 SOS 41185 HAS SOPS 31341 HAS SOUS 11035 HAS SOUPS 9628 WITH SCORE 9669.185
AT ITER 1425 NEW BEST:: SOT 70664 SOS 41177 HAS SOPS 31332 HAS SOUS 11027 HAS SOUPS 9620 WITH SCORE 9661.177
AT ITER 1441 NEW BEST:: SOT 70626 SOS 41143 HAS SOPS 31305 HAS SOUS 11027 HAS SOUPS 9620 WITH SCORE 9661.143
AT ITER 1476 NEW BEST:: SOT 70592 SOS 41229 HAS SOPS 31336 HAS SOUS 11008 HAS SOUPS 9601 WITH SCORE 9642.229
AT ITER 1479 NEW BEST:: SOT 70592 SOS 41229 HAS SOPS 31331 HAS SOUS 10999 HAS SOUPS 9592 WITH SCORE 9633.229
AT ITER 1484 NEW BEST:: SOT 70635 SOS 41281 HAS SOPS 31349 HAS SOUS 10971 HAS SOUPS 9564 WITH SCORE 9605.281
AT ITER 1489 NEW BEST:: SOT 70514 SOS 41174 HAS SOPS 31252 HAS SOUS 10910 HAS SOUPS 9503 WITH SCORE 9544.174
AT ITER 1495 NEW BEST:: SOT 70504 SOS 41149 HAS SOPS 31232 HAS SOUS 10901 HAS SOUPS 9494 WITH SCORE 9535.149
AT ITER 1504 NEW BEST:: SOT 70484 SOS 41129 HAS SOPS 31217 HAS SOUS 10901 HAS SOUPS 9494 WITH SCORE 9535.129
AT ITER 1523 NEW BEST:: SOT 70476 SOS 41121 HAS SOPS 31210 HAS SOUS 10893 HAS SOUPS 9487 WITH SCORE 9528.121
AT ITER 1545 NEW BEST:: SOT 70456 SOS 41277 HAS SOPS 31218 HAS SOUS 10904 HAS SOUPS 9484 WITH SCORE 9525.277
AT ITER 1555 NEW BEST:: SOT 70455 SOS 41275 HAS SOPS 31217 HAS SOUS 10904 HAS SOUPS 9484 WITH SCORE 9525.275
AT ITER 1572 NEW BEST:: SOT 70492 SOS 41209 HAS SOPS 31151 HAS SOUS 10872 HAS SOUPS 9452 WITH SCORE 9493.209
AT ITER 1601 NEW BEST:: SOT 70444 SOS 41165 HAS SOPS 31145 HAS SOUS 10870 HAS SOUPS 9448 WITH SCORE 9489.165
AT ITER 1604 NEW BEST:: SOT 70455 SOS 41163 HAS SOPS 31143 HAS SOUS 10866 HAS SOUPS 9444 WITH SCORE 9485.163
AT ITER 1605 NEW BEST:: SOT 70396 SOS 41104 HAS SOPS 31025 HAS SOUS 10748 HAS SOUPS 9326 WITH SCORE 9367.104
AT ITER 1609 NEW BEST:: SOT 70306 SOS 42356 HAS SOPS 30984 HAS SOUS 10731 HAS SOUPS 9288 WITH SCORE 9330.356
AT ITER 1610 NEW BEST:: SOT 70561 SOS 42588 HAS SOPS 31154 HAS SOUS 10678 HAS SOUPS 9260 WITH SCORE 9302.588
AT ITER 1616 NEW BEST:: SOT 70699 SOS 42563 HAS SOPS 31156 HAS SOUS 10632 HAS SOUPS 9214 WITH SCORE 9256.563
AT ITER 1629 NEW BEST:: SOT 70684 SOS 42484 HAS SOPS 31077 HAS SOUS 10627 HAS SOUPS 9209 WITH SCORE 9251.484
AT ITER 1642 NEW BEST:: SOT 70682 SOS 42466 HAS SOPS 31073 HAS SOUS 10621 HAS SOUPS 9205 WITH SCORE 9247.466
AT ITER 1649 NEW BEST:: SOT 70729 SOS 41923 HAS SOPS 31075 HAS SOUS 10633 HAS SOUPS 9198 WITH SCORE 9239.923
AT ITER 1652 NEW BEST:: SOT 70709 SOS 41954 HAS SOPS 31058 HAS SOUS 10634 HAS SOUPS 9196 WITH SCORE 9237.954
AT ITER 1653 NEW BEST:: SOT 70730 SOS 41940 HAS SOPS 31044 HAS SOUS 10627 HAS SOUPS 9189 WITH SCORE 9230.94
AT ITER 1654 NEW BEST:: SOT 70761 SOS 41931 HAS SOPS 31066 HAS SOUS 10609 HAS SOUPS 9171 WITH SCORE 9212.931
AT ITER 1687 NEW BEST:: SOT 70767 SOS 41925 HAS SOPS 31060 HAS SOUS 10609 HAS SOUPS 9171 WITH SCORE 9212.925
AT ITER 1689 NEW BEST:: SOT 70715 SOS 41862 HAS SOPS 30978 HAS SOUS 10556 HAS SOUPS 9108 WITH SCORE 9149.862
AT ITER 1694 NEW BEST:: SOT 70691 SOS 41844 HAS SOPS 30940 HAS SOUS 10538 HAS SOUPS 9090 WITH SCORE 9131.844
AT ITER 1699 NEW BEST:: SOT 70664 SOS 41817 HAS SOPS 30887 HAS SOUS 10485 HAS SOUPS 9037 WITH SCORE 9078.817
AT ITER 1704 NEW BEST:: SOT 70648 SOS 41785 HAS SOPS 30855 HAS SOUS 10459 HAS SOUPS 9011 WITH SCORE 9052.785
AT ITER 1705 NEW BEST:: SOT 70613 SOS 41775 HAS SOPS 30845 HAS SOUS 10450 HAS SOUPS 9002 WITH SCORE 9043.775
AT ITER 1707 NEW BEST:: SOT 70477 SOS 41658 HAS SOPS 30748 HAS SOUS 10443 HAS SOUPS 9001 WITH SCORE 9042.658
AT ITER 1756 NEW BEST:: SOT 70393 SOS 41544 HAS SOPS 30661 HAS SOUS 10418 HAS SOUPS 8979 WITH SCORE 9020.544
AT ITER 1777 NEW BEST:: SOT 70708 SOS 41768 HAS SOPS 30641 HAS SOUS 10398 HAS SOUPS 8972 WITH SCORE 9013.768
AT ITER 1783 NEW BEST:: SOT 70738 SOS 41783 HAS SOPS 30656 HAS SOUS 10393 HAS SOUPS 8967 WITH SCORE 9008.783
AT ITER 1785 NEW BEST:: SOT 70644 SOS 41604 HAS SOPS 30501 HAS SOUS 10297 HAS SOUPS 8895 WITH SCORE 8936.604
AT ITER 1787 NEW BEST:: SOT 70453 SOS 41502 HAS SOPS 30485 HAS SOUS 10276 HAS SOUPS 8879 WITH SCORE 8920.502
AT ITER 1819 NEW BEST:: SOT 70443 SOS 41564 HAS SOPS 30484 HAS SOUS 10231 HAS SOUPS 8834 WITH SCORE 8875.564
AT ITER 1865 NEW BEST:: SOT 70443 SOS 41204 HAS SOPS 29781 HAS SOUS 10219 HAS SOUPS 8816 WITH SCORE 8857.204
AT ITER 1876 NEW BEST:: SOT 70441 SOS 41172 HAS SOPS 29769 HAS SOUS 10207 HAS SOUPS 8804 WITH SCORE 8845.172
AT ITER 1880 NEW BEST:: SOT 70431 SOS 41123 HAS SOPS 29720 HAS SOUS 10149 HAS SOUPS 8746 WITH SCORE 8787.123
AT ITER 1896 NEW BEST:: SOT 70431 SOS 41107 HAS SOPS 29704 HAS SOUS 10141 HAS SOUPS 8738 WITH SCORE 8779.107
AT ITER 1899 NEW BEST:: SOT 70415 SOS 41091 HAS SOPS 29688 HAS SOUS 10125 HAS SOUPS 8722 WITH SCORE 8763.091
AT ITER 1963 NEW BEST:: SOT 70370 SOS 41051 HAS SOPS 29653 HAS SOUS 10115 HAS SOUPS 8707 WITH SCORE 8748.051
AT ITER 1973 NEW BEST:: SOT 70419 SOS 41021 HAS SOPS 29623 HAS SOUS 10088 HAS SOUPS 8680 WITH SCORE 8721.021
AT ITER 1975 NEW BEST:: SOT 70355 SOS 41050 HAS SOPS 29652 HAS SOUS 10081 HAS SOUPS 8673 WITH SCORE 8714.05
AT ITER 2003 NEW BEST:: SOT 70347 SOS 41042 HAS SOPS 29640 HAS SOUS 10069 HAS SOUPS 8661 WITH SCORE 8702.042
AT ITER 2015 NEW BEST:: SOT 70339 SOS 40980 HAS SOPS 29558 HAS SOUS 10071 HAS SOUPS 8641 WITH SCORE 8681.98
AT ITER 2023 NEW BEST:: SOT 70348 SOS 40985 HAS SOPS 29563 HAS SOUS 10070 HAS SOUPS 8640 WITH SCORE 8680.985
AT ITER 2034 NEW BEST:: SOT 70353 SOS 40995 HAS SOPS 29562 HAS SOUS 10058 HAS SOUPS 8628 WITH SCORE 8668.995
AT ITER 2038 NEW BEST:: SOT 70325 SOS 40967 HAS SOPS 29534 HAS SOUS 10030 HAS SOUPS 8600 WITH SCORE 8640.967
AT ITER 2039 NEW BEST:: SOT 70333 SOS 40951 HAS SOPS 29518 HAS SOUS 10014 HAS SOUPS 8584 WITH SCORE 8624.951
AT ITER 2049 NEW BEST:: SOT 70333 SOS 40949 HAS SOPS 29514 HAS SOUS 10008 HAS SOUPS 8576 WITH SCORE 8616.949
AT ITER 2081 NEW BEST:: SOT 70355 SOS 40927 HAS SOPS 29514 HAS SOUS 9986 HAS SOUPS 8554 WITH SCORE 8594.927
AT ITER 2113 NEW BEST:: SOT 70360 SOS 41063 HAS SOPS 29456 HAS SOUS 10014 HAS SOUPS 8548 WITH SCORE 8589.063
AT ITER 2140 NEW BEST:: SOT 70354 SOS 41057 HAS SOPS 29447 HAS SOUS 10002 HAS SOUPS 8536 WITH SCORE 8577.057
AT ITER 2182 NEW BEST:: SOT 70338 SOS 41051 HAS SOPS 29428 HAS SOUS 9993 HAS SOUPS 8527 WITH SCORE 8568.051
AT ITER 2195 NEW BEST:: SOT 70338 SOS 41039 HAS SOPS 29420 HAS SOUS 9981 HAS SOUPS 8519 WITH SCORE 8560.039
AT ITER 2206 NEW BEST:: SOT 70321 SOS 40970 HAS SOPS 29325 HAS SOUS 9906 HAS SOUPS 8444 WITH SCORE 8484.97
AT ITER 2216 NEW BEST:: SOT 70295 SOS 40958 HAS SOPS 29313 HAS SOUS 9890 HAS SOUPS 8428 WITH SCORE 8468.958
AT ITER 2225 NEW BEST:: SOT 70290 SOS 40948 HAS SOPS 29303 HAS SOUS 9875 HAS SOUPS 8413 WITH SCORE 8453.948
AT ITER 2227 NEW BEST:: SOT 70281 SOS 40930 HAS SOPS 29285 HAS SOUS 9842 HAS SOUPS 8380 WITH SCORE 8420.93
AT ITER 2232 NEW BEST:: SOT 70293 SOS 41586 HAS SOPS 29280 HAS SOUS 9838 HAS SOUPS 8357 WITH SCORE 8398.586
AT ITER 2234 NEW BEST:: SOT 70297 SOS 41358 HAS SOPS 29276 HAS SOUS 9830 HAS SOUPS 8357 WITH SCORE 8398.358
AT ITER 2242 NEW BEST:: SOT 70635 SOS 41600 HAS SOPS 29266 HAS SOUS 9828 HAS SOUPS 8353 WITH SCORE 8394.6
AT ITER 2253 NEW BEST:: SOT 70635 SOS 41597 HAS SOPS 29257 HAS SOUS 9825 HAS SOUPS 8347 WITH SCORE 8388.597
AT ITER 2281 NEW BEST:: SOT 70590 SOS 41570 HAS SOPS 29230 HAS SOUS 9828 HAS SOUPS 8341 WITH SCORE 8382.57
AT ITER 2316 NEW BEST:: SOT 70600 SOS 41524 HAS SOPS 29194 HAS SOUS 9802 HAS SOUPS 8315 WITH SCORE 8356.524
AT ITER 2331 NEW BEST:: SOT 70591 SOS 41515 HAS SOPS 29179 HAS SOUS 9778 HAS SOUPS 8291 WITH SCORE 8332.515
AT ITER 2339 NEW BEST:: SOT 70529 SOS 41511 HAS SOPS 29175 HAS SOUS 9765 HAS SOUPS 8290 WITH SCORE 8331.511
AT ITER 2368 NEW BEST:: SOT 70559 SOS 41501 HAS SOPS 29165 HAS SOUS 9770 HAS SOUPS 8287 WITH SCORE 8328.501
AT ITER 2409 NEW BEST:: SOT 70583 SOS 41519 HAS SOPS 29177 HAS SOUS 9764 HAS SOUPS 8281 WITH SCORE 8322.519
AT ITER 2438 NEW BEST:: SOT 70587 SOS 41523 HAS SOPS 29185 HAS SOUS 9746 HAS SOUPS 8263 WITH SCORE 8304.523
AT ITER 2448 NEW BEST:: SOT 70614 SOS 41472 HAS SOPS 29134 HAS SOUS 9686 HAS SOUPS 8203 WITH SCORE 8244.472
AT ITER 2454 NEW BEST:: SOT 70608 SOS 41442 HAS SOPS 29110 HAS SOUS 9674 HAS SOUPS 8191 WITH SCORE 8232.442
AT ITER 2513 NEW BEST:: SOT 70607 SOS 41332 HAS SOPS 28879 HAS SOUS 9669 HAS SOUPS 8184 WITH SCORE 8225.332
AT ITER 2520 NEW BEST:: SOT 70604 SOS 41298 HAS SOPS 28845 HAS SOUS 9651 HAS SOUPS 8166 WITH SCORE 8207.298
AT ITER 2522 NEW BEST:: SOT 70578 SOS 41308 HAS SOPS 28855 HAS SOUS 9643 HAS SOUPS 8158 WITH SCORE 8199.308
AT ITER 2584 NEW BEST:: SOT 70487 SOS 41087 HAS SOPS 28666 HAS SOUS 9544 HAS SOUPS 8059 WITH SCORE 8100.087
AT ITER 2586 NEW BEST:: SOT 70483 SOS 41091 HAS SOPS 28658 HAS SOUS 9528 HAS SOUPS 8043 WITH SCORE 8084.091
AT ITER 2588 NEW BEST:: SOT 70481 SOS 41112 HAS SOPS 28679 HAS SOUS 9527 HAS SOUPS 8042 WITH SCORE 8083.112
AT ITER 2595 NEW BEST:: SOT 70480 SOS 41106 HAS SOPS 28673 HAS SOUS 9522 HAS SOUPS 8037 WITH SCORE 8078.106
AT ITER 2638 NEW BEST:: SOT 70482 SOS 41094 HAS SOPS 28665 HAS SOUS 9520 HAS SOUPS 8035 WITH SCORE 8076.094
AT ITER 2675 NEW BEST:: SOT 70450 SOS 41062 HAS SOPS 28633 HAS SOUS 9504 HAS SOUPS 8019 WITH SCORE 8060.062
AT ITER 2756 NEW BEST:: SOT 70444 SOS 41050 HAS SOPS 28621 HAS SOUS 9495 HAS SOUPS 8010 WITH SCORE 8051.05
AT ITER 2773 NEW BEST:: SOT 70407 SOS 41013 HAS SOPS 28650 HAS SOUS 9453 HAS SOUPS 7991 WITH SCORE 8032.013
AT ITER 2825 NEW BEST:: SOT 70297 SOS 40903 HAS SOPS 28602 HAS SOUS 9386 HAS SOUPS 7943 WITH SCORE 7983.903
AT ITER 2850 NEW BEST:: SOT 70301 SOS 40901 HAS SOPS 28600 HAS SOUS 9384 HAS SOUPS 7941 WITH SCORE 7981.901
AT ITER 2875 NEW BEST:: SOT 70307 SOS 40893 HAS SOPS 28592 HAS SOUS 9379 HAS SOUPS 7936 WITH SCORE 7976.893
AT ITER 2955 NEW BEST:: SOT 70162 SOS 40969 HAS SOPS 28478 HAS SOUS 9375 HAS SOUPS 7913 WITH SCORE 7953.969
AT ITER 3039 NEW BEST:: SOT 70156 SOS 41050 HAS SOPS 28646 HAS SOUS 9372 HAS SOUPS 7910 WITH SCORE 7951.05
AT ITER 3047 NEW BEST:: SOT 70220 SOS 41207 HAS SOPS 28780 HAS SOUS 9335 HAS SOUPS 7873 WITH SCORE 7914.207
AT ITER 3055 NEW BEST:: SOT 70081 SOS 41068 HAS SOPS 28645 HAS SOUS 9261 HAS SOUPS 7799 WITH SCORE 7840.068
AT ITER 3057 NEW BEST:: SOT 70075 SOS 41060 HAS SOPS 28637 HAS SOUS 9255 HAS SOUPS 7793 WITH SCORE 7834.06
AT ITER 3085 NEW BEST:: SOT 70094 SOS 41069 HAS SOPS 28609 HAS SOUS 9253 HAS SOUPS 7791 WITH SCORE 7832.069
AT ITER 3092 NEW BEST:: SOT 70103 SOS 41063 HAS SOPS 28600 HAS SOUS 9250 HAS SOUPS 7788 WITH SCORE 7829.063
AT ITER 3095 NEW BEST:: SOT 70080 SOS 41063 HAS SOPS 28600 HAS SOUS 9244 HAS SOUPS 7782 WITH SCORE 7823.063
AT ITER 3099 NEW BEST:: SOT 70092 SOS 41071 HAS SOPS 28603 HAS SOUS 9238 HAS SOUPS 7771 WITH SCORE 7812.071
AT ITER 3105 NEW BEST:: SOT 70088 SOS 41069 HAS SOPS 28599 HAS SOUS 9234 HAS SOUPS 7767 WITH SCORE 7808.069
AT ITER 3161 NEW BEST:: SOT 70050 SOS 41051 HAS SOPS 28599 HAS SOUS 9232 HAS SOUPS 7767 WITH SCORE 7808.051
AT ITER 3178 NEW BEST:: SOT 70092 SOS 41097 HAS SOPS 28767 HAS SOUS 9224 HAS SOUPS 7746 WITH SCORE 7787.097
AT ITER 3188 NEW BEST:: SOT 70089 SOS 41091 HAS SOPS 28764 HAS SOUS 9221 HAS SOUPS 7743 WITH SCORE 7784.091
AT ITER 3190 NEW BEST:: SOT 69975 SOS 41591 HAS SOPS 28634 HAS SOUS 9230 HAS SOUPS 7739 WITH SCORE 7780.591
AT ITER 3196 NEW BEST:: SOT 69975 SOS 41591 HAS SOPS 28629 HAS SOUS 9220 HAS SOUPS 7729 WITH SCORE 7770.591
AT ITER 3201 NEW BEST:: SOT 69969 SOS 41595 HAS SOPS 28629 HAS SOUS 9218 HAS SOUPS 7727 WITH SCORE 7768.595
AT ITER 3208 NEW BEST:: SOT 69995 SOS 41557 HAS SOPS 28637 HAS SOUS 9193 HAS SOUPS 7720 WITH SCORE 7761.557
AT ITER 3214 NEW BEST:: SOT 69975 SOS 41709 HAS SOPS 28629 HAS SOUS 9194 HAS SOUPS 7717 WITH SCORE 7758.709
AT ITER 3217 NEW BEST:: SOT 69895 SOS 41641 HAS SOPS 28569 HAS SOUS 9170 HAS SOUPS 7693 WITH SCORE 7734.641
AT ITER 3284 NEW BEST:: SOT 69876 SOS 41622 HAS SOPS 28555 HAS SOUS 9156 HAS SOUPS 7679 WITH SCORE 7720.622
AT ITER 3318 NEW BEST:: SOT 69852 SOS 41644 HAS SOPS 28567 HAS SOUS 9152 HAS SOUPS 7675 WITH SCORE 7716.644
AT ITER 3322 NEW BEST:: SOT 69830 SOS 41632 HAS SOPS 28539 HAS SOUS 9124 HAS SOUPS 7647 WITH SCORE 7688.632
AT ITER 3326 NEW BEST:: SOT 69898 SOS 41313 HAS SOPS 28539 HAS SOUS 9098 HAS SOUPS 7647 WITH SCORE 7688.313
AT ITER 3348 NEW BEST:: SOT 69898 SOS 41312 HAS SOPS 28538 HAS SOUS 9098 HAS SOUPS 7647 WITH SCORE 7688.312
AT ITER 3358 NEW BEST:: SOT 70113 SOS 41464 HAS SOPS 28519 HAS SOUS 9087 HAS SOUPS 7628 WITH SCORE 7669.464
AT ITER 3378 NEW BEST:: SOT 70127 SOS 41387 HAS SOPS 28523 HAS SOUS 9053 HAS SOUPS 7617 WITH SCORE 7658.387
AT ITER 3458 NEW BEST:: SOT 69270 SOS 40768 HAS SOPS 28546 HAS SOUS 9056 HAS SOUPS 7609 WITH SCORE 7649.768
AT ITER 3477 NEW BEST:: SOT 69255 SOS 40729 HAS SOPS 28516 HAS SOUS 9038 HAS SOUPS 7591 WITH SCORE 7631.729
AT ITER 3509 NEW BEST:: SOT 69031 SOS 40715 HAS SOPS 28512 HAS SOUS 9038 HAS SOUPS 7586 WITH SCORE 7626.715
AT ITER 3512 NEW BEST:: SOT 69029 SOS 40707 HAS SOPS 28508 HAS SOUS 9032 HAS SOUPS 7582 WITH SCORE 7622.707
AT ITER 3575 NEW BEST:: SOT 69020 SOS 40698 HAS SOPS 28501 HAS SOUS 9015 HAS SOUPS 7565 WITH SCORE 7605.698
AT ITER 3590 NEW BEST:: SOT 68986 SOS 40698 HAS SOPS 28467 HAS SOUS 9005 HAS SOUPS 7555 WITH SCORE 7595.698
AT ITER 3602 NEW BEST:: SOT 68965 SOS 40681 HAS SOPS 28450 HAS SOUS 8982 HAS SOUPS 7532 WITH SCORE 7572.681
AT ITER 3609 NEW BEST:: SOT 68967 SOS 40675 HAS SOPS 28444 HAS SOUS 8978 HAS SOUPS 7528 WITH SCORE 7568.675
AT ITER 3626 NEW BEST:: SOT 68965 SOS 40674 HAS SOPS 28443 HAS SOUS 8978 HAS SOUPS 7528 WITH SCORE 7568.674
AT ITER 3654 NEW BEST:: SOT 68982 SOS 40633 HAS SOPS 28403 HAS SOUS 8951 HAS SOUPS 7502 WITH SCORE 7542.633
AT ITER 3666 NEW BEST:: SOT 68981 SOS 40630 HAS SOPS 28401 HAS SOUS 8948 HAS SOUPS 7499 WITH SCORE 7539.63
AT ITER 3680 NEW BEST:: SOT 68794 SOS 41254 HAS SOPS 28455 HAS SOUS 8962 HAS SOUPS 7487 WITH SCORE 7528.254
AT ITER 3694 NEW BEST:: SOT 68788 SOS 41248 HAS SOPS 28497 HAS SOUS 8950 HAS SOUPS 7475 WITH SCORE 7516.248
AT ITER 3717 NEW BEST:: SOT 68767 SOS 41226 HAS SOPS 28475 HAS SOUS 8943 HAS SOUPS 7468 WITH SCORE 7509.226
AT ITER 3747 NEW BEST:: SOT 68785 SOS 41214 HAS SOPS 28603 HAS SOUS 8924 HAS SOUPS 7463 WITH SCORE 7504.214
AT ITER 3754 NEW BEST:: SOT 68792 SOS 41211 HAS SOPS 28600 HAS SOUS 8920 HAS SOUPS 7459 WITH SCORE 7500.211
AT ITER 3774 NEW BEST:: SOT 68368 SOS 40939 HAS SOPS 28615 HAS SOUS 8944 HAS SOUPS 7447 WITH SCORE 7487.939
AT ITER 3790 NEW BEST:: SOT 68365 SOS 40949 HAS SOPS 28613 HAS SOUS 8945 HAS SOUPS 7446 WITH SCORE 7486.949
AT ITER 3794 NEW BEST:: SOT 68364 SOS 40948 HAS SOPS 28611 HAS SOUS 8943 HAS SOUPS 7444 WITH SCORE 7484.948
AT ITER 3796 NEW BEST:: SOT 68358 SOS 40948 HAS SOPS 28605 HAS SOUS 8937 HAS SOUPS 7438 WITH SCORE 7478.948
AT ITER 3811 NEW BEST:: SOT 68334 SOS 40920 HAS SOPS 28577 HAS SOUS 8933 HAS SOUPS 7434 WITH SCORE 7474.92
AT ITER 3840 NEW BEST:: SOT 68343 SOS 40922 HAS SOPS 28575 HAS SOUS 8926 HAS SOUPS 7427 WITH SCORE 7467.922
AT ITER 3847 NEW BEST:: SOT 68382 SOS 40965 HAS SOPS 28611 HAS SOUS 8924 HAS SOUPS 7425 WITH SCORE 7465.965
AT ITER 3850 NEW BEST:: SOT 68372 SOS 40955 HAS SOPS 28551 HAS SOUS 8922 HAS SOUPS 7423 WITH SCORE 7463.955
AT ITER 3872 NEW BEST:: SOT 68283 SOS 40856 HAS SOPS 28459 HAS SOUS 8898 HAS SOUPS 7399 WITH SCORE 7439.856
AT ITER 3874 NEW BEST:: SOT 68257 SOS 40842 HAS SOPS 28447 HAS SOUS 8896 HAS SOUPS 7397 WITH SCORE 7437.842
AT ITER 3885 NEW BEST:: SOT 68234 SOS 40824 HAS SOPS 28429 HAS SOUS 8894 HAS SOUPS 7395 WITH SCORE 7435.824
AT ITER 3889 NEW BEST:: SOT 68221 SOS 40746 HAS SOPS 28351 HAS SOUS 8855 HAS SOUPS 7356 WITH SCORE 7396.746
AT ITER 3966 NEW BEST:: SOT 68219 SOS 40746 HAS SOPS 28349 HAS SOUS 8853 HAS SOUPS 7354 WITH SCORE 7394.746
AT ITER 4038 NEW BEST:: SOT 68217 SOS 40744 HAS SOPS 28347 HAS SOUS 8853 HAS SOUPS 7354 WITH SCORE 7394.744
AT ITER 4045 NEW BEST:: SOT 68214 SOS 40741 HAS SOPS 28347 HAS SOUS 8850 HAS SOUPS 7354 WITH SCORE 7394.741
AT ITER 4094 NEW BEST:: SOT 68155 SOS 40680 HAS SOPS 28271 HAS SOUS 8850 HAS SOUPS 7352 WITH SCORE 7392.68
AT ITER 4101 NEW BEST:: SOT 68012 SOS 42324 HAS SOPS 28157 HAS SOUS 8816 HAS SOUPS 7287 WITH SCORE 7329.324
AT ITER 4105 NEW BEST:: SOT 68011 SOS 42335 HAS SOPS 28160 HAS SOUS 8814 HAS SOUPS 7285 WITH SCORE 7327.335
AT ITER 4129 NEW BEST:: SOT 68005 SOS 42328 HAS SOPS 28153 HAS SOUS 8812 HAS SOUPS 7283 WITH SCORE 7325.328
AT ITER 4143 NEW BEST:: SOT 67982 SOS 42284 HAS SOPS 28129 HAS SOUS 8806 HAS SOUPS 7277 WITH SCORE 7319.284
AT ITER 4160 NEW BEST:: SOT 67982 SOS 42284 HAS SOPS 28119 HAS SOUS 8796 HAS SOUPS 7267 WITH SCORE 7309.284
AT ITER 4189 NEW BEST:: SOT 67980 SOS 42280 HAS SOPS 28115 HAS SOUS 8791 HAS SOUPS 7263 WITH SCORE 7305.28
AT ITER 4255 NEW BEST:: SOT 67980 SOS 42276 HAS SOPS 28111 HAS SOUS 8791 HAS SOUPS 7263 WITH SCORE 7305.276
AT ITER 4276 NEW BEST:: SOT 68072 SOS 42353 HAS SOPS 28183 HAS SOUS 8768 HAS SOUPS 7240 WITH SCORE 7282.353
AT ITER 4338 NEW BEST:: SOT 68060 SOS 42333 HAS SOPS 28167 HAS SOUS 8756 HAS SOUPS 7232 WITH SCORE 7274.333
AT ITER 4428 NEW BEST:: SOT 68062 SOS 42332 HAS SOPS 28165 HAS SOUS 8757 HAS SOUPS 7232 WITH SCORE 7274.332
AT ITER 4456 NEW BEST:: SOT 68088 SOS 42371 HAS SOPS 28204 HAS SOUS 8752 HAS SOUPS 7227 WITH SCORE 7269.371
AT ITER 4510 NEW BEST:: SOT 68080 SOS 42361 HAS SOPS 28167 HAS SOUS 8749 HAS SOUPS 7221 WITH SCORE 7263.361
AT ITER 4634 NEW BEST:: SOT 68074 SOS 42355 HAS SOPS 28162 HAS SOUS 8748 HAS SOUPS 7220 WITH SCORE 7262.355
AT ITER 4775 NEW BEST:: SOT 68055 SOS 42338 HAS SOPS 28145 HAS SOUS 8745 HAS SOUPS 7217 WITH SCORE 7259.338
AT ITER 4782 NEW BEST:: SOT 68055 SOS 42338 HAS SOPS 28145 HAS SOUS 8726 HAS SOUPS 7198 WITH SCORE 7240.338
AT ITER 4812 NEW BEST:: SOT 68043 SOS 42326 HAS SOPS 28133 HAS SOUS 8719 HAS SOUPS 7191 WITH SCORE 7233.326
AT ITER 4823 NEW BEST:: SOT 68041 SOS 42322 HAS SOPS 28129 HAS SOUS 8717 HAS SOUPS 7189 WITH SCORE 7231.322
AT ITER 4849 NEW BEST:: SOT 68032 SOS 42307 HAS SOPS 28114 HAS SOUS 8705 HAS SOUPS 7177 WITH SCORE 7219.307
AT ITER 4959 NEW BEST:: SOT 68035 SOS 42310 HAS SOPS 28117 HAS SOUS 8708 HAS SOUPS 7174 WITH SCORE 7216.31
AT ITER 4989 NEW BEST:: SOT 67683 SOS 42306 HAS SOPS 28117 HAS SOUS 8741 HAS SOUPS 7174 WITH SCORE 7216.306
AT ITER 4994 NEW BEST:: SOT 67656 SOS 42252 HAS SOPS 28063 HAS SOUS 8727 HAS SOUPS 7160 WITH SCORE 7202.252
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-00 (AG( ( ( (! potential( (tk(P31)) <= (tk(P127)) )) | potential( (tk(P9)) <= (tk(P63)) ) ) | ( (! potential( ( 1 ) <= (tk(P100)) )) & (! potential( (tk(P98)) <= (tk(P152)) )) ) )))
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-01 (AF(( (! (! potential( ( 3 ) <= (tk(P142)) ))) | ( (! potential( (tk(P159)) <= (tk(P96)) )) & ( potential( ( 3 ) <= (tk(P35)) ) | potential( (tk(P123)) <= (tk(P44)) ) ) ) )))
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-02 (! (AX( (EG( potential( (tk(P12)) <= (tk(P84)) ))))))
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-03 (AU( ( ( potential( (tk(P175)) <= (tk(P28)) ) | potential( (tk(P39)) <= (tk(P95)) ) ) & (! potential( ( 1 ) <= (tk(P166)) )) ),potential( ( 3 ) <= (tk(P72)) ) ))
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-04 (EU( (AF(potential( ( 3 ) <= (tk(P126)) ))),potential( ( 2 ) <= (tk(P42)) ) ))
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-05 (EF(( (AF(potential( ( 1 ) <= (tk(P32)) ))) | potential( ( 1 ) <= (tk(P123)) ) )))
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-06 ( (EU( potential( ( 2 ) <= (tk(P159)) ),potential( ( 3 ) <= (tk(P138)) ) )) | (EG( ( (! potential( ( 2 ) <= (tk(P94)) )) | ( potential( ( 2 ) <= (tk(P77)) ) & potential( (tk(P179)) <= (tk(P48)) ) ) ))) )
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-07 ( (AG( ( ( potential( (tk(P67)) <= (tk(P161)) ) | potential( ( 1 ) <= (tk(P158)) ) ) & (! potential( (tk(P159)) <= (tk(P80)) )) ))) | (! (! (EF(potential( ( 2 ) <= (tk(P179)) ))))) )
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-08 (EG( (EU( potential( ( 2 ) <= (tk(P90)) ),potential( (tk(P110)) <= (tk(P160)) ) ))))
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-09 (EU( ( (! potential( ( 1 ) <= (tk(P17)) )) | potential( ( 3 ) <= (tk(P98)) ) ),(AG( potential( ( 3 ) <= (tk(P91)) ))) ))
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-10 (EF(( ( (! potential( ( 3 ) <= (tk(P70)) )) & (! potential( ( 2 ) <= (tk(P146)) )) ) & (EX( potential( ( 3 ) <= (tk(P92)) ))) )))
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-11 (! ( (EF(( potential( ( 3 ) <= (tk(P57)) ) | potential( ( 2 ) <= (tk(P96)) ) ))) & (EF(( potential( (tk(P46)) <= (tk(P34)) ) & potential( ( 3 ) <= (tk(P100)) ) ))) ))
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-12 (! (EF(( ( potential( (tk(P166)) <= (tk(P109)) ) | potential( (tk(P107)) <= (tk(P179)) ) ) & potential( ( 1 ) <= (tk(P64)) ) ))))
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-13 (! (EG( ( (! potential( ( 1 ) <= (tk(P19)) )) & ( potential( (tk(P23)) <= (tk(P8)) ) | potential( ( 2 ) <= (tk(P136)) ) ) ))))
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-14 (EF((EG( (! potential( (tk(P40)) <= (tk(P124)) ))))))
PROPERTY: CloudDeployment-PT-5a-CTLCardinality-15 ( ( (AF(( potential( ( 1 ) <= (tk(P168)) ) | potential( ( 3 ) <= (tk(P142)) ) ))) | (! ( ( potential( (tk(P77)) <= (tk(P103)) ) | potential( (tk(P10)) <= (tk(P69)) ) ) & (! potential( ( 2 ) <= (tk(P107)) )) )) ) | ( ( potential( ( 1 ) <= (tk(P75)) ) | ( potential( ( 1 ) <= (tk(P47)) ) & ( potential( (tk(P54)) <= (tk(P89)) ) & potential( ( 2 ) <= (tk(P38)) ) ) ) ) | potential( ( 1 ) <= (tk(P143)) ) ) )

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is CloudDeployment-PT-5a, examination is CTLCardinality"
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-158901926000315"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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