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-159033469500476.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 ShieldPPPs-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-159033469500476
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 2.9K May 14 01:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 14 01:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 18:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 18:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.6K May 13 13:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 13:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 08:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 08:38 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 88K 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 ShieldPPPs-PT-010A-CTLFireability-00
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-01
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-02
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-03
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-04
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-05
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-06
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-07
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-08
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-09
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-10
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-11
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-12
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-13
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-14
FORMULA_NAME ShieldPPPs-PT-010A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590442941046

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (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: 313 places, 263 transitions, 1006 arcs.
AT ITER 0 NEW BEST:: SOT 53213 SOS 37253 HAS SOPS 37253 HAS SOUS 28703 HAS SOUPS 28703 WITH SCORE 28740.253
AT ITER 18 NEW BEST:: SOT 53118 SOS 36572 HAS SOPS 36572 HAS SOUS 28616 HAS SOUPS 28616 WITH SCORE 28652.572
AT ITER 19 NEW BEST:: SOT 52966 SOS 36562 HAS SOPS 36562 HAS SOUS 28606 HAS SOUPS 28606 WITH SCORE 28642.562
AT ITER 27 NEW BEST:: SOT 52930 SOS 36525 HAS SOPS 36525 HAS SOUS 28569 HAS SOUPS 28569 WITH SCORE 28605.525
AT ITER 29 NEW BEST:: SOT 52891 SOS 36330 HAS SOPS 36330 HAS SOUS 28568 HAS SOUPS 28568 WITH SCORE 28604.33
AT ITER 33 NEW BEST:: SOT 52816 SOS 36255 HAS SOPS 36255 HAS SOUS 28493 HAS SOUPS 28493 WITH SCORE 28529.255
AT ITER 34 NEW BEST:: SOT 52770 SOS 36025 HAS SOPS 36025 HAS SOUS 28492 HAS SOUPS 28492 WITH SCORE 28528.025
AT ITER 37 NEW BEST:: SOT 52724 SOS 35979 HAS SOPS 35979 HAS SOUS 28446 HAS SOUPS 28446 WITH SCORE 28481.979
AT ITER 42 NEW BEST:: SOT 52723 SOS 35681 HAS SOPS 35681 HAS SOUS 28429 HAS SOUPS 28429 WITH SCORE 28464.681
AT ITER 51 NEW BEST:: SOT 52721 SOS 35679 HAS SOPS 35679 HAS SOUS 28427 HAS SOUPS 28427 WITH SCORE 28462.679
AT ITER 56 NEW BEST:: SOT 52720 SOS 35503 HAS SOPS 35503 HAS SOUS 28397 HAS SOUPS 28397 WITH SCORE 28432.503
AT ITER 69 NEW BEST:: SOT 52660 SOS 35441 HAS SOPS 35441 HAS SOUS 28325 HAS SOUPS 28325 WITH SCORE 28360.441
AT ITER 75 NEW BEST:: SOT 52659 SOS 35345 HAS SOPS 35345 HAS SOUS 28280 HAS SOUPS 28280 WITH SCORE 28315.345
AT ITER 79 NEW BEST:: SOT 52545 SOS 35229 HAS SOPS 35229 HAS SOUS 28164 HAS SOUPS 28164 WITH SCORE 28199.229
AT ITER 87 NEW BEST:: SOT 52544 SOS 35228 HAS SOPS 35228 HAS SOUS 28163 HAS SOUPS 28163 WITH SCORE 28198.228
AT ITER 92 NEW BEST:: SOT 52555 SOS 35227 HAS SOPS 35227 HAS SOUS 28159 HAS SOUPS 28159 WITH SCORE 28194.227
AT ITER 97 NEW BEST:: SOT 52486 SOS 35158 HAS SOPS 35158 HAS SOUS 28090 HAS SOUPS 28090 WITH SCORE 28125.158
AT ITER 100 NEW BEST:: SOT 52480 SOS 35152 HAS SOPS 35152 HAS SOUS 28084 HAS SOUPS 28084 WITH SCORE 28119.152
AT ITER 103 NEW BEST:: SOT 52456 SOS 35128 HAS SOPS 35128 HAS SOUS 28060 HAS SOUPS 28060 WITH SCORE 28095.128
AT ITER 105 NEW BEST:: SOT 52365 SOS 35034 HAS SOPS 35034 HAS SOUS 27966 HAS SOUPS 27966 WITH SCORE 28001.034
AT ITER 112 NEW BEST:: SOT 52357 SOS 35016 HAS SOPS 35016 HAS SOUS 27942 HAS SOUPS 27942 WITH SCORE 27977.016
AT ITER 114 NEW BEST:: SOT 52339 SOS 34999 HAS SOPS 34999 HAS SOUS 27925 HAS SOUPS 27925 WITH SCORE 27959.999
AT ITER 116 NEW BEST:: SOT 52337 SOS 34997 HAS SOPS 34997 HAS SOUS 27923 HAS SOUPS 27923 WITH SCORE 27957.997
AT ITER 122 NEW BEST:: SOT 52330 SOS 34806 HAS SOPS 34806 HAS SOUS 27903 HAS SOUPS 27903 WITH SCORE 27937.806
AT ITER 125 NEW BEST:: SOT 52217 SOS 34651 HAS SOPS 34651 HAS SOUS 27748 HAS SOUPS 27748 WITH SCORE 27782.651
AT ITER 126 NEW BEST:: SOT 52195 SOS 34629 HAS SOPS 34629 HAS SOUS 27726 HAS SOUPS 27726 WITH SCORE 27760.629
AT ITER 129 NEW BEST:: SOT 52144 SOS 34532 HAS SOPS 34532 HAS SOUS 27629 HAS SOUPS 27629 WITH SCORE 27663.532
AT ITER 133 NEW BEST:: SOT 52116 SOS 34504 HAS SOPS 34504 HAS SOUS 27601 HAS SOUPS 27601 WITH SCORE 27635.504
AT ITER 137 NEW BEST:: SOT 52115 SOS 34501 HAS SOPS 34501 HAS SOUS 27598 HAS SOUPS 27598 WITH SCORE 27632.501
AT ITER 144 NEW BEST:: SOT 52064 SOS 34450 HAS SOPS 34450 HAS SOUS 27547 HAS SOUPS 27547 WITH SCORE 27581.45
AT ITER 149 NEW BEST:: SOT 52022 SOS 34408 HAS SOPS 34408 HAS SOUS 27505 HAS SOUPS 27505 WITH SCORE 27539.408
AT ITER 150 NEW BEST:: SOT 51961 SOS 34347 HAS SOPS 34347 HAS SOUS 27432 HAS SOUPS 27432 WITH SCORE 27466.347
AT ITER 162 NEW BEST:: SOT 51958 SOS 34344 HAS SOPS 34344 HAS SOUS 27429 HAS SOUPS 27429 WITH SCORE 27463.344
AT ITER 184 NEW BEST:: SOT 51871 SOS 34285 HAS SOPS 34285 HAS SOUS 27370 HAS SOUPS 27370 WITH SCORE 27404.285
AT ITER 191 NEW BEST:: SOT 51777 SOS 34190 HAS SOPS 34190 HAS SOUS 27275 HAS SOUPS 27275 WITH SCORE 27309.19
AT ITER 200 NEW BEST:: SOT 51961 SOS 33930 HAS SOPS 33930 HAS SOUS 27057 HAS SOUPS 27057 WITH SCORE 27090.93
AT ITER 205 NEW BEST:: SOT 52028 SOS 33849 HAS SOPS 33849 HAS SOUS 26976 HAS SOUPS 26976 WITH SCORE 27009.849
AT ITER 210 NEW BEST:: SOT 52003 SOS 33824 HAS SOPS 33824 HAS SOUS 26951 HAS SOUPS 26951 WITH SCORE 26984.824
AT ITER 220 NEW BEST:: SOT 51993 SOS 33814 HAS SOPS 33814 HAS SOUS 26941 HAS SOUPS 26941 WITH SCORE 26974.814
AT ITER 221 NEW BEST:: SOT 51937 SOS 33758 HAS SOPS 33758 HAS SOUS 26885 HAS SOUPS 26885 WITH SCORE 26918.758
AT ITER 238 NEW BEST:: SOT 51922 SOS 33738 HAS SOPS 33738 HAS SOUS 26851 HAS SOUPS 26851 WITH SCORE 26884.738
AT ITER 240 NEW BEST:: SOT 51921 SOS 33431 HAS SOPS 33431 HAS SOUS 26802 HAS SOUPS 26802 WITH SCORE 26835.431
AT ITER 242 NEW BEST:: SOT 51921 SOS 33447 HAS SOPS 33447 HAS SOUS 26759 HAS SOUPS 26759 WITH SCORE 26792.447
AT ITER 247 NEW BEST:: SOT 51952 SOS 33517 HAS SOPS 33517 HAS SOUS 26713 HAS SOUPS 26713 WITH SCORE 26746.517
AT ITER 255 NEW BEST:: SOT 51778 SOS 33243 HAS SOPS 33243 HAS SOUS 26439 HAS SOUPS 26439 WITH SCORE 26472.243
AT ITER 263 NEW BEST:: SOT 51777 SOS 33240 HAS SOPS 33240 HAS SOUS 26436 HAS SOUPS 26436 WITH SCORE 26469.24
AT ITER 266 NEW BEST:: SOT 51781 SOS 32794 HAS SOPS 32794 HAS SOUS 26314 HAS SOUPS 26314 WITH SCORE 26346.794
AT ITER 267 NEW BEST:: SOT 51747 SOS 32760 HAS SOPS 32760 HAS SOUS 26280 HAS SOUPS 26280 WITH SCORE 26312.76
AT ITER 269 NEW BEST:: SOT 51731 SOS 32744 HAS SOPS 32744 HAS SOUS 26264 HAS SOUPS 26264 WITH SCORE 26296.744
AT ITER 270 NEW BEST:: SOT 51707 SOS 32672 HAS SOPS 32672 HAS SOUS 26264 HAS SOUPS 26264 WITH SCORE 26296.672
AT ITER 274 NEW BEST:: SOT 51706 SOS 32703 HAS SOPS 32703 HAS SOUS 26227 HAS SOUPS 26227 WITH SCORE 26259.703
AT ITER 275 NEW BEST:: SOT 51654 SOS 32650 HAS SOPS 32650 HAS SOUS 26174 HAS SOUPS 26174 WITH SCORE 26206.65
AT ITER 278 NEW BEST:: SOT 51654 SOS 32573 HAS SOPS 32573 HAS SOUS 26155 HAS SOUPS 26155 WITH SCORE 26187.573
AT ITER 310 NEW BEST:: SOT 51657 SOS 32567 HAS SOPS 32567 HAS SOUS 26138 HAS SOUPS 26138 WITH SCORE 26170.567
AT ITER 320 NEW BEST:: SOT 51640 SOS 32550 HAS SOPS 32550 HAS SOUS 26121 HAS SOUPS 26121 WITH SCORE 26153.55
AT ITER 321 NEW BEST:: SOT 51612 SOS 32520 HAS SOPS 32520 HAS SOUS 26091 HAS SOUPS 26091 WITH SCORE 26123.52
AT ITER 322 NEW BEST:: SOT 51564 SOS 32472 HAS SOPS 32472 HAS SOUS 26043 HAS SOUPS 26043 WITH SCORE 26075.472
AT ITER 336 NEW BEST:: SOT 51543 SOS 32448 HAS SOPS 32448 HAS SOUS 26019 HAS SOUPS 26019 WITH SCORE 26051.448
AT ITER 344 NEW BEST:: SOT 51543 SOS 32406 HAS SOPS 32406 HAS SOUS 26019 HAS SOUPS 26019 WITH SCORE 26051.406
AT ITER 352 NEW BEST:: SOT 51512 SOS 32349 HAS SOPS 32349 HAS SOUS 25962 HAS SOUPS 25962 WITH SCORE 25994.349
AT ITER 363 NEW BEST:: SOT 51424 SOS 32217 HAS SOPS 32217 HAS SOUS 25830 HAS SOUPS 25830 WITH SCORE 25862.217
AT ITER 371 NEW BEST:: SOT 51305 SOS 32142 HAS SOPS 32142 HAS SOUS 25755 HAS SOUPS 25755 WITH SCORE 25787.142
AT ITER 380 NEW BEST:: SOT 51289 SOS 32124 HAS SOPS 32124 HAS SOUS 25736 HAS SOUPS 25736 WITH SCORE 25768.124
AT ITER 381 NEW BEST:: SOT 51281 SOS 32076 HAS SOPS 32076 HAS SOUS 25712 HAS SOUPS 25712 WITH SCORE 25744.076
AT ITER 389 NEW BEST:: SOT 51319 SOS 31987 HAS SOPS 31987 HAS SOUS 25604 HAS SOUPS 25604 WITH SCORE 25635.987
AT ITER 419 NEW BEST:: SOT 51254 SOS 31922 HAS SOPS 31922 HAS SOUS 25520 HAS SOUPS 25520 WITH SCORE 25551.922
AT ITER 433 NEW BEST:: SOT 51222 SOS 31922 HAS SOPS 31922 HAS SOUS 25518 HAS SOUPS 25518 WITH SCORE 25549.922
AT ITER 435 NEW BEST:: SOT 51228 SOS 31922 HAS SOPS 31922 HAS SOUS 25507 HAS SOUPS 25507 WITH SCORE 25538.922
AT ITER 437 NEW BEST:: SOT 51153 SOS 31822 HAS SOPS 31822 HAS SOUS 25407 HAS SOUPS 25407 WITH SCORE 25438.822
AT ITER 441 NEW BEST:: SOT 51142 SOS 31811 HAS SOPS 31811 HAS SOUS 25396 HAS SOUPS 25396 WITH SCORE 25427.811
AT ITER 446 NEW BEST:: SOT 51138 SOS 31807 HAS SOPS 31807 HAS SOUS 25392 HAS SOUPS 25392 WITH SCORE 25423.807
AT ITER 465 NEW BEST:: SOT 51122 SOS 31791 HAS SOPS 31791 HAS SOUS 25376 HAS SOUPS 25376 WITH SCORE 25407.791
AT ITER 469 NEW BEST:: SOT 51092 SOS 31761 HAS SOPS 31761 HAS SOUS 25346 HAS SOUPS 25346 WITH SCORE 25377.761
AT ITER 474 NEW BEST:: SOT 51232 SOS 31465 HAS SOPS 31465 HAS SOUS 25134 HAS SOUPS 25134 WITH SCORE 25165.465
AT ITER 486 NEW BEST:: SOT 51173 SOS 31416 HAS SOPS 31416 HAS SOUS 25085 HAS SOUPS 25085 WITH SCORE 25116.416
AT ITER 489 NEW BEST:: SOT 51369 SOS 30969 HAS SOPS 30969 HAS SOUS 25022 HAS SOUPS 25022 WITH SCORE 25052.969
AT ITER 497 NEW BEST:: SOT 51341 SOS 30941 HAS SOPS 30941 HAS SOUS 24994 HAS SOUPS 24994 WITH SCORE 25024.941
AT ITER 505 NEW BEST:: SOT 51341 SOS 30859 HAS SOPS 30859 HAS SOUS 24978 HAS SOUPS 24978 WITH SCORE 25008.859
AT ITER 510 NEW BEST:: SOT 51313 SOS 30731 HAS SOPS 30731 HAS SOUS 24959 HAS SOUPS 24959 WITH SCORE 24989.731
AT ITER 514 NEW BEST:: SOT 51265 SOS 30683 HAS SOPS 30683 HAS SOUS 24911 HAS SOUPS 24911 WITH SCORE 24941.683
AT ITER 521 NEW BEST:: SOT 51347 SOS 30768 HAS SOPS 30768 HAS SOUS 24856 HAS SOUPS 24856 WITH SCORE 24886.768
AT ITER 541 NEW BEST:: SOT 51313 SOS 30734 HAS SOPS 30734 HAS SOUS 24822 HAS SOUPS 24822 WITH SCORE 24852.734
AT ITER 548 NEW BEST:: SOT 51318 SOS 30733 HAS SOPS 30733 HAS SOUS 24807 HAS SOUPS 24807 WITH SCORE 24837.733
AT ITER 559 NEW BEST:: SOT 51296 SOS 30709 HAS SOPS 30709 HAS SOUS 24783 HAS SOUPS 24783 WITH SCORE 24813.709
AT ITER 560 NEW BEST:: SOT 51256 SOS 30669 HAS SOPS 30669 HAS SOUS 24743 HAS SOUPS 24743 WITH SCORE 24773.669
AT ITER 565 NEW BEST:: SOT 51255 SOS 30656 HAS SOPS 30656 HAS SOUS 24734 HAS SOUPS 24734 WITH SCORE 24764.656
AT ITER 570 NEW BEST:: SOT 51251 SOS 30652 HAS SOPS 30652 HAS SOUS 24730 HAS SOUPS 24730 WITH SCORE 24760.652
AT ITER 571 NEW BEST:: SOT 51247 SOS 30648 HAS SOPS 30648 HAS SOUS 24726 HAS SOUPS 24726 WITH SCORE 24756.648
AT ITER 586 NEW BEST:: SOT 51133 SOS 30512 HAS SOPS 30512 HAS SOUS 24582 HAS SOUPS 24582 WITH SCORE 24612.512
AT ITER 587 NEW BEST:: SOT 51110 SOS 30341 HAS SOPS 30341 HAS SOUS 24582 HAS SOUPS 24582 WITH SCORE 24612.341
AT ITER 591 NEW BEST:: SOT 50979 SOS 30292 HAS SOPS 30292 HAS SOUS 24482 HAS SOUPS 24482 WITH SCORE 24512.292
AT ITER 602 NEW BEST:: SOT 50979 SOS 30291 HAS SOPS 30291 HAS SOUS 24481 HAS SOUPS 24481 WITH SCORE 24511.291
AT ITER 607 NEW BEST:: SOT 50973 SOS 30274 HAS SOPS 30274 HAS SOUS 24447 HAS SOUPS 24447 WITH SCORE 24477.274
AT ITER 619 NEW BEST:: SOT 50971 SOS 30254 HAS SOPS 30254 HAS SOUS 24427 HAS SOUPS 24427 WITH SCORE 24457.254
AT ITER 627 NEW BEST:: SOT 51016 SOS 29913 HAS SOPS 29913 HAS SOUS 24366 HAS SOUPS 24366 WITH SCORE 24395.913
AT ITER 640 NEW BEST:: SOT 50973 SOS 29870 HAS SOPS 29870 HAS SOUS 24323 HAS SOUPS 24323 WITH SCORE 24352.87
AT ITER 657 NEW BEST:: SOT 50898 SOS 29786 HAS SOPS 29786 HAS SOUS 24239 HAS SOUPS 24239 WITH SCORE 24268.786
AT ITER 668 NEW BEST:: SOT 50884 SOS 29772 HAS SOPS 29772 HAS SOUS 24225 HAS SOUPS 24225 WITH SCORE 24254.772
AT ITER 671 NEW BEST:: SOT 50921 SOS 29782 HAS SOPS 29782 HAS SOUS 24188 HAS SOUPS 24188 WITH SCORE 24217.782
AT ITER 673 NEW BEST:: SOT 50919 SOS 29778 HAS SOPS 29778 HAS SOUS 24184 HAS SOUPS 24184 WITH SCORE 24213.778
AT ITER 681 NEW BEST:: SOT 50948 SOS 29733 HAS SOPS 29733 HAS SOUS 24139 HAS SOUPS 24139 WITH SCORE 24168.733
AT ITER 683 NEW BEST:: SOT 50878 SOS 29635 HAS SOPS 29635 HAS SOUS 24031 HAS SOUPS 24031 WITH SCORE 24060.635
AT ITER 696 NEW BEST:: SOT 50900 SOS 29552 HAS SOPS 29552 HAS SOUS 23961 HAS SOUPS 23961 WITH SCORE 23990.552
AT ITER 701 NEW BEST:: SOT 50840 SOS 29455 HAS SOPS 29455 HAS SOUS 23859 HAS SOUPS 23859 WITH SCORE 23888.455
AT ITER 715 NEW BEST:: SOT 50812 SOS 29424 HAS SOPS 29424 HAS SOUS 23828 HAS SOUPS 23828 WITH SCORE 23857.424
AT ITER 716 NEW BEST:: SOT 50759 SOS 29220 HAS SOPS 29220 HAS SOUS 23754 HAS SOUPS 23754 WITH SCORE 23783.22
AT ITER 717 NEW BEST:: SOT 50698 SOS 28890 HAS SOPS 28890 HAS SOUS 23752 HAS SOUPS 23752 WITH SCORE 23780.89
AT ITER 737 NEW BEST:: SOT 50687 SOS 28888 HAS SOPS 28888 HAS SOUS 23752 HAS SOUPS 23752 WITH SCORE 23780.888
AT ITER 738 NEW BEST:: SOT 50678 SOS 28879 HAS SOPS 28879 HAS SOUS 23743 HAS SOUPS 23743 WITH SCORE 23771.879
AT ITER 743 NEW BEST:: SOT 50534 SOS 28595 HAS SOPS 28595 HAS SOUS 23599 HAS SOUPS 23599 WITH SCORE 23627.595
AT ITER 746 NEW BEST:: SOT 50485 SOS 28546 HAS SOPS 28546 HAS SOUS 23550 HAS SOUPS 23550 WITH SCORE 23578.546
AT ITER 753 NEW BEST:: SOT 50488 SOS 28536 HAS SOPS 28536 HAS SOUS 23533 HAS SOUPS 23533 WITH SCORE 23561.536
AT ITER 760 NEW BEST:: SOT 50429 SOS 28368 HAS SOPS 28368 HAS SOUS 23440 HAS SOUPS 23440 WITH SCORE 23468.368
AT ITER 785 NEW BEST:: SOT 50350 SOS 28285 HAS SOPS 28285 HAS SOUS 23357 HAS SOUPS 23357 WITH SCORE 23385.285
AT ITER 808 NEW BEST:: SOT 50328 SOS 28263 HAS SOPS 28263 HAS SOUS 23335 HAS SOUPS 23335 WITH SCORE 23363.263
AT ITER 810 NEW BEST:: SOT 50320 SOS 28253 HAS SOPS 28253 HAS SOUS 23321 HAS SOUPS 23321 WITH SCORE 23349.253
AT ITER 815 NEW BEST:: SOT 50316 SOS 28125 HAS SOPS 28125 HAS SOUS 23310 HAS SOUPS 23310 WITH SCORE 23338.125
AT ITER 817 NEW BEST:: SOT 50307 SOS 28116 HAS SOPS 28116 HAS SOUS 23301 HAS SOUPS 23301 WITH SCORE 23329.116
AT ITER 823 NEW BEST:: SOT 50289 SOS 28080 HAS SOPS 28080 HAS SOUS 23265 HAS SOUPS 23265 WITH SCORE 23293.08
AT ITER 832 NEW BEST:: SOT 50263 SOS 28052 HAS SOPS 28052 HAS SOUS 23225 HAS SOUPS 23225 WITH SCORE 23253.052
AT ITER 835 NEW BEST:: SOT 50393 SOS 28111 HAS SOPS 28111 HAS SOUS 23220 HAS SOUPS 23220 WITH SCORE 23248.111
AT ITER 839 NEW BEST:: SOT 50379 SOS 28097 HAS SOPS 28097 HAS SOUS 23206 HAS SOUPS 23206 WITH SCORE 23234.097
AT ITER 846 NEW BEST:: SOT 50496 SOS 27957 HAS SOPS 27957 HAS SOUS 23179 HAS SOUPS 23179 WITH SCORE 23206.957
AT ITER 856 NEW BEST:: SOT 50495 SOS 27919 HAS SOPS 27919 HAS SOUS 23175 HAS SOUPS 23175 WITH SCORE 23202.919
AT ITER 873 NEW BEST:: SOT 50395 SOS 27795 HAS SOPS 27795 HAS SOUS 23051 HAS SOUPS 23051 WITH SCORE 23078.795
AT ITER 891 NEW BEST:: SOT 50372 SOS 27837 HAS SOPS 27837 HAS SOUS 23021 HAS SOUPS 23021 WITH SCORE 23048.837
AT ITER 901 NEW BEST:: SOT 50354 SOS 27729 HAS SOPS 27729 HAS SOUS 22985 HAS SOUPS 22985 WITH SCORE 23012.729
AT ITER 902 NEW BEST:: SOT 50354 SOS 27725 HAS SOPS 27725 HAS SOUS 22984 HAS SOUPS 22984 WITH SCORE 23011.725
AT ITER 905 NEW BEST:: SOT 50350 SOS 27725 HAS SOPS 27725 HAS SOUS 22980 HAS SOUPS 22980 WITH SCORE 23007.725
AT ITER 911 NEW BEST:: SOT 49955 SOS 27475 HAS SOPS 27475 HAS SOUS 22765 HAS SOUPS 22765 WITH SCORE 22792.475
AT ITER 916 NEW BEST:: SOT 49914 SOS 27438 HAS SOPS 27438 HAS SOUS 22737 HAS SOUPS 22737 WITH SCORE 22764.438
AT ITER 922 NEW BEST:: SOT 49980 SOS 27155 HAS SOPS 27155 HAS SOUS 22725 HAS SOUPS 22725 WITH SCORE 22752.155
AT ITER 923 NEW BEST:: SOT 49881 SOS 26920 HAS SOPS 26920 HAS SOUS 22555 HAS SOUPS 22555 WITH SCORE 22581.92
AT ITER 927 NEW BEST:: SOT 49859 SOS 26874 HAS SOPS 26874 HAS SOUS 22511 HAS SOUPS 22511 WITH SCORE 22537.874
AT ITER 931 NEW BEST:: SOT 49871 SOS 26854 HAS SOPS 26854 HAS SOUS 22417 HAS SOUPS 22417 WITH SCORE 22443.854
AT ITER 934 NEW BEST:: SOT 49908 SOS 26604 HAS SOPS 26604 HAS SOUS 22407 HAS SOUPS 22407 WITH SCORE 22433.604
AT ITER 935 NEW BEST:: SOT 49881 SOS 26550 HAS SOPS 26550 HAS SOUS 22353 HAS SOUPS 22353 WITH SCORE 22379.55
AT ITER 943 NEW BEST:: SOT 49842 SOS 26526 HAS SOPS 26526 HAS SOUS 22329 HAS SOUPS 22329 WITH SCORE 22355.526
AT ITER 948 NEW BEST:: SOT 49842 SOS 26363 HAS SOPS 26363 HAS SOUS 22148 HAS SOUPS 22148 WITH SCORE 22174.363
AT ITER 950 NEW BEST:: SOT 49776 SOS 26297 HAS SOPS 26297 HAS SOUS 22082 HAS SOUPS 22082 WITH SCORE 22108.297
AT ITER 952 NEW BEST:: SOT 49785 SOS 26292 HAS SOPS 26292 HAS SOUS 22077 HAS SOUPS 22077 WITH SCORE 22103.292
AT ITER 974 NEW BEST:: SOT 49782 SOS 26289 HAS SOPS 26289 HAS SOUS 22074 HAS SOUPS 22074 WITH SCORE 22100.289
AT ITER 975 NEW BEST:: SOT 49692 SOS 26164 HAS SOPS 26164 HAS SOUS 21949 HAS SOUPS 21949 WITH SCORE 21975.164
AT ITER 981 NEW BEST:: SOT 49690 SOS 26161 HAS SOPS 26161 HAS SOUS 21946 HAS SOUPS 21946 WITH SCORE 21972.161
AT ITER 988 NEW BEST:: SOT 49685 SOS 26156 HAS SOPS 26156 HAS SOUS 21941 HAS SOUPS 21941 WITH SCORE 21967.156
AT ITER 989 NEW BEST:: SOT 49686 SOS 26151 HAS SOPS 26151 HAS SOUS 21930 HAS SOUPS 21930 WITH SCORE 21956.151
AT ITER 995 NEW BEST:: SOT 49670 SOS 26135 HAS SOPS 26135 HAS SOUS 21882 HAS SOUPS 21882 WITH SCORE 21908.135
AT ITER 1009 NEW BEST:: SOT 49603 SOS 26068 HAS SOPS 26068 HAS SOUS 21815 HAS SOUPS 21815 WITH SCORE 21841.068
AT ITER 1034 NEW BEST:: SOT 49562 SOS 25847 HAS SOPS 25847 HAS SOUS 21717 HAS SOUPS 21717 WITH SCORE 21742.847
AT ITER 1036 NEW BEST:: SOT 49563 SOS 25848 HAS SOPS 25848 HAS SOUS 21710 HAS SOUPS 21710 WITH SCORE 21735.848
AT ITER 1041 NEW BEST:: SOT 49497 SOS 25756 HAS SOPS 25756 HAS SOUS 21710 HAS SOUPS 21710 WITH SCORE 21735.756
AT ITER 1056 NEW BEST:: SOT 49491 SOS 25747 HAS SOPS 25747 HAS SOUS 21701 HAS SOUPS 21701 WITH SCORE 21726.747
AT ITER 1067 NEW BEST:: SOT 49491 SOS 25777 HAS SOPS 25777 HAS SOUS 21699 HAS SOUPS 21699 WITH SCORE 21724.777
AT ITER 1071 NEW BEST:: SOT 49456 SOS 25742 HAS SOPS 25742 HAS SOUS 21664 HAS SOUPS 21664 WITH SCORE 21689.742
AT ITER 1096 NEW BEST:: SOT 49443 SOS 25716 HAS SOPS 25716 HAS SOUS 21638 HAS SOUPS 21638 WITH SCORE 21663.716
AT ITER 1101 NEW BEST:: SOT 49431 SOS 25673 HAS SOPS 25673 HAS SOUS 21602 HAS SOUPS 21602 WITH SCORE 21627.673
AT ITER 1112 NEW BEST:: SOT 49392 SOS 25605 HAS SOPS 25605 HAS SOUS 21495 HAS SOUPS 21495 WITH SCORE 21520.605
AT ITER 1120 NEW BEST:: SOT 49350 SOS 25527 HAS SOPS 25527 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21442.527
AT ITER 1129 NEW BEST:: SOT 49350 SOS 25293 HAS SOPS 25293 HAS SOUS 21342 HAS SOUPS 21342 WITH SCORE 21367.293
AT ITER 1136 NEW BEST:: SOT 49340 SOS 25235 HAS SOPS 25235 HAS SOUS 21284 HAS SOUPS 21284 WITH SCORE 21309.235
AT ITER 1160 NEW BEST:: SOT 49242 SOS 25039 HAS SOPS 25039 HAS SOUS 21134 HAS SOUPS 21134 WITH SCORE 21159.039
AT ITER 1165 NEW BEST:: SOT 49233 SOS 25021 HAS SOPS 25021 HAS SOUS 21126 HAS SOUPS 21126 WITH SCORE 21151.021
AT ITER 1182 NEW BEST:: SOT 49213 SOS 24988 HAS SOPS 24988 HAS SOUS 21093 HAS SOUPS 21093 WITH SCORE 21117.988
AT ITER 1189 NEW BEST:: SOT 49192 SOS 24910 HAS SOPS 24910 HAS SOUS 21070 HAS SOUPS 21070 WITH SCORE 21094.91
AT ITER 1194 NEW BEST:: SOT 49178 SOS 24825 HAS SOPS 24825 HAS SOUS 21058 HAS SOUPS 21058 WITH SCORE 21082.825
AT ITER 1200 NEW BEST:: SOT 49169 SOS 24818 HAS SOPS 24818 HAS SOUS 21056 HAS SOUPS 21056 WITH SCORE 21080.818
AT ITER 1203 NEW BEST:: SOT 49183 SOS 24824 HAS SOPS 24824 HAS SOUS 21050 HAS SOUPS 21050 WITH SCORE 21074.824
AT ITER 1211 NEW BEST:: SOT 49195 SOS 24820 HAS SOPS 24820 HAS SOUS 21046 HAS SOUPS 21046 WITH SCORE 21070.82
AT ITER 1221 NEW BEST:: SOT 49201 SOS 24794 HAS SOPS 24794 HAS SOUS 20963 HAS SOUPS 20963 WITH SCORE 20987.794
AT ITER 1229 NEW BEST:: SOT 49162 SOS 24746 HAS SOPS 24746 HAS SOUS 20915 HAS SOUPS 20915 WITH SCORE 20939.746
AT ITER 1231 NEW BEST:: SOT 49160 SOS 24744 HAS SOPS 24744 HAS SOUS 20913 HAS SOUPS 20913 WITH SCORE 20937.744
AT ITER 1234 NEW BEST:: SOT 49074 SOS 24700 HAS SOPS 24700 HAS SOUS 20861 HAS SOUPS 20861 WITH SCORE 20885.7
AT ITER 1236 NEW BEST:: SOT 49006 SOS 24623 HAS SOPS 24623 HAS SOUS 20784 HAS SOUPS 20784 WITH SCORE 20808.623
AT ITER 1247 NEW BEST:: SOT 48961 SOS 24576 HAS SOPS 24576 HAS SOUS 20741 HAS SOUPS 20741 WITH SCORE 20765.576
AT ITER 1249 NEW BEST:: SOT 48945 SOS 24576 HAS SOPS 24576 HAS SOUS 20735 HAS SOUPS 20735 WITH SCORE 20759.576
AT ITER 1260 NEW BEST:: SOT 48949 SOS 24514 HAS SOPS 24514 HAS SOUS 20673 HAS SOUPS 20673 WITH SCORE 20697.514
AT ITER 1279 NEW BEST:: SOT 48949 SOS 24497 HAS SOPS 24497 HAS SOUS 20668 HAS SOUPS 20668 WITH SCORE 20692.497
AT ITER 1286 NEW BEST:: SOT 48949 SOS 24479 HAS SOPS 24479 HAS SOUS 20650 HAS SOUPS 20650 WITH SCORE 20674.479
AT ITER 1288 NEW BEST:: SOT 48942 SOS 24451 HAS SOPS 24451 HAS SOUS 20633 HAS SOUPS 20633 WITH SCORE 20657.451
AT ITER 1290 NEW BEST:: SOT 48934 SOS 24443 HAS SOPS 24443 HAS SOUS 20625 HAS SOUPS 20625 WITH SCORE 20649.443
AT ITER 1294 NEW BEST:: SOT 48880 SOS 24389 HAS SOPS 24389 HAS SOUS 20571 HAS SOUPS 20571 WITH SCORE 20595.389
AT ITER 1296 NEW BEST:: SOT 48869 SOS 24378 HAS SOPS 24378 HAS SOUS 20560 HAS SOUPS 20560 WITH SCORE 20584.378
AT ITER 1308 NEW BEST:: SOT 48859 SOS 24348 HAS SOPS 24348 HAS SOUS 20550 HAS SOUPS 20550 WITH SCORE 20574.348
AT ITER 1312 NEW BEST:: SOT 48859 SOS 24322 HAS SOPS 24322 HAS SOUS 20511 HAS SOUPS 20511 WITH SCORE 20535.322
AT ITER 1325 NEW BEST:: SOT 48825 SOS 24190 HAS SOPS 24190 HAS SOUS 20379 HAS SOUPS 20379 WITH SCORE 20403.19
AT ITER 1349 NEW BEST:: SOT 48825 SOS 24061 HAS SOPS 24061 HAS SOUS 20373 HAS SOUPS 20373 WITH SCORE 20397.061
AT ITER 1351 NEW BEST:: SOT 48822 SOS 24007 HAS SOPS 24007 HAS SOUS 20319 HAS SOUPS 20319 WITH SCORE 20343.007
AT ITER 1352 NEW BEST:: SOT 48820 SOS 23997 HAS SOPS 23997 HAS SOUS 20309 HAS SOUPS 20309 WITH SCORE 20332.997
AT ITER 1367 NEW BEST:: SOT 48795 SOS 23972 HAS SOPS 23972 HAS SOUS 20284 HAS SOUPS 20284 WITH SCORE 20307.972
AT ITER 1383 NEW BEST:: SOT 48797 SOS 23951 HAS SOPS 23951 HAS SOUS 20263 HAS SOUPS 20263 WITH SCORE 20286.951
AT ITER 1387 NEW BEST:: SOT 48787 SOS 23940 HAS SOPS 23940 HAS SOUS 20252 HAS SOUPS 20252 WITH SCORE 20275.94
AT ITER 1411 NEW BEST:: SOT 48778 SOS 23858 HAS SOPS 23858 HAS SOUS 20150 HAS SOUPS 20150 WITH SCORE 20173.858
AT ITER 1412 NEW BEST:: SOT 48719 SOS 23782 HAS SOPS 23782 HAS SOUS 20084 HAS SOUPS 20084 WITH SCORE 20107.782
AT ITER 1413 NEW BEST:: SOT 48755 SOS 23795 HAS SOPS 23795 HAS SOUS 20056 HAS SOUPS 20056 WITH SCORE 20079.795
AT ITER 1418 NEW BEST:: SOT 48713 SOS 23699 HAS SOPS 23699 HAS SOUS 20003 HAS SOUPS 20003 WITH SCORE 20026.699
AT ITER 1426 NEW BEST:: SOT 48633 SOS 23543 HAS SOPS 23543 HAS SOUS 19882 HAS SOUPS 19882 WITH SCORE 19905.543
AT ITER 1427 NEW BEST:: SOT 48633 SOS 23543 HAS SOPS 23543 HAS SOUS 19757 HAS SOUPS 19757 WITH SCORE 19780.543
AT ITER 1445 NEW BEST:: SOT 48633 SOS 23528 HAS SOPS 23528 HAS SOUS 19742 HAS SOUPS 19742 WITH SCORE 19765.528
AT ITER 1450 NEW BEST:: SOT 48631 SOS 23526 HAS SOPS 23526 HAS SOUS 19736 HAS SOUPS 19736 WITH SCORE 19759.526
AT ITER 1456 NEW BEST:: SOT 48631 SOS 23519 HAS SOPS 23519 HAS SOUS 19729 HAS SOUPS 19729 WITH SCORE 19752.519
AT ITER 1457 NEW BEST:: SOT 48599 SOS 23485 HAS SOPS 23485 HAS SOUS 19696 HAS SOUPS 19696 WITH SCORE 19719.485
AT ITER 1462 NEW BEST:: SOT 48579 SOS 23475 HAS SOPS 23475 HAS SOUS 19686 HAS SOUPS 19686 WITH SCORE 19709.475
AT ITER 1480 NEW BEST:: SOT 48556 SOS 23446 HAS SOPS 23446 HAS SOUS 19657 HAS SOUPS 19657 WITH SCORE 19680.446
AT ITER 1488 NEW BEST:: SOT 48512 SOS 23378 HAS SOPS 23378 HAS SOUS 19589 HAS SOUPS 19589 WITH SCORE 19612.378
AT ITER 1511 NEW BEST:: SOT 48505 SOS 23366 HAS SOPS 23366 HAS SOUS 19582 HAS SOUPS 19582 WITH SCORE 19605.366
AT ITER 1516 NEW BEST:: SOT 48382 SOS 23174 HAS SOPS 23174 HAS SOUS 19390 HAS SOUPS 19390 WITH SCORE 19413.174
AT ITER 1522 NEW BEST:: SOT 48222 SOS 22921 HAS SOPS 22921 HAS SOUS 19179 HAS SOUPS 19179 WITH SCORE 19201.921
AT ITER 1529 NEW BEST:: SOT 48222 SOS 22857 HAS SOPS 22857 HAS SOUS 19179 HAS SOUPS 19179 WITH SCORE 19201.857
AT ITER 1547 NEW BEST:: SOT 48137 SOS 22644 HAS SOPS 22644 HAS SOUS 19060 HAS SOUPS 19060 WITH SCORE 19082.644
AT ITER 1550 NEW BEST:: SOT 48001 SOS 22473 HAS SOPS 22473 HAS SOUS 18892 HAS SOUPS 18892 WITH SCORE 18914.473
AT ITER 1558 NEW BEST:: SOT 48037 SOS 22499 HAS SOPS 22499 HAS SOUS 18887 HAS SOUPS 18887 WITH SCORE 18909.499
AT ITER 1572 NEW BEST:: SOT 48073 SOS 22535 HAS SOPS 22535 HAS SOUS 18852 HAS SOUPS 18852 WITH SCORE 18874.535
AT ITER 1578 NEW BEST:: SOT 48063 SOS 22511 HAS SOPS 22511 HAS SOUS 18828 HAS SOUPS 18828 WITH SCORE 18850.511
AT ITER 1584 NEW BEST:: SOT 48055 SOS 22468 HAS SOPS 22468 HAS SOUS 18816 HAS SOUPS 18816 WITH SCORE 18838.468
AT ITER 1593 NEW BEST:: SOT 48005 SOS 22404 HAS SOPS 22404 HAS SOUS 18736 HAS SOUPS 18736 WITH SCORE 18758.404
AT ITER 1622 NEW BEST:: SOT 48005 SOS 22401 HAS SOPS 22401 HAS SOUS 18736 HAS SOUPS 18736 WITH SCORE 18758.401
AT ITER 1626 NEW BEST:: SOT 47969 SOS 22365 HAS SOPS 22365 HAS SOUS 18700 HAS SOUPS 18700 WITH SCORE 18722.365
AT ITER 1641 NEW BEST:: SOT 47906 SOS 22117 HAS SOPS 22117 HAS SOUS 18511 HAS SOUPS 18511 WITH SCORE 18533.117
AT ITER 1645 NEW BEST:: SOT 47923 SOS 22146 HAS SOPS 22146 HAS SOUS 18509 HAS SOUPS 18509 WITH SCORE 18531.146
AT ITER 1652 NEW BEST:: SOT 47790 SOS 21949 HAS SOPS 21949 HAS SOUS 18312 HAS SOUPS 18312 WITH SCORE 18333.949
AT ITER 1656 NEW BEST:: SOT 47772 SOS 21931 HAS SOPS 21931 HAS SOUS 18294 HAS SOUPS 18294 WITH SCORE 18315.931
AT ITER 1676 NEW BEST:: SOT 47839 SOS 22098 HAS SOPS 22098 HAS SOUS 18249 HAS SOUPS 18249 WITH SCORE 18271.098
AT ITER 1678 NEW BEST:: SOT 47813 SOS 21947 HAS SOPS 21947 HAS SOUS 18173 HAS SOUPS 18173 WITH SCORE 18194.947
AT ITER 1706 NEW BEST:: SOT 47810 SOS 21938 HAS SOPS 21938 HAS SOUS 18170 HAS SOUPS 18170 WITH SCORE 18191.938
AT ITER 1730 NEW BEST:: SOT 47785 SOS 21943 HAS SOPS 21943 HAS SOUS 18164 HAS SOUPS 18164 WITH SCORE 18185.943
AT ITER 1738 NEW BEST:: SOT 47785 SOS 21942 HAS SOPS 21942 HAS SOUS 18164 HAS SOUPS 18164 WITH SCORE 18185.942
AT ITER 1782 NEW BEST:: SOT 47768 SOS 21914 HAS SOPS 21914 HAS SOUS 18136 HAS SOUPS 18136 WITH SCORE 18157.914
AT ITER 1802 NEW BEST:: SOT 47776 SOS 21920 HAS SOPS 21920 HAS SOUS 18124 HAS SOUPS 18124 WITH SCORE 18145.92
AT ITER 1805 NEW BEST:: SOT 47750 SOS 21866 HAS SOPS 21866 HAS SOUS 18072 HAS SOUPS 18072 WITH SCORE 18093.866
AT ITER 1812 NEW BEST:: SOT 47722 SOS 21736 HAS SOPS 21736 HAS SOUS 18024 HAS SOUPS 18024 WITH SCORE 18045.736
AT ITER 1815 NEW BEST:: SOT 47720 SOS 21734 HAS SOPS 21734 HAS SOUS 18022 HAS SOUPS 18022 WITH SCORE 18043.734
AT ITER 1828 NEW BEST:: SOT 47726 SOS 21231 HAS SOPS 21231 HAS SOUS 17835 HAS SOUPS 17835 WITH SCORE 17856.231
AT ITER 1829 NEW BEST:: SOT 47608 SOS 20869 HAS SOPS 20869 HAS SOUS 17656 HAS SOUPS 17656 WITH SCORE 17676.869
AT ITER 1841 NEW BEST:: SOT 47597 SOS 20849 HAS SOPS 20849 HAS SOUS 17634 HAS SOUPS 17634 WITH SCORE 17654.849
AT ITER 1845 NEW BEST:: SOT 47543 SOS 20822 HAS SOPS 20822 HAS SOUS 17607 HAS SOUPS 17607 WITH SCORE 17627.822
AT ITER 1853 NEW BEST:: SOT 47543 SOS 20813 HAS SOPS 20813 HAS SOUS 17582 HAS SOUPS 17582 WITH SCORE 17602.813
AT ITER 1871 NEW BEST:: SOT 47571 SOS 20732 HAS SOPS 20732 HAS SOUS 17529 HAS SOUPS 17529 WITH SCORE 17549.732
AT ITER 1880 NEW BEST:: SOT 47495 SOS 20594 HAS SOPS 20594 HAS SOUS 17391 HAS SOUPS 17391 WITH SCORE 17411.594
AT ITER 1942 NEW BEST:: SOT 47384 SOS 20501 HAS SOPS 20501 HAS SOUS 17309 HAS SOUPS 17309 WITH SCORE 17329.501
AT ITER 1944 NEW BEST:: SOT 47380 SOS 20483 HAS SOPS 20483 HAS SOUS 17291 HAS SOUPS 17291 WITH SCORE 17311.483
AT ITER 1949 NEW BEST:: SOT 47374 SOS 20480 HAS SOPS 20480 HAS SOUS 17288 HAS SOUPS 17288 WITH SCORE 17308.48
AT ITER 1954 NEW BEST:: SOT 47428 SOS 20424 HAS SOPS 20424 HAS SOUS 17285 HAS SOUPS 17285 WITH SCORE 17305.424
AT ITER 1961 NEW BEST:: SOT 47425 SOS 20411 HAS SOPS 20411 HAS SOUS 17272 HAS SOUPS 17272 WITH SCORE 17292.411
AT ITER 1984 NEW BEST:: SOT 47397 SOS 20372 HAS SOPS 20372 HAS SOUS 17237 HAS SOUPS 17237 WITH SCORE 17257.372
AT ITER 1991 NEW BEST:: SOT 47397 SOS 20326 HAS SOPS 20326 HAS SOUS 17206 HAS SOUPS 17206 WITH SCORE 17226.326
AT ITER 1997 NEW BEST:: SOT 47397 SOS 20315 HAS SOPS 20315 HAS SOUS 17195 HAS SOUPS 17195 WITH SCORE 17215.315
AT ITER 2003 NEW BEST:: SOT 47397 SOS 20243 HAS SOPS 20243 HAS SOUS 17177 HAS SOUPS 17177 WITH SCORE 17197.243
AT ITER 2012 NEW BEST:: SOT 47396 SOS 20242 HAS SOPS 20242 HAS SOUS 17167 HAS SOUPS 17167 WITH SCORE 17187.242
AT ITER 2022 NEW BEST:: SOT 47330 SOS 20171 HAS SOPS 20171 HAS SOUS 17096 HAS SOUPS 17096 WITH SCORE 17116.171
AT ITER 2026 NEW BEST:: SOT 47325 SOS 20142 HAS SOPS 20142 HAS SOUS 17067 HAS SOUPS 17067 WITH SCORE 17087.142
AT ITER 2050 NEW BEST:: SOT 47325 SOS 20138 HAS SOPS 20138 HAS SOUS 17063 HAS SOUPS 17063 WITH SCORE 17083.138
AT ITER 2054 NEW BEST:: SOT 47243 SOS 20022 HAS SOPS 20022 HAS SOUS 16947 HAS SOUPS 16947 WITH SCORE 16967.022
AT ITER 2055 NEW BEST:: SOT 47230 SOS 19985 HAS SOPS 19985 HAS SOUS 16914 HAS SOUPS 16914 WITH SCORE 16933.985
AT ITER 2061 NEW BEST:: SOT 47230 SOS 20010 HAS SOPS 20010 HAS SOUS 16905 HAS SOUPS 16905 WITH SCORE 16925.01
AT ITER 2069 NEW BEST:: SOT 47166 SOS 19914 HAS SOPS 19914 HAS SOUS 16809 HAS SOUPS 16809 WITH SCORE 16828.914
AT ITER 2070 NEW BEST:: SOT 47150 SOS 19878 HAS SOPS 19878 HAS SOUS 16790 HAS SOUPS 16790 WITH SCORE 16809.878
AT ITER 2078 NEW BEST:: SOT 47171 SOS 19842 HAS SOPS 19842 HAS SOUS 16745 HAS SOUPS 16745 WITH SCORE 16764.842
AT ITER 2090 NEW BEST:: SOT 47171 SOS 19831 HAS SOPS 19831 HAS SOUS 16740 HAS SOUPS 16740 WITH SCORE 16759.831
AT ITER 2109 NEW BEST:: SOT 46941 SOS 19588 HAS SOPS 19588 HAS SOUS 16497 HAS SOUPS 16497 WITH SCORE 16516.588
AT ITER 2115 NEW BEST:: SOT 46931 SOS 19581 HAS SOPS 19581 HAS SOUS 16471 HAS SOUPS 16471 WITH SCORE 16490.581
AT ITER 2121 NEW BEST:: SOT 46904 SOS 19503 HAS SOPS 19503 HAS SOUS 16407 HAS SOUPS 16407 WITH SCORE 16426.503
AT ITER 2153 NEW BEST:: SOT 46906 SOS 19499 HAS SOPS 19499 HAS SOUS 16403 HAS SOUPS 16403 WITH SCORE 16422.499
AT ITER 2158 NEW BEST:: SOT 46905 SOS 19464 HAS SOPS 19464 HAS SOUS 16400 HAS SOUPS 16400 WITH SCORE 16419.464
AT ITER 2161 NEW BEST:: SOT 46900 SOS 19434 HAS SOPS 19434 HAS SOUS 16385 HAS SOUPS 16385 WITH SCORE 16404.434
AT ITER 2165 NEW BEST:: SOT 46875 SOS 19384 HAS SOPS 19384 HAS SOUS 16359 HAS SOUPS 16359 WITH SCORE 16378.384
AT ITER 2166 NEW BEST:: SOT 46873 SOS 19348 HAS SOPS 19348 HAS SOUS 16290 HAS SOUPS 16290 WITH SCORE 16309.348
AT ITER 2205 NEW BEST:: SOT 46871 SOS 19346 HAS SOPS 19346 HAS SOUS 16288 HAS SOUPS 16288 WITH SCORE 16307.346
AT ITER 2215 NEW BEST:: SOT 46864 SOS 19329 HAS SOPS 19329 HAS SOUS 16274 HAS SOUPS 16274 WITH SCORE 16293.329
AT ITER 2278 NEW BEST:: SOT 46869 SOS 19315 HAS SOPS 19315 HAS SOUS 16260 HAS SOUPS 16260 WITH SCORE 16279.315
AT ITER 2300 NEW BEST:: SOT 46853 SOS 19256 HAS SOPS 19256 HAS SOUS 16216 HAS SOUPS 16216 WITH SCORE 16235.256
AT ITER 2307 NEW BEST:: SOT 46830 SOS 19059 HAS SOPS 19059 HAS SOUS 16185 HAS SOUPS 16185 WITH SCORE 16204.059
AT ITER 2321 NEW BEST:: SOT 46697 SOS 18798 HAS SOPS 18798 HAS SOUS 15969 HAS SOUPS 15969 WITH SCORE 15987.798
AT ITER 2345 NEW BEST:: SOT 46721 SOS 18754 HAS SOPS 18754 HAS SOUS 15962 HAS SOUPS 15962 WITH SCORE 15980.754
AT ITER 2374 NEW BEST:: SOT 46721 SOS 18727 HAS SOPS 18727 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15952.727
AT ITER 2379 NEW BEST:: SOT 46713 SOS 18724 HAS SOPS 18724 HAS SOUS 15931 HAS SOUPS 15931 WITH SCORE 15949.724
AT ITER 2380 NEW BEST:: SOT 46759 SOS 18301 HAS SOPS 18301 HAS SOUS 15863 HAS SOUPS 15863 WITH SCORE 15881.301
AT ITER 2398 NEW BEST:: SOT 46700 SOS 18343 HAS SOPS 18343 HAS SOUS 15856 HAS SOUPS 15856 WITH SCORE 15874.343
AT ITER 2409 NEW BEST:: SOT 46689 SOS 18314 HAS SOPS 18314 HAS SOUS 15836 HAS SOUPS 15836 WITH SCORE 15854.314
AT ITER 2432 NEW BEST:: SOT 46668 SOS 18053 HAS SOPS 18053 HAS SOUS 15760 HAS SOUPS 15760 WITH SCORE 15778.053
AT ITER 2437 NEW BEST:: SOT 46652 SOS 18035 HAS SOPS 18035 HAS SOUS 15748 HAS SOUPS 15748 WITH SCORE 15766.035
AT ITER 2441 NEW BEST:: SOT 46664 SOS 18034 HAS SOPS 18034 HAS SOUS 15747 HAS SOUPS 15747 WITH SCORE 15765.034
AT ITER 2453 NEW BEST:: SOT 46664 SOS 18005 HAS SOPS 18005 HAS SOUS 15718 HAS SOUPS 15718 WITH SCORE 15736.005
AT ITER 2504 NEW BEST:: SOT 46644 SOS 17804 HAS SOPS 17804 HAS SOUS 15655 HAS SOUPS 15655 WITH SCORE 15672.804
AT ITER 2507 NEW BEST:: SOT 46582 SOS 17724 HAS SOPS 17724 HAS SOUS 15580 HAS SOUPS 15580 WITH SCORE 15597.724
AT ITER 2508 NEW BEST:: SOT 46553 SOS 17676 HAS SOPS 17676 HAS SOUS 15532 HAS SOUPS 15532 WITH SCORE 15549.676
AT ITER 2516 NEW BEST:: SOT 46454 SOS 17656 HAS SOPS 17656 HAS SOUS 15492 HAS SOUPS 15492 WITH SCORE 15509.656
AT ITER 2521 NEW BEST:: SOT 46449 SOS 17646 HAS SOPS 17646 HAS SOUS 15482 HAS SOUPS 15482 WITH SCORE 15499.646
AT ITER 2532 NEW BEST:: SOT 46435 SOS 17632 HAS SOPS 17632 HAS SOUS 15477 HAS SOUPS 15477 WITH SCORE 15494.632
AT ITER 2545 NEW BEST:: SOT 46425 SOS 17622 HAS SOPS 17622 HAS SOUS 15472 HAS SOUPS 15472 WITH SCORE 15489.622
AT ITER 2552 NEW BEST:: SOT 46421 SOS 17614 HAS SOPS 17614 HAS SOUS 15464 HAS SOUPS 15464 WITH SCORE 15481.614
AT ITER 2562 NEW BEST:: SOT 46400 SOS 17453 HAS SOPS 17453 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15410.453
AT ITER 2576 NEW BEST:: SOT 46383 SOS 17452 HAS SOPS 17452 HAS SOUS 15392 HAS SOUPS 15392 WITH SCORE 15409.452
AT ITER 2582 NEW BEST:: SOT 46381 SOS 17450 HAS SOPS 17450 HAS SOUS 15390 HAS SOUPS 15390 WITH SCORE 15407.45
AT ITER 2583 NEW BEST:: SOT 46381 SOS 17446 HAS SOPS 17446 HAS SOUS 15389 HAS SOUPS 15389 WITH SCORE 15406.446
AT ITER 2586 NEW BEST:: SOT 46310 SOS 17372 HAS SOPS 17372 HAS SOUS 15336 HAS SOUPS 15336 WITH SCORE 15353.372
AT ITER 2593 NEW BEST:: SOT 46270 SOS 17269 HAS SOPS 17269 HAS SOUS 15272 HAS SOUPS 15272 WITH SCORE 15289.269
AT ITER 2633 NEW BEST:: SOT 46273 SOS 17252 HAS SOPS 17252 HAS SOUS 15271 HAS SOUPS 15271 WITH SCORE 15288.252
AT ITER 2638 NEW BEST:: SOT 46279 SOS 17230 HAS SOPS 17230 HAS SOUS 15263 HAS SOUPS 15263 WITH SCORE 15280.23
AT ITER 2650 NEW BEST:: SOT 46279 SOS 17196 HAS SOPS 17196 HAS SOUS 15251 HAS SOUPS 15251 WITH SCORE 15268.196
AT ITER 2695 NEW BEST:: SOT 46274 SOS 17145 HAS SOPS 17145 HAS SOUS 15212 HAS SOUPS 15212 WITH SCORE 15229.145
AT ITER 2697 NEW BEST:: SOT 46274 SOS 17122 HAS SOPS 17122 HAS SOUS 15189 HAS SOUPS 15189 WITH SCORE 15206.122
AT ITER 2706 NEW BEST:: SOT 46268 SOS 17116 HAS SOPS 17116 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15200.116
AT ITER 2709 NEW BEST:: SOT 46235 SOS 17043 HAS SOPS 17043 HAS SOUS 15153 HAS SOUPS 15153 WITH SCORE 15170.043
AT ITER 2729 NEW BEST:: SOT 46209 SOS 16987 HAS SOPS 16987 HAS SOUS 15148 HAS SOUPS 15148 WITH SCORE 15164.987
AT ITER 2752 NEW BEST:: SOT 46200 SOS 16973 HAS SOPS 16973 HAS SOUS 15134 HAS SOUPS 15134 WITH SCORE 15150.973
AT ITER 2764 NEW BEST:: SOT 46216 SOS 16902 HAS SOPS 16902 HAS SOUS 15080 HAS SOUPS 15080 WITH SCORE 15096.902
AT ITER 2770 NEW BEST:: SOT 46221 SOS 16868 HAS SOPS 16868 HAS SOUS 15046 HAS SOUPS 15046 WITH SCORE 15062.868
AT ITER 2778 NEW BEST:: SOT 46221 SOS 16866 HAS SOPS 16866 HAS SOUS 15044 HAS SOUPS 15044 WITH SCORE 15060.866
AT ITER 2803 NEW BEST:: SOT 46219 SOS 16840 HAS SOPS 16840 HAS SOUS 15030 HAS SOUPS 15030 WITH SCORE 15046.84
AT ITER 2805 NEW BEST:: SOT 46211 SOS 16832 HAS SOPS 16832 HAS SOUS 15022 HAS SOUPS 15022 WITH SCORE 15038.832
AT ITER 2811 NEW BEST:: SOT 46189 SOS 16805 HAS SOPS 16805 HAS SOUS 14995 HAS SOUPS 14995 WITH SCORE 15011.805
AT ITER 2837 NEW BEST:: SOT 46189 SOS 16800 HAS SOPS 16800 HAS SOUS 14990 HAS SOUPS 14990 WITH SCORE 15006.8
AT ITER 2865 NEW BEST:: SOT 46189 SOS 16799 HAS SOPS 16799 HAS SOUS 14988 HAS SOUPS 14988 WITH SCORE 15004.799
AT ITER 2882 NEW BEST:: SOT 46215 SOS 16814 HAS SOPS 16814 HAS SOUS 14953 HAS SOUPS 14953 WITH SCORE 14969.814
AT ITER 2886 NEW BEST:: SOT 46225 SOS 16819 HAS SOPS 16819 HAS SOUS 14946 HAS SOUPS 14946 WITH SCORE 14962.819
AT ITER 2920 NEW BEST:: SOT 46217 SOS 16803 HAS SOPS 16803 HAS SOUS 14926 HAS SOUPS 14926 WITH SCORE 14942.803
AT ITER 2928 NEW BEST:: SOT 46217 SOS 16785 HAS SOPS 16785 HAS SOUS 14900 HAS SOUPS 14900 WITH SCORE 14916.785
AT ITER 2940 NEW BEST:: SOT 46214 SOS 16782 HAS SOPS 16782 HAS SOUS 14899 HAS SOUPS 14899 WITH SCORE 14915.782
AT ITER 2942 NEW BEST:: SOT 46159 SOS 16727 HAS SOPS 16727 HAS SOUS 14844 HAS SOUPS 14844 WITH SCORE 14860.727
AT ITER 2962 NEW BEST:: SOT 46157 SOS 16721 HAS SOPS 16721 HAS SOUS 14839 HAS SOUPS 14839 WITH SCORE 14855.721
AT ITER 2998 NEW BEST:: SOT 46157 SOS 16720 HAS SOPS 16720 HAS SOUS 14838 HAS SOUPS 14838 WITH SCORE 14854.72
AT ITER 3032 NEW BEST:: SOT 46152 SOS 16715 HAS SOPS 16715 HAS SOUS 14838 HAS SOUPS 14838 WITH SCORE 14854.715
AT ITER 3036 NEW BEST:: SOT 46165 SOS 16709 HAS SOPS 16709 HAS SOUS 14838 HAS SOUPS 14838 WITH SCORE 14854.709
AT ITER 3053 NEW BEST:: SOT 46164 SOS 16707 HAS SOPS 16707 HAS SOUS 14836 HAS SOUPS 14836 WITH SCORE 14852.707
AT ITER 3061 NEW BEST:: SOT 46146 SOS 16638 HAS SOPS 16638 HAS SOUS 14777 HAS SOUPS 14777 WITH SCORE 14793.638
AT ITER 3077 NEW BEST:: SOT 46108 SOS 16615 HAS SOPS 16615 HAS SOUS 14736 HAS SOUPS 14736 WITH SCORE 14752.615
AT ITER 3083 NEW BEST:: SOT 46080 SOS 16549 HAS SOPS 16549 HAS SOUS 14689 HAS SOUPS 14689 WITH SCORE 14705.549
AT ITER 3101 NEW BEST:: SOT 46053 SOS 16516 HAS SOPS 16516 HAS SOUS 14656 HAS SOUPS 14656 WITH SCORE 14672.516
AT ITER 3102 NEW BEST:: SOT 45975 SOS 16463 HAS SOPS 16463 HAS SOUS 14616 HAS SOUPS 14616 WITH SCORE 14632.463
AT ITER 3109 NEW BEST:: SOT 45931 SOS 16160 HAS SOPS 16160 HAS SOUS 14576 HAS SOUPS 14576 WITH SCORE 14592.16
AT ITER 3120 NEW BEST:: SOT 45919 SOS 16148 HAS SOPS 16148 HAS SOUS 14564 HAS SOUPS 14564 WITH SCORE 14580.148
AT ITER 3126 NEW BEST:: SOT 45897 SOS 16107 HAS SOPS 16107 HAS SOUS 14513 HAS SOUPS 14513 WITH SCORE 14529.107
AT ITER 3135 NEW BEST:: SOT 45893 SOS 16099 HAS SOPS 16099 HAS SOUS 14513 HAS SOUPS 14513 WITH SCORE 14529.099
AT ITER 3136 NEW BEST:: SOT 45873 SOS 16079 HAS SOPS 16079 HAS SOUS 14493 HAS SOUPS 14493 WITH SCORE 14509.079
AT ITER 3146 NEW BEST:: SOT 45863 SOS 16069 HAS SOPS 16069 HAS SOUS 14483 HAS SOUPS 14483 WITH SCORE 14499.069
AT ITER 3153 NEW BEST:: SOT 45863 SOS 16062 HAS SOPS 16062 HAS SOUS 14476 HAS SOUPS 14476 WITH SCORE 14492.062
AT ITER 3155 NEW BEST:: SOT 45850 SOS 16056 HAS SOPS 16056 HAS SOUS 14475 HAS SOUPS 14475 WITH SCORE 14491.056
AT ITER 3156 NEW BEST:: SOT 45832 SOS 16026 HAS SOPS 16026 HAS SOUS 14451 HAS SOUPS 14451 WITH SCORE 14467.026
AT ITER 3159 NEW BEST:: SOT 45824 SOS 16018 HAS SOPS 16018 HAS SOUS 14443 HAS SOUPS 14443 WITH SCORE 14459.018
AT ITER 3174 NEW BEST:: SOT 45821 SOS 16009 HAS SOPS 16009 HAS SOUS 14443 HAS SOUPS 14443 WITH SCORE 14459.009
AT ITER 3178 NEW BEST:: SOT 45826 SOS 15998 HAS SOPS 15998 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14445.998
AT ITER 3198 NEW BEST:: SOT 45838 SOS 16008 HAS SOPS 16008 HAS SOUS 14370 HAS SOUPS 14370 WITH SCORE 14386.008
AT ITER 3223 NEW BEST:: SOT 45811 SOS 15968 HAS SOPS 15968 HAS SOUS 14330 HAS SOUPS 14330 WITH SCORE 14345.968
AT ITER 3230 NEW BEST:: SOT 45831 SOS 15975 HAS SOPS 15975 HAS SOUS 14329 HAS SOUPS 14329 WITH SCORE 14344.975
AT ITER 3243 NEW BEST:: SOT 45790 SOS 15921 HAS SOPS 15921 HAS SOUS 14275 HAS SOUPS 14275 WITH SCORE 14290.921
AT ITER 3257 NEW BEST:: SOT 45783 SOS 15914 HAS SOPS 15914 HAS SOUS 14268 HAS SOUPS 14268 WITH SCORE 14283.914
AT ITER 3270 NEW BEST:: SOT 45763 SOS 15893 HAS SOPS 15893 HAS SOUS 14247 HAS SOUPS 14247 WITH SCORE 14262.893
AT ITER 3273 NEW BEST:: SOT 45742 SOS 15872 HAS SOPS 15872 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14241.872
AT ITER 3279 NEW BEST:: SOT 45741 SOS 15869 HAS SOPS 15869 HAS SOUS 14225 HAS SOUPS 14225 WITH SCORE 14240.869
AT ITER 3280 NEW BEST:: SOT 45742 SOS 15866 HAS SOPS 15866 HAS SOUS 14222 HAS SOUPS 14222 WITH SCORE 14237.866
AT ITER 3288 NEW BEST:: SOT 45740 SOS 15864 HAS SOPS 15864 HAS SOUS 14220 HAS SOUPS 14220 WITH SCORE 14235.864
AT ITER 3291 NEW BEST:: SOT 45737 SOS 15852 HAS SOPS 15852 HAS SOUS 14211 HAS SOUPS 14211 WITH SCORE 14226.852
AT ITER 3296 NEW BEST:: SOT 45680 SOS 15768 HAS SOPS 15768 HAS SOUS 14127 HAS SOUPS 14127 WITH SCORE 14142.768
AT ITER 3307 NEW BEST:: SOT 45679 SOS 15767 HAS SOPS 15767 HAS SOUS 14126 HAS SOUPS 14126 WITH SCORE 14141.767
AT ITER 3324 NEW BEST:: SOT 45681 SOS 15764 HAS SOPS 15764 HAS SOUS 14122 HAS SOUPS 14122 WITH SCORE 14137.764
AT ITER 3329 NEW BEST:: SOT 45691 SOS 15762 HAS SOPS 15762 HAS SOUS 14120 HAS SOUPS 14120 WITH SCORE 14135.762
AT ITER 3358 NEW BEST:: SOT 45694 SOS 15759 HAS SOPS 15759 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14131.759
AT ITER 3363 NEW BEST:: SOT 45686 SOS 15729 HAS SOPS 15729 HAS SOUS 14093 HAS SOUPS 14093 WITH SCORE 14108.729
AT ITER 3367 NEW BEST:: SOT 45666 SOS 15705 HAS SOPS 15705 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14084.705
AT ITER 3381 NEW BEST:: SOT 45666 SOS 15709 HAS SOPS 15709 HAS SOUS 14067 HAS SOUPS 14067 WITH SCORE 14082.709
AT ITER 3389 NEW BEST:: SOT 45666 SOS 15666 HAS SOPS 15666 HAS SOUS 14040 HAS SOUPS 14040 WITH SCORE 14055.666
AT ITER 3406 NEW BEST:: SOT 45647 SOS 15647 HAS SOPS 15647 HAS SOUS 14002 HAS SOUPS 14002 WITH SCORE 14017.647
AT ITER 3424 NEW BEST:: SOT 45618 SOS 15608 HAS SOPS 15608 HAS SOUS 13939 HAS SOUPS 13939 WITH SCORE 13954.608
AT ITER 3459 NEW BEST:: SOT 45616 SOS 15604 HAS SOPS 15604 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13950.604
AT ITER 3462 NEW BEST:: SOT 45613 SOS 15601 HAS SOPS 15601 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13947.601
AT ITER 3514 NEW BEST:: SOT 45601 SOS 15582 HAS SOPS 15582 HAS SOUS 13915 HAS SOUPS 13915 WITH SCORE 13930.582
AT ITER 3518 NEW BEST:: SOT 45570 SOS 15551 HAS SOPS 15551 HAS SOUS 13884 HAS SOUPS 13884 WITH SCORE 13899.551
AT ITER 3541 NEW BEST:: SOT 45557 SOS 15543 HAS SOPS 15543 HAS SOUS 13869 HAS SOUPS 13869 WITH SCORE 13884.543
AT ITER 3546 NEW BEST:: SOT 45554 SOS 15540 HAS SOPS 15540 HAS SOUS 13866 HAS SOUPS 13866 WITH SCORE 13881.54
AT ITER 3549 NEW BEST:: SOT 45552 SOS 15538 HAS SOPS 15538 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13879.538
AT ITER 3586 NEW BEST:: SOT 45530 SOS 15499 HAS SOPS 15499 HAS SOUS 13825 HAS SOUPS 13825 WITH SCORE 13840.499
AT ITER 3611 NEW BEST:: SOT 45525 SOS 15484 HAS SOPS 15484 HAS SOUS 13815 HAS SOUPS 13815 WITH SCORE 13830.484
AT ITER 3624 NEW BEST:: SOT 45456 SOS 15427 HAS SOPS 15427 HAS SOUS 13771 HAS SOUPS 13771 WITH SCORE 13786.427
AT ITER 3645 NEW BEST:: SOT 45456 SOS 15425 HAS SOPS 15425 HAS SOUS 13770 HAS SOUPS 13770 WITH SCORE 13785.425
AT ITER 3646 NEW BEST:: SOT 45455 SOS 15417 HAS SOPS 15417 HAS SOUS 13766 HAS SOUPS 13766 WITH SCORE 13781.417
AT ITER 3649 NEW BEST:: SOT 45455 SOS 15403 HAS SOPS 15403 HAS SOUS 13752 HAS SOUPS 13752 WITH SCORE 13767.403
AT ITER 3654 NEW BEST:: SOT 45447 SOS 15379 HAS SOPS 15379 HAS SOUS 13720 HAS SOUPS 13720 WITH SCORE 13735.379
AT ITER 3696 NEW BEST:: SOT 45495 SOS 15374 HAS SOPS 15374 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13730.374
AT ITER 3720 NEW BEST:: SOT 45494 SOS 15380 HAS SOPS 15380 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13724.38
AT ITER 3731 NEW BEST:: SOT 45490 SOS 15372 HAS SOPS 15372 HAS SOUS 13700 HAS SOUPS 13700 WITH SCORE 13715.372
AT ITER 3752 NEW BEST:: SOT 45479 SOS 15352 HAS SOPS 15352 HAS SOUS 13680 HAS SOUPS 13680 WITH SCORE 13695.352
AT ITER 3762 NEW BEST:: SOT 45460 SOS 15381 HAS SOPS 15381 HAS SOUS 13679 HAS SOUPS 13679 WITH SCORE 13694.381
AT ITER 3788 NEW BEST:: SOT 45460 SOS 15362 HAS SOPS 15362 HAS SOUS 13672 HAS SOUPS 13672 WITH SCORE 13687.362
AT ITER 3894 NEW BEST:: SOT 45467 SOS 15346 HAS SOPS 15346 HAS SOUS 13664 HAS SOUPS 13664 WITH SCORE 13679.346
AT ITER 3908 NEW BEST:: SOT 45472 SOS 15315 HAS SOPS 15315 HAS SOUS 13662 HAS SOUPS 13662 WITH SCORE 13677.315
AT ITER 3913 NEW BEST:: SOT 45469 SOS 15312 HAS SOPS 15312 HAS SOUS 13659 HAS SOUPS 13659 WITH SCORE 13674.312
AT ITER 3935 NEW BEST:: SOT 45467 SOS 15271 HAS SOPS 15271 HAS SOUS 13592 HAS SOUPS 13592 WITH SCORE 13607.271
AT ITER 3941 NEW BEST:: SOT 45500 SOS 15240 HAS SOPS 15240 HAS SOUS 13573 HAS SOUPS 13573 WITH SCORE 13588.24
AT ITER 3960 NEW BEST:: SOT 45499 SOS 15237 HAS SOPS 15237 HAS SOUS 13571 HAS SOUPS 13571 WITH SCORE 13586.237
AT ITER 3999 NEW BEST:: SOT 45493 SOS 15231 HAS SOPS 15231 HAS SOUS 13565 HAS SOUPS 13565 WITH SCORE 13580.231
AT ITER 4009 NEW BEST:: SOT 45497 SOS 15224 HAS SOPS 15224 HAS SOUS 13558 HAS SOUPS 13558 WITH SCORE 13573.224
AT ITER 4031 NEW BEST:: SOT 45499 SOS 15226 HAS SOPS 15226 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13571.226
AT ITER 4039 NEW BEST:: SOT 45490 SOS 15296 HAS SOPS 15296 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13544.296
AT ITER 4055 NEW BEST:: SOT 45489 SOS 15292 HAS SOPS 15292 HAS SOUS 13527 HAS SOUPS 13527 WITH SCORE 13542.292
AT ITER 4089 NEW BEST:: SOT 45491 SOS 15285 HAS SOPS 15285 HAS SOUS 13520 HAS SOUPS 13520 WITH SCORE 13535.285
AT ITER 4093 NEW BEST:: SOT 45484 SOS 15275 HAS SOPS 15275 HAS SOUS 13514 HAS SOUPS 13514 WITH SCORE 13529.275
AT ITER 4098 NEW BEST:: SOT 45483 SOS 15272 HAS SOPS 15272 HAS SOUS 13511 HAS SOUPS 13511 WITH SCORE 13526.272
AT ITER 4110 NEW BEST:: SOT 45497 SOS 15251 HAS SOPS 15251 HAS SOUS 13508 HAS SOUPS 13508 WITH SCORE 13523.251
AT ITER 4130 NEW BEST:: SOT 45494 SOS 15245 HAS SOPS 15245 HAS SOUS 13502 HAS SOUPS 13502 WITH SCORE 13517.245
AT ITER 4134 NEW BEST:: SOT 45494 SOS 15234 HAS SOPS 15234 HAS SOUS 13491 HAS SOUPS 13491 WITH SCORE 13506.234
AT ITER 4146 NEW BEST:: SOT 45494 SOS 15226 HAS SOPS 15226 HAS SOUS 13491 HAS SOUPS 13491 WITH SCORE 13506.226
AT ITER 4214 NEW BEST:: SOT 45500 SOS 15233 HAS SOPS 15233 HAS SOUS 13462 HAS SOUPS 13462 WITH SCORE 13477.233
AT ITER 4218 NEW BEST:: SOT 45482 SOS 15187 HAS SOPS 15187 HAS SOUS 13416 HAS SOUPS 13416 WITH SCORE 13431.187
AT ITER 4242 NEW BEST:: SOT 45472 SOS 15164 HAS SOPS 15164 HAS SOUS 13401 HAS SOUPS 13401 WITH SCORE 13416.164
AT ITER 4246 NEW BEST:: SOT 45457 SOS 15143 HAS SOPS 15143 HAS SOUS 13383 HAS SOUPS 13383 WITH SCORE 13398.143
AT ITER 4295 NEW BEST:: SOT 45436 SOS 15126 HAS SOPS 15126 HAS SOUS 13369 HAS SOUPS 13369 WITH SCORE 13384.126
AT ITER 4298 NEW BEST:: SOT 45449 SOS 15108 HAS SOPS 15108 HAS SOUS 13326 HAS SOUPS 13326 WITH SCORE 13341.108
AT ITER 4327 NEW BEST:: SOT 45463 SOS 15080 HAS SOPS 15080 HAS SOUS 13320 HAS SOUPS 13320 WITH SCORE 13335.08
AT ITER 4340 NEW BEST:: SOT 45476 SOS 15056 HAS SOPS 15056 HAS SOUS 13306 HAS SOUPS 13306 WITH SCORE 13321.056
AT ITER 4342 NEW BEST:: SOT 45453 SOS 15008 HAS SOPS 15008 HAS SOUS 13262 HAS SOUPS 13262 WITH SCORE 13277.008
AT ITER 4373 NEW BEST:: SOT 45450 SOS 15003 HAS SOPS 15003 HAS SOUS 13257 HAS SOUPS 13257 WITH SCORE 13272.003
AT ITER 4403 NEW BEST:: SOT 45448 SOS 14999 HAS SOPS 14999 HAS SOUS 13254 HAS SOUPS 13254 WITH SCORE 13268.999
AT ITER 4415 NEW BEST:: SOT 45422 SOS 14887 HAS SOPS 14887 HAS SOUS 13181 HAS SOUPS 13181 WITH SCORE 13195.887
AT ITER 4421 NEW BEST:: SOT 45415 SOS 14879 HAS SOPS 14879 HAS SOUS 13173 HAS SOUPS 13173 WITH SCORE 13187.879
AT ITER 4429 NEW BEST:: SOT 45415 SOS 14867 HAS SOPS 14867 HAS SOUS 13165 HAS SOUPS 13165 WITH SCORE 13179.867
AT ITER 4433 NEW BEST:: SOT 45392 SOS 14809 HAS SOPS 14809 HAS SOUS 13126 HAS SOUPS 13126 WITH SCORE 13140.809
AT ITER 4441 NEW BEST:: SOT 45372 SOS 14767 HAS SOPS 14767 HAS SOUS 13087 HAS SOUPS 13087 WITH SCORE 13101.767
AT ITER 4459 NEW BEST:: SOT 45371 SOS 14766 HAS SOPS 14766 HAS SOUS 13086 HAS SOUPS 13086 WITH SCORE 13100.766
AT ITER 4491 NEW BEST:: SOT 45378 SOS 14756 HAS SOPS 14756 HAS SOUS 13076 HAS SOUPS 13076 WITH SCORE 13090.756
AT ITER 4504 NEW BEST:: SOT 45378 SOS 14756 HAS SOPS 14756 HAS SOUS 13075 HAS SOUPS 13075 WITH SCORE 13089.756
AT ITER 4533 NEW BEST:: SOT 45360 SOS 14726 HAS SOPS 14726 HAS SOUS 13051 HAS SOUPS 13051 WITH SCORE 13065.726
AT ITER 4552 NEW BEST:: SOT 45349 SOS 14716 HAS SOPS 14716 HAS SOUS 13049 HAS SOUPS 13049 WITH SCORE 13063.716
AT ITER 4553 NEW BEST:: SOT 45300 SOS 14666 HAS SOPS 14666 HAS SOUS 12999 HAS SOUPS 12999 WITH SCORE 13013.666
AT ITER 4562 NEW BEST:: SOT 45300 SOS 14661 HAS SOPS 14661 HAS SOUS 12998 HAS SOUPS 12998 WITH SCORE 13012.661
AT ITER 4585 NEW BEST:: SOT 45299 SOS 14657 HAS SOPS 14657 HAS SOUS 12995 HAS SOUPS 12995 WITH SCORE 13009.657
AT ITER 4597 NEW BEST:: SOT 45301 SOS 14655 HAS SOPS 14655 HAS SOUS 12987 HAS SOUPS 12987 WITH SCORE 13001.655
AT ITER 4612 NEW BEST:: SOT 45301 SOS 14653 HAS SOPS 14653 HAS SOUS 12963 HAS SOUPS 12963 WITH SCORE 12977.653
AT ITER 4662 NEW BEST:: SOT 45299 SOS 14631 HAS SOPS 14631 HAS SOUS 12946 HAS SOUPS 12946 WITH SCORE 12960.631
AT ITER 4676 NEW BEST:: SOT 45315 SOS 14622 HAS SOPS 14622 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12950.622
AT ITER 4707 NEW BEST:: SOT 45336 SOS 14631 HAS SOPS 14631 HAS SOUS 12935 HAS SOUPS 12935 WITH SCORE 12949.631
AT ITER 4710 NEW BEST:: SOT 45315 SOS 14572 HAS SOPS 14572 HAS SOUS 12896 HAS SOUPS 12896 WITH SCORE 12910.572
AT ITER 4713 NEW BEST:: SOT 45313 SOS 14566 HAS SOPS 14566 HAS SOUS 12889 HAS SOUPS 12889 WITH SCORE 12903.566
AT ITER 4737 NEW BEST:: SOT 45313 SOS 14544 HAS SOPS 14544 HAS SOUS 12867 HAS SOUPS 12867 WITH SCORE 12881.544
AT ITER 4813 NEW BEST:: SOT 45313 SOS 14540 HAS SOPS 14540 HAS SOUS 12865 HAS SOUPS 12865 WITH SCORE 12879.54
AT ITER 4857 NEW BEST:: SOT 45303 SOS 14529 HAS SOPS 14529 HAS SOUS 12854 HAS SOUPS 12854 WITH SCORE 12868.529
AT ITER 4867 NEW BEST:: SOT 45282 SOS 14437 HAS SOPS 14437 HAS SOUS 12802 HAS SOUPS 12802 WITH SCORE 12816.437
AT ITER 4890 NEW BEST:: SOT 45274 SOS 14433 HAS SOPS 14433 HAS SOUS 12802 HAS SOUPS 12802 WITH SCORE 12816.433
AT ITER 4911 NEW BEST:: SOT 45283 SOS 14413 HAS SOPS 14413 HAS SOUS 12767 HAS SOUPS 12767 WITH SCORE 12781.413
AT ITER 4919 NEW BEST:: SOT 45285 SOS 14409 HAS SOPS 14409 HAS SOUS 12764 HAS SOUPS 12764 WITH SCORE 12778.409
AT ITER 4945 NEW BEST:: SOT 45272 SOS 14383 HAS SOPS 14383 HAS SOUS 12761 HAS SOUPS 12761 WITH SCORE 12775.383
AT ITER 4966 NEW BEST:: SOT 45267 SOS 14316 HAS SOPS 14316 HAS SOUS 12722 HAS SOUPS 12722 WITH SCORE 12736.316
AT ITER 4983 NEW BEST:: SOT 45259 SOS 14301 HAS SOPS 14301 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12721.301
AT ITER 4989 NEW BEST:: SOT 45258 SOS 14300 HAS SOPS 14300 HAS SOUS 12706 HAS SOUPS 12706 WITH SCORE 12720.3
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-00 (AG( (! (AF( ( ((potential((tk(P140)>=1) & (tk(P182)>=1)))) & ((potential((tk(P68)>=1) & (tk(P87)>=1)))) ))))))
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-01 ( ( ((potential((tk(P245)>=1)))) | (EF( ((potential((tk(P13)>=1) & (tk(P15)>=1)))))) ) | ((potential((tk(P226)>=1) & (tk(P247)>=1)))) )
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-02 (! (EU( (AG( ((potential((tk(P50)>=1) & (tk(P59)>=1)))))) , (EF( ((potential((tk(P63)>=1)))))) )))
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-03 (EU( (EF( ( ((potential((tk(P66)>=1) & (tk(P93)>=1)))) | ((potential((tk(P129)>=1) & (tk(P150)>=1)))) ))) , ( ( ( ((potential((tk(P174)>=1) & (tk(P185)>=1)))) & ((potential((tk(P253)>=1) & (tk(P274)>=1)))) ) & ((potential((tk(P102)>=1) & (tk(P123)>=1)))) ) & (! ( ((potential((tk(P1)>=1)))) | ((potential((tk(P225)>=1) & (tk(P227)>=1)))) )) ) ))
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-04 (AG( ( (! ( ( ((potential((tk(P70)>=1) & (tk(P72)>=1)))) & ((potential((tk(P102)>=1) & (tk(P122)>=1)))) ) | ((potential((tk(P131)>=1) & (tk(P148)>=1)))) )) & (! ((potential((tk(P112)>=1) & (tk(P123)>=1))))) )))
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-05 ( (AU( ( ((potential((tk(P267)>=1) & (tk(P276)>=1)))) | ((potential((tk(P83)>=1) & (tk(P104)>=1)))) ) , (! ((potential((tk(P267)>=1) & (tk(P276)>=1))))) )) & (! (AG( (EF( ((potential((tk(P136)>=1) & (tk(P148)>=1))))))))) )
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-06 ( ( ( (AU( ((potential((tk(P187)>=1)))) , ((potential((tk(P147)>=1)))) )) & (! ( (! ((potential((tk(P300)>=1))))) | (! ((potential((tk(P29)>=1))))) )) ) | ( ( ( ( ((potential((tk(P107)>=1) & (tk(P127)>=1)))) | ((potential((tk(P43)>=1) & (tk(P53)>=1)))) ) | (! ((potential((tk(P21)>=1) & (tk(P42)>=1))))) ) & (EX( ((potential((tk(P7)>=1) & (tk(P23)>=1)))))) ) & (EF( ( ((potential((tk(P98)>=1) & (tk(P119)>=1)))) & ((potential((tk(P60)>=1)))) ))) ) ) | (AU( ( ( ((potential((tk(P14)>=1) & (tk(P34)>=1)))) & ((potential((tk(P267)>=1) & (tk(P278)>=1)))) ) | (! ((potential((tk(P40)>=1) & (tk(P61)>=1))))) ) , ( ((potential((tk(P225)>=1) & (tk(P227)>=1)))) & ( ((potential((tk(P177)>=1)))) & ((potential((tk(P81)>=1) & (tk(P92)>=1)))) ) ) )) )
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-07 (AX( ( (! (AF( ((potential((tk(P64)>=1))))))) | ((potential((tk(P114)>=1) & (tk(P135)>=1)))) )))
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-08 ( (! (EF( (! ( ((potential((tk(P136)>=1) & (tk(P148)>=1)))) | ((potential((tk(P167)>=1) & (tk(P177)>=1)))) ))))) | (AG( (EX( (! ((potential((tk(P17)>=1) & (tk(P32)>=1))))))))) )
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-09 (AG( (EU( (! ((potential((tk(P39)>=1) & (tk(P41)>=1))))) , ( ((potential((tk(P138)>=1) & (tk(P157)>=1)))) & ((potential((tk(P3)>=1) & (tk(P11)>=1)))) ) ))))
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-10 (! (! (EF( ( ((potential((tk(P22)>=1)))) & ( ((potential((tk(P219)>=1)))) | ((potential((tk(P50)>=1) & (tk(P59)>=1)))) ) )))))
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-11 ( (AF( (EF( ( ((potential((tk(P195)>=1) & (tk(P216)>=1)))) & ((potential((tk(P236)>=1) & (tk(P247)>=1)))) ))))) | (AG( ( (EX( ((potential((tk(P200)>=1) & (tk(P219)>=1)))))) & ( ( ((potential((tk(P301)>=1)))) & ((potential((tk(P50)>=1) & (tk(P59)>=1)))) ) & (! ((potential((tk(P110)>=1) & (tk(P127)>=1))))) ) ))) )
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-12 (AF( ( (! ( ( ((potential((tk(P283)>=1) & (tk(P310)>=1)))) & ((potential((tk(P90)>=1)))) ) | ((potential((tk(P152)>=1)))) )) & ( ( ( ((potential((tk(P7)>=1) & (tk(P24)>=1)))) | ((potential((tk(P105)>=1) & (tk(P115)>=1)))) ) & ( ((potential((tk(P47)>=1) & (tk(P89)>=1)))) | ((potential((tk(P174)>=1) & (tk(P183)>=1)))) ) ) & (! ( ((potential((tk(P67)>=1) & (tk(P88)>=1)))) | ((potential((tk(P91)>=1)))) )) ) )))
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-13 (! (AF( ((potential((tk(P97)>=1) & (tk(P124)>=1)))))))
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-14 (! (EF( (AG( (! ((potential((tk(P8)>=1) & (tk(P10)>=1))))))))))
PROPERTY: ShieldPPPs-PT-010A-CTLFireability-15 (! (EF( (AG( (! ((potential((tk(P17)>=1) & (tk(P32)>=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="ShieldPPPs-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 ShieldPPPs-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-159033469500476"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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