Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469800652.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldPPPt-PT-010A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469800652
=====================================================================

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

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

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

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

=== Now, execution of the tool begins

BK_START 1590446674111

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 010A
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: 253 places, 183 transitions, 726 arcs.
AT ITER 0 NEW BEST:: SOT 38059 SOS 31846 HAS SOPS 31846 HAS SOUS 25856 HAS SOUPS 25856 WITH SCORE 25887.846
AT ITER 2 NEW BEST:: SOT 37897 SOS 31718 HAS SOPS 31718 HAS SOUS 25726 HAS SOUPS 25726 WITH SCORE 25757.718
AT ITER 3 NEW BEST:: SOT 37897 SOS 31523 HAS SOPS 31523 HAS SOUS 25724 HAS SOUPS 25724 WITH SCORE 25755.523
AT ITER 5 NEW BEST:: SOT 37851 SOS 31477 HAS SOPS 31477 HAS SOUS 25639 HAS SOUPS 25639 WITH SCORE 25670.477
AT ITER 6 NEW BEST:: SOT 37789 SOS 31443 HAS SOPS 31443 HAS SOUS 25530 HAS SOUPS 25530 WITH SCORE 25561.443
AT ITER 11 NEW BEST:: SOT 37595 SOS 31294 HAS SOPS 31294 HAS SOUS 25472 HAS SOUPS 25472 WITH SCORE 25503.294
AT ITER 12 NEW BEST:: SOT 37493 SOS 31192 HAS SOPS 31192 HAS SOUS 25370 HAS SOUPS 25370 WITH SCORE 25401.192
AT ITER 13 NEW BEST:: SOT 37493 SOS 30876 HAS SOPS 30876 HAS SOUS 25367 HAS SOUPS 25367 WITH SCORE 25397.876
AT ITER 17 NEW BEST:: SOT 37477 SOS 30864 HAS SOPS 30864 HAS SOUS 25355 HAS SOUPS 25355 WITH SCORE 25385.864
AT ITER 19 NEW BEST:: SOT 37322 SOS 30709 HAS SOPS 30709 HAS SOUS 25254 HAS SOUPS 25254 WITH SCORE 25284.709
AT ITER 20 NEW BEST:: SOT 37038 SOS 30204 HAS SOPS 30204 HAS SOUS 24848 HAS SOUPS 24848 WITH SCORE 24878.204
AT ITER 24 NEW BEST:: SOT 36953 SOS 29832 HAS SOPS 29832 HAS SOUS 24668 HAS SOUPS 24668 WITH SCORE 24697.832
AT ITER 29 NEW BEST:: SOT 36716 SOS 29595 HAS SOPS 29595 HAS SOUS 24464 HAS SOUPS 24464 WITH SCORE 24493.595
AT ITER 33 NEW BEST:: SOT 36559 SOS 29438 HAS SOPS 29438 HAS SOUS 24307 HAS SOUPS 24307 WITH SCORE 24336.438
AT ITER 41 NEW BEST:: SOT 36559 SOS 29418 HAS SOPS 29418 HAS SOUS 24304 HAS SOUPS 24304 WITH SCORE 24333.418
AT ITER 43 NEW BEST:: SOT 36559 SOS 29418 HAS SOPS 29418 HAS SOUS 24301 HAS SOUPS 24301 WITH SCORE 24330.418
AT ITER 46 NEW BEST:: SOT 36559 SOS 29279 HAS SOPS 29279 HAS SOUS 24301 HAS SOUPS 24301 WITH SCORE 24330.279
AT ITER 49 NEW BEST:: SOT 36497 SOS 29217 HAS SOPS 29217 HAS SOUS 24245 HAS SOUPS 24245 WITH SCORE 24274.217
AT ITER 51 NEW BEST:: SOT 36497 SOS 29010 HAS SOPS 29010 HAS SOUS 24171 HAS SOUPS 24171 WITH SCORE 24200.01
AT ITER 52 NEW BEST:: SOT 36497 SOS 29003 HAS SOPS 29003 HAS SOUS 24164 HAS SOUPS 24164 WITH SCORE 24193.003
AT ITER 54 NEW BEST:: SOT 36328 SOS 28834 HAS SOPS 28834 HAS SOUS 24022 HAS SOUPS 24022 WITH SCORE 24050.834
AT ITER 56 NEW BEST:: SOT 36227 SOS 28733 HAS SOPS 28733 HAS SOUS 23919 HAS SOUPS 23919 WITH SCORE 23947.733
AT ITER 58 NEW BEST:: SOT 36091 SOS 28643 HAS SOPS 28643 HAS SOUS 23877 HAS SOUPS 23877 WITH SCORE 23905.643
AT ITER 60 NEW BEST:: SOT 36049 SOS 28626 HAS SOPS 28626 HAS SOUS 23854 HAS SOUPS 23854 WITH SCORE 23882.626
AT ITER 62 NEW BEST:: SOT 36049 SOS 28528 HAS SOPS 28528 HAS SOUS 23820 HAS SOUPS 23820 WITH SCORE 23848.528
AT ITER 66 NEW BEST:: SOT 36040 SOS 28519 HAS SOPS 28519 HAS SOUS 23811 HAS SOUPS 23811 WITH SCORE 23839.519
AT ITER 68 NEW BEST:: SOT 35753 SOS 28232 HAS SOPS 28232 HAS SOUS 23522 HAS SOUPS 23522 WITH SCORE 23550.232
AT ITER 70 NEW BEST:: SOT 35614 SOS 27857 HAS SOPS 27857 HAS SOUS 23218 HAS SOUPS 23218 WITH SCORE 23245.857
AT ITER 72 NEW BEST:: SOT 35542 SOS 27521 HAS SOPS 27521 HAS SOUS 23090 HAS SOUPS 23090 WITH SCORE 23117.521
AT ITER 73 NEW BEST:: SOT 35542 SOS 27201 HAS SOPS 27201 HAS SOUS 22950 HAS SOUPS 22950 WITH SCORE 22977.201
AT ITER 74 NEW BEST:: SOT 35542 SOS 27153 HAS SOPS 27153 HAS SOUS 22934 HAS SOUPS 22934 WITH SCORE 22961.153
AT ITER 76 NEW BEST:: SOT 35502 SOS 27113 HAS SOPS 27113 HAS SOUS 22894 HAS SOUPS 22894 WITH SCORE 22921.113
AT ITER 80 NEW BEST:: SOT 35502 SOS 26989 HAS SOPS 26989 HAS SOUS 22887 HAS SOUPS 22887 WITH SCORE 22913.989
AT ITER 83 NEW BEST:: SOT 35502 SOS 26976 HAS SOPS 26976 HAS SOUS 22887 HAS SOUPS 22887 WITH SCORE 22913.976
AT ITER 85 NEW BEST:: SOT 35486 SOS 26960 HAS SOPS 26960 HAS SOUS 22871 HAS SOUPS 22871 WITH SCORE 22897.96
AT ITER 88 NEW BEST:: SOT 35486 SOS 26756 HAS SOPS 26756 HAS SOUS 22828 HAS SOUPS 22828 WITH SCORE 22854.756
AT ITER 90 NEW BEST:: SOT 35486 SOS 26339 HAS SOPS 26339 HAS SOUS 22748 HAS SOUPS 22748 WITH SCORE 22774.339
AT ITER 91 NEW BEST:: SOT 35436 SOS 26241 HAS SOPS 26241 HAS SOUS 22665 HAS SOUPS 22665 WITH SCORE 22691.241
AT ITER 95 NEW BEST:: SOT 35424 SOS 26229 HAS SOPS 26229 HAS SOUS 22651 HAS SOUPS 22651 WITH SCORE 22677.229
AT ITER 96 NEW BEST:: SOT 35416 SOS 26221 HAS SOPS 26221 HAS SOUS 22643 HAS SOUPS 22643 WITH SCORE 22669.221
AT ITER 101 NEW BEST:: SOT 35277 SOS 26082 HAS SOPS 26082 HAS SOUS 22503 HAS SOUPS 22503 WITH SCORE 22529.082
AT ITER 102 NEW BEST:: SOT 35152 SOS 25925 HAS SOPS 25925 HAS SOUS 22369 HAS SOUPS 22369 WITH SCORE 22394.925
AT ITER 106 NEW BEST:: SOT 35114 SOS 25893 HAS SOPS 25893 HAS SOUS 22335 HAS SOUPS 22335 WITH SCORE 22360.893
AT ITER 107 NEW BEST:: SOT 35114 SOS 25881 HAS SOPS 25881 HAS SOUS 22335 HAS SOUPS 22335 WITH SCORE 22360.881
AT ITER 108 NEW BEST:: SOT 34994 SOS 25761 HAS SOPS 25761 HAS SOUS 22255 HAS SOUPS 22255 WITH SCORE 22280.761
AT ITER 110 NEW BEST:: SOT 34993 SOS 25760 HAS SOPS 25760 HAS SOUS 22255 HAS SOUPS 22255 WITH SCORE 22280.76
AT ITER 111 NEW BEST:: SOT 35003 SOS 25759 HAS SOPS 25759 HAS SOUS 22254 HAS SOUPS 22254 WITH SCORE 22279.759
AT ITER 114 NEW BEST:: SOT 34885 SOS 25498 HAS SOPS 25498 HAS SOUS 22106 HAS SOUPS 22106 WITH SCORE 22131.498
AT ITER 116 NEW BEST:: SOT 34576 SOS 25189 HAS SOPS 25189 HAS SOUS 21805 HAS SOUPS 21805 WITH SCORE 21830.189
AT ITER 117 NEW BEST:: SOT 34585 SOS 25236 HAS SOPS 25236 HAS SOUS 21799 HAS SOUPS 21799 WITH SCORE 21824.236
AT ITER 118 NEW BEST:: SOT 34627 SOS 25278 HAS SOPS 25278 HAS SOUS 21750 HAS SOUPS 21750 WITH SCORE 21775.278
AT ITER 120 NEW BEST:: SOT 34627 SOS 25273 HAS SOPS 25273 HAS SOUS 21750 HAS SOUPS 21750 WITH SCORE 21775.273
AT ITER 121 NEW BEST:: SOT 34627 SOS 25060 HAS SOPS 25060 HAS SOUS 21723 HAS SOUPS 21723 WITH SCORE 21748.06
AT ITER 122 NEW BEST:: SOT 34522 SOS 24955 HAS SOPS 24955 HAS SOUS 21618 HAS SOUPS 21618 WITH SCORE 21642.955
AT ITER 123 NEW BEST:: SOT 34628 SOS 24807 HAS SOPS 24807 HAS SOUS 21578 HAS SOUPS 21578 WITH SCORE 21602.807
AT ITER 130 NEW BEST:: SOT 34522 SOS 24701 HAS SOPS 24701 HAS SOUS 21472 HAS SOUPS 21472 WITH SCORE 21496.701
AT ITER 131 NEW BEST:: SOT 34500 SOS 24609 HAS SOPS 24609 HAS SOUS 21462 HAS SOUPS 21462 WITH SCORE 21486.609
AT ITER 134 NEW BEST:: SOT 34422 SOS 24587 HAS SOPS 24587 HAS SOUS 21371 HAS SOUPS 21371 WITH SCORE 21395.587
AT ITER 136 NEW BEST:: SOT 34056 SOS 24109 HAS SOPS 24109 HAS SOUS 20928 HAS SOUPS 20928 WITH SCORE 20952.109
AT ITER 138 NEW BEST:: SOT 33825 SOS 23483 HAS SOPS 23483 HAS SOUS 20472 HAS SOUPS 20472 WITH SCORE 20495.483
AT ITER 142 NEW BEST:: SOT 33825 SOS 23452 HAS SOPS 23452 HAS SOUS 20472 HAS SOUPS 20472 WITH SCORE 20495.452
AT ITER 143 NEW BEST:: SOT 33802 SOS 23429 HAS SOPS 23429 HAS SOUS 20449 HAS SOUPS 20449 WITH SCORE 20472.429
AT ITER 144 NEW BEST:: SOT 33773 SOS 23400 HAS SOPS 23400 HAS SOUS 20448 HAS SOUPS 20448 WITH SCORE 20471.4
AT ITER 145 NEW BEST:: SOT 33773 SOS 23348 HAS SOPS 23348 HAS SOUS 20448 HAS SOUPS 20448 WITH SCORE 20471.348
AT ITER 146 NEW BEST:: SOT 33670 SOS 23243 HAS SOPS 23243 HAS SOUS 20343 HAS SOUPS 20343 WITH SCORE 20366.243
AT ITER 148 NEW BEST:: SOT 33643 SOS 23216 HAS SOPS 23216 HAS SOUS 20316 HAS SOUPS 20316 WITH SCORE 20339.216
AT ITER 154 NEW BEST:: SOT 33626 SOS 23199 HAS SOPS 23199 HAS SOUS 20298 HAS SOUPS 20298 WITH SCORE 20321.199
AT ITER 156 NEW BEST:: SOT 33447 SOS 22990 HAS SOPS 22990 HAS SOUS 20100 HAS SOUPS 20100 WITH SCORE 20122.99
AT ITER 157 NEW BEST:: SOT 33338 SOS 22881 HAS SOPS 22881 HAS SOUS 19989 HAS SOUPS 19989 WITH SCORE 20011.881
AT ITER 158 NEW BEST:: SOT 33173 SOS 22725 HAS SOPS 22725 HAS SOUS 19833 HAS SOUPS 19833 WITH SCORE 19855.725
AT ITER 159 NEW BEST:: SOT 33107 SOS 22544 HAS SOPS 22544 HAS SOUS 19714 HAS SOUPS 19714 WITH SCORE 19736.544
AT ITER 163 NEW BEST:: SOT 33080 SOS 22517 HAS SOPS 22517 HAS SOUS 19687 HAS SOUPS 19687 WITH SCORE 19709.517
AT ITER 164 NEW BEST:: SOT 33080 SOS 22447 HAS SOPS 22447 HAS SOUS 19685 HAS SOUPS 19685 WITH SCORE 19707.447
AT ITER 167 NEW BEST:: SOT 33080 SOS 22390 HAS SOPS 22390 HAS SOUS 19590 HAS SOUPS 19590 WITH SCORE 19612.39
AT ITER 168 NEW BEST:: SOT 32946 SOS 22254 HAS SOPS 22254 HAS SOUS 19453 HAS SOUPS 19453 WITH SCORE 19475.254
AT ITER 169 NEW BEST:: SOT 32917 SOS 22227 HAS SOPS 22227 HAS SOUS 19426 HAS SOUPS 19426 WITH SCORE 19448.227
AT ITER 172 NEW BEST:: SOT 32869 SOS 22107 HAS SOPS 22107 HAS SOUS 19306 HAS SOUPS 19306 WITH SCORE 19328.107
AT ITER 181 NEW BEST:: SOT 32916 SOS 22060 HAS SOPS 22060 HAS SOUS 19296 HAS SOUPS 19296 WITH SCORE 19318.06
AT ITER 185 NEW BEST:: SOT 32912 SOS 22040 HAS SOPS 22040 HAS SOUS 19286 HAS SOUPS 19286 WITH SCORE 19308.04
AT ITER 186 NEW BEST:: SOT 32835 SOS 21963 HAS SOPS 21963 HAS SOUS 19209 HAS SOUPS 19209 WITH SCORE 19230.963
AT ITER 188 NEW BEST:: SOT 32887 SOS 21960 HAS SOPS 21960 HAS SOUS 19206 HAS SOUPS 19206 WITH SCORE 19227.96
AT ITER 190 NEW BEST:: SOT 32887 SOS 21913 HAS SOPS 21913 HAS SOUS 19192 HAS SOUPS 19192 WITH SCORE 19213.913
AT ITER 192 NEW BEST:: SOT 32837 SOS 21805 HAS SOPS 21805 HAS SOUS 19084 HAS SOUPS 19084 WITH SCORE 19105.805
AT ITER 203 NEW BEST:: SOT 32837 SOS 21804 HAS SOPS 21804 HAS SOUS 19083 HAS SOUPS 19083 WITH SCORE 19104.804
AT ITER 206 NEW BEST:: SOT 32810 SOS 21781 HAS SOPS 21781 HAS SOUS 19060 HAS SOUPS 19060 WITH SCORE 19081.781
AT ITER 208 NEW BEST:: SOT 32569 SOS 21519 HAS SOPS 21519 HAS SOUS 18898 HAS SOUPS 18898 WITH SCORE 18919.519
AT ITER 211 NEW BEST:: SOT 32441 SOS 21468 HAS SOPS 21468 HAS SOUS 18800 HAS SOUPS 18800 WITH SCORE 18821.468
AT ITER 212 NEW BEST:: SOT 32441 SOS 21468 HAS SOPS 21468 HAS SOUS 18798 HAS SOUPS 18798 WITH SCORE 18819.468
AT ITER 216 NEW BEST:: SOT 32429 SOS 21450 HAS SOPS 21450 HAS SOUS 18780 HAS SOUPS 18780 WITH SCORE 18801.45
AT ITER 219 NEW BEST:: SOT 32351 SOS 21346 HAS SOPS 21346 HAS SOUS 18702 HAS SOUPS 18702 WITH SCORE 18723.346
AT ITER 220 NEW BEST:: SOT 32351 SOS 21483 HAS SOPS 21483 HAS SOUS 18700 HAS SOUPS 18700 WITH SCORE 18721.483
AT ITER 231 NEW BEST:: SOT 32238 SOS 21362 HAS SOPS 21362 HAS SOUS 18634 HAS SOUPS 18634 WITH SCORE 18655.362
AT ITER 233 NEW BEST:: SOT 32234 SOS 21360 HAS SOPS 21360 HAS SOUS 18632 HAS SOUPS 18632 WITH SCORE 18653.36
AT ITER 235 NEW BEST:: SOT 32147 SOS 21273 HAS SOPS 21273 HAS SOUS 18545 HAS SOUPS 18545 WITH SCORE 18566.273
AT ITER 237 NEW BEST:: SOT 31900 SOS 20963 HAS SOPS 20963 HAS SOUS 18239 HAS SOUPS 18239 WITH SCORE 18259.963
AT ITER 239 NEW BEST:: SOT 31900 SOS 20893 HAS SOPS 20893 HAS SOUS 18238 HAS SOUPS 18238 WITH SCORE 18258.893
AT ITER 242 NEW BEST:: SOT 31854 SOS 20925 HAS SOPS 20925 HAS SOUS 18231 HAS SOUPS 18231 WITH SCORE 18251.925
AT ITER 243 NEW BEST:: SOT 31854 SOS 20929 HAS SOPS 20929 HAS SOUS 18230 HAS SOUPS 18230 WITH SCORE 18250.929
AT ITER 248 NEW BEST:: SOT 31854 SOS 20786 HAS SOPS 20786 HAS SOUS 18182 HAS SOUPS 18182 WITH SCORE 18202.786
AT ITER 251 NEW BEST:: SOT 31854 SOS 20784 HAS SOPS 20784 HAS SOUS 18180 HAS SOUPS 18180 WITH SCORE 18200.784
AT ITER 255 NEW BEST:: SOT 31846 SOS 20750 HAS SOPS 20750 HAS SOUS 18162 HAS SOUPS 18162 WITH SCORE 18182.75
AT ITER 258 NEW BEST:: SOT 31846 SOS 20702 HAS SOPS 20702 HAS SOUS 18160 HAS SOUPS 18160 WITH SCORE 18180.702
AT ITER 259 NEW BEST:: SOT 31812 SOS 20668 HAS SOPS 20668 HAS SOUS 18123 HAS SOUPS 18123 WITH SCORE 18143.668
AT ITER 267 NEW BEST:: SOT 31737 SOS 20289 HAS SOPS 20289 HAS SOUS 17897 HAS SOUPS 17897 WITH SCORE 17917.289
AT ITER 270 NEW BEST:: SOT 31718 SOS 20268 HAS SOPS 20268 HAS SOUS 17875 HAS SOUPS 17875 WITH SCORE 17895.268
AT ITER 276 NEW BEST:: SOT 31636 SOS 20423 HAS SOPS 20423 HAS SOUS 17828 HAS SOUPS 17828 WITH SCORE 17848.423
AT ITER 282 NEW BEST:: SOT 31632 SOS 20417 HAS SOPS 20417 HAS SOUS 17822 HAS SOUPS 17822 WITH SCORE 17842.417
AT ITER 284 NEW BEST:: SOT 31590 SOS 20265 HAS SOPS 20265 HAS SOUS 17733 HAS SOUPS 17733 WITH SCORE 17753.265
AT ITER 285 NEW BEST:: SOT 31544 SOS 20219 HAS SOPS 20219 HAS SOUS 17696 HAS SOUPS 17696 WITH SCORE 17716.219
AT ITER 289 NEW BEST:: SOT 31538 SOS 20205 HAS SOPS 20205 HAS SOUS 17679 HAS SOUPS 17679 WITH SCORE 17699.205
AT ITER 293 NEW BEST:: SOT 31466 SOS 20133 HAS SOPS 20133 HAS SOUS 17632 HAS SOUPS 17632 WITH SCORE 17652.133
AT ITER 302 NEW BEST:: SOT 31414 SOS 20055 HAS SOPS 20055 HAS SOUS 17564 HAS SOUPS 17564 WITH SCORE 17584.055
AT ITER 307 NEW BEST:: SOT 31414 SOS 19925 HAS SOPS 19925 HAS SOUS 17547 HAS SOUPS 17547 WITH SCORE 17566.925
AT ITER 310 NEW BEST:: SOT 31414 SOS 19924 HAS SOPS 19924 HAS SOUS 17546 HAS SOUPS 17546 WITH SCORE 17565.924
AT ITER 311 NEW BEST:: SOT 31377 SOS 19825 HAS SOPS 19825 HAS SOUS 17461 HAS SOUPS 17461 WITH SCORE 17480.825
AT ITER 316 NEW BEST:: SOT 31342 SOS 19835 HAS SOPS 19835 HAS SOUS 17387 HAS SOUPS 17387 WITH SCORE 17406.835
AT ITER 319 NEW BEST:: SOT 31300 SOS 19791 HAS SOPS 19791 HAS SOUS 17365 HAS SOUPS 17365 WITH SCORE 17384.791
AT ITER 324 NEW BEST:: SOT 31308 SOS 19325 HAS SOPS 19325 HAS SOUS 17164 HAS SOUPS 17164 WITH SCORE 17183.325
AT ITER 326 NEW BEST:: SOT 31258 SOS 19275 HAS SOPS 19275 HAS SOUS 17114 HAS SOUPS 17114 WITH SCORE 17133.275
AT ITER 329 NEW BEST:: SOT 31249 SOS 19241 HAS SOPS 19241 HAS SOUS 17080 HAS SOUPS 17080 WITH SCORE 17099.241
AT ITER 330 NEW BEST:: SOT 31232 SOS 19221 HAS SOPS 19221 HAS SOUS 17060 HAS SOUPS 17060 WITH SCORE 17079.221
AT ITER 332 NEW BEST:: SOT 31170 SOS 19159 HAS SOPS 19159 HAS SOUS 17006 HAS SOUPS 17006 WITH SCORE 17025.159
AT ITER 333 NEW BEST:: SOT 31168 SOS 19157 HAS SOPS 19157 HAS SOUS 17004 HAS SOUPS 17004 WITH SCORE 17023.157
AT ITER 337 NEW BEST:: SOT 30865 SOS 18842 HAS SOPS 18842 HAS SOUS 16822 HAS SOUPS 16822 WITH SCORE 16840.842
AT ITER 339 NEW BEST:: SOT 30865 SOS 18818 HAS SOPS 18818 HAS SOUS 16822 HAS SOUPS 16822 WITH SCORE 16840.818
AT ITER 353 NEW BEST:: SOT 30861 SOS 18738 HAS SOPS 18738 HAS SOUS 16742 HAS SOUPS 16742 WITH SCORE 16760.738
AT ITER 355 NEW BEST:: SOT 30842 SOS 18717 HAS SOPS 18717 HAS SOUS 16718 HAS SOUPS 16718 WITH SCORE 16736.717
AT ITER 358 NEW BEST:: SOT 30835 SOS 18705 HAS SOPS 18705 HAS SOUS 16689 HAS SOUPS 16689 WITH SCORE 16707.705
AT ITER 359 NEW BEST:: SOT 30757 SOS 18625 HAS SOPS 18625 HAS SOUS 16609 HAS SOUPS 16609 WITH SCORE 16627.625
AT ITER 365 NEW BEST:: SOT 30719 SOS 18604 HAS SOPS 18604 HAS SOUS 16563 HAS SOUPS 16563 WITH SCORE 16581.604
AT ITER 376 NEW BEST:: SOT 30719 SOS 18598 HAS SOPS 18598 HAS SOUS 16561 HAS SOUPS 16561 WITH SCORE 16579.598
AT ITER 378 NEW BEST:: SOT 30647 SOS 18486 HAS SOPS 18486 HAS SOUS 16445 HAS SOUPS 16445 WITH SCORE 16463.486
AT ITER 379 NEW BEST:: SOT 30647 SOS 18463 HAS SOPS 18463 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16440.463
AT ITER 386 NEW BEST:: SOT 30643 SOS 18455 HAS SOPS 18455 HAS SOUS 16414 HAS SOUPS 16414 WITH SCORE 16432.455
AT ITER 388 NEW BEST:: SOT 30625 SOS 18437 HAS SOPS 18437 HAS SOUS 16409 HAS SOUPS 16409 WITH SCORE 16427.437
AT ITER 390 NEW BEST:: SOT 30667 SOS 18424 HAS SOPS 18424 HAS SOUS 16404 HAS SOUPS 16404 WITH SCORE 16422.424
AT ITER 400 NEW BEST:: SOT 30667 SOS 18397 HAS SOPS 18397 HAS SOUS 16377 HAS SOUPS 16377 WITH SCORE 16395.397
AT ITER 418 NEW BEST:: SOT 30667 SOS 18420 HAS SOPS 18420 HAS SOUS 16373 HAS SOUPS 16373 WITH SCORE 16391.42
AT ITER 420 NEW BEST:: SOT 30655 SOS 18181 HAS SOPS 18181 HAS SOUS 16316 HAS SOUPS 16316 WITH SCORE 16334.181
AT ITER 429 NEW BEST:: SOT 30655 SOS 18292 HAS SOPS 18292 HAS SOUS 16276 HAS SOUPS 16276 WITH SCORE 16294.292
AT ITER 441 NEW BEST:: SOT 30655 SOS 18265 HAS SOPS 18265 HAS SOUS 16276 HAS SOUPS 16276 WITH SCORE 16294.265
AT ITER 443 NEW BEST:: SOT 30625 SOS 18237 HAS SOPS 18237 HAS SOUS 16226 HAS SOUPS 16226 WITH SCORE 16244.237
AT ITER 460 NEW BEST:: SOT 30622 SOS 18222 HAS SOPS 18222 HAS SOUS 16220 HAS SOUPS 16220 WITH SCORE 16238.222
AT ITER 462 NEW BEST:: SOT 30622 SOS 18221 HAS SOPS 18221 HAS SOUS 16219 HAS SOUPS 16219 WITH SCORE 16237.221
AT ITER 463 NEW BEST:: SOT 30614 SOS 18119 HAS SOPS 18119 HAS SOUS 16182 HAS SOUPS 16182 WITH SCORE 16200.119
AT ITER 489 NEW BEST:: SOT 30614 SOS 18087 HAS SOPS 18087 HAS SOUS 16150 HAS SOUPS 16150 WITH SCORE 16168.087
AT ITER 494 NEW BEST:: SOT 30604 SOS 18077 HAS SOPS 18077 HAS SOUS 16140 HAS SOUPS 16140 WITH SCORE 16158.077
AT ITER 496 NEW BEST:: SOT 30553 SOS 18015 HAS SOPS 18015 HAS SOUS 16078 HAS SOUPS 16078 WITH SCORE 16096.015
AT ITER 499 NEW BEST:: SOT 30582 SOS 18093 HAS SOPS 18093 HAS SOUS 16065 HAS SOUPS 16065 WITH SCORE 16083.093
AT ITER 508 NEW BEST:: SOT 30582 SOS 18058 HAS SOPS 18058 HAS SOUS 16051 HAS SOUPS 16051 WITH SCORE 16069.058
AT ITER 514 NEW BEST:: SOT 30532 SOS 17981 HAS SOPS 17981 HAS SOUS 15974 HAS SOUPS 15974 WITH SCORE 15991.981
AT ITER 516 NEW BEST:: SOT 30471 SOS 17983 HAS SOPS 17983 HAS SOUS 15965 HAS SOUPS 15965 WITH SCORE 15982.983
AT ITER 527 NEW BEST:: SOT 30460 SOS 17976 HAS SOPS 17976 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 15975.976
AT ITER 528 NEW BEST:: SOT 30460 SOS 17974 HAS SOPS 17974 HAS SOUS 15956 HAS SOUPS 15956 WITH SCORE 15973.974
AT ITER 529 NEW BEST:: SOT 30438 SOS 17926 HAS SOPS 17926 HAS SOUS 15908 HAS SOUPS 15908 WITH SCORE 15925.926
AT ITER 537 NEW BEST:: SOT 30431 SOS 17919 HAS SOPS 17919 HAS SOUS 15901 HAS SOUPS 15901 WITH SCORE 15918.919
AT ITER 546 NEW BEST:: SOT 30404 SOS 17892 HAS SOPS 17892 HAS SOUS 15874 HAS SOUPS 15874 WITH SCORE 15891.892
AT ITER 548 NEW BEST:: SOT 30380 SOS 17847 HAS SOPS 17847 HAS SOUS 15829 HAS SOUPS 15829 WITH SCORE 15846.847
AT ITER 549 NEW BEST:: SOT 30368 SOS 17815 HAS SOPS 17815 HAS SOUS 15797 HAS SOUPS 15797 WITH SCORE 15814.815
AT ITER 551 NEW BEST:: SOT 30368 SOS 17804 HAS SOPS 17804 HAS SOUS 15784 HAS SOUPS 15784 WITH SCORE 15801.804
AT ITER 553 NEW BEST:: SOT 30368 SOS 17804 HAS SOPS 17804 HAS SOUS 15780 HAS SOUPS 15780 WITH SCORE 15797.804
AT ITER 557 NEW BEST:: SOT 30360 SOS 17730 HAS SOPS 17730 HAS SOUS 15702 HAS SOUPS 15702 WITH SCORE 15719.73
AT ITER 561 NEW BEST:: SOT 30282 SOS 17618 HAS SOPS 17618 HAS SOUS 15561 HAS SOUPS 15561 WITH SCORE 15578.618
AT ITER 564 NEW BEST:: SOT 30301 SOS 17591 HAS SOPS 17591 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15551.591
AT ITER 577 NEW BEST:: SOT 30274 SOS 17564 HAS SOPS 17564 HAS SOUS 15507 HAS SOUPS 15507 WITH SCORE 15524.564
AT ITER 578 NEW BEST:: SOT 30249 SOS 17520 HAS SOPS 17520 HAS SOUS 15451 HAS SOUPS 15451 WITH SCORE 15468.52
AT ITER 579 NEW BEST:: SOT 30270 SOS 17518 HAS SOPS 17518 HAS SOUS 15449 HAS SOUPS 15449 WITH SCORE 15466.518
AT ITER 581 NEW BEST:: SOT 30240 SOS 17560 HAS SOPS 17560 HAS SOUS 15422 HAS SOUPS 15422 WITH SCORE 15439.56
AT ITER 591 NEW BEST:: SOT 30240 SOS 17498 HAS SOPS 17498 HAS SOUS 15422 HAS SOUPS 15422 WITH SCORE 15439.498
AT ITER 595 NEW BEST:: SOT 30239 SOS 17481 HAS SOPS 17481 HAS SOUS 15405 HAS SOUPS 15405 WITH SCORE 15422.481
AT ITER 607 NEW BEST:: SOT 30224 SOS 17291 HAS SOPS 17291 HAS SOUS 15356 HAS SOUPS 15356 WITH SCORE 15373.291
AT ITER 610 NEW BEST:: SOT 30188 SOS 17255 HAS SOPS 17255 HAS SOUS 15320 HAS SOUPS 15320 WITH SCORE 15337.255
AT ITER 615 NEW BEST:: SOT 30188 SOS 17245 HAS SOPS 17245 HAS SOUS 15314 HAS SOUPS 15314 WITH SCORE 15331.245
AT ITER 617 NEW BEST:: SOT 30081 SOS 16984 HAS SOPS 16984 HAS SOUS 15160 HAS SOUPS 15160 WITH SCORE 15176.984
AT ITER 625 NEW BEST:: SOT 30061 SOS 16962 HAS SOPS 16962 HAS SOUS 15142 HAS SOUPS 15142 WITH SCORE 15158.962
AT ITER 637 NEW BEST:: SOT 30061 SOS 16962 HAS SOPS 16962 HAS SOUS 15116 HAS SOUPS 15116 WITH SCORE 15132.962
AT ITER 641 NEW BEST:: SOT 30052 SOS 16917 HAS SOPS 16917 HAS SOUS 15089 HAS SOUPS 15089 WITH SCORE 15105.917
AT ITER 643 NEW BEST:: SOT 30059 SOS 16834 HAS SOPS 16834 HAS SOUS 15070 HAS SOUPS 15070 WITH SCORE 15086.834
AT ITER 653 NEW BEST:: SOT 30017 SOS 16624 HAS SOPS 16624 HAS SOUS 14989 HAS SOUPS 14989 WITH SCORE 15005.624
AT ITER 654 NEW BEST:: SOT 30015 SOS 16573 HAS SOPS 16573 HAS SOUS 14938 HAS SOUPS 14938 WITH SCORE 14954.573
AT ITER 660 NEW BEST:: SOT 29971 SOS 16529 HAS SOPS 16529 HAS SOUS 14897 HAS SOUPS 14897 WITH SCORE 14913.529
AT ITER 665 NEW BEST:: SOT 29968 SOS 16501 HAS SOPS 16501 HAS SOUS 14891 HAS SOUPS 14891 WITH SCORE 14907.501
AT ITER 666 NEW BEST:: SOT 29968 SOS 16394 HAS SOPS 16394 HAS SOUS 14877 HAS SOUPS 14877 WITH SCORE 14893.394
AT ITER 683 NEW BEST:: SOT 29957 SOS 16358 HAS SOPS 16358 HAS SOUS 14855 HAS SOUPS 14855 WITH SCORE 14871.358
AT ITER 698 NEW BEST:: SOT 29941 SOS 16328 HAS SOPS 16328 HAS SOUS 14825 HAS SOUPS 14825 WITH SCORE 14841.328
AT ITER 699 NEW BEST:: SOT 29865 SOS 16249 HAS SOPS 16249 HAS SOUS 14747 HAS SOUPS 14747 WITH SCORE 14763.249
AT ITER 704 NEW BEST:: SOT 29851 SOS 15900 HAS SOPS 15900 HAS SOUS 14567 HAS SOUPS 14567 WITH SCORE 14582.9
AT ITER 706 NEW BEST:: SOT 29831 SOS 15880 HAS SOPS 15880 HAS SOUS 14547 HAS SOUPS 14547 WITH SCORE 14562.88
AT ITER 709 NEW BEST:: SOT 29831 SOS 15881 HAS SOPS 15881 HAS SOUS 14543 HAS SOUPS 14543 WITH SCORE 14558.881
AT ITER 711 NEW BEST:: SOT 29781 SOS 15838 HAS SOPS 15838 HAS SOUS 14500 HAS SOUPS 14500 WITH SCORE 14515.838
AT ITER 713 NEW BEST:: SOT 29634 SOS 15230 HAS SOPS 15230 HAS SOUS 14159 HAS SOUPS 14159 WITH SCORE 14174.23
AT ITER 719 NEW BEST:: SOT 29580 SOS 15172 HAS SOPS 15172 HAS SOUS 14087 HAS SOUPS 14087 WITH SCORE 14102.172
AT ITER 732 NEW BEST:: SOT 29553 SOS 15145 HAS SOPS 15145 HAS SOUS 14060 HAS SOUPS 14060 WITH SCORE 14075.145
AT ITER 733 NEW BEST:: SOT 29553 SOS 15116 HAS SOPS 15116 HAS SOUS 14044 HAS SOUPS 14044 WITH SCORE 14059.116
AT ITER 752 NEW BEST:: SOT 29521 SOS 15084 HAS SOPS 15084 HAS SOUS 14012 HAS SOUPS 14012 WITH SCORE 14027.084
AT ITER 757 NEW BEST:: SOT 29521 SOS 15096 HAS SOPS 15096 HAS SOUS 13998 HAS SOUPS 13998 WITH SCORE 14013.096
AT ITER 771 NEW BEST:: SOT 29521 SOS 15095 HAS SOPS 15095 HAS SOUS 13997 HAS SOUPS 13997 WITH SCORE 14012.095
AT ITER 773 NEW BEST:: SOT 29520 SOS 15117 HAS SOPS 15117 HAS SOUS 13993 HAS SOUPS 13993 WITH SCORE 14008.117
AT ITER 777 NEW BEST:: SOT 29526 SOS 15081 HAS SOPS 15081 HAS SOUS 13981 HAS SOUPS 13981 WITH SCORE 13996.081
AT ITER 782 NEW BEST:: SOT 29524 SOS 15079 HAS SOPS 15079 HAS SOUS 13979 HAS SOUPS 13979 WITH SCORE 13994.079
AT ITER 783 NEW BEST:: SOT 29523 SOS 15059 HAS SOPS 15059 HAS SOUS 13977 HAS SOUPS 13977 WITH SCORE 13992.059
AT ITER 788 NEW BEST:: SOT 29498 SOS 15026 HAS SOPS 15026 HAS SOUS 13949 HAS SOUPS 13949 WITH SCORE 13964.026
AT ITER 793 NEW BEST:: SOT 29471 SOS 15021 HAS SOPS 15021 HAS SOUS 13944 HAS SOUPS 13944 WITH SCORE 13959.021
AT ITER 803 NEW BEST:: SOT 29408 SOS 14905 HAS SOPS 14905 HAS SOUS 13828 HAS SOUPS 13828 WITH SCORE 13842.905
AT ITER 815 NEW BEST:: SOT 29411 SOS 14944 HAS SOPS 14944 HAS SOUS 13825 HAS SOUPS 13825 WITH SCORE 13839.944
AT ITER 819 NEW BEST:: SOT 29410 SOS 14934 HAS SOPS 14934 HAS SOUS 13815 HAS SOUPS 13815 WITH SCORE 13829.934
AT ITER 825 NEW BEST:: SOT 29423 SOS 14933 HAS SOPS 14933 HAS SOUS 13814 HAS SOUPS 13814 WITH SCORE 13828.933
AT ITER 831 NEW BEST:: SOT 29343 SOS 14643 HAS SOPS 14643 HAS SOUS 13524 HAS SOUPS 13524 WITH SCORE 13538.643
AT ITER 833 NEW BEST:: SOT 29342 SOS 14602 HAS SOPS 14602 HAS SOUS 13483 HAS SOUPS 13483 WITH SCORE 13497.602
AT ITER 838 NEW BEST:: SOT 29342 SOS 14602 HAS SOPS 14602 HAS SOUS 13477 HAS SOUPS 13477 WITH SCORE 13491.602
AT ITER 839 NEW BEST:: SOT 29299 SOS 14516 HAS SOPS 14516 HAS SOUS 13391 HAS SOUPS 13391 WITH SCORE 13405.516
AT ITER 857 NEW BEST:: SOT 29273 SOS 14490 HAS SOPS 14490 HAS SOUS 13365 HAS SOUPS 13365 WITH SCORE 13379.49
AT ITER 859 NEW BEST:: SOT 29271 SOS 14488 HAS SOPS 14488 HAS SOUS 13363 HAS SOUPS 13363 WITH SCORE 13377.488
AT ITER 861 NEW BEST:: SOT 29271 SOS 14475 HAS SOPS 14475 HAS SOUS 13350 HAS SOUPS 13350 WITH SCORE 13364.475
AT ITER 874 NEW BEST:: SOT 29271 SOS 14474 HAS SOPS 14474 HAS SOUS 13349 HAS SOUPS 13349 WITH SCORE 13363.474
AT ITER 887 NEW BEST:: SOT 29267 SOS 14468 HAS SOPS 14468 HAS SOUS 13336 HAS SOUPS 13336 WITH SCORE 13350.468
AT ITER 889 NEW BEST:: SOT 29267 SOS 14446 HAS SOPS 14446 HAS SOUS 13314 HAS SOUPS 13314 WITH SCORE 13328.446
AT ITER 922 NEW BEST:: SOT 29268 SOS 14445 HAS SOPS 14445 HAS SOUS 13313 HAS SOUPS 13313 WITH SCORE 13327.445
AT ITER 943 NEW BEST:: SOT 29237 SOS 14440 HAS SOPS 14440 HAS SOUS 13308 HAS SOUPS 13308 WITH SCORE 13322.44
AT ITER 955 NEW BEST:: SOT 29206 SOS 14409 HAS SOPS 14409 HAS SOUS 13277 HAS SOUPS 13277 WITH SCORE 13291.409
AT ITER 959 NEW BEST:: SOT 29206 SOS 14388 HAS SOPS 14388 HAS SOUS 13256 HAS SOUPS 13256 WITH SCORE 13270.388
AT ITER 968 NEW BEST:: SOT 29217 SOS 14358 HAS SOPS 14358 HAS SOUS 13224 HAS SOUPS 13224 WITH SCORE 13238.358
AT ITER 973 NEW BEST:: SOT 29227 SOS 14366 HAS SOPS 14366 HAS SOUS 13214 HAS SOUPS 13214 WITH SCORE 13228.366
AT ITER 975 NEW BEST:: SOT 29220 SOS 14352 HAS SOPS 14352 HAS SOUS 13200 HAS SOUPS 13200 WITH SCORE 13214.352
AT ITER 983 NEW BEST:: SOT 29232 SOS 14256 HAS SOPS 14256 HAS SOUS 13193 HAS SOUPS 13193 WITH SCORE 13207.256
AT ITER 1003 NEW BEST:: SOT 29222 SOS 14246 HAS SOPS 14246 HAS SOUS 13183 HAS SOUPS 13183 WITH SCORE 13197.246
AT ITER 1008 NEW BEST:: SOT 29208 SOS 14213 HAS SOPS 14213 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13164.213
AT ITER 1016 NEW BEST:: SOT 29157 SOS 14190 HAS SOPS 14190 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13164.19
AT ITER 1020 NEW BEST:: SOT 29186 SOS 14182 HAS SOPS 14182 HAS SOUS 13142 HAS SOUPS 13142 WITH SCORE 13156.182
AT ITER 1021 NEW BEST:: SOT 29133 SOS 14082 HAS SOPS 14082 HAS SOUS 13042 HAS SOUPS 13042 WITH SCORE 13056.082
AT ITER 1035 NEW BEST:: SOT 29030 SOS 13996 HAS SOPS 13996 HAS SOUS 12967 HAS SOUPS 12967 WITH SCORE 12980.996
AT ITER 1041 NEW BEST:: SOT 29062 SOS 14044 HAS SOPS 14044 HAS SOUS 12964 HAS SOUPS 12964 WITH SCORE 12978.044
AT ITER 1049 NEW BEST:: SOT 29044 SOS 14025 HAS SOPS 14025 HAS SOUS 12942 HAS SOUPS 12942 WITH SCORE 12956.025
AT ITER 1050 NEW BEST:: SOT 29027 SOS 14008 HAS SOPS 14008 HAS SOUS 12891 HAS SOUPS 12891 WITH SCORE 12905.008
AT ITER 1079 NEW BEST:: SOT 29025 SOS 14006 HAS SOPS 14006 HAS SOUS 12889 HAS SOUPS 12889 WITH SCORE 12903.006
AT ITER 1089 NEW BEST:: SOT 29025 SOS 13979 HAS SOPS 13979 HAS SOUS 12889 HAS SOUPS 12889 WITH SCORE 12902.979
AT ITER 1093 NEW BEST:: SOT 29022 SOS 14027 HAS SOPS 14027 HAS SOUS 12887 HAS SOUPS 12887 WITH SCORE 12901.027
AT ITER 1098 NEW BEST:: SOT 28999 SOS 13980 HAS SOPS 13980 HAS SOUS 12816 HAS SOUPS 12816 WITH SCORE 12829.98
AT ITER 1100 NEW BEST:: SOT 28971 SOS 13896 HAS SOPS 13896 HAS SOUS 12732 HAS SOUPS 12732 WITH SCORE 12745.896
AT ITER 1109 NEW BEST:: SOT 28936 SOS 13800 HAS SOPS 13800 HAS SOUS 12671 HAS SOUPS 12671 WITH SCORE 12684.8
AT ITER 1118 NEW BEST:: SOT 28936 SOS 13797 HAS SOPS 13797 HAS SOUS 12649 HAS SOUPS 12649 WITH SCORE 12662.797
AT ITER 1140 NEW BEST:: SOT 28936 SOS 13796 HAS SOPS 13796 HAS SOUS 12648 HAS SOUPS 12648 WITH SCORE 12661.796
AT ITER 1144 NEW BEST:: SOT 28881 SOS 13692 HAS SOPS 13692 HAS SOUS 12544 HAS SOUPS 12544 WITH SCORE 12557.692
AT ITER 1151 NEW BEST:: SOT 28881 SOS 13666 HAS SOPS 13666 HAS SOUS 12511 HAS SOUPS 12511 WITH SCORE 12524.666
AT ITER 1153 NEW BEST:: SOT 28867 SOS 13649 HAS SOPS 13649 HAS SOUS 12480 HAS SOUPS 12480 WITH SCORE 12493.649
AT ITER 1168 NEW BEST:: SOT 28839 SOS 13621 HAS SOPS 13621 HAS SOUS 12446 HAS SOUPS 12446 WITH SCORE 12459.621
AT ITER 1170 NEW BEST:: SOT 28835 SOS 13617 HAS SOPS 13617 HAS SOUS 12442 HAS SOUPS 12442 WITH SCORE 12455.617
AT ITER 1173 NEW BEST:: SOT 28832 SOS 13614 HAS SOPS 13614 HAS SOUS 12439 HAS SOUPS 12439 WITH SCORE 12452.614
AT ITER 1181 NEW BEST:: SOT 28794 SOS 13575 HAS SOPS 13575 HAS SOUS 12417 HAS SOUPS 12417 WITH SCORE 12430.575
AT ITER 1186 NEW BEST:: SOT 28794 SOS 13557 HAS SOPS 13557 HAS SOUS 12399 HAS SOUPS 12399 WITH SCORE 12412.557
AT ITER 1203 NEW BEST:: SOT 28777 SOS 13540 HAS SOPS 13540 HAS SOUS 12370 HAS SOUPS 12370 WITH SCORE 12383.54
AT ITER 1230 NEW BEST:: SOT 28777 SOS 13531 HAS SOPS 13531 HAS SOUS 12361 HAS SOUPS 12361 WITH SCORE 12374.531
AT ITER 1232 NEW BEST:: SOT 28756 SOS 13489 HAS SOPS 13489 HAS SOUS 12319 HAS SOUPS 12319 WITH SCORE 12332.489
AT ITER 1243 NEW BEST:: SOT 28672 SOS 13405 HAS SOPS 13405 HAS SOUS 12235 HAS SOUPS 12235 WITH SCORE 12248.405
AT ITER 1255 NEW BEST:: SOT 28672 SOS 13365 HAS SOPS 13365 HAS SOUS 12228 HAS SOUPS 12228 WITH SCORE 12241.365
AT ITER 1257 NEW BEST:: SOT 28638 SOS 13324 HAS SOPS 13324 HAS SOUS 12187 HAS SOUPS 12187 WITH SCORE 12200.324
AT ITER 1263 NEW BEST:: SOT 28620 SOS 13299 HAS SOPS 13299 HAS SOUS 12155 HAS SOUPS 12155 WITH SCORE 12168.299
AT ITER 1287 NEW BEST:: SOT 28588 SOS 13267 HAS SOPS 13267 HAS SOUS 12123 HAS SOUPS 12123 WITH SCORE 12136.267
AT ITER 1315 NEW BEST:: SOT 28594 SOS 13277 HAS SOPS 13277 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12127.277
AT ITER 1316 NEW BEST:: SOT 28575 SOS 13257 HAS SOPS 13257 HAS SOUS 12094 HAS SOUPS 12094 WITH SCORE 12107.257
AT ITER 1323 NEW BEST:: SOT 28567 SOS 13224 HAS SOPS 13224 HAS SOUS 12079 HAS SOUPS 12079 WITH SCORE 12092.224
AT ITER 1346 NEW BEST:: SOT 28558 SOS 13108 HAS SOPS 13108 HAS SOUS 12045 HAS SOUPS 12045 WITH SCORE 12058.108
AT ITER 1377 NEW BEST:: SOT 28578 SOS 13128 HAS SOPS 13128 HAS SOUS 12038 HAS SOUPS 12038 WITH SCORE 12051.128
AT ITER 1384 NEW BEST:: SOT 28574 SOS 13124 HAS SOPS 13124 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12047.124
AT ITER 1385 NEW BEST:: SOT 28571 SOS 13121 HAS SOPS 13121 HAS SOUS 12031 HAS SOUPS 12031 WITH SCORE 12044.121
AT ITER 1393 NEW BEST:: SOT 28571 SOS 13120 HAS SOPS 13120 HAS SOUS 12027 HAS SOUPS 12027 WITH SCORE 12040.12
AT ITER 1403 NEW BEST:: SOT 28547 SOS 13086 HAS SOPS 13086 HAS SOUS 12007 HAS SOUPS 12007 WITH SCORE 12020.086
AT ITER 1406 NEW BEST:: SOT 28535 SOS 13050 HAS SOPS 13050 HAS SOUS 11971 HAS SOUPS 11971 WITH SCORE 11984.05
AT ITER 1412 NEW BEST:: SOT 28529 SOS 13044 HAS SOPS 13044 HAS SOUS 11965 HAS SOUPS 11965 WITH SCORE 11978.044
AT ITER 1428 NEW BEST:: SOT 28530 SOS 13034 HAS SOPS 13034 HAS SOUS 11955 HAS SOUPS 11955 WITH SCORE 11968.034
AT ITER 1449 NEW BEST:: SOT 28520 SOS 13015 HAS SOPS 13015 HAS SOUS 11935 HAS SOUPS 11935 WITH SCORE 11948.015
AT ITER 1454 NEW BEST:: SOT 28520 SOS 13002 HAS SOPS 13002 HAS SOUS 11925 HAS SOUPS 11925 WITH SCORE 11938.002
AT ITER 1461 NEW BEST:: SOT 28520 SOS 12949 HAS SOPS 12949 HAS SOUS 11872 HAS SOUPS 11872 WITH SCORE 11884.949
AT ITER 1473 NEW BEST:: SOT 28504 SOS 12967 HAS SOPS 12967 HAS SOUS 11848 HAS SOUPS 11848 WITH SCORE 11860.967
AT ITER 1475 NEW BEST:: SOT 28508 SOS 12949 HAS SOPS 12949 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11842.949
AT ITER 1488 NEW BEST:: SOT 28513 SOS 12953 HAS SOPS 12953 HAS SOUS 11828 HAS SOUPS 11828 WITH SCORE 11840.953
AT ITER 1513 NEW BEST:: SOT 28483 SOS 12874 HAS SOPS 12874 HAS SOUS 11749 HAS SOUPS 11749 WITH SCORE 11761.874
AT ITER 1520 NEW BEST:: SOT 28432 SOS 12769 HAS SOPS 12769 HAS SOUS 11662 HAS SOUPS 11662 WITH SCORE 11674.769
AT ITER 1540 NEW BEST:: SOT 28426 SOS 12757 HAS SOPS 12757 HAS SOUS 11650 HAS SOUPS 11650 WITH SCORE 11662.757
AT ITER 1562 NEW BEST:: SOT 28416 SOS 12732 HAS SOPS 12732 HAS SOUS 11630 HAS SOUPS 11630 WITH SCORE 11642.732
AT ITER 1563 NEW BEST:: SOT 28416 SOS 12721 HAS SOPS 12721 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11638.721
AT ITER 1566 NEW BEST:: SOT 28416 SOS 12715 HAS SOPS 12715 HAS SOUS 11621 HAS SOUPS 11621 WITH SCORE 11633.715
AT ITER 1603 NEW BEST:: SOT 28416 SOS 12692 HAS SOPS 12692 HAS SOUS 11610 HAS SOUPS 11610 WITH SCORE 11622.692
AT ITER 1604 NEW BEST:: SOT 28407 SOS 12644 HAS SOPS 12644 HAS SOUS 11575 HAS SOUPS 11575 WITH SCORE 11587.644
AT ITER 1654 NEW BEST:: SOT 28403 SOS 12640 HAS SOPS 12640 HAS SOUS 11571 HAS SOUPS 11571 WITH SCORE 11583.64
AT ITER 1671 NEW BEST:: SOT 28381 SOS 12576 HAS SOPS 12576 HAS SOUS 11507 HAS SOUPS 11507 WITH SCORE 11519.576
AT ITER 1673 NEW BEST:: SOT 28381 SOS 12562 HAS SOPS 12562 HAS SOUS 11493 HAS SOUPS 11493 WITH SCORE 11505.562
AT ITER 1676 NEW BEST:: SOT 28360 SOS 12541 HAS SOPS 12541 HAS SOUS 11472 HAS SOUPS 11472 WITH SCORE 11484.541
AT ITER 1677 NEW BEST:: SOT 28346 SOS 12527 HAS SOPS 12527 HAS SOUS 11458 HAS SOUPS 11458 WITH SCORE 11470.527
AT ITER 1681 NEW BEST:: SOT 28327 SOS 12490 HAS SOPS 12490 HAS SOUS 11408 HAS SOUPS 11408 WITH SCORE 11420.49
AT ITER 1691 NEW BEST:: SOT 28281 SOS 12478 HAS SOPS 12478 HAS SOUS 11396 HAS SOUPS 11396 WITH SCORE 11408.478
AT ITER 1694 NEW BEST:: SOT 28281 SOS 12472 HAS SOPS 12472 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11404.472
AT ITER 1708 NEW BEST:: SOT 28275 SOS 12430 HAS SOPS 12430 HAS SOUS 11371 HAS SOUPS 11371 WITH SCORE 11383.43
AT ITER 1715 NEW BEST:: SOT 28262 SOS 12393 HAS SOPS 12393 HAS SOUS 11342 HAS SOUPS 11342 WITH SCORE 11354.393
AT ITER 1737 NEW BEST:: SOT 28242 SOS 12386 HAS SOPS 12386 HAS SOUS 11335 HAS SOUPS 11335 WITH SCORE 11347.386
AT ITER 1749 NEW BEST:: SOT 28143 SOS 12275 HAS SOPS 12275 HAS SOUS 11224 HAS SOUPS 11224 WITH SCORE 11236.275
AT ITER 1750 NEW BEST:: SOT 28152 SOS 12281 HAS SOPS 12281 HAS SOUS 11222 HAS SOUPS 11222 WITH SCORE 11234.281
AT ITER 1806 NEW BEST:: SOT 28159 SOS 12278 HAS SOPS 12278 HAS SOUS 11208 HAS SOUPS 11208 WITH SCORE 11220.278
AT ITER 1808 NEW BEST:: SOT 28166 SOS 12285 HAS SOPS 12285 HAS SOUS 11199 HAS SOUPS 11199 WITH SCORE 11211.285
AT ITER 1815 NEW BEST:: SOT 28146 SOS 12263 HAS SOPS 12263 HAS SOUS 11190 HAS SOUPS 11190 WITH SCORE 11202.263
AT ITER 1822 NEW BEST:: SOT 28116 SOS 12225 HAS SOPS 12225 HAS SOUS 11180 HAS SOUPS 11180 WITH SCORE 11192.225
AT ITER 1857 NEW BEST:: SOT 28111 SOS 12220 HAS SOPS 12220 HAS SOUS 11175 HAS SOUPS 11175 WITH SCORE 11187.22
AT ITER 1861 NEW BEST:: SOT 28081 SOS 12175 HAS SOPS 12175 HAS SOUS 11130 HAS SOUPS 11130 WITH SCORE 11142.175
AT ITER 1906 NEW BEST:: SOT 28069 SOS 12174 HAS SOPS 12174 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11139.174
AT ITER 1936 NEW BEST:: SOT 27975 SOS 12142 HAS SOPS 12142 HAS SOUS 11119 HAS SOUPS 11119 WITH SCORE 11131.142
AT ITER 1945 NEW BEST:: SOT 27865 SOS 12043 HAS SOPS 12043 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11032.043
AT ITER 1972 NEW BEST:: SOT 27858 SOS 12029 HAS SOPS 12029 HAS SOUS 11008 HAS SOUPS 11008 WITH SCORE 11020.029
AT ITER 1980 NEW BEST:: SOT 27840 SOS 12011 HAS SOPS 12011 HAS SOUS 11002 HAS SOUPS 11002 WITH SCORE 11014.011
AT ITER 1985 NEW BEST:: SOT 27809 SOS 11999 HAS SOPS 11999 HAS SOUS 10990 HAS SOUPS 10990 WITH SCORE 11001.999
AT ITER 1987 NEW BEST:: SOT 27864 SOS 11998 HAS SOPS 11998 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10957.998
AT ITER 2004 NEW BEST:: SOT 27782 SOS 11916 HAS SOPS 11916 HAS SOUS 10864 HAS SOUPS 10864 WITH SCORE 10875.916
AT ITER 2017 NEW BEST:: SOT 27766 SOS 11884 HAS SOPS 11884 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10843.884
AT ITER 2023 NEW BEST:: SOT 27752 SOS 11856 HAS SOPS 11856 HAS SOUS 10804 HAS SOUPS 10804 WITH SCORE 10815.856
AT ITER 2026 NEW BEST:: SOT 27739 SOS 11843 HAS SOPS 11843 HAS SOUS 10791 HAS SOUPS 10791 WITH SCORE 10802.843
AT ITER 2037 NEW BEST:: SOT 27719 SOS 11807 HAS SOPS 11807 HAS SOUS 10752 HAS SOUPS 10752 WITH SCORE 10763.807
AT ITER 2050 NEW BEST:: SOT 27737 SOS 11801 HAS SOPS 11801 HAS SOUS 10722 HAS SOUPS 10722 WITH SCORE 10733.801
AT ITER 2056 NEW BEST:: SOT 27735 SOS 11799 HAS SOPS 11799 HAS SOUS 10720 HAS SOUPS 10720 WITH SCORE 10731.799
AT ITER 2059 NEW BEST:: SOT 27719 SOS 11783 HAS SOPS 11783 HAS SOUS 10688 HAS SOUPS 10688 WITH SCORE 10699.783
AT ITER 2072 NEW BEST:: SOT 27706 SOS 11745 HAS SOPS 11745 HAS SOUS 10662 HAS SOUPS 10662 WITH SCORE 10673.745
AT ITER 2086 NEW BEST:: SOT 27678 SOS 11684 HAS SOPS 11684 HAS SOUS 10601 HAS SOUPS 10601 WITH SCORE 10612.684
AT ITER 2090 NEW BEST:: SOT 27665 SOS 11634 HAS SOPS 11634 HAS SOUS 10577 HAS SOUPS 10577 WITH SCORE 10588.634
AT ITER 2096 NEW BEST:: SOT 27658 SOS 11625 HAS SOPS 11625 HAS SOUS 10568 HAS SOUPS 10568 WITH SCORE 10579.625
AT ITER 2101 NEW BEST:: SOT 27657 SOS 11624 HAS SOPS 11624 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10578.624
AT ITER 2113 NEW BEST:: SOT 27654 SOS 11616 HAS SOPS 11616 HAS SOUS 10559 HAS SOUPS 10559 WITH SCORE 10570.616
AT ITER 2132 NEW BEST:: SOT 27654 SOS 11614 HAS SOPS 11614 HAS SOUS 10558 HAS SOUPS 10558 WITH SCORE 10569.614
AT ITER 2135 NEW BEST:: SOT 27661 SOS 11613 HAS SOPS 11613 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10568.613
AT ITER 2136 NEW BEST:: SOT 27661 SOS 11600 HAS SOPS 11600 HAS SOUS 10544 HAS SOUPS 10544 WITH SCORE 10555.6
AT ITER 2144 NEW BEST:: SOT 27649 SOS 11570 HAS SOPS 11570 HAS SOUS 10514 HAS SOUPS 10514 WITH SCORE 10525.57
AT ITER 2159 NEW BEST:: SOT 27649 SOS 11561 HAS SOPS 11561 HAS SOUS 10505 HAS SOUPS 10505 WITH SCORE 10516.561
AT ITER 2163 NEW BEST:: SOT 27580 SOS 11320 HAS SOPS 11320 HAS SOUS 10350 HAS SOUPS 10350 WITH SCORE 10361.32
AT ITER 2171 NEW BEST:: SOT 27578 SOS 11316 HAS SOPS 11316 HAS SOUS 10346 HAS SOUPS 10346 WITH SCORE 10357.316
AT ITER 2188 NEW BEST:: SOT 27566 SOS 11295 HAS SOPS 11295 HAS SOUS 10330 HAS SOUPS 10330 WITH SCORE 10341.295
AT ITER 2201 NEW BEST:: SOT 27570 SOS 11286 HAS SOPS 11286 HAS SOUS 10321 HAS SOUPS 10321 WITH SCORE 10332.286
AT ITER 2296 NEW BEST:: SOT 27560 SOS 11269 HAS SOPS 11269 HAS SOUS 10298 HAS SOUPS 10298 WITH SCORE 10309.269
AT ITER 2297 NEW BEST:: SOT 27606 SOS 11315 HAS SOPS 11315 HAS SOUS 10295 HAS SOUPS 10295 WITH SCORE 10306.315
AT ITER 2326 NEW BEST:: SOT 27598 SOS 11301 HAS SOPS 11301 HAS SOUS 10288 HAS SOUPS 10288 WITH SCORE 10299.301
AT ITER 2338 NEW BEST:: SOT 27597 SOS 11297 HAS SOPS 11297 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10297.297
AT ITER 2344 NEW BEST:: SOT 27544 SOS 11267 HAS SOPS 11267 HAS SOUS 10258 HAS SOUPS 10258 WITH SCORE 10269.267
AT ITER 2370 NEW BEST:: SOT 27544 SOS 11294 HAS SOPS 11294 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10256.294
AT ITER 2381 NEW BEST:: SOT 27514 SOS 11264 HAS SOPS 11264 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10226.264
AT ITER 2395 NEW BEST:: SOT 27514 SOS 11259 HAS SOPS 11259 HAS SOUS 10210 HAS SOUPS 10210 WITH SCORE 10221.259
AT ITER 2401 NEW BEST:: SOT 27504 SOS 11179 HAS SOPS 11179 HAS SOUS 10200 HAS SOUPS 10200 WITH SCORE 10211.179
AT ITER 2407 NEW BEST:: SOT 27500 SOS 11175 HAS SOPS 11175 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10207.175
AT ITER 2411 NEW BEST:: SOT 27499 SOS 11173 HAS SOPS 11173 HAS SOUS 10195 HAS SOUPS 10195 WITH SCORE 10206.173
AT ITER 2417 NEW BEST:: SOT 27466 SOS 11140 HAS SOPS 11140 HAS SOUS 10166 HAS SOUPS 10166 WITH SCORE 10177.14
AT ITER 2426 NEW BEST:: SOT 27458 SOS 11132 HAS SOPS 11132 HAS SOUS 10158 HAS SOUPS 10158 WITH SCORE 10169.132
AT ITER 2448 NEW BEST:: SOT 27446 SOS 11119 HAS SOPS 11119 HAS SOUS 10138 HAS SOUPS 10138 WITH SCORE 10149.119
AT ITER 2453 NEW BEST:: SOT 27430 SOS 11064 HAS SOPS 11064 HAS SOUS 10108 HAS SOUPS 10108 WITH SCORE 10119.064
AT ITER 2482 NEW BEST:: SOT 27448 SOS 11160 HAS SOPS 11160 HAS SOUS 10088 HAS SOUPS 10088 WITH SCORE 10099.16
AT ITER 2499 NEW BEST:: SOT 27429 SOS 11141 HAS SOPS 11141 HAS SOUS 10048 HAS SOUPS 10048 WITH SCORE 10059.141
AT ITER 2523 NEW BEST:: SOT 27429 SOS 11141 HAS SOPS 11141 HAS SOUS 10039 HAS SOUPS 10039 WITH SCORE 10050.141
AT ITER 2524 NEW BEST:: SOT 27422 SOS 11134 HAS SOPS 11134 HAS SOUS 10032 HAS SOUPS 10032 WITH SCORE 10043.134
AT ITER 2526 NEW BEST:: SOT 27421 SOS 11129 HAS SOPS 11129 HAS SOUS 10027 HAS SOUPS 10027 WITH SCORE 10038.129
AT ITER 2535 NEW BEST:: SOT 27406 SOS 11114 HAS SOPS 11114 HAS SOUS 10012 HAS SOUPS 10012 WITH SCORE 10023.114
AT ITER 2539 NEW BEST:: SOT 27400 SOS 11102 HAS SOPS 11102 HAS SOUS 10000 HAS SOUPS 10000 WITH SCORE 10011.102
AT ITER 2547 NEW BEST:: SOT 27415 SOS 10614 HAS SOPS 10614 HAS SOUS 9764 HAS SOUPS 9764 WITH SCORE 9774.614
AT ITER 2552 NEW BEST:: SOT 27415 SOS 10614 HAS SOPS 10614 HAS SOUS 9761 HAS SOUPS 9761 WITH SCORE 9771.614
AT ITER 2569 NEW BEST:: SOT 27434 SOS 10591 HAS SOPS 10591 HAS SOUS 9717 HAS SOUPS 9717 WITH SCORE 9727.591
AT ITER 2575 NEW BEST:: SOT 27407 SOS 10564 HAS SOPS 10564 HAS SOUS 9690 HAS SOUPS 9690 WITH SCORE 9700.564
AT ITER 2593 NEW BEST:: SOT 27407 SOS 10559 HAS SOPS 10559 HAS SOUS 9690 HAS SOUPS 9690 WITH SCORE 9700.559
AT ITER 2607 NEW BEST:: SOT 27400 SOS 10554 HAS SOPS 10554 HAS SOUS 9686 HAS SOUPS 9686 WITH SCORE 9696.554
AT ITER 2613 NEW BEST:: SOT 27388 SOS 10523 HAS SOPS 10523 HAS SOUS 9662 HAS SOUPS 9662 WITH SCORE 9672.523
AT ITER 2622 NEW BEST:: SOT 27380 SOS 10507 HAS SOPS 10507 HAS SOUS 9646 HAS SOUPS 9646 WITH SCORE 9656.507
AT ITER 2624 NEW BEST:: SOT 27379 SOS 10502 HAS SOPS 10502 HAS SOUS 9644 HAS SOUPS 9644 WITH SCORE 9654.502
AT ITER 2629 NEW BEST:: SOT 27377 SOS 10500 HAS SOPS 10500 HAS SOUS 9642 HAS SOUPS 9642 WITH SCORE 9652.5
AT ITER 2631 NEW BEST:: SOT 27371 SOS 10494 HAS SOPS 10494 HAS SOUS 9636 HAS SOUPS 9636 WITH SCORE 9646.494
AT ITER 2661 NEW BEST:: SOT 27354 SOS 10428 HAS SOPS 10428 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9580.428
AT ITER 2665 NEW BEST:: SOT 27349 SOS 10423 HAS SOPS 10423 HAS SOUS 9565 HAS SOUPS 9565 WITH SCORE 9575.423
AT ITER 2695 NEW BEST:: SOT 27342 SOS 10416 HAS SOPS 10416 HAS SOUS 9558 HAS SOUPS 9558 WITH SCORE 9568.416
AT ITER 2696 NEW BEST:: SOT 27335 SOS 10407 HAS SOPS 10407 HAS SOUS 9542 HAS SOUPS 9542 WITH SCORE 9552.407
AT ITER 2724 NEW BEST:: SOT 27302 SOS 10275 HAS SOPS 10275 HAS SOUS 9443 HAS SOUPS 9443 WITH SCORE 9453.275
AT ITER 2732 NEW BEST:: SOT 27294 SOS 10267 HAS SOPS 10267 HAS SOUS 9435 HAS SOUPS 9435 WITH SCORE 9445.267
AT ITER 2733 NEW BEST:: SOT 27283 SOS 10256 HAS SOPS 10256 HAS SOUS 9424 HAS SOUPS 9424 WITH SCORE 9434.256
AT ITER 2738 NEW BEST:: SOT 27291 SOS 10247 HAS SOPS 10247 HAS SOUS 9415 HAS SOUPS 9415 WITH SCORE 9425.247
AT ITER 2751 NEW BEST:: SOT 27276 SOS 10232 HAS SOPS 10232 HAS SOUS 9393 HAS SOUPS 9393 WITH SCORE 9403.232
AT ITER 2814 NEW BEST:: SOT 27269 SOS 10222 HAS SOPS 10222 HAS SOUS 9373 HAS SOUPS 9373 WITH SCORE 9383.222
AT ITER 2816 NEW BEST:: SOT 27269 SOS 10222 HAS SOPS 10222 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9377.222
AT ITER 2851 NEW BEST:: SOT 27269 SOS 10221 HAS SOPS 10221 HAS SOUS 9366 HAS SOUPS 9366 WITH SCORE 9376.221
AT ITER 2852 NEW BEST:: SOT 27255 SOS 10206 HAS SOPS 10206 HAS SOUS 9363 HAS SOUPS 9363 WITH SCORE 9373.206
AT ITER 2853 NEW BEST:: SOT 27271 SOS 10191 HAS SOPS 10191 HAS SOUS 9359 HAS SOUPS 9359 WITH SCORE 9369.191
AT ITER 2861 NEW BEST:: SOT 27269 SOS 10196 HAS SOPS 10196 HAS SOUS 9350 HAS SOUPS 9350 WITH SCORE 9360.196
AT ITER 2871 NEW BEST:: SOT 27254 SOS 10177 HAS SOPS 10177 HAS SOUS 9324 HAS SOUPS 9324 WITH SCORE 9334.177
AT ITER 2872 NEW BEST:: SOT 27254 SOS 10143 HAS SOPS 10143 HAS SOUS 9312 HAS SOUPS 9312 WITH SCORE 9322.143
AT ITER 2927 NEW BEST:: SOT 27219 SOS 10120 HAS SOPS 10120 HAS SOUS 9251 HAS SOUPS 9251 WITH SCORE 9261.12
AT ITER 2955 NEW BEST:: SOT 27214 SOS 10115 HAS SOPS 10115 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9251.115
AT ITER 2970 NEW BEST:: SOT 27210 SOS 10138 HAS SOPS 10138 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9229.138
AT ITER 2981 NEW BEST:: SOT 27183 SOS 10111 HAS SOPS 10111 HAS SOUS 9210 HAS SOUPS 9210 WITH SCORE 9220.111
AT ITER 2982 NEW BEST:: SOT 27177 SOS 10105 HAS SOPS 10105 HAS SOUS 9204 HAS SOUPS 9204 WITH SCORE 9214.105
AT ITER 2992 NEW BEST:: SOT 27164 SOS 10092 HAS SOPS 10092 HAS SOUS 9191 HAS SOUPS 9191 WITH SCORE 9201.092
AT ITER 2995 NEW BEST:: SOT 27130 SOS 10011 HAS SOPS 10011 HAS SOUS 9141 HAS SOUPS 9141 WITH SCORE 9151.011
AT ITER 3016 NEW BEST:: SOT 27126 SOS 10003 HAS SOPS 10003 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9147.003
AT ITER 3132 NEW BEST:: SOT 27127 SOS 10004 HAS SOPS 10004 HAS SOUS 9134 HAS SOUPS 9134 WITH SCORE 9144.004
AT ITER 3139 NEW BEST:: SOT 27101 SOS 9976 HAS SOPS 9976 HAS SOUS 9106 HAS SOUPS 9106 WITH SCORE 9115.976
AT ITER 3185 NEW BEST:: SOT 27095 SOS 9970 HAS SOPS 9970 HAS SOUS 9100 HAS SOUPS 9100 WITH SCORE 9109.97
AT ITER 3196 NEW BEST:: SOT 27091 SOS 9943 HAS SOPS 9943 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9083.943
AT ITER 3211 NEW BEST:: SOT 27103 SOS 9931 HAS SOPS 9931 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9071.931
AT ITER 3221 NEW BEST:: SOT 27092 SOS 9916 HAS SOPS 9916 HAS SOUS 9041 HAS SOUPS 9041 WITH SCORE 9050.916
AT ITER 3227 NEW BEST:: SOT 27097 SOS 9928 HAS SOPS 9928 HAS SOUS 9026 HAS SOUPS 9026 WITH SCORE 9035.928
AT ITER 3230 NEW BEST:: SOT 27095 SOS 9926 HAS SOPS 9926 HAS SOUS 9024 HAS SOUPS 9024 WITH SCORE 9033.926
AT ITER 3249 NEW BEST:: SOT 27086 SOS 9897 HAS SOPS 9897 HAS SOUS 8995 HAS SOUPS 8995 WITH SCORE 9004.897
AT ITER 3255 NEW BEST:: SOT 27080 SOS 9879 HAS SOPS 9879 HAS SOUS 8983 HAS SOUPS 8983 WITH SCORE 8992.879
AT ITER 3280 NEW BEST:: SOT 27060 SOS 9859 HAS SOPS 9859 HAS SOUS 8963 HAS SOUPS 8963 WITH SCORE 8972.859
AT ITER 3292 NEW BEST:: SOT 27060 SOS 9853 HAS SOPS 9853 HAS SOUS 8957 HAS SOUPS 8957 WITH SCORE 8966.853
AT ITER 3320 NEW BEST:: SOT 27057 SOS 9848 HAS SOPS 9848 HAS SOUS 8952 HAS SOUPS 8952 WITH SCORE 8961.848
AT ITER 3326 NEW BEST:: SOT 27046 SOS 9815 HAS SOPS 9815 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8939.815
AT ITER 3359 NEW BEST:: SOT 27054 SOS 9823 HAS SOPS 9823 HAS SOUS 8921 HAS SOUPS 8921 WITH SCORE 8930.823
AT ITER 3373 NEW BEST:: SOT 27052 SOS 9818 HAS SOPS 9818 HAS SOUS 8916 HAS SOUPS 8916 WITH SCORE 8925.818
AT ITER 3408 NEW BEST:: SOT 27037 SOS 9803 HAS SOPS 9803 HAS SOUS 8901 HAS SOUPS 8901 WITH SCORE 8910.803
AT ITER 3426 NEW BEST:: SOT 27050 SOS 9762 HAS SOPS 9762 HAS SOUS 8860 HAS SOUPS 8860 WITH SCORE 8869.762
AT ITER 3452 NEW BEST:: SOT 27051 SOS 9760 HAS SOPS 9760 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8867.76
AT ITER 3487 NEW BEST:: SOT 27047 SOS 9756 HAS SOPS 9756 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8863.756
AT ITER 3504 NEW BEST:: SOT 27043 SOS 9749 HAS SOPS 9749 HAS SOUS 8850 HAS SOUPS 8850 WITH SCORE 8859.749
AT ITER 3530 NEW BEST:: SOT 27043 SOS 9735 HAS SOPS 9735 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8845.735
AT ITER 3535 NEW BEST:: SOT 27030 SOS 9711 HAS SOPS 9711 HAS SOUS 8831 HAS SOUPS 8831 WITH SCORE 8840.711
AT ITER 3538 NEW BEST:: SOT 27039 SOS 9715 HAS SOPS 9715 HAS SOUS 8825 HAS SOUPS 8825 WITH SCORE 8834.715
AT ITER 3568 NEW BEST:: SOT 27031 SOS 9707 HAS SOPS 9707 HAS SOUS 8825 HAS SOUPS 8825 WITH SCORE 8834.707
AT ITER 3574 NEW BEST:: SOT 27041 SOS 9678 HAS SOPS 9678 HAS SOUS 8819 HAS SOUPS 8819 WITH SCORE 8828.678
AT ITER 3584 NEW BEST:: SOT 27046 SOS 9674 HAS SOPS 9674 HAS SOUS 8817 HAS SOUPS 8817 WITH SCORE 8826.674
AT ITER 3587 NEW BEST:: SOT 27037 SOS 9656 HAS SOPS 9656 HAS SOUS 8801 HAS SOUPS 8801 WITH SCORE 8810.656
AT ITER 3642 NEW BEST:: SOT 27028 SOS 9647 HAS SOPS 9647 HAS SOUS 8792 HAS SOUPS 8792 WITH SCORE 8801.647
AT ITER 3670 NEW BEST:: SOT 27028 SOS 9646 HAS SOPS 9646 HAS SOUS 8791 HAS SOUPS 8791 WITH SCORE 8800.646
AT ITER 3693 NEW BEST:: SOT 27005 SOS 9629 HAS SOPS 9629 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8782.629
AT ITER 3698 NEW BEST:: SOT 27004 SOS 9628 HAS SOPS 9628 HAS SOUS 8772 HAS SOUPS 8772 WITH SCORE 8781.628
AT ITER 3714 NEW BEST:: SOT 27000 SOS 9624 HAS SOPS 9624 HAS SOUS 8768 HAS SOUPS 8768 WITH SCORE 8777.624
AT ITER 3749 NEW BEST:: SOT 26998 SOS 9616 HAS SOPS 9616 HAS SOUS 8762 HAS SOUPS 8762 WITH SCORE 8771.616
AT ITER 3754 NEW BEST:: SOT 26990 SOS 9608 HAS SOPS 9608 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8763.608
AT ITER 3755 NEW BEST:: SOT 26982 SOS 9596 HAS SOPS 9596 HAS SOUS 8746 HAS SOUPS 8746 WITH SCORE 8755.596
AT ITER 3757 NEW BEST:: SOT 26988 SOS 9594 HAS SOPS 9594 HAS SOUS 8744 HAS SOUPS 8744 WITH SCORE 8753.594
AT ITER 3780 NEW BEST:: SOT 26989 SOS 9578 HAS SOPS 9578 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8737.578
AT ITER 3792 NEW BEST:: SOT 26987 SOS 9572 HAS SOPS 9572 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8731.572
AT ITER 3798 NEW BEST:: SOT 26987 SOS 9569 HAS SOPS 9569 HAS SOUS 8706 HAS SOUPS 8706 WITH SCORE 8715.569
AT ITER 3898 NEW BEST:: SOT 26986 SOS 9568 HAS SOPS 9568 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8714.568
AT ITER 3929 NEW BEST:: SOT 26965 SOS 9556 HAS SOPS 9556 HAS SOUS 8705 HAS SOUPS 8705 WITH SCORE 8714.556
AT ITER 3952 NEW BEST:: SOT 26972 SOS 9566 HAS SOPS 9566 HAS SOUS 8702 HAS SOUPS 8702 WITH SCORE 8711.566
AT ITER 4012 NEW BEST:: SOT 26972 SOS 9561 HAS SOPS 9561 HAS SOUS 8692 HAS SOUPS 8692 WITH SCORE 8701.561
AT ITER 4013 NEW BEST:: SOT 26972 SOS 9541 HAS SOPS 9541 HAS SOUS 8684 HAS SOUPS 8684 WITH SCORE 8693.541
AT ITER 4026 NEW BEST:: SOT 26972 SOS 9518 HAS SOPS 9518 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8672.518
AT ITER 4027 NEW BEST:: SOT 26965 SOS 9517 HAS SOPS 9517 HAS SOUS 8662 HAS SOUPS 8662 WITH SCORE 8671.517
AT ITER 4052 NEW BEST:: SOT 26964 SOS 9515 HAS SOPS 9515 HAS SOUS 8661 HAS SOUPS 8661 WITH SCORE 8670.515
AT ITER 4080 NEW BEST:: SOT 26962 SOS 9508 HAS SOPS 9508 HAS SOUS 8659 HAS SOUPS 8659 WITH SCORE 8668.508
AT ITER 4092 NEW BEST:: SOT 26962 SOS 9505 HAS SOPS 9505 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8665.505
AT ITER 4130 NEW BEST:: SOT 26965 SOS 9504 HAS SOPS 9504 HAS SOUS 8654 HAS SOUPS 8654 WITH SCORE 8663.504
AT ITER 4139 NEW BEST:: SOT 26953 SOS 9501 HAS SOPS 9501 HAS SOUS 8644 HAS SOUPS 8644 WITH SCORE 8653.501
AT ITER 4152 NEW BEST:: SOT 26950 SOS 9498 HAS SOPS 9498 HAS SOUS 8641 HAS SOUPS 8641 WITH SCORE 8650.498
AT ITER 4162 NEW BEST:: SOT 26948 SOS 9454 HAS SOPS 9454 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8624.454
AT ITER 4170 NEW BEST:: SOT 26945 SOS 9446 HAS SOPS 9446 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8624.446
AT ITER 4204 NEW BEST:: SOT 26938 SOS 9436 HAS SOPS 9436 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8614.436
AT ITER 4215 NEW BEST:: SOT 26928 SOS 9426 HAS SOPS 9426 HAS SOUS 8601 HAS SOUPS 8601 WITH SCORE 8610.426
AT ITER 4246 NEW BEST:: SOT 26923 SOS 9421 HAS SOPS 9421 HAS SOUS 8593 HAS SOUPS 8593 WITH SCORE 8602.421
AT ITER 4278 NEW BEST:: SOT 26914 SOS 9400 HAS SOPS 9400 HAS SOUS 8575 HAS SOUPS 8575 WITH SCORE 8584.4
AT ITER 4290 NEW BEST:: SOT 26914 SOS 9393 HAS SOPS 9393 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8570.393
AT ITER 4315 NEW BEST:: SOT 26906 SOS 9392 HAS SOPS 9392 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8569.392
AT ITER 4333 NEW BEST:: SOT 26907 SOS 9389 HAS SOPS 9389 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8566.389
AT ITER 4355 NEW BEST:: SOT 26902 SOS 9384 HAS SOPS 9384 HAS SOUS 8552 HAS SOUPS 8552 WITH SCORE 8561.384
AT ITER 4374 NEW BEST:: SOT 26888 SOS 9331 HAS SOPS 9331 HAS SOUS 8510 HAS SOUPS 8510 WITH SCORE 8519.331
AT ITER 4380 NEW BEST:: SOT 26885 SOS 9318 HAS SOPS 9318 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8506.318
AT ITER 4396 NEW BEST:: SOT 26883 SOS 9323 HAS SOPS 9323 HAS SOUS 8487 HAS SOUPS 8487 WITH SCORE 8496.323
AT ITER 4397 NEW BEST:: SOT 26885 SOS 9321 HAS SOPS 9321 HAS SOUS 8487 HAS SOUPS 8487 WITH SCORE 8496.321
AT ITER 4413 NEW BEST:: SOT 26885 SOS 9223 HAS SOPS 9223 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8484.223
AT ITER 4437 NEW BEST:: SOT 26884 SOS 9220 HAS SOPS 9220 HAS SOUS 8473 HAS SOUPS 8473 WITH SCORE 8482.22
AT ITER 4484 NEW BEST:: SOT 26879 SOS 9215 HAS SOPS 9215 HAS SOUS 8468 HAS SOUPS 8468 WITH SCORE 8477.215
AT ITER 4485 NEW BEST:: SOT 26873 SOS 9209 HAS SOPS 9209 HAS SOUS 8468 HAS SOUPS 8468 WITH SCORE 8477.209
AT ITER 4489 NEW BEST:: SOT 26868 SOS 9186 HAS SOPS 9186 HAS SOUS 8452 HAS SOUPS 8452 WITH SCORE 8461.186
AT ITER 4505 NEW BEST:: SOT 26867 SOS 9185 HAS SOPS 9185 HAS SOUS 8450 HAS SOUPS 8450 WITH SCORE 8459.185
AT ITER 4573 NEW BEST:: SOT 26862 SOS 9175 HAS SOPS 9175 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8449.175
AT ITER 4588 NEW BEST:: SOT 26854 SOS 9167 HAS SOPS 9167 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8441.167
AT ITER 4594 NEW BEST:: SOT 26886 SOS 9076 HAS SOPS 9076 HAS SOUS 8422 HAS SOUPS 8422 WITH SCORE 8431.076
AT ITER 4612 NEW BEST:: SOT 26887 SOS 9061 HAS SOPS 9061 HAS SOUS 8407 HAS SOUPS 8407 WITH SCORE 8416.061
AT ITER 4645 NEW BEST:: SOT 26874 SOS 9074 HAS SOPS 9074 HAS SOUS 8404 HAS SOUPS 8404 WITH SCORE 8413.074
AT ITER 4771 NEW BEST:: SOT 26871 SOS 9080 HAS SOPS 9080 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8402.08
AT ITER 4797 NEW BEST:: SOT 26869 SOS 9078 HAS SOPS 9078 HAS SOUS 8391 HAS SOUPS 8391 WITH SCORE 8400.078
AT ITER 4810 NEW BEST:: SOT 26869 SOS 9065 HAS SOPS 9065 HAS SOUS 8378 HAS SOUPS 8378 WITH SCORE 8387.065
AT ITER 4855 NEW BEST:: SOT 26869 SOS 9063 HAS SOPS 9063 HAS SOUS 8376 HAS SOUPS 8376 WITH SCORE 8385.063
AT ITER 4863 NEW BEST:: SOT 26866 SOS 9060 HAS SOPS 9060 HAS SOUS 8373 HAS SOUPS 8373 WITH SCORE 8382.06
AT ITER 4890 NEW BEST:: SOT 26846 SOS 9035 HAS SOPS 9035 HAS SOUS 8358 HAS SOUPS 8358 WITH SCORE 8367.035
AT ITER 4891 NEW BEST:: SOT 26845 SOS 9022 HAS SOPS 9022 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8360.022
AT ITER 4897 NEW BEST:: SOT 26841 SOS 8965 HAS SOPS 8965 HAS SOUS 8331 HAS SOUPS 8331 WITH SCORE 8339.965
AT ITER 4902 NEW BEST:: SOT 26830 SOS 8951 HAS SOPS 8951 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8325.951
AT ITER 4928 NEW BEST:: SOT 26833 SOS 8945 HAS SOPS 8945 HAS SOUS 8311 HAS SOUPS 8311 WITH SCORE 8319.945
AT ITER 4949 NEW BEST:: SOT 26834 SOS 8938 HAS SOPS 8938 HAS SOUS 8310 HAS SOUPS 8310 WITH SCORE 8318.938
AT ITER 4954 NEW BEST:: SOT 26830 SOS 8934 HAS SOPS 8934 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8316.934
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-00 (EU( (! ( ((potential((tk(P77)>=1)))) | ( ((potential((tk(P57)>=1) & (tk(P72)>=1)))) | ((potential((tk(P69)>=1) & (tk(P76)>=1)))) ) )) , ((potential((tk(P134)>=1) & (tk(P151)>=1)))) ))
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-01 (EF( (EX( (AF( ((potential((tk(P13)>=1) & (tk(P15)>=1))))))))))
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-02 (EF( ( ( (! ( ((potential((tk(P246)>=1)))) & ((potential((tk(P58)>=1) & (tk(P60)>=1)))) )) & (EG( ((potential((tk(P177)>=1)))))) ) & ((potential((tk(P132)>=1) & (tk(P147)>=1)))) )))
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-03 (! ( (AF( (EG( ((potential((tk(P81)>=1) & (tk(P98)>=1)))))))) | ( (EF( ( ((potential((tk(P121)>=1)))) | ((potential((tk(P33)>=1) & (tk(P35)>=1)))) ))) & (EF( ( ((potential((tk(P88)>=1) & (tk(P90)>=1)))) | ((potential((tk(P252)>=1)))) ))) ) ))
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-04 (AF( ( (AU( ((potential((tk(P16)>=1) & (tk(P50)>=1)))) , ((potential((tk(P179)>=1) & (tk(P202)>=1)))) )) | (EF( ( ((potential((tk(P54)>=1) & (tk(P77)>=1)))) | ((potential((tk(P2)>=1) & (tk(P25)>=1)))) ))) )))
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-05 (EU( ( ( ( ((potential((tk(P96)>=1)))) & ((potential((tk(P146)>=1)))) ) & ( ((potential((tk(P94)>=1) & (tk(P101)>=1)))) & ((potential((tk(P68)>=1) & (tk(P70)>=1)))) ) ) | ( (! ((potential((tk(P179)>=1) & (tk(P202)>=1))))) & (! ((potential((tk(P114)>=1) & (tk(P128)>=1))))) ) ) , ((potential((tk(P54)>=1) & (tk(P77)>=1)))) ))
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-06 ( ( ( ( (EF( ((potential((tk(P107)>=1) & (tk(P122)>=1)))))) & ((potential((tk(P171)>=1)))) ) & ( ( (! ((potential((tk(P234)>=1) & (tk(P251)>=1))))) & (! ((potential((tk(P132)>=1) & (tk(P147)>=1))))) ) & ((potential((tk(P223)>=1)))) ) ) | (AG( ( (! ((potential((tk(P231)>=1) & (tk(P248)>=1))))) | (! ((potential((tk(P133)>=1) & (tk(P135)>=1))))) ))) ) | (AF( (AF( ( ((potential((tk(P106)>=1) & (tk(P123)>=1)))) & ((potential((tk(P33)>=1) & (tk(P35)>=1)))) ))))) )
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-07 (EF( (AX( ( ( ((potential((tk(P158)>=1) & (tk(P160)>=1)))) & ((potential((tk(P192)>=1) & (tk(P203)>=1)))) ) & ( ((potential((tk(P164)>=1) & (tk(P178)>=1)))) | ((potential((tk(P234)>=1) & (tk(P251)>=1)))) ) )))))
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-08 ( ( ( ( (AG( ((potential((tk(P206)>=1) & (tk(P223)>=1)))))) & (AG( ((potential((tk(P231)>=1) & (tk(P248)>=1)))))) ) & ((potential((tk(P216)>=1) & (tk(P250)>=1)))) ) & (AF( (EF( ((potential((tk(P87)>=1) & (tk(P97)>=1)))))))) ) | (EF( ((potential((tk(P134)>=1) & (tk(P151)>=1)))))) )
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-09 (EF( ( ( ( ((potential((tk(P134)>=1) & (tk(P151)>=1)))) & ((potential((tk(P114)>=1) & (tk(P128)>=1)))) ) & ( ((potential((tk(P193)>=1) & (tk(P195)>=1)))) & ( ((potential((tk(P48)>=1)))) & ((potential((tk(P207)>=1) & (tk(P222)>=1)))) ) ) ) & (! ( (! ((potential((tk(P46)>=1))))) | ((potential((tk(P21)>=1)))) )) )))
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-10 (AG( (AG( (EF( ((potential((tk(P173)>=1))))))))))
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-11 (AX( (EF( (! (! ((potential((tk(P29)>=1) & (tk(P52)>=1))))))))))
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-12 ( ( ( (AU( ((potential((tk(P83)>=1) & (tk(P85)>=1)))) , ((potential((tk(P121)>=1)))) )) & ( (! ( ((potential((tk(P158)>=1) & (tk(P160)>=1)))) & ((potential((tk(P91)>=1) & (tk(P125)>=1)))) )) & ((potential((tk(P202)>=1)))) ) ) | (EU( ( ((potential((tk(P6)>=1) & (tk(P23)>=1)))) | ((potential((tk(P163)>=1) & (tk(P165)>=1)))) ) , (! ((potential((tk(P12)>=1) & (tk(P22)>=1))))) )) ) & (EU( (! ( ((potential((tk(P64)>=1) & (tk(P78)>=1)))) & ((potential((tk(P108)>=1) & (tk(P110)>=1)))) )) , (EG( ((potential((tk(P107)>=1) & (tk(P122)>=1)))))) )) )
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-13 (EF( (EF( (! (! ((potential((tk(P44)>=1) & (tk(P51)>=1))))))))))
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-14 (AX( (! ( (EF( ((potential((tk(P139)>=1) & (tk(P153)>=1)))))) | ((potential((tk(P233)>=1) & (tk(P235)>=1)))) ))))
PROPERTY: ShieldPPPt-PT-010A-CTLFireability-15 (AF( (AG( (! ( ((potential((tk(P13)>=1) & (tk(P15)>=1)))) & ((potential((tk(P93)>=1) & (tk(P95)>=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="ShieldPPPt-PT-010A"
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 ShieldPPPt-PT-010A, 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 r207-tajo-159033469800652"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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