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

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

=== Now, execution of the tool begins

BK_START 1589150284762

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 5a
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: 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 9 NEW BEST:: SOT 93389 SOS 54412 HAS SOPS 50873 HAS SOUS 43092 HAS SOUPS 39954 WITH SCORE 40008.412
AT ITER 27 NEW BEST:: SOT 93396 SOS 54418 HAS SOPS 50907 HAS SOUS 43049 HAS SOUPS 39939 WITH SCORE 39993.418
AT ITER 29 NEW BEST:: SOT 93234 SOS 54706 HAS SOPS 50889 HAS SOUS 42959 HAS SOUPS 39921 WITH SCORE 39975.706
AT ITER 36 NEW BEST:: SOT 93297 SOS 54778 HAS SOPS 51012 HAS SOUS 42821 HAS SOUPS 39834 WITH SCORE 39888.778
AT ITER 38 NEW BEST:: SOT 93497 SOS 54860 HAS SOPS 51194 HAS SOUS 42559 HAS SOUPS 39672 WITH SCORE 39726.86
AT ITER 45 NEW BEST:: SOT 93759 SOS 54923 HAS SOPS 51257 HAS SOUS 42158 HAS SOUPS 39271 WITH SCORE 39325.923
AT ITER 47 NEW BEST:: SOT 93913 SOS 55037 HAS SOPS 51448 HAS SOUS 41907 HAS SOUPS 39097 WITH SCORE 39152.037
AT ITER 48 NEW BEST:: SOT 93987 SOS 54963 HAS SOPS 51337 HAS SOUS 41773 HAS SOUPS 38926 WITH SCORE 38980.963
AT ITER 49 NEW BEST:: SOT 94206 SOS 55189 HAS SOPS 51563 HAS SOUS 41610 HAS SOUPS 38763 WITH SCORE 38818.189
AT ITER 51 NEW BEST:: SOT 94015 SOS 54836 HAS SOPS 51210 HAS SOUS 41534 HAS SOUPS 38687 WITH SCORE 38741.836
AT ITER 52 NEW BEST:: SOT 93946 SOS 54744 HAS SOPS 51141 HAS SOUS 41488 HAS SOUPS 38664 WITH SCORE 38718.744
AT ITER 53 NEW BEST:: SOT 93918 SOS 54768 HAS SOPS 51181 HAS SOUS 41422 HAS SOUPS 38614 WITH SCORE 38668.768
AT ITER 56 NEW BEST:: SOT 93918 SOS 54682 HAS SOPS 51095 HAS SOUS 41349 HAS SOUPS 38541 WITH SCORE 38595.682
AT ITER 57 NEW BEST:: SOT 93420 SOS 54464 HAS SOPS 50732 HAS SOUS 40984 HAS SOUPS 38178 WITH SCORE 38232.464
AT ITER 60 NEW BEST:: SOT 93416 SOS 54460 HAS SOPS 50728 HAS SOUS 40980 HAS SOUPS 38174 WITH SCORE 38228.46
AT ITER 61 NEW BEST:: SOT 93416 SOS 54330 HAS SOPS 50598 HAS SOUS 40688 HAS SOUPS 37882 WITH SCORE 37936.33
AT ITER 63 NEW BEST:: SOT 93333 SOS 54282 HAS SOPS 50458 HAS SOUS 39096 HAS SOUPS 36198 WITH SCORE 36252.282
AT ITER 64 NEW BEST:: SOT 93285 SOS 54199 HAS SOPS 50268 HAS SOUS 39056 HAS SOUPS 36111 WITH SCORE 36165.199
AT ITER 65 NEW BEST:: SOT 93362 SOS 54353 HAS SOPS 50505 HAS SOUS 38890 HAS SOUPS 36028 WITH SCORE 36082.353
AT ITER 69 NEW BEST:: SOT 93352 SOS 54283 HAS SOPS 50435 HAS SOUS 38854 HAS SOUPS 35992 WITH SCORE 36046.283
AT ITER 72 NEW BEST:: SOT 93376 SOS 54307 HAS SOPS 50471 HAS SOUS 38818 HAS SOUPS 35968 WITH SCORE 36022.307
AT ITER 75 NEW BEST:: SOT 93405 SOS 54275 HAS SOPS 50409 HAS SOUS 38792 HAS SOUPS 35912 WITH SCORE 35966.275
AT ITER 76 NEW BEST:: SOT 93548 SOS 54249 HAS SOPS 50383 HAS SOUS 38765 HAS SOUPS 35885 WITH SCORE 35939.249
AT ITER 78 NEW BEST:: SOT 93469 SOS 54169 HAS SOPS 50303 HAS SOUS 38657 HAS SOUPS 35777 WITH SCORE 35831.169
AT ITER 80 NEW BEST:: SOT 93584 SOS 54399 HAS SOPS 50591 HAS SOUS 38583 HAS SOUPS 35761 WITH SCORE 35815.399
AT ITER 81 NEW BEST:: SOT 93716 SOS 54441 HAS SOPS 50707 HAS SOUS 38273 HAS SOUPS 35525 WITH SCORE 35579.441
AT ITER 82 NEW BEST:: SOT 93713 SOS 54395 HAS SOPS 50661 HAS SOUS 38247 HAS SOUPS 35499 WITH SCORE 35553.395
AT ITER 85 NEW BEST:: SOT 93813 SOS 54228 HAS SOPS 50494 HAS SOUS 38098 HAS SOUPS 35350 WITH SCORE 35404.228
AT ITER 88 NEW BEST:: SOT 93791 SOS 54217 HAS SOPS 50494 HAS SOUS 38065 HAS SOUPS 35328 WITH SCORE 35382.217
AT ITER 91 NEW BEST:: SOT 93828 SOS 54259 HAS SOPS 50536 HAS SOUS 38051 HAS SOUPS 35314 WITH SCORE 35368.259
AT ITER 95 NEW BEST:: SOT 93751 SOS 54186 HAS SOPS 50490 HAS SOUS 37999 HAS SOUPS 35289 WITH SCORE 35343.186
AT ITER 98 NEW BEST:: SOT 93751 SOS 54145 HAS SOPS 50449 HAS SOUS 37999 HAS SOUPS 35289 WITH SCORE 35343.145
AT ITER 99 NEW BEST:: SOT 93787 SOS 54163 HAS SOPS 50485 HAS SOUS 37924 HAS SOUPS 35232 WITH SCORE 35286.163
AT ITER 100 NEW BEST:: SOT 93728 SOS 54160 HAS SOPS 50350 HAS SOUS 37935 HAS SOUPS 35211 WITH SCORE 35265.16
AT ITER 101 NEW BEST:: SOT 93728 SOS 54160 HAS SOPS 50427 HAS SOUS 37653 HAS SOUPS 35006 WITH SCORE 35060.16
AT ITER 109 NEW BEST:: SOT 93684 SOS 54198 HAS SOPS 50465 HAS SOUS 37650 HAS SOUPS 35003 WITH SCORE 35057.198
AT ITER 111 NEW BEST:: SOT 93656 SOS 54174 HAS SOPS 50441 HAS SOUS 37626 HAS SOUPS 34979 WITH SCORE 35033.174
AT ITER 114 NEW BEST:: SOT 93720 SOS 54058 HAS SOPS 50325 HAS SOUS 37532 HAS SOUPS 34885 WITH SCORE 34939.058
AT ITER 117 NEW BEST:: SOT 93693 SOS 54049 HAS SOPS 50325 HAS SOUS 37511 HAS SOUPS 34873 WITH SCORE 34927.049
AT ITER 118 NEW BEST:: SOT 93693 SOS 54049 HAS SOPS 50325 HAS SOUS 37493 HAS SOUPS 34855 WITH SCORE 34909.049
AT ITER 120 NEW BEST:: SOT 93771 SOS 53933 HAS SOPS 50209 HAS SOUS 37472 HAS SOUPS 34834 WITH SCORE 34887.933
AT ITER 121 NEW BEST:: SOT 93753 SOS 53897 HAS SOPS 50173 HAS SOUS 37454 HAS SOUPS 34816 WITH SCORE 34869.897
AT ITER 122 NEW BEST:: SOT 94005 SOS 54273 HAS SOPS 50549 HAS SOUS 37412 HAS SOUPS 34774 WITH SCORE 34828.273
AT ITER 129 NEW BEST:: SOT 93984 SOS 54273 HAS SOPS 50549 HAS SOUS 37370 HAS SOUPS 34732 WITH SCORE 34786.273
AT ITER 132 NEW BEST:: SOT 94288 SOS 54522 HAS SOPS 50798 HAS SOUS 37271 HAS SOUPS 34633 WITH SCORE 34687.522
AT ITER 133 NEW BEST:: SOT 94284 SOS 54532 HAS SOPS 50790 HAS SOUS 37271 HAS SOUPS 34630 WITH SCORE 34684.532
AT ITER 135 NEW BEST:: SOT 94275 SOS 54523 HAS SOPS 50778 HAS SOUS 37157 HAS SOUPS 34513 WITH SCORE 34567.523
AT ITER 137 NEW BEST:: SOT 94275 SOS 54499 HAS SOPS 50754 HAS SOUS 37085 HAS SOUPS 34441 WITH SCORE 34495.499
AT ITER 143 NEW BEST:: SOT 94265 SOS 54489 HAS SOPS 50744 HAS SOUS 37063 HAS SOUPS 34419 WITH SCORE 34473.489
AT ITER 148 NEW BEST:: SOT 94184 SOS 54462 HAS SOPS 50744 HAS SOUS 36929 HAS SOUPS 34312 WITH SCORE 34366.462
AT ITER 149 NEW BEST:: SOT 94173 SOS 54404 HAS SOPS 50686 HAS SOUS 36871 HAS SOUPS 34254 WITH SCORE 34308.404
AT ITER 150 NEW BEST:: SOT 94153 SOS 54364 HAS SOPS 50646 HAS SOUS 36855 HAS SOUPS 34238 WITH SCORE 34292.364
AT ITER 151 NEW BEST:: SOT 94211 SOS 54372 HAS SOPS 50627 HAS SOUS 36790 HAS SOUPS 34146 WITH SCORE 34200.372
AT ITER 152 NEW BEST:: SOT 94318 SOS 54403 HAS SOPS 50735 HAS SOUS 36500 HAS SOUPS 33933 WITH SCORE 33987.403
AT ITER 162 NEW BEST:: SOT 94306 SOS 54368 HAS SOPS 50692 HAS SOUS 36386 HAS SOUPS 33811 WITH SCORE 33865.368
AT ITER 164 NEW BEST:: SOT 94306 SOS 54367 HAS SOPS 50691 HAS SOUS 36385 HAS SOUPS 33810 WITH SCORE 33864.367
AT ITER 166 NEW BEST:: SOT 94917 SOS 55000 HAS SOPS 51324 HAS SOUS 34873 HAS SOUPS 32298 WITH SCORE 32353.0
AT ITER 167 NEW BEST:: SOT 95011 SOS 54961 HAS SOPS 51285 HAS SOUS 34655 HAS SOUPS 32080 WITH SCORE 32134.961
AT ITER 168 NEW BEST:: SOT 95011 SOS 54756 HAS SOPS 51080 HAS SOUS 34633 HAS SOUPS 32058 WITH SCORE 32112.756
AT ITER 169 NEW BEST:: SOT 94912 SOS 54612 HAS SOPS 50963 HAS SOUS 34511 HAS SOUPS 31963 WITH SCORE 32017.612
AT ITER 172 NEW BEST:: SOT 95034 SOS 54784 HAS SOPS 51206 HAS SOUS 34449 HAS SOUPS 31962 WITH SCORE 32016.784
AT ITER 173 NEW BEST:: SOT 95034 SOS 54768 HAS SOPS 51190 HAS SOUS 34421 HAS SOUPS 31934 WITH SCORE 31988.768
AT ITER 174 NEW BEST:: SOT 95003 SOS 54737 HAS SOPS 51159 HAS SOUS 34390 HAS SOUPS 31903 WITH SCORE 31957.737
AT ITER 175 NEW BEST:: SOT 95040 SOS 54871 HAS SOPS 51293 HAS SOUS 34363 HAS SOUPS 31876 WITH SCORE 31930.871
AT ITER 176 NEW BEST:: SOT 94958 SOS 54862 HAS SOPS 51284 HAS SOUS 34281 HAS SOUPS 31794 WITH SCORE 31848.862
AT ITER 177 NEW BEST:: SOT 94958 SOS 54708 HAS SOPS 51130 HAS SOUS 34197 HAS SOUPS 31710 WITH SCORE 31764.708
AT ITER 179 NEW BEST:: SOT 95085 SOS 54668 HAS SOPS 51090 HAS SOUS 34126 HAS SOUPS 31639 WITH SCORE 31693.668
AT ITER 181 NEW BEST:: SOT 95035 SOS 54543 HAS SOPS 50965 HAS SOUS 34000 HAS SOUPS 31513 WITH SCORE 31567.543
AT ITER 183 NEW BEST:: SOT 95260 SOS 54746 HAS SOPS 51168 HAS SOUS 33909 HAS SOUPS 31422 WITH SCORE 31476.746
AT ITER 185 NEW BEST:: SOT 95260 SOS 54677 HAS SOPS 51099 HAS SOUS 33822 HAS SOUPS 31335 WITH SCORE 31389.677
AT ITER 188 NEW BEST:: SOT 95309 SOS 54662 HAS SOPS 51084 HAS SOUS 33808 HAS SOUPS 31321 WITH SCORE 31375.662
AT ITER 190 NEW BEST:: SOT 95140 SOS 54497 HAS SOPS 50919 HAS SOUS 33771 HAS SOUPS 31284 WITH SCORE 31338.497
AT ITER 196 NEW BEST:: SOT 95140 SOS 54623 HAS SOPS 51045 HAS SOUS 30554 HAS SOUPS 28067 WITH SCORE 28121.623
AT ITER 204 NEW BEST:: SOT 95012 SOS 54544 HAS SOPS 50966 HAS SOUS 30513 HAS SOUPS 28026 WITH SCORE 28080.544
AT ITER 208 NEW BEST:: SOT 95001 SOS 54522 HAS SOPS 50952 HAS SOUS 30504 HAS SOUPS 28025 WITH SCORE 28079.522
AT ITER 209 NEW BEST:: SOT 95004 SOS 54397 HAS SOPS 50827 HAS SOUS 30412 HAS SOUPS 27933 WITH SCORE 27987.397
AT ITER 211 NEW BEST:: SOT 94935 SOS 54259 HAS SOPS 50735 HAS SOUS 30157 HAS SOUPS 27724 WITH SCORE 27778.259
AT ITER 214 NEW BEST:: SOT 94969 SOS 54259 HAS SOPS 50752 HAS SOUS 30129 HAS SOUPS 27713 WITH SCORE 27767.259
AT ITER 216 NEW BEST:: SOT 94965 SOS 54210 HAS SOPS 50703 HAS SOUS 30033 HAS SOUPS 27617 WITH SCORE 27671.21
AT ITER 220 NEW BEST:: SOT 94956 SOS 54118 HAS SOPS 50611 HAS SOUS 29824 HAS SOUPS 27408 WITH SCORE 27462.118
AT ITER 224 NEW BEST:: SOT 94894 SOS 54056 HAS SOPS 50549 HAS SOUS 29762 HAS SOUPS 27346 WITH SCORE 27400.056
AT ITER 226 NEW BEST:: SOT 94869 SOS 54098 HAS SOPS 50591 HAS SOUS 29752 HAS SOUPS 27336 WITH SCORE 27390.098
AT ITER 229 NEW BEST:: SOT 95082 SOS 54284 HAS SOPS 50858 HAS SOUS 29647 HAS SOUPS 27312 WITH SCORE 27366.284
AT ITER 233 NEW BEST:: SOT 95170 SOS 54305 HAS SOPS 50848 HAS SOUS 29640 HAS SOUPS 27274 WITH SCORE 27328.305
AT ITER 236 NEW BEST:: SOT 95155 SOS 54290 HAS SOPS 50833 HAS SOUS 29625 HAS SOUPS 27259 WITH SCORE 27313.29
AT ITER 237 NEW BEST:: SOT 95273 SOS 54276 HAS SOPS 50927 HAS SOUS 29511 HAS SOUPS 27253 WITH SCORE 27307.276
AT ITER 238 NEW BEST:: SOT 94929 SOS 54382 HAS SOPS 50879 HAS SOUS 29373 HAS SOUPS 27209 WITH SCORE 27263.382
AT ITER 239 NEW BEST:: SOT 94913 SOS 54374 HAS SOPS 50863 HAS SOUS 29381 HAS SOUPS 27209 WITH SCORE 27263.374
AT ITER 243 NEW BEST:: SOT 94815 SOS 54277 HAS SOPS 50799 HAS SOUS 29252 HAS SOUPS 27113 WITH SCORE 27167.277
AT ITER 245 NEW BEST:: SOT 94814 SOS 54274 HAS SOPS 50796 HAS SOUS 29249 HAS SOUPS 27110 WITH SCORE 27164.274
AT ITER 248 NEW BEST:: SOT 94195 SOS 55276 HAS SOPS 50173 HAS SOUS 29149 HAS SOUPS 26954 WITH SCORE 27009.276
AT ITER 249 NEW BEST:: SOT 94128 SOS 55098 HAS SOPS 49995 HAS SOUS 28940 HAS SOUPS 26745 WITH SCORE 26800.098
AT ITER 250 NEW BEST:: SOT 94217 SOS 55096 HAS SOPS 49993 HAS SOUS 28932 HAS SOUPS 26737 WITH SCORE 26792.096
AT ITER 253 NEW BEST:: SOT 94203 SOS 55075 HAS SOPS 49972 HAS SOUS 28918 HAS SOUPS 26723 WITH SCORE 26778.075
AT ITER 255 NEW BEST:: SOT 94201 SOS 55155 HAS SOPS 50052 HAS SOUS 27165 HAS SOUPS 24970 WITH SCORE 25025.155
AT ITER 256 NEW BEST:: SOT 94225 SOS 55203 HAS SOPS 50100 HAS SOUS 27127 HAS SOUPS 24932 WITH SCORE 24987.203
AT ITER 258 NEW BEST:: SOT 94233 SOS 55176 HAS SOPS 50073 HAS SOUS 27082 HAS SOUPS 24887 WITH SCORE 24942.176
AT ITER 260 NEW BEST:: SOT 94117 SOS 55112 HAS SOPS 49954 HAS SOUS 27056 HAS SOUPS 24851 WITH SCORE 24906.112
AT ITER 269 NEW BEST:: SOT 92922 SOS 54792 HAS SOPS 48951 HAS SOUS 26294 HAS SOUPS 24083 WITH SCORE 24137.792
AT ITER 273 NEW BEST:: SOT 92888 SOS 51049 HAS SOPS 44806 HAS SOUS 26183 HAS SOUPS 23934 WITH SCORE 23985.049
AT ITER 277 NEW BEST:: SOT 93005 SOS 51127 HAS SOPS 44923 HAS SOUS 26130 HAS SOUPS 23920 WITH SCORE 23971.127
AT ITER 285 NEW BEST:: SOT 92665 SOS 52473 HAS SOPS 44752 HAS SOUS 25965 HAS SOUPS 23770 WITH SCORE 23822.473
AT ITER 290 NEW BEST:: SOT 90820 SOS 52751 HAS SOPS 43900 HAS SOUS 24736 HAS SOUPS 22751 WITH SCORE 22803.751
AT ITER 293 NEW BEST:: SOT 91508 SOS 53459 HAS SOPS 44608 HAS SOUS 24544 HAS SOUPS 22559 WITH SCORE 22612.459
AT ITER 294 NEW BEST:: SOT 91372 SOS 53241 HAS SOPS 44492 HAS SOUS 24344 HAS SOUPS 22410 WITH SCORE 22463.241
AT ITER 295 NEW BEST:: SOT 91368 SOS 53231 HAS SOPS 44484 HAS SOUS 24330 HAS SOUPS 22396 WITH SCORE 22449.231
AT ITER 296 NEW BEST:: SOT 91424 SOS 53231 HAS SOPS 44484 HAS SOUS 24316 HAS SOUPS 22382 WITH SCORE 22435.231
AT ITER 298 NEW BEST:: SOT 91424 SOS 53167 HAS SOPS 44420 HAS SOUS 24316 HAS SOUPS 22382 WITH SCORE 22435.167
AT ITER 302 NEW BEST:: SOT 91402 SOS 53145 HAS SOPS 44369 HAS SOUS 24269 HAS SOUPS 22331 WITH SCORE 22384.145
AT ITER 303 NEW BEST:: SOT 91402 SOS 48545 HAS SOPS 34402 HAS SOUS 23853 HAS SOUPS 21324 WITH SCORE 21372.545
AT ITER 304 NEW BEST:: SOT 91379 SOS 48008 HAS SOPS 32998 HAS SOUS 22655 HAS SOUPS 20126 WITH SCORE 20174.008
AT ITER 305 NEW BEST:: SOT 91191 SOS 48389 HAS SOPS 32840 HAS SOUS 22761 HAS SOUPS 20123 WITH SCORE 20171.389
AT ITER 310 NEW BEST:: SOT 91138 SOS 48434 HAS SOPS 32873 HAS SOUS 22702 HAS SOUPS 20064 WITH SCORE 20112.434
AT ITER 315 NEW BEST:: SOT 91107 SOS 48431 HAS SOPS 32870 HAS SOUS 22699 HAS SOUPS 20061 WITH SCORE 20109.431
AT ITER 316 NEW BEST:: SOT 91099 SOS 48423 HAS SOPS 32852 HAS SOUS 22699 HAS SOUPS 20059 WITH SCORE 20107.423
AT ITER 321 NEW BEST:: SOT 91415 SOS 48723 HAS SOPS 33133 HAS SOUS 21170 HAS SOUPS 18530 WITH SCORE 18578.723
AT ITER 330 NEW BEST:: SOT 91409 SOS 48712 HAS SOPS 33084 HAS SOUS 21145 HAS SOUPS 18505 WITH SCORE 18553.712
AT ITER 335 NEW BEST:: SOT 91279 SOS 48662 HAS SOPS 33034 HAS SOUS 21070 HAS SOUPS 18430 WITH SCORE 18478.662
AT ITER 336 NEW BEST:: SOT 91275 SOS 48607 HAS SOPS 32963 HAS SOUS 21015 HAS SOUPS 18375 WITH SCORE 18423.607
AT ITER 343 NEW BEST:: SOT 91137 SOS 48377 HAS SOPS 32640 HAS SOUS 20877 HAS SOUPS 18148 WITH SCORE 18196.377
AT ITER 344 NEW BEST:: SOT 91102 SOS 48261 HAS SOPS 32641 HAS SOUS 20823 HAS SOUPS 18094 WITH SCORE 18142.261
AT ITER 346 NEW BEST:: SOT 91140 SOS 48275 HAS SOPS 32480 HAS SOUS 20782 HAS SOUPS 18053 WITH SCORE 18101.275
AT ITER 348 NEW BEST:: SOT 91012 SOS 48261 HAS SOPS 32466 HAS SOUS 20668 HAS SOUPS 17939 WITH SCORE 17987.261
AT ITER 349 NEW BEST:: SOT 90724 SOS 48162 HAS SOPS 32054 HAS SOUS 20402 HAS SOUPS 17573 WITH SCORE 17621.162
AT ITER 352 NEW BEST:: SOT 90697 SOS 48099 HAS SOPS 31973 HAS SOUS 20375 HAS SOUPS 17537 WITH SCORE 17585.099
AT ITER 358 NEW BEST:: SOT 90750 SOS 48140 HAS SOPS 32021 HAS SOUS 20333 HAS SOUPS 17495 WITH SCORE 17543.14
AT ITER 360 NEW BEST:: SOT 90647 SOS 48290 HAS SOPS 31625 HAS SOUS 20121 HAS SOUPS 17210 WITH SCORE 17258.29
AT ITER 361 NEW BEST:: SOT 90620 SOS 47625 HAS SOPS 30960 HAS SOUS 19981 HAS SOUPS 17023 WITH SCORE 17070.625
AT ITER 362 NEW BEST:: SOT 90607 SOS 47612 HAS SOPS 31007 HAS SOUS 19981 HAS SOUPS 17023 WITH SCORE 17070.612
AT ITER 363 NEW BEST:: SOT 90600 SOS 47568 HAS SOPS 30993 HAS SOUS 19967 HAS SOUPS 17009 WITH SCORE 17056.568
AT ITER 370 NEW BEST:: SOT 90416 SOS 47522 HAS SOPS 30947 HAS SOUS 19923 HAS SOUPS 16965 WITH SCORE 17012.522
AT ITER 376 NEW BEST:: SOT 90045 SOS 47151 HAS SOPS 30667 HAS SOUS 19756 HAS SOUPS 16779 WITH SCORE 16826.151
AT ITER 377 NEW BEST:: SOT 90018 SOS 47124 HAS SOPS 30640 HAS SOUS 19729 HAS SOUPS 16752 WITH SCORE 16799.124
AT ITER 380 NEW BEST:: SOT 89824 SOS 47181 HAS SOPS 30875 HAS SOUS 19645 HAS SOUPS 16740 WITH SCORE 16787.181
AT ITER 382 NEW BEST:: SOT 89781 SOS 47177 HAS SOPS 31001 HAS SOUS 19643 HAS SOUPS 16738 WITH SCORE 16785.177
AT ITER 383 NEW BEST:: SOT 89772 SOS 47162 HAS SOPS 30980 HAS SOUS 19634 HAS SOUPS 16726 WITH SCORE 16773.162
AT ITER 386 NEW BEST:: SOT 89745 SOS 47135 HAS SOPS 30948 HAS SOUS 19607 HAS SOUPS 16694 WITH SCORE 16741.135
AT ITER 394 NEW BEST:: SOT 89429 SOS 48874 HAS SOPS 30767 HAS SOUS 19601 HAS SOUPS 16578 WITH SCORE 16626.874
AT ITER 395 NEW BEST:: SOT 89500 SOS 48854 HAS SOPS 30666 HAS SOUS 19556 HAS SOUPS 16459 WITH SCORE 16507.854
AT ITER 396 NEW BEST:: SOT 89457 SOS 48811 HAS SOPS 30616 HAS SOUS 19506 HAS SOUPS 16409 WITH SCORE 16457.811
AT ITER 397 NEW BEST:: SOT 89485 SOS 48900 HAS SOPS 30705 HAS SOUS 19497 HAS SOUPS 16400 WITH SCORE 16448.9
AT ITER 398 NEW BEST:: SOT 89439 SOS 48930 HAS SOPS 30714 HAS SOUS 19429 HAS SOUPS 16332 WITH SCORE 16380.93
AT ITER 401 NEW BEST:: SOT 89401 SOS 48892 HAS SOPS 30676 HAS SOUS 19391 HAS SOUPS 16294 WITH SCORE 16342.892
AT ITER 404 NEW BEST:: SOT 89399 SOS 48834 HAS SOPS 30598 HAS SOUS 19334 HAS SOUPS 16237 WITH SCORE 16285.834
AT ITER 411 NEW BEST:: SOT 89340 SOS 48802 HAS SOPS 30528 HAS SOUS 19234 HAS SOUPS 16118 WITH SCORE 16166.802
AT ITER 412 NEW BEST:: SOT 89104 SOS 48440 HAS SOPS 30681 HAS SOUS 19121 HAS SOUPS 16065 WITH SCORE 16113.44
AT ITER 415 NEW BEST:: SOT 89096 SOS 48432 HAS SOPS 30671 HAS SOUS 19113 HAS SOUPS 16055 WITH SCORE 16103.432
AT ITER 418 NEW BEST:: SOT 88933 SOS 48345 HAS SOPS 30571 HAS SOUS 19088 HAS SOUPS 16006 WITH SCORE 16054.345
AT ITER 427 NEW BEST:: SOT 88926 SOS 48446 HAS SOPS 30641 HAS SOUS 19069 HAS SOUPS 15987 WITH SCORE 16035.446
AT ITER 429 NEW BEST:: SOT 88921 SOS 48440 HAS SOPS 30635 HAS SOUS 19068 HAS SOUPS 15984 WITH SCORE 16032.44
AT ITER 435 NEW BEST:: SOT 88967 SOS 48486 HAS SOPS 30689 HAS SOUS 18752 HAS SOUPS 15668 WITH SCORE 15716.486
AT ITER 436 NEW BEST:: SOT 86872 SOS 52053 HAS SOPS 30562 HAS SOUS 18431 HAS SOUPS 15492 WITH SCORE 15544.053
AT ITER 440 NEW BEST:: SOT 86822 SOS 52003 HAS SOPS 30512 HAS SOUS 18412 HAS SOUPS 15473 WITH SCORE 15525.003
AT ITER 444 NEW BEST:: SOT 86799 SOS 52210 HAS SOPS 30604 HAS SOUS 18412 HAS SOUPS 15450 WITH SCORE 15502.21
AT ITER 448 NEW BEST:: SOT 86801 SOS 51780 HAS SOPS 30486 HAS SOUS 18308 HAS SOUPS 15360 WITH SCORE 15411.78
AT ITER 453 NEW BEST:: SOT 86339 SOS 51318 HAS SOPS 30232 HAS SOUS 18014 HAS SOUPS 15106 WITH SCORE 15157.318
AT ITER 454 NEW BEST:: SOT 86351 SOS 51306 HAS SOPS 30220 HAS SOUS 18014 HAS SOUPS 15106 WITH SCORE 15157.306
AT ITER 458 NEW BEST:: SOT 86351 SOS 51300 HAS SOPS 30214 HAS SOUS 18008 HAS SOUPS 15100 WITH SCORE 15151.3
AT ITER 461 NEW BEST:: SOT 86260 SOS 51219 HAS SOPS 30162 HAS SOUS 17970 HAS SOUPS 15062 WITH SCORE 15113.219
AT ITER 475 NEW BEST:: SOT 86259 SOS 51371 HAS SOPS 30506 HAS SOUS 17545 HAS SOUPS 14697 WITH SCORE 14748.371
AT ITER 487 NEW BEST:: SOT 86259 SOS 51353 HAS SOPS 30488 HAS SOUS 17545 HAS SOUPS 14697 WITH SCORE 14748.353
AT ITER 494 NEW BEST:: SOT 86238 SOS 51332 HAS SOPS 30467 HAS SOUS 17531 HAS SOUPS 14683 WITH SCORE 14734.332
AT ITER 499 NEW BEST:: SOT 86200 SOS 51326 HAS SOPS 30461 HAS SOUS 17527 HAS SOUPS 14679 WITH SCORE 14730.326
AT ITER 503 NEW BEST:: SOT 86062 SOS 51169 HAS SOPS 30273 HAS SOUS 17050 HAS SOUPS 14202 WITH SCORE 14253.169
AT ITER 504 NEW BEST:: SOT 85963 SOS 51479 HAS SOPS 30333 HAS SOUS 17099 HAS SOUPS 14201 WITH SCORE 14252.479
AT ITER 505 NEW BEST:: SOT 85138 SOS 50654 HAS SOPS 29508 HAS SOUS 16874 HAS SOUPS 13976 WITH SCORE 14026.654
AT ITER 508 NEW BEST:: SOT 85478 SOS 50994 HAS SOPS 29848 HAS SOUS 16809 HAS SOUPS 13911 WITH SCORE 13961.994
AT ITER 514 NEW BEST:: SOT 85464 SOS 50980 HAS SOPS 29834 HAS SOUS 16795 HAS SOUPS 13897 WITH SCORE 13947.98
AT ITER 533 NEW BEST:: SOT 85432 SOS 50862 HAS SOPS 29770 HAS SOUS 16832 HAS SOUPS 13881 WITH SCORE 13931.862
AT ITER 536 NEW BEST:: SOT 85414 SOS 50844 HAS SOPS 29768 HAS SOUS 16821 HAS SOUPS 13879 WITH SCORE 13929.844
AT ITER 542 NEW BEST:: SOT 85414 SOS 50991 HAS SOPS 29748 HAS SOUS 16838 HAS SOUPS 13864 WITH SCORE 13914.991
AT ITER 545 NEW BEST:: SOT 85380 SOS 51027 HAS SOPS 29711 HAS SOUS 16819 HAS SOUPS 13845 WITH SCORE 13896.027
AT ITER 550 NEW BEST:: SOT 85386 SOS 51018 HAS SOPS 29705 HAS SOUS 16813 HAS SOUPS 13839 WITH SCORE 13890.018
AT ITER 553 NEW BEST:: SOT 85476 SOS 50986 HAS SOPS 29756 HAS SOUS 16704 HAS SOUPS 13808 WITH SCORE 13858.986
AT ITER 555 NEW BEST:: SOT 85484 SOS 50977 HAS SOPS 29772 HAS SOUS 16684 HAS SOUPS 13801 WITH SCORE 13851.977
AT ITER 564 NEW BEST:: SOT 85468 SOS 50993 HAS SOPS 29708 HAS SOUS 16676 HAS SOUPS 13785 WITH SCORE 13835.993
AT ITER 569 NEW BEST:: SOT 85468 SOS 50993 HAS SOPS 29706 HAS SOUS 16675 HAS SOUPS 13784 WITH SCORE 13834.993
AT ITER 570 NEW BEST:: SOT 84442 SOS 50699 HAS SOPS 29654 HAS SOUS 16503 HAS SOUPS 13732 WITH SCORE 13782.699
AT ITER 578 NEW BEST:: SOT 84538 SOS 50757 HAS SOPS 29829 HAS SOUS 16446 HAS SOUPS 13675 WITH SCORE 13725.757
AT ITER 584 NEW BEST:: SOT 84526 SOS 50733 HAS SOPS 29805 HAS SOUS 16434 HAS SOUPS 13663 WITH SCORE 13713.733
AT ITER 590 NEW BEST:: SOT 84612 SOS 52191 HAS SOPS 29801 HAS SOUS 16530 HAS SOUPS 13659 WITH SCORE 13711.191
AT ITER 594 NEW BEST:: SOT 84582 SOS 52161 HAS SOPS 29771 HAS SOUS 16500 HAS SOUPS 13629 WITH SCORE 13681.161
AT ITER 595 NEW BEST:: SOT 84578 SOS 52081 HAS SOPS 29339 HAS SOUS 16478 HAS SOUPS 13557 WITH SCORE 13609.081
AT ITER 599 NEW BEST:: SOT 84434 SOS 51991 HAS SOPS 29339 HAS SOUS 16454 HAS SOUPS 13551 WITH SCORE 13602.991
AT ITER 608 NEW BEST:: SOT 84417 SOS 52144 HAS SOPS 29407 HAS SOUS 16454 HAS SOUPS 13534 WITH SCORE 13586.144
AT ITER 613 NEW BEST:: SOT 84459 SOS 52325 HAS SOPS 29608 HAS SOUS 16406 HAS SOUPS 13486 WITH SCORE 13538.325
AT ITER 618 NEW BEST:: SOT 84431 SOS 52530 HAS SOPS 29628 HAS SOUS 16400 HAS SOUPS 13444 WITH SCORE 13496.53
AT ITER 622 NEW BEST:: SOT 84451 SOS 52530 HAS SOPS 29638 HAS SOUS 16370 HAS SOUPS 13424 WITH SCORE 13476.53
AT ITER 625 NEW BEST:: SOT 84443 SOS 52514 HAS SOPS 29622 HAS SOUS 16356 HAS SOUPS 13410 WITH SCORE 13462.514
AT ITER 633 NEW BEST:: SOT 84720 SOS 52321 HAS SOPS 25122 HAS SOUS 16492 HAS SOUPS 12867 WITH SCORE 12919.321
AT ITER 635 NEW BEST:: SOT 84715 SOS 52316 HAS SOPS 25117 HAS SOUS 16487 HAS SOUPS 12862 WITH SCORE 12914.316
AT ITER 639 NEW BEST:: SOT 84771 SOS 52204 HAS SOPS 25173 HAS SOUS 16459 HAS SOUPS 12862 WITH SCORE 12914.204
AT ITER 640 NEW BEST:: SOT 84675 SOS 52103 HAS SOPS 25115 HAS SOUS 16121 HAS SOUPS 12524 WITH SCORE 12576.103
AT ITER 650 NEW BEST:: SOT 84701 SOS 52059 HAS SOPS 25132 HAS SOUS 16107 HAS SOUPS 12510 WITH SCORE 12562.059
AT ITER 661 NEW BEST:: SOT 84701 SOS 52057 HAS SOPS 25132 HAS SOUS 16105 HAS SOUPS 12508 WITH SCORE 12560.057
AT ITER 662 NEW BEST:: SOT 84687 SOS 52128 HAS SOPS 25158 HAS SOUS 16109 HAS SOUPS 12503 WITH SCORE 12555.128
AT ITER 670 NEW BEST:: SOT 84638 SOS 52030 HAS SOPS 25077 HAS SOUS 16042 HAS SOUPS 12404 WITH SCORE 12456.03
AT ITER 675 NEW BEST:: SOT 84640 SOS 52049 HAS SOPS 25075 HAS SOUS 16041 HAS SOUPS 12403 WITH SCORE 12455.049
AT ITER 692 NEW BEST:: SOT 84630 SOS 52039 HAS SOPS 25065 HAS SOUS 16021 HAS SOUPS 12383 WITH SCORE 12435.039
AT ITER 704 NEW BEST:: SOT 84627 SOS 52027 HAS SOPS 25053 HAS SOUS 16015 HAS SOUPS 12377 WITH SCORE 12429.027
AT ITER 707 NEW BEST:: SOT 84612 SOS 51934 HAS SOPS 24960 HAS SOUS 16003 HAS SOUPS 12365 WITH SCORE 12416.934
AT ITER 709 NEW BEST:: SOT 85773 SOS 53095 HAS SOPS 26121 HAS SOUS 15994 HAS SOUPS 12356 WITH SCORE 12409.095
AT ITER 729 NEW BEST:: SOT 85268 SOS 52590 HAS SOPS 25616 HAS SOUS 15759 HAS SOUPS 12121 WITH SCORE 12173.59
AT ITER 730 NEW BEST:: SOT 85322 SOS 51843 HAS SOPS 25601 HAS SOUS 15699 HAS SOUPS 12121 WITH SCORE 12172.843
AT ITER 741 NEW BEST:: SOT 85475 SOS 52034 HAS SOPS 25717 HAS SOUS 15685 HAS SOUPS 12107 WITH SCORE 12159.034
AT ITER 742 NEW BEST:: SOT 85491 SOS 51958 HAS SOPS 25633 HAS SOUS 15645 HAS SOUPS 12067 WITH SCORE 12118.958
AT ITER 745 NEW BEST:: SOT 85497 SOS 51598 HAS SOPS 25625 HAS SOUS 15627 HAS SOUPS 12063 WITH SCORE 12114.598
AT ITER 748 NEW BEST:: SOT 85515 SOS 51490 HAS SOPS 25625 HAS SOUS 15609 HAS SOUPS 12063 WITH SCORE 12114.49
AT ITER 751 NEW BEST:: SOT 85527 SOS 51497 HAS SOPS 25641 HAS SOUS 15606 HAS SOUPS 12061 WITH SCORE 12112.497
AT ITER 753 NEW BEST:: SOT 85546 SOS 51478 HAS SOPS 25793 HAS SOUS 15587 HAS SOUPS 12061 WITH SCORE 12112.478
AT ITER 756 NEW BEST:: SOT 85553 SOS 51457 HAS SOPS 25772 HAS SOUS 15566 HAS SOUPS 12040 WITH SCORE 12091.457
AT ITER 761 NEW BEST:: SOT 85548 SOS 51447 HAS SOPS 25790 HAS SOUS 15545 HAS SOUPS 12019 WITH SCORE 12070.447
AT ITER 773 NEW BEST:: SOT 85389 SOS 51288 HAS SOPS 25631 HAS SOUS 15386 HAS SOUPS 11860 WITH SCORE 11911.288
AT ITER 774 NEW BEST:: SOT 85422 SOS 50598 HAS SOPS 25315 HAS SOUS 15372 HAS SOUPS 11844 WITH SCORE 11894.598
AT ITER 777 NEW BEST:: SOT 85696 SOS 50872 HAS SOPS 25589 HAS SOUS 15358 HAS SOUPS 11830 WITH SCORE 11880.872
AT ITER 780 NEW BEST:: SOT 85668 SOS 50816 HAS SOPS 25609 HAS SOUS 15384 HAS SOUPS 11818 WITH SCORE 11868.816
AT ITER 781 NEW BEST:: SOT 85646 SOS 50794 HAS SOPS 25587 HAS SOUS 15362 HAS SOUPS 11796 WITH SCORE 11846.794
AT ITER 782 NEW BEST:: SOT 85511 SOS 50803 HAS SOPS 25587 HAS SOUS 15335 HAS SOUPS 11787 WITH SCORE 11837.803
AT ITER 798 NEW BEST:: SOT 85380 SOS 50805 HAS SOPS 25589 HAS SOUS 15313 HAS SOUPS 11765 WITH SCORE 11815.805
AT ITER 806 NEW BEST:: SOT 85279 SOS 50642 HAS SOPS 25465 HAS SOUS 15248 HAS SOUPS 11661 WITH SCORE 11711.642
AT ITER 808 NEW BEST:: SOT 85352 SOS 50525 HAS SOPS 25359 HAS SOUS 15040 HAS SOUPS 11511 WITH SCORE 11561.525
AT ITER 817 NEW BEST:: SOT 85342 SOS 50515 HAS SOPS 25349 HAS SOUS 15030 HAS SOUPS 11491 WITH SCORE 11541.515
AT ITER 820 NEW BEST:: SOT 85312 SOS 50485 HAS SOPS 25347 HAS SOUS 15028 HAS SOUPS 11489 WITH SCORE 11539.485
AT ITER 826 NEW BEST:: SOT 85300 SOS 50441 HAS SOPS 25307 HAS SOUS 15024 HAS SOUPS 11485 WITH SCORE 11535.441
AT ITER 836 NEW BEST:: SOT 85329 SOS 50567 HAS SOPS 25331 HAS SOUS 15040 HAS SOUPS 11484 WITH SCORE 11534.567
AT ITER 852 NEW BEST:: SOT 85164 SOS 50402 HAS SOPS 25166 HAS SOUS 14875 HAS SOUPS 11319 WITH SCORE 11369.402
AT ITER 861 NEW BEST:: SOT 85251 SOS 50369 HAS SOPS 25046 HAS SOUS 14755 HAS SOUPS 11199 WITH SCORE 11249.369
AT ITER 868 NEW BEST:: SOT 85212 SOS 50308 HAS SOPS 24972 HAS SOUS 14681 HAS SOUPS 11125 WITH SCORE 11175.308
AT ITER 875 NEW BEST:: SOT 82041 SOS 54110 HAS SOPS 24841 HAS SOUS 14551 HAS SOUPS 11086 WITH SCORE 11140.11
AT ITER 882 NEW BEST:: SOT 81989 SOS 54080 HAS SOPS 24789 HAS SOUS 14514 HAS SOUPS 11034 WITH SCORE 11088.08
AT ITER 885 NEW BEST:: SOT 82030 SOS 54141 HAS SOPS 24724 HAS SOUS 14514 HAS SOUPS 11013 WITH SCORE 11067.141
AT ITER 916 NEW BEST:: SOT 82024 SOS 54135 HAS SOPS 24718 HAS SOUS 14505 HAS SOUPS 11004 WITH SCORE 11058.135
AT ITER 921 NEW BEST:: SOT 82004 SOS 54123 HAS SOPS 24706 HAS SOUS 14482 HAS SOUPS 10981 WITH SCORE 11035.123
AT ITER 930 NEW BEST:: SOT 81993 SOS 54056 HAS SOPS 24594 HAS SOUS 14401 HAS SOUPS 10945 WITH SCORE 10999.056
AT ITER 950 NEW BEST:: SOT 81827 SOS 54079 HAS SOPS 24483 HAS SOUS 14401 HAS SOUPS 10881 WITH SCORE 10935.079
AT ITER 951 NEW BEST:: SOT 81879 SOS 54148 HAS SOPS 25011 HAS SOUS 14363 HAS SOUPS 10843 WITH SCORE 10897.148
AT ITER 964 NEW BEST:: SOT 81824 SOS 54347 HAS SOPS 25176 HAS SOUS 14339 HAS SOUPS 10819 WITH SCORE 10873.347
AT ITER 972 NEW BEST:: SOT 81824 SOS 54314 HAS SOPS 25158 HAS SOUS 14330 HAS SOUPS 10813 WITH SCORE 10867.314
AT ITER 987 NEW BEST:: SOT 81823 SOS 54313 HAS SOPS 25173 HAS SOUS 14260 HAS SOUPS 10743 WITH SCORE 10797.313
AT ITER 992 NEW BEST:: SOT 81747 SOS 54531 HAS SOPS 25201 HAS SOUS 14296 HAS SOUPS 10738 WITH SCORE 10792.531
AT ITER 995 NEW BEST:: SOT 81688 SOS 54782 HAS SOPS 25185 HAS SOUS 14298 HAS SOUPS 10724 WITH SCORE 10778.782
AT ITER 997 NEW BEST:: SOT 81652 SOS 54540 HAS SOPS 24943 HAS SOUS 14298 HAS SOUPS 10724 WITH SCORE 10778.54
AT ITER 998 NEW BEST:: SOT 81744 SOS 54519 HAS SOPS 24436 HAS SOUS 14296 HAS SOUPS 10645 WITH SCORE 10699.519
AT ITER 1000 NEW BEST:: SOT 81729 SOS 54489 HAS SOPS 24406 HAS SOUS 14290 HAS SOUPS 10639 WITH SCORE 10693.489
AT ITER 1013 NEW BEST:: SOT 81825 SOS 54590 HAS SOPS 23271 HAS SOUS 14379 HAS SOUPS 10495 WITH SCORE 10549.59
AT ITER 1017 NEW BEST:: SOT 81822 SOS 54584 HAS SOPS 23265 HAS SOUS 14377 HAS SOUPS 10493 WITH SCORE 10547.584
AT ITER 1048 NEW BEST:: SOT 81806 SOS 54473 HAS SOPS 23285 HAS SOUS 14332 HAS SOUPS 10479 WITH SCORE 10533.473
AT ITER 1050 NEW BEST:: SOT 81783 SOS 54427 HAS SOPS 23256 HAS SOUS 14314 HAS SOUPS 10444 WITH SCORE 10498.427
AT ITER 1057 NEW BEST:: SOT 81783 SOS 54425 HAS SOPS 23254 HAS SOUS 14313 HAS SOUPS 10443 WITH SCORE 10497.425
AT ITER 1087 NEW BEST:: SOT 81664 SOS 54338 HAS SOPS 23199 HAS SOUS 14215 HAS SOUPS 10365 WITH SCORE 10419.338
AT ITER 1103 NEW BEST:: SOT 81520 SOS 54205 HAS SOPS 23187 HAS SOUS 14150 HAS SOUPS 10333 WITH SCORE 10387.205
AT ITER 1110 NEW BEST:: SOT 81514 SOS 54183 HAS SOPS 23110 HAS SOUS 14145 HAS SOUPS 10328 WITH SCORE 10382.183
AT ITER 1111 NEW BEST:: SOT 81513 SOS 54169 HAS SOPS 23084 HAS SOUS 14139 HAS SOUPS 10319 WITH SCORE 10373.169
AT ITER 1129 NEW BEST:: SOT 81493 SOS 54149 HAS SOPS 23064 HAS SOUS 14139 HAS SOUPS 10319 WITH SCORE 10373.149
AT ITER 1148 NEW BEST:: SOT 81510 SOS 54150 HAS SOPS 23058 HAS SOUS 14112 HAS SOUPS 10305 WITH SCORE 10359.15
AT ITER 1157 NEW BEST:: SOT 81438 SOS 54330 HAS SOPS 22702 HAS SOUS 14080 HAS SOUPS 10237 WITH SCORE 10291.33
AT ITER 1170 NEW BEST:: SOT 81332 SOS 54281 HAS SOPS 22708 HAS SOUS 14022 HAS SOUPS 10179 WITH SCORE 10233.281
AT ITER 1171 NEW BEST:: SOT 81214 SOS 54184 HAS SOPS 22598 HAS SOUS 13886 HAS SOUPS 10043 WITH SCORE 10097.184
AT ITER 1203 NEW BEST:: SOT 81158 SOS 54128 HAS SOPS 22598 HAS SOUS 13796 HAS SOUPS 9953 WITH SCORE 10007.128
AT ITER 1218 NEW BEST:: SOT 81110 SOS 54154 HAS SOPS 22534 HAS SOUS 13773 HAS SOUPS 9915 WITH SCORE 9969.154
AT ITER 1223 NEW BEST:: SOT 80975 SOS 54019 HAS SOPS 22399 HAS SOUS 13638 HAS SOUPS 9780 WITH SCORE 9834.019
AT ITER 1237 NEW BEST:: SOT 80972 SOS 54017 HAS SOPS 22396 HAS SOUS 13635 HAS SOUPS 9777 WITH SCORE 9831.017
AT ITER 1245 NEW BEST:: SOT 81499 SOS 52179 HAS SOPS 22395 HAS SOUS 13490 HAS SOUPS 9776 WITH SCORE 9828.179
AT ITER 1291 NEW BEST:: SOT 81483 SOS 52171 HAS SOPS 22339 HAS SOUS 13498 HAS SOUPS 9776 WITH SCORE 9828.171
AT ITER 1302 NEW BEST:: SOT 81445 SOS 52136 HAS SOPS 22303 HAS SOUS 13479 HAS SOUPS 9769 WITH SCORE 9821.136
AT ITER 1309 NEW BEST:: SOT 81450 SOS 52136 HAS SOPS 22298 HAS SOUS 13479 HAS SOUPS 9764 WITH SCORE 9816.136
AT ITER 1326 NEW BEST:: SOT 81360 SOS 52036 HAS SOPS 22175 HAS SOUS 13504 HAS SOUPS 9722 WITH SCORE 9774.036
AT ITER 1338 NEW BEST:: SOT 81369 SOS 52169 HAS SOPS 22193 HAS SOUS 13536 HAS SOUPS 9719 WITH SCORE 9771.169
AT ITER 1356 NEW BEST:: SOT 81258 SOS 52146 HAS SOPS 22181 HAS SOUS 13492 HAS SOUPS 9663 WITH SCORE 9715.146
AT ITER 1358 NEW BEST:: SOT 81229 SOS 52160 HAS SOPS 22205 HAS SOUS 13491 HAS SOUPS 9662 WITH SCORE 9714.16
AT ITER 1361 NEW BEST:: SOT 81213 SOS 52144 HAS SOPS 22173 HAS SOUS 13466 HAS SOUPS 9630 WITH SCORE 9682.144
AT ITER 1365 NEW BEST:: SOT 81166 SOS 52097 HAS SOPS 22118 HAS SOUS 13449 HAS SOUPS 9605 WITH SCORE 9657.097
AT ITER 1384 NEW BEST:: SOT 81165 SOS 52096 HAS SOPS 22123 HAS SOUS 13447 HAS SOUPS 9603 WITH SCORE 9655.096
AT ITER 1394 NEW BEST:: SOT 81163 SOS 52094 HAS SOPS 22121 HAS SOUS 13445 HAS SOUPS 9601 WITH SCORE 9653.094
AT ITER 1405 NEW BEST:: SOT 81089 SOS 52071 HAS SOPS 22053 HAS SOUS 13406 HAS SOUPS 9562 WITH SCORE 9614.071
AT ITER 1413 NEW BEST:: SOT 79933 SOS 51369 HAS SOPS 21955 HAS SOUS 13291 HAS SOUPS 9476 WITH SCORE 9527.369
AT ITER 1414 NEW BEST:: SOT 79932 SOS 51368 HAS SOPS 21953 HAS SOUS 13289 HAS SOUPS 9474 WITH SCORE 9525.368
AT ITER 1420 NEW BEST:: SOT 79897 SOS 51333 HAS SOPS 21918 HAS SOUS 13219 HAS SOUPS 9404 WITH SCORE 9455.333
AT ITER 1426 NEW BEST:: SOT 79896 SOS 51334 HAS SOPS 21918 HAS SOUS 13216 HAS SOUPS 9401 WITH SCORE 9452.334
AT ITER 1433 NEW BEST:: SOT 79915 SOS 51353 HAS SOPS 21911 HAS SOUS 13115 HAS SOUPS 9274 WITH SCORE 9325.353
AT ITER 1445 NEW BEST:: SOT 79910 SOS 51303 HAS SOPS 21861 HAS SOUS 13115 HAS SOUPS 9274 WITH SCORE 9325.303
AT ITER 1455 NEW BEST:: SOT 79904 SOS 51267 HAS SOPS 21795 HAS SOUS 13103 HAS SOUPS 9262 WITH SCORE 9313.267
AT ITER 1456 NEW BEST:: SOT 79904 SOS 51265 HAS SOPS 21793 HAS SOUS 13103 HAS SOUPS 9262 WITH SCORE 9313.265
AT ITER 1473 NEW BEST:: SOT 78884 SOS 51801 HAS SOPS 21774 HAS SOUS 13256 HAS SOUPS 9243 WITH SCORE 9294.801
AT ITER 1475 NEW BEST:: SOT 78900 SOS 51817 HAS SOPS 21552 HAS SOUS 13289 HAS SOUPS 9233 WITH SCORE 9284.817
AT ITER 1479 NEW BEST:: SOT 78870 SOS 51787 HAS SOPS 21516 HAS SOUS 13253 HAS SOUPS 9197 WITH SCORE 9248.787
AT ITER 1489 NEW BEST:: SOT 78864 SOS 51778 HAS SOPS 21504 HAS SOUS 13247 HAS SOUPS 9185 WITH SCORE 9236.778
AT ITER 1491 NEW BEST:: SOT 78882 SOS 51726 HAS SOPS 21500 HAS SOUS 13213 HAS SOUPS 9181 WITH SCORE 9232.726
AT ITER 1501 NEW BEST:: SOT 78884 SOS 51725 HAS SOPS 21491 HAS SOUS 13184 HAS SOUPS 9152 WITH SCORE 9203.725
AT ITER 1518 NEW BEST:: SOT 78945 SOS 51771 HAS SOPS 21401 HAS SOUS 13097 HAS SOUPS 9062 WITH SCORE 9113.771
AT ITER 1519 NEW BEST:: SOT 78916 SOS 51769 HAS SOPS 21371 HAS SOUS 13093 HAS SOUPS 9048 WITH SCORE 9099.769
AT ITER 1525 NEW BEST:: SOT 78896 SOS 51817 HAS SOPS 21364 HAS SOUS 13082 HAS SOUPS 9026 WITH SCORE 9077.817
AT ITER 1526 NEW BEST:: SOT 78879 SOS 51848 HAS SOPS 21360 HAS SOUS 13078 HAS SOUPS 9016 WITH SCORE 9067.848
AT ITER 1540 NEW BEST:: SOT 78875 SOS 51844 HAS SOPS 21356 HAS SOUS 13069 HAS SOUPS 9007 WITH SCORE 9058.844
AT ITER 1549 NEW BEST:: SOT 79073 SOS 51946 HAS SOPS 21366 HAS SOUS 12941 HAS SOUPS 8934 WITH SCORE 8985.946
AT ITER 1575 NEW BEST:: SOT 79033 SOS 51906 HAS SOPS 21336 HAS SOUS 12921 HAS SOUPS 8914 WITH SCORE 8965.906
AT ITER 1599 NEW BEST:: SOT 78963 SOS 51805 HAS SOPS 21248 HAS SOUS 12876 HAS SOUPS 8869 WITH SCORE 8920.805
AT ITER 1633 NEW BEST:: SOT 78950 SOS 51690 HAS SOPS 21274 HAS SOUS 12869 HAS SOUPS 8865 WITH SCORE 8916.69
AT ITER 1645 NEW BEST:: SOT 78919 SOS 51659 HAS SOPS 21238 HAS SOUS 12828 HAS SOUPS 8824 WITH SCORE 8875.659
AT ITER 1649 NEW BEST:: SOT 79408 SOS 50432 HAS SOPS 21238 HAS SOUS 12723 HAS SOUPS 8824 WITH SCORE 8874.432
AT ITER 1659 NEW BEST:: SOT 79367 SOS 50395 HAS SOPS 21168 HAS SOUS 12629 HAS SOUPS 8730 WITH SCORE 8780.395
AT ITER 1666 NEW BEST:: SOT 79338 SOS 50373 HAS SOPS 21152 HAS SOUS 12627 HAS SOUPS 8728 WITH SCORE 8778.373
AT ITER 1689 NEW BEST:: SOT 79336 SOS 50361 HAS SOPS 21132 HAS SOUS 12623 HAS SOUPS 8722 WITH SCORE 8772.361
AT ITER 1694 NEW BEST:: SOT 79351 SOS 50361 HAS SOPS 21132 HAS SOUS 12617 HAS SOUPS 8716 WITH SCORE 8766.361
AT ITER 1708 NEW BEST:: SOT 79335 SOS 50398 HAS SOPS 21124 HAS SOUS 12625 HAS SOUPS 8715 WITH SCORE 8765.398
AT ITER 1721 NEW BEST:: SOT 79330 SOS 50388 HAS SOPS 21102 HAS SOUS 12624 HAS SOUPS 8710 WITH SCORE 8760.388
AT ITER 1751 NEW BEST:: SOT 79320 SOS 50378 HAS SOPS 21102 HAS SOUS 12600 HAS SOUPS 8706 WITH SCORE 8756.378
AT ITER 1752 NEW BEST:: SOT 79469 SOS 50511 HAS SOPS 18155 HAS SOUS 12738 HAS SOUPS 8204 WITH SCORE 8254.511
AT ITER 1784 NEW BEST:: SOT 79484 SOS 50520 HAS SOPS 18152 HAS SOUS 12724 HAS SOUPS 8190 WITH SCORE 8240.52
AT ITER 1807 NEW BEST:: SOT 79486 SOS 50522 HAS SOPS 18154 HAS SOUS 12701 HAS SOUPS 8167 WITH SCORE 8217.522
AT ITER 1822 NEW BEST:: SOT 79446 SOS 50490 HAS SOPS 18106 HAS SOUS 12653 HAS SOUPS 8119 WITH SCORE 8169.49
AT ITER 1832 NEW BEST:: SOT 79441 SOS 50512 HAS SOPS 18137 HAS SOUS 12635 HAS SOUPS 8101 WITH SCORE 8151.512
AT ITER 1855 NEW BEST:: SOT 79460 SOS 50645 HAS SOPS 18270 HAS SOUS 12629 HAS SOUPS 8095 WITH SCORE 8145.645
AT ITER 1883 NEW BEST:: SOT 79555 SOS 50607 HAS SOPS 18232 HAS SOUS 12614 HAS SOUPS 8080 WITH SCORE 8130.607
AT ITER 1884 NEW BEST:: SOT 79506 SOS 50464 HAS SOPS 18089 HAS SOUS 12596 HAS SOUPS 8062 WITH SCORE 8112.464
AT ITER 1916 NEW BEST:: SOT 78937 SOS 49895 HAS SOPS 17520 HAS SOUS 12474 HAS SOUPS 7940 WITH SCORE 7989.895
AT ITER 1933 NEW BEST:: SOT 78934 SOS 49890 HAS SOPS 17512 HAS SOUS 12472 HAS SOUPS 7937 WITH SCORE 7986.89
AT ITER 1935 NEW BEST:: SOT 78930 SOS 49886 HAS SOPS 17507 HAS SOUS 12468 HAS SOUPS 7932 WITH SCORE 7981.886
AT ITER 1963 NEW BEST:: SOT 78920 SOS 49785 HAS SOPS 17473 HAS SOUS 12463 HAS SOUPS 7916 WITH SCORE 7965.785
AT ITER 1976 NEW BEST:: SOT 78925 SOS 49771 HAS SOPS 17474 HAS SOUS 12460 HAS SOUPS 7913 WITH SCORE 7962.771
AT ITER 1982 NEW BEST:: SOT 78887 SOS 49823 HAS SOPS 17508 HAS SOUS 12450 HAS SOUPS 7907 WITH SCORE 7956.823
AT ITER 1991 NEW BEST:: SOT 78883 SOS 49819 HAS SOPS 17500 HAS SOUS 12441 HAS SOUPS 7902 WITH SCORE 7951.819
AT ITER 2005 NEW BEST:: SOT 78857 SOS 49698 HAS SOPS 17471 HAS SOUS 12427 HAS SOUPS 7888 WITH SCORE 7937.698
AT ITER 2007 NEW BEST:: SOT 78854 SOS 49716 HAS SOPS 17477 HAS SOUS 12417 HAS SOUPS 7871 WITH SCORE 7920.716
AT ITER 2050 NEW BEST:: SOT 78850 SOS 49708 HAS SOPS 17469 HAS SOUS 12409 HAS SOUPS 7863 WITH SCORE 7912.708
AT ITER 2079 NEW BEST:: SOT 78858 SOS 49689 HAS SOPS 17450 HAS SOUS 12397 HAS SOUPS 7851 WITH SCORE 7900.689
AT ITER 2095 NEW BEST:: SOT 78851 SOS 49682 HAS SOPS 17436 HAS SOUS 12397 HAS SOUPS 7844 WITH SCORE 7893.682
AT ITER 2133 NEW BEST:: SOT 78827 SOS 49658 HAS SOPS 17400 HAS SOUS 12373 HAS SOUPS 7820 WITH SCORE 7869.658
AT ITER 2140 NEW BEST:: SOT 78822 SOS 49653 HAS SOPS 17390 HAS SOUS 12363 HAS SOUPS 7810 WITH SCORE 7859.653
AT ITER 2155 NEW BEST:: SOT 78770 SOS 49601 HAS SOPS 17261 HAS SOUS 12352 HAS SOUPS 7799 WITH SCORE 7848.601
AT ITER 2156 NEW BEST:: SOT 78987 SOS 49717 HAS SOPS 17228 HAS SOUS 12338 HAS SOUPS 7786 WITH SCORE 7835.717
AT ITER 2193 NEW BEST:: SOT 79075 SOS 49731 HAS SOPS 17248 HAS SOUS 12333 HAS SOUPS 7783 WITH SCORE 7832.731
AT ITER 2199 NEW BEST:: SOT 79074 SOS 49730 HAS SOPS 17246 HAS SOUS 12338 HAS SOUPS 7781 WITH SCORE 7830.73
AT ITER 2212 NEW BEST:: SOT 79070 SOS 49718 HAS SOPS 17234 HAS SOUS 12326 HAS SOUPS 7771 WITH SCORE 7820.718
AT ITER 2229 NEW BEST:: SOT 79066 SOS 49714 HAS SOPS 17230 HAS SOUS 12321 HAS SOUPS 7766 WITH SCORE 7815.714
AT ITER 2237 NEW BEST:: SOT 79063 SOS 49687 HAS SOPS 17199 HAS SOUS 12297 HAS SOUPS 7731 WITH SCORE 7780.687
AT ITER 2244 NEW BEST:: SOT 78889 SOS 49505 HAS SOPS 17009 HAS SOUS 12277 HAS SOUPS 7711 WITH SCORE 7760.505
AT ITER 2247 NEW BEST:: SOT 78878 SOS 49489 HAS SOPS 16993 HAS SOUS 12265 HAS SOUPS 7699 WITH SCORE 7748.489
AT ITER 2258 NEW BEST:: SOT 78870 SOS 49473 HAS SOPS 16985 HAS SOUS 12272 HAS SOUPS 7699 WITH SCORE 7748.473
AT ITER 2267 NEW BEST:: SOT 78820 SOS 49459 HAS SOPS 16971 HAS SOUS 12276 HAS SOUPS 7699 WITH SCORE 7748.459
AT ITER 2275 NEW BEST:: SOT 78914 SOS 49402 HAS SOPS 16927 HAS SOUS 12245 HAS SOUPS 7696 WITH SCORE 7745.402
AT ITER 2296 NEW BEST:: SOT 78906 SOS 49067 HAS SOPS 16737 HAS SOUS 12211 HAS SOUPS 7691 WITH SCORE 7740.067
AT ITER 2321 NEW BEST:: SOT 78904 SOS 49049 HAS SOPS 16705 HAS SOUS 12237 HAS SOUPS 7689 WITH SCORE 7738.049
AT ITER 2341 NEW BEST:: SOT 78513 SOS 49355 HAS SOPS 16711 HAS SOUS 12215 HAS SOUPS 7688 WITH SCORE 7737.355
AT ITER 2381 NEW BEST:: SOT 78477 SOS 49319 HAS SOPS 16636 HAS SOUS 12202 HAS SOUPS 7675 WITH SCORE 7724.319
AT ITER 2407 NEW BEST:: SOT 78445 SOS 49287 HAS SOPS 16586 HAS SOUS 12152 HAS SOUPS 7625 WITH SCORE 7674.287
AT ITER 2412 NEW BEST:: SOT 78443 SOS 49285 HAS SOPS 16586 HAS SOUS 12150 HAS SOUPS 7625 WITH SCORE 7674.285
AT ITER 2452 NEW BEST:: SOT 78565 SOS 49407 HAS SOPS 16708 HAS SOUS 12008 HAS SOUPS 7483 WITH SCORE 7532.407
AT ITER 2455 NEW BEST:: SOT 78547 SOS 49425 HAS SOPS 16681 HAS SOUS 11999 HAS SOUPS 7474 WITH SCORE 7523.425
AT ITER 2463 NEW BEST:: SOT 78549 SOS 49443 HAS SOPS 16699 HAS SOUS 11989 HAS SOUPS 7464 WITH SCORE 7513.443
AT ITER 2471 NEW BEST:: SOT 78549 SOS 49437 HAS SOPS 16693 HAS SOUS 11986 HAS SOUPS 7461 WITH SCORE 7510.437
AT ITER 2516 NEW BEST:: SOT 78504 SOS 49392 HAS SOPS 16671 HAS SOUS 11964 HAS SOUPS 7439 WITH SCORE 7488.392
AT ITER 2521 NEW BEST:: SOT 78500 SOS 49404 HAS SOPS 16683 HAS SOUS 11961 HAS SOUPS 7436 WITH SCORE 7485.404
AT ITER 2556 NEW BEST:: SOT 78492 SOS 49400 HAS SOPS 16681 HAS SOUS 11957 HAS SOUPS 7434 WITH SCORE 7483.4
AT ITER 2584 NEW BEST:: SOT 77958 SOS 48866 HAS SOPS 16147 HAS SOUS 11815 HAS SOUPS 7292 WITH SCORE 7340.866
AT ITER 2592 NEW BEST:: SOT 77956 SOS 48871 HAS SOPS 16143 HAS SOUS 11809 HAS SOUPS 7286 WITH SCORE 7334.871
AT ITER 2604 NEW BEST:: SOT 77934 SOS 48736 HAS SOPS 16008 HAS SOUS 11798 HAS SOUPS 7275 WITH SCORE 7323.736
AT ITER 2613 NEW BEST:: SOT 77927 SOS 48729 HAS SOPS 16002 HAS SOUS 11726 HAS SOUPS 7207 WITH SCORE 7255.729
AT ITER 2617 NEW BEST:: SOT 77895 SOS 48686 HAS SOPS 15960 HAS SOUS 11721 HAS SOUPS 7201 WITH SCORE 7249.686
AT ITER 2620 NEW BEST:: SOT 77887 SOS 48678 HAS SOPS 15952 HAS SOUS 11713 HAS SOUPS 7193 WITH SCORE 7241.678
AT ITER 2690 NEW BEST:: SOT 77875 SOS 48660 HAS SOPS 15940 HAS SOUS 11707 HAS SOUPS 7187 WITH SCORE 7235.66
AT ITER 2692 NEW BEST:: SOT 77878 SOS 48506 HAS SOPS 15940 HAS SOUS 11690 HAS SOUPS 7187 WITH SCORE 7235.506
AT ITER 2701 NEW BEST:: SOT 77750 SOS 48420 HAS SOPS 15922 HAS SOUS 11653 HAS SOUPS 7171 WITH SCORE 7219.42
AT ITER 2719 NEW BEST:: SOT 77730 SOS 48340 HAS SOPS 15902 HAS SOUS 11618 HAS SOUPS 7146 WITH SCORE 7194.34
AT ITER 2758 NEW BEST:: SOT 77729 SOS 48330 HAS SOPS 15892 HAS SOUS 11616 HAS SOUPS 7144 WITH SCORE 7192.33
AT ITER 2792 NEW BEST:: SOT 77693 SOS 48294 HAS SOPS 15846 HAS SOUS 11570 HAS SOUPS 7098 WITH SCORE 7146.294
AT ITER 2809 NEW BEST:: SOT 77688 SOS 48289 HAS SOPS 15836 HAS SOUS 11564 HAS SOUPS 7088 WITH SCORE 7136.289
AT ITER 2813 NEW BEST:: SOT 77599 SOS 48200 HAS SOPS 15763 HAS SOUS 11533 HAS SOUPS 7057 WITH SCORE 7105.2
AT ITER 2821 NEW BEST:: SOT 77604 SOS 48148 HAS SOPS 15711 HAS SOUS 11507 HAS SOUPS 7031 WITH SCORE 7079.148
AT ITER 2830 NEW BEST:: SOT 77609 SOS 48147 HAS SOPS 15715 HAS SOUS 11505 HAS SOUPS 7031 WITH SCORE 7079.147
AT ITER 2831 NEW BEST:: SOT 77592 SOS 48123 HAS SOPS 15667 HAS SOUS 11513 HAS SOUPS 7021 WITH SCORE 7069.123
AT ITER 2850 NEW BEST:: SOT 77568 SOS 48102 HAS SOPS 15655 HAS SOUS 11513 HAS SOUPS 7012 WITH SCORE 7060.102
AT ITER 2891 NEW BEST:: SOT 77560 SOS 48094 HAS SOPS 15639 HAS SOUS 11488 HAS SOUPS 6996 WITH SCORE 7044.094
AT ITER 2913 NEW BEST:: SOT 77557 SOS 48088 HAS SOPS 15630 HAS SOUS 11479 HAS SOUPS 6991 WITH SCORE 7039.088
AT ITER 2973 NEW BEST:: SOT 77562 SOS 48093 HAS SOPS 15410 HAS SOUS 11479 HAS SOUPS 6942 WITH SCORE 6990.093
AT ITER 2987 NEW BEST:: SOT 77574 SOS 48133 HAS SOPS 15450 HAS SOUS 11475 HAS SOUPS 6938 WITH SCORE 6986.133
AT ITER 2992 NEW BEST:: SOT 77462 SOS 47964 HAS SOPS 15336 HAS SOUS 11471 HAS SOUPS 6879 WITH SCORE 6926.964
AT ITER 2994 NEW BEST:: SOT 77904 SOS 48048 HAS SOPS 15340 HAS SOUS 11427 HAS SOUPS 6867 WITH SCORE 6915.048
AT ITER 3008 NEW BEST:: SOT 77903 SOS 48046 HAS SOPS 15332 HAS SOUS 11416 HAS SOUPS 6859 WITH SCORE 6907.046
AT ITER 3015 NEW BEST:: SOT 77895 SOS 48038 HAS SOPS 15324 HAS SOUS 11408 HAS SOUPS 6851 WITH SCORE 6899.038
AT ITER 3054 NEW BEST:: SOT 77888 SOS 48031 HAS SOPS 15310 HAS SOUS 11392 HAS SOUPS 6837 WITH SCORE 6885.031
AT ITER 3078 NEW BEST:: SOT 77921 SOS 48052 HAS SOPS 15307 HAS SOUS 11395 HAS SOUPS 6834 WITH SCORE 6882.052
AT ITER 3153 NEW BEST:: SOT 77961 SOS 47933 HAS SOPS 15278 HAS SOUS 11361 HAS SOUPS 6818 WITH SCORE 6865.933
AT ITER 3175 NEW BEST:: SOT 77957 SOS 47925 HAS SOPS 15286 HAS SOUS 11357 HAS SOUPS 6818 WITH SCORE 6865.925
AT ITER 3197 NEW BEST:: SOT 77964 SOS 47934 HAS SOPS 15214 HAS SOUS 11357 HAS SOUPS 6810 WITH SCORE 6857.934
AT ITER 3209 NEW BEST:: SOT 77966 SOS 47930 HAS SOPS 15210 HAS SOUS 11353 HAS SOUPS 6806 WITH SCORE 6853.93
AT ITER 3239 NEW BEST:: SOT 77966 SOS 47929 HAS SOPS 15202 HAS SOUS 11351 HAS SOUPS 6804 WITH SCORE 6851.929
AT ITER 3265 NEW BEST:: SOT 77961 SOS 47939 HAS SOPS 15182 HAS SOUS 11352 HAS SOUPS 6800 WITH SCORE 6847.939
AT ITER 3269 NEW BEST:: SOT 77960 SOS 47935 HAS SOPS 15178 HAS SOUS 11345 HAS SOUPS 6793 WITH SCORE 6840.935
AT ITER 3273 NEW BEST:: SOT 77381 SOS 47356 HAS SOPS 14599 HAS SOUS 11339 HAS SOUPS 6787 WITH SCORE 6834.356
AT ITER 3318 NEW BEST:: SOT 77371 SOS 47346 HAS SOPS 14587 HAS SOUS 11327 HAS SOUPS 6775 WITH SCORE 6822.346
AT ITER 3352 NEW BEST:: SOT 77365 SOS 47310 HAS SOPS 14587 HAS SOUS 11321 HAS SOUPS 6775 WITH SCORE 6822.31
AT ITER 3366 NEW BEST:: SOT 77359 SOS 47309 HAS SOPS 14583 HAS SOUS 11321 HAS SOUPS 6774 WITH SCORE 6821.309
AT ITER 3369 NEW BEST:: SOT 77416 SOS 47366 HAS SOPS 14591 HAS SOUS 11309 HAS SOUPS 6762 WITH SCORE 6809.366
AT ITER 3380 NEW BEST:: SOT 77416 SOS 47366 HAS SOPS 14590 HAS SOUS 11308 HAS SOUPS 6761 WITH SCORE 6808.366
AT ITER 3383 NEW BEST:: SOT 77308 SOS 47439 HAS SOPS 14606 HAS SOUS 11326 HAS SOUPS 6751 WITH SCORE 6798.439
AT ITER 3390 NEW BEST:: SOT 77278 SOS 47409 HAS SOPS 14564 HAS SOUS 11290 HAS SOUPS 6709 WITH SCORE 6756.409
AT ITER 3422 NEW BEST:: SOT 77199 SOS 47356 HAS SOPS 14511 HAS SOUS 11288 HAS SOUPS 6702 WITH SCORE 6749.356
AT ITER 3491 NEW BEST:: SOT 76929 SOS 47074 HAS SOPS 14223 HAS SOUS 11196 HAS SOUPS 6610 WITH SCORE 6657.074
AT ITER 3507 NEW BEST:: SOT 76933 SOS 47082 HAS SOPS 14252 HAS SOUS 11220 HAS SOUPS 6606 WITH SCORE 6653.082
AT ITER 3534 NEW BEST:: SOT 76905 SOS 47531 HAS SOPS 14245 HAS SOUS 11221 HAS SOUPS 6601 WITH SCORE 6648.531
AT ITER 3538 NEW BEST:: SOT 76901 SOS 47513 HAS SOPS 14227 HAS SOUS 11211 HAS SOUPS 6591 WITH SCORE 6638.513
AT ITER 3543 NEW BEST:: SOT 76896 SOS 47510 HAS SOPS 14224 HAS SOUS 11208 HAS SOUPS 6588 WITH SCORE 6635.51
AT ITER 3610 NEW BEST:: SOT 76906 SOS 47501 HAS SOPS 14219 HAS SOUS 11208 HAS SOUPS 6588 WITH SCORE 6635.501
AT ITER 3624 NEW BEST:: SOT 76904 SOS 47499 HAS SOPS 14216 HAS SOUS 11201 HAS SOUPS 6581 WITH SCORE 6628.499
AT ITER 3626 NEW BEST:: SOT 76902 SOS 47490 HAS SOPS 14207 HAS SOUS 11190 HAS SOUPS 6570 WITH SCORE 6617.49
AT ITER 3647 NEW BEST:: SOT 76889 SOS 47464 HAS SOPS 14209 HAS SOUS 11179 HAS SOUPS 6559 WITH SCORE 6606.464
AT ITER 3663 NEW BEST:: SOT 76856 SOS 47440 HAS SOPS 14199 HAS SOUS 11192 HAS SOUPS 6558 WITH SCORE 6605.44
AT ITER 3685 NEW BEST:: SOT 76843 SOS 47429 HAS SOPS 14188 HAS SOUS 11192 HAS SOUPS 6558 WITH SCORE 6605.429
AT ITER 3692 NEW BEST:: SOT 76520 SOS 47445 HAS SOPS 14050 HAS SOUS 11182 HAS SOUPS 6517 WITH SCORE 6564.445
AT ITER 3706 NEW BEST:: SOT 76540 SOS 47445 HAS SOPS 14050 HAS SOUS 11172 HAS SOUPS 6507 WITH SCORE 6554.445
AT ITER 3785 NEW BEST:: SOT 76534 SOS 47439 HAS SOPS 14044 HAS SOUS 11142 HAS SOUPS 6477 WITH SCORE 6524.439
AT ITER 3786 NEW BEST:: SOT 76544 SOS 47428 HAS SOPS 14042 HAS SOUS 11136 HAS SOUPS 6474 WITH SCORE 6521.428
AT ITER 3792 NEW BEST:: SOT 76506 SOS 47390 HAS SOPS 13997 HAS SOUS 11096 HAS SOUPS 6434 WITH SCORE 6481.39
AT ITER 3794 NEW BEST:: SOT 76512 SOS 47395 HAS SOPS 14002 HAS SOUS 11095 HAS SOUPS 6433 WITH SCORE 6480.395
AT ITER 3846 NEW BEST:: SOT 76572 SOS 46903 HAS SOPS 13682 HAS SOUS 11092 HAS SOUPS 6429 WITH SCORE 6475.903
AT ITER 3925 NEW BEST:: SOT 76566 SOS 46897 HAS SOPS 13674 HAS SOUS 11076 HAS SOUPS 6413 WITH SCORE 6459.897
AT ITER 3926 NEW BEST:: SOT 76566 SOS 46895 HAS SOPS 13672 HAS SOUS 11073 HAS SOUPS 6410 WITH SCORE 6456.895
AT ITER 3967 NEW BEST:: SOT 76570 SOS 46867 HAS SOPS 13599 HAS SOUS 11075 HAS SOUPS 6403 WITH SCORE 6449.867
AT ITER 4068 NEW BEST:: SOT 76566 SOS 46865 HAS SOPS 13598 HAS SOUS 11073 HAS SOUPS 6402 WITH SCORE 6448.865
AT ITER 4108 NEW BEST:: SOT 76572 SOS 46877 HAS SOPS 13580 HAS SOUS 11079 HAS SOUPS 6393 WITH SCORE 6439.877
AT ITER 4119 NEW BEST:: SOT 76571 SOS 46886 HAS SOPS 13570 HAS SOUS 11086 HAS SOUPS 6391 WITH SCORE 6437.886
AT ITER 4123 NEW BEST:: SOT 76561 SOS 46860 HAS SOPS 13544 HAS SOUS 11068 HAS SOUPS 6373 WITH SCORE 6419.86
AT ITER 4150 NEW BEST:: SOT 76561 SOS 46846 HAS SOPS 13522 HAS SOUS 11050 HAS SOUPS 6355 WITH SCORE 6401.846
AT ITER 4154 NEW BEST:: SOT 76540 SOS 46824 HAS SOPS 13513 HAS SOUS 11041 HAS SOUPS 6346 WITH SCORE 6392.824
AT ITER 4185 NEW BEST:: SOT 76539 SOS 46823 HAS SOPS 13512 HAS SOUS 10991 HAS SOUPS 6296 WITH SCORE 6342.823
AT ITER 4202 NEW BEST:: SOT 76539 SOS 46868 HAS SOPS 13494 HAS SOUS 10973 HAS SOUPS 6278 WITH SCORE 6324.868
AT ITER 4304 NEW BEST:: SOT 76566 SOS 46877 HAS SOPS 13503 HAS SOUS 10933 HAS SOUPS 6242 WITH SCORE 6288.877
AT ITER 4392 NEW BEST:: SOT 76564 SOS 46875 HAS SOPS 13499 HAS SOUS 10929 HAS SOUPS 6238 WITH SCORE 6284.875
AT ITER 4404 NEW BEST:: SOT 76548 SOS 46867 HAS SOPS 13491 HAS SOUS 10921 HAS SOUPS 6230 WITH SCORE 6276.867
AT ITER 4477 NEW BEST:: SOT 76546 SOS 46865 HAS SOPS 13492 HAS SOUS 10917 HAS SOUPS 6226 WITH SCORE 6272.865
AT ITER 4501 NEW BEST:: SOT 76544 SOS 46863 HAS SOPS 13489 HAS SOUS 10914 HAS SOUPS 6223 WITH SCORE 6269.863
AT ITER 4604 NEW BEST:: SOT 76534 SOS 46838 HAS SOPS 13509 HAS SOUS 10894 HAS SOUPS 6203 WITH SCORE 6249.838
AT ITER 4634 NEW BEST:: SOT 76534 SOS 46528 HAS SOPS 13507 HAS SOUS 10888 HAS SOUPS 6201 WITH SCORE 6247.528
AT ITER 4716 NEW BEST:: SOT 76501 SOS 46543 HAS SOPS 13482 HAS SOUS 10885 HAS SOUPS 6190 WITH SCORE 6236.543
AT ITER 4729 NEW BEST:: SOT 76496 SOS 46538 HAS SOPS 13476 HAS SOUS 10880 HAS SOUPS 6184 WITH SCORE 6230.538
AT ITER 4736 NEW BEST:: SOT 76482 SOS 46530 HAS SOPS 13468 HAS SOUS 10874 HAS SOUPS 6178 WITH SCORE 6224.53
AT ITER 4796 NEW BEST:: SOT 76472 SOS 46550 HAS SOPS 13428 HAS SOUS 10874 HAS SOUPS 6168 WITH SCORE 6214.55
AT ITER 4806 NEW BEST:: SOT 76425 SOS 46617 HAS SOPS 13362 HAS SOUS 10885 HAS SOUPS 6165 WITH SCORE 6211.617
AT ITER 4824 NEW BEST:: SOT 76427 SOS 46603 HAS SOPS 13360 HAS SOUS 10881 HAS SOUPS 6163 WITH SCORE 6209.603
AT ITER 4842 NEW BEST:: SOT 76425 SOS 46599 HAS SOPS 13356 HAS SOUS 10879 HAS SOUPS 6161 WITH SCORE 6207.599
AT ITER 4846 NEW BEST:: SOT 76412 SOS 46838 HAS SOPS 13371 HAS SOUS 10896 HAS SOUPS 6157 WITH SCORE 6203.838
AT ITER 4857 NEW BEST:: SOT 76430 SOS 46676 HAS SOPS 13209 HAS SOUS 10896 HAS SOUPS 6157 WITH SCORE 6203.676
AT ITER 4859 NEW BEST:: SOT 76422 SOS 46584 HAS SOPS 13189 HAS SOUS 10862 HAS SOUPS 6135 WITH SCORE 6181.584
AT ITER 4879 NEW BEST:: SOT 76419 SOS 46583 HAS SOPS 13189 HAS SOUS 10860 HAS SOUPS 6133 WITH SCORE 6179.583
AT ITER 4886 NEW BEST:: SOT 76412 SOS 46576 HAS SOPS 13181 HAS SOUS 10853 HAS SOUPS 6125 WITH SCORE 6171.576
AT ITER 4917 NEW BEST:: SOT 76504 SOS 46565 HAS SOPS 13157 HAS SOUS 10816 HAS SOUPS 6114 WITH SCORE 6160.565
AT ITER 4960 NEW BEST:: SOT 76504 SOS 46552 HAS SOPS 13170 HAS SOUS 10803 HAS SOUPS 6114 WITH SCORE 6160.552
Bounds file is: CTLFireability.xml
PROPERTY: CloudDeployment-PT-5a-CTLFireability-00 (AF( ( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P79)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))) & ((potential((tk(P33)>=1) & (tk(P117)>=1)))) )))
PROPERTY: CloudDeployment-PT-5a-CTLFireability-01 (EG( (! ( ( (! ((potential((tk(P115)>=1) & (tk(P117)>=1) & (tk(P137)>=1) & (tk(P168)>=1) & (tk(P179)>=1))))) | ((potential((tk(P3)>=1) & (tk(P89)>=1)))) ) & ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P54)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))) ))))
PROPERTY: CloudDeployment-PT-5a-CTLFireability-02 (AX( (! (EF( ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P107)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))))))))
PROPERTY: CloudDeployment-PT-5a-CTLFireability-03 (! ( (! (! (AF( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P46)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))))))) | ( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P57)>=1) & (tk(P171)>=1)))) & (AU( ((potential((tk(P137)>=1)))) , ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P57)>=1) & (tk(P157)>=1)))) )) ) ))
PROPERTY: CloudDeployment-PT-5a-CTLFireability-04 (EU( (AU( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P81)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))) , ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P37)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))) )) , (AF( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P63)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))))) ))
PROPERTY: CloudDeployment-PT-5a-CTLFireability-05 (AX( ( (AF( ( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P51)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))) | ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P93)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))) ))) | (AG( ( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P46)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))) | ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P63)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))) ))) )))
PROPERTY: CloudDeployment-PT-5a-CTLFireability-06 ( ( ( (EU( ((potential((tk(P13)>=1)))) , ((potential((tk(P61)>=1) & (tk(P87)>=1)))) )) | (EU( ((potential((tk(P115)>=1) & (tk(P117)>=1) & (tk(P141)>=1) & (tk(P175)>=1)))) , ((potential((tk(P134)>=1)))) )) ) & (EG( (EF( ((potential((tk(P36)>=1)))))))) ) | (AU( ( ((potential((tk(P89)>=1) & (tk(P93)>=1)))) | (! ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P53)>=1) & (tk(P168)>=1) & (tk(P179)>=1))))) ) , (! (! ((potential((tk(P102)>=1)))))) )) )
PROPERTY: CloudDeployment-PT-5a-CTLFireability-07 (EF( (AG( (! ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P110)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))))))))
PROPERTY: CloudDeployment-PT-5a-CTLFireability-08 (EX( (EF( (EF( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P83)>=1) & (tk(P168)>=1) & (tk(P179)>=1))))))))))
PROPERTY: CloudDeployment-PT-5a-CTLFireability-09 (AX( (EF( (AG( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P18)>=1) & (tk(P168)>=1) & (tk(P179)>=1))))))))))
PROPERTY: CloudDeployment-PT-5a-CTLFireability-10 (EF( ( ( (EX( ((potential((tk(P104)>=1)))))) & ( ( ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P113)>=1) & (tk(P171)>=1)))) & ((potential((tk(P115)>=1) & (tk(P117)>=1) & (tk(P121)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))) ) | ( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P85)>=1) & (tk(P177)>=1)))) & ((potential((tk(P115)>=1) & (tk(P117)>=1) & (tk(P130)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))) ) ) ) | ( ( ((potential((tk(P115)>=1) & (tk(P117)>=1) & (tk(P130)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))) & (! ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P29)>=1) & (tk(P152)>=1))))) ) | ( ((potential((tk(P62)>=1)))) | ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P79)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))) ) ) )))
PROPERTY: CloudDeployment-PT-5a-CTLFireability-11 (AX( (EF( (AF( ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P113)>=1) & (tk(P167)>=1))))))))))
PROPERTY: CloudDeployment-PT-5a-CTLFireability-12 (AG( (! (AU( ((potential((tk(P9)>=1)))) , ((potential((tk(P12)>=1)))) )))))
PROPERTY: CloudDeployment-PT-5a-CTLFireability-13 (EG( (! (! (! ( ((potential((tk(P110)>=1)))) | ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P25)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))) ))))))
PROPERTY: CloudDeployment-PT-5a-CTLFireability-14 (! (EF( ( (! (! ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P57)>=1) & (tk(P171)>=1)))))) & (! (! ((potential((tk(P115)>=1) & (tk(P117)>=1) & (tk(P129)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))))) ))))
PROPERTY: CloudDeployment-PT-5a-CTLFireability-15 (EF( ( ( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P79)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))) | (AX( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P17)>=1) & (tk(P168)>=1) & (tk(P179)>=1)))))) ) | (! (AF( ((potential((tk(P115)>=1) & (tk(P117)>=1) & (tk(P139)>=1) & (tk(P168)>=1) & (tk(P179)>=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-5a"
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-5a, 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-158901926000316"
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 [ "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 ;