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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 3.5K May 14 01:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 18:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 18:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 13:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 13:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 08:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 08:03 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 53K 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 ShieldIIPt-PT-010A-CTLFireability-00
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-01
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-02
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-03
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-04
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-05
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-06
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-07
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-08
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-09
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-10
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-11
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-12
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-13
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-14
FORMULA_NAME ShieldIIPt-PT-010A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590439229142

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

GOT IT HERE. BS
Petri model created: 193 places, 143 transitions, 606 arcs.
AT ITER 0 NEW BEST:: SOT 22038 SOS 18581 HAS SOPS 18581 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16342.581
AT ITER 1 NEW BEST:: SOT 22038 SOS 18542 HAS SOPS 18542 HAS SOUS 16314 HAS SOUPS 16314 WITH SCORE 16332.542
AT ITER 2 NEW BEST:: SOT 21980 SOS 18487 HAS SOPS 18487 HAS SOUS 16257 HAS SOUPS 16257 WITH SCORE 16275.487
AT ITER 3 NEW BEST:: SOT 21951 SOS 18458 HAS SOPS 18458 HAS SOUS 16228 HAS SOUPS 16228 WITH SCORE 16246.458
AT ITER 4 NEW BEST:: SOT 21951 SOS 18398 HAS SOPS 18398 HAS SOUS 16208 HAS SOUPS 16208 WITH SCORE 16226.398
AT ITER 6 NEW BEST:: SOT 21951 SOS 18311 HAS SOPS 18311 HAS SOUS 16190 HAS SOUPS 16190 WITH SCORE 16208.311
AT ITER 7 NEW BEST:: SOT 21951 SOS 18290 HAS SOPS 18290 HAS SOUS 16190 HAS SOUPS 16190 WITH SCORE 16208.29
AT ITER 8 NEW BEST:: SOT 21876 SOS 18072 HAS SOPS 18072 HAS SOUS 15989 HAS SOUPS 15989 WITH SCORE 16007.072
AT ITER 9 NEW BEST:: SOT 21876 SOS 17959 HAS SOPS 17959 HAS SOUS 15889 HAS SOUPS 15889 WITH SCORE 15906.959
AT ITER 10 NEW BEST:: SOT 21782 SOS 17885 HAS SOPS 17885 HAS SOUS 15778 HAS SOUPS 15778 WITH SCORE 15795.885
AT ITER 11 NEW BEST:: SOT 21726 SOS 17829 HAS SOPS 17829 HAS SOUS 15694 HAS SOUPS 15694 WITH SCORE 15711.829
AT ITER 12 NEW BEST:: SOT 21753 SOS 17836 HAS SOPS 17836 HAS SOUS 15680 HAS SOUPS 15680 WITH SCORE 15697.836
AT ITER 14 NEW BEST:: SOT 21701 SOS 17782 HAS SOPS 17782 HAS SOUS 15626 HAS SOUPS 15626 WITH SCORE 15643.782
AT ITER 15 NEW BEST:: SOT 21701 SOS 17703 HAS SOPS 17703 HAS SOUS 15599 HAS SOUPS 15599 WITH SCORE 15616.703
AT ITER 16 NEW BEST:: SOT 21599 SOS 17601 HAS SOPS 17601 HAS SOUS 15493 HAS SOUPS 15493 WITH SCORE 15510.601
AT ITER 17 NEW BEST:: SOT 21498 SOS 17500 HAS SOPS 17500 HAS SOUS 15342 HAS SOUPS 15342 WITH SCORE 15359.5
AT ITER 18 NEW BEST:: SOT 21442 SOS 17444 HAS SOPS 17444 HAS SOUS 15245 HAS SOUPS 15245 WITH SCORE 15262.444
AT ITER 19 NEW BEST:: SOT 21442 SOS 17382 HAS SOPS 17382 HAS SOUS 15148 HAS SOUPS 15148 WITH SCORE 15165.382
AT ITER 20 NEW BEST:: SOT 21478 SOS 17202 HAS SOPS 17202 HAS SOUS 15130 HAS SOUPS 15130 WITH SCORE 15147.202
AT ITER 25 NEW BEST:: SOT 21411 SOS 17135 HAS SOPS 17135 HAS SOUS 15061 HAS SOUPS 15061 WITH SCORE 15078.135
AT ITER 26 NEW BEST:: SOT 21278 SOS 16906 HAS SOPS 16906 HAS SOUS 14800 HAS SOUPS 14800 WITH SCORE 14816.906
AT ITER 28 NEW BEST:: SOT 21493 SOS 16786 HAS SOPS 16786 HAS SOUS 14775 HAS SOUPS 14775 WITH SCORE 14791.786
AT ITER 29 NEW BEST:: SOT 21451 SOS 16730 HAS SOPS 16730 HAS SOUS 14719 HAS SOUPS 14719 WITH SCORE 14735.73
AT ITER 30 NEW BEST:: SOT 21451 SOS 16690 HAS SOPS 16690 HAS SOUS 14717 HAS SOUPS 14717 WITH SCORE 14733.69
AT ITER 33 NEW BEST:: SOT 21451 SOS 16691 HAS SOPS 16691 HAS SOUS 14716 HAS SOUPS 14716 WITH SCORE 14732.691
AT ITER 34 NEW BEST:: SOT 21451 SOS 16547 HAS SOPS 16547 HAS SOUS 14645 HAS SOUPS 14645 WITH SCORE 14661.547
AT ITER 35 NEW BEST:: SOT 21362 SOS 16458 HAS SOPS 16458 HAS SOUS 14523 HAS SOUPS 14523 WITH SCORE 14539.458
AT ITER 36 NEW BEST:: SOT 21362 SOS 16372 HAS SOPS 16372 HAS SOUS 14479 HAS SOUPS 14479 WITH SCORE 14495.372
AT ITER 37 NEW BEST:: SOT 21362 SOS 16372 HAS SOPS 16372 HAS SOUS 14476 HAS SOUPS 14476 WITH SCORE 14492.372
AT ITER 38 NEW BEST:: SOT 21329 SOS 16339 HAS SOPS 16339 HAS SOUS 14443 HAS SOUPS 14443 WITH SCORE 14459.339
AT ITER 39 NEW BEST:: SOT 21244 SOS 16148 HAS SOPS 16148 HAS SOUS 14305 HAS SOUPS 14305 WITH SCORE 14321.148
AT ITER 43 NEW BEST:: SOT 21244 SOS 16146 HAS SOPS 16146 HAS SOUS 14241 HAS SOUPS 14241 WITH SCORE 14257.146
AT ITER 45 NEW BEST:: SOT 21227 SOS 16143 HAS SOPS 16143 HAS SOUS 14223 HAS SOUPS 14223 WITH SCORE 14239.143
AT ITER 49 NEW BEST:: SOT 21077 SOS 15662 HAS SOPS 15662 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 13973.662
AT ITER 50 NEW BEST:: SOT 20969 SOS 15552 HAS SOPS 15552 HAS SOUS 13858 HAS SOUPS 13858 WITH SCORE 13873.552
AT ITER 51 NEW BEST:: SOT 20926 SOS 15565 HAS SOPS 15565 HAS SOUS 13856 HAS SOUPS 13856 WITH SCORE 13871.565
AT ITER 52 NEW BEST:: SOT 20926 SOS 15555 HAS SOPS 15555 HAS SOUS 13839 HAS SOUPS 13839 WITH SCORE 13854.555
AT ITER 56 NEW BEST:: SOT 20912 SOS 15541 HAS SOPS 15541 HAS SOUS 13825 HAS SOUPS 13825 WITH SCORE 13840.541
AT ITER 57 NEW BEST:: SOT 20833 SOS 15462 HAS SOPS 15462 HAS SOUS 13746 HAS SOUPS 13746 WITH SCORE 13761.462
AT ITER 58 NEW BEST:: SOT 20824 SOS 15453 HAS SOPS 15453 HAS SOUS 13736 HAS SOUPS 13736 WITH SCORE 13751.453
AT ITER 60 NEW BEST:: SOT 20799 SOS 15467 HAS SOPS 15467 HAS SOUS 13729 HAS SOUPS 13729 WITH SCORE 13744.467
AT ITER 62 NEW BEST:: SOT 20797 SOS 15401 HAS SOPS 15401 HAS SOUS 13688 HAS SOUPS 13688 WITH SCORE 13703.401
AT ITER 63 NEW BEST:: SOT 20770 SOS 15121 HAS SOPS 15121 HAS SOUS 13467 HAS SOUPS 13467 WITH SCORE 13482.121
AT ITER 68 NEW BEST:: SOT 20715 SOS 15034 HAS SOPS 15034 HAS SOUS 13379 HAS SOUPS 13379 WITH SCORE 13394.034
AT ITER 73 NEW BEST:: SOT 20672 SOS 14991 HAS SOPS 14991 HAS SOUS 13272 HAS SOUPS 13272 WITH SCORE 13286.991
AT ITER 77 NEW BEST:: SOT 20630 SOS 14872 HAS SOPS 14872 HAS SOUS 13248 HAS SOUPS 13248 WITH SCORE 13262.872
AT ITER 81 NEW BEST:: SOT 20573 SOS 14760 HAS SOPS 14760 HAS SOUS 13136 HAS SOUPS 13136 WITH SCORE 13150.76
AT ITER 82 NEW BEST:: SOT 20556 SOS 14743 HAS SOPS 14743 HAS SOUS 13119 HAS SOUPS 13119 WITH SCORE 13133.743
AT ITER 84 NEW BEST:: SOT 20556 SOS 14477 HAS SOPS 14477 HAS SOUS 13036 HAS SOUPS 13036 WITH SCORE 13050.477
AT ITER 86 NEW BEST:: SOT 20556 SOS 14494 HAS SOPS 14494 HAS SOUS 13025 HAS SOUPS 13025 WITH SCORE 13039.494
AT ITER 87 NEW BEST:: SOT 20555 SOS 14493 HAS SOPS 14493 HAS SOUS 13024 HAS SOUPS 13024 WITH SCORE 13038.493
AT ITER 88 NEW BEST:: SOT 20478 SOS 14372 HAS SOPS 14372 HAS SOUS 12903 HAS SOUPS 12903 WITH SCORE 12917.372
AT ITER 89 NEW BEST:: SOT 20372 SOS 14266 HAS SOPS 14266 HAS SOUS 12761 HAS SOUPS 12761 WITH SCORE 12775.266
AT ITER 90 NEW BEST:: SOT 20449 SOS 14203 HAS SOPS 14203 HAS SOUS 12729 HAS SOUPS 12729 WITH SCORE 12743.203
AT ITER 91 NEW BEST:: SOT 20449 SOS 14195 HAS SOPS 14195 HAS SOUS 12721 HAS SOUPS 12721 WITH SCORE 12735.195
AT ITER 98 NEW BEST:: SOT 20342 SOS 14039 HAS SOPS 14039 HAS SOUS 12626 HAS SOUPS 12626 WITH SCORE 12640.039
AT ITER 100 NEW BEST:: SOT 20221 SOS 13686 HAS SOPS 13686 HAS SOUS 12387 HAS SOUPS 12387 WITH SCORE 12400.686
AT ITER 101 NEW BEST:: SOT 20200 SOS 13665 HAS SOPS 13665 HAS SOUS 12366 HAS SOUPS 12366 WITH SCORE 12379.665
AT ITER 107 NEW BEST:: SOT 20200 SOS 13659 HAS SOPS 13659 HAS SOUS 12360 HAS SOUPS 12360 WITH SCORE 12373.659
AT ITER 108 NEW BEST:: SOT 20218 SOS 13671 HAS SOPS 13671 HAS SOUS 12354 HAS SOUPS 12354 WITH SCORE 12367.671
AT ITER 113 NEW BEST:: SOT 20207 SOS 13660 HAS SOPS 13660 HAS SOUS 12343 HAS SOUPS 12343 WITH SCORE 12356.66
AT ITER 116 NEW BEST:: SOT 20235 SOS 13580 HAS SOPS 13580 HAS SOUS 12312 HAS SOUPS 12312 WITH SCORE 12325.58
AT ITER 117 NEW BEST:: SOT 20235 SOS 13506 HAS SOPS 13506 HAS SOUS 12266 HAS SOUPS 12266 WITH SCORE 12279.506
AT ITER 118 NEW BEST:: SOT 20229 SOS 13500 HAS SOPS 13500 HAS SOUS 12260 HAS SOUPS 12260 WITH SCORE 12273.5
AT ITER 121 NEW BEST:: SOT 20215 SOS 13485 HAS SOPS 13485 HAS SOUS 12245 HAS SOUPS 12245 WITH SCORE 12258.485
AT ITER 123 NEW BEST:: SOT 20094 SOS 13317 HAS SOPS 13317 HAS SOUS 12108 HAS SOUPS 12108 WITH SCORE 12121.317
AT ITER 127 NEW BEST:: SOT 20094 SOS 13316 HAS SOPS 13316 HAS SOUS 12107 HAS SOUPS 12107 WITH SCORE 12120.316
AT ITER 130 NEW BEST:: SOT 20084 SOS 13306 HAS SOPS 13306 HAS SOUS 12097 HAS SOUPS 12097 WITH SCORE 12110.306
AT ITER 132 NEW BEST:: SOT 20084 SOS 13276 HAS SOPS 13276 HAS SOUS 12075 HAS SOUPS 12075 WITH SCORE 12088.276
AT ITER 133 NEW BEST:: SOT 20027 SOS 13219 HAS SOPS 13219 HAS SOUS 12016 HAS SOUPS 12016 WITH SCORE 12029.219
AT ITER 134 NEW BEST:: SOT 19988 SOS 13162 HAS SOPS 13162 HAS SOUS 11959 HAS SOUPS 11959 WITH SCORE 11972.162
AT ITER 138 NEW BEST:: SOT 19988 SOS 13042 HAS SOPS 13042 HAS SOUS 11919 HAS SOUPS 11919 WITH SCORE 11932.042
AT ITER 139 NEW BEST:: SOT 19926 SOS 12760 HAS SOPS 12760 HAS SOUS 11672 HAS SOUPS 11672 WITH SCORE 11684.76
AT ITER 141 NEW BEST:: SOT 19889 SOS 12801 HAS SOPS 12801 HAS SOUS 11625 HAS SOUPS 11625 WITH SCORE 11637.801
AT ITER 145 NEW BEST:: SOT 19854 SOS 12737 HAS SOPS 12737 HAS SOUS 11561 HAS SOUPS 11561 WITH SCORE 11573.737
AT ITER 150 NEW BEST:: SOT 19802 SOS 12629 HAS SOPS 12629 HAS SOUS 11452 HAS SOUPS 11452 WITH SCORE 11464.629
AT ITER 152 NEW BEST:: SOT 19774 SOS 12601 HAS SOPS 12601 HAS SOUS 11424 HAS SOUPS 11424 WITH SCORE 11436.601
AT ITER 156 NEW BEST:: SOT 19571 SOS 12173 HAS SOPS 12173 HAS SOUS 11067 HAS SOUPS 11067 WITH SCORE 11079.173
AT ITER 161 NEW BEST:: SOT 19565 SOS 12164 HAS SOPS 12164 HAS SOUS 11057 HAS SOUPS 11057 WITH SCORE 11069.164
AT ITER 162 NEW BEST:: SOT 19559 SOS 12155 HAS SOPS 12155 HAS SOUS 11051 HAS SOUPS 11051 WITH SCORE 11063.155
AT ITER 163 NEW BEST:: SOT 19559 SOS 12120 HAS SOPS 12120 HAS SOUS 10981 HAS SOUPS 10981 WITH SCORE 10993.12
AT ITER 165 NEW BEST:: SOT 19453 SOS 11933 HAS SOPS 11933 HAS SOUS 10794 HAS SOUPS 10794 WITH SCORE 10805.933
AT ITER 170 NEW BEST:: SOT 19449 SOS 11893 HAS SOPS 11893 HAS SOUS 10761 HAS SOUPS 10761 WITH SCORE 10772.893
AT ITER 175 NEW BEST:: SOT 19400 SOS 11823 HAS SOPS 11823 HAS SOUS 10755 HAS SOUPS 10755 WITH SCORE 10766.823
AT ITER 176 NEW BEST:: SOT 19381 SOS 11796 HAS SOPS 11796 HAS SOUS 10694 HAS SOUPS 10694 WITH SCORE 10705.796
AT ITER 178 NEW BEST:: SOT 19326 SOS 11478 HAS SOPS 11478 HAS SOUS 10512 HAS SOUPS 10512 WITH SCORE 10523.478
AT ITER 190 NEW BEST:: SOT 19237 SOS 11263 HAS SOPS 11263 HAS SOUS 10327 HAS SOUPS 10327 WITH SCORE 10338.263
AT ITER 191 NEW BEST:: SOT 19215 SOS 11241 HAS SOPS 11241 HAS SOUS 10272 HAS SOUPS 10272 WITH SCORE 10283.241
AT ITER 198 NEW BEST:: SOT 19185 SOS 11211 HAS SOPS 11211 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10202.211
AT ITER 203 NEW BEST:: SOT 19133 SOS 11159 HAS SOPS 11159 HAS SOUS 10139 HAS SOUPS 10139 WITH SCORE 10150.159
AT ITER 213 NEW BEST:: SOT 19098 SOS 11005 HAS SOPS 11005 HAS SOUS 10081 HAS SOUPS 10081 WITH SCORE 10092.005
AT ITER 218 NEW BEST:: SOT 19093 SOS 11000 HAS SOPS 11000 HAS SOUS 10076 HAS SOUPS 10076 WITH SCORE 10087.0
AT ITER 223 NEW BEST:: SOT 19092 SOS 10999 HAS SOPS 10999 HAS SOUS 10075 HAS SOUPS 10075 WITH SCORE 10085.999
AT ITER 228 NEW BEST:: SOT 19080 SOS 10952 HAS SOPS 10952 HAS SOUS 10062 HAS SOUPS 10062 WITH SCORE 10072.952
AT ITER 229 NEW BEST:: SOT 19016 SOS 10888 HAS SOPS 10888 HAS SOUS 9979 HAS SOUPS 9979 WITH SCORE 9989.888
AT ITER 232 NEW BEST:: SOT 19012 SOS 10878 HAS SOPS 10878 HAS SOUS 9969 HAS SOUPS 9969 WITH SCORE 9979.878
AT ITER 234 NEW BEST:: SOT 18998 SOS 10864 HAS SOPS 10864 HAS SOUS 9950 HAS SOUPS 9950 WITH SCORE 9960.864
AT ITER 236 NEW BEST:: SOT 18980 SOS 10806 HAS SOPS 10806 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9907.806
AT ITER 243 NEW BEST:: SOT 18980 SOS 10806 HAS SOPS 10806 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9896.806
AT ITER 244 NEW BEST:: SOT 18980 SOS 10854 HAS SOPS 10854 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9886.854
AT ITER 247 NEW BEST:: SOT 18980 SOS 10791 HAS SOPS 10791 HAS SOUS 9813 HAS SOUPS 9813 WITH SCORE 9823.791
AT ITER 249 NEW BEST:: SOT 18958 SOS 10752 HAS SOPS 10752 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9772.752
AT ITER 253 NEW BEST:: SOT 18924 SOS 10684 HAS SOPS 10684 HAS SOUS 9724 HAS SOUPS 9724 WITH SCORE 9734.684
AT ITER 254 NEW BEST:: SOT 18898 SOS 10658 HAS SOPS 10658 HAS SOUS 9698 HAS SOUPS 9698 WITH SCORE 9708.658
AT ITER 257 NEW BEST:: SOT 18836 SOS 10605 HAS SOPS 10605 HAS SOUS 9697 HAS SOUPS 9697 WITH SCORE 9707.605
AT ITER 260 NEW BEST:: SOT 18826 SOS 10577 HAS SOPS 10577 HAS SOUS 9677 HAS SOUPS 9677 WITH SCORE 9687.577
AT ITER 264 NEW BEST:: SOT 18786 SOS 10537 HAS SOPS 10537 HAS SOUS 9665 HAS SOUPS 9665 WITH SCORE 9675.537
AT ITER 266 NEW BEST:: SOT 18769 SOS 10566 HAS SOPS 10566 HAS SOUS 9652 HAS SOUPS 9652 WITH SCORE 9662.566
AT ITER 279 NEW BEST:: SOT 18769 SOS 10546 HAS SOPS 10546 HAS SOUS 9632 HAS SOUPS 9632 WITH SCORE 9642.546
AT ITER 285 NEW BEST:: SOT 18769 SOS 10541 HAS SOPS 10541 HAS SOUS 9627 HAS SOUPS 9627 WITH SCORE 9637.541
AT ITER 287 NEW BEST:: SOT 18767 SOS 10522 HAS SOPS 10522 HAS SOUS 9608 HAS SOUPS 9608 WITH SCORE 9618.522
AT ITER 288 NEW BEST:: SOT 18707 SOS 10471 HAS SOPS 10471 HAS SOUS 9557 HAS SOUPS 9557 WITH SCORE 9567.471
AT ITER 294 NEW BEST:: SOT 18683 SOS 10442 HAS SOPS 10442 HAS SOUS 9528 HAS SOUPS 9528 WITH SCORE 9538.442
AT ITER 296 NEW BEST:: SOT 18644 SOS 10390 HAS SOPS 10390 HAS SOUS 9476 HAS SOUPS 9476 WITH SCORE 9486.39
AT ITER 302 NEW BEST:: SOT 18621 SOS 10343 HAS SOPS 10343 HAS SOUS 9429 HAS SOUPS 9429 WITH SCORE 9439.343
AT ITER 303 NEW BEST:: SOT 18625 SOS 10302 HAS SOPS 10302 HAS SOUS 9423 HAS SOUPS 9423 WITH SCORE 9433.302
AT ITER 306 NEW BEST:: SOT 18528 SOS 10269 HAS SOPS 10269 HAS SOUS 9374 HAS SOUPS 9374 WITH SCORE 9384.269
AT ITER 311 NEW BEST:: SOT 18487 SOS 10178 HAS SOPS 10178 HAS SOUS 9283 HAS SOUPS 9283 WITH SCORE 9293.178
AT ITER 326 NEW BEST:: SOT 18487 SOS 10178 HAS SOPS 10178 HAS SOUS 9279 HAS SOUPS 9279 WITH SCORE 9289.178
AT ITER 327 NEW BEST:: SOT 18465 SOS 10156 HAS SOPS 10156 HAS SOUS 9224 HAS SOUPS 9224 WITH SCORE 9234.156
AT ITER 337 NEW BEST:: SOT 18461 SOS 10152 HAS SOPS 10152 HAS SOUS 9216 HAS SOUPS 9216 WITH SCORE 9226.152
AT ITER 342 NEW BEST:: SOT 18426 SOS 10047 HAS SOPS 10047 HAS SOUS 9181 HAS SOUPS 9181 WITH SCORE 9191.047
AT ITER 357 NEW BEST:: SOT 18425 SOS 10011 HAS SOPS 10011 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9131.011
AT ITER 361 NEW BEST:: SOT 18402 SOS 9957 HAS SOPS 9957 HAS SOUS 9056 HAS SOUPS 9056 WITH SCORE 9065.957
AT ITER 365 NEW BEST:: SOT 18401 SOS 9956 HAS SOPS 9956 HAS SOUS 9049 HAS SOUPS 9049 WITH SCORE 9058.956
AT ITER 371 NEW BEST:: SOT 18397 SOS 9807 HAS SOPS 9807 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8967.807
AT ITER 376 NEW BEST:: SOT 18396 SOS 9806 HAS SOPS 9806 HAS SOUS 8957 HAS SOUPS 8957 WITH SCORE 8966.806
AT ITER 382 NEW BEST:: SOT 18355 SOS 9765 HAS SOPS 9765 HAS SOUS 8916 HAS SOUPS 8916 WITH SCORE 8925.765
AT ITER 392 NEW BEST:: SOT 18335 SOS 9709 HAS SOPS 9709 HAS SOUS 8899 HAS SOUPS 8899 WITH SCORE 8908.709
AT ITER 403 NEW BEST:: SOT 18318 SOS 9646 HAS SOPS 9646 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8854.646
AT ITER 407 NEW BEST:: SOT 18318 SOS 9647 HAS SOPS 9647 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8853.647
AT ITER 413 NEW BEST:: SOT 18293 SOS 9622 HAS SOPS 9622 HAS SOUS 8814 HAS SOUPS 8814 WITH SCORE 8823.622
AT ITER 423 NEW BEST:: SOT 18283 SOS 9612 HAS SOPS 9612 HAS SOUS 8804 HAS SOUPS 8804 WITH SCORE 8813.612
AT ITER 448 NEW BEST:: SOT 18261 SOS 9575 HAS SOPS 9575 HAS SOUS 8780 HAS SOUPS 8780 WITH SCORE 8789.575
AT ITER 449 NEW BEST:: SOT 18201 SOS 9503 HAS SOPS 9503 HAS SOUS 8708 HAS SOUPS 8708 WITH SCORE 8717.503
AT ITER 450 NEW BEST:: SOT 18205 SOS 9486 HAS SOPS 9486 HAS SOUS 8691 HAS SOUPS 8691 WITH SCORE 8700.486
AT ITER 460 NEW BEST:: SOT 18190 SOS 9471 HAS SOPS 9471 HAS SOUS 8676 HAS SOUPS 8676 WITH SCORE 8685.471
AT ITER 462 NEW BEST:: SOT 18162 SOS 9437 HAS SOPS 9437 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8662.437
AT ITER 483 NEW BEST:: SOT 18159 SOS 9430 HAS SOPS 9430 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8657.43
AT ITER 484 NEW BEST:: SOT 18088 SOS 9359 HAS SOPS 9359 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8586.359
AT ITER 495 NEW BEST:: SOT 18078 SOS 9349 HAS SOPS 9349 HAS SOUS 8567 HAS SOUPS 8567 WITH SCORE 8576.349
AT ITER 522 NEW BEST:: SOT 18077 SOS 9359 HAS SOPS 9359 HAS SOUS 8566 HAS SOUPS 8566 WITH SCORE 8575.359
AT ITER 525 NEW BEST:: SOT 18087 SOS 9346 HAS SOPS 9346 HAS SOUS 8532 HAS SOUPS 8532 WITH SCORE 8541.346
AT ITER 531 NEW BEST:: SOT 18029 SOS 9242 HAS SOPS 9242 HAS SOUS 8428 HAS SOUPS 8428 WITH SCORE 8437.242
AT ITER 532 NEW BEST:: SOT 18011 SOS 9205 HAS SOPS 9205 HAS SOUS 8391 HAS SOUPS 8391 WITH SCORE 8400.205
AT ITER 544 NEW BEST:: SOT 18011 SOS 9197 HAS SOPS 9197 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8392.197
AT ITER 547 NEW BEST:: SOT 18011 SOS 9190 HAS SOPS 9190 HAS SOUS 8371 HAS SOUPS 8371 WITH SCORE 8380.19
AT ITER 548 NEW BEST:: SOT 17997 SOS 9147 HAS SOPS 9147 HAS SOUS 8334 HAS SOUPS 8334 WITH SCORE 8343.147
AT ITER 558 NEW BEST:: SOT 17993 SOS 9141 HAS SOPS 9141 HAS SOUS 8328 HAS SOUPS 8328 WITH SCORE 8337.141
AT ITER 559 NEW BEST:: SOT 17993 SOS 9131 HAS SOPS 9131 HAS SOUS 8327 HAS SOUPS 8327 WITH SCORE 8336.131
AT ITER 572 NEW BEST:: SOT 17955 SOS 9079 HAS SOPS 9079 HAS SOUS 8289 HAS SOUPS 8289 WITH SCORE 8298.079
AT ITER 586 NEW BEST:: SOT 17941 SOS 9065 HAS SOPS 9065 HAS SOUS 8258 HAS SOUPS 8258 WITH SCORE 8267.065
AT ITER 593 NEW BEST:: SOT 17941 SOS 9029 HAS SOPS 9029 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8231.029
AT ITER 594 NEW BEST:: SOT 17871 SOS 8959 HAS SOPS 8959 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8182.959
AT ITER 607 NEW BEST:: SOT 17837 SOS 8925 HAS SOPS 8925 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8148.925
AT ITER 609 NEW BEST:: SOT 17789 SOS 8877 HAS SOPS 8877 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8124.877
AT ITER 612 NEW BEST:: SOT 17789 SOS 8865 HAS SOPS 8865 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8124.865
AT ITER 613 NEW BEST:: SOT 17784 SOS 8860 HAS SOPS 8860 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8114.86
AT ITER 625 NEW BEST:: SOT 17788 SOS 8818 HAS SOPS 8818 HAS SOUS 8103 HAS SOUPS 8103 WITH SCORE 8111.818
AT ITER 628 NEW BEST:: SOT 17827 SOS 8857 HAS SOPS 8857 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8110.857
AT ITER 629 NEW BEST:: SOT 17825 SOS 8853 HAS SOPS 8853 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8108.853
AT ITER 631 NEW BEST:: SOT 17801 SOS 8817 HAS SOPS 8817 HAS SOUS 8064 HAS SOUPS 8064 WITH SCORE 8072.817
AT ITER 636 NEW BEST:: SOT 17794 SOS 8810 HAS SOPS 8810 HAS SOUS 8057 HAS SOUPS 8057 WITH SCORE 8065.81
AT ITER 637 NEW BEST:: SOT 17788 SOS 8798 HAS SOPS 8798 HAS SOUS 8047 HAS SOUPS 8047 WITH SCORE 8055.798
AT ITER 641 NEW BEST:: SOT 17788 SOS 8766 HAS SOPS 8766 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8034.766
AT ITER 656 NEW BEST:: SOT 17799 SOS 8761 HAS SOPS 8761 HAS SOUS 8023 HAS SOUPS 8023 WITH SCORE 8031.761
AT ITER 662 NEW BEST:: SOT 17793 SOS 8735 HAS SOPS 8735 HAS SOUS 8007 HAS SOUPS 8007 WITH SCORE 8015.735
AT ITER 663 NEW BEST:: SOT 17784 SOS 8707 HAS SOPS 8707 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7996.707
AT ITER 667 NEW BEST:: SOT 17729 SOS 8652 HAS SOPS 8652 HAS SOUS 7984 HAS SOUPS 7984 WITH SCORE 7992.652
AT ITER 668 NEW BEST:: SOT 17714 SOS 8637 HAS SOPS 8637 HAS SOUS 7969 HAS SOUPS 7969 WITH SCORE 7977.637
AT ITER 669 NEW BEST:: SOT 17655 SOS 8508 HAS SOPS 8508 HAS SOUS 7872 HAS SOUPS 7872 WITH SCORE 7880.508
AT ITER 674 NEW BEST:: SOT 17651 SOS 8504 HAS SOPS 8504 HAS SOUS 7868 HAS SOUPS 7868 WITH SCORE 7876.504
AT ITER 675 NEW BEST:: SOT 17641 SOS 8487 HAS SOPS 8487 HAS SOUS 7866 HAS SOUPS 7866 WITH SCORE 7874.487
AT ITER 683 NEW BEST:: SOT 17661 SOS 8470 HAS SOPS 8470 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7859.47
AT ITER 686 NEW BEST:: SOT 17676 SOS 8471 HAS SOPS 8471 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7806.471
AT ITER 687 NEW BEST:: SOT 17667 SOS 8462 HAS SOPS 8462 HAS SOUS 7780 HAS SOUPS 7780 WITH SCORE 7788.462
AT ITER 698 NEW BEST:: SOT 17665 SOS 8460 HAS SOPS 8460 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7786.46
AT ITER 707 NEW BEST:: SOT 17654 SOS 8427 HAS SOPS 8427 HAS SOUS 7745 HAS SOUPS 7745 WITH SCORE 7753.427
AT ITER 722 NEW BEST:: SOT 17654 SOS 8448 HAS SOPS 8448 HAS SOUS 7724 HAS SOUPS 7724 WITH SCORE 7732.448
AT ITER 742 NEW BEST:: SOT 17654 SOS 8443 HAS SOPS 8443 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7727.443
AT ITER 746 NEW BEST:: SOT 17563 SOS 8322 HAS SOPS 8322 HAS SOUS 7697 HAS SOUPS 7697 WITH SCORE 7705.322
AT ITER 754 NEW BEST:: SOT 17543 SOS 8291 HAS SOPS 8291 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7675.291
AT ITER 767 NEW BEST:: SOT 17525 SOS 8233 HAS SOPS 8233 HAS SOUS 7609 HAS SOUPS 7609 WITH SCORE 7617.233
AT ITER 775 NEW BEST:: SOT 17519 SOS 8221 HAS SOPS 8221 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7595.221
AT ITER 776 NEW BEST:: SOT 17519 SOS 8203 HAS SOPS 8203 HAS SOUS 7569 HAS SOUPS 7569 WITH SCORE 7577.203
AT ITER 785 NEW BEST:: SOT 17520 SOS 8161 HAS SOPS 8161 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7512.161
AT ITER 791 NEW BEST:: SOT 17500 SOS 8141 HAS SOPS 8141 HAS SOUS 7484 HAS SOUPS 7484 WITH SCORE 7492.141
AT ITER 800 NEW BEST:: SOT 17480 SOS 8123 HAS SOPS 8123 HAS SOUS 7466 HAS SOUPS 7466 WITH SCORE 7474.123
AT ITER 807 NEW BEST:: SOT 17480 SOS 8122 HAS SOPS 8122 HAS SOUS 7466 HAS SOUPS 7466 WITH SCORE 7474.122
AT ITER 825 NEW BEST:: SOT 17479 SOS 8121 HAS SOPS 8121 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7473.121
AT ITER 837 NEW BEST:: SOT 17475 SOS 8114 HAS SOPS 8114 HAS SOUS 7456 HAS SOUPS 7456 WITH SCORE 7464.114
AT ITER 843 NEW BEST:: SOT 17443 SOS 8120 HAS SOPS 8120 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7384.12
AT ITER 859 NEW BEST:: SOT 17438 SOS 8106 HAS SOPS 8106 HAS SOUS 7362 HAS SOUPS 7362 WITH SCORE 7370.106
AT ITER 863 NEW BEST:: SOT 17438 SOS 8051 HAS SOPS 8051 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7315.051
AT ITER 868 NEW BEST:: SOT 17427 SOS 8026 HAS SOPS 8026 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7290.026
AT ITER 884 NEW BEST:: SOT 17423 SOS 7972 HAS SOPS 7972 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7258.972
AT ITER 885 NEW BEST:: SOT 17397 SOS 7992 HAS SOPS 7992 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7253.992
AT ITER 889 NEW BEST:: SOT 17397 SOS 7974 HAS SOPS 7974 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7249.974
AT ITER 901 NEW BEST:: SOT 17430 SOS 7897 HAS SOPS 7897 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7234.897
AT ITER 911 NEW BEST:: SOT 17430 SOS 7889 HAS SOPS 7889 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7234.889
AT ITER 916 NEW BEST:: SOT 17441 SOS 7910 HAS SOPS 7910 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7230.91
AT ITER 921 NEW BEST:: SOT 17439 SOS 7906 HAS SOPS 7906 HAS SOUS 7219 HAS SOUPS 7219 WITH SCORE 7226.906
AT ITER 928 NEW BEST:: SOT 17438 SOS 7905 HAS SOPS 7905 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7224.905
AT ITER 936 NEW BEST:: SOT 17425 SOS 7893 HAS SOPS 7893 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7212.893
AT ITER 953 NEW BEST:: SOT 17419 SOS 7867 HAS SOPS 7867 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7194.867
AT ITER 965 NEW BEST:: SOT 17432 SOS 7895 HAS SOPS 7895 HAS SOUS 7182 HAS SOUPS 7182 WITH SCORE 7189.895
AT ITER 967 NEW BEST:: SOT 17429 SOS 7880 HAS SOPS 7880 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7183.88
AT ITER 969 NEW BEST:: SOT 17399 SOS 7837 HAS SOPS 7837 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7157.837
AT ITER 980 NEW BEST:: SOT 17399 SOS 7835 HAS SOPS 7835 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7157.835
AT ITER 989 NEW BEST:: SOT 17399 SOS 7802 HAS SOPS 7802 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7153.802
AT ITER 996 NEW BEST:: SOT 17393 SOS 7792 HAS SOPS 7792 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7143.792
AT ITER 1000 NEW BEST:: SOT 17393 SOS 7781 HAS SOPS 7781 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7143.781
AT ITER 1003 NEW BEST:: SOT 17393 SOS 7779 HAS SOPS 7779 HAS SOUS 7129 HAS SOUPS 7129 WITH SCORE 7136.779
AT ITER 1014 NEW BEST:: SOT 17389 SOS 7775 HAS SOPS 7775 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7132.775
AT ITER 1018 NEW BEST:: SOT 17386 SOS 7772 HAS SOPS 7772 HAS SOUS 7103 HAS SOUPS 7103 WITH SCORE 7110.772
AT ITER 1020 NEW BEST:: SOT 17382 SOS 7768 HAS SOPS 7768 HAS SOUS 7099 HAS SOUPS 7099 WITH SCORE 7106.768
AT ITER 1021 NEW BEST:: SOT 17374 SOS 7760 HAS SOPS 7760 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7103.76
AT ITER 1028 NEW BEST:: SOT 17370 SOS 7612 HAS SOPS 7612 HAS SOUS 6996 HAS SOUPS 6996 WITH SCORE 7003.612
AT ITER 1033 NEW BEST:: SOT 17358 SOS 7544 HAS SOPS 7544 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6946.544
AT ITER 1034 NEW BEST:: SOT 17348 SOS 7529 HAS SOPS 7529 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6931.529
AT ITER 1036 NEW BEST:: SOT 17339 SOS 7520 HAS SOPS 7520 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6922.52
AT ITER 1040 NEW BEST:: SOT 17321 SOS 7488 HAS SOPS 7488 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6890.488
AT ITER 1047 NEW BEST:: SOT 17328 SOS 7473 HAS SOPS 7473 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6855.473
AT ITER 1063 NEW BEST:: SOT 17322 SOS 7433 HAS SOPS 7433 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6815.433
AT ITER 1075 NEW BEST:: SOT 17316 SOS 7427 HAS SOPS 7427 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6809.427
AT ITER 1076 NEW BEST:: SOT 17305 SOS 7405 HAS SOPS 7405 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6798.405
AT ITER 1095 NEW BEST:: SOT 17285 SOS 7384 HAS SOPS 7384 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6782.384
AT ITER 1114 NEW BEST:: SOT 17284 SOS 7383 HAS SOPS 7383 HAS SOUS 6774 HAS SOUPS 6774 WITH SCORE 6781.383
AT ITER 1137 NEW BEST:: SOT 17277 SOS 7352 HAS SOPS 7352 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6750.352
AT ITER 1158 NEW BEST:: SOT 17274 SOS 7349 HAS SOPS 7349 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6747.349
AT ITER 1163 NEW BEST:: SOT 17274 SOS 7338 HAS SOPS 7338 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6736.338
AT ITER 1165 NEW BEST:: SOT 17273 SOS 7285 HAS SOPS 7285 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6709.285
AT ITER 1167 NEW BEST:: SOT 17271 SOS 7279 HAS SOPS 7279 HAS SOUS 6696 HAS SOUPS 6696 WITH SCORE 6703.279
AT ITER 1171 NEW BEST:: SOT 17270 SOS 7267 HAS SOPS 7267 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6690.267
AT ITER 1188 NEW BEST:: SOT 17270 SOS 7255 HAS SOPS 7255 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6690.255
AT ITER 1204 NEW BEST:: SOT 17289 SOS 7257 HAS SOPS 7257 HAS SOUS 6665 HAS SOUPS 6665 WITH SCORE 6672.257
AT ITER 1213 NEW BEST:: SOT 17271 SOS 7190 HAS SOPS 7190 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6623.19
AT ITER 1220 NEW BEST:: SOT 17261 SOS 7180 HAS SOPS 7180 HAS SOUS 6605 HAS SOUPS 6605 WITH SCORE 6612.18
AT ITER 1269 NEW BEST:: SOT 17258 SOS 7171 HAS SOPS 7171 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6603.171
AT ITER 1272 NEW BEST:: SOT 17256 SOS 7169 HAS SOPS 7169 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6599.169
AT ITER 1279 NEW BEST:: SOT 17249 SOS 7167 HAS SOPS 7167 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6597.167
AT ITER 1297 NEW BEST:: SOT 17237 SOS 7152 HAS SOPS 7152 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6579.152
AT ITER 1303 NEW BEST:: SOT 17239 SOS 7149 HAS SOPS 7149 HAS SOUS 6569 HAS SOUPS 6569 WITH SCORE 6576.149
AT ITER 1308 NEW BEST:: SOT 17241 SOS 7146 HAS SOPS 7146 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6575.146
AT ITER 1311 NEW BEST:: SOT 17238 SOS 7146 HAS SOPS 7146 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6574.146
AT ITER 1317 NEW BEST:: SOT 17238 SOS 7119 HAS SOPS 7119 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6547.119
AT ITER 1318 NEW BEST:: SOT 17243 SOS 7124 HAS SOPS 7124 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6546.124
AT ITER 1334 NEW BEST:: SOT 17243 SOS 7122 HAS SOPS 7122 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6544.122
AT ITER 1344 NEW BEST:: SOT 17243 SOS 7100 HAS SOPS 7100 HAS SOUS 6527 HAS SOUPS 6527 WITH SCORE 6534.1
AT ITER 1346 NEW BEST:: SOT 17257 SOS 7114 HAS SOPS 7114 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6524.114
AT ITER 1356 NEW BEST:: SOT 17251 SOS 7108 HAS SOPS 7108 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6512.108
AT ITER 1363 NEW BEST:: SOT 17239 SOS 7088 HAS SOPS 7088 HAS SOUS 6485 HAS SOUPS 6485 WITH SCORE 6492.088
AT ITER 1386 NEW BEST:: SOT 17220 SOS 7023 HAS SOPS 7023 HAS SOUS 6420 HAS SOUPS 6420 WITH SCORE 6427.023
AT ITER 1415 NEW BEST:: SOT 17220 SOS 6972 HAS SOPS 6972 HAS SOUS 6408 HAS SOUPS 6408 WITH SCORE 6414.972
AT ITER 1433 NEW BEST:: SOT 17211 SOS 6966 HAS SOPS 6966 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6408.966
AT ITER 1434 NEW BEST:: SOT 17227 SOS 6952 HAS SOPS 6952 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6405.952
AT ITER 1451 NEW BEST:: SOT 17225 SOS 6946 HAS SOPS 6946 HAS SOUS 6390 HAS SOUPS 6390 WITH SCORE 6396.946
AT ITER 1453 NEW BEST:: SOT 17221 SOS 6941 HAS SOPS 6941 HAS SOUS 6385 HAS SOUPS 6385 WITH SCORE 6391.941
AT ITER 1459 NEW BEST:: SOT 17221 SOS 6923 HAS SOPS 6923 HAS SOUS 6385 HAS SOUPS 6385 WITH SCORE 6391.923
AT ITER 1477 NEW BEST:: SOT 17221 SOS 6916 HAS SOPS 6916 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6389.916
AT ITER 1478 NEW BEST:: SOT 17216 SOS 6898 HAS SOPS 6898 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6371.898
AT ITER 1480 NEW BEST:: SOT 17216 SOS 6896 HAS SOPS 6896 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6371.896
AT ITER 1506 NEW BEST:: SOT 17216 SOS 6897 HAS SOPS 6897 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6369.897
AT ITER 1515 NEW BEST:: SOT 17214 SOS 6895 HAS SOPS 6895 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6367.895
AT ITER 1545 NEW BEST:: SOT 17217 SOS 6898 HAS SOPS 6898 HAS SOUS 6351 HAS SOUPS 6351 WITH SCORE 6357.898
AT ITER 1551 NEW BEST:: SOT 17217 SOS 6892 HAS SOPS 6892 HAS SOUS 6347 HAS SOUPS 6347 WITH SCORE 6353.892
AT ITER 1564 NEW BEST:: SOT 17198 SOS 6864 HAS SOPS 6864 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6332.864
AT ITER 1568 NEW BEST:: SOT 17186 SOS 6859 HAS SOPS 6859 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6330.859
AT ITER 1585 NEW BEST:: SOT 17186 SOS 6837 HAS SOPS 6837 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6328.837
AT ITER 1590 NEW BEST:: SOT 17178 SOS 6821 HAS SOPS 6821 HAS SOUS 6300 HAS SOUPS 6300 WITH SCORE 6306.821
AT ITER 1591 NEW BEST:: SOT 17175 SOS 6819 HAS SOPS 6819 HAS SOUS 6298 HAS SOUPS 6298 WITH SCORE 6304.819
AT ITER 1605 NEW BEST:: SOT 17165 SOS 6774 HAS SOPS 6774 HAS SOUS 6271 HAS SOUPS 6271 WITH SCORE 6277.774
AT ITER 1613 NEW BEST:: SOT 17164 SOS 6768 HAS SOPS 6768 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6266.768
AT ITER 1614 NEW BEST:: SOT 17151 SOS 6751 HAS SOPS 6751 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6262.751
AT ITER 1623 NEW BEST:: SOT 17151 SOS 6745 HAS SOPS 6745 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6262.745
AT ITER 1657 NEW BEST:: SOT 17139 SOS 6741 HAS SOPS 6741 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6260.741
AT ITER 1659 NEW BEST:: SOT 17154 SOS 6721 HAS SOPS 6721 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6249.721
AT ITER 1706 NEW BEST:: SOT 17147 SOS 6705 HAS SOPS 6705 HAS SOUS 6229 HAS SOUPS 6229 WITH SCORE 6235.705
AT ITER 1735 NEW BEST:: SOT 17147 SOS 6672 HAS SOPS 6672 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6213.672
AT ITER 1736 NEW BEST:: SOT 17147 SOS 6666 HAS SOPS 6666 HAS SOUS 6203 HAS SOUPS 6203 WITH SCORE 6209.666
AT ITER 1780 NEW BEST:: SOT 17131 SOS 6661 HAS SOPS 6661 HAS SOUS 6196 HAS SOUPS 6196 WITH SCORE 6202.661
AT ITER 1782 NEW BEST:: SOT 17128 SOS 6651 HAS SOPS 6651 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6190.651
AT ITER 1788 NEW BEST:: SOT 17128 SOS 6651 HAS SOPS 6651 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6181.651
AT ITER 1792 NEW BEST:: SOT 17120 SOS 6660 HAS SOPS 6660 HAS SOUS 6165 HAS SOUPS 6165 WITH SCORE 6171.66
AT ITER 1816 NEW BEST:: SOT 17067 SOS 6605 HAS SOPS 6605 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6116.605
AT ITER 1823 NEW BEST:: SOT 17063 SOS 6599 HAS SOPS 6599 HAS SOUS 6104 HAS SOUPS 6104 WITH SCORE 6110.599
AT ITER 1829 NEW BEST:: SOT 17065 SOS 6597 HAS SOPS 6597 HAS SOUS 6099 HAS SOUPS 6099 WITH SCORE 6105.597
AT ITER 1830 NEW BEST:: SOT 17053 SOS 6585 HAS SOPS 6585 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6099.585
AT ITER 1859 NEW BEST:: SOT 17041 SOS 6570 HAS SOPS 6570 HAS SOUS 6078 HAS SOUPS 6078 WITH SCORE 6084.57
AT ITER 1865 NEW BEST:: SOT 17037 SOS 6566 HAS SOPS 6566 HAS SOUS 6074 HAS SOUPS 6074 WITH SCORE 6080.566
AT ITER 1870 NEW BEST:: SOT 17015 SOS 6514 HAS SOPS 6514 HAS SOUS 6025 HAS SOUPS 6025 WITH SCORE 6031.514
AT ITER 1927 NEW BEST:: SOT 17027 SOS 6530 HAS SOPS 6530 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6023.53
AT ITER 1958 NEW BEST:: SOT 17027 SOS 6531 HAS SOPS 6531 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6022.531
AT ITER 1973 NEW BEST:: SOT 17027 SOS 6513 HAS SOPS 6513 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6022.513
AT ITER 1978 NEW BEST:: SOT 17027 SOS 6497 HAS SOPS 6497 HAS SOUS 6014 HAS SOUPS 6014 WITH SCORE 6020.497
AT ITER 1979 NEW BEST:: SOT 17022 SOS 6492 HAS SOPS 6492 HAS SOUS 6009 HAS SOUPS 6009 WITH SCORE 6015.492
AT ITER 1985 NEW BEST:: SOT 16992 SOS 6462 HAS SOPS 6462 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5985.462
AT ITER 2027 NEW BEST:: SOT 16978 SOS 6427 HAS SOPS 6427 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5955.427
AT ITER 2053 NEW BEST:: SOT 16971 SOS 6407 HAS SOPS 6407 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5930.407
AT ITER 2080 NEW BEST:: SOT 16969 SOS 6317 HAS SOPS 6317 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5872.317
AT ITER 2100 NEW BEST:: SOT 16961 SOS 6301 HAS SOPS 6301 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5856.301
AT ITER 2115 NEW BEST:: SOT 16960 SOS 6300 HAS SOPS 6300 HAS SOUS 5849 HAS SOUPS 5849 WITH SCORE 5855.3
AT ITER 2135 NEW BEST:: SOT 16960 SOS 6301 HAS SOPS 6301 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5844.301
AT ITER 2170 NEW BEST:: SOT 16959 SOS 6300 HAS SOPS 6300 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5842.3
AT ITER 2178 NEW BEST:: SOT 16957 SOS 6297 HAS SOPS 6297 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5839.297
AT ITER 2265 NEW BEST:: SOT 16949 SOS 6285 HAS SOPS 6285 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5829.285
AT ITER 2283 NEW BEST:: SOT 16946 SOS 6282 HAS SOPS 6282 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5829.282
AT ITER 2299 NEW BEST:: SOT 16946 SOS 6279 HAS SOPS 6279 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5826.279
AT ITER 2300 NEW BEST:: SOT 16944 SOS 6277 HAS SOPS 6277 HAS SOUS 5818 HAS SOUPS 5818 WITH SCORE 5824.277
AT ITER 2305 NEW BEST:: SOT 16944 SOS 6252 HAS SOPS 6252 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5810.252
AT ITER 2327 NEW BEST:: SOT 16942 SOS 6253 HAS SOPS 6253 HAS SOUS 5800 HAS SOUPS 5800 WITH SCORE 5806.253
AT ITER 2334 NEW BEST:: SOT 16928 SOS 6239 HAS SOPS 6239 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5790.239
AT ITER 2357 NEW BEST:: SOT 16922 SOS 6230 HAS SOPS 6230 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5781.23
AT ITER 2371 NEW BEST:: SOT 16922 SOS 6221 HAS SOPS 6221 HAS SOUS 5766 HAS SOUPS 5766 WITH SCORE 5772.221
AT ITER 2372 NEW BEST:: SOT 16910 SOS 6209 HAS SOPS 6209 HAS SOUS 5754 HAS SOUPS 5754 WITH SCORE 5760.209
AT ITER 2373 NEW BEST:: SOT 16906 SOS 6205 HAS SOPS 6205 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5756.205
AT ITER 2385 NEW BEST:: SOT 16898 SOS 6197 HAS SOPS 6197 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5738.197
AT ITER 2393 NEW BEST:: SOT 16896 SOS 6194 HAS SOPS 6194 HAS SOUS 5730 HAS SOUPS 5730 WITH SCORE 5736.194
AT ITER 2424 NEW BEST:: SOT 16895 SOS 6193 HAS SOPS 6193 HAS SOUS 5729 HAS SOUPS 5729 WITH SCORE 5735.193
AT ITER 2492 NEW BEST:: SOT 16885 SOS 6200 HAS SOPS 6200 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5734.2
AT ITER 2504 NEW BEST:: SOT 16892 SOS 6209 HAS SOPS 6209 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5724.209
AT ITER 2506 NEW BEST:: SOT 16898 SOS 6220 HAS SOPS 6220 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5722.22
AT ITER 2521 NEW BEST:: SOT 16898 SOS 6172 HAS SOPS 6172 HAS SOUS 5710 HAS SOUPS 5710 WITH SCORE 5716.172
AT ITER 2527 NEW BEST:: SOT 16903 SOS 6151 HAS SOPS 6151 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5711.151
AT ITER 2564 NEW BEST:: SOT 16892 SOS 6135 HAS SOPS 6135 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5701.135
AT ITER 2597 NEW BEST:: SOT 16891 SOS 6133 HAS SOPS 6133 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5699.133
AT ITER 2605 NEW BEST:: SOT 16891 SOS 6129 HAS SOPS 6129 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5695.129
AT ITER 2632 NEW BEST:: SOT 16891 SOS 6121 HAS SOPS 6121 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5687.121
AT ITER 2661 NEW BEST:: SOT 16890 SOS 6119 HAS SOPS 6119 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5685.119
AT ITER 2675 NEW BEST:: SOT 16872 SOS 6101 HAS SOPS 6101 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5676.101
AT ITER 2705 NEW BEST:: SOT 16858 SOS 6067 HAS SOPS 6067 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5652.067
AT ITER 2736 NEW BEST:: SOT 16856 SOS 6065 HAS SOPS 6065 HAS SOUS 5645 HAS SOUPS 5645 WITH SCORE 5651.065
AT ITER 2747 NEW BEST:: SOT 16848 SOS 6049 HAS SOPS 6049 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5639.049
AT ITER 2774 NEW BEST:: SOT 16844 SOS 6055 HAS SOPS 6055 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5635.055
AT ITER 2790 NEW BEST:: SOT 16843 SOS 6047 HAS SOPS 6047 HAS SOUS 5625 HAS SOUPS 5625 WITH SCORE 5631.047
AT ITER 2814 NEW BEST:: SOT 16849 SOS 6040 HAS SOPS 6040 HAS SOUS 5621 HAS SOUPS 5621 WITH SCORE 5627.04
AT ITER 2843 NEW BEST:: SOT 16843 SOS 6028 HAS SOPS 6028 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5618.028
AT ITER 2862 NEW BEST:: SOT 16840 SOS 6024 HAS SOPS 6024 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5614.024
AT ITER 2879 NEW BEST:: SOT 16840 SOS 6008 HAS SOPS 6008 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5598.008
AT ITER 2886 NEW BEST:: SOT 16839 SOS 6007 HAS SOPS 6007 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5597.007
AT ITER 2895 NEW BEST:: SOT 16822 SOS 5979 HAS SOPS 5979 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5571.979
AT ITER 2912 NEW BEST:: SOT 16825 SOS 5972 HAS SOPS 5972 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5561.972
AT ITER 2930 NEW BEST:: SOT 16809 SOS 5946 HAS SOPS 5946 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5552.946
AT ITER 2956 NEW BEST:: SOT 16802 SOS 5929 HAS SOPS 5929 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5535.929
AT ITER 2964 NEW BEST:: SOT 16802 SOS 5929 HAS SOPS 5929 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5533.929
AT ITER 2973 NEW BEST:: SOT 16803 SOS 5921 HAS SOPS 5921 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5514.921
AT ITER 2995 NEW BEST:: SOT 16794 SOS 5913 HAS SOPS 5913 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5506.913
AT ITER 2996 NEW BEST:: SOT 16794 SOS 5922 HAS SOPS 5922 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5502.922
AT ITER 3000 NEW BEST:: SOT 16794 SOS 5910 HAS SOPS 5910 HAS SOUS 5489 HAS SOUPS 5489 WITH SCORE 5494.91
AT ITER 3048 NEW BEST:: SOT 16789 SOS 5905 HAS SOPS 5905 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5489.905
AT ITER 3063 NEW BEST:: SOT 16783 SOS 5887 HAS SOPS 5887 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5471.887
AT ITER 3113 NEW BEST:: SOT 16792 SOS 5900 HAS SOPS 5900 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5462.9
AT ITER 3127 NEW BEST:: SOT 16791 SOS 5899 HAS SOPS 5899 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5456.899
AT ITER 3128 NEW BEST:: SOT 16790 SOS 5898 HAS SOPS 5898 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5455.898
AT ITER 3143 NEW BEST:: SOT 16797 SOS 5905 HAS SOPS 5905 HAS SOUS 5447 HAS SOUPS 5447 WITH SCORE 5452.905
AT ITER 3176 NEW BEST:: SOT 16793 SOS 5901 HAS SOPS 5901 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5448.901
AT ITER 3184 NEW BEST:: SOT 16804 SOS 5884 HAS SOPS 5884 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5438.884
AT ITER 3200 NEW BEST:: SOT 16798 SOS 5874 HAS SOPS 5874 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5428.874
AT ITER 3207 NEW BEST:: SOT 16791 SOS 5859 HAS SOPS 5859 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5413.859
AT ITER 3213 NEW BEST:: SOT 16781 SOS 5849 HAS SOPS 5849 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5403.849
AT ITER 3251 NEW BEST:: SOT 16777 SOS 5841 HAS SOPS 5841 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5399.841
AT ITER 3252 NEW BEST:: SOT 16754 SOS 5831 HAS SOPS 5831 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5389.831
AT ITER 3265 NEW BEST:: SOT 16752 SOS 5829 HAS SOPS 5829 HAS SOUS 5382 HAS SOUPS 5382 WITH SCORE 5387.829
AT ITER 3280 NEW BEST:: SOT 16749 SOS 5826 HAS SOPS 5826 HAS SOUS 5379 HAS SOUPS 5379 WITH SCORE 5384.826
AT ITER 3345 NEW BEST:: SOT 16751 SOS 5812 HAS SOPS 5812 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5382.812
AT ITER 3364 NEW BEST:: SOT 16744 SOS 5799 HAS SOPS 5799 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5369.799
AT ITER 3377 NEW BEST:: SOT 16736 SOS 5791 HAS SOPS 5791 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5361.791
AT ITER 3436 NEW BEST:: SOT 16709 SOS 5745 HAS SOPS 5745 HAS SOUS 5310 HAS SOUPS 5310 WITH SCORE 5315.745
AT ITER 3440 NEW BEST:: SOT 16709 SOS 5744 HAS SOPS 5744 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5314.744
AT ITER 3466 NEW BEST:: SOT 16694 SOS 5731 HAS SOPS 5731 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5299.731
AT ITER 3479 NEW BEST:: SOT 16689 SOS 5726 HAS SOPS 5726 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5294.726
AT ITER 3518 NEW BEST:: SOT 16683 SOS 5718 HAS SOPS 5718 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5291.718
AT ITER 3524 NEW BEST:: SOT 16680 SOS 5718 HAS SOPS 5718 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5288.718
AT ITER 3537 NEW BEST:: SOT 16681 SOS 5720 HAS SOPS 5720 HAS SOUS 5282 HAS SOUPS 5282 WITH SCORE 5287.72
AT ITER 3545 NEW BEST:: SOT 16681 SOS 5719 HAS SOPS 5719 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5286.719
AT ITER 3562 NEW BEST:: SOT 16681 SOS 5715 HAS SOPS 5715 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5286.715
AT ITER 3606 NEW BEST:: SOT 16644 SOS 5694 HAS SOPS 5694 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5270.694
AT ITER 3621 NEW BEST:: SOT 16642 SOS 5680 HAS SOPS 5680 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5266.68
AT ITER 3635 NEW BEST:: SOT 16639 SOS 5671 HAS SOPS 5671 HAS SOUS 5252 HAS SOUPS 5252 WITH SCORE 5257.671
AT ITER 3658 NEW BEST:: SOT 16638 SOS 5668 HAS SOPS 5668 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5255.668
AT ITER 3660 NEW BEST:: SOT 16646 SOS 5631 HAS SOPS 5631 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5244.631
AT ITER 3682 NEW BEST:: SOT 16646 SOS 5630 HAS SOPS 5630 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5243.63
AT ITER 3694 NEW BEST:: SOT 16645 SOS 5629 HAS SOPS 5629 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5242.629
AT ITER 3696 NEW BEST:: SOT 16635 SOS 5621 HAS SOPS 5621 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5240.621
AT ITER 3722 NEW BEST:: SOT 16633 SOS 5621 HAS SOPS 5621 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5238.621
AT ITER 3761 NEW BEST:: SOT 16639 SOS 5617 HAS SOPS 5617 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5237.617
AT ITER 3765 NEW BEST:: SOT 16632 SOS 5603 HAS SOPS 5603 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5230.603
AT ITER 3785 NEW BEST:: SOT 16609 SOS 5594 HAS SOPS 5594 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5224.594
AT ITER 3790 NEW BEST:: SOT 16606 SOS 5571 HAS SOPS 5571 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5205.571
AT ITER 3796 NEW BEST:: SOT 16629 SOS 5556 HAS SOPS 5556 HAS SOUS 5197 HAS SOUPS 5197 WITH SCORE 5202.556
AT ITER 3879 NEW BEST:: SOT 16629 SOS 5544 HAS SOPS 5544 HAS SOUS 5186 HAS SOUPS 5186 WITH SCORE 5191.544
AT ITER 3905 NEW BEST:: SOT 16625 SOS 5526 HAS SOPS 5526 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5173.526
AT ITER 3925 NEW BEST:: SOT 16625 SOS 5525 HAS SOPS 5525 HAS SOUS 5167 HAS SOUPS 5167 WITH SCORE 5172.525
AT ITER 3930 NEW BEST:: SOT 16623 SOS 5523 HAS SOPS 5523 HAS SOUS 5165 HAS SOUPS 5165 WITH SCORE 5170.523
AT ITER 3944 NEW BEST:: SOT 16615 SOS 5518 HAS SOPS 5518 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5161.518
AT ITER 3963 NEW BEST:: SOT 16615 SOS 5516 HAS SOPS 5516 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5159.516
AT ITER 3982 NEW BEST:: SOT 16605 SOS 5500 HAS SOPS 5500 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5139.5
AT ITER 3995 NEW BEST:: SOT 16617 SOS 5478 HAS SOPS 5478 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5139.478
AT ITER 4028 NEW BEST:: SOT 16617 SOS 5464 HAS SOPS 5464 HAS SOUS 5120 HAS SOUPS 5120 WITH SCORE 5125.464
AT ITER 4060 NEW BEST:: SOT 16616 SOS 5463 HAS SOPS 5463 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5123.463
AT ITER 4159 NEW BEST:: SOT 16611 SOS 5458 HAS SOPS 5458 HAS SOUS 5113 HAS SOUPS 5113 WITH SCORE 5118.458
AT ITER 4183 NEW BEST:: SOT 16608 SOS 5455 HAS SOPS 5455 HAS SOUS 5113 HAS SOUPS 5113 WITH SCORE 5118.455
AT ITER 4192 NEW BEST:: SOT 16614 SOS 5459 HAS SOPS 5459 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5114.459
AT ITER 4243 NEW BEST:: SOT 16605 SOS 5460 HAS SOPS 5460 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5112.46
AT ITER 4263 NEW BEST:: SOT 16607 SOS 5460 HAS SOPS 5460 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5111.46
AT ITER 4303 NEW BEST:: SOT 16626 SOS 5456 HAS SOPS 5456 HAS SOUS 5089 HAS SOUPS 5089 WITH SCORE 5094.456
AT ITER 4335 NEW BEST:: SOT 16618 SOS 5449 HAS SOPS 5449 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5087.449
AT ITER 4401 NEW BEST:: SOT 16618 SOS 5449 HAS SOPS 5449 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5084.449
AT ITER 4444 NEW BEST:: SOT 16604 SOS 5435 HAS SOPS 5435 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5070.435
AT ITER 4458 NEW BEST:: SOT 16559 SOS 5354 HAS SOPS 5354 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5015.354
AT ITER 4493 NEW BEST:: SOT 16560 SOS 5354 HAS SOPS 5354 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5014.354
AT ITER 4535 NEW BEST:: SOT 16560 SOS 5354 HAS SOPS 5354 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5012.354
AT ITER 4556 NEW BEST:: SOT 16556 SOS 5347 HAS SOPS 5347 HAS SOUS 5000 HAS SOUPS 5000 WITH SCORE 5005.347
AT ITER 4578 NEW BEST:: SOT 16552 SOS 5342 HAS SOPS 5342 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 4998.342
AT ITER 4632 NEW BEST:: SOT 16548 SOS 5338 HAS SOPS 5338 HAS SOUS 4989 HAS SOUPS 4989 WITH SCORE 4994.338
AT ITER 4658 NEW BEST:: SOT 16546 SOS 5336 HAS SOPS 5336 HAS SOUS 4987 HAS SOUPS 4987 WITH SCORE 4992.336
AT ITER 4746 NEW BEST:: SOT 16518 SOS 5322 HAS SOPS 5322 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4989.322
AT ITER 4758 NEW BEST:: SOT 16517 SOS 5323 HAS SOPS 5323 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4988.323
AT ITER 4818 NEW BEST:: SOT 16510 SOS 5316 HAS SOPS 5316 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4981.316
AT ITER 4842 NEW BEST:: SOT 16509 SOS 5311 HAS SOPS 5311 HAS SOUS 4974 HAS SOUPS 4974 WITH SCORE 4979.311
AT ITER 4847 NEW BEST:: SOT 16508 SOS 5309 HAS SOPS 5309 HAS SOUS 4972 HAS SOUPS 4972 WITH SCORE 4977.309
AT ITER 4874 NEW BEST:: SOT 16513 SOS 5304 HAS SOPS 5304 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4972.304
AT ITER 4918 NEW BEST:: SOT 16505 SOS 5294 HAS SOPS 5294 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4954.294
AT ITER 4934 NEW BEST:: SOT 16504 SOS 5292 HAS SOPS 5292 HAS SOUS 4947 HAS SOUPS 4947 WITH SCORE 4952.292
Bounds file is: CTLFireability.xml
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-00 (AX( (! (! (EF( ((potential((tk(P69)>=1) & (tk(P73)>=1) & (tk(P79)>=1))))))))))
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-01 (EF( (EX( (AG( ((potential((tk(P70)>=1) & (tk(P95)>=1))))))))))
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-02 (EG( (EF( ( ((potential((tk(P28)>=1) & (tk(P39)>=1)))) & (! ((potential((tk(P119)>=1) & (tk(P132)>=1))))) )))))
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-03 (EU( (AF( (! ((potential((tk(P72)>=1))))))) , (! (! ( ((potential((tk(P70)>=1) & (tk(P95)>=1)))) & ((potential((tk(P183)>=1) & (tk(P187)>=1) & (tk(P193)>=1)))) ))) ))
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-04 (AU( ((potential((tk(P131)>=1)))) , ( (EF( ((potential((tk(P70)>=1) & (tk(P95)>=1)))))) | (AX( ((potential((tk(P27)>=1) & (tk(P29)>=1)))))) ) ))
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-05 (AG( (AX( (! ((potential((tk(P61)>=1) & (tk(P78)>=1)))))))))
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-06 (AG( ( ( (! ((potential((tk(P103)>=1) & (tk(P105)>=1))))) | ( ( ((potential((tk(P183)>=1) & (tk(P187)>=1) & (tk(P193)>=1)))) | ((potential((tk(P25)>=1) & (tk(P36)>=1)))) ) & (! ((potential((tk(P25)>=1) & (tk(P36)>=1))))) ) ) | (AG( ( ((potential((tk(P78)>=1)))) & ((potential((tk(P129)>=1) & (tk(P144)>=1)))) ))) )))
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-07 (EF( (AG( (EF( ((potential((tk(P192)>=1))))))))))
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-08 (AG( (! ((potential((tk(P66)>=1) & (tk(P77)>=1)))))))
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-09 (AG( ( (! (! ((potential((tk(P120)>=1) & (tk(P131)>=1)))))) | (! ((potential((tk(P57)>=1))))) )))
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-10 (EU( ((potential((tk(P85)>=1) & (tk(P96)>=1)))) , (AG( (! ((potential((tk(P70)>=1) & (tk(P95)>=1))))))) ))
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-11 ( ( (EG( ( ((potential((tk(P127)>=1) & (tk(P152)>=1)))) & ((potential((tk(P9)>=1) & (tk(P20)>=1)))) ))) | (AG( (EF( ((potential((tk(P120)>=1) & (tk(P131)>=1)))))))) ) | ( ( (AF( ( ((potential((tk(P148)>=1) & (tk(P163)>=1)))) | ((potential((tk(P59)>=1)))) ))) & ((potential((tk(P129)>=1) & (tk(P144)>=1)))) ) | ( (AG( ( ((potential((tk(P116)>=1)))) & ((potential((tk(P171)>=1)))) ))) & ( ((potential((tk(P129)>=1)))) | ((potential((tk(P137)>=1) & (tk(P154)>=1)))) ) ) ) )
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-12 (EU( (EF( ( ((potential((tk(P128)>=1) & (tk(P134)>=1) & (tk(P136)>=1)))) | ((potential((tk(P15)>=1)))) ))) , ( (! ( ((potential((tk(P126)>=1) & (tk(P130)>=1) & (tk(P136)>=1)))) | ((potential((tk(P42)>=1) & (tk(P59)>=1)))) )) & (AX( ((potential((tk(P91)>=1) & (tk(P106)>=1)))))) ) ))
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-13 ( (AF( (AG( (! ((potential((tk(P7)>=1) & (tk(P16)>=1))))))))) | ( ( (EG( ((potential((tk(P78)>=1)))))) | (AU( ((potential((tk(P9)>=1) & (tk(P20)>=1)))) , ((potential((tk(P179)>=1) & (tk(P181)>=1)))) )) ) & ((potential((tk(P28)>=1) & (tk(P39)>=1)))) ) )
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-14 (AG( ( ( ((potential((tk(P140)>=1) & (tk(P149)>=1)))) | (! (! ((potential((tk(P176)>=1) & (tk(P189)>=1)))))) ) | (EF( ((potential((tk(P186)>=1)))))) )))
PROPERTY: ShieldIIPt-PT-010A-CTLFireability-15 (AG( ( (! ((potential((tk(P13)>=1) & (tk(P38)>=1))))) & (EF( ( ((potential((tk(P72)>=1)))) & ((potential((tk(P26)>=1) & (tk(P35)>=1)))) ))) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPt-PT-010A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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