Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 15:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 07:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 07:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 24 05:37 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 CloudDeployment-PT-5b-CTLFireability-00
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-01
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-02
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-03
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-04
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-05
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-06
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-07
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-08
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-09
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-10
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-11
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-12
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-13
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-14
FORMULA_NAME CloudDeployment-PT-5b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589153730717

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 5b
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: 1525 places, 3132 transitions, 24760 arcs.
AT ITER 0 NEW BEST:: SOT 3276105 SOS 964973 HAS SOPS 964973 HAS SOUS 489639 HAS SOUPS 489639 WITH SCORE 490603.973
AT ITER 8 NEW BEST:: SOT 3275265 SOS 963953 HAS SOPS 963953 HAS SOUS 488586 HAS SOUPS 488586 WITH SCORE 489549.953
AT ITER 21 NEW BEST:: SOT 3275334 SOS 964091 HAS SOPS 964091 HAS SOUS 488408 HAS SOUPS 488408 WITH SCORE 489372.091
AT ITER 23 NEW BEST:: SOT 3274902 SOS 964019 HAS SOPS 964019 HAS SOUS 488047 HAS SOUPS 488047 WITH SCORE 489011.019
AT ITER 30 NEW BEST:: SOT 3274330 SOS 963715 HAS SOPS 963715 HAS SOUS 487760 HAS SOUPS 487760 WITH SCORE 488723.715
AT ITER 45 NEW BEST:: SOT 3273621 SOS 963696 HAS SOPS 963696 HAS SOUS 487356 HAS SOUPS 487356 WITH SCORE 488319.696
AT ITER 55 NEW BEST:: SOT 3273621 SOS 963621 HAS SOPS 963621 HAS SOUS 487281 HAS SOUPS 487281 WITH SCORE 488244.621
AT ITER 57 NEW BEST:: SOT 3273566 SOS 963511 HAS SOPS 963511 HAS SOUS 487000 HAS SOUPS 487000 WITH SCORE 487963.511
AT ITER 72 NEW BEST:: SOT 3273566 SOS 963511 HAS SOPS 963511 HAS SOUS 486999 HAS SOUPS 486999 WITH SCORE 487962.511
AT ITER 76 NEW BEST:: SOT 3273216 SOS 963369 HAS SOPS 963369 HAS SOUS 486928 HAS SOUPS 486928 WITH SCORE 487891.369
AT ITER 88 NEW BEST:: SOT 3273185 SOS 963307 HAS SOPS 963307 HAS SOUS 486828 HAS SOUPS 486828 WITH SCORE 487791.307
AT ITER 103 NEW BEST:: SOT 3272942 SOS 963064 HAS SOPS 963064 HAS SOUS 486828 HAS SOUPS 486828 WITH SCORE 487791.064
AT ITER 117 NEW BEST:: SOT 3272609 SOS 963672 HAS SOPS 963672 HAS SOUS 486710 HAS SOUPS 486710 WITH SCORE 487673.672
AT ITER 118 NEW BEST:: SOT 3272609 SOS 986607 HAS SOPS 986607 HAS SOUS 486619 HAS SOUPS 486619 WITH SCORE 487605.607
AT ITER 124 NEW BEST:: SOT 3272574 SOS 987381 HAS SOPS 987381 HAS SOUS 486584 HAS SOUPS 486584 WITH SCORE 487571.381
AT ITER 127 NEW BEST:: SOT 3272386 SOS 987005 HAS SOPS 987005 HAS SOUS 486392 HAS SOUPS 486392 WITH SCORE 487379.005
AT ITER 128 NEW BEST:: SOT 3272248 SOS 986729 HAS SOPS 986729 HAS SOUS 486116 HAS SOUPS 486116 WITH SCORE 487102.729
AT ITER 138 NEW BEST:: SOT 3272110 SOS 986589 HAS SOPS 986589 HAS SOUS 485967 HAS SOUPS 485967 WITH SCORE 486953.589
AT ITER 146 NEW BEST:: SOT 3272108 SOS 986585 HAS SOPS 986585 HAS SOUS 485965 HAS SOUPS 485965 WITH SCORE 486951.585
AT ITER 147 NEW BEST:: SOT 3271661 SOS 985993 HAS SOPS 985993 HAS SOUS 485228 HAS SOUPS 485228 WITH SCORE 486213.993
AT ITER 148 NEW BEST:: SOT 3271648 SOS 985967 HAS SOPS 985967 HAS SOUS 485202 HAS SOUPS 485202 WITH SCORE 486187.967
AT ITER 169 NEW BEST:: SOT 3271648 SOS 985967 HAS SOPS 985967 HAS SOUS 485130 HAS SOUPS 485130 WITH SCORE 486115.967
AT ITER 176 NEW BEST:: SOT 3271648 SOS 985967 HAS SOPS 985967 HAS SOUS 485041 HAS SOUPS 485041 WITH SCORE 486026.967
AT ITER 183 NEW BEST:: SOT 3271221 SOS 985908 HAS SOPS 985908 HAS SOUS 484650 HAS SOUPS 484650 WITH SCORE 485635.908
AT ITER 197 NEW BEST:: SOT 3271119 SOS 985704 HAS SOPS 985704 HAS SOUS 484547 HAS SOUPS 484547 WITH SCORE 485532.704
AT ITER 204 NEW BEST:: SOT 3271164 SOS 985794 HAS SOPS 985794 HAS SOUS 484540 HAS SOUPS 484540 WITH SCORE 485525.794
AT ITER 209 NEW BEST:: SOT 3271116 SOS 985554 HAS SOPS 985554 HAS SOUS 484540 HAS SOUPS 484540 WITH SCORE 485525.554
AT ITER 237 NEW BEST:: SOT 3270991 SOS 986034 HAS SOPS 986034 HAS SOUS 484453 HAS SOUPS 484453 WITH SCORE 485439.034
AT ITER 238 NEW BEST:: SOT 3270947 SOS 986012 HAS SOPS 986012 HAS SOUS 484431 HAS SOUPS 484431 WITH SCORE 485417.012
AT ITER 245 NEW BEST:: SOT 3270589 SOS 985654 HAS SOPS 985654 HAS SOUS 438891 HAS SOUPS 438891 WITH SCORE 439876.654
AT ITER 248 NEW BEST:: SOT 3270589 SOS 985633 HAS SOPS 985633 HAS SOUS 438870 HAS SOUPS 438870 WITH SCORE 439855.633
AT ITER 253 NEW BEST:: SOT 3270447 SOS 985917 HAS SOPS 985917 HAS SOUS 438728 HAS SOUPS 438728 WITH SCORE 439713.917
AT ITER 262 NEW BEST:: SOT 3270420 SOS 985863 HAS SOPS 985863 HAS SOUS 438674 HAS SOUPS 438674 WITH SCORE 439659.863
AT ITER 304 NEW BEST:: SOT 3270419 SOS 985861 HAS SOPS 985861 HAS SOUS 438672 HAS SOUPS 438672 WITH SCORE 439657.861
AT ITER 306 NEW BEST:: SOT 3270403 SOS 985829 HAS SOPS 985829 HAS SOUS 438640 HAS SOUPS 438640 WITH SCORE 439625.829
AT ITER 309 NEW BEST:: SOT 3270402 SOS 985827 HAS SOPS 985827 HAS SOUS 438638 HAS SOUPS 438638 WITH SCORE 439623.827
AT ITER 313 NEW BEST:: SOT 3270376 SOS 985800 HAS SOPS 985800 HAS SOUS 438611 HAS SOUPS 438611 WITH SCORE 439596.8
AT ITER 322 NEW BEST:: SOT 3270199 SOS 985623 HAS SOPS 985623 HAS SOUS 438591 HAS SOUPS 438591 WITH SCORE 439576.623
AT ITER 326 NEW BEST:: SOT 3270277 SOS 985779 HAS SOPS 985779 HAS SOUS 438421 HAS SOUPS 438421 WITH SCORE 439406.779
AT ITER 329 NEW BEST:: SOT 3270091 SOS 985686 HAS SOPS 985686 HAS SOUS 438235 HAS SOUPS 438235 WITH SCORE 439220.686
AT ITER 331 NEW BEST:: SOT 3269976 SOS 985241 HAS SOPS 985241 HAS SOUS 438050 HAS SOUPS 438050 WITH SCORE 439035.241
AT ITER 335 NEW BEST:: SOT 3269822 SOS 985395 HAS SOPS 985395 HAS SOUS 437896 HAS SOUPS 437896 WITH SCORE 438881.395
AT ITER 336 NEW BEST:: SOT 3269807 SOS 985365 HAS SOPS 985365 HAS SOUS 437891 HAS SOUPS 437891 WITH SCORE 438876.365
AT ITER 347 NEW BEST:: SOT 3269892 SOS 985535 HAS SOPS 985535 HAS SOUS 437843 HAS SOUPS 437843 WITH SCORE 438828.535
AT ITER 357 NEW BEST:: SOT 3269597 SOS 984945 HAS SOPS 984945 HAS SOUS 437253 HAS SOUPS 437253 WITH SCORE 438237.945
AT ITER 412 NEW BEST:: SOT 3269597 SOS 985193 HAS SOPS 985193 HAS SOUS 437191 HAS SOUPS 437191 WITH SCORE 438176.193
AT ITER 425 NEW BEST:: SOT 3267793 SOS 983618 HAS SOPS 983618 HAS SOUS 435387 HAS SOUPS 435387 WITH SCORE 436370.618
AT ITER 433 NEW BEST:: SOT 3267780 SOS 983592 HAS SOPS 983592 HAS SOUS 435374 HAS SOUPS 435374 WITH SCORE 436357.592
AT ITER 441 NEW BEST:: SOT 3267738 SOS 983519 HAS SOPS 983519 HAS SOUS 435055 HAS SOUPS 435055 WITH SCORE 436038.519
AT ITER 451 NEW BEST:: SOT 3267544 SOS 983131 HAS SOPS 983131 HAS SOUS 434893 HAS SOUPS 434893 WITH SCORE 435876.131
AT ITER 463 NEW BEST:: SOT 3267508 SOS 983095 HAS SOPS 983095 HAS SOUS 434892 HAS SOUPS 434892 WITH SCORE 435875.095
AT ITER 485 NEW BEST:: SOT 3267508 SOS 983094 HAS SOPS 983094 HAS SOUS 434887 HAS SOUPS 434887 WITH SCORE 435870.094
AT ITER 501 NEW BEST:: SOT 3267872 SOS 983822 HAS SOPS 983822 HAS SOUS 434677 HAS SOUPS 434677 WITH SCORE 435660.822
AT ITER 510 NEW BEST:: SOT 3267831 SOS 983957 HAS SOPS 983957 HAS SOUS 434667 HAS SOUPS 434667 WITH SCORE 435650.957
AT ITER 526 NEW BEST:: SOT 3267607 SOS 983845 HAS SOPS 983845 HAS SOUS 434443 HAS SOUPS 434443 WITH SCORE 435426.845
AT ITER 539 NEW BEST:: SOT 3267606 SOS 983843 HAS SOPS 983843 HAS SOUS 434441 HAS SOUPS 434441 WITH SCORE 435424.843
AT ITER 573 NEW BEST:: SOT 3267411 SOS 984004 HAS SOPS 984004 HAS SOUS 434353 HAS SOUPS 434353 WITH SCORE 435337.004
AT ITER 587 NEW BEST:: SOT 3267488 SOS 984004 HAS SOPS 984004 HAS SOUS 434352 HAS SOUPS 434352 WITH SCORE 435336.004
AT ITER 590 NEW BEST:: SOT 3267452 SOS 983896 HAS SOPS 983896 HAS SOUS 434244 HAS SOUPS 434244 WITH SCORE 435227.896
AT ITER 599 NEW BEST:: SOT 3267105 SOS 984062 HAS SOPS 984062 HAS SOUS 433897 HAS SOUPS 433897 WITH SCORE 434881.062
AT ITER 614 NEW BEST:: SOT 3267031 SOS 983988 HAS SOPS 983988 HAS SOUS 433749 HAS SOUPS 433749 WITH SCORE 434732.988
AT ITER 632 NEW BEST:: SOT 3266797 SOS 984500 HAS SOPS 984500 HAS SOUS 433319 HAS SOUPS 433319 WITH SCORE 434303.5
AT ITER 642 NEW BEST:: SOT 3266751 SOS 984454 HAS SOPS 984454 HAS SOUS 433273 HAS SOUPS 433273 WITH SCORE 434257.454
AT ITER 710 NEW BEST:: SOT 3266751 SOS 984454 HAS SOPS 984454 HAS SOUS 433269 HAS SOUPS 433269 WITH SCORE 434253.454
AT ITER 718 NEW BEST:: SOT 3266671 SOS 984294 HAS SOPS 984294 HAS SOUS 433109 HAS SOUPS 433109 WITH SCORE 434093.294
AT ITER 743 NEW BEST:: SOT 3266539 SOS 984030 HAS SOPS 984030 HAS SOUS 432845 HAS SOUPS 432845 WITH SCORE 433829.03
AT ITER 757 NEW BEST:: SOT 3266547 SOS 983916 HAS SOPS 983916 HAS SOUS 432819 HAS SOUPS 432819 WITH SCORE 433802.916
AT ITER 769 NEW BEST:: SOT 3266161 SOS 986855 HAS SOPS 986855 HAS SOUS 432736 HAS SOUPS 432736 WITH SCORE 433722.855
AT ITER 782 NEW BEST:: SOT 3266161 SOS 986921 HAS SOPS 986921 HAS SOUS 432735 HAS SOUPS 432735 WITH SCORE 433721.921
AT ITER 795 NEW BEST:: SOT 3265791 SOS 986304 HAS SOPS 986304 HAS SOUS 432083 HAS SOUPS 432083 WITH SCORE 433069.304
AT ITER 807 NEW BEST:: SOT 3265791 SOS 986256 HAS SOPS 986256 HAS SOUS 432035 HAS SOUPS 432035 WITH SCORE 433021.256
AT ITER 811 NEW BEST:: SOT 3265768 SOS 986210 HAS SOPS 986210 HAS SOUS 432017 HAS SOUPS 432017 WITH SCORE 433003.21
AT ITER 815 NEW BEST:: SOT 3265768 SOS 986210 HAS SOPS 986210 HAS SOUS 432009 HAS SOUPS 432009 WITH SCORE 432995.21
AT ITER 819 NEW BEST:: SOT 3265637 SOS 985948 HAS SOPS 985948 HAS SOUS 431871 HAS SOUPS 431871 WITH SCORE 432856.948
AT ITER 828 NEW BEST:: SOT 3264748 SOS 984631 HAS SOPS 984631 HAS SOUS 430543 HAS SOUPS 430543 WITH SCORE 431527.631
AT ITER 830 NEW BEST:: SOT 3264754 SOS 984757 HAS SOPS 984757 HAS SOUS 430275 HAS SOUPS 430275 WITH SCORE 431259.757
AT ITER 839 NEW BEST:: SOT 3264681 SOS 984639 HAS SOPS 984639 HAS SOUS 430157 HAS SOUPS 430157 WITH SCORE 431141.639
AT ITER 874 NEW BEST:: SOT 3264539 SOS 984577 HAS SOPS 984577 HAS SOUS 430054 HAS SOUPS 430054 WITH SCORE 431038.577
AT ITER 875 NEW BEST:: SOT 3264529 SOS 984539 HAS SOPS 984539 HAS SOUS 430034 HAS SOUPS 430034 WITH SCORE 431018.539
AT ITER 876 NEW BEST:: SOT 3264496 SOS 984864 HAS SOPS 984864 HAS SOUS 429704 HAS SOUPS 429704 WITH SCORE 430688.864
AT ITER 884 NEW BEST:: SOT 3264410 SOS 984692 HAS SOPS 984692 HAS SOUS 429373 HAS SOUPS 429373 WITH SCORE 430357.692
AT ITER 896 NEW BEST:: SOT 3264308 SOS 984488 HAS SOPS 984488 HAS SOUS 429169 HAS SOUPS 429169 WITH SCORE 430153.488
AT ITER 898 NEW BEST:: SOT 3264308 SOS 984680 HAS SOPS 984680 HAS SOUS 429151 HAS SOUPS 429151 WITH SCORE 430135.68
AT ITER 921 NEW BEST:: SOT 3264308 SOS 984642 HAS SOPS 984642 HAS SOUS 429151 HAS SOUPS 429151 WITH SCORE 430135.642
AT ITER 923 NEW BEST:: SOT 3262967 SOS 993113 HAS SOPS 993113 HAS SOUS 428923 HAS SOUPS 428923 WITH SCORE 429916.113
AT ITER 955 NEW BEST:: SOT 3262746 SOS 993195 HAS SOPS 993195 HAS SOUS 428571 HAS SOUPS 428571 WITH SCORE 429564.195
AT ITER 959 NEW BEST:: SOT 3262387 SOS 992927 HAS SOPS 992927 HAS SOUS 428081 HAS SOUPS 428081 WITH SCORE 429073.927
AT ITER 964 NEW BEST:: SOT 3262360 SOS 992846 HAS SOPS 992846 HAS SOUS 428054 HAS SOUPS 428054 WITH SCORE 429046.846
AT ITER 972 NEW BEST:: SOT 3262280 SOS 992686 HAS SOPS 992686 HAS SOUS 427974 HAS SOUPS 427974 WITH SCORE 428966.686
AT ITER 978 NEW BEST:: SOT 3262266 SOS 993530 HAS SOPS 993530 HAS SOUS 427967 HAS SOUPS 427967 WITH SCORE 428960.53
AT ITER 987 NEW BEST:: SOT 3262207 SOS 993176 HAS SOPS 993176 HAS SOUS 427849 HAS SOUPS 427849 WITH SCORE 428842.176
AT ITER 990 NEW BEST:: SOT 3262206 SOS 993148 HAS SOPS 993148 HAS SOUS 427814 HAS SOUPS 427814 WITH SCORE 428807.148
AT ITER 991 NEW BEST:: SOT 3262206 SOS 993137 HAS SOPS 993137 HAS SOUS 427803 HAS SOUPS 427803 WITH SCORE 428796.137
AT ITER 996 NEW BEST:: SOT 3262115 SOS 992864 HAS SOPS 992864 HAS SOUS 427708 HAS SOUPS 427708 WITH SCORE 428700.864
AT ITER 1007 NEW BEST:: SOT 3262085 SOS 992846 HAS SOPS 992846 HAS SOUS 427678 HAS SOUPS 427678 WITH SCORE 428670.846
AT ITER 1009 NEW BEST:: SOT 3262082 SOS 992840 HAS SOPS 992840 HAS SOUS 427672 HAS SOUPS 427672 WITH SCORE 428664.84
AT ITER 1012 NEW BEST:: SOT 3261932 SOS 992540 HAS SOPS 992540 HAS SOUS 427239 HAS SOUPS 427239 WITH SCORE 428231.54
AT ITER 1016 NEW BEST:: SOT 3261878 SOS 992644 HAS SOPS 992644 HAS SOUS 427184 HAS SOUPS 427184 WITH SCORE 428176.644
AT ITER 1029 NEW BEST:: SOT 3261800 SOS 992266 HAS SOPS 992266 HAS SOUS 427045 HAS SOUPS 427045 WITH SCORE 428037.266
AT ITER 1031 NEW BEST:: SOT 3261800 SOS 992266 HAS SOPS 992266 HAS SOUS 426943 HAS SOUPS 426943 WITH SCORE 427935.266
AT ITER 1037 NEW BEST:: SOT 3261732 SOS 992196 HAS SOPS 992196 HAS SOUS 426873 HAS SOUPS 426873 WITH SCORE 427865.196
AT ITER 1040 NEW BEST:: SOT 3261613 SOS 992363 HAS SOPS 992363 HAS SOUS 426754 HAS SOUPS 426754 WITH SCORE 427746.363
AT ITER 1055 NEW BEST:: SOT 3261598 SOS 992272 HAS SOPS 992272 HAS SOUS 426663 HAS SOUPS 426663 WITH SCORE 427655.272
AT ITER 1104 NEW BEST:: SOT 3261598 SOS 992272 HAS SOPS 992272 HAS SOUS 426654 HAS SOUPS 426654 WITH SCORE 427646.272
AT ITER 1107 NEW BEST:: SOT 3261021 SOS 994734 HAS SOPS 994734 HAS SOUS 426105 HAS SOUPS 426105 WITH SCORE 427099.734
AT ITER 1158 NEW BEST:: SOT 3260998 SOS 994688 HAS SOPS 994688 HAS SOUS 426059 HAS SOUPS 426059 WITH SCORE 427053.688
AT ITER 1161 NEW BEST:: SOT 3260948 SOS 994402 HAS SOPS 994402 HAS SOUS 426003 HAS SOUPS 426003 WITH SCORE 426997.402
AT ITER 1169 NEW BEST:: SOT 3260948 SOS 994404 HAS SOPS 994404 HAS SOUS 425986 HAS SOUPS 425986 WITH SCORE 426980.404
AT ITER 1171 NEW BEST:: SOT 3260070 SOS 994650 HAS SOPS 994650 HAS SOUS 425274 HAS SOUPS 425274 WITH SCORE 426268.65
AT ITER 1202 NEW BEST:: SOT 3260070 SOS 994604 HAS SOPS 994604 HAS SOUS 425251 HAS SOUPS 425251 WITH SCORE 426245.604
AT ITER 1223 NEW BEST:: SOT 3260019 SOS 994502 HAS SOPS 994502 HAS SOUS 425149 HAS SOUPS 425149 WITH SCORE 426143.502
AT ITER 1228 NEW BEST:: SOT 3260183 SOS 994496 HAS SOPS 994496 HAS SOUS 425084 HAS SOUPS 425084 WITH SCORE 426078.496
AT ITER 1233 NEW BEST:: SOT 3260183 SOS 994496 HAS SOPS 994496 HAS SOUS 424951 HAS SOUPS 424951 WITH SCORE 425945.496
AT ITER 1236 NEW BEST:: SOT 3260025 SOS 994855 HAS SOPS 994855 HAS SOUS 424737 HAS SOUPS 424737 WITH SCORE 425731.855
AT ITER 1239 NEW BEST:: SOT 3259744 SOS 994573 HAS SOPS 994573 HAS SOUS 424455 HAS SOUPS 424455 WITH SCORE 425449.573
AT ITER 1241 NEW BEST:: SOT 3259744 SOS 994573 HAS SOPS 994573 HAS SOUS 424428 HAS SOUPS 424428 WITH SCORE 425422.573
AT ITER 1248 NEW BEST:: SOT 3259744 SOS 994678 HAS SOPS 994678 HAS SOUS 424371 HAS SOUPS 424371 WITH SCORE 425365.678
AT ITER 1251 NEW BEST:: SOT 3259722 SOS 994598 HAS SOPS 994598 HAS SOUS 424291 HAS SOUPS 424291 WITH SCORE 425285.598
AT ITER 1255 NEW BEST:: SOT 3259722 SOS 994534 HAS SOPS 994534 HAS SOUS 424273 HAS SOUPS 424273 WITH SCORE 425267.534
AT ITER 1256 NEW BEST:: SOT 3259687 SOS 994486 HAS SOPS 994486 HAS SOUS 424185 HAS SOUPS 424185 WITH SCORE 425179.486
AT ITER 1260 NEW BEST:: SOT 3259616 SOS 994543 HAS SOPS 994543 HAS SOUS 423951 HAS SOUPS 423951 WITH SCORE 424945.543
AT ITER 1262 NEW BEST:: SOT 3259573 SOS 994500 HAS SOPS 994500 HAS SOUS 423951 HAS SOUPS 423951 WITH SCORE 424945.5
AT ITER 1266 NEW BEST:: SOT 3259516 SOS 994318 HAS SOPS 994318 HAS SOUS 423769 HAS SOUPS 423769 WITH SCORE 424763.318
AT ITER 1280 NEW BEST:: SOT 3258283 SOS 1022711 HAS SOPS 1022711 HAS SOUS 422751 HAS SOUPS 422751 WITH SCORE 423773.711
AT ITER 1299 NEW BEST:: SOT 3258311 SOS 1022697 HAS SOPS 1022697 HAS SOUS 422737 HAS SOUPS 422737 WITH SCORE 423759.697
AT ITER 1301 NEW BEST:: SOT 3258310 SOS 1022695 HAS SOPS 1022695 HAS SOUS 422735 HAS SOUPS 422735 WITH SCORE 423757.695
AT ITER 1305 NEW BEST:: SOT 3257795 SOS 1025889 HAS SOPS 1025889 HAS SOUS 422484 HAS SOUPS 422484 WITH SCORE 423509.889
AT ITER 1306 NEW BEST:: SOT 3257394 SOS 1027751 HAS SOPS 1027751 HAS SOUS 422458 HAS SOUPS 422458 WITH SCORE 423485.751
AT ITER 1310 NEW BEST:: SOT 3257375 SOS 1027713 HAS SOPS 1027713 HAS SOUS 422437 HAS SOUPS 422437 WITH SCORE 423464.713
AT ITER 1315 NEW BEST:: SOT 3257375 SOS 1027713 HAS SOPS 1027713 HAS SOUS 422368 HAS SOUPS 422368 WITH SCORE 423395.713
AT ITER 1319 NEW BEST:: SOT 3257326 SOS 1027711 HAS SOPS 1027711 HAS SOUS 422366 HAS SOUPS 422366 WITH SCORE 423393.711
AT ITER 1321 NEW BEST:: SOT 3257321 SOS 1027687 HAS SOPS 1027687 HAS SOUS 422356 HAS SOUPS 422356 WITH SCORE 423383.687
AT ITER 1324 NEW BEST:: SOT 3257207 SOS 1027459 HAS SOPS 1027459 HAS SOUS 422242 HAS SOUPS 422242 WITH SCORE 423269.459
AT ITER 1326 NEW BEST:: SOT 3256957 SOS 1026959 HAS SOPS 1026959 HAS SOUS 421742 HAS SOUPS 421742 WITH SCORE 422768.959
AT ITER 1337 NEW BEST:: SOT 3256711 SOS 1026467 HAS SOPS 1026467 HAS SOUS 421517 HAS SOUPS 421517 WITH SCORE 422543.467
AT ITER 1339 NEW BEST:: SOT 3256712 SOS 1026418 HAS SOPS 1026418 HAS SOUS 421501 HAS SOUPS 421501 WITH SCORE 422527.418
AT ITER 1356 NEW BEST:: SOT 3256784 SOS 1026771 HAS SOPS 1026771 HAS SOUS 421386 HAS SOUPS 421386 WITH SCORE 422412.771
AT ITER 1370 NEW BEST:: SOT 3256842 SOS 1026729 HAS SOPS 1026729 HAS SOUS 421344 HAS SOUPS 421344 WITH SCORE 422370.729
AT ITER 1376 NEW BEST:: SOT 3256746 SOS 1026697 HAS SOPS 1026697 HAS SOUS 421280 HAS SOUPS 421280 WITH SCORE 422306.697
AT ITER 1385 NEW BEST:: SOT 3256436 SOS 1026525 HAS SOPS 1026525 HAS SOUS 421245 HAS SOUPS 421245 WITH SCORE 422271.525
AT ITER 1392 NEW BEST:: SOT 3256436 SOS 1026474 HAS SOPS 1026474 HAS SOUS 421231 HAS SOUPS 421231 WITH SCORE 422257.474
AT ITER 1396 NEW BEST:: SOT 3256429 SOS 1026882 HAS SOPS 1026882 HAS SOUS 421224 HAS SOUPS 421224 WITH SCORE 422250.882
AT ITER 1399 NEW BEST:: SOT 3256430 SOS 1026884 HAS SOPS 1026884 HAS SOUS 421182 HAS SOUPS 421182 WITH SCORE 422208.884
AT ITER 1403 NEW BEST:: SOT 3256343 SOS 1026778 HAS SOPS 1026778 HAS SOUS 421076 HAS SOUPS 421076 WITH SCORE 422102.778
AT ITER 1415 NEW BEST:: SOT 3256304 SOS 1026700 HAS SOPS 1026700 HAS SOUS 420998 HAS SOUPS 420998 WITH SCORE 422024.7
AT ITER 1419 NEW BEST:: SOT 3256231 SOS 1026554 HAS SOPS 1026554 HAS SOUS 420688 HAS SOUPS 420688 WITH SCORE 421714.554
AT ITER 1427 NEW BEST:: SOT 3256222 SOS 1026545 HAS SOPS 1026545 HAS SOUS 420678 HAS SOUPS 420678 WITH SCORE 421704.545
AT ITER 1433 NEW BEST:: SOT 3256144 SOS 1026787 HAS SOPS 1026787 HAS SOUS 392684 HAS SOUPS 392684 WITH SCORE 393710.787
AT ITER 1446 NEW BEST:: SOT 3256099 SOS 1026697 HAS SOPS 1026697 HAS SOUS 392506 HAS SOUPS 392506 WITH SCORE 393532.697
AT ITER 1450 NEW BEST:: SOT 3256027 SOS 1026553 HAS SOPS 1026553 HAS SOUS 392362 HAS SOUPS 392362 WITH SCORE 393388.553
AT ITER 1470 NEW BEST:: SOT 3256027 SOS 1026496 HAS SOPS 1026496 HAS SOUS 392305 HAS SOUPS 392305 WITH SCORE 393331.496
AT ITER 1471 NEW BEST:: SOT 3255960 SOS 1026362 HAS SOPS 1026362 HAS SOUS 392015 HAS SOUPS 392015 WITH SCORE 393041.362
AT ITER 1484 NEW BEST:: SOT 3255833 SOS 1026108 HAS SOPS 1026108 HAS SOUS 391761 HAS SOUPS 391761 WITH SCORE 392787.108
AT ITER 1499 NEW BEST:: SOT 3255831 SOS 1026104 HAS SOPS 1026104 HAS SOUS 391757 HAS SOUPS 391757 WITH SCORE 392783.104
AT ITER 1508 NEW BEST:: SOT 3255752 SOS 1025842 HAS SOPS 1025842 HAS SOUS 391703 HAS SOUPS 391703 WITH SCORE 392728.842
AT ITER 1549 NEW BEST:: SOT 3255606 SOS 1025964 HAS SOPS 1025964 HAS SOUS 391602 HAS SOUPS 391602 WITH SCORE 392627.964
AT ITER 1579 NEW BEST:: SOT 3255606 SOS 1026164 HAS SOPS 1026164 HAS SOUS 391402 HAS SOUPS 391402 WITH SCORE 392428.164
AT ITER 1593 NEW BEST:: SOT 3255606 SOS 1026417 HAS SOPS 1026417 HAS SOUS 391361 HAS SOUPS 391361 WITH SCORE 392387.417
AT ITER 1602 NEW BEST:: SOT 3255645 SOS 1027675 HAS SOPS 1027675 HAS SOUS 391223 HAS SOUPS 391223 WITH SCORE 392250.675
AT ITER 1608 NEW BEST:: SOT 3255580 SOS 1027725 HAS SOPS 1027725 HAS SOUS 391093 HAS SOUPS 391093 WITH SCORE 392120.725
AT ITER 1637 NEW BEST:: SOT 3255449 SOS 1027725 HAS SOPS 1027725 HAS SOUS 391087 HAS SOUPS 391087 WITH SCORE 392114.725
AT ITER 1638 NEW BEST:: SOT 3255263 SOS 1027690 HAS SOPS 1027690 HAS SOUS 390814 HAS SOUPS 390814 WITH SCORE 391841.69
AT ITER 1658 NEW BEST:: SOT 3255263 SOS 1027690 HAS SOPS 1027690 HAS SOUS 390714 HAS SOUPS 390714 WITH SCORE 391741.69
AT ITER 1700 NEW BEST:: SOT 3255155 SOS 1028162 HAS SOPS 1028162 HAS SOUS 390653 HAS SOUPS 390653 WITH SCORE 391681.162
AT ITER 1703 NEW BEST:: SOT 3255189 SOS 1028144 HAS SOPS 1028144 HAS SOUS 390644 HAS SOUPS 390644 WITH SCORE 391672.144
AT ITER 1754 NEW BEST:: SOT 3255098 SOS 1028007 HAS SOPS 1028007 HAS SOUS 383540 HAS SOUPS 383540 WITH SCORE 384568.007
AT ITER 1772 NEW BEST:: SOT 3255033 SOS 1027942 HAS SOPS 1027942 HAS SOUS 383540 HAS SOUPS 383540 WITH SCORE 384567.942
AT ITER 1776 NEW BEST:: SOT 3254995 SOS 1027866 HAS SOPS 1027866 HAS SOUS 383464 HAS SOUPS 383464 WITH SCORE 384491.866
AT ITER 1787 NEW BEST:: SOT 3254993 SOS 1027858 HAS SOPS 1027858 HAS SOUS 383460 HAS SOUPS 383460 WITH SCORE 384487.858
AT ITER 1797 NEW BEST:: SOT 3254993 SOS 1027858 HAS SOPS 1027858 HAS SOUS 383355 HAS SOUPS 383355 WITH SCORE 384382.858
AT ITER 1812 NEW BEST:: SOT 3254993 SOS 1027858 HAS SOPS 1027858 HAS SOUS 383352 HAS SOUPS 383352 WITH SCORE 384379.858
AT ITER 1824 NEW BEST:: SOT 3254914 SOS 1027700 HAS SOPS 1027700 HAS SOUS 383194 HAS SOUPS 383194 WITH SCORE 384221.7
AT ITER 1853 NEW BEST:: SOT 3254988 SOS 1027722 HAS SOPS 1027722 HAS SOUS 383142 HAS SOUPS 383142 WITH SCORE 384169.722
AT ITER 1855 NEW BEST:: SOT 3254988 SOS 1027722 HAS SOPS 1027722 HAS SOUS 383140 HAS SOUPS 383140 WITH SCORE 384167.722
AT ITER 1870 NEW BEST:: SOT 3254988 SOS 1027722 HAS SOPS 1027722 HAS SOUS 383102 HAS SOUPS 383102 WITH SCORE 384129.722
AT ITER 1872 NEW BEST:: SOT 3255004 SOS 1027834 HAS SOPS 1027834 HAS SOUS 383033 HAS SOUPS 383033 WITH SCORE 384060.834
AT ITER 1878 NEW BEST:: SOT 3255031 SOS 1027426 HAS SOPS 1027426 HAS SOUS 383021 HAS SOUPS 383021 WITH SCORE 384048.426
AT ITER 1893 NEW BEST:: SOT 3255031 SOS 1027493 HAS SOPS 1027493 HAS SOUS 382982 HAS SOUPS 382982 WITH SCORE 384009.493
AT ITER 1895 NEW BEST:: SOT 3254932 SOS 1027295 HAS SOPS 1027295 HAS SOUS 382882 HAS SOUPS 382882 WITH SCORE 383909.295
AT ITER 1905 NEW BEST:: SOT 3254932 SOS 1027248 HAS SOPS 1027248 HAS SOUS 382835 HAS SOUPS 382835 WITH SCORE 383862.248
AT ITER 1915 NEW BEST:: SOT 3254932 SOS 1027249 HAS SOPS 1027249 HAS SOUS 382632 HAS SOUPS 382632 WITH SCORE 383659.249
AT ITER 1926 NEW BEST:: SOT 3254932 SOS 1027135 HAS SOPS 1027135 HAS SOUS 382575 HAS SOUPS 382575 WITH SCORE 383602.135
AT ITER 1941 NEW BEST:: SOT 3255154 SOS 1027327 HAS SOPS 1027327 HAS SOUS 382373 HAS SOUPS 382373 WITH SCORE 383400.327
AT ITER 1961 NEW BEST:: SOT 3254862 SOS 1026480 HAS SOPS 1026480 HAS SOUS 382081 HAS SOUPS 382081 WITH SCORE 383107.48
AT ITER 1964 NEW BEST:: SOT 3254844 SOS 1026462 HAS SOPS 1026462 HAS SOUS 382072 HAS SOUPS 382072 WITH SCORE 383098.462
AT ITER 1968 NEW BEST:: SOT 3254822 SOS 1026418 HAS SOPS 1026418 HAS SOUS 382050 HAS SOUPS 382050 WITH SCORE 383076.418
AT ITER 1974 NEW BEST:: SOT 3254873 SOS 1026520 HAS SOPS 1026520 HAS SOUS 381789 HAS SOUPS 381789 WITH SCORE 382815.52
AT ITER 1988 NEW BEST:: SOT 3254890 SOS 1026830 HAS SOPS 1026830 HAS SOUS 381754 HAS SOUPS 381754 WITH SCORE 382780.83
AT ITER 2002 NEW BEST:: SOT 3254881 SOS 1026812 HAS SOPS 1026812 HAS SOUS 381736 HAS SOUPS 381736 WITH SCORE 382762.812
AT ITER 2018 NEW BEST:: SOT 3254881 SOS 1026812 HAS SOPS 1026812 HAS SOUS 381726 HAS SOUPS 381726 WITH SCORE 382752.812
AT ITER 2025 NEW BEST:: SOT 3254485 SOS 1026020 HAS SOPS 1026020 HAS SOUS 380934 HAS SOUPS 380934 WITH SCORE 381960.02
AT ITER 2052 NEW BEST:: SOT 3254448 SOS 1025983 HAS SOPS 1025983 HAS SOUS 380931 HAS SOUPS 380931 WITH SCORE 381956.983
AT ITER 2058 NEW BEST:: SOT 3254425 SOS 1025937 HAS SOPS 1025937 HAS SOUS 380885 HAS SOUPS 380885 WITH SCORE 381910.937
AT ITER 2059 NEW BEST:: SOT 3254425 SOS 1025902 HAS SOPS 1025902 HAS SOUS 380815 HAS SOUPS 380815 WITH SCORE 381840.902
AT ITER 2061 NEW BEST:: SOT 3254312 SOS 1025676 HAS SOPS 1025676 HAS SOUS 380702 HAS SOUPS 380702 WITH SCORE 381727.676
AT ITER 2080 NEW BEST:: SOT 3254217 SOS 1025648 HAS SOPS 1025648 HAS SOUS 380571 HAS SOUPS 380571 WITH SCORE 381596.648
AT ITER 2089 NEW BEST:: SOT 3254211 SOS 1025636 HAS SOPS 1025636 HAS SOUS 380559 HAS SOUPS 380559 WITH SCORE 381584.636
AT ITER 2102 NEW BEST:: SOT 3254211 SOS 1025936 HAS SOPS 1025936 HAS SOUS 380499 HAS SOUPS 380499 WITH SCORE 381524.936
AT ITER 2106 NEW BEST:: SOT 3254125 SOS 1025764 HAS SOPS 1025764 HAS SOUS 380318 HAS SOUPS 380318 WITH SCORE 381343.764
AT ITER 2120 NEW BEST:: SOT 3254125 SOS 1025694 HAS SOPS 1025694 HAS SOUS 380318 HAS SOUPS 380318 WITH SCORE 381343.694
AT ITER 2129 NEW BEST:: SOT 3253984 SOS 1025518 HAS SOPS 1025518 HAS SOUS 380177 HAS SOUPS 380177 WITH SCORE 381202.518
AT ITER 2132 NEW BEST:: SOT 3253790 SOS 1025130 HAS SOPS 1025130 HAS SOUS 379780 HAS SOUPS 379780 WITH SCORE 380805.13
AT ITER 2166 NEW BEST:: SOT 3253790 SOS 1025020 HAS SOPS 1025020 HAS SOUS 379777 HAS SOUPS 379777 WITH SCORE 380802.02
AT ITER 2183 NEW BEST:: SOT 3252187 SOS 1038887 HAS SOPS 1038887 HAS SOUS 378728 HAS SOUPS 378728 WITH SCORE 379766.887
AT ITER 2204 NEW BEST:: SOT 3252145 SOS 1038803 HAS SOPS 1038803 HAS SOUS 378644 HAS SOUPS 378644 WITH SCORE 379682.803
AT ITER 2215 NEW BEST:: SOT 3252145 SOS 1038803 HAS SOPS 1038803 HAS SOUS 378643 HAS SOUPS 378643 WITH SCORE 379681.803
AT ITER 2224 NEW BEST:: SOT 3252145 SOS 1038761 HAS SOPS 1038761 HAS SOUS 378643 HAS SOUPS 378643 WITH SCORE 379681.761
AT ITER 2225 NEW BEST:: SOT 3252119 SOS 1038709 HAS SOPS 1038709 HAS SOUS 378591 HAS SOUPS 378591 WITH SCORE 379629.709
AT ITER 2228 NEW BEST:: SOT 3252399 SOS 1038750 HAS SOPS 1038750 HAS SOUS 378391 HAS SOUPS 378391 WITH SCORE 379429.75
AT ITER 2242 NEW BEST:: SOT 3252303 SOS 1038750 HAS SOPS 1038750 HAS SOUS 378295 HAS SOUPS 378295 WITH SCORE 379333.75
AT ITER 2246 NEW BEST:: SOT 3252303 SOS 1038726 HAS SOPS 1038726 HAS SOUS 378283 HAS SOUPS 378283 WITH SCORE 379321.726
AT ITER 2262 NEW BEST:: SOT 3252469 SOS 1038844 HAS SOPS 1038844 HAS SOUS 378205 HAS SOUPS 378205 WITH SCORE 379243.844
AT ITER 2270 NEW BEST:: SOT 3252408 SOS 1038791 HAS SOPS 1038791 HAS SOUS 378149 HAS SOUPS 378149 WITH SCORE 379187.791
AT ITER 2297 NEW BEST:: SOT 3252375 SOS 1038725 HAS SOPS 1038725 HAS SOUS 378116 HAS SOUPS 378116 WITH SCORE 379154.725
AT ITER 2321 NEW BEST:: SOT 3252375 SOS 1038788 HAS SOPS 1038788 HAS SOUS 378029 HAS SOUPS 378029 WITH SCORE 379067.788
AT ITER 2349 NEW BEST:: SOT 3252260 SOS 1038706 HAS SOPS 1038706 HAS SOUS 377947 HAS SOUPS 377947 WITH SCORE 378985.706
AT ITER 2359 NEW BEST:: SOT 3252219 SOS 1038692 HAS SOPS 1038692 HAS SOUS 377928 HAS SOUPS 377928 WITH SCORE 378966.692
AT ITER 2399 NEW BEST:: SOT 3252274 SOS 1038628 HAS SOPS 1038628 HAS SOUS 377896 HAS SOUPS 377896 WITH SCORE 378934.628
AT ITER 2406 NEW BEST:: SOT 3252243 SOS 1038566 HAS SOPS 1038566 HAS SOUS 377834 HAS SOUPS 377834 WITH SCORE 378872.566
AT ITER 2421 NEW BEST:: SOT 3252199 SOS 1079394 HAS SOPS 1079394 HAS SOUS 377742 HAS SOUPS 377742 WITH SCORE 378821.394
AT ITER 2425 NEW BEST:: SOT 3251957 SOS 1079880 HAS SOPS 1079880 HAS SOUS 377501 HAS SOUPS 377501 WITH SCORE 378580.88
AT ITER 2447 NEW BEST:: SOT 3251772 SOS 1079510 HAS SOPS 1079510 HAS SOUS 377131 HAS SOUPS 377131 WITH SCORE 378210.51
AT ITER 2448 NEW BEST:: SOT 3251772 SOS 1079703 HAS SOPS 1079703 HAS SOUS 377113 HAS SOUPS 377113 WITH SCORE 378192.703
AT ITER 2474 NEW BEST:: SOT 3251642 SOS 1079773 HAS SOPS 1079773 HAS SOUS 377003 HAS SOUPS 377003 WITH SCORE 378082.773
AT ITER 2475 NEW BEST:: SOT 3251642 SOS 1079850 HAS SOPS 1079850 HAS SOUS 376968 HAS SOUPS 376968 WITH SCORE 378047.85
AT ITER 2478 NEW BEST:: SOT 3251642 SOS 1079970 HAS SOPS 1079970 HAS SOUS 376908 HAS SOUPS 376908 WITH SCORE 377987.97
AT ITER 2484 NEW BEST:: SOT 3251642 SOS 1079970 HAS SOPS 1079970 HAS SOUS 376906 HAS SOUPS 376906 WITH SCORE 377985.97
AT ITER 2499 NEW BEST:: SOT 3251477 SOS 1079878 HAS SOPS 1079878 HAS SOUS 376505 HAS SOUPS 376505 WITH SCORE 377584.878
AT ITER 2530 NEW BEST:: SOT 3251602 SOS 1079820 HAS SOPS 1079820 HAS SOUS 376388 HAS SOUPS 376388 WITH SCORE 377467.82
AT ITER 2535 NEW BEST:: SOT 3251669 SOS 1079965 HAS SOPS 1079965 HAS SOUS 376306 HAS SOUPS 376306 WITH SCORE 377385.965
AT ITER 2554 NEW BEST:: SOT 3251647 SOS 1079921 HAS SOPS 1079921 HAS SOUS 376262 HAS SOUPS 376262 WITH SCORE 377341.921
AT ITER 2555 NEW BEST:: SOT 3251826 SOS 1079742 HAS SOPS 1079742 HAS SOUS 376262 HAS SOUPS 376262 WITH SCORE 377341.742
AT ITER 2559 NEW BEST:: SOT 3250962 SOS 1096752 HAS SOPS 1096752 HAS SOUS 375357 HAS SOUPS 375357 WITH SCORE 376453.752
AT ITER 2583 NEW BEST:: SOT 3250891 SOS 1096681 HAS SOPS 1096681 HAS SOUS 375286 HAS SOUPS 375286 WITH SCORE 376382.681
AT ITER 2594 NEW BEST:: SOT 3250891 SOS 1096644 HAS SOPS 1096644 HAS SOUS 375218 HAS SOUPS 375218 WITH SCORE 376314.644
AT ITER 2641 NEW BEST:: SOT 3251035 SOS 1096500 HAS SOPS 1096500 HAS SOUS 375218 HAS SOUPS 375218 WITH SCORE 376314.5
AT ITER 2655 NEW BEST:: SOT 3251035 SOS 1096120 HAS SOPS 1096120 HAS SOUS 375218 HAS SOUPS 375218 WITH SCORE 376314.12
AT ITER 2660 NEW BEST:: SOT 3251035 SOS 1096120 HAS SOPS 1096120 HAS SOUS 375181 HAS SOUPS 375181 WITH SCORE 376277.12
AT ITER 2681 NEW BEST:: SOT 3251031 SOS 1095840 HAS SOPS 1095840 HAS SOUS 375169 HAS SOUPS 375169 WITH SCORE 376264.84
AT ITER 2685 NEW BEST:: SOT 3250916 SOS 1095610 HAS SOPS 1095610 HAS SOUS 374939 HAS SOUPS 374939 WITH SCORE 376034.61
AT ITER 2693 NEW BEST:: SOT 3250880 SOS 1095538 HAS SOPS 1095538 HAS SOUS 374867 HAS SOUPS 374867 WITH SCORE 375962.538
AT ITER 2719 NEW BEST:: SOT 3250839 SOS 1095456 HAS SOPS 1095456 HAS SOUS 374828 HAS SOUPS 374828 WITH SCORE 375923.456
AT ITER 2732 NEW BEST:: SOT 3250770 SOS 1095368 HAS SOPS 1095368 HAS SOUS 374453 HAS SOUPS 374453 WITH SCORE 375548.368
AT ITER 2733 NEW BEST:: SOT 3250645 SOS 1095348 HAS SOPS 1095348 HAS SOUS 374114 HAS SOUPS 374114 WITH SCORE 375209.348
AT ITER 2754 NEW BEST:: SOT 3250754 SOS 1095426 HAS SOPS 1095426 HAS SOUS 374044 HAS SOUPS 374044 WITH SCORE 375139.426
AT ITER 2755 NEW BEST:: SOT 3250781 SOS 1094368 HAS SOPS 1094368 HAS SOUS 373932 HAS SOUPS 373932 WITH SCORE 375026.368
AT ITER 2764 NEW BEST:: SOT 3250763 SOS 1094350 HAS SOPS 1094350 HAS SOUS 373932 HAS SOUPS 373932 WITH SCORE 375026.35
AT ITER 2781 NEW BEST:: SOT 3250754 SOS 1094332 HAS SOPS 1094332 HAS SOUS 373914 HAS SOUPS 373914 WITH SCORE 375008.332
AT ITER 2788 NEW BEST:: SOT 3250754 SOS 1094332 HAS SOPS 1094332 HAS SOUS 373840 HAS SOUPS 373840 WITH SCORE 374934.332
AT ITER 2789 NEW BEST:: SOT 3250729 SOS 1094382 HAS SOPS 1094382 HAS SOUS 373790 HAS SOUPS 373790 WITH SCORE 374884.382
AT ITER 2791 NEW BEST:: SOT 3250566 SOS 1094056 HAS SOPS 1094056 HAS SOUS 373464 HAS SOUPS 373464 WITH SCORE 374558.056
AT ITER 2799 NEW BEST:: SOT 3250330 SOS 1093584 HAS SOPS 1093584 HAS SOUS 372992 HAS SOUPS 372992 WITH SCORE 374085.584
AT ITER 2819 NEW BEST:: SOT 3250082 SOS 1093336 HAS SOPS 1093336 HAS SOUS 372620 HAS SOUPS 372620 WITH SCORE 373713.336
AT ITER 2828 NEW BEST:: SOT 3249909 SOS 1093163 HAS SOPS 1093163 HAS SOUS 372605 HAS SOUPS 372605 WITH SCORE 373698.163
AT ITER 2843 NEW BEST:: SOT 3249790 SOS 1093208 HAS SOPS 1093208 HAS SOUS 372565 HAS SOUPS 372565 WITH SCORE 373658.208
AT ITER 2858 NEW BEST:: SOT 3249816 SOS 1093098 HAS SOPS 1093098 HAS SOUS 372536 HAS SOUPS 372536 WITH SCORE 373629.098
AT ITER 2868 NEW BEST:: SOT 3250119 SOS 1093273 HAS SOPS 1093273 HAS SOUS 372490 HAS SOUPS 372490 WITH SCORE 373583.273
AT ITER 2870 NEW BEST:: SOT 3250119 SOS 1093273 HAS SOPS 1093273 HAS SOUS 372425 HAS SOUPS 372425 WITH SCORE 373518.273
AT ITER 2879 NEW BEST:: SOT 3250119 SOS 1093165 HAS SOPS 1093165 HAS SOUS 372371 HAS SOUPS 372371 WITH SCORE 373464.165
AT ITER 2882 NEW BEST:: SOT 3250118 SOS 1093163 HAS SOPS 1093163 HAS SOUS 372369 HAS SOUPS 372369 WITH SCORE 373462.163
AT ITER 2905 NEW BEST:: SOT 3250065 SOS 1093057 HAS SOPS 1093057 HAS SOUS 372036 HAS SOUPS 372036 WITH SCORE 373129.057
AT ITER 2913 NEW BEST:: SOT 3250202 SOS 1093015 HAS SOPS 1093015 HAS SOUS 372018 HAS SOUPS 372018 WITH SCORE 373111.015
AT ITER 2923 NEW BEST:: SOT 3250205 SOS 1093012 HAS SOPS 1093012 HAS SOUS 372018 HAS SOUPS 372018 WITH SCORE 373111.012
AT ITER 2925 NEW BEST:: SOT 3249947 SOS 1092786 HAS SOPS 1092786 HAS SOUS 371647 HAS SOUPS 371647 WITH SCORE 372739.786
AT ITER 2938 NEW BEST:: SOT 3249940 SOS 1092772 HAS SOPS 1092772 HAS SOUS 371633 HAS SOUPS 371633 WITH SCORE 372725.772
AT ITER 2947 NEW BEST:: SOT 3249988 SOS 1092806 HAS SOPS 1092806 HAS SOUS 371577 HAS SOUPS 371577 WITH SCORE 372669.806
AT ITER 2949 NEW BEST:: SOT 3249878 SOS 1092476 HAS SOPS 1092476 HAS SOUS 371467 HAS SOUPS 371467 WITH SCORE 372559.476
AT ITER 2952 NEW BEST:: SOT 3249746 SOS 1092410 HAS SOPS 1092410 HAS SOUS 371269 HAS SOUPS 371269 WITH SCORE 372361.41
AT ITER 2962 NEW BEST:: SOT 3249713 SOS 1092366 HAS SOPS 1092366 HAS SOUS 371236 HAS SOUPS 371236 WITH SCORE 372328.366
AT ITER 2966 NEW BEST:: SOT 3249713 SOS 1092413 HAS SOPS 1092413 HAS SOUS 371223 HAS SOUPS 371223 WITH SCORE 372315.413
AT ITER 2967 NEW BEST:: SOT 3249705 SOS 1092397 HAS SOPS 1092397 HAS SOUS 371207 HAS SOUPS 371207 WITH SCORE 372299.397
AT ITER 2986 NEW BEST:: SOT 3249631 SOS 1092459 HAS SOPS 1092459 HAS SOUS 371203 HAS SOUPS 371203 WITH SCORE 372295.459
AT ITER 2988 NEW BEST:: SOT 3249345 SOS 1092239 HAS SOPS 1092239 HAS SOUS 370983 HAS SOUPS 370983 WITH SCORE 372075.239
AT ITER 3014 NEW BEST:: SOT 3249343 SOS 1092235 HAS SOPS 1092235 HAS SOUS 370979 HAS SOUPS 370979 WITH SCORE 372071.235
AT ITER 3090 NEW BEST:: SOT 3249438 SOS 1092084 HAS SOPS 1092084 HAS SOUS 370908 HAS SOUPS 370908 WITH SCORE 372000.084
AT ITER 3127 NEW BEST:: SOT 3249223 SOS 1091654 HAS SOPS 1091654 HAS SOUS 370662 HAS SOUPS 370662 WITH SCORE 371753.654
AT ITER 3142 NEW BEST:: SOT 3249168 SOS 1091489 HAS SOPS 1091489 HAS SOUS 370607 HAS SOUPS 370607 WITH SCORE 371698.489
AT ITER 3152 NEW BEST:: SOT 3249168 SOS 1091489 HAS SOPS 1091489 HAS SOUS 370605 HAS SOUPS 370605 WITH SCORE 371696.489
AT ITER 3153 NEW BEST:: SOT 3249186 SOS 1091525 HAS SOPS 1091525 HAS SOUS 370481 HAS SOUPS 370481 WITH SCORE 371572.525
AT ITER 3166 NEW BEST:: SOT 3249186 SOS 1091525 HAS SOPS 1091525 HAS SOUS 370476 HAS SOUPS 370476 WITH SCORE 371567.525
AT ITER 3174 NEW BEST:: SOT 3249085 SOS 1091323 HAS SOPS 1091323 HAS SOUS 370374 HAS SOUPS 370374 WITH SCORE 371465.323
AT ITER 3176 NEW BEST:: SOT 3248931 SOS 1091909 HAS SOPS 1091909 HAS SOUS 370226 HAS SOUPS 370226 WITH SCORE 371317.909
AT ITER 3198 NEW BEST:: SOT 3248931 SOS 1091776 HAS SOPS 1091776 HAS SOUS 370226 HAS SOUPS 370226 WITH SCORE 371317.776
AT ITER 3199 NEW BEST:: SOT 3248931 SOS 1091663 HAS SOPS 1091663 HAS SOUS 370078 HAS SOUPS 370078 WITH SCORE 371169.663
AT ITER 3210 NEW BEST:: SOT 3248887 SOS 1091575 HAS SOPS 1091575 HAS SOUS 369990 HAS SOUPS 369990 WITH SCORE 371081.575
AT ITER 3234 NEW BEST:: SOT 3248886 SOS 1091573 HAS SOPS 1091573 HAS SOUS 369988 HAS SOUPS 369988 WITH SCORE 371079.573
AT ITER 3243 NEW BEST:: SOT 3248698 SOS 1091385 HAS SOPS 1091385 HAS SOUS 366987 HAS SOUPS 366987 WITH SCORE 368078.385
AT ITER 3250 NEW BEST:: SOT 3248669 SOS 1091356 HAS SOPS 1091356 HAS SOUS 366958 HAS SOUPS 366958 WITH SCORE 368049.356
AT ITER 3251 NEW BEST:: SOT 3248669 SOS 1091356 HAS SOPS 1091356 HAS SOUS 366775 HAS SOUPS 366775 WITH SCORE 367866.356
AT ITER 3296 NEW BEST:: SOT 3248548 SOS 1091235 HAS SOPS 1091235 HAS SOUS 366766 HAS SOUPS 366766 WITH SCORE 367857.235
AT ITER 3300 NEW BEST:: SOT 3248518 SOS 1091175 HAS SOPS 1091175 HAS SOUS 366695 HAS SOUPS 366695 WITH SCORE 367786.175
AT ITER 3304 NEW BEST:: SOT 3248511 SOS 1091168 HAS SOPS 1091168 HAS SOUS 366687 HAS SOUPS 366687 WITH SCORE 367778.168
AT ITER 3311 NEW BEST:: SOT 3248511 SOS 1090965 HAS SOPS 1090965 HAS SOUS 366492 HAS SOUPS 366492 WITH SCORE 367582.965
AT ITER 3325 NEW BEST:: SOT 3248322 SOS 1090935 HAS SOPS 1090935 HAS SOUS 366303 HAS SOUPS 366303 WITH SCORE 367393.935
AT ITER 3374 NEW BEST:: SOT 3248318 SOS 1090936 HAS SOPS 1090936 HAS SOUS 366299 HAS SOUPS 366299 WITH SCORE 367389.936
AT ITER 3377 NEW BEST:: SOT 3248189 SOS 1090678 HAS SOPS 1090678 HAS SOUS 366041 HAS SOUPS 366041 WITH SCORE 367131.678
AT ITER 3385 NEW BEST:: SOT 3248156 SOS 1090645 HAS SOPS 1090645 HAS SOUS 366041 HAS SOUPS 366041 WITH SCORE 367131.645
AT ITER 3389 NEW BEST:: SOT 3247712 SOS 1090219 HAS SOPS 1090219 HAS SOUS 365615 HAS SOUPS 365615 WITH SCORE 366705.219
AT ITER 3398 NEW BEST:: SOT 3247588 SOS 1090126 HAS SOPS 1090126 HAS SOUS 365511 HAS SOUPS 365511 WITH SCORE 366601.126
AT ITER 3404 NEW BEST:: SOT 3247671 SOS 1089825 HAS SOPS 1089825 HAS SOUS 365488 HAS SOUPS 365488 WITH SCORE 366577.825
AT ITER 3407 NEW BEST:: SOT 3247654 SOS 1089791 HAS SOPS 1089791 HAS SOUS 365454 HAS SOUPS 365454 WITH SCORE 366543.791
AT ITER 3408 NEW BEST:: SOT 3247654 SOS 1089683 HAS SOPS 1089683 HAS SOUS 365396 HAS SOUPS 365396 WITH SCORE 366485.683
AT ITER 3412 NEW BEST:: SOT 3247247 SOS 1089478 HAS SOPS 1089478 HAS SOUS 364988 HAS SOUPS 364988 WITH SCORE 366077.478
AT ITER 3423 NEW BEST:: SOT 3247223 SOS 1089430 HAS SOPS 1089430 HAS SOUS 364940 HAS SOUPS 364940 WITH SCORE 366029.43
AT ITER 3440 NEW BEST:: SOT 3246719 SOS 1089430 HAS SOPS 1089430 HAS SOUS 364535 HAS SOUPS 364535 WITH SCORE 365624.43
AT ITER 3443 NEW BEST:: SOT 3246719 SOS 1089430 HAS SOPS 1089430 HAS SOUS 364512 HAS SOUPS 364512 WITH SCORE 365601.43
AT ITER 3474 NEW BEST:: SOT 3246719 SOS 1089276 HAS SOPS 1089276 HAS SOUS 364204 HAS SOUPS 364204 WITH SCORE 365293.276
AT ITER 3490 NEW BEST:: SOT 3246639 SOS 1089236 HAS SOPS 1089236 HAS SOUS 364124 HAS SOUPS 364124 WITH SCORE 365213.236
AT ITER 3507 NEW BEST:: SOT 3246613 SOS 1089929 HAS SOPS 1089929 HAS SOUS 363938 HAS SOUPS 363938 WITH SCORE 365027.929
AT ITER 3524 NEW BEST:: SOT 3246599 SOS 1089915 HAS SOPS 1089915 HAS SOUS 363924 HAS SOUPS 363924 WITH SCORE 365013.915
AT ITER 3531 NEW BEST:: SOT 3246524 SOS 1090737 HAS SOPS 1090737 HAS SOUS 363849 HAS SOUPS 363849 WITH SCORE 364939.737
AT ITER 3534 NEW BEST:: SOT 3246689 SOS 1090901 HAS SOPS 1090901 HAS SOUS 363558 HAS SOUPS 363558 WITH SCORE 364648.901
AT ITER 3537 NEW BEST:: SOT 3246686 SOS 1090895 HAS SOPS 1090895 HAS SOUS 363547 HAS SOUPS 363547 WITH SCORE 364637.895
AT ITER 3551 NEW BEST:: SOT 3246353 SOS 1090784 HAS SOPS 1090784 HAS SOUS 363214 HAS SOUPS 363214 WITH SCORE 364304.784
AT ITER 3573 NEW BEST:: SOT 3246549 SOS 1091150 HAS SOPS 1091150 HAS SOUS 363001 HAS SOUPS 363001 WITH SCORE 364092.15
AT ITER 3603 NEW BEST:: SOT 3246516 SOS 1091117 HAS SOPS 1091117 HAS SOUS 362992 HAS SOUPS 362992 WITH SCORE 364083.117
AT ITER 3621 NEW BEST:: SOT 3246391 SOS 1091077 HAS SOPS 1091077 HAS SOUS 362833 HAS SOUPS 362833 WITH SCORE 363924.077
AT ITER 3625 NEW BEST:: SOT 3246368 SOS 1091054 HAS SOPS 1091054 HAS SOUS 362833 HAS SOUPS 362833 WITH SCORE 363924.054
AT ITER 3628 NEW BEST:: SOT 3246356 SOS 1091030 HAS SOPS 1091030 HAS SOUS 362789 HAS SOUPS 362789 WITH SCORE 363880.03
AT ITER 3686 NEW BEST:: SOT 3246356 SOS 1091030 HAS SOPS 1091030 HAS SOUS 362760 HAS SOUPS 362760 WITH SCORE 363851.03
AT ITER 3693 NEW BEST:: SOT 3246391 SOS 1091100 HAS SOPS 1091100 HAS SOUS 362757 HAS SOUPS 362757 WITH SCORE 363848.1
AT ITER 3696 NEW BEST:: SOT 3246373 SOS 1091064 HAS SOPS 1091064 HAS SOUS 362721 HAS SOUPS 362721 WITH SCORE 363812.064
AT ITER 3704 NEW BEST:: SOT 3246373 SOS 1090914 HAS SOPS 1090914 HAS SOUS 362562 HAS SOUPS 362562 WITH SCORE 363652.914
AT ITER 3721 NEW BEST:: SOT 3246274 SOS 1090815 HAS SOPS 1090815 HAS SOUS 362523 HAS SOUPS 362523 WITH SCORE 363613.815
AT ITER 3722 NEW BEST:: SOT 3245851 SOS 1090745 HAS SOPS 1090745 HAS SOUS 362158 HAS SOUPS 362158 WITH SCORE 363248.745
AT ITER 3762 NEW BEST:: SOT 3245839 SOS 1090721 HAS SOPS 1090721 HAS SOUS 362095 HAS SOUPS 362095 WITH SCORE 363185.721
AT ITER 3772 NEW BEST:: SOT 3245839 SOS 1090673 HAS SOPS 1090673 HAS SOUS 362047 HAS SOUPS 362047 WITH SCORE 363137.673
AT ITER 3779 NEW BEST:: SOT 3245838 SOS 1090672 HAS SOPS 1090672 HAS SOUS 362046 HAS SOUPS 362046 WITH SCORE 363136.672
AT ITER 3794 NEW BEST:: SOT 3245709 SOS 1090414 HAS SOPS 1090414 HAS SOUS 361917 HAS SOUPS 361917 WITH SCORE 363007.414
AT ITER 3805 NEW BEST:: SOT 3245567 SOS 1090336 HAS SOPS 1090336 HAS SOUS 361569 HAS SOUPS 361569 WITH SCORE 362659.336
AT ITER 3812 NEW BEST:: SOT 3245467 SOS 1090136 HAS SOPS 1090136 HAS SOUS 361562 HAS SOUPS 361562 WITH SCORE 362652.136
AT ITER 3821 NEW BEST:: SOT 3245435 SOS 1090072 HAS SOPS 1090072 HAS SOUS 361530 HAS SOUPS 361530 WITH SCORE 362620.072
AT ITER 3824 NEW BEST:: SOT 3244225 SOS 1088970 HAS SOPS 1088970 HAS SOUS 360975 HAS SOUPS 360975 WITH SCORE 362063.97
AT ITER 3854 NEW BEST:: SOT 3244333 SOS 1089038 HAS SOPS 1089038 HAS SOUS 360917 HAS SOUPS 360917 WITH SCORE 362006.038
AT ITER 3861 NEW BEST:: SOT 3244209 SOS 1088976 HAS SOPS 1088976 HAS SOUS 359313 HAS SOUPS 359313 WITH SCORE 360401.976
AT ITER 3878 NEW BEST:: SOT 3244232 SOS 1089226 HAS SOPS 1089226 HAS SOUS 359155 HAS SOUPS 359155 WITH SCORE 360244.226
AT ITER 3893 NEW BEST:: SOT 3244088 SOS 1088938 HAS SOPS 1088938 HAS SOUS 358939 HAS SOUPS 358939 WITH SCORE 360027.938
AT ITER 3898 NEW BEST:: SOT 3244088 SOS 1088938 HAS SOPS 1088938 HAS SOUS 358920 HAS SOUPS 358920 WITH SCORE 360008.938
AT ITER 3925 NEW BEST:: SOT 3244087 SOS 1088928 HAS SOPS 1088928 HAS SOUS 358917 HAS SOUPS 358917 WITH SCORE 360005.928
AT ITER 3950 NEW BEST:: SOT 3243859 SOS 1088472 HAS SOPS 1088472 HAS SOUS 358689 HAS SOUPS 358689 WITH SCORE 359777.472
AT ITER 3954 NEW BEST:: SOT 3243597 SOS 1087776 HAS SOPS 1087776 HAS SOUS 358400 HAS SOUPS 358400 WITH SCORE 359487.776
AT ITER 3989 NEW BEST:: SOT 3243587 SOS 1087756 HAS SOPS 1087756 HAS SOUS 358380 HAS SOUPS 358380 WITH SCORE 359467.756
AT ITER 3990 NEW BEST:: SOT 3243495 SOS 1087821 HAS SOPS 1087821 HAS SOUS 358362 HAS SOUPS 358362 WITH SCORE 359449.821
AT ITER 3993 NEW BEST:: SOT 3243465 SOS 1087791 HAS SOPS 1087791 HAS SOUS 358332 HAS SOUPS 358332 WITH SCORE 359419.791
AT ITER 3994 NEW BEST:: SOT 3243453 SOS 1087767 HAS SOPS 1087767 HAS SOUS 358320 HAS SOUPS 358320 WITH SCORE 359407.767
AT ITER 4001 NEW BEST:: SOT 3243352 SOS 1087865 HAS SOPS 1087865 HAS SOUS 358318 HAS SOUPS 358318 WITH SCORE 359405.865
AT ITER 4006 NEW BEST:: SOT 3243307 SOS 1087775 HAS SOPS 1087775 HAS SOUS 358289 HAS SOUPS 358289 WITH SCORE 359376.775
AT ITER 4008 NEW BEST:: SOT 3243203 SOS 1087765 HAS SOPS 1087765 HAS SOUS 358180 HAS SOUPS 358180 WITH SCORE 359267.765
AT ITER 4012 NEW BEST:: SOT 3242484 SOS 1086926 HAS SOPS 1086926 HAS SOUS 357394 HAS SOUPS 357394 WITH SCORE 358480.926
AT ITER 4018 NEW BEST:: SOT 3242240 SOS 1083128 HAS SOPS 1083128 HAS SOUS 357124 HAS SOUPS 357124 WITH SCORE 358207.128
AT ITER 4021 NEW BEST:: SOT 3242230 SOS 1083108 HAS SOPS 1083108 HAS SOUS 357014 HAS SOUPS 357014 WITH SCORE 358097.108
AT ITER 4049 NEW BEST:: SOT 3242271 SOS 1083421 HAS SOPS 1083421 HAS SOUS 356929 HAS SOUPS 356929 WITH SCORE 358012.421
AT ITER 4055 NEW BEST:: SOT 3242272 SOS 1083331 HAS SOPS 1083331 HAS SOUS 356839 HAS SOUPS 356839 WITH SCORE 357922.331
AT ITER 4104 NEW BEST:: SOT 3242272 SOS 1083331 HAS SOPS 1083331 HAS SOUS 356705 HAS SOUPS 356705 WITH SCORE 357788.331
AT ITER 4105 NEW BEST:: SOT 3242138 SOS 1083063 HAS SOPS 1083063 HAS SOUS 356437 HAS SOUPS 356437 WITH SCORE 357520.063
AT ITER 4147 NEW BEST:: SOT 3242174 SOS 1083135 HAS SOPS 1083135 HAS SOUS 356400 HAS SOUPS 356400 WITH SCORE 357483.135
AT ITER 4156 NEW BEST:: SOT 3241886 SOS 1082559 HAS SOPS 1082559 HAS SOUS 356111 HAS SOUPS 356111 WITH SCORE 357193.559
AT ITER 4160 NEW BEST:: SOT 3241542 SOS 1082636 HAS SOPS 1082636 HAS SOUS 355933 HAS SOUPS 355933 WITH SCORE 357015.636
AT ITER 4167 NEW BEST:: SOT 3241516 SOS 1082584 HAS SOPS 1082584 HAS SOUS 355929 HAS SOUPS 355929 WITH SCORE 357011.584
AT ITER 4188 NEW BEST:: SOT 3241237 SOS 1082418 HAS SOPS 1082418 HAS SOUS 355748 HAS SOUPS 355748 WITH SCORE 356830.418
AT ITER 4211 NEW BEST:: SOT 3241063 SOS 1082377 HAS SOPS 1082377 HAS SOUS 355707 HAS SOUPS 355707 WITH SCORE 356789.377
AT ITER 4227 NEW BEST:: SOT 3240762 SOS 1082356 HAS SOPS 1082356 HAS SOUS 355683 HAS SOUPS 355683 WITH SCORE 356765.356
AT ITER 4229 NEW BEST:: SOT 3240900 SOS 1082632 HAS SOPS 1082632 HAS SOUS 355487 HAS SOUPS 355487 WITH SCORE 356569.632
AT ITER 4234 NEW BEST:: SOT 3240900 SOS 1082629 HAS SOPS 1082629 HAS SOUS 355487 HAS SOUPS 355487 WITH SCORE 356569.629
AT ITER 4243 NEW BEST:: SOT 3240900 SOS 1082409 HAS SOPS 1082409 HAS SOUS 355243 HAS SOUPS 355243 WITH SCORE 356325.409
AT ITER 4249 NEW BEST:: SOT 3240894 SOS 1082400 HAS SOPS 1082400 HAS SOUS 355233 HAS SOUPS 355233 WITH SCORE 356315.4
AT ITER 4259 NEW BEST:: SOT 3240842 SOS 1082500 HAS SOPS 1082500 HAS SOUS 355169 HAS SOUPS 355169 WITH SCORE 356251.5
AT ITER 4260 NEW BEST:: SOT 3240871 SOS 1082558 HAS SOPS 1082558 HAS SOUS 355095 HAS SOUPS 355095 WITH SCORE 356177.558
AT ITER 4280 NEW BEST:: SOT 3240711 SOS 1082398 HAS SOPS 1082398 HAS SOUS 354925 HAS SOUPS 354925 WITH SCORE 356007.398
AT ITER 4292 NEW BEST:: SOT 3240778 SOS 1082398 HAS SOPS 1082398 HAS SOUS 354901 HAS SOUPS 354901 WITH SCORE 355983.398
AT ITER 4300 NEW BEST:: SOT 3240802 SOS 1082446 HAS SOPS 1082446 HAS SOUS 354869 HAS SOUPS 354869 WITH SCORE 355951.446
AT ITER 4308 NEW BEST:: SOT 3240856 SOS 1082445 HAS SOPS 1082445 HAS SOUS 354868 HAS SOUPS 354868 WITH SCORE 355950.445
AT ITER 4311 NEW BEST:: SOT 3240856 SOS 1082445 HAS SOPS 1082445 HAS SOUS 354798 HAS SOUPS 354798 WITH SCORE 355880.445
AT ITER 4312 NEW BEST:: SOT 3240856 SOS 1082598 HAS SOPS 1082598 HAS SOUS 354631 HAS SOUPS 354631 WITH SCORE 355713.598
AT ITER 4319 NEW BEST:: SOT 3240630 SOS 1082395 HAS SOPS 1082395 HAS SOUS 354434 HAS SOUPS 354434 WITH SCORE 355516.395
AT ITER 4322 NEW BEST:: SOT 3240591 SOS 1082223 HAS SOPS 1082223 HAS SOUS 354356 HAS SOUPS 354356 WITH SCORE 355438.223
AT ITER 4336 NEW BEST:: SOT 3240351 SOS 1081949 HAS SOPS 1081949 HAS SOUS 342866 HAS SOUPS 342866 WITH SCORE 343947.949
AT ITER 4346 NEW BEST:: SOT 3240282 SOS 1081880 HAS SOPS 1081880 HAS SOUS 342797 HAS SOUPS 342797 WITH SCORE 343878.88
AT ITER 4365 NEW BEST:: SOT 3240176 SOS 1081880 HAS SOPS 1081880 HAS SOUS 342744 HAS SOUPS 342744 WITH SCORE 343825.88
AT ITER 4366 NEW BEST:: SOT 3240105 SOS 1081809 HAS SOPS 1081809 HAS SOUS 342602 HAS SOUPS 342602 WITH SCORE 343683.809
AT ITER 4371 NEW BEST:: SOT 3240046 SOS 1081691 HAS SOPS 1081691 HAS SOUS 342484 HAS SOUPS 342484 WITH SCORE 343565.691
AT ITER 4375 NEW BEST:: SOT 3240030 SOS 1081707 HAS SOPS 1081707 HAS SOUS 342476 HAS SOUPS 342476 WITH SCORE 343557.707
AT ITER 4384 NEW BEST:: SOT 3240030 SOS 1081671 HAS SOPS 1081671 HAS SOUS 342440 HAS SOUPS 342440 WITH SCORE 343521.671
AT ITER 4401 NEW BEST:: SOT 3240009 SOS 1081629 HAS SOPS 1081629 HAS SOUS 342419 HAS SOUPS 342419 WITH SCORE 343500.629
AT ITER 4408 NEW BEST:: SOT 3239713 SOS 1081241 HAS SOPS 1081241 HAS SOUS 342169 HAS SOUPS 342169 WITH SCORE 343250.241
AT ITER 4420 NEW BEST:: SOT 3239713 SOS 1081196 HAS SOPS 1081196 HAS SOUS 342169 HAS SOUPS 342169 WITH SCORE 343250.196
AT ITER 4439 NEW BEST:: SOT 3239713 SOS 1081196 HAS SOPS 1081196 HAS SOUS 342145 HAS SOUPS 342145 WITH SCORE 343226.196
AT ITER 4484 NEW BEST:: SOT 3239458 SOS 1080822 HAS SOPS 1080822 HAS SOUS 341714 HAS SOUPS 341714 WITH SCORE 342794.822
AT ITER 4487 NEW BEST:: SOT 3238596 SOS 1080057 HAS SOPS 1080057 HAS SOUS 341288 HAS SOUPS 341288 WITH SCORE 342368.057
AT ITER 4502 NEW BEST:: SOT 3238540 SOS 1080012 HAS SOPS 1080012 HAS SOUS 341165 HAS SOUPS 341165 WITH SCORE 342245.012
AT ITER 4505 NEW BEST:: SOT 3238518 SOS 1079968 HAS SOPS 1079968 HAS SOUS 341143 HAS SOUPS 341143 WITH SCORE 342222.968
AT ITER 4513 NEW BEST:: SOT 3238615 SOS 1079950 HAS SOPS 1079950 HAS SOUS 341125 HAS SOUPS 341125 WITH SCORE 342204.95
AT ITER 4523 NEW BEST:: SOT 3238500 SOS 1079563 HAS SOPS 1079563 HAS SOUS 340897 HAS SOUPS 340897 WITH SCORE 341976.563
AT ITER 4525 NEW BEST:: SOT 3238500 SOS 1079504 HAS SOPS 1079504 HAS SOUS 340838 HAS SOUPS 340838 WITH SCORE 341917.504
AT ITER 4528 NEW BEST:: SOT 3238500 SOS 1079310 HAS SOPS 1079310 HAS SOUS 340644 HAS SOUPS 340644 WITH SCORE 341723.31
AT ITER 4534 NEW BEST:: SOT 3238500 SOS 1079117 HAS SOPS 1079117 HAS SOUS 340563 HAS SOUPS 340563 WITH SCORE 341642.117
AT ITER 4546 NEW BEST:: SOT 3238491 SOS 1079099 HAS SOPS 1079099 HAS SOUS 340545 HAS SOUPS 340545 WITH SCORE 341624.099
AT ITER 4558 NEW BEST:: SOT 3238334 SOS 1078952 HAS SOPS 1078952 HAS SOUS 340473 HAS SOUPS 340473 WITH SCORE 341551.952
AT ITER 4559 NEW BEST:: SOT 3238334 SOS 1078995 HAS SOPS 1078995 HAS SOUS 339076 HAS SOUPS 339076 WITH SCORE 340154.995
AT ITER 4565 NEW BEST:: SOT 3238334 SOS 1078966 HAS SOPS 1078966 HAS SOUS 339018 HAS SOUPS 339018 WITH SCORE 340096.966
AT ITER 4570 NEW BEST:: SOT 3238334 SOS 1078966 HAS SOPS 1078966 HAS SOUS 338964 HAS SOUPS 338964 WITH SCORE 340042.966
AT ITER 4581 NEW BEST:: SOT 3238253 SOS 1078804 HAS SOPS 1078804 HAS SOUS 338802 HAS SOUPS 338802 WITH SCORE 339880.804
AT ITER 4598 NEW BEST:: SOT 3238265 SOS 1078693 HAS SOPS 1078693 HAS SOUS 338753 HAS SOUPS 338753 WITH SCORE 339831.693
AT ITER 4620 NEW BEST:: SOT 3238237 SOS 1078637 HAS SOPS 1078637 HAS SOUS 338697 HAS SOUPS 338697 WITH SCORE 339775.637
AT ITER 4621 NEW BEST:: SOT 3238054 SOS 1078450 HAS SOPS 1078450 HAS SOUS 338510 HAS SOUPS 338510 WITH SCORE 339588.45
AT ITER 4658 NEW BEST:: SOT 3238244 SOS 1078894 HAS SOPS 1078894 HAS SOUS 338475 HAS SOUPS 338475 WITH SCORE 339553.894
AT ITER 4672 NEW BEST:: SOT 3238244 SOS 1078894 HAS SOPS 1078894 HAS SOUS 338466 HAS SOUPS 338466 WITH SCORE 339544.894
AT ITER 4686 NEW BEST:: SOT 3238243 SOS 1078892 HAS SOPS 1078892 HAS SOUS 338464 HAS SOUPS 338464 WITH SCORE 339542.892
AT ITER 4719 NEW BEST:: SOT 3238243 SOS 1078619 HAS SOPS 1078619 HAS SOUS 338282 HAS SOUPS 338282 WITH SCORE 339360.619
AT ITER 4721 NEW BEST:: SOT 3238127 SOS 1078039 HAS SOPS 1078039 HAS SOUS 337818 HAS SOUPS 337818 WITH SCORE 338896.039
AT ITER 4722 NEW BEST:: SOT 3237921 SOS 1077947 HAS SOPS 1077947 HAS SOUS 337628 HAS SOUPS 337628 WITH SCORE 338705.947
AT ITER 4731 NEW BEST:: SOT 3237749 SOS 1077828 HAS SOPS 1077828 HAS SOUS 337408 HAS SOUPS 337408 WITH SCORE 338485.828
AT ITER 4732 NEW BEST:: SOT 3237749 SOS 1077800 HAS SOPS 1077800 HAS SOUS 337408 HAS SOUPS 337408 WITH SCORE 338485.8
AT ITER 4744 NEW BEST:: SOT 3237775 SOS 1077852 HAS SOPS 1077852 HAS SOUS 337166 HAS SOUPS 337166 WITH SCORE 338243.852
AT ITER 4778 NEW BEST:: SOT 3237522 SOS 1077823 HAS SOPS 1077823 HAS SOUS 336967 HAS SOUPS 336967 WITH SCORE 338044.823
AT ITER 4792 NEW BEST:: SOT 3237676 SOS 1078131 HAS SOPS 1078131 HAS SOUS 336846 HAS SOUPS 336846 WITH SCORE 337924.131
AT ITER 4810 NEW BEST:: SOT 3237676 SOS 1078079 HAS SOPS 1078079 HAS SOUS 336846 HAS SOUPS 336846 WITH SCORE 337924.079
AT ITER 4829 NEW BEST:: SOT 3237673 SOS 1078073 HAS SOPS 1078073 HAS SOUS 336840 HAS SOUPS 336840 WITH SCORE 337918.073
AT ITER 4848 NEW BEST:: SOT 3237730 SOS 1078187 HAS SOPS 1078187 HAS SOUS 336839 HAS SOUPS 336839 WITH SCORE 337917.187
AT ITER 4873 NEW BEST:: SOT 3237663 SOS 1078215 HAS SOPS 1078215 HAS SOUS 336537 HAS SOUPS 336537 WITH SCORE 337615.215
AT ITER 4875 NEW BEST:: SOT 3237510 SOS 1077762 HAS SOPS 1077762 HAS SOUS 336406 HAS SOUPS 336406 WITH SCORE 337483.762
AT ITER 4895 NEW BEST:: SOT 3237484 SOS 1077710 HAS SOPS 1077710 HAS SOUS 336354 HAS SOUPS 336354 WITH SCORE 337431.71
AT ITER 4899 NEW BEST:: SOT 3237534 SOS 1077809 HAS SOPS 1077809 HAS SOUS 336353 HAS SOUPS 336353 WITH SCORE 337430.809
AT ITER 4903 NEW BEST:: SOT 3237408 SOS 1077976 HAS SOPS 1077976 HAS SOUS 332043 HAS SOUPS 332043 WITH SCORE 333120.976
AT ITER 4909 NEW BEST:: SOT 3237538 SOS 1078105 HAS SOPS 1078105 HAS SOUS 332041 HAS SOUPS 332041 WITH SCORE 333119.105
AT ITER 4910 NEW BEST:: SOT 3237538 SOS 1078105 HAS SOPS 1078105 HAS SOUS 332017 HAS SOUPS 332017 WITH SCORE 333095.105
AT ITER 4959 NEW BEST:: SOT 3237423 SOS 1077978 HAS SOPS 1077978 HAS SOUS 331784 HAS SOUPS 331784 WITH SCORE 332861.978
AT ITER 4993 NEW BEST:: SOT 3237351 SOS 1078338 HAS SOPS 1078338 HAS SOUS 331640 HAS SOUPS 331640 WITH SCORE 332718.338
AT ITER 4994 NEW BEST:: SOT 3237181 SOS 1078167 HAS SOPS 1078167 HAS SOUS 331500 HAS SOUPS 331500 WITH SCORE 332578.167
Bounds file is: CTLFireability.xml
PROPERTY: CloudDeployment-PT-5b-CTLFireability-00 ( ( (AG( ( (! ((potential((tk(P1391)>=1))))) & (! ((potential((tk(P871)>=1) & (tk(P592)>=1) & (tk(P634)>=1) & (tk(P1482)>=1))))) ))) | (EU( ( ((potential((tk(P673)>=1)))) | ((potential((tk(P387)>=1)))) ) , ( ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P898)>=1) & (tk(P966)>=1) & (tk(P349)>=1) & (tk(P303)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P593)>=1) & (tk(P639)>=1) & (tk(P1256)>=1) & (tk(P1188)>=1) & (tk(P1219)>=1) & (tk(P1523)>=1)))) | ((potential((tk(P105)>=1)))) ) )) ) | (AG( ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P345)>=1) & (tk(P318)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P593)>=1) & (tk(P639)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1215)>=1) & (tk(P1523)>=1)))))) )
PROPERTY: CloudDeployment-PT-5b-CTLFireability-01 ( (AF( ( ((potential((tk(P11)>=1)))) | (AG( ((potential((tk(P579)>=1)))))) ))) & (AF( (EU( ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P349)>=1) & (tk(P318)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P608)>=1) & (tk(P635)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1215)>=1) & (tk(P1523)>=1)))) , ((potential((tk(P947)>=1)))) )))) )
PROPERTY: CloudDeployment-PT-5b-CTLFireability-02 (! (EG( ( ( (! ((potential((tk(P1504)>=1) & (tk(P1248)>=1) & (tk(P1210)>=1) & (tk(P1357)>=1) & (tk(P1522)>=1))))) | (! ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P898)>=1) & (tk(P966)>=1) & (tk(P345)>=1) & (tk(P303)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P593)>=1) & (tk(P639)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1219)>=1) & (tk(P1523)>=1))))) ) & (! ( ((potential((tk(P734)>=1)))) & ((potential((tk(P943)>=1) & (tk(P1233)>=1)))) )) ))))
PROPERTY: CloudDeployment-PT-5b-CTLFireability-03 ( (! ( (! (! ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P349)>=1) & (tk(P318)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P593)>=1) & (tk(P635)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1215)>=1) & (tk(P1523)>=1)))))) | (EX( ((potential((tk(P1504)>=1) & (tk(P88)>=1) & (tk(P50)>=1) & (tk(P284)>=1) & (tk(P1522)>=1)))))) )) & (EG( (AF( ( ((potential((tk(P1458)>=1) & (tk(P929)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P345)>=1) & (tk(P318)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P608)>=1) & (tk(P635)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1215)>=1) & (tk(P1523)>=1)))) | ((potential((tk(P731)>=1)))) ))))) )
PROPERTY: CloudDeployment-PT-5b-CTLFireability-04 (AG( (! ((potential((tk(P1458)>=1) & (tk(P929)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P345)>=1) & (tk(P303)>=1) & (tk(P386)>=1) & (tk(P55)>=1) & (tk(P28)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P593)>=1) & (tk(P639)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1219)>=1) & (tk(P1523)>=1)))))))
PROPERTY: CloudDeployment-PT-5b-CTLFireability-05 (EG( ( (EG( (! ((potential((tk(P340)>=1) & (tk(P433)>=1))))))) & (AF( (! ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P345)>=1) & (tk(P318)>=1) & (tk(P386)>=1) & (tk(P55)>=1) & (tk(P28)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P608)>=1) & (tk(P639)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1219)>=1) & (tk(P1523)>=1))))))) )))
PROPERTY: CloudDeployment-PT-5b-CTLFireability-06 (AG( (AF( ((potential((tk(P1298)>=1))))))))
PROPERTY: CloudDeployment-PT-5b-CTLFireability-07 (AF( ( (AU( ((potential((tk(P435)>=1)))) , ((potential((tk(P1504)>=1) & (tk(P1248)>=1) & (tk(P1210)>=1) & (tk(P1377)>=1) & (tk(P1522)>=1)))) )) | ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P349)>=1) & (tk(P303)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P593)>=1) & (tk(P635)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1219)>=1) & (tk(P1523)>=1)))) )))
PROPERTY: CloudDeployment-PT-5b-CTLFireability-08 (! (EU( ( (! ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P349)>=1) & (tk(P318)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P28)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P593)>=1) & (tk(P639)>=1) & (tk(P1256)>=1) & (tk(P1188)>=1) & (tk(P1219)>=1) & (tk(P1523)>=1))))) | ( ((potential((tk(P865)>=1)))) & ((potential((tk(P274)>=1)))) ) ) , (EG( ((potential((tk(P941)>=1)))))) )))
PROPERTY: CloudDeployment-PT-5b-CTLFireability-09 (! (EG( ( (! ( ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P345)>=1) & (tk(P318)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P608)>=1) & (tk(P635)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1219)>=1) & (tk(P1523)>=1)))) & ((potential((tk(P340)>=1) & (tk(P653)>=1)))) )) | (AF( ((potential((tk(P1372)>=1)))))) ))))
PROPERTY: CloudDeployment-PT-5b-CTLFireability-10 (EF( ((potential((tk(P1458)>=1) & (tk(P929)>=1) & (tk(P898)>=1) & (tk(P966)>=1) & (tk(P345)>=1) & (tk(P303)>=1) & (tk(P386)>=1) & (tk(P55)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P608)>=1) & (tk(P635)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1219)>=1) & (tk(P1523)>=1))))))
PROPERTY: CloudDeployment-PT-5b-CTLFireability-11 (AU( (AG( ((potential((tk(P1451)>=1) & (tk(P1172)>=1) & (tk(P1214)>=1) & (tk(P1520)>=1)))))) , (AG( (! ((potential((tk(P1458)>=1) & (tk(P929)>=1) & (tk(P898)>=1) & (tk(P966)>=1) & (tk(P345)>=1) & (tk(P303)>=1) & (tk(P386)>=1) & (tk(P55)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P593)>=1) & (tk(P635)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1215)>=1) & (tk(P1523)>=1))))))) ))
PROPERTY: CloudDeployment-PT-5b-CTLFireability-12 (EU( ( ( ( ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P349)>=1) & (tk(P303)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P28)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P608)>=1) & (tk(P639)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1215)>=1) & (tk(P1523)>=1)))) & ((potential((tk(P211)>=1)))) ) | (! ((potential((tk(P514)>=1))))) ) & ( (! ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P898)>=1) & (tk(P966)>=1) & (tk(P349)>=1) & (tk(P303)>=1) & (tk(P386)>=1) & (tk(P55)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P608)>=1) & (tk(P635)>=1) & (tk(P1256)>=1) & (tk(P1188)>=1) & (tk(P1219)>=1) & (tk(P1523)>=1))))) | (! ((potential((tk(P444)>=1))))) ) ) , (EG( (! ((potential((tk(P276)>=1))))))) ))
PROPERTY: CloudDeployment-PT-5b-CTLFireability-13 ( ( ( (! ( ( ((potential((tk(P1458)>=1) & (tk(P929)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P349)>=1) & (tk(P303)>=1) & (tk(P386)>=1) & (tk(P55)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P593)>=1) & (tk(P635)>=1) & (tk(P1256)>=1) & (tk(P1188)>=1) & (tk(P1215)>=1) & (tk(P1523)>=1)))) & ((potential((tk(P1458)>=1) & (tk(P929)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P349)>=1) & (tk(P303)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P28)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P593)>=1) & (tk(P639)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1215)>=1) & (tk(P1523)>=1)))) ) & ( ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P898)>=1) & (tk(P966)>=1) & (tk(P345)>=1) & (tk(P318)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P28)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P608)>=1) & (tk(P639)>=1) & (tk(P1256)>=1) & (tk(P1188)>=1) & (tk(P1219)>=1) & (tk(P1523)>=1)))) | ((potential((tk(P511)>=1)))) ) )) | ( (AG( ((potential((tk(P1504)>=1) & (tk(P378)>=1) & (tk(P340)>=1) & (tk(P562)>=1) & (tk(P1522)>=1)))))) & ( ( ((potential((tk(P653)>=1) & (tk(P943)>=1)))) & ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P345)>=1) & (tk(P318)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P593)>=1) & (tk(P635)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1215)>=1) & (tk(P1523)>=1)))) ) | (! ((potential((tk(P542)>=1))))) ) ) ) & ( (EF( (! ((potential((tk(P1353)>=1))))))) | ( ( (! ((potential((tk(P351)>=1))))) | ( ((potential((tk(P1458)>=1) & (tk(P929)>=1) & (tk(P898)>=1) & (tk(P966)>=1) & (tk(P349)>=1) & (tk(P303)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P28)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P608)>=1) & (tk(P639)>=1) & (tk(P1256)>=1) & (tk(P1188)>=1) & (tk(P1215)>=1) & (tk(P1523)>=1)))) | ((potential((tk(P290)>=1)))) ) ) | ((potential((tk(P1321)>=1)))) ) ) ) & ( (! (AX( ( ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P898)>=1) & (tk(P966)>=1) & (tk(P345)>=1) & (tk(P303)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P593)>=1) & (tk(P639)>=1) & (tk(P1256)>=1) & (tk(P1188)>=1) & (tk(P1215)>=1) & (tk(P1523)>=1)))) | ((potential((tk(P1504)>=1) & (tk(P1248)>=1) & (tk(P1210)>=1) & (tk(P1351)>=1) & (tk(P1522)>=1)))) )))) & ( ( (EG( ((potential((tk(P674)>=1)))))) & (EF( ((potential((tk(P1504)>=1) & (tk(P1248)>=1) & (tk(P1210)>=1) & (tk(P1432)>=1) & (tk(P1522)>=1)))))) ) | (! (AF( ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P898)>=1) & (tk(P966)>=1) & (tk(P345)>=1) & (tk(P303)>=1) & (tk(P386)>=1) & (tk(P55)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P608)>=1) & (tk(P635)>=1) & (tk(P1256)>=1) & (tk(P1188)>=1) & (tk(P1219)>=1) & (tk(P1523)>=1))))))) ) ) )
PROPERTY: CloudDeployment-PT-5b-CTLFireability-14 ( (EX( (! (EF( ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P349)>=1) & (tk(P318)>=1) & (tk(P386)>=1) & (tk(P59)>=1) & (tk(P13)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P608)>=1) & (tk(P635)>=1) & (tk(P1256)>=1) & (tk(P1188)>=1) & (tk(P1219)>=1) & (tk(P1523)>=1))))))))) | ( (AG( (AF( ((potential((tk(P394)>=1)))))))) | ((potential((tk(P1458)>=1) & (tk(P925)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P349)>=1) & (tk(P318)>=1) & (tk(P386)>=1) & (tk(P55)>=1) & (tk(P28)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P608)>=1) & (tk(P635)>=1) & (tk(P1256)>=1) & (tk(P1188)>=1) & (tk(P1219)>=1) & (tk(P1523)>=1)))) ) )
PROPERTY: CloudDeployment-PT-5b-CTLFireability-15 (EF( ( ((potential((tk(P1458)>=1) & (tk(P929)>=1) & (tk(P883)>=1) & (tk(P966)>=1) & (tk(P349)>=1) & (tk(P303)>=1) & (tk(P386)>=1) & (tk(P55)>=1) & (tk(P28)>=1) & (tk(P96)>=1) & (tk(P676)>=1) & (tk(P593)>=1) & (tk(P635)>=1) & (tk(P1256)>=1) & (tk(P1173)>=1) & (tk(P1219)>=1) & (tk(P1523)>=1)))) | ((potential((tk(P1504)>=1) & (tk(P668)>=1) & (tk(P630)>=1) & (tk(P852)>=1) & (tk(P1522)>=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="CloudDeployment-PT-5b"
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 CloudDeployment-PT-5b, 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 r033-smll-158901926000324"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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