Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 292K
-rw-r--r-- 1 mcc users 2.8K Apr 12 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 11 09:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 11 09:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K Apr 10 14:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 9 21:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 21:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 120K Mar 24 05:38 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 Raft-PT-07-CTLFireability-00
FORMULA_NAME Raft-PT-07-CTLFireability-01
FORMULA_NAME Raft-PT-07-CTLFireability-02
FORMULA_NAME Raft-PT-07-CTLFireability-03
FORMULA_NAME Raft-PT-07-CTLFireability-04
FORMULA_NAME Raft-PT-07-CTLFireability-05
FORMULA_NAME Raft-PT-07-CTLFireability-06
FORMULA_NAME Raft-PT-07-CTLFireability-07
FORMULA_NAME Raft-PT-07-CTLFireability-08
FORMULA_NAME Raft-PT-07-CTLFireability-09
FORMULA_NAME Raft-PT-07-CTLFireability-10
FORMULA_NAME Raft-PT-07-CTLFireability-11
FORMULA_NAME Raft-PT-07-CTLFireability-12
FORMULA_NAME Raft-PT-07-CTLFireability-13
FORMULA_NAME Raft-PT-07-CTLFireability-14
FORMULA_NAME Raft-PT-07-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589801538858

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 07
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, 442 transitions, 1664 arcs.
AT ITER 0 NEW BEST:: SOT 97840 SOS 65051 HAS SOPS 65023 HAS SOUS 51373 HAS SOUPS 51366 WITH SCORE 51431.051
AT ITER 1 NEW BEST:: SOT 97840 SOS 65051 HAS SOPS 65023 HAS SOUS 51364 HAS SOUPS 51357 WITH SCORE 51422.051
AT ITER 3 NEW BEST:: SOT 97840 SOS 64693 HAS SOPS 64665 HAS SOUS 51364 HAS SOUPS 51357 WITH SCORE 51421.693
AT ITER 5 NEW BEST:: SOT 97840 SOS 64679 HAS SOPS 64651 HAS SOUS 51350 HAS SOUPS 51343 WITH SCORE 51407.679
AT ITER 9 NEW BEST:: SOT 97840 SOS 64018 HAS SOPS 63990 HAS SOUS 51350 HAS SOUPS 51343 WITH SCORE 51407.018
AT ITER 11 NEW BEST:: SOT 97840 SOS 64119 HAS SOPS 64091 HAS SOUS 51343 HAS SOUPS 51336 WITH SCORE 51400.119
AT ITER 12 NEW BEST:: SOT 96230 SOS 65400 HAS SOPS 63125 HAS SOUS 50843 HAS SOUPS 50694 WITH SCORE 50759.4
AT ITER 13 NEW BEST:: SOT 96130 SOS 65381 HAS SOPS 63006 HAS SOUS 50765 HAS SOUPS 50580 WITH SCORE 50645.381
AT ITER 17 NEW BEST:: SOT 95848 SOS 65436 HAS SOPS 63043 HAS SOUS 50750 HAS SOUPS 50549 WITH SCORE 50614.436
AT ITER 18 NEW BEST:: SOT 95074 SOS 65260 HAS SOPS 62413 HAS SOUS 50407 HAS SOUPS 50135 WITH SCORE 50200.26
AT ITER 20 NEW BEST:: SOT 95074 SOS 65249 HAS SOPS 62402 HAS SOUS 50407 HAS SOUPS 50135 WITH SCORE 50200.249
AT ITER 22 NEW BEST:: SOT 95074 SOS 65219 HAS SOPS 62402 HAS SOUS 50407 HAS SOUPS 50135 WITH SCORE 50200.219
AT ITER 24 NEW BEST:: SOT 95125 SOS 65270 HAS SOPS 62336 HAS SOUS 50263 HAS SOUPS 49984 WITH SCORE 50049.27
AT ITER 25 NEW BEST:: SOT 95125 SOS 65098 HAS SOPS 62207 HAS SOUS 50134 HAS SOUPS 49855 WITH SCORE 49920.098
AT ITER 26 NEW BEST:: SOT 94485 SOS 65411 HAS SOPS 61695 HAS SOUS 49867 HAS SOUPS 49535 WITH SCORE 49600.411
AT ITER 27 NEW BEST:: SOT 94112 SOS 65319 HAS SOPS 61793 HAS SOUS 49781 HAS SOUPS 49449 WITH SCORE 49514.319
AT ITER 28 NEW BEST:: SOT 93987 SOS 65089 HAS SOPS 61563 HAS SOUS 49550 HAS SOUPS 49218 WITH SCORE 49283.089
AT ITER 29 NEW BEST:: SOT 93549 SOS 64738 HAS SOPS 61194 HAS SOUS 49107 HAS SOUPS 48772 WITH SCORE 48836.738
AT ITER 31 NEW BEST:: SOT 93549 SOS 64701 HAS SOPS 61194 HAS SOUS 49054 HAS SOUPS 48719 WITH SCORE 48783.701
AT ITER 34 NEW BEST:: SOT 93549 SOS 64701 HAS SOPS 61194 HAS SOUS 49047 HAS SOUPS 48712 WITH SCORE 48776.701
AT ITER 36 NEW BEST:: SOT 93441 SOS 64504 HAS SOPS 60908 HAS SOUS 48849 HAS SOUPS 48514 WITH SCORE 48578.504
AT ITER 37 NEW BEST:: SOT 93039 SOS 64327 HAS SOPS 60739 HAS SOUS 48484 HAS SOUPS 48149 WITH SCORE 48213.327
AT ITER 38 NEW BEST:: SOT 92751 SOS 63951 HAS SOPS 60459 HAS SOUS 48258 HAS SOUPS 47903 WITH SCORE 47966.951
AT ITER 41 NEW BEST:: SOT 92245 SOS 63420 HAS SOPS 59835 HAS SOUS 47635 HAS SOUPS 47280 WITH SCORE 47343.42
AT ITER 45 NEW BEST:: SOT 91945 SOS 63011 HAS SOPS 59410 HAS SOUS 47130 HAS SOUPS 46767 WITH SCORE 46830.011
AT ITER 47 NEW BEST:: SOT 91945 SOS 62992 HAS SOPS 59391 HAS SOUS 47130 HAS SOUPS 46767 WITH SCORE 46829.992
AT ITER 48 NEW BEST:: SOT 91821 SOS 62953 HAS SOPS 59244 HAS SOUS 47000 HAS SOUPS 46637 WITH SCORE 46699.953
AT ITER 49 NEW BEST:: SOT 91821 SOS 62510 HAS SOPS 58801 HAS SOUS 47000 HAS SOUPS 46637 WITH SCORE 46699.51
AT ITER 51 NEW BEST:: SOT 91486 SOS 62196 HAS SOPS 58429 HAS SOUS 46562 HAS SOUPS 46186 WITH SCORE 46248.196
AT ITER 52 NEW BEST:: SOT 91285 SOS 61995 HAS SOPS 58223 HAS SOUS 46376 HAS SOUPS 46000 WITH SCORE 46061.995
AT ITER 60 NEW BEST:: SOT 91221 SOS 61775 HAS SOPS 57997 HAS SOUS 46075 HAS SOUPS 45699 WITH SCORE 45760.775
AT ITER 63 NEW BEST:: SOT 90096 SOS 63057 HAS SOPS 57066 HAS SOUS 45532 HAS SOUPS 45059 WITH SCORE 45122.057
AT ITER 65 NEW BEST:: SOT 90075 SOS 62989 HAS SOPS 57061 HAS SOUS 45469 HAS SOUPS 44996 WITH SCORE 45058.989
AT ITER 70 NEW BEST:: SOT 90070 SOS 62979 HAS SOPS 57046 HAS SOUS 45459 HAS SOUPS 44986 WITH SCORE 45048.979
AT ITER 71 NEW BEST:: SOT 90070 SOS 62576 HAS SOPS 56643 HAS SOUS 45417 HAS SOUPS 44944 WITH SCORE 45006.576
AT ITER 73 NEW BEST:: SOT 89499 SOS 61431 HAS SOPS 55756 HAS SOUS 44736 HAS SOUPS 44263 WITH SCORE 44324.431
AT ITER 77 NEW BEST:: SOT 89492 SOS 61376 HAS SOPS 55701 HAS SOUS 44728 HAS SOUPS 44255 WITH SCORE 44316.376
AT ITER 79 NEW BEST:: SOT 87523 SOS 59911 HAS SOPS 53984 HAS SOUS 43263 HAS SOUPS 42737 WITH SCORE 42796.911
AT ITER 80 NEW BEST:: SOT 87063 SOS 59567 HAS SOPS 53326 HAS SOUS 42637 HAS SOUPS 42082 WITH SCORE 42141.567
AT ITER 83 NEW BEST:: SOT 87017 SOS 59731 HAS SOPS 53415 HAS SOUS 42626 HAS SOUPS 42036 WITH SCORE 42095.731
AT ITER 90 NEW BEST:: SOT 87017 SOS 59673 HAS SOPS 53476 HAS SOUS 42626 HAS SOUPS 42036 WITH SCORE 42095.673
AT ITER 91 NEW BEST:: SOT 86360 SOS 59463 HAS SOPS 52936 HAS SOUS 42203 HAS SOUPS 41574 WITH SCORE 41633.463
AT ITER 92 NEW BEST:: SOT 85604 SOS 58856 HAS SOPS 52404 HAS SOUS 41649 HAS SOUPS 41020 WITH SCORE 41078.856
AT ITER 93 NEW BEST:: SOT 85604 SOS 58833 HAS SOPS 52282 HAS SOUS 41649 HAS SOUPS 41020 WITH SCORE 41078.833
AT ITER 94 NEW BEST:: SOT 85364 SOS 58862 HAS SOPS 52280 HAS SOUS 41647 HAS SOUPS 41018 WITH SCORE 41076.862
AT ITER 95 NEW BEST:: SOT 85360 SOS 58858 HAS SOPS 52274 HAS SOUS 41641 HAS SOUPS 41010 WITH SCORE 41068.858
AT ITER 97 NEW BEST:: SOT 85368 SOS 58739 HAS SOPS 52151 HAS SOUS 41626 HAS SOUPS 40995 WITH SCORE 41053.739
AT ITER 99 NEW BEST:: SOT 85368 SOS 58679 HAS SOPS 52130 HAS SOUS 41626 HAS SOUPS 40995 WITH SCORE 41053.679
AT ITER 104 NEW BEST:: SOT 85368 SOS 58679 HAS SOPS 52130 HAS SOUS 41625 HAS SOUPS 40994 WITH SCORE 41052.679
AT ITER 106 NEW BEST:: SOT 85356 SOS 58728 HAS SOPS 52183 HAS SOUS 41620 HAS SOUPS 40989 WITH SCORE 41047.728
AT ITER 110 NEW BEST:: SOT 85215 SOS 58590 HAS SOPS 52011 HAS SOUS 41435 HAS SOUPS 40817 WITH SCORE 40875.59
AT ITER 111 NEW BEST:: SOT 85130 SOS 58492 HAS SOPS 51803 HAS SOUS 41294 HAS SOUPS 40626 WITH SCORE 40684.492
AT ITER 112 NEW BEST:: SOT 85130 SOS 58368 HAS SOPS 51679 HAS SOUS 41267 HAS SOUPS 40599 WITH SCORE 40657.368
AT ITER 113 NEW BEST:: SOT 84816 SOS 58248 HAS SOPS 51477 HAS SOUS 41059 HAS SOUPS 40352 WITH SCORE 40410.248
AT ITER 114 NEW BEST:: SOT 84788 SOS 58218 HAS SOPS 51435 HAS SOUS 41045 HAS SOUPS 40322 WITH SCORE 40380.218
AT ITER 117 NEW BEST:: SOT 84788 SOS 58218 HAS SOPS 51363 HAS SOUS 41014 HAS SOUPS 40291 WITH SCORE 40349.218
AT ITER 119 NEW BEST:: SOT 84751 SOS 58181 HAS SOPS 51289 HAS SOUS 40940 HAS SOUPS 40217 WITH SCORE 40275.181
AT ITER 120 NEW BEST:: SOT 81899 SOS 55144 HAS SOPS 48249 HAS SOUS 37937 HAS SOUPS 37214 WITH SCORE 37269.144
AT ITER 121 NEW BEST:: SOT 81800 SOS 55045 HAS SOPS 48083 HAS SOUS 37820 HAS SOUPS 37097 WITH SCORE 37152.045
AT ITER 125 NEW BEST:: SOT 81800 SOS 55019 HAS SOPS 48057 HAS SOUS 37794 HAS SOUPS 37071 WITH SCORE 37126.019
AT ITER 126 NEW BEST:: SOT 81572 SOS 54791 HAS SOPS 47826 HAS SOUS 37561 HAS SOUPS 36838 WITH SCORE 36892.791
AT ITER 132 NEW BEST:: SOT 81568 SOS 54884 HAS SOPS 47820 HAS SOUS 37517 HAS SOUPS 36794 WITH SCORE 36848.884
AT ITER 133 NEW BEST:: SOT 81523 SOS 54794 HAS SOPS 47730 HAS SOUS 37468 HAS SOUPS 36745 WITH SCORE 36799.794
AT ITER 138 NEW BEST:: SOT 81523 SOS 54738 HAS SOPS 47674 HAS SOUS 37468 HAS SOUPS 36745 WITH SCORE 36799.738
AT ITER 140 NEW BEST:: SOT 81549 SOS 54013 HAS SOPS 46949 HAS SOUS 37324 HAS SOUPS 36601 WITH SCORE 36655.013
AT ITER 141 NEW BEST:: SOT 81538 SOS 53925 HAS SOPS 46861 HAS SOUS 37324 HAS SOUPS 36601 WITH SCORE 36654.925
AT ITER 142 NEW BEST:: SOT 81538 SOS 53844 HAS SOPS 46780 HAS SOUS 37324 HAS SOUPS 36601 WITH SCORE 36654.844
AT ITER 144 NEW BEST:: SOT 81527 SOS 53767 HAS SOPS 46703 HAS SOUS 37324 HAS SOUPS 36601 WITH SCORE 36654.767
AT ITER 148 NEW BEST:: SOT 81071 SOS 53311 HAS SOPS 46385 HAS SOUS 36937 HAS SOUPS 36214 WITH SCORE 36267.311
AT ITER 150 NEW BEST:: SOT 80977 SOS 53618 HAS SOPS 46692 HAS SOUS 36892 HAS SOUPS 36169 WITH SCORE 36222.618
AT ITER 152 NEW BEST:: SOT 80951 SOS 53582 HAS SOPS 46630 HAS SOUS 36850 HAS SOUPS 36127 WITH SCORE 36180.582
AT ITER 155 NEW BEST:: SOT 80951 SOS 53358 HAS SOPS 46529 HAS SOUS 36824 HAS SOUPS 36101 WITH SCORE 36154.358
AT ITER 157 NEW BEST:: SOT 80473 SOS 52989 HAS SOPS 46445 HAS SOUS 36681 HAS SOUPS 35949 WITH SCORE 36001.989
AT ITER 158 NEW BEST:: SOT 80443 SOS 52959 HAS SOPS 46400 HAS SOUS 36670 HAS SOUPS 35938 WITH SCORE 35990.959
AT ITER 161 NEW BEST:: SOT 80454 SOS 52919 HAS SOPS 46228 HAS SOUS 36599 HAS SOUPS 35867 WITH SCORE 35919.919
AT ITER 162 NEW BEST:: SOT 78420 SOS 53321 HAS SOPS 44940 HAS SOUS 35364 HAS SOUPS 34512 WITH SCORE 34565.321
AT ITER 166 NEW BEST:: SOT 78384 SOS 53285 HAS SOPS 44868 HAS SOUS 35292 HAS SOUPS 34440 WITH SCORE 34493.285
AT ITER 169 NEW BEST:: SOT 78384 SOS 53283 HAS SOPS 44868 HAS SOUS 35292 HAS SOUPS 34440 WITH SCORE 34493.283
AT ITER 171 NEW BEST:: SOT 78288 SOS 53187 HAS SOPS 44724 HAS SOUS 35147 HAS SOUPS 34295 WITH SCORE 34348.187
AT ITER 178 NEW BEST:: SOT 78288 SOS 53164 HAS SOPS 44701 HAS SOUS 35136 HAS SOUPS 34284 WITH SCORE 34337.164
AT ITER 180 NEW BEST:: SOT 78118 SOS 52994 HAS SOPS 44548 HAS SOUS 34974 HAS SOUPS 34131 WITH SCORE 34183.994
AT ITER 181 NEW BEST:: SOT 78074 SOS 52918 HAS SOPS 44466 HAS SOUS 34846 HAS SOUPS 34003 WITH SCORE 34055.918
AT ITER 182 NEW BEST:: SOT 78021 SOS 52822 HAS SOPS 44365 HAS SOUS 34745 HAS SOUPS 33902 WITH SCORE 33954.822
AT ITER 190 NEW BEST:: SOT 78013 SOS 52814 HAS SOPS 44357 HAS SOUS 34745 HAS SOUPS 33902 WITH SCORE 33954.814
AT ITER 194 NEW BEST:: SOT 77876 SOS 52680 HAS SOPS 44223 HAS SOUS 34613 HAS SOUPS 33770 WITH SCORE 33822.68
AT ITER 197 NEW BEST:: SOT 77686 SOS 52546 HAS SOPS 44097 HAS SOUS 34423 HAS SOUPS 33580 WITH SCORE 33632.546
AT ITER 200 NEW BEST:: SOT 77345 SOS 52308 HAS SOPS 43947 HAS SOUS 34100 HAS SOUPS 33257 WITH SCORE 33309.308
AT ITER 202 NEW BEST:: SOT 77137 SOS 52189 HAS SOPS 43845 HAS SOUS 34028 HAS SOUPS 33193 WITH SCORE 33245.189
AT ITER 204 NEW BEST:: SOT 77137 SOS 52179 HAS SOPS 43835 HAS SOUS 34028 HAS SOUPS 33193 WITH SCORE 33245.179
AT ITER 205 NEW BEST:: SOT 77150 SOS 52197 HAS SOPS 43821 HAS SOUS 34019 HAS SOUPS 33184 WITH SCORE 33236.197
AT ITER 210 NEW BEST:: SOT 76727 SOS 52012 HAS SOPS 43707 HAS SOUS 33739 HAS SOUPS 32904 WITH SCORE 32956.012
AT ITER 211 NEW BEST:: SOT 76594 SOS 51817 HAS SOPS 43515 HAS SOUS 33569 HAS SOUPS 32734 WITH SCORE 32785.817
AT ITER 212 NEW BEST:: SOT 76416 SOS 51639 HAS SOPS 43484 HAS SOUS 33447 HAS SOUPS 32612 WITH SCORE 32663.639
AT ITER 213 NEW BEST:: SOT 75752 SOS 50941 HAS SOPS 42915 HAS SOUS 32769 HAS SOUPS 31934 WITH SCORE 31984.941
AT ITER 214 NEW BEST:: SOT 75620 SOS 50795 HAS SOPS 42769 HAS SOUS 32677 HAS SOUPS 31842 WITH SCORE 31892.795
AT ITER 217 NEW BEST:: SOT 75620 SOS 50763 HAS SOPS 42737 HAS SOUS 32677 HAS SOUPS 31842 WITH SCORE 31892.763
AT ITER 221 NEW BEST:: SOT 75663 SOS 50697 HAS SOPS 42466 HAS SOUS 32614 HAS SOUPS 31779 WITH SCORE 31829.697
AT ITER 222 NEW BEST:: SOT 75623 SOS 50600 HAS SOPS 42443 HAS SOUS 32547 HAS SOUPS 31712 WITH SCORE 31762.6
AT ITER 226 NEW BEST:: SOT 75605 SOS 50582 HAS SOPS 42336 HAS SOUS 32459 HAS SOUPS 31624 WITH SCORE 31674.582
AT ITER 232 NEW BEST:: SOT 73344 SOS 49224 HAS SOPS 40487 HAS SOUS 30921 HAS SOUPS 29998 WITH SCORE 30047.224
AT ITER 233 NEW BEST:: SOT 73294 SOS 49052 HAS SOPS 40298 HAS SOUS 30821 HAS SOUPS 29898 WITH SCORE 29947.052
AT ITER 236 NEW BEST:: SOT 72829 SOS 48969 HAS SOPS 40215 HAS SOUS 30297 HAS SOUPS 29374 WITH SCORE 29422.969
AT ITER 237 NEW BEST:: SOT 72811 SOS 48951 HAS SOPS 40197 HAS SOUS 30261 HAS SOUPS 29338 WITH SCORE 29386.951
AT ITER 241 NEW BEST:: SOT 72776 SOS 48916 HAS SOPS 40162 HAS SOUS 30226 HAS SOUPS 29303 WITH SCORE 29351.916
AT ITER 242 NEW BEST:: SOT 72369 SOS 48483 HAS SOPS 39720 HAS SOUS 29759 HAS SOUPS 28836 WITH SCORE 28884.483
AT ITER 243 NEW BEST:: SOT 72311 SOS 48402 HAS SOPS 39399 HAS SOUS 29551 HAS SOUPS 28628 WITH SCORE 28676.402
AT ITER 244 NEW BEST:: SOT 72311 SOS 48392 HAS SOPS 39399 HAS SOUS 29551 HAS SOUPS 28628 WITH SCORE 28676.392
AT ITER 246 NEW BEST:: SOT 72211 SOS 48292 HAS SOPS 39299 HAS SOUS 29468 HAS SOUPS 28545 WITH SCORE 28593.292
AT ITER 252 NEW BEST:: SOT 72191 SOS 48265 HAS SOPS 39281 HAS SOUS 29402 HAS SOUPS 28479 WITH SCORE 28527.265
AT ITER 253 NEW BEST:: SOT 71796 SOS 47919 HAS SOPS 39189 HAS SOUS 29223 HAS SOUPS 28321 WITH SCORE 28368.919
AT ITER 255 NEW BEST:: SOT 71778 SOS 47910 HAS SOPS 39180 HAS SOUS 29222 HAS SOUPS 28320 WITH SCORE 28367.91
AT ITER 256 NEW BEST:: SOT 71771 SOS 47899 HAS SOPS 39166 HAS SOUS 29208 HAS SOUPS 28306 WITH SCORE 28353.899
AT ITER 257 NEW BEST:: SOT 71773 SOS 47903 HAS SOPS 39170 HAS SOUS 29203 HAS SOUPS 28301 WITH SCORE 28348.903
AT ITER 259 NEW BEST:: SOT 71773 SOS 47894 HAS SOPS 39170 HAS SOUS 29203 HAS SOUPS 28301 WITH SCORE 28348.894
AT ITER 263 NEW BEST:: SOT 71643 SOS 47764 HAS SOPS 38975 HAS SOUS 28972 HAS SOUPS 28070 WITH SCORE 28117.764
AT ITER 265 NEW BEST:: SOT 71555 SOS 47711 HAS SOPS 38938 HAS SOUS 28838 HAS SOUPS 27936 WITH SCORE 27983.711
AT ITER 268 NEW BEST:: SOT 71601 SOS 47478 HAS SOPS 38518 HAS SOUS 28853 HAS SOUPS 27764 WITH SCORE 27811.478
AT ITER 276 NEW BEST:: SOT 71595 SOS 47404 HAS SOPS 38439 HAS SOUS 28822 HAS SOUPS 27733 WITH SCORE 27780.404
AT ITER 277 NEW BEST:: SOT 71469 SOS 47278 HAS SOPS 38250 HAS SOUS 28594 HAS SOUPS 27505 WITH SCORE 27552.278
AT ITER 285 NEW BEST:: SOT 71139 SOS 46945 HAS SOPS 37920 HAS SOUS 28264 HAS SOUPS 27175 WITH SCORE 27221.945
AT ITER 287 NEW BEST:: SOT 70524 SOS 48871 HAS SOPS 38016 HAS SOUS 28122 HAS SOUPS 26982 WITH SCORE 27030.871
AT ITER 290 NEW BEST:: SOT 70524 SOS 48871 HAS SOPS 38016 HAS SOUS 28104 HAS SOUPS 26964 WITH SCORE 27012.871
AT ITER 305 NEW BEST:: SOT 70230 SOS 48562 HAS SOPS 38067 HAS SOUS 27946 HAS SOUPS 26831 WITH SCORE 26879.562
AT ITER 307 NEW BEST:: SOT 70148 SOS 48480 HAS SOPS 37944 HAS SOUS 27811 HAS SOUPS 26696 WITH SCORE 26744.48
AT ITER 308 NEW BEST:: SOT 70220 SOS 48552 HAS SOPS 37556 HAS SOUS 27512 HAS SOUPS 26370 WITH SCORE 26418.552
AT ITER 314 NEW BEST:: SOT 70217 SOS 48506 HAS SOPS 37510 HAS SOUS 27509 HAS SOUPS 26367 WITH SCORE 26415.506
AT ITER 315 NEW BEST:: SOT 70217 SOS 48329 HAS SOPS 37333 HAS SOUS 27509 HAS SOUPS 26367 WITH SCORE 26415.329
AT ITER 321 NEW BEST:: SOT 69848 SOS 49679 HAS SOPS 37546 HAS SOUS 27527 HAS SOUPS 26338 WITH SCORE 26387.679
AT ITER 328 NEW BEST:: SOT 69753 SOS 49559 HAS SOPS 37426 HAS SOUS 27450 HAS SOUPS 26261 WITH SCORE 26310.559
AT ITER 332 NEW BEST:: SOT 69521 SOS 49263 HAS SOPS 37015 HAS SOUS 27100 HAS SOUPS 25911 WITH SCORE 25960.263
AT ITER 333 NEW BEST:: SOT 69445 SOS 49187 HAS SOPS 36901 HAS SOUS 26986 HAS SOUPS 25797 WITH SCORE 25846.187
AT ITER 334 NEW BEST:: SOT 69379 SOS 49119 HAS SOPS 36833 HAS SOUS 26980 HAS SOUPS 25791 WITH SCORE 25840.119
AT ITER 337 NEW BEST:: SOT 69341 SOS 49339 HAS SOPS 36932 HAS SOUS 26899 HAS SOUPS 25707 WITH SCORE 25756.339
AT ITER 341 NEW BEST:: SOT 69341 SOS 49339 HAS SOPS 36932 HAS SOUS 26857 HAS SOUPS 25665 WITH SCORE 25714.339
AT ITER 347 NEW BEST:: SOT 69078 SOS 49197 HAS SOPS 36864 HAS SOUS 26591 HAS SOUPS 25504 WITH SCORE 25553.197
AT ITER 350 NEW BEST:: SOT 68800 SOS 50142 HAS SOPS 36805 HAS SOUS 26496 HAS SOUPS 25386 WITH SCORE 25436.142
AT ITER 352 NEW BEST:: SOT 68780 SOS 50122 HAS SOPS 36775 HAS SOUS 26414 HAS SOUPS 25313 WITH SCORE 25363.122
AT ITER 357 NEW BEST:: SOT 68772 SOS 50114 HAS SOPS 36763 HAS SOUS 26405 HAS SOUPS 25302 WITH SCORE 25352.114
AT ITER 358 NEW BEST:: SOT 68513 SOS 49793 HAS SOPS 36554 HAS SOUS 26256 HAS SOUPS 25159 WITH SCORE 25208.793
AT ITER 359 NEW BEST:: SOT 68512 SOS 49792 HAS SOPS 36553 HAS SOUS 26254 HAS SOUPS 25157 WITH SCORE 25206.792
AT ITER 360 NEW BEST:: SOT 68381 SOS 49662 HAS SOPS 36423 HAS SOUS 26059 HAS SOUPS 24962 WITH SCORE 25011.662
AT ITER 362 NEW BEST:: SOT 67423 SOS 50723 HAS SOPS 35918 HAS SOUS 25611 HAS SOUPS 24433 WITH SCORE 24483.723
AT ITER 364 NEW BEST:: SOT 67400 SOS 50710 HAS SOPS 35906 HAS SOUS 25579 HAS SOUPS 24402 WITH SCORE 24452.71
AT ITER 377 NEW BEST:: SOT 67324 SOS 50634 HAS SOPS 35792 HAS SOUS 25454 HAS SOUPS 24277 WITH SCORE 24327.634
AT ITER 381 NEW BEST:: SOT 67324 SOS 50555 HAS SOPS 35871 HAS SOUS 25454 HAS SOUPS 24277 WITH SCORE 24327.555
AT ITER 388 NEW BEST:: SOT 67324 SOS 50481 HAS SOPS 35797 HAS SOUS 25432 HAS SOUPS 24255 WITH SCORE 24305.481
AT ITER 389 NEW BEST:: SOT 67125 SOS 50282 HAS SOPS 35354 HAS SOUS 25106 HAS SOUPS 23929 WITH SCORE 23979.282
AT ITER 397 NEW BEST:: SOT 67107 SOS 50264 HAS SOPS 35318 HAS SOUS 25079 HAS SOUPS 23902 WITH SCORE 23952.264
AT ITER 398 NEW BEST:: SOT 67069 SOS 50228 HAS SOPS 35290 HAS SOUS 25061 HAS SOUPS 23884 WITH SCORE 23934.228
AT ITER 404 NEW BEST:: SOT 64759 SOS 49142 HAS SOPS 33262 HAS SOUS 23259 HAS SOUPS 21988 WITH SCORE 22037.142
AT ITER 408 NEW BEST:: SOT 64751 SOS 49134 HAS SOPS 33250 HAS SOUS 23246 HAS SOUPS 21975 WITH SCORE 22024.134
AT ITER 410 NEW BEST:: SOT 64657 SOS 49040 HAS SOPS 33109 HAS SOUS 23129 HAS SOUPS 21858 WITH SCORE 21907.04
AT ITER 418 NEW BEST:: SOT 64423 SOS 48806 HAS SOPS 33006 HAS SOUS 23058 HAS SOUPS 21799 WITH SCORE 21847.806
AT ITER 422 NEW BEST:: SOT 64069 SOS 48452 HAS SOPS 32688 HAS SOUS 22733 HAS SOUPS 21474 WITH SCORE 21522.452
AT ITER 430 NEW BEST:: SOT 64003 SOS 48306 HAS SOPS 32589 HAS SOUS 22635 HAS SOUPS 21376 WITH SCORE 21424.306
AT ITER 437 NEW BEST:: SOT 63954 SOS 48257 HAS SOPS 32539 HAS SOUS 22607 HAS SOUPS 21348 WITH SCORE 21396.257
AT ITER 438 NEW BEST:: SOT 63954 SOS 48257 HAS SOPS 32510 HAS SOUS 22580 HAS SOUPS 21319 WITH SCORE 21367.257
AT ITER 439 NEW BEST:: SOT 63800 SOS 48103 HAS SOPS 32279 HAS SOUS 22381 HAS SOUPS 21120 WITH SCORE 21168.103
AT ITER 441 NEW BEST:: SOT 63716 SOS 47976 HAS SOPS 32124 HAS SOUS 22254 HAS SOUPS 20993 WITH SCORE 21040.976
AT ITER 442 NEW BEST:: SOT 63699 SOS 47959 HAS SOPS 32090 HAS SOUS 22241 HAS SOUPS 20980 WITH SCORE 21027.959
AT ITER 449 NEW BEST:: SOT 63699 SOS 47959 HAS SOPS 32090 HAS SOUS 22230 HAS SOUPS 20969 WITH SCORE 21016.959
AT ITER 453 NEW BEST:: SOT 63804 SOS 47779 HAS SOPS 31514 HAS SOUS 21938 HAS SOUPS 20677 WITH SCORE 20724.779
AT ITER 454 NEW BEST:: SOT 63726 SOS 47701 HAS SOPS 31358 HAS SOUS 21784 HAS SOUPS 20521 WITH SCORE 20568.701
AT ITER 455 NEW BEST:: SOT 63710 SOS 47685 HAS SOPS 31334 HAS SOUS 21723 HAS SOUPS 20460 WITH SCORE 20507.685
AT ITER 458 NEW BEST:: SOT 63660 SOS 47635 HAS SOPS 31259 HAS SOUS 21646 HAS SOUPS 20383 WITH SCORE 20430.635
AT ITER 459 NEW BEST:: SOT 63528 SOS 47503 HAS SOPS 31061 HAS SOUS 21355 HAS SOUPS 20092 WITH SCORE 20139.503
AT ITER 478 NEW BEST:: SOT 63492 SOS 47467 HAS SOPS 31007 HAS SOUS 21304 HAS SOUPS 20038 WITH SCORE 20085.467
AT ITER 479 NEW BEST:: SOT 63446 SOS 47421 HAS SOPS 30938 HAS SOUS 21225 HAS SOUPS 19959 WITH SCORE 20006.421
AT ITER 490 NEW BEST:: SOT 63448 SOS 47423 HAS SOPS 30940 HAS SOUS 21154 HAS SOUPS 19888 WITH SCORE 19935.423
AT ITER 491 NEW BEST:: SOT 63448 SOS 47423 HAS SOPS 30940 HAS SOUS 21137 HAS SOUPS 19871 WITH SCORE 19918.423
AT ITER 500 NEW BEST:: SOT 63384 SOS 47359 HAS SOPS 30955 HAS SOUS 21085 HAS SOUPS 19821 WITH SCORE 19868.359
AT ITER 501 NEW BEST:: SOT 62571 SOS 49174 HAS SOPS 30964 HAS SOUS 20792 HAS SOUPS 19453 WITH SCORE 19502.174
AT ITER 503 NEW BEST:: SOT 62539 SOS 49142 HAS SOPS 30852 HAS SOUS 20695 HAS SOUPS 19356 WITH SCORE 19405.142
AT ITER 508 NEW BEST:: SOT 62040 SOS 49314 HAS SOPS 30449 HAS SOUS 20324 HAS SOUPS 18953 WITH SCORE 19002.314
AT ITER 510 NEW BEST:: SOT 61825 SOS 49099 HAS SOPS 30287 HAS SOUS 20197 HAS SOUPS 18826 WITH SCORE 18875.099
AT ITER 511 NEW BEST:: SOT 61825 SOS 49099 HAS SOPS 30287 HAS SOUS 20191 HAS SOUPS 18820 WITH SCORE 18869.099
AT ITER 516 NEW BEST:: SOT 61633 SOS 48907 HAS SOPS 29999 HAS SOUS 19887 HAS SOUPS 18516 WITH SCORE 18564.907
AT ITER 518 NEW BEST:: SOT 61421 SOS 48695 HAS SOPS 29780 HAS SOUS 19692 HAS SOUPS 18321 WITH SCORE 18369.695
AT ITER 521 NEW BEST:: SOT 61331 SOS 48605 HAS SOPS 29845 HAS SOUS 19634 HAS SOUPS 18263 WITH SCORE 18311.605
AT ITER 531 NEW BEST:: SOT 61323 SOS 48597 HAS SOPS 29840 HAS SOUS 19623 HAS SOUPS 18252 WITH SCORE 18300.597
AT ITER 534 NEW BEST:: SOT 61287 SOS 48561 HAS SOPS 29780 HAS SOUS 19569 HAS SOUPS 18198 WITH SCORE 18246.561
AT ITER 545 NEW BEST:: SOT 61173 SOS 48447 HAS SOPS 29609 HAS SOUS 19381 HAS SOUPS 18010 WITH SCORE 18058.447
AT ITER 546 NEW BEST:: SOT 61117 SOS 48391 HAS SOPS 29497 HAS SOUS 19297 HAS SOUPS 17926 WITH SCORE 17974.391
AT ITER 560 NEW BEST:: SOT 61069 SOS 48343 HAS SOPS 29425 HAS SOUS 19243 HAS SOUPS 17848 WITH SCORE 17896.343
AT ITER 561 NEW BEST:: SOT 61292 SOS 48566 HAS SOPS 29277 HAS SOUS 19184 HAS SOUPS 17789 WITH SCORE 17837.566
AT ITER 562 NEW BEST:: SOT 61212 SOS 48486 HAS SOPS 29306 HAS SOUS 19152 HAS SOUPS 17757 WITH SCORE 17805.486
AT ITER 565 NEW BEST:: SOT 61212 SOS 48486 HAS SOPS 29306 HAS SOUS 19105 HAS SOUPS 17710 WITH SCORE 17758.486
AT ITER 573 NEW BEST:: SOT 61020 SOS 48294 HAS SOPS 29162 HAS SOUS 18961 HAS SOUPS 17566 WITH SCORE 17614.294
AT ITER 582 NEW BEST:: SOT 60898 SOS 48097 HAS SOPS 28918 HAS SOUS 18874 HAS SOUPS 17479 WITH SCORE 17527.097
AT ITER 589 NEW BEST:: SOT 60898 SOS 48082 HAS SOPS 28918 HAS SOUS 18874 HAS SOUPS 17479 WITH SCORE 17527.082
AT ITER 593 NEW BEST:: SOT 60889 SOS 48065 HAS SOPS 28870 HAS SOUS 18856 HAS SOUPS 17461 WITH SCORE 17509.065
AT ITER 600 NEW BEST:: SOT 60833 SOS 47985 HAS SOPS 28858 HAS SOUS 18773 HAS SOUPS 17378 WITH SCORE 17425.985
AT ITER 603 NEW BEST:: SOT 60833 SOS 47954 HAS SOPS 28827 HAS SOUS 18773 HAS SOUPS 17378 WITH SCORE 17425.954
AT ITER 611 NEW BEST:: SOT 60795 SOS 47916 HAS SOPS 28751 HAS SOUS 18730 HAS SOUPS 17335 WITH SCORE 17382.916
AT ITER 614 NEW BEST:: SOT 60745 SOS 47866 HAS SOPS 28651 HAS SOUS 18655 HAS SOUPS 17260 WITH SCORE 17307.866
AT ITER 621 NEW BEST:: SOT 60423 SOS 47544 HAS SOPS 28617 HAS SOUS 18628 HAS SOUPS 17236 WITH SCORE 17283.544
AT ITER 631 NEW BEST:: SOT 60423 SOS 47544 HAS SOPS 28617 HAS SOUS 18609 HAS SOUPS 17217 WITH SCORE 17264.544
AT ITER 647 NEW BEST:: SOT 60153 SOS 47274 HAS SOPS 28389 HAS SOUS 18339 HAS SOUPS 16947 WITH SCORE 16994.274
AT ITER 648 NEW BEST:: SOT 60141 SOS 47274 HAS SOPS 28334 HAS SOUS 18321 HAS SOUPS 16929 WITH SCORE 16976.274
AT ITER 654 NEW BEST:: SOT 60141 SOS 47274 HAS SOPS 28334 HAS SOUS 18314 HAS SOUPS 16922 WITH SCORE 16969.274
AT ITER 655 NEW BEST:: SOT 60087 SOS 47203 HAS SOPS 28253 HAS SOUS 18233 HAS SOUPS 16841 WITH SCORE 16888.203
AT ITER 658 NEW BEST:: SOT 60073 SOS 47189 HAS SOPS 28225 HAS SOUS 18219 HAS SOUPS 16827 WITH SCORE 16874.189
AT ITER 660 NEW BEST:: SOT 60041 SOS 47157 HAS SOPS 28161 HAS SOUS 18171 HAS SOUPS 16779 WITH SCORE 16826.157
AT ITER 663 NEW BEST:: SOT 60043 SOS 47159 HAS SOPS 28157 HAS SOUS 18169 HAS SOUPS 16777 WITH SCORE 16824.159
AT ITER 665 NEW BEST:: SOT 60007 SOS 47123 HAS SOPS 28139 HAS SOUS 18142 HAS SOUPS 16750 WITH SCORE 16797.123
AT ITER 671 NEW BEST:: SOT 60003 SOS 47119 HAS SOPS 28136 HAS SOUS 18140 HAS SOUPS 16748 WITH SCORE 16795.119
AT ITER 683 NEW BEST:: SOT 59969 SOS 47085 HAS SOPS 28085 HAS SOUS 18089 HAS SOUPS 16697 WITH SCORE 16744.085
AT ITER 699 NEW BEST:: SOT 59977 SOS 47093 HAS SOPS 28097 HAS SOUS 18069 HAS SOUPS 16677 WITH SCORE 16724.093
AT ITER 700 NEW BEST:: SOT 59977 SOS 47093 HAS SOPS 28097 HAS SOUS 18063 HAS SOUPS 16671 WITH SCORE 16718.093
AT ITER 718 NEW BEST:: SOT 59897 SOS 47013 HAS SOPS 28026 HAS SOUS 18041 HAS SOUPS 16649 WITH SCORE 16696.013
AT ITER 732 NEW BEST:: SOT 59893 SOS 46997 HAS SOPS 27981 HAS SOUS 18032 HAS SOUPS 16640 WITH SCORE 16686.997
AT ITER 733 NEW BEST:: SOT 59757 SOS 46976 HAS SOPS 27989 HAS SOUS 17906 HAS SOUPS 16543 WITH SCORE 16589.976
AT ITER 737 NEW BEST:: SOT 59400 SOS 48436 HAS SOPS 28005 HAS SOUS 17871 HAS SOUPS 16457 WITH SCORE 16505.436
AT ITER 753 NEW BEST:: SOT 59348 SOS 48384 HAS SOPS 27963 HAS SOUS 17807 HAS SOUPS 16403 WITH SCORE 16451.384
AT ITER 758 NEW BEST:: SOT 59312 SOS 48319 HAS SOPS 27882 HAS SOUS 17747 HAS SOUPS 16343 WITH SCORE 16391.319
AT ITER 767 NEW BEST:: SOT 59146 SOS 48153 HAS SOPS 27756 HAS SOUS 17590 HAS SOUPS 16193 WITH SCORE 16241.153
AT ITER 779 NEW BEST:: SOT 59146 SOS 48153 HAS SOPS 27756 HAS SOUS 17572 HAS SOUPS 16175 WITH SCORE 16223.153
AT ITER 782 NEW BEST:: SOT 59112 SOS 48119 HAS SOPS 27626 HAS SOUS 17521 HAS SOUPS 16124 WITH SCORE 16172.119
AT ITER 793 NEW BEST:: SOT 59090 SOS 48097 HAS SOPS 27618 HAS SOUS 17488 HAS SOUPS 16091 WITH SCORE 16139.097
AT ITER 797 NEW BEST:: SOT 59011 SOS 47995 HAS SOPS 27513 HAS SOUS 17420 HAS SOUPS 16020 WITH SCORE 16067.995
AT ITER 806 NEW BEST:: SOT 58979 SOS 47963 HAS SOPS 27449 HAS SOUS 17372 HAS SOUPS 15972 WITH SCORE 16019.963
AT ITER 813 NEW BEST:: SOT 58971 SOS 47955 HAS SOPS 27453 HAS SOUS 17372 HAS SOUPS 15972 WITH SCORE 16019.955
AT ITER 834 NEW BEST:: SOT 58939 SOS 47923 HAS SOPS 27405 HAS SOUS 17324 HAS SOUPS 15924 WITH SCORE 15971.923
AT ITER 840 NEW BEST:: SOT 58751 SOS 47735 HAS SOPS 27123 HAS SOUS 16993 HAS SOUPS 15593 WITH SCORE 15640.735
AT ITER 845 NEW BEST:: SOT 58777 SOS 47615 HAS SOPS 27003 HAS SOUS 16942 HAS SOUPS 15542 WITH SCORE 15589.615
AT ITER 850 NEW BEST:: SOT 58767 SOS 47605 HAS SOPS 26988 HAS SOUS 16898 HAS SOUPS 15498 WITH SCORE 15545.605
AT ITER 861 NEW BEST:: SOT 58767 SOS 47605 HAS SOPS 26988 HAS SOUS 16883 HAS SOUPS 15483 WITH SCORE 15530.605
AT ITER 866 NEW BEST:: SOT 58685 SOS 47523 HAS SOPS 26865 HAS SOUS 16760 HAS SOUPS 15360 WITH SCORE 15407.523
AT ITER 887 NEW BEST:: SOT 58629 SOS 47803 HAS SOPS 26897 HAS SOUS 16760 HAS SOUPS 15352 WITH SCORE 15399.803
AT ITER 908 NEW BEST:: SOT 58577 SOS 47751 HAS SOPS 26844 HAS SOUS 16686 HAS SOUPS 15278 WITH SCORE 15325.751
AT ITER 929 NEW BEST:: SOT 58537 SOS 47711 HAS SOPS 26764 HAS SOUS 16606 HAS SOUPS 15198 WITH SCORE 15245.711
AT ITER 940 NEW BEST:: SOT 58737 SOS 47911 HAS SOPS 26632 HAS SOUS 16426 HAS SOUPS 15018 WITH SCORE 15065.911
AT ITER 952 NEW BEST:: SOT 58737 SOS 47911 HAS SOPS 26632 HAS SOUS 16425 HAS SOUPS 15017 WITH SCORE 15064.911
AT ITER 955 NEW BEST:: SOT 58640 SOS 47814 HAS SOPS 26463 HAS SOUS 16292 HAS SOUPS 14884 WITH SCORE 14931.814
AT ITER 964 NEW BEST:: SOT 58564 SOS 47738 HAS SOPS 26311 HAS SOUS 16192 HAS SOUPS 14763 WITH SCORE 14810.738
AT ITER 965 NEW BEST:: SOT 58430 SOS 47650 HAS SOPS 26337 HAS SOUS 16190 HAS SOUPS 14761 WITH SCORE 14808.65
AT ITER 979 NEW BEST:: SOT 58384 SOS 47604 HAS SOPS 26245 HAS SOUS 16134 HAS SOUPS 14705 WITH SCORE 14752.604
AT ITER 980 NEW BEST:: SOT 58239 SOS 47463 HAS SOPS 26202 HAS SOUS 16098 HAS SOUPS 14669 WITH SCORE 14716.463
AT ITER 983 NEW BEST:: SOT 58191 SOS 47415 HAS SOPS 26130 HAS SOUS 16014 HAS SOUPS 14585 WITH SCORE 14632.415
AT ITER 990 NEW BEST:: SOT 58187 SOS 47411 HAS SOPS 26122 HAS SOUS 16013 HAS SOUPS 14584 WITH SCORE 14631.411
AT ITER 996 NEW BEST:: SOT 58143 SOS 47367 HAS SOPS 26056 HAS SOUS 15960 HAS SOUPS 14531 WITH SCORE 14578.367
AT ITER 1011 NEW BEST:: SOT 58163 SOS 47387 HAS SOPS 26096 HAS SOUS 15924 HAS SOUPS 14495 WITH SCORE 14542.387
AT ITER 1024 NEW BEST:: SOT 58163 SOS 47387 HAS SOPS 26096 HAS SOUS 15919 HAS SOUPS 14490 WITH SCORE 14537.387
AT ITER 1027 NEW BEST:: SOT 58117 SOS 47341 HAS SOPS 26025 HAS SOUS 15842 HAS SOUPS 14413 WITH SCORE 14460.341
AT ITER 1035 NEW BEST:: SOT 58103 SOS 47327 HAS SOPS 26020 HAS SOUS 15796 HAS SOUPS 14367 WITH SCORE 14414.327
AT ITER 1039 NEW BEST:: SOT 58155 SOS 47379 HAS SOPS 25982 HAS SOUS 15787 HAS SOUPS 14358 WITH SCORE 14405.379
AT ITER 1043 NEW BEST:: SOT 58137 SOS 47361 HAS SOPS 25955 HAS SOUS 15760 HAS SOUPS 14331 WITH SCORE 14378.361
AT ITER 1046 NEW BEST:: SOT 58137 SOS 47361 HAS SOPS 25955 HAS SOUS 15738 HAS SOUPS 14309 WITH SCORE 14356.361
AT ITER 1053 NEW BEST:: SOT 58082 SOS 47261 HAS SOPS 25779 HAS SOUS 15591 HAS SOUPS 14162 WITH SCORE 14209.261
AT ITER 1060 NEW BEST:: SOT 58078 SOS 47257 HAS SOPS 25773 HAS SOUS 15554 HAS SOUPS 14125 WITH SCORE 14172.257
AT ITER 1062 NEW BEST:: SOT 58076 SOS 47271 HAS SOPS 25770 HAS SOUS 15551 HAS SOUPS 14122 WITH SCORE 14169.271
AT ITER 1088 NEW BEST:: SOT 58076 SOS 47271 HAS SOPS 25770 HAS SOUS 15539 HAS SOUPS 14110 WITH SCORE 14157.271
AT ITER 1092 NEW BEST:: SOT 58044 SOS 47239 HAS SOPS 25722 HAS SOUS 15491 HAS SOUPS 14062 WITH SCORE 14109.239
AT ITER 1095 NEW BEST:: SOT 57902 SOS 47571 HAS SOPS 25640 HAS SOUS 15454 HAS SOUPS 14010 WITH SCORE 14057.571
AT ITER 1097 NEW BEST:: SOT 57893 SOS 47560 HAS SOPS 25635 HAS SOUS 15447 HAS SOUPS 14003 WITH SCORE 14050.56
AT ITER 1111 NEW BEST:: SOT 57861 SOS 47528 HAS SOPS 25571 HAS SOUS 15368 HAS SOUPS 13924 WITH SCORE 13971.528
AT ITER 1112 NEW BEST:: SOT 57861 SOS 47528 HAS SOPS 25571 HAS SOUS 15366 HAS SOUPS 13922 WITH SCORE 13969.528
AT ITER 1113 NEW BEST:: SOT 57861 SOS 47517 HAS SOPS 25571 HAS SOUS 15366 HAS SOUPS 13922 WITH SCORE 13969.517
AT ITER 1128 NEW BEST:: SOT 57861 SOS 47517 HAS SOPS 25571 HAS SOUS 15356 HAS SOUPS 13912 WITH SCORE 13959.517
AT ITER 1134 NEW BEST:: SOT 57857 SOS 47513 HAS SOPS 25585 HAS SOUS 15350 HAS SOUPS 13906 WITH SCORE 13953.513
AT ITER 1142 NEW BEST:: SOT 57873 SOS 47519 HAS SOPS 25575 HAS SOUS 15343 HAS SOUPS 13899 WITH SCORE 13946.519
AT ITER 1143 NEW BEST:: SOT 57849 SOS 47495 HAS SOPS 25539 HAS SOUS 15307 HAS SOUPS 13863 WITH SCORE 13910.495
AT ITER 1145 NEW BEST:: SOT 57851 SOS 47497 HAS SOPS 25534 HAS SOUS 15304 HAS SOUPS 13860 WITH SCORE 13907.497
AT ITER 1176 NEW BEST:: SOT 57851 SOS 47497 HAS SOPS 25324 HAS SOUS 15159 HAS SOUPS 13715 WITH SCORE 13762.497
AT ITER 1178 NEW BEST:: SOT 57789 SOS 47435 HAS SOPS 25231 HAS SOUS 15055 HAS SOUPS 13611 WITH SCORE 13658.435
AT ITER 1179 NEW BEST:: SOT 57789 SOS 47435 HAS SOPS 25231 HAS SOUS 15049 HAS SOUPS 13605 WITH SCORE 13652.435
AT ITER 1182 NEW BEST:: SOT 57719 SOS 47639 HAS SOPS 25367 HAS SOUS 15000 HAS SOUPS 13556 WITH SCORE 13603.639
AT ITER 1186 NEW BEST:: SOT 57675 SOS 47595 HAS SOPS 25301 HAS SOUS 14912 HAS SOUPS 13468 WITH SCORE 13515.595
AT ITER 1187 NEW BEST:: SOT 57695 SOS 47615 HAS SOPS 25335 HAS SOUS 14886 HAS SOUPS 13442 WITH SCORE 13489.615
AT ITER 1191 NEW BEST:: SOT 57645 SOS 47565 HAS SOPS 25271 HAS SOUS 14811 HAS SOUPS 13367 WITH SCORE 13414.565
AT ITER 1193 NEW BEST:: SOT 57603 SOS 47523 HAS SOPS 25020 HAS SOUS 14599 HAS SOUPS 13155 WITH SCORE 13202.523
AT ITER 1194 NEW BEST:: SOT 57519 SOS 47439 HAS SOPS 24894 HAS SOUS 14465 HAS SOUPS 13021 WITH SCORE 13068.439
AT ITER 1249 NEW BEST:: SOT 57507 SOS 47437 HAS SOPS 24881 HAS SOUS 14451 HAS SOUPS 13007 WITH SCORE 13054.437
AT ITER 1261 NEW BEST:: SOT 57479 SOS 47409 HAS SOPS 24839 HAS SOUS 14437 HAS SOUPS 12993 WITH SCORE 13040.409
AT ITER 1272 NEW BEST:: SOT 57475 SOS 47405 HAS SOPS 24825 HAS SOUS 14425 HAS SOUPS 12981 WITH SCORE 13028.405
AT ITER 1274 NEW BEST:: SOT 57461 SOS 47391 HAS SOPS 24804 HAS SOUS 14395 HAS SOUPS 12951 WITH SCORE 12998.391
AT ITER 1279 NEW BEST:: SOT 57459 SOS 47389 HAS SOPS 24801 HAS SOUS 14390 HAS SOUPS 12946 WITH SCORE 12993.389
AT ITER 1286 NEW BEST:: SOT 57459 SOS 47373 HAS SOPS 24801 HAS SOUS 14390 HAS SOUPS 12946 WITH SCORE 12993.373
AT ITER 1295 NEW BEST:: SOT 57423 SOS 47366 HAS SOPS 24757 HAS SOUS 14383 HAS SOUPS 12931 WITH SCORE 12978.366
AT ITER 1299 NEW BEST:: SOT 57409 SOS 47352 HAS SOPS 24736 HAS SOUS 14364 HAS SOUPS 12912 WITH SCORE 12959.352
AT ITER 1301 NEW BEST:: SOT 57409 SOS 47352 HAS SOPS 24736 HAS SOUS 14362 HAS SOUPS 12910 WITH SCORE 12957.352
AT ITER 1303 NEW BEST:: SOT 57403 SOS 47346 HAS SOPS 24643 HAS SOUS 14290 HAS SOUPS 12838 WITH SCORE 12885.346
AT ITER 1306 NEW BEST:: SOT 57344 SOS 47287 HAS SOPS 24559 HAS SOUS 14226 HAS SOUPS 12774 WITH SCORE 12821.287
AT ITER 1362 NEW BEST:: SOT 57306 SOS 47249 HAS SOPS 24502 HAS SOUS 14171 HAS SOUPS 12719 WITH SCORE 12766.249
AT ITER 1365 NEW BEST:: SOT 57366 SOS 46648 HAS SOPS 24276 HAS SOUS 14153 HAS SOUPS 12713 WITH SCORE 12759.648
AT ITER 1382 NEW BEST:: SOT 57228 SOS 46510 HAS SOPS 24147 HAS SOUS 14102 HAS SOUPS 12662 WITH SCORE 12708.51
AT ITER 1403 NEW BEST:: SOT 57211 SOS 46493 HAS SOPS 24117 HAS SOUS 14052 HAS SOUPS 12612 WITH SCORE 12658.493
AT ITER 1405 NEW BEST:: SOT 57187 SOS 46469 HAS SOPS 24081 HAS SOUS 14016 HAS SOUPS 12576 WITH SCORE 12622.469
AT ITER 1425 NEW BEST:: SOT 57159 SOS 46441 HAS SOPS 24069 HAS SOUS 14004 HAS SOUPS 12564 WITH SCORE 12610.441
AT ITER 1429 NEW BEST:: SOT 57149 SOS 46431 HAS SOPS 24074 HAS SOUS 14004 HAS SOUPS 12564 WITH SCORE 12610.431
AT ITER 1433 NEW BEST:: SOT 57147 SOS 46429 HAS SOPS 24071 HAS SOUS 14002 HAS SOUPS 12562 WITH SCORE 12608.429
AT ITER 1462 NEW BEST:: SOT 57143 SOS 46425 HAS SOPS 24065 HAS SOUS 13996 HAS SOUPS 12556 WITH SCORE 12602.425
AT ITER 1466 NEW BEST:: SOT 57143 SOS 46425 HAS SOPS 24065 HAS SOUS 13953 HAS SOUPS 12513 WITH SCORE 12559.425
AT ITER 1469 NEW BEST:: SOT 57143 SOS 46425 HAS SOPS 24065 HAS SOUS 13936 HAS SOUPS 12496 WITH SCORE 12542.425
AT ITER 1480 NEW BEST:: SOT 57135 SOS 46417 HAS SOPS 24049 HAS SOUS 13920 HAS SOUPS 12480 WITH SCORE 12526.417
AT ITER 1485 NEW BEST:: SOT 57113 SOS 46399 HAS SOPS 24018 HAS SOUS 13885 HAS SOUPS 12445 WITH SCORE 12491.399
AT ITER 1500 NEW BEST:: SOT 57127 SOS 46413 HAS SOPS 23958 HAS SOUS 13829 HAS SOUPS 12389 WITH SCORE 12435.413
AT ITER 1526 NEW BEST:: SOT 57103 SOS 46389 HAS SOPS 23922 HAS SOUS 13793 HAS SOUPS 12353 WITH SCORE 12399.389
AT ITER 1536 NEW BEST:: SOT 57103 SOS 46389 HAS SOPS 23878 HAS SOUS 13760 HAS SOUPS 12320 WITH SCORE 12366.389
AT ITER 1544 NEW BEST:: SOT 57103 SOS 46389 HAS SOPS 23802 HAS SOUS 13703 HAS SOUPS 12263 WITH SCORE 12309.389
AT ITER 1557 NEW BEST:: SOT 57090 SOS 46258 HAS SOPS 23631 HAS SOUS 13685 HAS SOUPS 12245 WITH SCORE 12291.258
AT ITER 1561 NEW BEST:: SOT 57146 SOS 46314 HAS SOPS 23631 HAS SOUS 13671 HAS SOUPS 12231 WITH SCORE 12277.314
AT ITER 1590 NEW BEST:: SOT 57114 SOS 46282 HAS SOPS 23583 HAS SOUS 13617 HAS SOUPS 12177 WITH SCORE 12223.282
AT ITER 1601 NEW BEST:: SOT 57114 SOS 46282 HAS SOPS 23583 HAS SOUS 13607 HAS SOUPS 12167 WITH SCORE 12213.282
AT ITER 1616 NEW BEST:: SOT 57072 SOS 46240 HAS SOPS 23520 HAS SOUS 13544 HAS SOUPS 12104 WITH SCORE 12150.24
AT ITER 1619 NEW BEST:: SOT 57072 SOS 46240 HAS SOPS 23520 HAS SOUS 13527 HAS SOUPS 12087 WITH SCORE 12133.24
AT ITER 1628 NEW BEST:: SOT 56894 SOS 46883 HAS SOPS 23466 HAS SOUS 13521 HAS SOUPS 12058 WITH SCORE 12104.883
AT ITER 1639 NEW BEST:: SOT 56874 SOS 46863 HAS SOPS 23426 HAS SOUS 13491 HAS SOUPS 12028 WITH SCORE 12074.863
AT ITER 1653 NEW BEST:: SOT 56850 SOS 46839 HAS SOPS 23402 HAS SOUS 13467 HAS SOUPS 12004 WITH SCORE 12050.839
AT ITER 1697 NEW BEST:: SOT 56690 SOS 46679 HAS SOPS 23321 HAS SOUS 13386 HAS SOUPS 11923 WITH SCORE 11969.679
AT ITER 1701 NEW BEST:: SOT 56688 SOS 46677 HAS SOPS 23318 HAS SOUS 13377 HAS SOUPS 11914 WITH SCORE 11960.677
AT ITER 1728 NEW BEST:: SOT 56688 SOS 46677 HAS SOPS 23318 HAS SOUS 13351 HAS SOUPS 11888 WITH SCORE 11934.677
AT ITER 1733 NEW BEST:: SOT 56678 SOS 46667 HAS SOPS 23263 HAS SOUS 13304 HAS SOUPS 11841 WITH SCORE 11887.667
AT ITER 1748 NEW BEST:: SOT 56657 SOS 46646 HAS SOPS 23242 HAS SOUS 13260 HAS SOUPS 11797 WITH SCORE 11843.646
AT ITER 1761 NEW BEST:: SOT 56641 SOS 46630 HAS SOPS 23218 HAS SOUS 13228 HAS SOUPS 11765 WITH SCORE 11811.63
AT ITER 1762 NEW BEST:: SOT 56633 SOS 46622 HAS SOPS 23210 HAS SOUS 13220 HAS SOUPS 11757 WITH SCORE 11803.622
AT ITER 1768 NEW BEST:: SOT 56613 SOS 46602 HAS SOPS 23167 HAS SOUS 13180 HAS SOUPS 11717 WITH SCORE 11763.602
AT ITER 1769 NEW BEST:: SOT 56551 SOS 46540 HAS SOPS 23043 HAS SOUS 13057 HAS SOUPS 11594 WITH SCORE 11640.54
AT ITER 1775 NEW BEST:: SOT 56523 SOS 46512 HAS SOPS 22983 HAS SOUS 13015 HAS SOUPS 11552 WITH SCORE 11598.512
AT ITER 1790 NEW BEST:: SOT 56423 SOS 47526 HAS SOPS 23395 HAS SOUS 13012 HAS SOUPS 11528 WITH SCORE 11575.526
AT ITER 1792 NEW BEST:: SOT 56435 SOS 47538 HAS SOPS 23395 HAS SOUS 13006 HAS SOUPS 11522 WITH SCORE 11569.538
AT ITER 1807 NEW BEST:: SOT 56435 SOS 47538 HAS SOPS 23395 HAS SOUS 13003 HAS SOUPS 11519 WITH SCORE 11566.538
AT ITER 1822 NEW BEST:: SOT 56448 SOS 47549 HAS SOPS 23409 HAS SOUS 12967 HAS SOUPS 11483 WITH SCORE 11530.549
AT ITER 1826 NEW BEST:: SOT 56448 SOS 47549 HAS SOPS 23409 HAS SOUS 12966 HAS SOUPS 11482 WITH SCORE 11529.549
AT ITER 1829 NEW BEST:: SOT 56448 SOS 47534 HAS SOPS 23394 HAS SOUS 12962 HAS SOUPS 11478 WITH SCORE 11525.534
AT ITER 1842 NEW BEST:: SOT 56438 SOS 47524 HAS SOPS 23379 HAS SOUS 12947 HAS SOUPS 11463 WITH SCORE 11510.524
AT ITER 1848 NEW BEST:: SOT 56408 SOS 47494 HAS SOPS 23343 HAS SOUS 12887 HAS SOUPS 11403 WITH SCORE 11450.494
AT ITER 1850 NEW BEST:: SOT 56388 SOS 47474 HAS SOPS 23313 HAS SOUS 12867 HAS SOUPS 11383 WITH SCORE 11430.474
AT ITER 1851 NEW BEST:: SOT 56364 SOS 47450 HAS SOPS 23313 HAS SOUS 12858 HAS SOUPS 11374 WITH SCORE 11421.45
AT ITER 1894 NEW BEST:: SOT 56364 SOS 47450 HAS SOPS 23313 HAS SOUS 12831 HAS SOUPS 11347 WITH SCORE 11394.45
AT ITER 1916 NEW BEST:: SOT 56354 SOS 47440 HAS SOPS 23293 HAS SOUS 12804 HAS SOUPS 11332 WITH SCORE 11379.44
AT ITER 1953 NEW BEST:: SOT 56326 SOS 47412 HAS SOPS 23251 HAS SOUS 12762 HAS SOUPS 11290 WITH SCORE 11337.412
AT ITER 1975 NEW BEST:: SOT 56350 SOS 47436 HAS SOPS 23127 HAS SOUS 12658 HAS SOUPS 11186 WITH SCORE 11233.436
AT ITER 2047 NEW BEST:: SOT 56342 SOS 47428 HAS SOPS 23115 HAS SOUS 12646 HAS SOUPS 11174 WITH SCORE 11221.428
AT ITER 2061 NEW BEST:: SOT 56378 SOS 47464 HAS SOPS 23164 HAS SOUS 12625 HAS SOUPS 11153 WITH SCORE 11200.464
AT ITER 2063 NEW BEST:: SOT 56375 SOS 47480 HAS SOPS 23181 HAS SOUS 12622 HAS SOUPS 11151 WITH SCORE 11198.48
AT ITER 2079 NEW BEST:: SOT 56317 SOS 47422 HAS SOPS 23094 HAS SOUS 12523 HAS SOUPS 11052 WITH SCORE 11099.422
AT ITER 2089 NEW BEST:: SOT 56145 SOS 47250 HAS SOPS 23057 HAS SOUS 12456 HAS SOUPS 10985 WITH SCORE 11032.25
AT ITER 2107 NEW BEST:: SOT 56091 SOS 47196 HAS SOPS 22976 HAS SOUS 12373 HAS SOUPS 10902 WITH SCORE 10949.196
AT ITER 2132 NEW BEST:: SOT 56089 SOS 47194 HAS SOPS 22972 HAS SOUS 12372 HAS SOUPS 10901 WITH SCORE 10948.194
AT ITER 2144 NEW BEST:: SOT 56015 SOS 47120 HAS SOPS 22939 HAS SOUS 12339 HAS SOUPS 10868 WITH SCORE 10915.12
AT ITER 2178 NEW BEST:: SOT 56015 SOS 47120 HAS SOPS 22919 HAS SOUS 12334 HAS SOUPS 10863 WITH SCORE 10910.12
AT ITER 2221 NEW BEST:: SOT 56015 SOS 47120 HAS SOPS 22919 HAS SOUS 12333 HAS SOUPS 10862 WITH SCORE 10909.12
AT ITER 2269 NEW BEST:: SOT 56011 SOS 47116 HAS SOPS 22911 HAS SOUS 12329 HAS SOUPS 10856 WITH SCORE 10903.116
AT ITER 2304 NEW BEST:: SOT 56011 SOS 47116 HAS SOPS 22911 HAS SOUS 12325 HAS SOUPS 10852 WITH SCORE 10899.116
AT ITER 2324 NEW BEST:: SOT 56021 SOS 47126 HAS SOPS 22906 HAS SOUS 12323 HAS SOUPS 10850 WITH SCORE 10897.126
AT ITER 2354 NEW BEST:: SOT 56024 SOS 47072 HAS SOPS 22882 HAS SOUS 12319 HAS SOUPS 10847 WITH SCORE 10894.072
AT ITER 2382 NEW BEST:: SOT 56020 SOS 47058 HAS SOPS 22865 HAS SOUS 12315 HAS SOUPS 10843 WITH SCORE 10890.058
AT ITER 2401 NEW BEST:: SOT 56020 SOS 47058 HAS SOPS 22865 HAS SOUS 12311 HAS SOUPS 10839 WITH SCORE 10886.058
AT ITER 2415 NEW BEST:: SOT 56017 SOS 47055 HAS SOPS 22861 HAS SOUS 12307 HAS SOUPS 10835 WITH SCORE 10882.055
AT ITER 2443 NEW BEST:: SOT 56017 SOS 47055 HAS SOPS 22845 HAS SOUS 12299 HAS SOUPS 10827 WITH SCORE 10874.055
AT ITER 2446 NEW BEST:: SOT 56015 SOS 47017 HAS SOPS 22812 HAS SOUS 12282 HAS SOUPS 10810 WITH SCORE 10857.017
AT ITER 2447 NEW BEST:: SOT 56005 SOS 47007 HAS SOPS 22797 HAS SOUS 12249 HAS SOUPS 10777 WITH SCORE 10824.007
AT ITER 2467 NEW BEST:: SOT 56005 SOS 47007 HAS SOPS 22789 HAS SOUS 12245 HAS SOUPS 10773 WITH SCORE 10820.007
AT ITER 2473 NEW BEST:: SOT 55991 SOS 46993 HAS SOPS 22761 HAS SOUS 12224 HAS SOUPS 10752 WITH SCORE 10798.993
AT ITER 2477 NEW BEST:: SOT 55983 SOS 46985 HAS SOPS 22749 HAS SOUS 12212 HAS SOUPS 10740 WITH SCORE 10786.985
AT ITER 2501 NEW BEST:: SOT 55977 SOS 46979 HAS SOPS 22740 HAS SOUS 12211 HAS SOUPS 10739 WITH SCORE 10785.979
AT ITER 2516 NEW BEST:: SOT 55959 SOS 46961 HAS SOPS 22713 HAS SOUS 12193 HAS SOUPS 10721 WITH SCORE 10767.961
AT ITER 2525 NEW BEST:: SOT 55921 SOS 46923 HAS SOPS 22656 HAS SOUS 12127 HAS SOUPS 10655 WITH SCORE 10701.923
AT ITER 2550 NEW BEST:: SOT 55909 SOS 46911 HAS SOPS 22638 HAS SOUS 12109 HAS SOUPS 10637 WITH SCORE 10683.911
AT ITER 2561 NEW BEST:: SOT 55889 SOS 46891 HAS SOPS 22608 HAS SOUS 12107 HAS SOUPS 10635 WITH SCORE 10681.891
AT ITER 2589 NEW BEST:: SOT 55907 SOS 46909 HAS SOPS 22599 HAS SOUS 12104 HAS SOUPS 10629 WITH SCORE 10675.909
AT ITER 2616 NEW BEST:: SOT 55887 SOS 46889 HAS SOPS 22569 HAS SOUS 12064 HAS SOUPS 10589 WITH SCORE 10635.889
AT ITER 2617 NEW BEST:: SOT 55881 SOS 46883 HAS SOPS 22568 HAS SOUS 12055 HAS SOUPS 10580 WITH SCORE 10626.883
AT ITER 2626 NEW BEST:: SOT 55843 SOS 46845 HAS SOPS 22511 HAS SOUS 11991 HAS SOUPS 10516 WITH SCORE 10562.845
AT ITER 2638 NEW BEST:: SOT 55835 SOS 46837 HAS SOPS 22515 HAS SOUS 11991 HAS SOUPS 10516 WITH SCORE 10562.837
AT ITER 2686 NEW BEST:: SOT 55771 SOS 46902 HAS SOPS 22567 HAS SOUS 11967 HAS SOUPS 10492 WITH SCORE 10538.902
AT ITER 2705 NEW BEST:: SOT 55769 SOS 46900 HAS SOPS 22563 HAS SOUS 11963 HAS SOUPS 10488 WITH SCORE 10534.9
AT ITER 2716 NEW BEST:: SOT 55781 SOS 46912 HAS SOPS 22498 HAS SOUS 11881 HAS SOUPS 10406 WITH SCORE 10452.912
AT ITER 2729 NEW BEST:: SOT 55781 SOS 46912 HAS SOPS 22498 HAS SOUS 11871 HAS SOUPS 10396 WITH SCORE 10442.912
AT ITER 2733 NEW BEST:: SOT 55739 SOS 46870 HAS SOPS 22435 HAS SOUS 11790 HAS SOUPS 10315 WITH SCORE 10361.87
AT ITER 2783 NEW BEST:: SOT 55773 SOS 46904 HAS SOPS 22397 HAS SOUS 11770 HAS SOUPS 10295 WITH SCORE 10341.904
AT ITER 2793 NEW BEST:: SOT 55760 SOS 46878 HAS SOPS 22371 HAS SOUS 11757 HAS SOUPS 10282 WITH SCORE 10328.878
AT ITER 2803 NEW BEST:: SOT 55746 SOS 46864 HAS SOPS 22386 HAS SOUS 11718 HAS SOUPS 10243 WITH SCORE 10289.864
AT ITER 2823 NEW BEST:: SOT 55740 SOS 46858 HAS SOPS 22377 HAS SOUS 11706 HAS SOUPS 10231 WITH SCORE 10277.858
AT ITER 2875 NEW BEST:: SOT 55722 SOS 46840 HAS SOPS 22365 HAS SOUS 11684 HAS SOUPS 10214 WITH SCORE 10260.84
AT ITER 2915 NEW BEST:: SOT 55628 SOS 47336 HAS SOPS 22477 HAS SOUS 11674 HAS SOUPS 10192 WITH SCORE 10239.336
AT ITER 2923 NEW BEST:: SOT 55618 SOS 47326 HAS SOPS 22437 HAS SOUS 11648 HAS SOUPS 10166 WITH SCORE 10213.326
AT ITER 2992 NEW BEST:: SOT 55608 SOS 47316 HAS SOPS 22411 HAS SOUS 11611 HAS SOUPS 10129 WITH SCORE 10176.316
AT ITER 3014 NEW BEST:: SOT 55606 SOS 47314 HAS SOPS 22408 HAS SOUS 11608 HAS SOUPS 10126 WITH SCORE 10173.314
AT ITER 3029 NEW BEST:: SOT 55578 SOS 47286 HAS SOPS 22387 HAS SOUS 11587 HAS SOUPS 10105 WITH SCORE 10152.286
AT ITER 3074 NEW BEST:: SOT 55570 SOS 47278 HAS SOPS 22375 HAS SOUS 11575 HAS SOUPS 10093 WITH SCORE 10140.278
AT ITER 3111 NEW BEST:: SOT 55571 SOS 47258 HAS SOPS 22363 HAS SOUS 11561 HAS SOUPS 10087 WITH SCORE 10134.258
AT ITER 3137 NEW BEST:: SOT 55575 SOS 47212 HAS SOPS 22348 HAS SOUS 11557 HAS SOUPS 10084 WITH SCORE 10131.212
AT ITER 3206 NEW BEST:: SOT 55536 SOS 47185 HAS SOPS 22343 HAS SOUS 11543 HAS SOUPS 10070 WITH SCORE 10117.185
AT ITER 3212 NEW BEST:: SOT 55540 SOS 47189 HAS SOPS 22351 HAS SOUS 11540 HAS SOUPS 10067 WITH SCORE 10114.189
AT ITER 3238 NEW BEST:: SOT 55524 SOS 47173 HAS SOPS 22319 HAS SOUS 11516 HAS SOUPS 10043 WITH SCORE 10090.173
AT ITER 3265 NEW BEST:: SOT 55504 SOS 47153 HAS SOPS 22289 HAS SOUS 11458 HAS SOUPS 9985 WITH SCORE 10032.153
AT ITER 3297 NEW BEST:: SOT 55504 SOS 47153 HAS SOPS 22289 HAS SOUS 11457 HAS SOUPS 9984 WITH SCORE 10031.153
AT ITER 3300 NEW BEST:: SOT 55498 SOS 47147 HAS SOPS 22283 HAS SOUS 11454 HAS SOUPS 9981 WITH SCORE 10028.147
AT ITER 3307 NEW BEST:: SOT 55472 SOS 47121 HAS SOPS 22244 HAS SOUS 11388 HAS SOUPS 9915 WITH SCORE 9962.121
AT ITER 3310 NEW BEST:: SOT 55470 SOS 47119 HAS SOPS 22240 HAS SOUS 11385 HAS SOUPS 9912 WITH SCORE 9959.119
AT ITER 3319 NEW BEST:: SOT 55470 SOS 47119 HAS SOPS 22240 HAS SOUS 11365 HAS SOUPS 9892 WITH SCORE 9939.119
AT ITER 3325 NEW BEST:: SOT 55466 SOS 47115 HAS SOPS 22234 HAS SOUS 11359 HAS SOUPS 9886 WITH SCORE 9933.115
AT ITER 3334 NEW BEST:: SOT 55454 SOS 47113 HAS SOPS 22220 HAS SOUS 11357 HAS SOUPS 9884 WITH SCORE 9931.113
AT ITER 3338 NEW BEST:: SOT 55329 SOS 48126 HAS SOPS 22492 HAS SOUS 11365 HAS SOUPS 9867 WITH SCORE 9915.126
AT ITER 3343 NEW BEST:: SOT 55363 SOS 48160 HAS SOPS 22455 HAS SOUS 11346 HAS SOUPS 9848 WITH SCORE 9896.16
AT ITER 3354 NEW BEST:: SOT 55357 SOS 48154 HAS SOPS 22446 HAS SOUS 11343 HAS SOUPS 9845 WITH SCORE 9893.154
AT ITER 3363 NEW BEST:: SOT 55373 SOS 48170 HAS SOPS 22446 HAS SOUS 11335 HAS SOUPS 9837 WITH SCORE 9885.17
AT ITER 3381 NEW BEST:: SOT 55321 SOS 48118 HAS SOPS 22405 HAS SOUS 11293 HAS SOUPS 9795 WITH SCORE 9843.118
AT ITER 3406 NEW BEST:: SOT 55321 SOS 48118 HAS SOPS 22377 HAS SOUS 11268 HAS SOUPS 9770 WITH SCORE 9818.118
AT ITER 3407 NEW BEST:: SOT 55320 SOS 48134 HAS SOPS 22393 HAS SOUS 11267 HAS SOUPS 9769 WITH SCORE 9817.134
AT ITER 3411 NEW BEST:: SOT 55316 SOS 48130 HAS SOPS 22379 HAS SOUS 11259 HAS SOUPS 9761 WITH SCORE 9809.13
AT ITER 3424 NEW BEST:: SOT 55284 SOS 48098 HAS SOPS 22331 HAS SOUS 11199 HAS SOUPS 9701 WITH SCORE 9749.098
AT ITER 3429 NEW BEST:: SOT 55280 SOS 48094 HAS SOPS 22323 HAS SOUS 11193 HAS SOUPS 9695 WITH SCORE 9743.094
AT ITER 3463 NEW BEST:: SOT 55272 SOS 48086 HAS SOPS 22311 HAS SOUS 11163 HAS SOUPS 9665 WITH SCORE 9713.086
AT ITER 3499 NEW BEST:: SOT 55222 SOS 48036 HAS SOPS 22236 HAS SOUS 11069 HAS SOUPS 9571 WITH SCORE 9619.036
AT ITER 3520 NEW BEST:: SOT 55176 SOS 47990 HAS SOPS 22224 HAS SOUS 11048 HAS SOUPS 9550 WITH SCORE 9597.99
AT ITER 3525 NEW BEST:: SOT 55158 SOS 47972 HAS SOPS 22197 HAS SOUS 11021 HAS SOUPS 9523 WITH SCORE 9570.972
AT ITER 3549 NEW BEST:: SOT 55170 SOS 47984 HAS SOPS 22215 HAS SOUS 10931 HAS SOUPS 9433 WITH SCORE 9480.984
AT ITER 3552 NEW BEST:: SOT 55170 SOS 47984 HAS SOPS 22215 HAS SOUS 10928 HAS SOUPS 9430 WITH SCORE 9477.984
AT ITER 3555 NEW BEST:: SOT 55180 SOS 47994 HAS SOPS 22190 HAS SOUS 10900 HAS SOUPS 9402 WITH SCORE 9449.994
AT ITER 3604 NEW BEST:: SOT 55156 SOS 47970 HAS SOPS 22154 HAS SOUS 10864 HAS SOUPS 9366 WITH SCORE 9413.97
AT ITER 3628 NEW BEST:: SOT 55205 SOS 47464 HAS SOPS 21961 HAS SOUS 10848 HAS SOUPS 9360 WITH SCORE 9407.464
AT ITER 3648 NEW BEST:: SOT 55203 SOS 47462 HAS SOPS 21942 HAS SOUS 10852 HAS SOUPS 9355 WITH SCORE 9402.462
AT ITER 3682 NEW BEST:: SOT 55175 SOS 47434 HAS SOPS 21928 HAS SOUS 10831 HAS SOUPS 9334 WITH SCORE 9381.434
AT ITER 3716 NEW BEST:: SOT 55167 SOS 47426 HAS SOPS 21916 HAS SOUS 10811 HAS SOUPS 9314 WITH SCORE 9361.426
AT ITER 3718 NEW BEST:: SOT 55121 SOS 47380 HAS SOPS 21847 HAS SOUS 10719 HAS SOUPS 9222 WITH SCORE 9269.38
AT ITER 3757 NEW BEST:: SOT 55083 SOS 47342 HAS SOPS 21803 HAS SOUS 10716 HAS SOUPS 9219 WITH SCORE 9266.342
AT ITER 3767 NEW BEST:: SOT 55083 SOS 47342 HAS SOPS 21803 HAS SOUS 10713 HAS SOUPS 9216 WITH SCORE 9263.342
AT ITER 3779 NEW BEST:: SOT 55083 SOS 47342 HAS SOPS 21803 HAS SOUS 10697 HAS SOUPS 9200 WITH SCORE 9247.342
AT ITER 3817 NEW BEST:: SOT 55061 SOS 47320 HAS SOPS 21770 HAS SOUS 10653 HAS SOUPS 9156 WITH SCORE 9203.32
AT ITER 3820 NEW BEST:: SOT 55033 SOS 47292 HAS SOPS 21698 HAS SOUS 10610 HAS SOUPS 9113 WITH SCORE 9160.292
AT ITER 3836 NEW BEST:: SOT 55017 SOS 47276 HAS SOPS 21691 HAS SOUS 10571 HAS SOUPS 9074 WITH SCORE 9121.276
AT ITER 3852 NEW BEST:: SOT 55009 SOS 47268 HAS SOPS 21679 HAS SOUS 10559 HAS SOUPS 9062 WITH SCORE 9109.268
AT ITER 3939 NEW BEST:: SOT 55007 SOS 47266 HAS SOPS 21676 HAS SOUS 10556 HAS SOUPS 9059 WITH SCORE 9106.266
AT ITER 3940 NEW BEST:: SOT 55007 SOS 47266 HAS SOPS 21664 HAS SOUS 10547 HAS SOUPS 9050 WITH SCORE 9097.266
AT ITER 3964 NEW BEST:: SOT 54987 SOS 47246 HAS SOPS 21634 HAS SOUS 10515 HAS SOUPS 9018 WITH SCORE 9065.246
AT ITER 3974 NEW BEST:: SOT 54983 SOS 47242 HAS SOPS 21628 HAS SOUS 10506 HAS SOUPS 9009 WITH SCORE 9056.242
AT ITER 3977 NEW BEST:: SOT 54979 SOS 47238 HAS SOPS 21620 HAS SOUS 10501 HAS SOUPS 9004 WITH SCORE 9051.238
AT ITER 3998 NEW BEST:: SOT 54977 SOS 47236 HAS SOPS 21617 HAS SOUS 10498 HAS SOUPS 9001 WITH SCORE 9048.236
AT ITER 4019 NEW BEST:: SOT 54976 SOS 47219 HAS SOPS 21600 HAS SOUS 10493 HAS SOUPS 8996 WITH SCORE 9043.219
AT ITER 4031 NEW BEST:: SOT 54976 SOS 47219 HAS SOPS 21600 HAS SOUS 10488 HAS SOUPS 8991 WITH SCORE 9038.219
AT ITER 4153 NEW BEST:: SOT 54976 SOS 47219 HAS SOPS 21600 HAS SOUS 10482 HAS SOUPS 8985 WITH SCORE 9032.219
AT ITER 4179 NEW BEST:: SOT 54954 SOS 47197 HAS SOPS 21567 HAS SOUS 10451 HAS SOUPS 8954 WITH SCORE 9001.197
AT ITER 4191 NEW BEST:: SOT 54956 SOS 47199 HAS SOPS 21562 HAS SOUS 10448 HAS SOUPS 8951 WITH SCORE 8998.199
AT ITER 4192 NEW BEST:: SOT 54936 SOS 47179 HAS SOPS 21553 HAS SOUS 10439 HAS SOUPS 8942 WITH SCORE 8989.179
AT ITER 4193 NEW BEST:: SOT 54934 SOS 47177 HAS SOPS 21549 HAS SOUS 10436 HAS SOUPS 8939 WITH SCORE 8986.177
AT ITER 4196 NEW BEST:: SOT 54932 SOS 47175 HAS SOPS 21550 HAS SOUS 10436 HAS SOUPS 8939 WITH SCORE 8986.175
AT ITER 4237 NEW BEST:: SOT 54898 SOS 47141 HAS SOPS 21431 HAS SOUS 10317 HAS SOUPS 8820 WITH SCORE 8867.141
AT ITER 4252 NEW BEST:: SOT 54894 SOS 47137 HAS SOPS 21405 HAS SOUS 10293 HAS SOUPS 8796 WITH SCORE 8843.137
AT ITER 4262 NEW BEST:: SOT 54894 SOS 47137 HAS SOPS 21405 HAS SOUS 10292 HAS SOUPS 8795 WITH SCORE 8842.137
AT ITER 4270 NEW BEST:: SOT 54892 SOS 47128 HAS SOPS 21396 HAS SOUS 10283 HAS SOUPS 8786 WITH SCORE 8833.128
AT ITER 4271 NEW BEST:: SOT 54882 SOS 47118 HAS SOPS 21381 HAS SOUS 10263 HAS SOUPS 8766 WITH SCORE 8813.118
AT ITER 4276 NEW BEST:: SOT 54878 SOS 47114 HAS SOPS 21377 HAS SOUS 10262 HAS SOUPS 8765 WITH SCORE 8812.114
AT ITER 4284 NEW BEST:: SOT 54876 SOS 47112 HAS SOPS 21374 HAS SOUS 10254 HAS SOUPS 8757 WITH SCORE 8804.112
AT ITER 4285 NEW BEST:: SOT 54834 SOS 47070 HAS SOPS 21375 HAS SOUS 10251 HAS SOUPS 8754 WITH SCORE 8801.07
AT ITER 4317 NEW BEST:: SOT 54832 SOS 47068 HAS SOPS 21371 HAS SOUS 10247 HAS SOUPS 8750 WITH SCORE 8797.068
AT ITER 4327 NEW BEST:: SOT 54880 SOS 47116 HAS SOPS 21319 HAS SOUS 10226 HAS SOUPS 8729 WITH SCORE 8776.116
AT ITER 4360 NEW BEST:: SOT 54880 SOS 47116 HAS SOPS 21319 HAS SOUS 10223 HAS SOUPS 8726 WITH SCORE 8773.116
AT ITER 4389 NEW BEST:: SOT 54868 SOS 47104 HAS SOPS 21301 HAS SOUS 10205 HAS SOUPS 8708 WITH SCORE 8755.104
AT ITER 4403 NEW BEST:: SOT 54890 SOS 47126 HAS SOPS 21258 HAS SOUS 10206 HAS SOUPS 8700 WITH SCORE 8747.126
AT ITER 4465 NEW BEST:: SOT 54866 SOS 47102 HAS SOPS 21222 HAS SOUS 10150 HAS SOUPS 8644 WITH SCORE 8691.102
AT ITER 4488 NEW BEST:: SOT 54838 SOS 47074 HAS SOPS 21180 HAS SOUS 10120 HAS SOUPS 8614 WITH SCORE 8661.074
AT ITER 4496 NEW BEST:: SOT 54842 SOS 47022 HAS SOPS 21159 HAS SOUS 10119 HAS SOUPS 8613 WITH SCORE 8660.022
AT ITER 4499 NEW BEST:: SOT 54842 SOS 47022 HAS SOPS 21159 HAS SOUS 10097 HAS SOUPS 8591 WITH SCORE 8638.022
AT ITER 4528 NEW BEST:: SOT 54834 SOS 47014 HAS SOPS 21143 HAS SOUS 10087 HAS SOUPS 8581 WITH SCORE 8628.014
AT ITER 4567 NEW BEST:: SOT 54800 SOS 46980 HAS SOPS 21018 HAS SOUS 10052 HAS SOUPS 8529 WITH SCORE 8575.98
AT ITER 4596 NEW BEST:: SOT 54800 SOS 46980 HAS SOPS 21018 HAS SOUS 10051 HAS SOUPS 8528 WITH SCORE 8574.98
AT ITER 4662 NEW BEST:: SOT 54800 SOS 46980 HAS SOPS 21018 HAS SOUS 10047 HAS SOUPS 8524 WITH SCORE 8570.98
AT ITER 4676 NEW BEST:: SOT 54799 SOS 46977 HAS SOPS 21015 HAS SOUS 10046 HAS SOUPS 8523 WITH SCORE 8569.977
AT ITER 4705 NEW BEST:: SOT 54799 SOS 46977 HAS SOPS 21015 HAS SOUS 10043 HAS SOUPS 8520 WITH SCORE 8566.977
AT ITER 4718 NEW BEST:: SOT 54689 SOS 46867 HAS SOPS 20964 HAS SOUS 9992 HAS SOUPS 8469 WITH SCORE 8515.867
AT ITER 4725 NEW BEST:: SOT 54683 SOS 46861 HAS SOPS 20955 HAS SOUS 9983 HAS SOUPS 8460 WITH SCORE 8506.861
AT ITER 4749 NEW BEST:: SOT 54683 SOS 46861 HAS SOPS 20955 HAS SOUS 9982 HAS SOUPS 8459 WITH SCORE 8505.861
AT ITER 4751 NEW BEST:: SOT 54675 SOS 46853 HAS SOPS 20943 HAS SOUS 9964 HAS SOUPS 8441 WITH SCORE 8487.853
AT ITER 4766 NEW BEST:: SOT 54675 SOS 46853 HAS SOPS 20943 HAS SOUS 9962 HAS SOUPS 8439 WITH SCORE 8485.853
AT ITER 4840 NEW BEST:: SOT 54641 SOS 46819 HAS SOPS 20875 HAS SOUS 9911 HAS SOUPS 8388 WITH SCORE 8434.819
AT ITER 4894 NEW BEST:: SOT 54637 SOS 46815 HAS SOPS 20869 HAS SOUS 9905 HAS SOUPS 8382 WITH SCORE 8428.815
AT ITER 4901 NEW BEST:: SOT 54637 SOS 46815 HAS SOPS 20861 HAS SOUS 9897 HAS SOUPS 8374 WITH SCORE 8420.815
AT ITER 4943 NEW BEST:: SOT 54637 SOS 46815 HAS SOPS 20861 HAS SOUS 9888 HAS SOUPS 8365 WITH SCORE 8411.815
AT ITER 4969 NEW BEST:: SOT 54631 SOS 46809 HAS SOPS 20852 HAS SOUS 9879 HAS SOUPS 8356 WITH SCORE 8402.809
AT ITER 4984 NEW BEST:: SOT 54631 SOS 46809 HAS SOPS 20852 HAS SOUS 9871 HAS SOUPS 8348 WITH SCORE 8394.809
AT ITER 4994 NEW BEST:: SOT 54629 SOS 46807 HAS SOPS 20849 HAS SOUS 9868 HAS SOUPS 8345 WITH SCORE 8391.807
Bounds file is: CTLFireability.xml
PROPERTY: Raft-PT-07-CTLFireability-00 (AG( (EF( ( ( ((potential((tk(P216)>=1) & (tk(P11)>=1)))) | ((potential((tk(P236)>=1) & (tk(P202)>=1)))) ) | ( ((potential((tk(P241)>=1) & (tk(P112)>=1)))) & ((potential((tk(P231)>=1) & (tk(P111)>=1)))) ) )))))
PROPERTY: Raft-PT-07-CTLFireability-01 (AG( (EF( ( ((potential((tk(P231)>=1) & (tk(P13)>=1)))) & ( ((potential((tk(P231)>=1) & (tk(P101)>=1)))) & ((potential((tk(P241)>=1) & (tk(P176)>=1)))) ) )))))
PROPERTY: Raft-PT-07-CTLFireability-02 ( ( ( ((potential((tk(P221)>=1) & (tk(P36)>=1)))) & ( ((potential((tk(P216)>=1) & (tk(P64)>=1)))) | ((potential((tk(P241)>=1) & (tk(P53)>=1)))) ) ) & ( (AX( (! ((potential((tk(P226)>=1) & (tk(P192)>=1))))))) & ((potential((tk(P226)>=1) & (tk(P162)>=1)))) ) ) | (EF( (AG( ( ((potential((tk(P246)>=1) & (tk(P206)>=1)))) & ((potential((tk(P221)>=1) & (tk(P100)>=1)))) ))))) )
PROPERTY: Raft-PT-07-CTLFireability-03 (AF( ( (EG( ((potential((tk(P231)>=1) & (tk(P73)>=1)))))) | (EF( ( ((potential((tk(P220)>=1)))) & ((potential((tk(P218)>=1)))) ))) )))
PROPERTY: Raft-PT-07-CTLFireability-04 (EF( (EU( (! ((potential((tk(P231)>=1) & (tk(P72)>=1))))) , ( ((potential((tk(P236)>=1) & (tk(P107)>=1)))) & ((potential((tk(P239)>=1)))) ) ))))
PROPERTY: Raft-PT-07-CTLFireability-05 (EU( (EF( (! ((potential((tk(P231)>=1) & (tk(P137)>=1))))))) , ( ((potential((tk(P239)>=1)))) & (! (! ((potential((tk(P221)>=1)))))) ) ))
PROPERTY: Raft-PT-07-CTLFireability-06 ( (EF( (AX( (! ((potential((tk(P216)>=1) & (tk(P6)>=1))))))))) | ((potential((tk(P221)>=1) & (tk(P61)>=1)))) )
PROPERTY: Raft-PT-07-CTLFireability-07 (AG( (EG( (! ( ((potential((tk(P244)>=1)))) & ((potential((tk(P241)>=1) & (tk(P210)>=1)))) ))))))
PROPERTY: Raft-PT-07-CTLFireability-08 (AG( ( (EF( (! ((potential((tk(P231)>=1))))))) | ( (EX( ((potential((tk(P236)>=1) & (tk(P17)>=1)))))) & ( ( ((potential((tk(P236)>=1) & (tk(P131)>=1)))) & ((potential((tk(P226)>=1) & (tk(P81)>=1)))) ) & (! ((potential((tk(P216)>=1) & (tk(P31)>=1))))) ) ) )))
PROPERTY: Raft-PT-07-CTLFireability-09 ( ( ((potential((tk(P221)>=1) & (tk(P128)>=1)))) & ( (! ( (! ((potential((tk(P221)>=1) & (tk(P247)>=1))))) | (! ((potential((tk(P221)>=1) & (tk(P188)>=1))))) )) | ( (AX( ((potential((tk(P213)>=1)))))) | ((potential((tk(P221)>=1) & (tk(P160)>=1)))) ) ) ) | ( (AG( ( ( ((potential((tk(P216)>=1) & (tk(P64)>=1)))) | ((potential((tk(P236)>=1) & (tk(P110)>=1)))) ) | (! ((potential((tk(P241)>=1))))) ))) | (EF( (! ( ((potential((tk(P236)>=1) & (tk(P146)>=1)))) & ((potential((tk(P241)>=1) & (tk(P249)>=1)))) )))) ) )
PROPERTY: Raft-PT-07-CTLFireability-10 (EU( ( (AX( ((potential((tk(P226)>=1) & (tk(P71)>=1)))))) | ((potential((tk(P241)>=1) & (tk(P113)>=1)))) ) , ( ( (! ((potential((tk(P226)>=1) & (tk(P91)>=1))))) | ( ((potential((tk(P236)>=1) & (tk(P136)>=1)))) | ((potential((tk(P243)>=1)))) ) ) & (! (! ((potential((tk(P241)>=1) & (tk(P83)>=1)))))) ) ))
PROPERTY: Raft-PT-07-CTLFireability-11 (EX( ( ((potential((tk(P246)>=1) & (tk(P211)>=1)))) | ((potential((tk(P236)>=1) & (tk(P146)>=1)))) )))
PROPERTY: Raft-PT-07-CTLFireability-12 ( ( (EX( (AG( ((potential((tk(P226)>=1) & (tk(P162)>=1)))))))) & ( ((potential((tk(P221)>=1) & (tk(P41)>=1)))) & ( (EX( ((potential((tk(P245)>=1)))))) & ( ( ((potential((tk(P221)>=1) & (tk(P100)>=1)))) | ((potential((tk(P216)>=1) & (tk(P31)>=1)))) ) & ( ((potential((tk(P241)>=1) & (tk(P207)>=1)))) & ((potential((tk(P212)>=1)))) ) ) ) ) ) | ( ( ((potential((tk(P216)>=1) & (tk(P26)>=1)))) | (AG( ( ((potential((tk(P221)>=1) & (tk(P189)>=1)))) | ((potential((tk(P216)>=1)))) ))) ) | ( ((potential((tk(P241)>=1) & (tk(P176)>=1)))) | ( ( ( ((potential((tk(P232)>=1)))) | ((potential((tk(P246)>=1) & (tk(P59)>=1)))) ) | ( ((potential((tk(P231)>=1) & (tk(P96)>=1)))) & ((potential((tk(P221)>=1) & (tk(P61)>=1)))) ) ) | (! ((potential((tk(P241)>=1) & (tk(P176)>=1))))) ) ) ) )
PROPERTY: Raft-PT-07-CTLFireability-13 ( ( (AX( ((potential((tk(P234)>=1) & (tk(P253)>=1)))))) | (! ((potential((tk(P231)>=1) & (tk(P14)>=1))))) ) & ( (! (AX( (! ((potential((tk(P216)>=1) & (tk(P155)>=1)))))))) | (EG( (! ((potential((tk(P216)>=1) & (tk(P124)>=1))))))) ) )
PROPERTY: Raft-PT-07-CTLFireability-14 ( ( ( ( (! ((potential((tk(P246)>=1) & (tk(P206)>=1))))) & (EF( ((potential((tk(P241)>=1) & (tk(P207)>=1)))))) ) & ( ((potential((tk(P221)>=1) & (tk(P130)>=1)))) & ((potential((tk(P231)>=1) & (tk(P106)>=1)))) ) ) & (AF( ((potential((tk(P244)>=1)))))) ) & (EG( ((potential((tk(P221)>=1) & (tk(P159)>=1)))))) )
PROPERTY: Raft-PT-07-CTLFireability-15 (EU( ( (EG( ((potential((tk(P224)>=1)))))) & (AX( ((potential((tk(P241)>=1) & (tk(P142)>=1)))))) ) , (AF( ((potential((tk(P231)>=1) & (tk(P247)>=1)))))) ))

BK_STOP 1589803122954

--------------------
content from stderr:

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 479 Aborted ${SMART} ${INPUT_SM}

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="Raft-PT-07"
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 Raft-PT-07, 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 r138-smll-158961502600260"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-07.tgz
mv Raft-PT-07 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 ;