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-159033469000123.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 ShieldIIPs-PT-010A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469000123
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 3.4K May 14 00:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 00:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 17:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 17:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.8K May 13 13:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 13:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 07:40 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 84K 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 ShieldIIPs-PT-010A-CTLCardinality-00
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-01
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-02
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-03
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-04
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-05
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-06
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-07
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-08
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-09
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-10
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-11
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-12
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-13
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-14
FORMULA_NAME ShieldIIPs-PT-010A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590435528300

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

GOT IT HERE. BS
Petri model created: 253 places, 243 transitions, 1086 arcs.
AT ITER 0 NEW BEST:: SOT 41907 SOS 32489 HAS SOPS 32489 HAS SOUS 27586 HAS SOUPS 27586 WITH SCORE 27618.489
AT ITER 1 NEW BEST:: SOT 42043 SOS 32468 HAS SOPS 32468 HAS SOUS 27586 HAS SOUPS 27586 WITH SCORE 27618.468
AT ITER 10 NEW BEST:: SOT 42012 SOS 32450 HAS SOPS 32450 HAS SOUS 27568 HAS SOUPS 27568 WITH SCORE 27600.45
AT ITER 15 NEW BEST:: SOT 41965 SOS 32423 HAS SOPS 32423 HAS SOUS 27541 HAS SOUPS 27541 WITH SCORE 27573.423
AT ITER 19 NEW BEST:: SOT 41833 SOS 32290 HAS SOPS 32290 HAS SOUS 27408 HAS SOUPS 27408 WITH SCORE 27440.29
AT ITER 21 NEW BEST:: SOT 41755 SOS 32233 HAS SOPS 32233 HAS SOUS 27351 HAS SOUPS 27351 WITH SCORE 27383.233
AT ITER 32 NEW BEST:: SOT 41789 SOS 32271 HAS SOPS 32271 HAS SOUS 27349 HAS SOUPS 27349 WITH SCORE 27381.271
AT ITER 33 NEW BEST:: SOT 41789 SOS 32325 HAS SOPS 32325 HAS SOUS 27327 HAS SOUPS 27327 WITH SCORE 27359.325
AT ITER 41 NEW BEST:: SOT 41651 SOS 32185 HAS SOPS 32185 HAS SOUS 27187 HAS SOUPS 27187 WITH SCORE 27219.185
AT ITER 42 NEW BEST:: SOT 41633 SOS 32095 HAS SOPS 32095 HAS SOUS 27186 HAS SOUPS 27186 WITH SCORE 27218.095
AT ITER 44 NEW BEST:: SOT 41655 SOS 32117 HAS SOPS 32117 HAS SOUS 27184 HAS SOUPS 27184 WITH SCORE 27216.117
AT ITER 46 NEW BEST:: SOT 41695 SOS 32020 HAS SOPS 32020 HAS SOUS 27179 HAS SOUPS 27179 WITH SCORE 27211.02
AT ITER 47 NEW BEST:: SOT 41673 SOS 31771 HAS SOPS 31771 HAS SOUS 27128 HAS SOUPS 27128 WITH SCORE 27159.771
AT ITER 64 NEW BEST:: SOT 41599 SOS 31419 HAS SOPS 31419 HAS SOUS 27005 HAS SOUPS 27005 WITH SCORE 27036.419
AT ITER 67 NEW BEST:: SOT 41551 SOS 31486 HAS SOPS 31486 HAS SOUS 26994 HAS SOUPS 26994 WITH SCORE 27025.486
AT ITER 70 NEW BEST:: SOT 41467 SOS 31402 HAS SOPS 31402 HAS SOUS 26910 HAS SOUPS 26910 WITH SCORE 26941.402
AT ITER 72 NEW BEST:: SOT 41435 SOS 31370 HAS SOPS 31370 HAS SOUS 26837 HAS SOUPS 26837 WITH SCORE 26868.37
AT ITER 74 NEW BEST:: SOT 41435 SOS 31370 HAS SOPS 31370 HAS SOUS 26836 HAS SOUPS 26836 WITH SCORE 26867.37
AT ITER 77 NEW BEST:: SOT 41358 SOS 31292 HAS SOPS 31292 HAS SOUS 26758 HAS SOUPS 26758 WITH SCORE 26789.292
AT ITER 79 NEW BEST:: SOT 41358 SOS 31248 HAS SOPS 31248 HAS SOUS 26736 HAS SOUPS 26736 WITH SCORE 26767.248
AT ITER 90 NEW BEST:: SOT 41305 SOS 31193 HAS SOPS 31193 HAS SOUS 26681 HAS SOUPS 26681 WITH SCORE 26712.193
AT ITER 93 NEW BEST:: SOT 41341 SOS 31188 HAS SOPS 31188 HAS SOUS 26676 HAS SOUPS 26676 WITH SCORE 26707.188
AT ITER 94 NEW BEST:: SOT 41341 SOS 31166 HAS SOPS 31166 HAS SOUS 26672 HAS SOUPS 26672 WITH SCORE 26703.166
AT ITER 104 NEW BEST:: SOT 41394 SOS 31178 HAS SOPS 31178 HAS SOUS 26649 HAS SOUPS 26649 WITH SCORE 26680.178
AT ITER 105 NEW BEST:: SOT 41309 SOS 31093 HAS SOPS 31093 HAS SOUS 26564 HAS SOUPS 26564 WITH SCORE 26595.093
AT ITER 108 NEW BEST:: SOT 41279 SOS 31057 HAS SOPS 31057 HAS SOUS 26528 HAS SOUPS 26528 WITH SCORE 26559.057
AT ITER 109 NEW BEST:: SOT 41267 SOS 31045 HAS SOPS 31045 HAS SOUS 26516 HAS SOUPS 26516 WITH SCORE 26547.045
AT ITER 113 NEW BEST:: SOT 41267 SOS 30952 HAS SOPS 30952 HAS SOUS 26483 HAS SOUPS 26483 WITH SCORE 26513.952
AT ITER 116 NEW BEST:: SOT 41240 SOS 30925 HAS SOPS 30925 HAS SOUS 26456 HAS SOUPS 26456 WITH SCORE 26486.925
AT ITER 120 NEW BEST:: SOT 41212 SOS 30770 HAS SOPS 30770 HAS SOUS 26434 HAS SOUPS 26434 WITH SCORE 26464.77
AT ITER 125 NEW BEST:: SOT 41161 SOS 30719 HAS SOPS 30719 HAS SOUS 26383 HAS SOUPS 26383 WITH SCORE 26413.719
AT ITER 126 NEW BEST:: SOT 41076 SOS 30632 HAS SOPS 30632 HAS SOUS 26296 HAS SOUPS 26296 WITH SCORE 26326.632
AT ITER 133 NEW BEST:: SOT 40986 SOS 30541 HAS SOPS 30541 HAS SOUS 26205 HAS SOUPS 26205 WITH SCORE 26235.541
AT ITER 144 NEW BEST:: SOT 40933 SOS 30486 HAS SOPS 30486 HAS SOUS 26150 HAS SOUPS 26150 WITH SCORE 26180.486
AT ITER 146 NEW BEST:: SOT 40933 SOS 30486 HAS SOPS 30486 HAS SOUS 26135 HAS SOUPS 26135 WITH SCORE 26165.486
AT ITER 147 NEW BEST:: SOT 40888 SOS 30441 HAS SOPS 30441 HAS SOUS 25997 HAS SOUPS 25997 WITH SCORE 26027.441
AT ITER 149 NEW BEST:: SOT 40881 SOS 30426 HAS SOPS 30426 HAS SOUS 25982 HAS SOUPS 25982 WITH SCORE 26012.426
AT ITER 150 NEW BEST:: SOT 40907 SOS 30452 HAS SOPS 30452 HAS SOUS 25975 HAS SOUPS 25975 WITH SCORE 26005.452
AT ITER 152 NEW BEST:: SOT 40897 SOS 30359 HAS SOPS 30359 HAS SOUS 25821 HAS SOUPS 25821 WITH SCORE 25851.359
AT ITER 159 NEW BEST:: SOT 40714 SOS 30205 HAS SOPS 30205 HAS SOUS 25667 HAS SOUPS 25667 WITH SCORE 25697.205
AT ITER 167 NEW BEST:: SOT 40677 SOS 30168 HAS SOPS 30168 HAS SOUS 25666 HAS SOUPS 25666 WITH SCORE 25696.168
AT ITER 169 NEW BEST:: SOT 40677 SOS 30139 HAS SOPS 30139 HAS SOUS 25637 HAS SOUPS 25637 WITH SCORE 25667.139
AT ITER 171 NEW BEST:: SOT 40756 SOS 29996 HAS SOPS 29996 HAS SOUS 25553 HAS SOUPS 25553 WITH SCORE 25582.996
AT ITER 172 NEW BEST:: SOT 40740 SOS 29949 HAS SOPS 29949 HAS SOUS 25506 HAS SOUPS 25506 WITH SCORE 25535.949
AT ITER 173 NEW BEST:: SOT 40685 SOS 29894 HAS SOPS 29894 HAS SOUS 25451 HAS SOUPS 25451 WITH SCORE 25480.894
AT ITER 181 NEW BEST:: SOT 40587 SOS 29794 HAS SOPS 29794 HAS SOUS 25351 HAS SOUPS 25351 WITH SCORE 25380.794
AT ITER 184 NEW BEST:: SOT 40512 SOS 29719 HAS SOPS 29719 HAS SOUS 25276 HAS SOUPS 25276 WITH SCORE 25305.719
AT ITER 185 NEW BEST:: SOT 40503 SOS 29692 HAS SOPS 29692 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25302.692
AT ITER 198 NEW BEST:: SOT 40503 SOS 29558 HAS SOPS 29558 HAS SOUS 25213 HAS SOUPS 25213 WITH SCORE 25242.558
AT ITER 200 NEW BEST:: SOT 40409 SOS 29381 HAS SOPS 29381 HAS SOUS 25036 HAS SOUPS 25036 WITH SCORE 25065.381
AT ITER 201 NEW BEST:: SOT 40388 SOS 29393 HAS SOPS 29393 HAS SOUS 24915 HAS SOUPS 24915 WITH SCORE 24944.393
AT ITER 202 NEW BEST:: SOT 40379 SOS 29384 HAS SOPS 29384 HAS SOUS 24906 HAS SOUPS 24906 WITH SCORE 24935.384
AT ITER 203 NEW BEST:: SOT 40345 SOS 29350 HAS SOPS 29350 HAS SOUS 24872 HAS SOUPS 24872 WITH SCORE 24901.35
AT ITER 204 NEW BEST:: SOT 40359 SOS 29315 HAS SOPS 29315 HAS SOUS 24837 HAS SOUPS 24837 WITH SCORE 24866.315
AT ITER 205 NEW BEST:: SOT 40359 SOS 29315 HAS SOPS 29315 HAS SOUS 24835 HAS SOUPS 24835 WITH SCORE 24864.315
AT ITER 206 NEW BEST:: SOT 40310 SOS 28999 HAS SOPS 28999 HAS SOUS 24817 HAS SOUPS 24817 WITH SCORE 24845.999
AT ITER 208 NEW BEST:: SOT 40263 SOS 28976 HAS SOPS 28976 HAS SOUS 24808 HAS SOUPS 24808 WITH SCORE 24836.976
AT ITER 209 NEW BEST:: SOT 40245 SOS 28940 HAS SOPS 28940 HAS SOUS 24772 HAS SOUPS 24772 WITH SCORE 24800.94
AT ITER 215 NEW BEST:: SOT 40210 SOS 28800 HAS SOPS 28800 HAS SOUS 24667 HAS SOUPS 24667 WITH SCORE 24695.8
AT ITER 226 NEW BEST:: SOT 40190 SOS 28733 HAS SOPS 28733 HAS SOUS 24600 HAS SOUPS 24600 WITH SCORE 24628.733
AT ITER 232 NEW BEST:: SOT 40190 SOS 28641 HAS SOPS 28641 HAS SOUS 24463 HAS SOUPS 24463 WITH SCORE 24491.641
AT ITER 234 NEW BEST:: SOT 40197 SOS 28453 HAS SOPS 28453 HAS SOUS 24350 HAS SOUPS 24350 WITH SCORE 24378.453
AT ITER 236 NEW BEST:: SOT 40175 SOS 28448 HAS SOPS 28448 HAS SOUS 24345 HAS SOUPS 24345 WITH SCORE 24373.448
AT ITER 241 NEW BEST:: SOT 40132 SOS 28433 HAS SOPS 28433 HAS SOUS 24342 HAS SOUPS 24342 WITH SCORE 24370.433
AT ITER 254 NEW BEST:: SOT 40097 SOS 28398 HAS SOPS 28398 HAS SOUS 24280 HAS SOUPS 24280 WITH SCORE 24308.398
AT ITER 255 NEW BEST:: SOT 40066 SOS 28353 HAS SOPS 28353 HAS SOUS 24235 HAS SOUPS 24235 WITH SCORE 24263.353
AT ITER 256 NEW BEST:: SOT 40060 SOS 28350 HAS SOPS 28350 HAS SOUS 24233 HAS SOUPS 24233 WITH SCORE 24261.35
AT ITER 258 NEW BEST:: SOT 40058 SOS 28280 HAS SOPS 28280 HAS SOUS 24209 HAS SOUPS 24209 WITH SCORE 24237.28
AT ITER 259 NEW BEST:: SOT 40038 SOS 28260 HAS SOPS 28260 HAS SOUS 24189 HAS SOUPS 24189 WITH SCORE 24217.26
AT ITER 261 NEW BEST:: SOT 39896 SOS 28117 HAS SOPS 28117 HAS SOUS 24046 HAS SOUPS 24046 WITH SCORE 24074.117
AT ITER 264 NEW BEST:: SOT 39858 SOS 28070 HAS SOPS 28070 HAS SOUS 23999 HAS SOUPS 23999 WITH SCORE 24027.07
AT ITER 267 NEW BEST:: SOT 39908 SOS 28095 HAS SOPS 28095 HAS SOUS 23974 HAS SOUPS 23974 WITH SCORE 24002.095
AT ITER 279 NEW BEST:: SOT 39894 SOS 28067 HAS SOPS 28067 HAS SOUS 23960 HAS SOUPS 23960 WITH SCORE 23988.067
AT ITER 284 NEW BEST:: SOT 39765 SOS 27912 HAS SOPS 27912 HAS SOUS 23852 HAS SOUPS 23852 WITH SCORE 23879.912
AT ITER 285 NEW BEST:: SOT 39730 SOS 27576 HAS SOPS 27576 HAS SOUS 23820 HAS SOUPS 23820 WITH SCORE 23847.576
AT ITER 291 NEW BEST:: SOT 39712 SOS 27549 HAS SOPS 27549 HAS SOUS 23793 HAS SOUPS 23793 WITH SCORE 23820.549
AT ITER 293 NEW BEST:: SOT 39660 SOS 27218 HAS SOPS 27218 HAS SOUS 23717 HAS SOUPS 23717 WITH SCORE 23744.218
AT ITER 300 NEW BEST:: SOT 39660 SOS 27205 HAS SOPS 27205 HAS SOUS 23704 HAS SOUPS 23704 WITH SCORE 23731.205
AT ITER 305 NEW BEST:: SOT 39713 SOS 27040 HAS SOPS 27040 HAS SOUS 23586 HAS SOUPS 23586 WITH SCORE 23613.04
AT ITER 308 NEW BEST:: SOT 39693 SOS 27020 HAS SOPS 27020 HAS SOUS 23566 HAS SOUPS 23566 WITH SCORE 23593.02
AT ITER 310 NEW BEST:: SOT 39693 SOS 26939 HAS SOPS 26939 HAS SOUS 23482 HAS SOUPS 23482 WITH SCORE 23508.939
AT ITER 311 NEW BEST:: SOT 39673 SOS 26840 HAS SOPS 26840 HAS SOUS 23415 HAS SOUPS 23415 WITH SCORE 23441.84
AT ITER 322 NEW BEST:: SOT 39671 SOS 26838 HAS SOPS 26838 HAS SOUS 23413 HAS SOUPS 23413 WITH SCORE 23439.838
AT ITER 335 NEW BEST:: SOT 39693 SOS 26759 HAS SOPS 26759 HAS SOUS 23396 HAS SOUPS 23396 WITH SCORE 23422.759
AT ITER 341 NEW BEST:: SOT 39693 SOS 26758 HAS SOPS 26758 HAS SOUS 23395 HAS SOUPS 23395 WITH SCORE 23421.758
AT ITER 342 NEW BEST:: SOT 39610 SOS 26639 HAS SOPS 26639 HAS SOUS 23276 HAS SOUPS 23276 WITH SCORE 23302.639
AT ITER 343 NEW BEST:: SOT 39587 SOS 26616 HAS SOPS 26616 HAS SOUS 23253 HAS SOUPS 23253 WITH SCORE 23279.616
AT ITER 348 NEW BEST:: SOT 39626 SOS 26564 HAS SOPS 26564 HAS SOUS 23218 HAS SOUPS 23218 WITH SCORE 23244.564
AT ITER 353 NEW BEST:: SOT 39494 SOS 26388 HAS SOPS 26388 HAS SOUS 23042 HAS SOUPS 23042 WITH SCORE 23068.388
AT ITER 357 NEW BEST:: SOT 39508 SOS 26361 HAS SOPS 26361 HAS SOUS 23015 HAS SOUPS 23015 WITH SCORE 23041.361
AT ITER 362 NEW BEST:: SOT 39479 SOS 26332 HAS SOPS 26332 HAS SOUS 22986 HAS SOUPS 22986 WITH SCORE 23012.332
AT ITER 365 NEW BEST:: SOT 39479 SOS 26326 HAS SOPS 26326 HAS SOUS 22946 HAS SOUPS 22946 WITH SCORE 22972.326
AT ITER 370 NEW BEST:: SOT 39485 SOS 26356 HAS SOPS 26356 HAS SOUS 22934 HAS SOUPS 22934 WITH SCORE 22960.356
AT ITER 374 NEW BEST:: SOT 39425 SOS 26294 HAS SOPS 26294 HAS SOUS 22872 HAS SOUPS 22872 WITH SCORE 22898.294
AT ITER 375 NEW BEST:: SOT 39317 SOS 26186 HAS SOPS 26186 HAS SOUS 22764 HAS SOUPS 22764 WITH SCORE 22790.186
AT ITER 377 NEW BEST:: SOT 39313 SOS 26182 HAS SOPS 26182 HAS SOUS 22760 HAS SOUPS 22760 WITH SCORE 22786.182
AT ITER 382 NEW BEST:: SOT 39313 SOS 26259 HAS SOPS 26259 HAS SOUS 22747 HAS SOUPS 22747 WITH SCORE 22773.259
AT ITER 384 NEW BEST:: SOT 39267 SOS 26195 HAS SOPS 26195 HAS SOUS 22683 HAS SOUPS 22683 WITH SCORE 22709.195
AT ITER 385 NEW BEST:: SOT 39283 SOS 26179 HAS SOPS 26179 HAS SOUS 22674 HAS SOUPS 22674 WITH SCORE 22700.179
AT ITER 387 NEW BEST:: SOT 39167 SOS 26060 HAS SOPS 26060 HAS SOUS 22550 HAS SOUPS 22550 WITH SCORE 22576.06
AT ITER 388 NEW BEST:: SOT 39166 SOS 25849 HAS SOPS 25849 HAS SOUS 22289 HAS SOUPS 22289 WITH SCORE 22314.849
AT ITER 390 NEW BEST:: SOT 39162 SOS 25779 HAS SOPS 25779 HAS SOUS 22161 HAS SOUPS 22161 WITH SCORE 22186.779
AT ITER 397 NEW BEST:: SOT 39162 SOS 25776 HAS SOPS 25776 HAS SOUS 22159 HAS SOUPS 22159 WITH SCORE 22184.776
AT ITER 402 NEW BEST:: SOT 39138 SOS 25752 HAS SOPS 25752 HAS SOUS 22135 HAS SOUPS 22135 WITH SCORE 22160.752
AT ITER 408 NEW BEST:: SOT 39146 SOS 25760 HAS SOPS 25760 HAS SOUS 22103 HAS SOUPS 22103 WITH SCORE 22128.76
AT ITER 409 NEW BEST:: SOT 38955 SOS 25560 HAS SOPS 25560 HAS SOUS 21919 HAS SOUPS 21919 WITH SCORE 21944.56
AT ITER 410 NEW BEST:: SOT 38945 SOS 25510 HAS SOPS 25510 HAS SOUS 21889 HAS SOUPS 21889 WITH SCORE 21914.51
AT ITER 411 NEW BEST:: SOT 38945 SOS 25473 HAS SOPS 25473 HAS SOUS 21838 HAS SOUPS 21838 WITH SCORE 21863.473
AT ITER 418 NEW BEST:: SOT 38913 SOS 25440 HAS SOPS 25440 HAS SOUS 21786 HAS SOUPS 21786 WITH SCORE 21811.44
AT ITER 424 NEW BEST:: SOT 38913 SOS 25404 HAS SOPS 25404 HAS SOUS 21774 HAS SOUPS 21774 WITH SCORE 21799.404
AT ITER 425 NEW BEST:: SOT 38945 SOS 25373 HAS SOPS 25373 HAS SOUS 21761 HAS SOUPS 21761 WITH SCORE 21786.373
AT ITER 426 NEW BEST:: SOT 38828 SOS 25258 HAS SOPS 25258 HAS SOUS 21616 HAS SOUPS 21616 WITH SCORE 21641.258
AT ITER 429 NEW BEST:: SOT 38736 SOS 25153 HAS SOPS 25153 HAS SOUS 21511 HAS SOUPS 21511 WITH SCORE 21536.153
AT ITER 430 NEW BEST:: SOT 38747 SOS 25161 HAS SOPS 25161 HAS SOUS 21474 HAS SOUPS 21474 WITH SCORE 21499.161
AT ITER 435 NEW BEST:: SOT 38705 SOS 25119 HAS SOPS 25119 HAS SOUS 21432 HAS SOUPS 21432 WITH SCORE 21457.119
AT ITER 437 NEW BEST:: SOT 38686 SOS 25100 HAS SOPS 25100 HAS SOUS 21413 HAS SOUPS 21413 WITH SCORE 21438.1
AT ITER 438 NEW BEST:: SOT 38745 SOS 25117 HAS SOPS 25117 HAS SOUS 21410 HAS SOUPS 21410 WITH SCORE 21435.117
AT ITER 440 NEW BEST:: SOT 38744 SOS 25116 HAS SOPS 25116 HAS SOUS 21409 HAS SOUPS 21409 WITH SCORE 21434.116
AT ITER 449 NEW BEST:: SOT 38762 SOS 25127 HAS SOPS 25127 HAS SOUS 21408 HAS SOUPS 21408 WITH SCORE 21433.127
AT ITER 460 NEW BEST:: SOT 38762 SOS 25124 HAS SOPS 25124 HAS SOUS 21408 HAS SOUPS 21408 WITH SCORE 21433.124
AT ITER 478 NEW BEST:: SOT 38816 SOS 25163 HAS SOPS 25163 HAS SOUS 21405 HAS SOUPS 21405 WITH SCORE 21430.163
AT ITER 485 NEW BEST:: SOT 38788 SOS 25135 HAS SOPS 25135 HAS SOUS 21377 HAS SOUPS 21377 WITH SCORE 21402.135
AT ITER 486 NEW BEST:: SOT 38778 SOS 25105 HAS SOPS 25105 HAS SOUS 21342 HAS SOUPS 21342 WITH SCORE 21367.105
AT ITER 489 NEW BEST:: SOT 38789 SOS 25019 HAS SOPS 25019 HAS SOUS 21290 HAS SOUPS 21290 WITH SCORE 21315.019
AT ITER 495 NEW BEST:: SOT 38789 SOS 25019 HAS SOPS 25019 HAS SOUS 21276 HAS SOUPS 21276 WITH SCORE 21301.019
AT ITER 499 NEW BEST:: SOT 38789 SOS 25029 HAS SOPS 25029 HAS SOUS 21199 HAS SOUPS 21199 WITH SCORE 21224.029
AT ITER 500 NEW BEST:: SOT 38702 SOS 25014 HAS SOPS 25014 HAS SOUS 21193 HAS SOUPS 21193 WITH SCORE 21218.014
AT ITER 505 NEW BEST:: SOT 38752 SOS 25003 HAS SOPS 25003 HAS SOUS 21074 HAS SOUPS 21074 WITH SCORE 21099.003
AT ITER 512 NEW BEST:: SOT 38803 SOS 24990 HAS SOPS 24990 HAS SOUS 21034 HAS SOUPS 21034 WITH SCORE 21058.99
AT ITER 527 NEW BEST:: SOT 38834 SOS 24982 HAS SOPS 24982 HAS SOUS 20972 HAS SOUPS 20972 WITH SCORE 20996.982
AT ITER 528 NEW BEST:: SOT 38782 SOS 24966 HAS SOPS 24966 HAS SOUS 20958 HAS SOUPS 20958 WITH SCORE 20982.966
AT ITER 533 NEW BEST:: SOT 38718 SOS 24902 HAS SOPS 24902 HAS SOUS 20894 HAS SOUPS 20894 WITH SCORE 20918.902
AT ITER 535 NEW BEST:: SOT 38699 SOS 24883 HAS SOPS 24883 HAS SOUS 20875 HAS SOUPS 20875 WITH SCORE 20899.883
AT ITER 542 NEW BEST:: SOT 38680 SOS 24877 HAS SOPS 24877 HAS SOUS 20869 HAS SOUPS 20869 WITH SCORE 20893.877
AT ITER 551 NEW BEST:: SOT 38680 SOS 24877 HAS SOPS 24877 HAS SOUS 20856 HAS SOUPS 20856 WITH SCORE 20880.877
AT ITER 555 NEW BEST:: SOT 38680 SOS 24752 HAS SOPS 24752 HAS SOUS 20746 HAS SOUPS 20746 WITH SCORE 20770.752
AT ITER 564 NEW BEST:: SOT 38543 SOS 24615 HAS SOPS 24615 HAS SOUS 20609 HAS SOUPS 20609 WITH SCORE 20633.615
AT ITER 567 NEW BEST:: SOT 38565 SOS 24487 HAS SOPS 24487 HAS SOUS 20483 HAS SOUPS 20483 WITH SCORE 20507.487
AT ITER 570 NEW BEST:: SOT 38565 SOS 24422 HAS SOPS 24422 HAS SOUS 20418 HAS SOUPS 20418 WITH SCORE 20442.422
AT ITER 571 NEW BEST:: SOT 38580 SOS 24437 HAS SOPS 24437 HAS SOUS 20414 HAS SOUPS 20414 WITH SCORE 20438.437
AT ITER 580 NEW BEST:: SOT 38580 SOS 24412 HAS SOPS 24412 HAS SOUS 20403 HAS SOUPS 20403 WITH SCORE 20427.412
AT ITER 584 NEW BEST:: SOT 38742 SOS 24517 HAS SOPS 24517 HAS SOUS 20370 HAS SOUPS 20370 WITH SCORE 20394.517
AT ITER 595 NEW BEST:: SOT 38615 SOS 24420 HAS SOPS 24420 HAS SOUS 20243 HAS SOUPS 20243 WITH SCORE 20267.42
AT ITER 596 NEW BEST:: SOT 38603 SOS 24273 HAS SOPS 24273 HAS SOUS 20068 HAS SOUPS 20068 WITH SCORE 20092.273
AT ITER 598 NEW BEST:: SOT 38577 SOS 24221 HAS SOPS 24221 HAS SOUS 19980 HAS SOUPS 19980 WITH SCORE 20004.221
AT ITER 611 NEW BEST:: SOT 38555 SOS 24199 HAS SOPS 24199 HAS SOUS 19958 HAS SOUPS 19958 WITH SCORE 19982.199
AT ITER 627 NEW BEST:: SOT 38555 SOS 24147 HAS SOPS 24147 HAS SOUS 19958 HAS SOUPS 19958 WITH SCORE 19982.147
AT ITER 629 NEW BEST:: SOT 38551 SOS 24135 HAS SOPS 24135 HAS SOUS 19958 HAS SOUPS 19958 WITH SCORE 19982.135
AT ITER 631 NEW BEST:: SOT 38552 SOS 24140 HAS SOPS 24140 HAS SOUS 19957 HAS SOUPS 19957 WITH SCORE 19981.14
AT ITER 637 NEW BEST:: SOT 38535 SOS 24106 HAS SOPS 24106 HAS SOUS 19845 HAS SOUPS 19845 WITH SCORE 19869.106
AT ITER 640 NEW BEST:: SOT 38498 SOS 24009 HAS SOPS 24009 HAS SOUS 19787 HAS SOUPS 19787 WITH SCORE 19811.009
AT ITER 643 NEW BEST:: SOT 38498 SOS 24095 HAS SOPS 24095 HAS SOUS 19764 HAS SOUPS 19764 WITH SCORE 19788.095
AT ITER 650 NEW BEST:: SOT 38501 SOS 24075 HAS SOPS 24075 HAS SOUS 19721 HAS SOUPS 19721 WITH SCORE 19745.075
AT ITER 654 NEW BEST:: SOT 38499 SOS 23953 HAS SOPS 23953 HAS SOUS 19666 HAS SOUPS 19666 WITH SCORE 19689.953
AT ITER 655 NEW BEST:: SOT 38467 SOS 23921 HAS SOPS 23921 HAS SOUS 19634 HAS SOUPS 19634 WITH SCORE 19657.921
AT ITER 659 NEW BEST:: SOT 38392 SOS 23846 HAS SOPS 23846 HAS SOUS 19555 HAS SOUPS 19555 WITH SCORE 19578.846
AT ITER 663 NEW BEST:: SOT 38392 SOS 23690 HAS SOPS 23690 HAS SOUS 19542 HAS SOUPS 19542 WITH SCORE 19565.69
AT ITER 665 NEW BEST:: SOT 38392 SOS 23868 HAS SOPS 23868 HAS SOUS 19526 HAS SOUPS 19526 WITH SCORE 19549.868
AT ITER 670 NEW BEST:: SOT 38298 SOS 23770 HAS SOPS 23770 HAS SOUS 19522 HAS SOUPS 19522 WITH SCORE 19545.77
AT ITER 685 NEW BEST:: SOT 38294 SOS 23545 HAS SOPS 23545 HAS SOUS 19415 HAS SOUPS 19415 WITH SCORE 19438.545
AT ITER 687 NEW BEST:: SOT 38294 SOS 23540 HAS SOPS 23540 HAS SOUS 19410 HAS SOUPS 19410 WITH SCORE 19433.54
AT ITER 708 NEW BEST:: SOT 38288 SOS 23469 HAS SOPS 23469 HAS SOUS 19266 HAS SOUPS 19266 WITH SCORE 19289.469
AT ITER 711 NEW BEST:: SOT 38288 SOS 23428 HAS SOPS 23428 HAS SOUS 19240 HAS SOUPS 19240 WITH SCORE 19263.428
AT ITER 730 NEW BEST:: SOT 38285 SOS 23384 HAS SOPS 23384 HAS SOUS 19196 HAS SOUPS 19196 WITH SCORE 19219.384
AT ITER 732 NEW BEST:: SOT 38284 SOS 23383 HAS SOPS 23383 HAS SOUS 19195 HAS SOUPS 19195 WITH SCORE 19218.383
AT ITER 742 NEW BEST:: SOT 37966 SOS 23023 HAS SOPS 23023 HAS SOUS 18798 HAS SOUPS 18798 WITH SCORE 18821.023
AT ITER 753 NEW BEST:: SOT 37927 SOS 22985 HAS SOPS 22985 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18782.985
AT ITER 755 NEW BEST:: SOT 37986 SOS 23051 HAS SOPS 23051 HAS SOUS 18756 HAS SOUPS 18756 WITH SCORE 18779.051
AT ITER 756 NEW BEST:: SOT 37986 SOS 23153 HAS SOPS 23153 HAS SOUS 18722 HAS SOUPS 18722 WITH SCORE 18745.153
AT ITER 759 NEW BEST:: SOT 37725 SOS 22602 HAS SOPS 22602 HAS SOUS 18141 HAS SOUPS 18141 WITH SCORE 18163.602
AT ITER 760 NEW BEST:: SOT 37716 SOS 22591 HAS SOPS 22591 HAS SOUS 18113 HAS SOUPS 18113 WITH SCORE 18135.591
AT ITER 775 NEW BEST:: SOT 37710 SOS 22585 HAS SOPS 22585 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18129.585
AT ITER 777 NEW BEST:: SOT 37676 SOS 22549 HAS SOPS 22549 HAS SOUS 18082 HAS SOUPS 18082 WITH SCORE 18104.549
AT ITER 785 NEW BEST:: SOT 37681 SOS 22549 HAS SOPS 22549 HAS SOUS 18055 HAS SOUPS 18055 WITH SCORE 18077.549
AT ITER 788 NEW BEST:: SOT 37568 SOS 22434 HAS SOPS 22434 HAS SOUS 17940 HAS SOUPS 17940 WITH SCORE 17962.434
AT ITER 800 NEW BEST:: SOT 37557 SOS 22401 HAS SOPS 22401 HAS SOUS 17913 HAS SOUPS 17913 WITH SCORE 17935.401
AT ITER 801 NEW BEST:: SOT 37554 SOS 22398 HAS SOPS 22398 HAS SOUS 17910 HAS SOUPS 17910 WITH SCORE 17932.398
AT ITER 807 NEW BEST:: SOT 37554 SOS 22375 HAS SOPS 22375 HAS SOUS 17856 HAS SOUPS 17856 WITH SCORE 17878.375
AT ITER 809 NEW BEST:: SOT 37534 SOS 22285 HAS SOPS 22285 HAS SOUS 17829 HAS SOUPS 17829 WITH SCORE 17851.285
AT ITER 813 NEW BEST:: SOT 37526 SOS 22277 HAS SOPS 22277 HAS SOUS 17821 HAS SOUPS 17821 WITH SCORE 17843.277
AT ITER 831 NEW BEST:: SOT 37526 SOS 22273 HAS SOPS 22273 HAS SOUS 17815 HAS SOUPS 17815 WITH SCORE 17837.273
AT ITER 837 NEW BEST:: SOT 37526 SOS 22197 HAS SOPS 22197 HAS SOUS 17808 HAS SOUPS 17808 WITH SCORE 17830.197
AT ITER 846 NEW BEST:: SOT 37516 SOS 22179 HAS SOPS 22179 HAS SOUS 17789 HAS SOUPS 17789 WITH SCORE 17811.179
AT ITER 847 NEW BEST:: SOT 37516 SOS 22202 HAS SOPS 22202 HAS SOUS 17767 HAS SOUPS 17767 WITH SCORE 17789.202
AT ITER 852 NEW BEST:: SOT 37501 SOS 22192 HAS SOPS 22192 HAS SOUS 17767 HAS SOUPS 17767 WITH SCORE 17789.192
AT ITER 857 NEW BEST:: SOT 37448 SOS 22139 HAS SOPS 22139 HAS SOUS 17714 HAS SOUPS 17714 WITH SCORE 17736.139
AT ITER 860 NEW BEST:: SOT 37437 SOS 22129 HAS SOPS 22129 HAS SOUS 17704 HAS SOUPS 17704 WITH SCORE 17726.129
AT ITER 865 NEW BEST:: SOT 37433 SOS 22127 HAS SOPS 22127 HAS SOUS 17702 HAS SOUPS 17702 WITH SCORE 17724.127
AT ITER 868 NEW BEST:: SOT 37478 SOS 22172 HAS SOPS 22172 HAS SOUS 17701 HAS SOUPS 17701 WITH SCORE 17723.172
AT ITER 869 NEW BEST:: SOT 37416 SOS 22110 HAS SOPS 22110 HAS SOUS 17639 HAS SOUPS 17639 WITH SCORE 17661.11
AT ITER 876 NEW BEST:: SOT 37375 SOS 21872 HAS SOPS 21872 HAS SOUS 17613 HAS SOUPS 17613 WITH SCORE 17634.872
AT ITER 880 NEW BEST:: SOT 37362 SOS 21859 HAS SOPS 21859 HAS SOUS 17610 HAS SOUPS 17610 WITH SCORE 17631.859
AT ITER 884 NEW BEST:: SOT 37354 SOS 21851 HAS SOPS 21851 HAS SOUS 17602 HAS SOUPS 17602 WITH SCORE 17623.851
AT ITER 885 NEW BEST:: SOT 37377 SOS 21841 HAS SOPS 21841 HAS SOUS 17597 HAS SOUPS 17597 WITH SCORE 17618.841
AT ITER 897 NEW BEST:: SOT 37366 SOS 21780 HAS SOPS 21780 HAS SOUS 17594 HAS SOUPS 17594 WITH SCORE 17615.78
AT ITER 902 NEW BEST:: SOT 37327 SOS 21741 HAS SOPS 21741 HAS SOUS 17555 HAS SOUPS 17555 WITH SCORE 17576.741
AT ITER 921 NEW BEST:: SOT 37331 SOS 21737 HAS SOPS 21737 HAS SOUS 17551 HAS SOUPS 17551 WITH SCORE 17572.737
AT ITER 935 NEW BEST:: SOT 37354 SOS 21736 HAS SOPS 21736 HAS SOUS 17551 HAS SOUPS 17551 WITH SCORE 17572.736
AT ITER 936 NEW BEST:: SOT 37276 SOS 21678 HAS SOPS 21678 HAS SOUS 17546 HAS SOUPS 17546 WITH SCORE 17567.678
AT ITER 940 NEW BEST:: SOT 37222 SOS 21616 HAS SOPS 21616 HAS SOUS 17484 HAS SOUPS 17484 WITH SCORE 17505.616
AT ITER 946 NEW BEST:: SOT 37184 SOS 20933 HAS SOPS 20933 HAS SOUS 17303 HAS SOUPS 17303 WITH SCORE 17323.933
AT ITER 955 NEW BEST:: SOT 37208 SOS 20932 HAS SOPS 20932 HAS SOUS 17288 HAS SOUPS 17288 WITH SCORE 17308.932
AT ITER 966 NEW BEST:: SOT 37190 SOS 20873 HAS SOPS 20873 HAS SOUS 17252 HAS SOUPS 17252 WITH SCORE 17272.873
AT ITER 971 NEW BEST:: SOT 37149 SOS 20846 HAS SOPS 20846 HAS SOUS 17225 HAS SOUPS 17225 WITH SCORE 17245.846
AT ITER 978 NEW BEST:: SOT 37000 SOS 20696 HAS SOPS 20696 HAS SOUS 17075 HAS SOUPS 17075 WITH SCORE 17095.696
AT ITER 991 NEW BEST:: SOT 36995 SOS 20691 HAS SOPS 20691 HAS SOUS 17070 HAS SOUPS 17070 WITH SCORE 17090.691
AT ITER 994 NEW BEST:: SOT 36877 SOS 20488 HAS SOPS 20488 HAS SOUS 16897 HAS SOUPS 16897 WITH SCORE 16917.488
AT ITER 1002 NEW BEST:: SOT 36890 SOS 20479 HAS SOPS 20479 HAS SOUS 16870 HAS SOUPS 16870 WITH SCORE 16890.479
AT ITER 1006 NEW BEST:: SOT 36968 SOS 20476 HAS SOPS 20476 HAS SOUS 16865 HAS SOUPS 16865 WITH SCORE 16885.476
AT ITER 1007 NEW BEST:: SOT 36971 SOS 20422 HAS SOPS 20422 HAS SOUS 16849 HAS SOUPS 16849 WITH SCORE 16869.422
AT ITER 1012 NEW BEST:: SOT 36895 SOS 20352 HAS SOPS 20352 HAS SOUS 16769 HAS SOUPS 16769 WITH SCORE 16789.352
AT ITER 1016 NEW BEST:: SOT 36895 SOS 20296 HAS SOPS 20296 HAS SOUS 16713 HAS SOUPS 16713 WITH SCORE 16733.296
AT ITER 1025 NEW BEST:: SOT 36895 SOS 20230 HAS SOPS 20230 HAS SOUS 16647 HAS SOUPS 16647 WITH SCORE 16667.23
AT ITER 1038 NEW BEST:: SOT 36909 SOS 20244 HAS SOPS 20244 HAS SOUS 16633 HAS SOUPS 16633 WITH SCORE 16653.244
AT ITER 1053 NEW BEST:: SOT 36915 SOS 20220 HAS SOPS 20220 HAS SOUS 16609 HAS SOUPS 16609 WITH SCORE 16629.22
AT ITER 1054 NEW BEST:: SOT 36898 SOS 20203 HAS SOPS 20203 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16612.203
AT ITER 1072 NEW BEST:: SOT 36852 SOS 20175 HAS SOPS 20175 HAS SOUS 16564 HAS SOUPS 16564 WITH SCORE 16584.175
AT ITER 1075 NEW BEST:: SOT 36752 SOS 20075 HAS SOPS 20075 HAS SOUS 16464 HAS SOUPS 16464 WITH SCORE 16484.075
AT ITER 1080 NEW BEST:: SOT 36760 SOS 20127 HAS SOPS 20127 HAS SOUS 16439 HAS SOUPS 16439 WITH SCORE 16459.127
AT ITER 1085 NEW BEST:: SOT 36730 SOS 20067 HAS SOPS 20067 HAS SOUS 16409 HAS SOUPS 16409 WITH SCORE 16429.067
AT ITER 1099 NEW BEST:: SOT 36730 SOS 20033 HAS SOPS 20033 HAS SOUS 16375 HAS SOUPS 16375 WITH SCORE 16395.033
AT ITER 1110 NEW BEST:: SOT 36702 SOS 20005 HAS SOPS 20005 HAS SOUS 16347 HAS SOUPS 16347 WITH SCORE 16367.005
AT ITER 1112 NEW BEST:: SOT 36704 SOS 19994 HAS SOPS 19994 HAS SOUS 16307 HAS SOUPS 16307 WITH SCORE 16326.994
AT ITER 1113 NEW BEST:: SOT 36686 SOS 19976 HAS SOPS 19976 HAS SOUS 16289 HAS SOUPS 16289 WITH SCORE 16308.976
AT ITER 1130 NEW BEST:: SOT 36672 SOS 19962 HAS SOPS 19962 HAS SOUS 16275 HAS SOUPS 16275 WITH SCORE 16294.962
AT ITER 1144 NEW BEST:: SOT 36589 SOS 19809 HAS SOPS 19809 HAS SOUS 16189 HAS SOUPS 16189 WITH SCORE 16208.809
AT ITER 1145 NEW BEST:: SOT 36609 SOS 19842 HAS SOPS 19842 HAS SOUS 16108 HAS SOUPS 16108 WITH SCORE 16127.842
AT ITER 1148 NEW BEST:: SOT 36666 SOS 19827 HAS SOPS 19827 HAS SOUS 16099 HAS SOUPS 16099 WITH SCORE 16118.827
AT ITER 1149 NEW BEST:: SOT 36661 SOS 19818 HAS SOPS 19818 HAS SOUS 16090 HAS SOUPS 16090 WITH SCORE 16109.818
AT ITER 1175 NEW BEST:: SOT 36659 SOS 19676 HAS SOPS 19676 HAS SOUS 16060 HAS SOUPS 16060 WITH SCORE 16079.676
AT ITER 1177 NEW BEST:: SOT 36621 SOS 19600 HAS SOPS 19600 HAS SOUS 16003 HAS SOUPS 16003 WITH SCORE 16022.6
AT ITER 1180 NEW BEST:: SOT 36466 SOS 19426 HAS SOPS 19426 HAS SOUS 15822 HAS SOUPS 15822 WITH SCORE 15841.426
AT ITER 1185 NEW BEST:: SOT 36441 SOS 19397 HAS SOPS 19397 HAS SOUS 15793 HAS SOUPS 15793 WITH SCORE 15812.397
AT ITER 1187 NEW BEST:: SOT 36441 SOS 19398 HAS SOPS 19398 HAS SOUS 15791 HAS SOUPS 15791 WITH SCORE 15810.398
AT ITER 1189 NEW BEST:: SOT 36426 SOS 19308 HAS SOPS 19308 HAS SOUS 15776 HAS SOUPS 15776 WITH SCORE 15795.308
AT ITER 1190 NEW BEST:: SOT 36424 SOS 19302 HAS SOPS 19302 HAS SOUS 15766 HAS SOUPS 15766 WITH SCORE 15785.302
AT ITER 1196 NEW BEST:: SOT 36422 SOS 19300 HAS SOPS 19300 HAS SOUS 15766 HAS SOUPS 15766 WITH SCORE 15785.3
AT ITER 1198 NEW BEST:: SOT 36210 SOS 18987 HAS SOPS 18987 HAS SOUS 15453 HAS SOUPS 15453 WITH SCORE 15471.987
AT ITER 1203 NEW BEST:: SOT 36201 SOS 18978 HAS SOPS 18978 HAS SOUS 15444 HAS SOUPS 15444 WITH SCORE 15462.978
AT ITER 1204 NEW BEST:: SOT 36187 SOS 18969 HAS SOPS 18969 HAS SOUS 15439 HAS SOUPS 15439 WITH SCORE 15457.969
AT ITER 1215 NEW BEST:: SOT 36138 SOS 18961 HAS SOPS 18961 HAS SOUS 15334 HAS SOUPS 15334 WITH SCORE 15352.961
AT ITER 1225 NEW BEST:: SOT 36122 SOS 18945 HAS SOPS 18945 HAS SOUS 15318 HAS SOUPS 15318 WITH SCORE 15336.945
AT ITER 1226 NEW BEST:: SOT 36047 SOS 18850 HAS SOPS 18850 HAS SOUS 15215 HAS SOUPS 15215 WITH SCORE 15233.85
AT ITER 1230 NEW BEST:: SOT 36043 SOS 18846 HAS SOPS 18846 HAS SOUS 15211 HAS SOUPS 15211 WITH SCORE 15229.846
AT ITER 1233 NEW BEST:: SOT 36011 SOS 18799 HAS SOPS 18799 HAS SOUS 15164 HAS SOUPS 15164 WITH SCORE 15182.799
AT ITER 1242 NEW BEST:: SOT 35999 SOS 18787 HAS SOPS 18787 HAS SOUS 15152 HAS SOUPS 15152 WITH SCORE 15170.787
AT ITER 1265 NEW BEST:: SOT 35999 SOS 18746 HAS SOPS 18746 HAS SOUS 15142 HAS SOUPS 15142 WITH SCORE 15160.746
AT ITER 1266 NEW BEST:: SOT 35989 SOS 18736 HAS SOPS 18736 HAS SOUS 15132 HAS SOUPS 15132 WITH SCORE 15150.736
AT ITER 1307 NEW BEST:: SOT 36002 SOS 18670 HAS SOPS 18670 HAS SOUS 15066 HAS SOUPS 15066 WITH SCORE 15084.67
AT ITER 1324 NEW BEST:: SOT 35984 SOS 18652 HAS SOPS 18652 HAS SOUS 15048 HAS SOUPS 15048 WITH SCORE 15066.652
AT ITER 1362 NEW BEST:: SOT 35966 SOS 18626 HAS SOPS 18626 HAS SOUS 15022 HAS SOUPS 15022 WITH SCORE 15040.626
AT ITER 1365 NEW BEST:: SOT 35902 SOS 18584 HAS SOPS 18584 HAS SOUS 14937 HAS SOUPS 14937 WITH SCORE 14955.584
AT ITER 1367 NEW BEST:: SOT 35857 SOS 18336 HAS SOPS 18336 HAS SOUS 14825 HAS SOUPS 14825 WITH SCORE 14843.336
AT ITER 1378 NEW BEST:: SOT 35857 SOS 18332 HAS SOPS 18332 HAS SOUS 14821 HAS SOUPS 14821 WITH SCORE 14839.332
AT ITER 1421 NEW BEST:: SOT 35849 SOS 18332 HAS SOPS 18332 HAS SOUS 14820 HAS SOUPS 14820 WITH SCORE 14838.332
AT ITER 1427 NEW BEST:: SOT 35870 SOS 18341 HAS SOPS 18341 HAS SOUS 14800 HAS SOUPS 14800 WITH SCORE 14818.341
AT ITER 1443 NEW BEST:: SOT 35854 SOS 18287 HAS SOPS 18287 HAS SOUS 14771 HAS SOUPS 14771 WITH SCORE 14789.287
AT ITER 1451 NEW BEST:: SOT 35854 SOS 18202 HAS SOPS 18202 HAS SOUS 14702 HAS SOUPS 14702 WITH SCORE 14720.202
AT ITER 1462 NEW BEST:: SOT 35854 SOS 18244 HAS SOPS 18244 HAS SOUS 14688 HAS SOUPS 14688 WITH SCORE 14706.244
AT ITER 1464 NEW BEST:: SOT 35752 SOS 18105 HAS SOPS 18105 HAS SOUS 14585 HAS SOUPS 14585 WITH SCORE 14603.105
AT ITER 1485 NEW BEST:: SOT 35726 SOS 18027 HAS SOPS 18027 HAS SOUS 14517 HAS SOUPS 14517 WITH SCORE 14535.027
AT ITER 1488 NEW BEST:: SOT 35722 SOS 18021 HAS SOPS 18021 HAS SOUS 14511 HAS SOUPS 14511 WITH SCORE 14529.021
AT ITER 1489 NEW BEST:: SOT 35675 SOS 17907 HAS SOPS 17907 HAS SOUS 14489 HAS SOUPS 14489 WITH SCORE 14506.907
AT ITER 1493 NEW BEST:: SOT 35673 SOS 17905 HAS SOPS 17905 HAS SOUS 14487 HAS SOUPS 14487 WITH SCORE 14504.905
AT ITER 1501 NEW BEST:: SOT 35669 SOS 17897 HAS SOPS 17897 HAS SOUS 14479 HAS SOUPS 14479 WITH SCORE 14496.897
AT ITER 1526 NEW BEST:: SOT 35585 SOS 17733 HAS SOPS 17733 HAS SOUS 14360 HAS SOUPS 14360 WITH SCORE 14377.733
AT ITER 1547 NEW BEST:: SOT 35548 SOS 17696 HAS SOPS 17696 HAS SOUS 14323 HAS SOUPS 14323 WITH SCORE 14340.696
AT ITER 1553 NEW BEST:: SOT 35548 SOS 17673 HAS SOPS 17673 HAS SOUS 14300 HAS SOUPS 14300 WITH SCORE 14317.673
AT ITER 1556 NEW BEST:: SOT 35535 SOS 17647 HAS SOPS 17647 HAS SOUS 14274 HAS SOUPS 14274 WITH SCORE 14291.647
AT ITER 1557 NEW BEST:: SOT 35533 SOS 17645 HAS SOPS 17645 HAS SOUS 14272 HAS SOUPS 14272 WITH SCORE 14289.645
AT ITER 1559 NEW BEST:: SOT 35532 SOS 17644 HAS SOPS 17644 HAS SOUS 14271 HAS SOUPS 14271 WITH SCORE 14288.644
AT ITER 1568 NEW BEST:: SOT 35510 SOS 17599 HAS SOPS 17599 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14243.599
AT ITER 1589 NEW BEST:: SOT 35511 SOS 17588 HAS SOPS 17588 HAS SOUS 14215 HAS SOUPS 14215 WITH SCORE 14232.588
AT ITER 1595 NEW BEST:: SOT 35495 SOS 17588 HAS SOPS 17588 HAS SOUS 14151 HAS SOUPS 14151 WITH SCORE 14168.588
AT ITER 1597 NEW BEST:: SOT 35488 SOS 17538 HAS SOPS 17538 HAS SOUS 14139 HAS SOUPS 14139 WITH SCORE 14156.538
AT ITER 1600 NEW BEST:: SOT 35484 SOS 17534 HAS SOPS 17534 HAS SOUS 14135 HAS SOUPS 14135 WITH SCORE 14152.534
AT ITER 1604 NEW BEST:: SOT 35483 SOS 17533 HAS SOPS 17533 HAS SOUS 14135 HAS SOUPS 14135 WITH SCORE 14152.533
AT ITER 1614 NEW BEST:: SOT 35465 SOS 17515 HAS SOPS 17515 HAS SOUS 14117 HAS SOUPS 14117 WITH SCORE 14134.515
AT ITER 1657 NEW BEST:: SOT 35485 SOS 17485 HAS SOPS 17485 HAS SOUS 14056 HAS SOUPS 14056 WITH SCORE 14073.485
AT ITER 1662 NEW BEST:: SOT 35471 SOS 17447 HAS SOPS 17447 HAS SOUS 14018 HAS SOUPS 14018 WITH SCORE 14035.447
AT ITER 1696 NEW BEST:: SOT 35354 SOS 17322 HAS SOPS 17322 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13910.322
AT ITER 1701 NEW BEST:: SOT 35298 SOS 17264 HAS SOPS 17264 HAS SOUS 13835 HAS SOUPS 13835 WITH SCORE 13852.264
AT ITER 1704 NEW BEST:: SOT 35303 SOS 17259 HAS SOPS 17259 HAS SOUS 13834 HAS SOUPS 13834 WITH SCORE 13851.259
AT ITER 1715 NEW BEST:: SOT 35291 SOS 17191 HAS SOPS 17191 HAS SOUS 13796 HAS SOUPS 13796 WITH SCORE 13813.191
AT ITER 1724 NEW BEST:: SOT 35291 SOS 17189 HAS SOPS 17189 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13811.189
AT ITER 1738 NEW BEST:: SOT 35300 SOS 17189 HAS SOPS 17189 HAS SOUS 13785 HAS SOUPS 13785 WITH SCORE 13802.189
AT ITER 1741 NEW BEST:: SOT 35257 SOS 17100 HAS SOPS 17100 HAS SOUS 13744 HAS SOUPS 13744 WITH SCORE 13761.1
AT ITER 1745 NEW BEST:: SOT 35268 SOS 17021 HAS SOPS 17021 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13732.021
AT ITER 1754 NEW BEST:: SOT 35268 SOS 16917 HAS SOPS 16917 HAS SOUS 13649 HAS SOUPS 13649 WITH SCORE 13665.917
AT ITER 1758 NEW BEST:: SOT 35318 SOS 16967 HAS SOPS 16967 HAS SOUS 13645 HAS SOUPS 13645 WITH SCORE 13661.967
AT ITER 1784 NEW BEST:: SOT 35323 SOS 16964 HAS SOPS 16964 HAS SOUS 13642 HAS SOUPS 13642 WITH SCORE 13658.964
AT ITER 1787 NEW BEST:: SOT 35312 SOS 16918 HAS SOPS 16918 HAS SOUS 13592 HAS SOUPS 13592 WITH SCORE 13608.918
AT ITER 1849 NEW BEST:: SOT 35312 SOS 16911 HAS SOPS 16911 HAS SOUS 13571 HAS SOUPS 13571 WITH SCORE 13587.911
AT ITER 1853 NEW BEST:: SOT 35375 SOS 16840 HAS SOPS 16840 HAS SOUS 13548 HAS SOUPS 13548 WITH SCORE 13564.84
AT ITER 1864 NEW BEST:: SOT 35336 SOS 16801 HAS SOPS 16801 HAS SOUS 13531 HAS SOUPS 13531 WITH SCORE 13547.801
AT ITER 1883 NEW BEST:: SOT 35333 SOS 16798 HAS SOPS 16798 HAS SOUS 13528 HAS SOUPS 13528 WITH SCORE 13544.798
AT ITER 1892 NEW BEST:: SOT 35333 SOS 16774 HAS SOPS 16774 HAS SOUS 13504 HAS SOUPS 13504 WITH SCORE 13520.774
AT ITER 1893 NEW BEST:: SOT 35272 SOS 16713 HAS SOPS 16713 HAS SOUS 13417 HAS SOUPS 13417 WITH SCORE 13433.713
AT ITER 1894 NEW BEST:: SOT 35249 SOS 16615 HAS SOPS 16615 HAS SOUS 13394 HAS SOUPS 13394 WITH SCORE 13410.615
AT ITER 1913 NEW BEST:: SOT 35249 SOS 16597 HAS SOPS 16597 HAS SOUS 13376 HAS SOUPS 13376 WITH SCORE 13392.597
AT ITER 1922 NEW BEST:: SOT 35175 SOS 16459 HAS SOPS 16459 HAS SOUS 13251 HAS SOUPS 13251 WITH SCORE 13267.459
AT ITER 1924 NEW BEST:: SOT 35161 SOS 16447 HAS SOPS 16447 HAS SOUS 13249 HAS SOUPS 13249 WITH SCORE 13265.447
AT ITER 1959 NEW BEST:: SOT 35198 SOS 16484 HAS SOPS 16484 HAS SOUS 13234 HAS SOUPS 13234 WITH SCORE 13250.484
AT ITER 1989 NEW BEST:: SOT 35174 SOS 16460 HAS SOPS 16460 HAS SOUS 13210 HAS SOUPS 13210 WITH SCORE 13226.46
AT ITER 1993 NEW BEST:: SOT 35171 SOS 16455 HAS SOPS 16455 HAS SOUS 13206 HAS SOUPS 13206 WITH SCORE 13222.455
AT ITER 1994 NEW BEST:: SOT 35188 SOS 16341 HAS SOPS 16341 HAS SOUS 13188 HAS SOUPS 13188 WITH SCORE 13204.341
AT ITER 2011 NEW BEST:: SOT 35230 SOS 16333 HAS SOPS 16333 HAS SOUS 13158 HAS SOUPS 13158 WITH SCORE 13174.333
AT ITER 2017 NEW BEST:: SOT 35222 SOS 16333 HAS SOPS 16333 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13166.333
AT ITER 2019 NEW BEST:: SOT 35275 SOS 16304 HAS SOPS 16304 HAS SOUS 13066 HAS SOUPS 13066 WITH SCORE 13082.304
AT ITER 2026 NEW BEST:: SOT 35273 SOS 16287 HAS SOPS 16287 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13075.287
AT ITER 2027 NEW BEST:: SOT 35263 SOS 16318 HAS SOPS 16318 HAS SOUS 13049 HAS SOUPS 13049 WITH SCORE 13065.318
AT ITER 2031 NEW BEST:: SOT 35257 SOS 16308 HAS SOPS 16308 HAS SOUS 13037 HAS SOUPS 13037 WITH SCORE 13053.308
AT ITER 2041 NEW BEST:: SOT 35240 SOS 16291 HAS SOPS 16291 HAS SOUS 13023 HAS SOUPS 13023 WITH SCORE 13039.291
AT ITER 2057 NEW BEST:: SOT 35271 SOS 16288 HAS SOPS 16288 HAS SOUS 13007 HAS SOUPS 13007 WITH SCORE 13023.288
AT ITER 2060 NEW BEST:: SOT 35251 SOS 16253 HAS SOPS 16253 HAS SOUS 12976 HAS SOUPS 12976 WITH SCORE 12992.253
AT ITER 2080 NEW BEST:: SOT 35249 SOS 16251 HAS SOPS 16251 HAS SOUS 12974 HAS SOUPS 12974 WITH SCORE 12990.251
AT ITER 2085 NEW BEST:: SOT 35245 SOS 16247 HAS SOPS 16247 HAS SOUS 12970 HAS SOUPS 12970 WITH SCORE 12986.247
AT ITER 2087 NEW BEST:: SOT 35226 SOS 16198 HAS SOPS 16198 HAS SOUS 12922 HAS SOUPS 12922 WITH SCORE 12938.198
AT ITER 2106 NEW BEST:: SOT 35215 SOS 16179 HAS SOPS 16179 HAS SOUS 12907 HAS SOUPS 12907 WITH SCORE 12923.179
AT ITER 2108 NEW BEST:: SOT 35219 SOS 16211 HAS SOPS 16211 HAS SOUS 12901 HAS SOUPS 12901 WITH SCORE 12917.211
AT ITER 2111 NEW BEST:: SOT 35171 SOS 16201 HAS SOPS 16201 HAS SOUS 12891 HAS SOUPS 12891 WITH SCORE 12907.201
AT ITER 2126 NEW BEST:: SOT 35171 SOS 16200 HAS SOPS 16200 HAS SOUS 12890 HAS SOUPS 12890 WITH SCORE 12906.2
AT ITER 2187 NEW BEST:: SOT 35166 SOS 16187 HAS SOPS 16187 HAS SOUS 12881 HAS SOUPS 12881 WITH SCORE 12897.187
AT ITER 2198 NEW BEST:: SOT 35173 SOS 16174 HAS SOPS 16174 HAS SOUS 12868 HAS SOUPS 12868 WITH SCORE 12884.174
AT ITER 2200 NEW BEST:: SOT 35169 SOS 16170 HAS SOPS 16170 HAS SOUS 12864 HAS SOUPS 12864 WITH SCORE 12880.17
AT ITER 2209 NEW BEST:: SOT 35167 SOS 16158 HAS SOPS 16158 HAS SOUS 12858 HAS SOUPS 12858 WITH SCORE 12874.158
AT ITER 2210 NEW BEST:: SOT 35167 SOS 16125 HAS SOPS 16125 HAS SOUS 12850 HAS SOUPS 12850 WITH SCORE 12866.125
AT ITER 2216 NEW BEST:: SOT 35154 SOS 16112 HAS SOPS 16112 HAS SOUS 12837 HAS SOUPS 12837 WITH SCORE 12853.112
AT ITER 2226 NEW BEST:: SOT 35140 SOS 16098 HAS SOPS 16098 HAS SOUS 12830 HAS SOUPS 12830 WITH SCORE 12846.098
AT ITER 2234 NEW BEST:: SOT 35135 SOS 16088 HAS SOPS 16088 HAS SOUS 12820 HAS SOUPS 12820 WITH SCORE 12836.088
AT ITER 2253 NEW BEST:: SOT 35088 SOS 15949 HAS SOPS 15949 HAS SOUS 12765 HAS SOUPS 12765 WITH SCORE 12780.949
AT ITER 2260 NEW BEST:: SOT 35030 SOS 15837 HAS SOPS 15837 HAS SOUS 12734 HAS SOUPS 12734 WITH SCORE 12749.837
AT ITER 2282 NEW BEST:: SOT 35003 SOS 15810 HAS SOPS 15810 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12722.81
AT ITER 2309 NEW BEST:: SOT 34979 SOS 15762 HAS SOPS 15762 HAS SOUS 12667 HAS SOUPS 12667 WITH SCORE 12682.762
AT ITER 2318 NEW BEST:: SOT 34988 SOS 15765 HAS SOPS 15765 HAS SOUS 12665 HAS SOUPS 12665 WITH SCORE 12680.765
AT ITER 2333 NEW BEST:: SOT 34976 SOS 15728 HAS SOPS 15728 HAS SOUS 12616 HAS SOUPS 12616 WITH SCORE 12631.728
AT ITER 2335 NEW BEST:: SOT 34953 SOS 15704 HAS SOPS 15704 HAS SOUS 12590 HAS SOUPS 12590 WITH SCORE 12605.704
AT ITER 2337 NEW BEST:: SOT 34941 SOS 15647 HAS SOPS 15647 HAS SOUS 12571 HAS SOUPS 12571 WITH SCORE 12586.647
AT ITER 2341 NEW BEST:: SOT 34928 SOS 15634 HAS SOPS 15634 HAS SOUS 12558 HAS SOUPS 12558 WITH SCORE 12573.634
AT ITER 2359 NEW BEST:: SOT 34935 SOS 15620 HAS SOPS 15620 HAS SOUS 12549 HAS SOUPS 12549 WITH SCORE 12564.62
AT ITER 2413 NEW BEST:: SOT 34934 SOS 15610 HAS SOPS 15610 HAS SOUS 12547 HAS SOUPS 12547 WITH SCORE 12562.61
AT ITER 2424 NEW BEST:: SOT 34912 SOS 15588 HAS SOPS 15588 HAS SOUS 12525 HAS SOUPS 12525 WITH SCORE 12540.588
AT ITER 2434 NEW BEST:: SOT 34912 SOS 15532 HAS SOPS 15532 HAS SOUS 12522 HAS SOUPS 12522 WITH SCORE 12537.532
AT ITER 2452 NEW BEST:: SOT 34885 SOS 15454 HAS SOPS 15454 HAS SOUS 12448 HAS SOUPS 12448 WITH SCORE 12463.454
AT ITER 2474 NEW BEST:: SOT 34873 SOS 15434 HAS SOPS 15434 HAS SOUS 12412 HAS SOUPS 12412 WITH SCORE 12427.434
AT ITER 2477 NEW BEST:: SOT 34868 SOS 15401 HAS SOPS 15401 HAS SOUS 12393 HAS SOUPS 12393 WITH SCORE 12408.401
AT ITER 2481 NEW BEST:: SOT 34817 SOS 15326 HAS SOPS 15326 HAS SOUS 12305 HAS SOUPS 12305 WITH SCORE 12320.326
AT ITER 2482 NEW BEST:: SOT 34787 SOS 15058 HAS SOPS 15058 HAS SOUS 12207 HAS SOUPS 12207 WITH SCORE 12222.058
AT ITER 2496 NEW BEST:: SOT 34782 SOS 15023 HAS SOPS 15023 HAS SOUS 12169 HAS SOUPS 12169 WITH SCORE 12184.023
AT ITER 2498 NEW BEST:: SOT 34764 SOS 14994 HAS SOPS 14994 HAS SOUS 12140 HAS SOUPS 12140 WITH SCORE 12154.994
AT ITER 2507 NEW BEST:: SOT 34761 SOS 14990 HAS SOPS 14990 HAS SOUS 12136 HAS SOUPS 12136 WITH SCORE 12150.99
AT ITER 2529 NEW BEST:: SOT 34765 SOS 14992 HAS SOPS 14992 HAS SOUS 12134 HAS SOUPS 12134 WITH SCORE 12148.992
AT ITER 2540 NEW BEST:: SOT 34783 SOS 14968 HAS SOPS 14968 HAS SOUS 12042 HAS SOUPS 12042 WITH SCORE 12056.968
AT ITER 2548 NEW BEST:: SOT 34728 SOS 14905 HAS SOPS 14905 HAS SOUS 11967 HAS SOUPS 11967 WITH SCORE 11981.905
AT ITER 2568 NEW BEST:: SOT 34710 SOS 14887 HAS SOPS 14887 HAS SOUS 11949 HAS SOUPS 11949 WITH SCORE 11963.887
AT ITER 2572 NEW BEST:: SOT 34704 SOS 14877 HAS SOPS 14877 HAS SOUS 11935 HAS SOUPS 11935 WITH SCORE 11949.877
AT ITER 2577 NEW BEST:: SOT 34704 SOS 14877 HAS SOPS 14877 HAS SOUS 11930 HAS SOUPS 11930 WITH SCORE 11944.877
AT ITER 2584 NEW BEST:: SOT 34696 SOS 14869 HAS SOPS 14869 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 11936.869
AT ITER 2606 NEW BEST:: SOT 34696 SOS 14859 HAS SOPS 14859 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11932.859
AT ITER 2611 NEW BEST:: SOT 34684 SOS 14847 HAS SOPS 14847 HAS SOUS 11886 HAS SOUPS 11886 WITH SCORE 11900.847
AT ITER 2612 NEW BEST:: SOT 34675 SOS 14847 HAS SOPS 14847 HAS SOUS 11871 HAS SOUPS 11871 WITH SCORE 11885.847
AT ITER 2629 NEW BEST:: SOT 34670 SOS 14837 HAS SOPS 14837 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11861.837
AT ITER 2641 NEW BEST:: SOT 34651 SOS 14801 HAS SOPS 14801 HAS SOUS 11811 HAS SOUPS 11811 WITH SCORE 11825.801
AT ITER 2655 NEW BEST:: SOT 34666 SOS 14820 HAS SOPS 14820 HAS SOUS 11809 HAS SOUPS 11809 WITH SCORE 11823.82
AT ITER 2687 NEW BEST:: SOT 34639 SOS 14748 HAS SOPS 14748 HAS SOUS 11773 HAS SOUPS 11773 WITH SCORE 11787.748
AT ITER 2699 NEW BEST:: SOT 34518 SOS 14336 HAS SOPS 14336 HAS SOUS 11556 HAS SOUPS 11556 WITH SCORE 11570.336
AT ITER 2701 NEW BEST:: SOT 34518 SOS 14340 HAS SOPS 14340 HAS SOUS 11555 HAS SOUPS 11555 WITH SCORE 11569.34
AT ITER 2708 NEW BEST:: SOT 34514 SOS 14336 HAS SOPS 14336 HAS SOUS 11551 HAS SOUPS 11551 WITH SCORE 11565.336
AT ITER 2709 NEW BEST:: SOT 34514 SOS 14341 HAS SOPS 14341 HAS SOUS 11550 HAS SOUPS 11550 WITH SCORE 11564.341
AT ITER 2716 NEW BEST:: SOT 34510 SOS 14330 HAS SOPS 14330 HAS SOUS 11539 HAS SOUPS 11539 WITH SCORE 11553.33
AT ITER 2721 NEW BEST:: SOT 34507 SOS 14329 HAS SOPS 14329 HAS SOUS 11538 HAS SOUPS 11538 WITH SCORE 11552.329
AT ITER 2742 NEW BEST:: SOT 34509 SOS 14319 HAS SOPS 14319 HAS SOUS 11521 HAS SOUPS 11521 WITH SCORE 11535.319
AT ITER 2745 NEW BEST:: SOT 34505 SOS 14315 HAS SOPS 14315 HAS SOUS 11517 HAS SOUPS 11517 WITH SCORE 11531.315
AT ITER 2747 NEW BEST:: SOT 34479 SOS 14270 HAS SOPS 14270 HAS SOUS 11504 HAS SOUPS 11504 WITH SCORE 11518.27
AT ITER 2758 NEW BEST:: SOT 34449 SOS 14234 HAS SOPS 14234 HAS SOUS 11468 HAS SOUPS 11468 WITH SCORE 11482.234
AT ITER 2766 NEW BEST:: SOT 34426 SOS 14180 HAS SOPS 14180 HAS SOUS 11407 HAS SOUPS 11407 WITH SCORE 11421.18
AT ITER 2793 NEW BEST:: SOT 34423 SOS 14170 HAS SOPS 14170 HAS SOUS 11395 HAS SOUPS 11395 WITH SCORE 11409.17
AT ITER 2815 NEW BEST:: SOT 34437 SOS 14184 HAS SOPS 14184 HAS SOUS 11390 HAS SOUPS 11390 WITH SCORE 11404.184
AT ITER 2829 NEW BEST:: SOT 34438 SOS 14183 HAS SOPS 14183 HAS SOUS 11389 HAS SOUPS 11389 WITH SCORE 11403.183
AT ITER 2836 NEW BEST:: SOT 34441 SOS 14179 HAS SOPS 14179 HAS SOUS 11388 HAS SOUPS 11388 WITH SCORE 11402.179
AT ITER 2839 NEW BEST:: SOT 34441 SOS 14167 HAS SOPS 14167 HAS SOUS 11376 HAS SOUPS 11376 WITH SCORE 11390.167
AT ITER 2841 NEW BEST:: SOT 34426 SOS 14152 HAS SOPS 14152 HAS SOUS 11366 HAS SOUPS 11366 WITH SCORE 11380.152
AT ITER 2862 NEW BEST:: SOT 34412 SOS 14106 HAS SOPS 14106 HAS SOUS 11352 HAS SOUPS 11352 WITH SCORE 11366.106
AT ITER 2903 NEW BEST:: SOT 34412 SOS 14076 HAS SOPS 14076 HAS SOUS 11342 HAS SOUPS 11342 WITH SCORE 11356.076
AT ITER 2913 NEW BEST:: SOT 34394 SOS 14060 HAS SOPS 14060 HAS SOUS 11326 HAS SOUPS 11326 WITH SCORE 11340.06
AT ITER 2927 NEW BEST:: SOT 34394 SOS 14052 HAS SOPS 14052 HAS SOUS 11322 HAS SOUPS 11322 WITH SCORE 11336.052
AT ITER 2935 NEW BEST:: SOT 34388 SOS 14040 HAS SOPS 14040 HAS SOUS 11312 HAS SOUPS 11312 WITH SCORE 11326.04
AT ITER 2937 NEW BEST:: SOT 34402 SOS 14054 HAS SOPS 14054 HAS SOUS 11307 HAS SOUPS 11307 WITH SCORE 11321.054
AT ITER 2966 NEW BEST:: SOT 34400 SOS 13996 HAS SOPS 13996 HAS SOUS 11273 HAS SOUPS 11273 WITH SCORE 11286.996
AT ITER 2975 NEW BEST:: SOT 34395 SOS 13990 HAS SOPS 13990 HAS SOUS 11267 HAS SOUPS 11267 WITH SCORE 11280.99
AT ITER 2981 NEW BEST:: SOT 34385 SOS 13980 HAS SOPS 13980 HAS SOUS 11257 HAS SOUPS 11257 WITH SCORE 11270.98
AT ITER 3023 NEW BEST:: SOT 34424 SOS 13882 HAS SOPS 13882 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11268.882
AT ITER 3027 NEW BEST:: SOT 34396 SOS 13854 HAS SOPS 13854 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11240.854
AT ITER 3051 NEW BEST:: SOT 34433 SOS 13858 HAS SOPS 13858 HAS SOUS 11215 HAS SOUPS 11215 WITH SCORE 11228.858
AT ITER 3056 NEW BEST:: SOT 34433 SOS 13853 HAS SOPS 13853 HAS SOUS 11213 HAS SOUPS 11213 WITH SCORE 11226.853
AT ITER 3119 NEW BEST:: SOT 34427 SOS 13847 HAS SOPS 13847 HAS SOUS 11208 HAS SOUPS 11208 WITH SCORE 11221.847
AT ITER 3135 NEW BEST:: SOT 34408 SOS 13799 HAS SOPS 13799 HAS SOUS 11188 HAS SOUPS 11188 WITH SCORE 11201.799
AT ITER 3139 NEW BEST:: SOT 34403 SOS 13796 HAS SOPS 13796 HAS SOUS 11180 HAS SOUPS 11180 WITH SCORE 11193.796
AT ITER 3142 NEW BEST:: SOT 34397 SOS 13790 HAS SOPS 13790 HAS SOUS 11176 HAS SOUPS 11176 WITH SCORE 11189.79
AT ITER 3148 NEW BEST:: SOT 34394 SOS 13782 HAS SOPS 13782 HAS SOUS 11168 HAS SOUPS 11168 WITH SCORE 11181.782
AT ITER 3165 NEW BEST:: SOT 34376 SOS 13752 HAS SOPS 13752 HAS SOUS 11140 HAS SOUPS 11140 WITH SCORE 11153.752
AT ITER 3229 NEW BEST:: SOT 34362 SOS 13714 HAS SOPS 13714 HAS SOUS 11112 HAS SOUPS 11112 WITH SCORE 11125.714
AT ITER 3241 NEW BEST:: SOT 34362 SOS 13688 HAS SOPS 13688 HAS SOUS 11095 HAS SOUPS 11095 WITH SCORE 11108.688
AT ITER 3244 NEW BEST:: SOT 34332 SOS 13614 HAS SOPS 13614 HAS SOUS 11027 HAS SOUPS 11027 WITH SCORE 11040.614
AT ITER 3260 NEW BEST:: SOT 34312 SOS 13608 HAS SOPS 13608 HAS SOUS 11021 HAS SOUPS 11021 WITH SCORE 11034.608
AT ITER 3261 NEW BEST:: SOT 34312 SOS 13608 HAS SOPS 13608 HAS SOUS 11018 HAS SOUPS 11018 WITH SCORE 11031.608
AT ITER 3292 NEW BEST:: SOT 34332 SOS 13544 HAS SOPS 13544 HAS SOUS 10939 HAS SOUPS 10939 WITH SCORE 10952.544
AT ITER 3297 NEW BEST:: SOT 34294 SOS 13496 HAS SOPS 13496 HAS SOUS 10896 HAS SOUPS 10896 WITH SCORE 10909.496
AT ITER 3318 NEW BEST:: SOT 34384 SOS 13543 HAS SOPS 13543 HAS SOUS 10841 HAS SOUPS 10841 WITH SCORE 10854.543
AT ITER 3347 NEW BEST:: SOT 34383 SOS 13557 HAS SOPS 13557 HAS SOUS 10827 HAS SOUPS 10827 WITH SCORE 10840.557
AT ITER 3369 NEW BEST:: SOT 34383 SOS 13516 HAS SOPS 13516 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10799.516
AT ITER 3392 NEW BEST:: SOT 34347 SOS 13473 HAS SOPS 13473 HAS SOUS 10743 HAS SOUPS 10743 WITH SCORE 10756.473
AT ITER 3393 NEW BEST:: SOT 34340 SOS 13452 HAS SOPS 13452 HAS SOUS 10722 HAS SOUPS 10722 WITH SCORE 10735.452
AT ITER 3407 NEW BEST:: SOT 34351 SOS 13447 HAS SOPS 13447 HAS SOUS 10719 HAS SOUPS 10719 WITH SCORE 10732.447
AT ITER 3409 NEW BEST:: SOT 34361 SOS 13444 HAS SOPS 13444 HAS SOUS 10706 HAS SOUPS 10706 WITH SCORE 10719.444
AT ITER 3410 NEW BEST:: SOT 34359 SOS 13436 HAS SOPS 13436 HAS SOUS 10700 HAS SOUPS 10700 WITH SCORE 10713.436
AT ITER 3438 NEW BEST:: SOT 34361 SOS 13406 HAS SOPS 13406 HAS SOUS 10653 HAS SOUPS 10653 WITH SCORE 10666.406
AT ITER 3442 NEW BEST:: SOT 34361 SOS 13406 HAS SOPS 13406 HAS SOUS 10637 HAS SOUPS 10637 WITH SCORE 10650.406
AT ITER 3499 NEW BEST:: SOT 34361 SOS 13403 HAS SOPS 13403 HAS SOUS 10627 HAS SOUPS 10627 WITH SCORE 10640.403
AT ITER 3511 NEW BEST:: SOT 34375 SOS 13411 HAS SOPS 13411 HAS SOUS 10621 HAS SOUPS 10621 WITH SCORE 10634.411
AT ITER 3535 NEW BEST:: SOT 34375 SOS 13398 HAS SOPS 13398 HAS SOUS 10576 HAS SOUPS 10576 WITH SCORE 10589.398
AT ITER 3564 NEW BEST:: SOT 34367 SOS 13380 HAS SOPS 13380 HAS SOUS 10566 HAS SOUPS 10566 WITH SCORE 10579.38
AT ITER 3591 NEW BEST:: SOT 34365 SOS 13379 HAS SOPS 13379 HAS SOUS 10562 HAS SOUPS 10562 WITH SCORE 10575.379
AT ITER 3597 NEW BEST:: SOT 34371 SOS 13363 HAS SOPS 13363 HAS SOUS 10556 HAS SOUPS 10556 WITH SCORE 10569.363
AT ITER 3606 NEW BEST:: SOT 34368 SOS 13372 HAS SOPS 13372 HAS SOUS 10545 HAS SOUPS 10545 WITH SCORE 10558.372
AT ITER 3616 NEW BEST:: SOT 34364 SOS 13368 HAS SOPS 13368 HAS SOUS 10541 HAS SOUPS 10541 WITH SCORE 10554.368
AT ITER 3631 NEW BEST:: SOT 34332 SOS 13147 HAS SOPS 13147 HAS SOUS 10449 HAS SOUPS 10449 WITH SCORE 10462.147
AT ITER 3645 NEW BEST:: SOT 34324 SOS 13130 HAS SOPS 13130 HAS SOUS 10416 HAS SOUPS 10416 WITH SCORE 10429.13
AT ITER 3691 NEW BEST:: SOT 34324 SOS 13141 HAS SOPS 13141 HAS SOUS 10415 HAS SOUPS 10415 WITH SCORE 10428.141
AT ITER 3699 NEW BEST:: SOT 34336 SOS 13135 HAS SOPS 13135 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10422.135
AT ITER 3725 NEW BEST:: SOT 34331 SOS 13123 HAS SOPS 13123 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10408.123
AT ITER 3736 NEW BEST:: SOT 34356 SOS 13112 HAS SOPS 13112 HAS SOUS 10394 HAS SOUPS 10394 WITH SCORE 10407.112
AT ITER 3751 NEW BEST:: SOT 34406 SOS 13151 HAS SOPS 13151 HAS SOUS 10381 HAS SOUPS 10381 WITH SCORE 10394.151
AT ITER 3763 NEW BEST:: SOT 34359 SOS 13073 HAS SOPS 13073 HAS SOUS 10321 HAS SOUPS 10321 WITH SCORE 10334.073
AT ITER 3767 NEW BEST:: SOT 34355 SOS 13069 HAS SOPS 13069 HAS SOUS 10317 HAS SOUPS 10317 WITH SCORE 10330.069
AT ITER 3816 NEW BEST:: SOT 34363 SOS 13026 HAS SOPS 13026 HAS SOUS 10302 HAS SOUPS 10302 WITH SCORE 10315.026
AT ITER 3818 NEW BEST:: SOT 34349 SOS 13012 HAS SOPS 13012 HAS SOUS 10288 HAS SOUPS 10288 WITH SCORE 10301.012
AT ITER 3823 NEW BEST:: SOT 34349 SOS 12991 HAS SOPS 12991 HAS SOUS 10281 HAS SOUPS 10281 WITH SCORE 10293.991
AT ITER 3852 NEW BEST:: SOT 34342 SOS 12977 HAS SOPS 12977 HAS SOUS 10267 HAS SOUPS 10267 WITH SCORE 10279.977
AT ITER 3861 NEW BEST:: SOT 34338 SOS 12973 HAS SOPS 12973 HAS SOUS 10263 HAS SOUPS 10263 WITH SCORE 10275.973
AT ITER 3870 NEW BEST:: SOT 34323 SOS 12927 HAS SOPS 12927 HAS SOUS 10233 HAS SOUPS 10233 WITH SCORE 10245.927
AT ITER 3887 NEW BEST:: SOT 34352 SOS 12955 HAS SOPS 12955 HAS SOUS 10219 HAS SOUPS 10219 WITH SCORE 10231.955
AT ITER 3890 NEW BEST:: SOT 34325 SOS 12905 HAS SOPS 12905 HAS SOUS 10146 HAS SOUPS 10146 WITH SCORE 10158.905
AT ITER 3923 NEW BEST:: SOT 34359 SOS 12907 HAS SOPS 12907 HAS SOUS 10131 HAS SOUPS 10131 WITH SCORE 10143.907
AT ITER 3936 NEW BEST:: SOT 34357 SOS 12905 HAS SOPS 12905 HAS SOUS 10129 HAS SOUPS 10129 WITH SCORE 10141.905
AT ITER 3941 NEW BEST:: SOT 34357 SOS 12847 HAS SOPS 12847 HAS SOUS 10113 HAS SOUPS 10113 WITH SCORE 10125.847
AT ITER 3971 NEW BEST:: SOT 34387 SOS 12874 HAS SOPS 12874 HAS SOUS 10101 HAS SOUPS 10101 WITH SCORE 10113.874
AT ITER 3978 NEW BEST:: SOT 34386 SOS 12818 HAS SOPS 12818 HAS SOUS 10088 HAS SOUPS 10088 WITH SCORE 10100.818
AT ITER 4010 NEW BEST:: SOT 34338 SOS 12766 HAS SOPS 12766 HAS SOUS 10085 HAS SOUPS 10085 WITH SCORE 10097.766
AT ITER 4032 NEW BEST:: SOT 34337 SOS 12765 HAS SOPS 12765 HAS SOUS 10084 HAS SOUPS 10084 WITH SCORE 10096.765
AT ITER 4034 NEW BEST:: SOT 34345 SOS 12773 HAS SOPS 12773 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10094.773
AT ITER 4035 NEW BEST:: SOT 34351 SOS 12480 HAS SOPS 12480 HAS SOUS 10062 HAS SOUPS 10062 WITH SCORE 10074.48
AT ITER 4044 NEW BEST:: SOT 34341 SOS 12470 HAS SOPS 12470 HAS SOUS 10052 HAS SOUPS 10052 WITH SCORE 10064.47
AT ITER 4052 NEW BEST:: SOT 34337 SOS 12468 HAS SOPS 12468 HAS SOUS 10052 HAS SOUPS 10052 WITH SCORE 10064.468
AT ITER 4054 NEW BEST:: SOT 34337 SOS 12467 HAS SOPS 12467 HAS SOUS 10051 HAS SOUPS 10051 WITH SCORE 10063.467
AT ITER 4064 NEW BEST:: SOT 34339 SOS 12406 HAS SOPS 12406 HAS SOUS 10047 HAS SOUPS 10047 WITH SCORE 10059.406
AT ITER 4075 NEW BEST:: SOT 34318 SOS 12385 HAS SOPS 12385 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10020.385
AT ITER 4080 NEW BEST:: SOT 34312 SOS 12380 HAS SOPS 12380 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10015.38
AT ITER 4096 NEW BEST:: SOT 34295 SOS 12344 HAS SOPS 12344 HAS SOUS 9967 HAS SOUPS 9967 WITH SCORE 9979.344
AT ITER 4118 NEW BEST:: SOT 34289 SOS 12338 HAS SOPS 12338 HAS SOUS 9961 HAS SOUPS 9961 WITH SCORE 9973.338
AT ITER 4147 NEW BEST:: SOT 34280 SOS 12332 HAS SOPS 12332 HAS SOUS 9955 HAS SOUPS 9955 WITH SCORE 9967.332
AT ITER 4171 NEW BEST:: SOT 34264 SOS 12276 HAS SOPS 12276 HAS SOUS 9931 HAS SOUPS 9931 WITH SCORE 9943.276
AT ITER 4179 NEW BEST:: SOT 34234 SOS 12246 HAS SOPS 12246 HAS SOUS 9922 HAS SOUPS 9922 WITH SCORE 9934.246
AT ITER 4227 NEW BEST:: SOT 34230 SOS 12242 HAS SOPS 12242 HAS SOUS 9912 HAS SOUPS 9912 WITH SCORE 9924.242
AT ITER 4242 NEW BEST:: SOT 34228 SOS 12238 HAS SOPS 12238 HAS SOUS 9908 HAS SOUPS 9908 WITH SCORE 9920.238
AT ITER 4258 NEW BEST:: SOT 34204 SOS 12187 HAS SOPS 12187 HAS SOUS 9840 HAS SOUPS 9840 WITH SCORE 9852.187
AT ITER 4260 NEW BEST:: SOT 34201 SOS 12184 HAS SOPS 12184 HAS SOUS 9837 HAS SOUPS 9837 WITH SCORE 9849.184
AT ITER 4290 NEW BEST:: SOT 34201 SOS 12148 HAS SOPS 12148 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9837.148
AT ITER 4324 NEW BEST:: SOT 34199 SOS 12140 HAS SOPS 12140 HAS SOUS 9820 HAS SOUPS 9820 WITH SCORE 9832.14
AT ITER 4351 NEW BEST:: SOT 34193 SOS 12134 HAS SOPS 12134 HAS SOUS 9816 HAS SOUPS 9816 WITH SCORE 9828.134
AT ITER 4365 NEW BEST:: SOT 34193 SOS 12122 HAS SOPS 12122 HAS SOUS 9804 HAS SOUPS 9804 WITH SCORE 9816.122
AT ITER 4415 NEW BEST:: SOT 34172 SOS 12094 HAS SOPS 12094 HAS SOUS 9804 HAS SOUPS 9804 WITH SCORE 9816.094
AT ITER 4421 NEW BEST:: SOT 34161 SOS 12108 HAS SOPS 12108 HAS SOUS 9800 HAS SOUPS 9800 WITH SCORE 9812.108
AT ITER 4429 NEW BEST:: SOT 34154 SOS 12072 HAS SOPS 12072 HAS SOUS 9774 HAS SOUPS 9774 WITH SCORE 9786.072
AT ITER 4463 NEW BEST:: SOT 34151 SOS 12068 HAS SOPS 12068 HAS SOUS 9771 HAS SOUPS 9771 WITH SCORE 9783.068
AT ITER 4471 NEW BEST:: SOT 34116 SOS 12033 HAS SOPS 12033 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9749.033
AT ITER 4483 NEW BEST:: SOT 34037 SOS 11996 HAS SOPS 11996 HAS SOUS 9700 HAS SOUPS 9700 WITH SCORE 9711.996
AT ITER 4490 NEW BEST:: SOT 34035 SOS 11985 HAS SOPS 11985 HAS SOUS 9689 HAS SOUPS 9689 WITH SCORE 9700.985
AT ITER 4494 NEW BEST:: SOT 34030 SOS 11980 HAS SOPS 11980 HAS SOUS 9684 HAS SOUPS 9684 WITH SCORE 9695.98
AT ITER 4514 NEW BEST:: SOT 34000 SOS 11936 HAS SOPS 11936 HAS SOUS 9647 HAS SOUPS 9647 WITH SCORE 9658.936
AT ITER 4517 NEW BEST:: SOT 33994 SOS 11938 HAS SOPS 11938 HAS SOUS 9646 HAS SOUPS 9646 WITH SCORE 9657.938
AT ITER 4543 NEW BEST:: SOT 33994 SOS 11938 HAS SOPS 11938 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9652.938
AT ITER 4582 NEW BEST:: SOT 34003 SOS 11952 HAS SOPS 11952 HAS SOUS 9637 HAS SOUPS 9637 WITH SCORE 9648.952
AT ITER 4631 NEW BEST:: SOT 34030 SOS 11982 HAS SOPS 11982 HAS SOUS 9631 HAS SOUPS 9631 WITH SCORE 9642.982
AT ITER 4635 NEW BEST:: SOT 34030 SOS 11970 HAS SOPS 11970 HAS SOUS 9619 HAS SOUPS 9619 WITH SCORE 9630.97
AT ITER 4636 NEW BEST:: SOT 34041 SOS 11983 HAS SOPS 11983 HAS SOUS 9612 HAS SOUPS 9612 WITH SCORE 9623.983
AT ITER 4685 NEW BEST:: SOT 34030 SOS 11940 HAS SOPS 11940 HAS SOUS 9569 HAS SOUPS 9569 WITH SCORE 9580.94
AT ITER 4739 NEW BEST:: SOT 34030 SOS 11932 HAS SOPS 11932 HAS SOUS 9563 HAS SOUPS 9563 WITH SCORE 9574.932
AT ITER 4758 NEW BEST:: SOT 34030 SOS 11928 HAS SOPS 11928 HAS SOUS 9550 HAS SOUPS 9550 WITH SCORE 9561.928
AT ITER 4776 NEW BEST:: SOT 34005 SOS 11903 HAS SOPS 11903 HAS SOUS 9525 HAS SOUPS 9525 WITH SCORE 9536.903
AT ITER 4791 NEW BEST:: SOT 34001 SOS 11899 HAS SOPS 11899 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9532.899
AT ITER 4829 NEW BEST:: SOT 33996 SOS 11889 HAS SOPS 11889 HAS SOUS 9506 HAS SOUPS 9506 WITH SCORE 9517.889
AT ITER 4875 NEW BEST:: SOT 33994 SOS 11887 HAS SOPS 11887 HAS SOUS 9504 HAS SOUPS 9504 WITH SCORE 9515.887
AT ITER 4889 NEW BEST:: SOT 33942 SOS 11821 HAS SOPS 11821 HAS SOUS 9438 HAS SOUPS 9438 WITH SCORE 9449.821
AT ITER 4894 NEW BEST:: SOT 33942 SOS 11691 HAS SOPS 11691 HAS SOUS 9411 HAS SOUPS 9411 WITH SCORE 9422.691
AT ITER 4905 NEW BEST:: SOT 33917 SOS 11679 HAS SOPS 11679 HAS SOUS 9399 HAS SOUPS 9399 WITH SCORE 9410.679
AT ITER 4970 NEW BEST:: SOT 33911 SOS 11672 HAS SOPS 11672 HAS SOUS 9394 HAS SOUPS 9394 WITH SCORE 9405.672
AT ITER 4983 NEW BEST:: SOT 33911 SOS 11673 HAS SOPS 11673 HAS SOUS 9389 HAS SOUPS 9389 WITH SCORE 9400.673
AT ITER 4989 NEW BEST:: SOT 33911 SOS 11664 HAS SOPS 11664 HAS SOUS 9380 HAS SOUPS 9380 WITH SCORE 9391.664
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-00 (! ( (EU( potential( (tk(P185)) <= (tk(P102)) ),potential( ( 2 ) <= (tk(P134)) ) )) | ( ( (! potential( (tk(P61)) <= (tk(P131)) )) | ( potential( ( 1 ) <= (tk(P131)) ) & potential( (tk(P197)) <= (tk(P138)) ) ) ) & ( ( potential( ( 2 ) <= (tk(P208)) ) | potential( ( 2 ) <= (tk(P17)) ) ) & (! potential( ( 3 ) <= (tk(P63)) )) ) ) ))
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-01 (AF(( ( ( potential( (tk(P20)) <= (tk(P165)) ) | potential( ( 1 ) <= (tk(P218)) ) ) | ( potential( ( 3 ) <= (tk(P201)) ) & potential( (tk(P13)) <= (tk(P36)) ) ) ) & ( ( potential( (tk(P173)) <= (tk(P26)) ) & potential( ( 3 ) <= (tk(P128)) ) ) | (! potential( (tk(P224)) <= (tk(P138)) )) ) )))
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-02 (EG( ( potential( ( 1 ) <= (tk(P39)) ) | (AF(potential( ( 1 ) <= (tk(P207)) ))) )))
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-03 ( potential( (tk(P44)) <= (tk(P102)) ) & (AF((EF(potential( ( 3 ) <= (tk(P225)) ))))) )
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-04 (AG( potential( (tk(P197)) <= (tk(P235)) )))
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-05 ( ( (EF(potential( ( 3 ) <= (tk(P235)) ))) | (EX( ( potential( (tk(P6)) <= (tk(P51)) ) & potential( ( 1 ) <= (tk(P179)) ) ))) ) | ( (EG( ( potential( ( 1 ) <= (tk(P121)) ) | potential( ( 2 ) <= (tk(P144)) ) ))) & ( potential( ( 2 ) <= (tk(P81)) ) | ( ( potential( (tk(P44)) <= (tk(P138)) ) | potential( (tk(P74)) <= (tk(P250)) ) ) | ( potential( ( 2 ) <= (tk(P71)) ) & potential( ( 2 ) <= (tk(P47)) ) ) ) ) ) )
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-06 (! ( (AG( ( potential( ( 1 ) <= (tk(P136)) ) | potential( (tk(P231)) <= (tk(P95)) ) ))) & (AU( potential( (tk(P162)) <= (tk(P74)) ),potential( (tk(P177)) <= (tk(P37)) ) )) ))
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-07 (AU( (! (! potential( (tk(P123)) <= (tk(P154)) ))),(AG( potential( ( 1 ) <= (tk(P28)) ))) ))
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-08 (EG( ( (AG( potential( ( 3 ) <= (tk(P190)) ))) | (! ( potential( (tk(P16)) <= (tk(P8)) ) & potential( ( 3 ) <= (tk(P33)) ) )) )))
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-09 (! (EF((AG( potential( ( 3 ) <= (tk(P73)) ))))))
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-10 (EG( (EU( potential( (tk(P33)) <= (tk(P6)) ),potential( ( 1 ) <= (tk(P149)) ) ))))
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-11 (EF((EU( potential( ( 2 ) <= (tk(P243)) ),potential( ( 3 ) <= (tk(P111)) ) ))))
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-12 (AF((! (EG( potential( (tk(P172)) <= (tk(P249)) ))))))
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-13 (EF((! (EF(potential( (tk(P36)) <= (tk(P143)) ))))))
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-14 (EX( (AG( potential( (tk(P221)) <= (tk(P178)) )))))
PROPERTY: ShieldIIPs-PT-010A-CTLCardinality-15 (EF(potential( ( 3 ) <= (tk(P13)) )))

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldIIPs-PT-010A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469000123"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-010A.tgz
mv ShieldIIPs-PT-010A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;