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-158901926000340.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-6b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000340
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.0M
-rw-r--r-- 1 mcc users 2.9K Mar 30 01:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 01:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 15:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 15:54 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.3K 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 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 08:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:01 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 4.8M 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-6b-CTLFireability-00
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-01
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-02
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-03
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-04
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-05
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-06
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-07
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-08
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-09
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-10
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-11
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-12
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-13
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-14
FORMULA_NAME CloudDeployment-PT-6b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589160012095

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 6b
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: 1888 places, 6804 transitions, 91831 arcs.
AT ITER 0 NEW BEST:: SOT 9619899 SOS 3182724 HAS SOPS 3182724 HAS SOUS 1204894 HAS SOUPS 1204894 WITH SCORE 1208076.724
AT ITER 1 NEW BEST:: SOT 9619899 SOS 3182500 HAS SOPS 3182500 HAS SOUS 1204822 HAS SOUPS 1204822 WITH SCORE 1208004.5
AT ITER 21 NEW BEST:: SOT 9619806 SOS 3182407 HAS SOPS 3182407 HAS SOUS 1204821 HAS SOUPS 1204821 WITH SCORE 1208003.407
AT ITER 24 NEW BEST:: SOT 9619806 SOS 3182682 HAS SOPS 3182682 HAS SOUS 1204723 HAS SOUPS 1204723 WITH SCORE 1207905.682
AT ITER 32 NEW BEST:: SOT 9619676 SOS 3181902 HAS SOPS 3181902 HAS SOUS 1204593 HAS SOUPS 1204593 WITH SCORE 1207774.902
AT ITER 36 NEW BEST:: SOT 9619676 SOS 3181902 HAS SOPS 3181902 HAS SOUS 1204467 HAS SOUPS 1204467 WITH SCORE 1207648.902
AT ITER 40 NEW BEST:: SOT 9619398 SOS 3182054 HAS SOPS 3182054 HAS SOUS 1204182 HAS SOUPS 1204182 WITH SCORE 1207364.054
AT ITER 41 NEW BEST:: SOT 9619081 SOS 3184286 HAS SOPS 3184286 HAS SOUS 1203841 HAS SOUPS 1203841 WITH SCORE 1207025.286
AT ITER 45 NEW BEST:: SOT 9619081 SOS 3184331 HAS SOPS 3184331 HAS SOUS 1203801 HAS SOUPS 1203801 WITH SCORE 1206985.331
AT ITER 58 NEW BEST:: SOT 9619081 SOS 3184491 HAS SOPS 3184491 HAS SOUS 1203777 HAS SOUPS 1203777 WITH SCORE 1206961.491
AT ITER 69 NEW BEST:: SOT 9618652 SOS 3185196 HAS SOPS 3185196 HAS SOUS 1203567 HAS SOUPS 1203567 WITH SCORE 1206752.196
AT ITER 76 NEW BEST:: SOT 9617785 SOS 3184842 HAS SOPS 3184842 HAS SOUS 1202976 HAS SOUPS 1202976 WITH SCORE 1206160.842
AT ITER 77 NEW BEST:: SOT 9617731 SOS 3184734 HAS SOPS 3184734 HAS SOUS 1202868 HAS SOUPS 1202868 WITH SCORE 1206052.734
AT ITER 84 NEW BEST:: SOT 9617731 SOS 3184769 HAS SOPS 3184769 HAS SOUS 1202798 HAS SOUPS 1202798 WITH SCORE 1205982.769
AT ITER 85 NEW BEST:: SOT 9617639 SOS 3185145 HAS SOPS 3185145 HAS SOUS 1202591 HAS SOUPS 1202591 WITH SCORE 1205776.145
AT ITER 92 NEW BEST:: SOT 9617606 SOS 3187886 HAS SOPS 3187886 HAS SOUS 1202553 HAS SOUPS 1202553 WITH SCORE 1205740.886
AT ITER 111 NEW BEST:: SOT 9617561 SOS 3189270 HAS SOPS 3189270 HAS SOUS 1202509 HAS SOUPS 1202509 WITH SCORE 1205698.27
AT ITER 141 NEW BEST:: SOT 9617172 SOS 3189198 HAS SOPS 3189198 HAS SOUS 1201892 HAS SOUPS 1201892 WITH SCORE 1205081.198
AT ITER 144 NEW BEST:: SOT 9617142 SOS 3189168 HAS SOPS 3189168 HAS SOUS 1201892 HAS SOUPS 1201892 WITH SCORE 1205081.168
AT ITER 153 NEW BEST:: SOT 9617142 SOS 3188939 HAS SOPS 3188939 HAS SOUS 1201858 HAS SOUPS 1201858 WITH SCORE 1205046.939
AT ITER 158 NEW BEST:: SOT 9617272 SOS 3189081 HAS SOPS 3189081 HAS SOUS 1201773 HAS SOUPS 1201773 WITH SCORE 1204962.081
AT ITER 168 NEW BEST:: SOT 9617253 SOS 3189043 HAS SOPS 3189043 HAS SOUS 1201735 HAS SOUPS 1201735 WITH SCORE 1204924.043
AT ITER 169 NEW BEST:: SOT 9617228 SOS 3188993 HAS SOPS 3188993 HAS SOUS 1201708 HAS SOUPS 1201708 WITH SCORE 1204896.993
AT ITER 188 NEW BEST:: SOT 9617018 SOS 3189437 HAS SOPS 3189437 HAS SOUS 1201498 HAS SOUPS 1201498 WITH SCORE 1204687.437
AT ITER 202 NEW BEST:: SOT 9616379 SOS 3190921 HAS SOPS 3190921 HAS SOUS 1200894 HAS SOUPS 1200894 WITH SCORE 1204084.921
AT ITER 219 NEW BEST:: SOT 9616166 SOS 3191111 HAS SOPS 3191111 HAS SOUS 1200731 HAS SOUPS 1200731 WITH SCORE 1203922.111
AT ITER 225 NEW BEST:: SOT 9616105 SOS 3191253 HAS SOPS 3191253 HAS SOUS 1200670 HAS SOUPS 1200670 WITH SCORE 1203861.253
AT ITER 232 NEW BEST:: SOT 9615443 SOS 3248242 HAS SOPS 3248242 HAS SOUS 1200496 HAS SOUPS 1200496 WITH SCORE 1203744.242
AT ITER 251 NEW BEST:: SOT 9615443 SOS 3248209 HAS SOPS 3248209 HAS SOUS 1200496 HAS SOUPS 1200496 WITH SCORE 1203744.209
AT ITER 253 NEW BEST:: SOT 9615177 SOS 3247943 HAS SOPS 3247943 HAS SOUS 1200230 HAS SOUPS 1200230 WITH SCORE 1203477.943
AT ITER 264 NEW BEST:: SOT 9615004 SOS 3247883 HAS SOPS 3247883 HAS SOUS 1200061 HAS SOUPS 1200061 WITH SCORE 1203308.883
AT ITER 272 NEW BEST:: SOT 9615004 SOS 3248318 HAS SOPS 3248318 HAS SOUS 972206 HAS SOUPS 972206 WITH SCORE 975454.318
AT ITER 274 NEW BEST:: SOT 9614888 SOS 3248022 HAS SOPS 3248022 HAS SOUS 972110 HAS SOUPS 972110 WITH SCORE 975358.022
AT ITER 278 NEW BEST:: SOT 9614734 SOS 3248032 HAS SOPS 3248032 HAS SOUS 971990 HAS SOUPS 971990 WITH SCORE 975238.032
AT ITER 280 NEW BEST:: SOT 9614674 SOS 3248058 HAS SOPS 3248058 HAS SOUS 971918 HAS SOUPS 971918 WITH SCORE 975166.058
AT ITER 282 NEW BEST:: SOT 9614553 SOS 3248776 HAS SOPS 3248776 HAS SOUS 971862 HAS SOUPS 971862 WITH SCORE 975110.776
AT ITER 296 NEW BEST:: SOT 9614546 SOS 3248762 HAS SOPS 3248762 HAS SOUS 971329 HAS SOUPS 971329 WITH SCORE 974577.762
AT ITER 337 NEW BEST:: SOT 9614449 SOS 3248568 HAS SOPS 3248568 HAS SOUS 971112 HAS SOUPS 971112 WITH SCORE 974360.568
AT ITER 347 NEW BEST:: SOT 9614196 SOS 3248062 HAS SOPS 3248062 HAS SOUS 970606 HAS SOUPS 970606 WITH SCORE 973854.062
AT ITER 352 NEW BEST:: SOT 9614144 SOS 3249128 HAS SOPS 3249128 HAS SOUS 970515 HAS SOUPS 970515 WITH SCORE 973764.128
AT ITER 374 NEW BEST:: SOT 9614136 SOS 3249088 HAS SOPS 3249088 HAS SOUS 970463 HAS SOUPS 970463 WITH SCORE 973712.088
AT ITER 380 NEW BEST:: SOT 9614040 SOS 3248896 HAS SOPS 3248896 HAS SOUS 970271 HAS SOUPS 970271 WITH SCORE 973519.896
AT ITER 386 NEW BEST:: SOT 9613983 SOS 3249737 HAS SOPS 3249737 HAS SOUS 970213 HAS SOUPS 970213 WITH SCORE 973462.737
AT ITER 398 NEW BEST:: SOT 9613883 SOS 3249537 HAS SOPS 3249537 HAS SOUS 970013 HAS SOUPS 970013 WITH SCORE 973262.537
AT ITER 402 NEW BEST:: SOT 9613590 SOS 3249185 HAS SOPS 3249185 HAS SOUS 969486 HAS SOUPS 969486 WITH SCORE 972735.185
AT ITER 409 NEW BEST:: SOT 9613590 SOS 3248551 HAS SOPS 3248551 HAS SOUS 969486 HAS SOUPS 969486 WITH SCORE 972734.551
AT ITER 414 NEW BEST:: SOT 9606602 SOS 3249007 HAS SOPS 3249007 HAS SOUS 963244 HAS SOUPS 963244 WITH SCORE 966493.007
AT ITER 434 NEW BEST:: SOT 9606446 SOS 3248695 HAS SOPS 3248695 HAS SOUS 963209 HAS SOUPS 963209 WITH SCORE 966457.695
AT ITER 435 NEW BEST:: SOT 9605995 SOS 3248738 HAS SOPS 3248738 HAS SOUS 962937 HAS SOUPS 962937 WITH SCORE 966185.738
AT ITER 437 NEW BEST:: SOT 9605530 SOS 3248753 HAS SOPS 3248753 HAS SOUS 962472 HAS SOUPS 962472 WITH SCORE 965720.753
AT ITER 438 NEW BEST:: SOT 9605478 SOS 3248701 HAS SOPS 3248701 HAS SOUS 962472 HAS SOUPS 962472 WITH SCORE 965720.701
AT ITER 441 NEW BEST:: SOT 9605487 SOS 3248604 HAS SOPS 3248604 HAS SOUS 962125 HAS SOUPS 962125 WITH SCORE 965373.604
AT ITER 446 NEW BEST:: SOT 9604920 SOS 3248661 HAS SOPS 3248661 HAS SOUS 961514 HAS SOUPS 961514 WITH SCORE 964762.661
AT ITER 448 NEW BEST:: SOT 9604622 SOS 3248031 HAS SOPS 3248031 HAS SOUS 961182 HAS SOUPS 961182 WITH SCORE 964430.031
AT ITER 459 NEW BEST:: SOT 9604474 SOS 3247812 HAS SOPS 3247812 HAS SOUS 961034 HAS SOUPS 961034 WITH SCORE 964281.812
AT ITER 473 NEW BEST:: SOT 9604376 SOS 3247616 HAS SOPS 3247616 HAS SOUS 960532 HAS SOUPS 960532 WITH SCORE 963779.616
AT ITER 494 NEW BEST:: SOT 9604035 SOS 3246934 HAS SOPS 3246934 HAS SOUS 960460 HAS SOUPS 960460 WITH SCORE 963706.934
AT ITER 499 NEW BEST:: SOT 9604035 SOS 3246934 HAS SOPS 3246934 HAS SOUS 960459 HAS SOUPS 960459 WITH SCORE 963705.934
AT ITER 503 NEW BEST:: SOT 9604031 SOS 3246926 HAS SOPS 3246926 HAS SOUS 960432 HAS SOUPS 960432 WITH SCORE 963678.926
AT ITER 538 NEW BEST:: SOT 9604031 SOS 3278822 HAS SOPS 3278822 HAS SOUS 960398 HAS SOUPS 960398 WITH SCORE 963676.822
AT ITER 541 NEW BEST:: SOT 9603966 SOS 3278730 HAS SOPS 3278730 HAS SOUS 960295 HAS SOUPS 960295 WITH SCORE 963573.73
AT ITER 546 NEW BEST:: SOT 9603913 SOS 3279002 HAS SOPS 3279002 HAS SOUS 960164 HAS SOUPS 960164 WITH SCORE 963443.002
AT ITER 554 NEW BEST:: SOT 9603463 SOS 3278491 HAS SOPS 3278491 HAS SOUS 959622 HAS SOUPS 959622 WITH SCORE 962900.491
AT ITER 570 NEW BEST:: SOT 9603295 SOS 3278323 HAS SOPS 3278323 HAS SOUS 959454 HAS SOUPS 959454 WITH SCORE 962732.323
AT ITER 579 NEW BEST:: SOT 9603295 SOS 3278323 HAS SOPS 3278323 HAS SOUS 959413 HAS SOUPS 959413 WITH SCORE 962691.323
AT ITER 584 NEW BEST:: SOT 9603263 SOS 3278259 HAS SOPS 3278259 HAS SOUS 959386 HAS SOUPS 959386 WITH SCORE 962664.259
AT ITER 590 NEW BEST:: SOT 9603153 SOS 3278204 HAS SOPS 3278204 HAS SOUS 959331 HAS SOUPS 959331 WITH SCORE 962609.204
AT ITER 597 NEW BEST:: SOT 9603044 SOS 3278511 HAS SOPS 3278511 HAS SOUS 959304 HAS SOUPS 959304 WITH SCORE 962582.511
AT ITER 601 NEW BEST:: SOT 9601897 SOS 3277130 HAS SOPS 3277130 HAS SOUS 957908 HAS SOUPS 957908 WITH SCORE 961185.13
AT ITER 612 NEW BEST:: SOT 9601401 SOS 3278527 HAS SOPS 3278527 HAS SOUS 957482 HAS SOUPS 957482 WITH SCORE 960760.527
AT ITER 622 NEW BEST:: SOT 9601360 SOS 3278486 HAS SOPS 3278486 HAS SOUS 957459 HAS SOUPS 957459 WITH SCORE 960737.486
AT ITER 635 NEW BEST:: SOT 9601297 SOS 3278860 HAS SOPS 3278860 HAS SOUS 957435 HAS SOUPS 957435 WITH SCORE 960713.86
AT ITER 636 NEW BEST:: SOT 9601297 SOS 3278680 HAS SOPS 3278680 HAS SOUS 957435 HAS SOUPS 957435 WITH SCORE 960713.68
AT ITER 641 NEW BEST:: SOT 9601117 SOS 3278620 HAS SOPS 3278620 HAS SOUS 957315 HAS SOUPS 957315 WITH SCORE 960593.62
AT ITER 683 NEW BEST:: SOT 9600988 SOS 3278362 HAS SOPS 3278362 HAS SOUS 957057 HAS SOUPS 957057 WITH SCORE 960335.362
AT ITER 695 NEW BEST:: SOT 9600893 SOS 3278137 HAS SOPS 3278137 HAS SOUS 956666 HAS SOUPS 956666 WITH SCORE 959944.137
AT ITER 702 NEW BEST:: SOT 9600893 SOS 3278137 HAS SOPS 3278137 HAS SOUS 956661 HAS SOUPS 956661 WITH SCORE 959939.137
AT ITER 710 NEW BEST:: SOT 9600826 SOS 3278070 HAS SOPS 3278070 HAS SOUS 956661 HAS SOUPS 956661 WITH SCORE 959939.07
AT ITER 720 NEW BEST:: SOT 9600724 SOS 3277866 HAS SOPS 3277866 HAS SOUS 956558 HAS SOUPS 956558 WITH SCORE 959835.866
AT ITER 760 NEW BEST:: SOT 9600711 SOS 3277840 HAS SOPS 3277840 HAS SOUS 956543 HAS SOUPS 956543 WITH SCORE 959820.84
AT ITER 782 NEW BEST:: SOT 9600515 SOS 3277595 HAS SOPS 3277595 HAS SOUS 956298 HAS SOUPS 956298 WITH SCORE 959575.595
AT ITER 811 NEW BEST:: SOT 9600417 SOS 3277497 HAS SOPS 3277497 HAS SOUS 956296 HAS SOUPS 956296 WITH SCORE 959573.497
AT ITER 815 NEW BEST:: SOT 9600282 SOS 3277362 HAS SOPS 3277362 HAS SOUS 956161 HAS SOUPS 956161 WITH SCORE 959438.362
AT ITER 826 NEW BEST:: SOT 9600271 SOS 3277340 HAS SOPS 3277340 HAS SOUS 956150 HAS SOUPS 956150 WITH SCORE 959427.34
AT ITER 850 NEW BEST:: SOT 9600189 SOS 3277176 HAS SOPS 3277176 HAS SOUS 956068 HAS SOUPS 956068 WITH SCORE 959345.176
AT ITER 859 NEW BEST:: SOT 9600389 SOS 3277576 HAS SOPS 3277576 HAS SOUS 956011 HAS SOUPS 956011 WITH SCORE 959288.576
AT ITER 892 NEW BEST:: SOT 9600285 SOS 3277240 HAS SOPS 3277240 HAS SOUS 955887 HAS SOUPS 955887 WITH SCORE 959164.24
AT ITER 896 NEW BEST:: SOT 9600284 SOS 3277238 HAS SOPS 3277238 HAS SOUS 955885 HAS SOUPS 955885 WITH SCORE 959162.238
AT ITER 922 NEW BEST:: SOT 9600304 SOS 3277278 HAS SOPS 3277278 HAS SOUS 955602 HAS SOUPS 955602 WITH SCORE 958879.278
AT ITER 936 NEW BEST:: SOT 9600294 SOS 3276094 HAS SOPS 3276094 HAS SOUS 955579 HAS SOUPS 955579 WITH SCORE 958855.094
AT ITER 941 NEW BEST:: SOT 9600294 SOS 3276449 HAS SOPS 3276449 HAS SOUS 955530 HAS SOUPS 955530 WITH SCORE 958806.449
AT ITER 943 NEW BEST:: SOT 9600118 SOS 3276425 HAS SOPS 3276425 HAS SOUS 955269 HAS SOUPS 955269 WITH SCORE 958545.425
AT ITER 963 NEW BEST:: SOT 9600115 SOS 3252620 HAS SOPS 3252620 HAS SOUS 955263 HAS SOUPS 955263 WITH SCORE 958515.62
AT ITER 973 NEW BEST:: SOT 9600115 SOS 3252620 HAS SOPS 3252620 HAS SOUS 955262 HAS SOUPS 955262 WITH SCORE 958514.62
AT ITER 975 NEW BEST:: SOT 9600086 SOS 3252562 HAS SOPS 3252562 HAS SOUS 955231 HAS SOUPS 955231 WITH SCORE 958483.562
AT ITER 987 NEW BEST:: SOT 9599775 SOS 3253524 HAS SOPS 3253524 HAS SOUS 954918 HAS SOUPS 954918 WITH SCORE 958171.524
AT ITER 993 NEW BEST:: SOT 9599960 SOS 3253870 HAS SOPS 3253870 HAS SOUS 954819 HAS SOUPS 954819 WITH SCORE 958072.87
AT ITER 1003 NEW BEST:: SOT 9765801 SOS 3422590 HAS SOPS 3422590 HAS SOUS 928650 HAS SOUPS 928650 WITH SCORE 932072.59
AT ITER 1011 NEW BEST:: SOT 9765757 SOS 3422502 HAS SOPS 3422502 HAS SOUS 928253 HAS SOUPS 928253 WITH SCORE 931675.502
AT ITER 1013 NEW BEST:: SOT 9765602 SOS 3423575 HAS SOPS 3423575 HAS SOUS 928234 HAS SOUPS 928234 WITH SCORE 931657.575
AT ITER 1036 NEW BEST:: SOT 9765225 SOS 3423245 HAS SOPS 3423245 HAS SOUS 927867 HAS SOUPS 927867 WITH SCORE 931290.245
AT ITER 1040 NEW BEST:: SOT 9765314 SOS 3423737 HAS SOPS 3423737 HAS SOUS 927797 HAS SOUPS 927797 WITH SCORE 931220.737
AT ITER 1053 NEW BEST:: SOT 9765149 SOS 3423407 HAS SOPS 3423407 HAS SOUS 927510 HAS SOUPS 927510 WITH SCORE 930933.407
AT ITER 1060 NEW BEST:: SOT 9765202 SOS 3423142 HAS SOPS 3423142 HAS SOUS 927510 HAS SOUPS 927510 WITH SCORE 930933.142
AT ITER 1081 NEW BEST:: SOT 9765128 SOS 3423068 HAS SOPS 3423068 HAS SOUS 927436 HAS SOUPS 927436 WITH SCORE 930859.068
AT ITER 1083 NEW BEST:: SOT 9764690 SOS 3422448 HAS SOPS 3422448 HAS SOUS 926742 HAS SOUPS 926742 WITH SCORE 930164.448
AT ITER 1107 NEW BEST:: SOT 9764649 SOS 3422407 HAS SOPS 3422407 HAS SOUS 926716 HAS SOUPS 926716 WITH SCORE 930138.407
AT ITER 1117 NEW BEST:: SOT 9764646 SOS 3422404 HAS SOPS 3422404 HAS SOUS 926716 HAS SOUPS 926716 WITH SCORE 930138.404
AT ITER 1119 NEW BEST:: SOT 9764687 SOS 3422244 HAS SOPS 3422244 HAS SOUS 926226 HAS SOUPS 926226 WITH SCORE 929648.244
AT ITER 1121 NEW BEST:: SOT 9764687 SOS 3422218 HAS SOPS 3422218 HAS SOUS 926219 HAS SOUPS 926219 WITH SCORE 929641.218
AT ITER 1136 NEW BEST:: SOT 9764686 SOS 3422216 HAS SOPS 3422216 HAS SOUS 926217 HAS SOUPS 926217 WITH SCORE 929639.216
AT ITER 1137 NEW BEST:: SOT 9764389 SOS 3421514 HAS SOPS 3421514 HAS SOUS 925851 HAS SOUPS 925851 WITH SCORE 929272.514
AT ITER 1140 NEW BEST:: SOT 9764275 SOS 3421571 HAS SOPS 3421571 HAS SOUS 925794 HAS SOUPS 925794 WITH SCORE 929215.571
AT ITER 1152 NEW BEST:: SOT 9764374 SOS 3421673 HAS SOPS 3421673 HAS SOUS 925671 HAS SOUPS 925671 WITH SCORE 929092.673
AT ITER 1163 NEW BEST:: SOT 9764547 SOS 3422598 HAS SOPS 3422598 HAS SOUS 925541 HAS SOUPS 925541 WITH SCORE 928963.598
AT ITER 1174 NEW BEST:: SOT 9764568 SOS 3422243 HAS SOPS 3422243 HAS SOUS 925497 HAS SOUPS 925497 WITH SCORE 928919.243
AT ITER 1178 NEW BEST:: SOT 9764680 SOS 3421719 HAS SOPS 3421719 HAS SOUS 925410 HAS SOUPS 925410 WITH SCORE 928831.719
AT ITER 1219 NEW BEST:: SOT 9764556 SOS 3421595 HAS SOPS 3421595 HAS SOUS 925366 HAS SOUPS 925366 WITH SCORE 928787.595
AT ITER 1233 NEW BEST:: SOT 9764556 SOS 3421695 HAS SOPS 3421695 HAS SOUS 925292 HAS SOUPS 925292 WITH SCORE 928713.695
AT ITER 1248 NEW BEST:: SOT 9764556 SOS 3422761 HAS SOPS 3422761 HAS SOUS 925224 HAS SOUPS 925224 WITH SCORE 928646.761
AT ITER 1268 NEW BEST:: SOT 9764506 SOS 3422661 HAS SOPS 3422661 HAS SOUS 925169 HAS SOUPS 925169 WITH SCORE 928591.661
AT ITER 1269 NEW BEST:: SOT 9764492 SOS 3422820 HAS SOPS 3422820 HAS SOUS 925155 HAS SOUPS 925155 WITH SCORE 928577.82
AT ITER 1279 NEW BEST:: SOT 9764597 SOS 3423019 HAS SOPS 3423019 HAS SOUS 925112 HAS SOUPS 925112 WITH SCORE 928535.019
AT ITER 1283 NEW BEST:: SOT 9764281 SOS 3422387 HAS SOPS 3422387 HAS SOUS 924778 HAS SOUPS 924778 WITH SCORE 928200.387
AT ITER 1312 NEW BEST:: SOT 9763633 SOS 3422584 HAS SOPS 3422584 HAS SOUS 923906 HAS SOUPS 923906 WITH SCORE 927328.584
AT ITER 1330 NEW BEST:: SOT 9763633 SOS 3422584 HAS SOPS 3422584 HAS SOUS 923893 HAS SOUPS 923893 WITH SCORE 927315.584
AT ITER 1344 NEW BEST:: SOT 9763633 SOS 3422581 HAS SOPS 3422581 HAS SOUS 923890 HAS SOUPS 923890 WITH SCORE 927312.581
AT ITER 1355 NEW BEST:: SOT 9763346 SOS 3422294 HAS SOPS 3422294 HAS SOUS 923603 HAS SOUPS 923603 WITH SCORE 927025.294
AT ITER 1363 NEW BEST:: SOT 9763346 SOS 3422118 HAS SOPS 3422118 HAS SOUS 923603 HAS SOUPS 923603 WITH SCORE 927025.118
AT ITER 1376 NEW BEST:: SOT 9763323 SOS 3422072 HAS SOPS 3422072 HAS SOUS 923557 HAS SOUPS 923557 WITH SCORE 926979.072
AT ITER 1395 NEW BEST:: SOT 9763323 SOS 3421951 HAS SOPS 3421951 HAS SOUS 923489 HAS SOUPS 923489 WITH SCORE 926910.951
AT ITER 1399 NEW BEST:: SOT 9763307 SOS 3422286 HAS SOPS 3422286 HAS SOUS 923391 HAS SOUPS 923391 WITH SCORE 926813.286
AT ITER 1402 NEW BEST:: SOT 9760899 SOS 3422970 HAS SOPS 3422970 HAS SOUS 921233 HAS SOUPS 921233 WITH SCORE 924655.97
AT ITER 1410 NEW BEST:: SOT 9761187 SOS 3422665 HAS SOPS 3422665 HAS SOUS 921216 HAS SOUPS 921216 WITH SCORE 924638.665
AT ITER 1411 NEW BEST:: SOT 9760942 SOS 3425103 HAS SOPS 3425103 HAS SOUS 920971 HAS SOUPS 920971 WITH SCORE 924396.103
AT ITER 1413 NEW BEST:: SOT 9760942 SOS 3425072 HAS SOPS 3425072 HAS SOUS 920970 HAS SOUPS 920970 WITH SCORE 924395.072
AT ITER 1437 NEW BEST:: SOT 9761053 SOS 3425002 HAS SOPS 3425002 HAS SOUS 920608 HAS SOUPS 920608 WITH SCORE 924033.002
AT ITER 1454 NEW BEST:: SOT 9595687 SOS 3259693 HAS SOPS 3259693 HAS SOUS 901983 HAS SOUPS 901983 WITH SCORE 905242.693
AT ITER 1480 NEW BEST:: SOT 9595687 SOS 3257893 HAS SOPS 3257893 HAS SOUS 900783 HAS SOUPS 900783 WITH SCORE 904040.893
AT ITER 1500 NEW BEST:: SOT 9595687 SOS 3257606 HAS SOPS 3257606 HAS SOUS 900783 HAS SOUPS 900783 WITH SCORE 904040.606
AT ITER 1534 NEW BEST:: SOT 9595481 SOS 3257400 HAS SOPS 3257400 HAS SOUS 900474 HAS SOUPS 900474 WITH SCORE 903731.4
AT ITER 1541 NEW BEST:: SOT 9595374 SOS 3257376 HAS SOPS 3257376 HAS SOUS 900118 HAS SOUPS 900118 WITH SCORE 903375.376
AT ITER 1542 NEW BEST:: SOT 9594772 SOS 3257020 HAS SOPS 3257020 HAS SOUS 899549 HAS SOUPS 899549 WITH SCORE 902806.02
AT ITER 1547 NEW BEST:: SOT 9594698 SOS 3257168 HAS SOPS 3257168 HAS SOUS 899401 HAS SOUPS 899401 WITH SCORE 902658.168
AT ITER 1552 NEW BEST:: SOT 9594638 SOS 3257108 HAS SOPS 3257108 HAS SOUS 899367 HAS SOUPS 899367 WITH SCORE 902624.108
AT ITER 1562 NEW BEST:: SOT 9594636 SOS 3257104 HAS SOPS 3257104 HAS SOUS 899363 HAS SOUPS 899363 WITH SCORE 902620.104
AT ITER 1568 NEW BEST:: SOT 9594624 SOS 3257080 HAS SOPS 3257080 HAS SOUS 899339 HAS SOUPS 899339 WITH SCORE 902596.08
AT ITER 1574 NEW BEST:: SOT 9594504 SOS 3256930 HAS SOPS 3256930 HAS SOUS 899189 HAS SOUPS 899189 WITH SCORE 902445.93
AT ITER 1586 NEW BEST:: SOT 9593899 SOS 3256436 HAS SOPS 3256436 HAS SOUS 898732 HAS SOUPS 898732 WITH SCORE 901988.436
AT ITER 1591 NEW BEST:: SOT 9593801 SOS 3256240 HAS SOPS 3256240 HAS SOUS 898536 HAS SOUPS 898536 WITH SCORE 901792.24
AT ITER 1600 NEW BEST:: SOT 9593634 SOS 3256552 HAS SOPS 3256552 HAS SOUS 898446 HAS SOUPS 898446 WITH SCORE 901702.552
AT ITER 1604 NEW BEST:: SOT 9593607 SOS 3256498 HAS SOPS 3256498 HAS SOUS 898197 HAS SOUPS 898197 WITH SCORE 901453.498
AT ITER 1627 NEW BEST:: SOT 9593372 SOS 3256263 HAS SOPS 3256263 HAS SOUS 897727 HAS SOUPS 897727 WITH SCORE 900983.263
AT ITER 1629 NEW BEST:: SOT 9593362 SOS 3256243 HAS SOPS 3256243 HAS SOUS 897125 HAS SOUPS 897125 WITH SCORE 900381.243
AT ITER 1630 NEW BEST:: SOT 9593304 SOS 3256127 HAS SOPS 3256127 HAS SOUS 897095 HAS SOUPS 897095 WITH SCORE 900351.127
AT ITER 1636 NEW BEST:: SOT 9593410 SOS 3256606 HAS SOPS 3256606 HAS SOUS 896934 HAS SOUPS 896934 WITH SCORE 900190.606
AT ITER 1656 NEW BEST:: SOT 9593410 SOS 3256396 HAS SOPS 3256396 HAS SOUS 896934 HAS SOUPS 896934 WITH SCORE 900190.396
AT ITER 1665 NEW BEST:: SOT 9593410 SOS 3256345 HAS SOPS 3256345 HAS SOUS 896883 HAS SOUPS 896883 WITH SCORE 900139.345
AT ITER 1677 NEW BEST:: SOT 9593431 SOS 3256330 HAS SOPS 3256330 HAS SOUS 896868 HAS SOUPS 896868 WITH SCORE 900124.33
AT ITER 1697 NEW BEST:: SOT 9593356 SOS 3256180 HAS SOPS 3256180 HAS SOUS 896863 HAS SOUPS 896863 WITH SCORE 900119.18
AT ITER 1706 NEW BEST:: SOT 9591862 SOS 3275647 HAS SOPS 3275647 HAS SOUS 895679 HAS SOUPS 895679 WITH SCORE 898954.647
AT ITER 1711 NEW BEST:: SOT 9591843 SOS 3275628 HAS SOPS 3275628 HAS SOUS 895660 HAS SOUPS 895660 WITH SCORE 898935.628
AT ITER 1727 NEW BEST:: SOT 9592027 SOS 3275996 HAS SOPS 3275996 HAS SOUS 895454 HAS SOUPS 895454 WITH SCORE 898729.996
AT ITER 1732 NEW BEST:: SOT 9592324 SOS 3275990 HAS SOPS 3275990 HAS SOUS 895145 HAS SOUPS 895145 WITH SCORE 898420.99
AT ITER 1734 NEW BEST:: SOT 9592198 SOS 3275927 HAS SOPS 3275927 HAS SOUS 895019 HAS SOUPS 895019 WITH SCORE 898294.927
AT ITER 1747 NEW BEST:: SOT 9592087 SOS 3275863 HAS SOPS 3275863 HAS SOUS 895015 HAS SOUPS 895015 WITH SCORE 898290.863
AT ITER 1750 NEW BEST:: SOT 9592191 SOS 3275863 HAS SOPS 3275863 HAS SOUS 895008 HAS SOUPS 895008 WITH SCORE 898283.863
AT ITER 1760 NEW BEST:: SOT 9592028 SOS 3275816 HAS SOPS 3275816 HAS SOUS 894566 HAS SOUPS 894566 WITH SCORE 897841.816
AT ITER 1764 NEW BEST:: SOT 9591998 SOS 3275756 HAS SOPS 3275756 HAS SOUS 893910 HAS SOUPS 893910 WITH SCORE 897185.756
AT ITER 1768 NEW BEST:: SOT 9591998 SOS 3275911 HAS SOPS 3275911 HAS SOUS 893135 HAS SOUPS 893135 WITH SCORE 896410.911
AT ITER 1777 NEW BEST:: SOT 9591674 SOS 3275263 HAS SOPS 3275263 HAS SOUS 892809 HAS SOUPS 892809 WITH SCORE 896084.263
AT ITER 1781 NEW BEST:: SOT 9591593 SOS 3278166 HAS SOPS 3278166 HAS SOUS 892638 HAS SOUPS 892638 WITH SCORE 895916.166
AT ITER 1785 NEW BEST:: SOT 9591390 SOS 3277760 HAS SOPS 3277760 HAS SOUS 892435 HAS SOUPS 892435 WITH SCORE 895712.76
AT ITER 1813 NEW BEST:: SOT 9591312 SOS 3277604 HAS SOPS 3277604 HAS SOUS 892021 HAS SOUPS 892021 WITH SCORE 895298.604
AT ITER 1822 NEW BEST:: SOT 9591312 SOS 3277604 HAS SOPS 3277604 HAS SOUS 891925 HAS SOUPS 891925 WITH SCORE 895202.604
AT ITER 1844 NEW BEST:: SOT 9591375 SOS 3277751 HAS SOPS 3277751 HAS SOUS 891846 HAS SOUPS 891846 WITH SCORE 895123.751
AT ITER 1873 NEW BEST:: SOT 9591356 SOS 3277713 HAS SOPS 3277713 HAS SOUS 891808 HAS SOUPS 891808 WITH SCORE 895085.713
AT ITER 1878 NEW BEST:: SOT 9591356 SOS 3277454 HAS SOPS 3277454 HAS SOUS 891549 HAS SOUPS 891549 WITH SCORE 894826.454
AT ITER 1896 NEW BEST:: SOT 9591354 SOS 3277450 HAS SOPS 3277450 HAS SOUS 891545 HAS SOUPS 891545 WITH SCORE 894822.45
AT ITER 1897 NEW BEST:: SOT 9591382 SOS 3277506 HAS SOPS 3277506 HAS SOUS 891477 HAS SOUPS 891477 WITH SCORE 894754.506
AT ITER 1930 NEW BEST:: SOT 9591314 SOS 3277370 HAS SOPS 3277370 HAS SOUS 891409 HAS SOUPS 891409 WITH SCORE 894686.37
AT ITER 1934 NEW BEST:: SOT 9591280 SOS 3277336 HAS SOPS 3277336 HAS SOUS 891393 HAS SOUPS 891393 WITH SCORE 894670.336
AT ITER 1935 NEW BEST:: SOT 9591226 SOS 3277228 HAS SOPS 3277228 HAS SOUS 891285 HAS SOUPS 891285 WITH SCORE 894562.228
AT ITER 1936 NEW BEST:: SOT 9590987 SOS 3276989 HAS SOPS 3276989 HAS SOUS 891187 HAS SOUPS 891187 WITH SCORE 894463.989
AT ITER 1938 NEW BEST:: SOT 9590633 SOS 3277225 HAS SOPS 3277225 HAS SOUS 890951 HAS SOUPS 890951 WITH SCORE 894228.225
AT ITER 1950 NEW BEST:: SOT 9590633 SOS 3277517 HAS SOPS 3277517 HAS SOUS 890659 HAS SOUPS 890659 WITH SCORE 893936.517
AT ITER 1953 NEW BEST:: SOT 9590555 SOS 3277853 HAS SOPS 3277853 HAS SOUS 890626 HAS SOUPS 890626 WITH SCORE 893903.853
AT ITER 1973 NEW BEST:: SOT 9590446 SOS 3277796 HAS SOPS 3277796 HAS SOUS 890335 HAS SOUPS 890335 WITH SCORE 893612.796
AT ITER 1978 NEW BEST:: SOT 9590134 SOS 3279182 HAS SOPS 3279182 HAS SOUS 889576 HAS SOUPS 889576 WITH SCORE 892855.182
AT ITER 1980 NEW BEST:: SOT 9589881 SOS 3278498 HAS SOPS 3278498 HAS SOUS 889145 HAS SOUPS 889145 WITH SCORE 892423.498
AT ITER 2001 NEW BEST:: SOT 9589881 SOS 3278543 HAS SOPS 3278543 HAS SOUS 889144 HAS SOUPS 889144 WITH SCORE 892422.543
AT ITER 2023 NEW BEST:: SOT 9589880 SOS 3278473 HAS SOPS 3278473 HAS SOUS 889110 HAS SOUPS 889110 WITH SCORE 892388.473
AT ITER 2024 NEW BEST:: SOT 9589958 SOS 3300802 HAS SOPS 3300802 HAS SOUS 888957 HAS SOUPS 888957 WITH SCORE 892257.802
AT ITER 2031 NEW BEST:: SOT 9587176 SOS 3310550 HAS SOPS 3310550 HAS SOUS 887278 HAS SOUPS 887278 WITH SCORE 890588.55
AT ITER 2040 NEW BEST:: SOT 9587135 SOS 3310468 HAS SOPS 3310468 HAS SOUS 887196 HAS SOUPS 887196 WITH SCORE 890506.468
AT ITER 2052 NEW BEST:: SOT 9587363 SOS 3310657 HAS SOPS 3310657 HAS SOUS 887174 HAS SOUPS 887174 WITH SCORE 890484.657
AT ITER 2064 NEW BEST:: SOT 9587273 SOS 3310567 HAS SOPS 3310567 HAS SOUS 887174 HAS SOUPS 887174 WITH SCORE 890484.567
AT ITER 2076 NEW BEST:: SOT 9587269 SOS 3310559 HAS SOPS 3310559 HAS SOUS 887051 HAS SOUPS 887051 WITH SCORE 890361.559
AT ITER 2113 NEW BEST:: SOT 9586430 SOS 3331137 HAS SOPS 3331137 HAS SOUS 886274 HAS SOUPS 886274 WITH SCORE 889605.137
AT ITER 2114 NEW BEST:: SOT 9585853 SOS 3331173 HAS SOPS 3331173 HAS SOUS 885863 HAS SOUPS 885863 WITH SCORE 889194.173
AT ITER 2118 NEW BEST:: SOT 9585750 SOS 3331344 HAS SOPS 3331344 HAS SOUS 885610 HAS SOUPS 885610 WITH SCORE 888941.344
AT ITER 2122 NEW BEST:: SOT 9586052 SOS 3331646 HAS SOPS 3331646 HAS SOUS 885486 HAS SOUPS 885486 WITH SCORE 888817.646
AT ITER 2132 NEW BEST:: SOT 9585932 SOS 3331406 HAS SOPS 3331406 HAS SOUS 885371 HAS SOUPS 885371 WITH SCORE 888702.406
AT ITER 2136 NEW BEST:: SOT 9585931 SOS 3331404 HAS SOPS 3331404 HAS SOUS 885369 HAS SOUPS 885369 WITH SCORE 888700.404
AT ITER 2145 NEW BEST:: SOT 9585718 SOS 3330594 HAS SOPS 3330594 HAS SOUS 884878 HAS SOUPS 884878 WITH SCORE 888208.594
AT ITER 2148 NEW BEST:: SOT 9585644 SOS 3330520 HAS SOPS 3330520 HAS SOUS 884804 HAS SOUPS 884804 WITH SCORE 888134.52
AT ITER 2150 NEW BEST:: SOT 9585644 SOS 3330498 HAS SOPS 3330498 HAS SOUS 884782 HAS SOUPS 884782 WITH SCORE 888112.498
AT ITER 2151 NEW BEST:: SOT 9585730 SOS 3330581 HAS SOPS 3330581 HAS SOUS 884676 HAS SOUPS 884676 WITH SCORE 888006.581
AT ITER 2198 NEW BEST:: SOT 9585730 SOS 3330345 HAS SOPS 3330345 HAS SOUS 884555 HAS SOUPS 884555 WITH SCORE 887885.345
AT ITER 2210 NEW BEST:: SOT 9585610 SOS 3330105 HAS SOPS 3330105 HAS SOUS 884315 HAS SOUPS 884315 WITH SCORE 887645.105
AT ITER 2213 NEW BEST:: SOT 9585610 SOS 3330105 HAS SOPS 3330105 HAS SOUS 884314 HAS SOUPS 884314 WITH SCORE 887644.105
AT ITER 2237 NEW BEST:: SOT 9585132 SOS 3346377 HAS SOPS 3346377 HAS SOUS 883360 HAS SOUPS 883360 WITH SCORE 886706.377
AT ITER 2242 NEW BEST:: SOT 9585132 SOS 3346377 HAS SOPS 3346377 HAS SOUS 883340 HAS SOUPS 883340 WITH SCORE 886686.377
AT ITER 2257 NEW BEST:: SOT 9585132 SOS 3346041 HAS SOPS 3346041 HAS SOUS 883340 HAS SOUPS 883340 WITH SCORE 886686.041
AT ITER 2260 NEW BEST:: SOT 9585132 SOS 3346041 HAS SOPS 3346041 HAS SOUS 883335 HAS SOUPS 883335 WITH SCORE 886681.041
AT ITER 2270 NEW BEST:: SOT 9585090 SOS 3346089 HAS SOPS 3346089 HAS SOUS 883251 HAS SOUPS 883251 WITH SCORE 886597.089
AT ITER 2284 NEW BEST:: SOT 9585136 SOS 3346367 HAS SOPS 3346367 HAS SOUS 882847 HAS SOUPS 882847 WITH SCORE 886193.367
AT ITER 2293 NEW BEST:: SOT 9583895 SOS 3353631 HAS SOPS 3353631 HAS SOUS 882049 HAS SOUPS 882049 WITH SCORE 885402.631
AT ITER 2299 NEW BEST:: SOT 9583895 SOS 3353499 HAS SOPS 3353499 HAS SOUS 882005 HAS SOUPS 882005 WITH SCORE 885358.499
AT ITER 2309 NEW BEST:: SOT 9583894 SOS 3353498 HAS SOPS 3353498 HAS SOUS 881831 HAS SOUPS 881831 WITH SCORE 885184.498
AT ITER 2313 NEW BEST:: SOT 9583617 SOS 3353262 HAS SOPS 3353262 HAS SOUS 881554 HAS SOUPS 881554 WITH SCORE 884907.262
AT ITER 2322 NEW BEST:: SOT 9583279 SOS 3353180 HAS SOPS 3353180 HAS SOUS 881170 HAS SOUPS 881170 WITH SCORE 884523.18
AT ITER 2356 NEW BEST:: SOT 9583261 SOS 3353148 HAS SOPS 3353148 HAS SOUS 881138 HAS SOUPS 881138 WITH SCORE 884491.148
AT ITER 2357 NEW BEST:: SOT 9583031 SOS 3353033 HAS SOPS 3353033 HAS SOUS 880908 HAS SOUPS 880908 WITH SCORE 884261.033
AT ITER 2361 NEW BEST:: SOT 9583031 SOS 3353033 HAS SOPS 3353033 HAS SOUS 880907 HAS SOUPS 880907 WITH SCORE 884260.033
AT ITER 2365 NEW BEST:: SOT 9583031 SOS 3352966 HAS SOPS 3352966 HAS SOUS 880774 HAS SOUPS 880774 WITH SCORE 884126.966
AT ITER 2370 NEW BEST:: SOT 9582954 SOS 3353953 HAS SOPS 3353953 HAS SOUS 860435 HAS SOUPS 860435 WITH SCORE 863788.953
AT ITER 2371 NEW BEST:: SOT 9582879 SOS 3353878 HAS SOPS 3353878 HAS SOUS 860336 HAS SOUPS 860336 WITH SCORE 863689.878
AT ITER 2377 NEW BEST:: SOT 9582823 SOS 3353486 HAS SOPS 3353486 HAS SOUS 860224 HAS SOUPS 860224 WITH SCORE 863577.486
AT ITER 2384 NEW BEST:: SOT 9582823 SOS 3353226 HAS SOPS 3353226 HAS SOUS 859964 HAS SOUPS 859964 WITH SCORE 863317.226
AT ITER 2386 NEW BEST:: SOT 9582642 SOS 3352845 HAS SOPS 3352845 HAS SOUS 859583 HAS SOUPS 859583 WITH SCORE 862935.845
AT ITER 2404 NEW BEST:: SOT 9582658 SOS 3352799 HAS SOPS 3352799 HAS SOUS 859537 HAS SOUPS 859537 WITH SCORE 862889.799
AT ITER 2423 NEW BEST:: SOT 9583099 SOS 3353240 HAS SOPS 3353240 HAS SOUS 859497 HAS SOUPS 859497 WITH SCORE 862850.24
AT ITER 2424 NEW BEST:: SOT 9582956 SOS 3353380 HAS SOPS 3353380 HAS SOUS 859495 HAS SOUPS 859495 WITH SCORE 862848.38
AT ITER 2428 NEW BEST:: SOT 9582921 SOS 3353345 HAS SOPS 3353345 HAS SOUS 859460 HAS SOUPS 859460 WITH SCORE 862813.345
AT ITER 2434 NEW BEST:: SOT 9582776 SOS 3353055 HAS SOPS 3353055 HAS SOUS 859303 HAS SOUPS 859303 WITH SCORE 862656.055
AT ITER 2478 NEW BEST:: SOT 9582618 SOS 3352739 HAS SOPS 3352739 HAS SOUS 858987 HAS SOUPS 858987 WITH SCORE 862339.739
AT ITER 2479 NEW BEST:: SOT 9582403 SOS 3352309 HAS SOPS 3352309 HAS SOUS 858557 HAS SOUPS 858557 WITH SCORE 861909.309
AT ITER 2482 NEW BEST:: SOT 9582129 SOS 3352857 HAS SOPS 3352857 HAS SOUS 858283 HAS SOUPS 858283 WITH SCORE 861635.857
AT ITER 2514 NEW BEST:: SOT 9581948 SOS 3352495 HAS SOPS 3352495 HAS SOUS 858101 HAS SOUPS 858101 WITH SCORE 861453.495
AT ITER 2555 NEW BEST:: SOT 9581735 SOS 3352069 HAS SOPS 3352069 HAS SOUS 857641 HAS SOUPS 857641 WITH SCORE 860993.069
AT ITER 2612 NEW BEST:: SOT 9581711 SOS 3352069 HAS SOPS 3352069 HAS SOUS 857617 HAS SOUPS 857617 WITH SCORE 860969.069
AT ITER 2618 NEW BEST:: SOT 9581657 SOS 3351988 HAS SOPS 3351988 HAS SOUS 857536 HAS SOUPS 857536 WITH SCORE 860887.988
AT ITER 2629 NEW BEST:: SOT 9581559 SOS 3351314 HAS SOPS 3351314 HAS SOUS 857352 HAS SOUPS 857352 WITH SCORE 860703.314
AT ITER 2635 NEW BEST:: SOT 9581559 SOS 3351314 HAS SOPS 3351314 HAS SOUS 857311 HAS SOUPS 857311 WITH SCORE 860662.314
AT ITER 2653 NEW BEST:: SOT 9579612 SOS 3448125 HAS SOPS 3448125 HAS SOUS 857156 HAS SOUPS 857156 WITH SCORE 860604.125
AT ITER 2655 NEW BEST:: SOT 9579694 SOS 3448491 HAS SOPS 3448491 HAS SOUS 856434 HAS SOUPS 856434 WITH SCORE 859882.491
AT ITER 2666 NEW BEST:: SOT 9579694 SOS 3448848 HAS SOPS 3448848 HAS SOUS 856410 HAS SOUPS 856410 WITH SCORE 859858.848
AT ITER 2676 NEW BEST:: SOT 9579905 SOS 3449270 HAS SOPS 3449270 HAS SOUS 856321 HAS SOUPS 856321 WITH SCORE 859770.27
AT ITER 2682 NEW BEST:: SOT 9580144 SOS 3449830 HAS SOPS 3449830 HAS SOUS 856299 HAS SOUPS 856299 WITH SCORE 859748.83
AT ITER 2695 NEW BEST:: SOT 9580058 SOS 3449744 HAS SOPS 3449744 HAS SOUS 856213 HAS SOUPS 856213 WITH SCORE 859662.744
AT ITER 2699 NEW BEST:: SOT 9579910 SOS 3449778 HAS SOPS 3449778 HAS SOUS 856137 HAS SOUPS 856137 WITH SCORE 859586.778
AT ITER 2707 NEW BEST:: SOT 9579694 SOS 3449670 HAS SOPS 3449670 HAS SOUS 855921 HAS SOUPS 855921 WITH SCORE 859370.67
AT ITER 2718 NEW BEST:: SOT 9579836 SOS 3449528 HAS SOPS 3449528 HAS SOUS 855921 HAS SOUPS 855921 WITH SCORE 859370.528
AT ITER 2721 NEW BEST:: SOT 9579836 SOS 3449528 HAS SOPS 3449528 HAS SOUS 855877 HAS SOUPS 855877 WITH SCORE 859326.528
AT ITER 2723 NEW BEST:: SOT 9579911 SOS 3449747 HAS SOPS 3449747 HAS SOUS 855849 HAS SOUPS 855849 WITH SCORE 859298.747
AT ITER 2727 NEW BEST:: SOT 9579726 SOS 3449328 HAS SOPS 3449328 HAS SOUS 855145 HAS SOUPS 855145 WITH SCORE 858594.328
AT ITER 2734 NEW BEST:: SOT 9579731 SOS 3449425 HAS SOPS 3449425 HAS SOUS 855127 HAS SOUPS 855127 WITH SCORE 858576.425
AT ITER 2736 NEW BEST:: SOT 9579729 SOS 3449419 HAS SOPS 3449419 HAS SOUS 855123 HAS SOUPS 855123 WITH SCORE 858572.419
AT ITER 2743 NEW BEST:: SOT 9579682 SOS 3449325 HAS SOPS 3449325 HAS SOUS 855029 HAS SOUPS 855029 WITH SCORE 858478.325
AT ITER 2746 NEW BEST:: SOT 9579555 SOS 3449226 HAS SOPS 3449226 HAS SOUS 854809 HAS SOUPS 854809 WITH SCORE 858258.226
AT ITER 2751 NEW BEST:: SOT 9579290 SOS 3448961 HAS SOPS 3448961 HAS SOUS 854544 HAS SOUPS 854544 WITH SCORE 857992.961
AT ITER 2761 NEW BEST:: SOT 9579289 SOS 3448959 HAS SOPS 3448959 HAS SOUS 854542 HAS SOUPS 854542 WITH SCORE 857990.959
AT ITER 2763 NEW BEST:: SOT 9578813 SOS 3959007 HAS SOPS 3959007 HAS SOUS 853783 HAS SOUPS 853783 WITH SCORE 857742.007
AT ITER 2779 NEW BEST:: SOT 9578655 SOS 3958948 HAS SOPS 3958948 HAS SOUS 853368 HAS SOUPS 853368 WITH SCORE 857326.948
AT ITER 2784 NEW BEST:: SOT 9578495 SOS 3958788 HAS SOPS 3958788 HAS SOUS 853083 HAS SOUPS 853083 WITH SCORE 857041.788
AT ITER 2788 NEW BEST:: SOT 9578442 SOS 3958886 HAS SOPS 3958886 HAS SOUS 852690 HAS SOUPS 852690 WITH SCORE 856648.886
AT ITER 2791 NEW BEST:: SOT 9578267 SOS 3958362 HAS SOPS 3958362 HAS SOUS 852371 HAS SOUPS 852371 WITH SCORE 856329.362
AT ITER 2792 NEW BEST:: SOT 9578266 SOS 3958361 HAS SOPS 3958361 HAS SOUS 852370 HAS SOUPS 852370 WITH SCORE 856328.361
AT ITER 2798 NEW BEST:: SOT 9578436 SOS 3958361 HAS SOPS 3958361 HAS SOUS 852200 HAS SOUPS 852200 WITH SCORE 856158.361
AT ITER 2845 NEW BEST:: SOT 9578401 SOS 3958291 HAS SOPS 3958291 HAS SOUS 852165 HAS SOUPS 852165 WITH SCORE 856123.291
AT ITER 2855 NEW BEST:: SOT 9578335 SOS 3958179 HAS SOPS 3958179 HAS SOUS 852113 HAS SOUPS 852113 WITH SCORE 856071.179
AT ITER 2878 NEW BEST:: SOT 9578326 SOS 3958055 HAS SOPS 3958055 HAS SOUS 852014 HAS SOUPS 852014 WITH SCORE 855972.055
AT ITER 2885 NEW BEST:: SOT 9578326 SOS 3957995 HAS SOPS 3957995 HAS SOUS 851889 HAS SOUPS 851889 WITH SCORE 855846.995
AT ITER 2890 NEW BEST:: SOT 9578216 SOS 3957775 HAS SOPS 3957775 HAS SOUS 851669 HAS SOUPS 851669 WITH SCORE 855626.775
AT ITER 2892 NEW BEST:: SOT 9578216 SOS 3957775 HAS SOPS 3957775 HAS SOUS 851630 HAS SOUPS 851630 WITH SCORE 855587.775
AT ITER 2897 NEW BEST:: SOT 9578216 SOS 3957513 HAS SOPS 3957513 HAS SOUS 851630 HAS SOUPS 851630 WITH SCORE 855587.513
AT ITER 2898 NEW BEST:: SOT 9578226 SOS 3957533 HAS SOPS 3957533 HAS SOUS 851143 HAS SOUPS 851143 WITH SCORE 855100.533
AT ITER 2914 NEW BEST:: SOT 9578150 SOS 3957381 HAS SOPS 3957381 HAS SOUS 850991 HAS SOUPS 850991 WITH SCORE 854948.381
AT ITER 2924 NEW BEST:: SOT 9578140 SOS 3957368 HAS SOPS 3957368 HAS SOUS 850978 HAS SOUPS 850978 WITH SCORE 854935.368
AT ITER 2926 NEW BEST:: SOT 9577454 SOS 3959172 HAS SOPS 3959172 HAS SOUS 850851 HAS SOUPS 850851 WITH SCORE 854810.172
AT ITER 2951 NEW BEST:: SOT 9577454 SOS 3958878 HAS SOPS 3958878 HAS SOUS 850557 HAS SOUPS 850557 WITH SCORE 854515.878
AT ITER 2998 NEW BEST:: SOT 9577638 SOS 3959246 HAS SOPS 3959246 HAS SOUS 850440 HAS SOUPS 850440 WITH SCORE 854399.246
AT ITER 3000 NEW BEST:: SOT 9577525 SOS 3959020 HAS SOPS 3959020 HAS SOUS 850435 HAS SOUPS 850435 WITH SCORE 854394.02
AT ITER 3007 NEW BEST:: SOT 9577440 SOS 3958935 HAS SOPS 3958935 HAS SOUS 850435 HAS SOUPS 850435 WITH SCORE 854393.935
AT ITER 3032 NEW BEST:: SOT 9577714 SOS 3959239 HAS SOPS 3959239 HAS SOUS 850191 HAS SOUPS 850191 WITH SCORE 854150.239
AT ITER 3034 NEW BEST:: SOT 9577627 SOS 3959152 HAS SOPS 3959152 HAS SOUS 850191 HAS SOUPS 850191 WITH SCORE 854150.152
AT ITER 3061 NEW BEST:: SOT 9577621 SOS 3959146 HAS SOPS 3959146 HAS SOUS 850185 HAS SOUPS 850185 WITH SCORE 854144.146
AT ITER 3065 NEW BEST:: SOT 9577564 SOS 3959032 HAS SOPS 3959032 HAS SOUS 850071 HAS SOUPS 850071 WITH SCORE 854030.032
AT ITER 3085 NEW BEST:: SOT 9577564 SOS 3959032 HAS SOPS 3959032 HAS SOUS 849944 HAS SOUPS 849944 WITH SCORE 853903.032
AT ITER 3102 NEW BEST:: SOT 9577396 SOS 3960646 HAS SOPS 3960646 HAS SOUS 849842 HAS SOUPS 849842 WITH SCORE 853802.646
AT ITER 3105 NEW BEST:: SOT 9577364 SOS 3960614 HAS SOPS 3960614 HAS SOUS 849796 HAS SOUPS 849796 WITH SCORE 853756.614
AT ITER 3116 NEW BEST:: SOT 9577310 SOS 3960332 HAS SOPS 3960332 HAS SOUS 849743 HAS SOUPS 849743 WITH SCORE 853703.332
AT ITER 3133 NEW BEST:: SOT 9577284 SOS 3960280 HAS SOPS 3960280 HAS SOUS 849716 HAS SOUPS 849716 WITH SCORE 853676.28
AT ITER 3141 NEW BEST:: SOT 9577483 SOS 3960115 HAS SOPS 3960115 HAS SOUS 849411 HAS SOUPS 849411 WITH SCORE 853371.115
AT ITER 3156 NEW BEST:: SOT 9577273 SOS 3959905 HAS SOPS 3959905 HAS SOUS 849201 HAS SOUPS 849201 WITH SCORE 853160.905
AT ITER 3158 NEW BEST:: SOT 9577273 SOS 3959905 HAS SOPS 3959905 HAS SOUS 849200 HAS SOUPS 849200 WITH SCORE 853159.905
AT ITER 3176 NEW BEST:: SOT 9577273 SOS 3959861 HAS SOPS 3959861 HAS SOUS 849200 HAS SOUPS 849200 WITH SCORE 853159.861
AT ITER 3183 NEW BEST:: SOT 9577188 SOS 3959691 HAS SOPS 3959691 HAS SOUS 849030 HAS SOUPS 849030 WITH SCORE 852989.691
AT ITER 3190 NEW BEST:: SOT 9576873 SOS 3959440 HAS SOPS 3959440 HAS SOUS 849008 HAS SOUPS 849008 WITH SCORE 852967.44
AT ITER 3192 NEW BEST:: SOT 9576686 SOS 3959334 HAS SOPS 3959334 HAS SOUS 848634 HAS SOUPS 848634 WITH SCORE 852593.334
AT ITER 3215 NEW BEST:: SOT 9576261 SOS 3958767 HAS SOPS 3958767 HAS SOUS 848122 HAS SOUPS 848122 WITH SCORE 852080.767
AT ITER 3217 NEW BEST:: SOT 9577813 SOS 3959938 HAS SOPS 3959938 HAS SOUS 708493 HAS SOUPS 708493 WITH SCORE 712452.938
AT ITER 3223 NEW BEST:: SOT 9577309 SOS 3959340 HAS SOPS 3959340 HAS SOUS 707485 HAS SOUPS 707485 WITH SCORE 711444.34
AT ITER 3224 NEW BEST:: SOT 9577309 SOS 3959093 HAS SOPS 3959093 HAS SOUS 707169 HAS SOUPS 707169 WITH SCORE 711128.093
AT ITER 3229 NEW BEST:: SOT 9577309 SOS 3959093 HAS SOPS 3959093 HAS SOUS 707067 HAS SOUPS 707067 WITH SCORE 711026.093
AT ITER 3239 NEW BEST:: SOT 9577309 SOS 3958951 HAS SOPS 3958951 HAS SOUS 706925 HAS SOUPS 706925 WITH SCORE 710883.951
AT ITER 3280 NEW BEST:: SOT 9577396 SOS 3959125 HAS SOPS 3959125 HAS SOUS 706842 HAS SOUPS 706842 WITH SCORE 710801.125
AT ITER 3304 NEW BEST:: SOT 9577238 SOS 3958594 HAS SOPS 3958594 HAS SOUS 706543 HAS SOUPS 706543 WITH SCORE 710501.594
AT ITER 3305 NEW BEST:: SOT 9577207 SOS 3958405 HAS SOPS 3958405 HAS SOUS 706354 HAS SOUPS 706354 WITH SCORE 710312.405
AT ITER 3311 NEW BEST:: SOT 9577198 SOS 3958387 HAS SOPS 3958387 HAS SOUS 706345 HAS SOUPS 706345 WITH SCORE 710303.387
AT ITER 3351 NEW BEST:: SOT 9577181 SOS 3958370 HAS SOPS 3958370 HAS SOUS 706202 HAS SOUPS 706202 WITH SCORE 710160.37
AT ITER 3390 NEW BEST:: SOT 9577165 SOS 3958338 HAS SOPS 3958338 HAS SOUS 706170 HAS SOUPS 706170 WITH SCORE 710128.338
AT ITER 3392 NEW BEST:: SOT 9577165 SOS 3958336 HAS SOPS 3958336 HAS SOUS 706170 HAS SOUPS 706170 WITH SCORE 710128.336
AT ITER 3408 NEW BEST:: SOT 9577284 SOS 3958310 HAS SOPS 3958310 HAS SOUS 706158 HAS SOUPS 706158 WITH SCORE 710116.31
AT ITER 3413 NEW BEST:: SOT 9577284 SOS 3958285 HAS SOPS 3958285 HAS SOUS 706133 HAS SOUPS 706133 WITH SCORE 710091.285
AT ITER 3432 NEW BEST:: SOT 9577275 SOS 3958267 HAS SOPS 3958267 HAS SOUS 706115 HAS SOUPS 706115 WITH SCORE 710073.267
AT ITER 3438 NEW BEST:: SOT 9577274 SOS 3958265 HAS SOPS 3958265 HAS SOUS 706113 HAS SOUPS 706113 WITH SCORE 710071.265
AT ITER 3446 NEW BEST:: SOT 9577274 SOS 3958235 HAS SOPS 3958235 HAS SOUS 706113 HAS SOUPS 706113 WITH SCORE 710071.235
AT ITER 3454 NEW BEST:: SOT 9577219 SOS 3958125 HAS SOPS 3958125 HAS SOUS 706003 HAS SOUPS 706003 WITH SCORE 709961.125
AT ITER 3461 NEW BEST:: SOT 9577219 SOS 3958504 HAS SOPS 3958504 HAS SOUS 705954 HAS SOUPS 705954 WITH SCORE 709912.504
AT ITER 3473 NEW BEST:: SOT 9577218 SOS 3958502 HAS SOPS 3958502 HAS SOUS 705952 HAS SOUPS 705952 WITH SCORE 709910.502
AT ITER 3479 NEW BEST:: SOT 9577085 SOS 3957488 HAS SOPS 3957488 HAS SOUS 705632 HAS SOUPS 705632 WITH SCORE 709589.488
AT ITER 3489 NEW BEST:: SOT 9577085 SOS 3962790 HAS SOPS 3962790 HAS SOUS 705620 HAS SOUPS 705620 WITH SCORE 709582.79
AT ITER 3503 NEW BEST:: SOT 9577085 SOS 3962790 HAS SOPS 3962790 HAS SOUS 705617 HAS SOUPS 705617 WITH SCORE 709579.79
AT ITER 3510 NEW BEST:: SOT 9576895 SOS 3962695 HAS SOPS 3962695 HAS SOUS 705427 HAS SOUPS 705427 WITH SCORE 709389.695
AT ITER 3515 NEW BEST:: SOT 9576895 SOS 3962987 HAS SOPS 3962987 HAS SOUS 705353 HAS SOUPS 705353 WITH SCORE 709315.987
AT ITER 3527 NEW BEST:: SOT 9576835 SOS 3962867 HAS SOPS 3962867 HAS SOUS 705233 HAS SOUPS 705233 WITH SCORE 709195.867
AT ITER 3528 NEW BEST:: SOT 9576835 SOS 3963429 HAS SOPS 3963429 HAS SOUS 705131 HAS SOUPS 705131 WITH SCORE 709094.429
AT ITER 3533 NEW BEST:: SOT 9576717 SOS 3950235 HAS SOPS 3950235 HAS SOUS 704851 HAS SOUPS 704851 WITH SCORE 708801.235
AT ITER 3537 NEW BEST:: SOT 9576682 SOS 3950165 HAS SOPS 3950165 HAS SOUS 704781 HAS SOUPS 704781 WITH SCORE 708731.165
AT ITER 3540 NEW BEST:: SOT 9576448 SOS 3950081 HAS SOPS 3950081 HAS SOUS 704611 HAS SOUPS 704611 WITH SCORE 708561.081
AT ITER 3565 NEW BEST:: SOT 9576326 SOS 3950011 HAS SOPS 3950011 HAS SOUS 704514 HAS SOUPS 704514 WITH SCORE 708464.011
AT ITER 3578 NEW BEST:: SOT 9576326 SOS 3950046 HAS SOPS 3950046 HAS SOUS 704488 HAS SOUPS 704488 WITH SCORE 708438.046
AT ITER 3594 NEW BEST:: SOT 9576208 SOS 3950341 HAS SOPS 3950341 HAS SOUS 704464 HAS SOUPS 704464 WITH SCORE 708414.341
AT ITER 3599 NEW BEST:: SOT 9576053 SOS 3950213 HAS SOPS 3950213 HAS SOUS 704327 HAS SOUPS 704327 WITH SCORE 708277.213
AT ITER 3603 NEW BEST:: SOT 9576011 SOS 3949685 HAS SOPS 3949685 HAS SOUS 704283 HAS SOUPS 704283 WITH SCORE 708232.685
AT ITER 3616 NEW BEST:: SOT 9575875 SOS 3949518 HAS SOPS 3949518 HAS SOUS 704116 HAS SOUPS 704116 WITH SCORE 708065.518
AT ITER 3618 NEW BEST:: SOT 9575805 SOS 3949448 HAS SOPS 3949448 HAS SOUS 704046 HAS SOUPS 704046 WITH SCORE 707995.448
AT ITER 3622 NEW BEST:: SOT 9575743 SOS 3949417 HAS SOPS 3949417 HAS SOUS 703953 HAS SOUPS 703953 WITH SCORE 707902.417
AT ITER 3631 NEW BEST:: SOT 9575733 SOS 3949407 HAS SOPS 3949407 HAS SOUS 703933 HAS SOUPS 703933 WITH SCORE 707882.407
AT ITER 3635 NEW BEST:: SOT 9575670 SOS 3949281 HAS SOPS 3949281 HAS SOUS 703807 HAS SOUPS 703807 WITH SCORE 707756.281
AT ITER 3649 NEW BEST:: SOT 9575670 SOS 3949244 HAS SOPS 3949244 HAS SOUS 703770 HAS SOUPS 703770 WITH SCORE 707719.244
AT ITER 3650 NEW BEST:: SOT 9574785 SOS 3952088 HAS SOPS 3952088 HAS SOUS 703450 HAS SOUPS 703450 WITH SCORE 707402.088
AT ITER 3661 NEW BEST:: SOT 9574608 SOS 3952080 HAS SOPS 3952080 HAS SOUS 703384 HAS SOUPS 703384 WITH SCORE 707336.08
AT ITER 3666 NEW BEST:: SOT 9574441 SOS 3951913 HAS SOPS 3951913 HAS SOUS 703384 HAS SOUPS 703384 WITH SCORE 707335.913
AT ITER 3669 NEW BEST:: SOT 9574441 SOS 3951913 HAS SOPS 3951913 HAS SOUS 703360 HAS SOUPS 703360 WITH SCORE 707311.913
AT ITER 3673 NEW BEST:: SOT 9574042 SOS 3951725 HAS SOPS 3951725 HAS SOUS 703017 HAS SOUPS 703017 WITH SCORE 706968.725
AT ITER 3678 NEW BEST:: SOT 9574042 SOS 3951725 HAS SOPS 3951725 HAS SOUS 702926 HAS SOUPS 702926 WITH SCORE 706877.725
AT ITER 3701 NEW BEST:: SOT 9574071 SOS 3951637 HAS SOPS 3951637 HAS SOUS 702696 HAS SOUPS 702696 WITH SCORE 706647.637
AT ITER 3708 NEW BEST:: SOT 9573851 SOS 3951453 HAS SOPS 3951453 HAS SOUS 702512 HAS SOUPS 702512 WITH SCORE 706463.453
AT ITER 3721 NEW BEST:: SOT 9573851 SOS 3951337 HAS SOPS 3951337 HAS SOUS 702512 HAS SOUPS 702512 WITH SCORE 706463.337
AT ITER 3729 NEW BEST:: SOT 9573797 SOS 3951229 HAS SOPS 3951229 HAS SOUS 702480 HAS SOUPS 702480 WITH SCORE 706431.229
AT ITER 3736 NEW BEST:: SOT 9573797 SOS 3951229 HAS SOPS 3951229 HAS SOUS 702443 HAS SOUPS 702443 WITH SCORE 706394.229
AT ITER 3753 NEW BEST:: SOT 9573802 SOS 3954210 HAS SOPS 3954210 HAS SOUS 701917 HAS SOUPS 701917 WITH SCORE 705871.21
AT ITER 3790 NEW BEST:: SOT 9573606 SOS 3954210 HAS SOPS 3954210 HAS SOUS 701721 HAS SOUPS 701721 WITH SCORE 705675.21
AT ITER 3797 NEW BEST:: SOT 9573606 SOS 3954187 HAS SOPS 3954187 HAS SOUS 701698 HAS SOUPS 701698 WITH SCORE 705652.187
AT ITER 3804 NEW BEST:: SOT 9573571 SOS 3954117 HAS SOPS 3954117 HAS SOUS 701666 HAS SOUPS 701666 WITH SCORE 705620.117
AT ITER 3807 NEW BEST:: SOT 9573456 SOS 3953887 HAS SOPS 3953887 HAS SOUS 701136 HAS SOUPS 701136 WITH SCORE 705089.887
AT ITER 3823 NEW BEST:: SOT 9573456 SOS 3953918 HAS SOPS 3953918 HAS SOUS 701105 HAS SOUPS 701105 WITH SCORE 705058.918
AT ITER 3826 NEW BEST:: SOT 9573360 SOS 3953916 HAS SOPS 3953916 HAS SOUS 701103 HAS SOUPS 701103 WITH SCORE 705056.916
AT ITER 3832 NEW BEST:: SOT 9573158 SOS 3953706 HAS SOPS 3953706 HAS SOUS 700876 HAS SOUPS 700876 WITH SCORE 704829.706
AT ITER 3834 NEW BEST:: SOT 9572932 SOS 3953479 HAS SOPS 3953479 HAS SOUS 700218 HAS SOUPS 700218 WITH SCORE 704171.479
AT ITER 3845 NEW BEST:: SOT 9572907 SOS 3953060 HAS SOPS 3953060 HAS SOUS 700193 HAS SOUPS 700193 WITH SCORE 704146.06
AT ITER 3852 NEW BEST:: SOT 9572249 SOS 3952235 HAS SOPS 3952235 HAS SOUS 699535 HAS SOUPS 699535 WITH SCORE 703487.235
AT ITER 3858 NEW BEST:: SOT 9572293 SOS 3952500 HAS SOPS 3952500 HAS SOUS 699446 HAS SOUPS 699446 WITH SCORE 703398.5
AT ITER 3871 NEW BEST:: SOT 9572293 SOS 3952500 HAS SOPS 3952500 HAS SOUS 699391 HAS SOUPS 699391 WITH SCORE 703343.5
AT ITER 3900 NEW BEST:: SOT 9572276 SOS 3952500 HAS SOPS 3952500 HAS SOUS 699374 HAS SOUPS 699374 WITH SCORE 703326.5
AT ITER 3914 NEW BEST:: SOT 9572143 SOS 3952234 HAS SOPS 3952234 HAS SOUS 699372 HAS SOUPS 699372 WITH SCORE 703324.234
AT ITER 3946 NEW BEST:: SOT 9572143 SOS 3952234 HAS SOPS 3952234 HAS SOUS 699360 HAS SOUPS 699360 WITH SCORE 703312.234
AT ITER 3961 NEW BEST:: SOT 9572143 SOS 3952212 HAS SOPS 3952212 HAS SOUS 699360 HAS SOUPS 699360 WITH SCORE 703312.212
AT ITER 3966 NEW BEST:: SOT 9572107 SOS 3952140 HAS SOPS 3952140 HAS SOUS 699288 HAS SOUPS 699288 WITH SCORE 703240.14
AT ITER 3969 NEW BEST:: SOT 9572194 SOS 3952314 HAS SOPS 3952314 HAS SOUS 699161 HAS SOUPS 699161 WITH SCORE 703113.314
AT ITER 3970 NEW BEST:: SOT 9571994 SOS 3951714 HAS SOPS 3951714 HAS SOUS 698961 HAS SOUPS 698961 WITH SCORE 702912.714
AT ITER 4010 NEW BEST:: SOT 9571993 SOS 3951713 HAS SOPS 3951713 HAS SOUS 698961 HAS SOUPS 698961 WITH SCORE 702912.713
AT ITER 4027 NEW BEST:: SOT 9571993 SOS 3951713 HAS SOPS 3951713 HAS SOUS 698958 HAS SOUPS 698958 WITH SCORE 702909.713
AT ITER 4040 NEW BEST:: SOT 9572079 SOS 3952167 HAS SOPS 3952167 HAS SOUS 698848 HAS SOUPS 698848 WITH SCORE 702800.167
AT ITER 4059 NEW BEST:: SOT 9572055 SOS 3952071 HAS SOPS 3952071 HAS SOUS 698800 HAS SOUPS 698800 WITH SCORE 702752.071
AT ITER 4082 NEW BEST:: SOT 9572055 SOS 3951799 HAS SOPS 3951799 HAS SOUS 698800 HAS SOUPS 698800 WITH SCORE 702751.799
AT ITER 4091 NEW BEST:: SOT 9572099 SOS 3951618 HAS SOPS 3951618 HAS SOUS 698585 HAS SOUPS 698585 WITH SCORE 702536.618
AT ITER 4103 NEW BEST:: SOT 9571562 SOS 3951594 HAS SOPS 3951594 HAS SOUS 698223 HAS SOUPS 698223 WITH SCORE 702174.594
AT ITER 4111 NEW BEST:: SOT 9571433 SOS 3951336 HAS SOPS 3951336 HAS SOUS 698093 HAS SOUPS 698093 WITH SCORE 702044.336
AT ITER 4149 NEW BEST:: SOT 9570951 SOS 3950854 HAS SOPS 3950854 HAS SOUS 698009 HAS SOUPS 698009 WITH SCORE 701959.854
AT ITER 4193 NEW BEST:: SOT 9570907 SOS 3951550 HAS SOPS 3951550 HAS SOUS 697911 HAS SOUPS 697911 WITH SCORE 701862.55
AT ITER 4211 NEW BEST:: SOT 9570420 SOS 3951848 HAS SOPS 3951848 HAS SOUS 697792 HAS SOUPS 697792 WITH SCORE 701743.848
AT ITER 4223 NEW BEST:: SOT 9569670 SOS 3950824 HAS SOPS 3950824 HAS SOUS 696768 HAS SOUPS 696768 WITH SCORE 700718.824
AT ITER 4228 NEW BEST:: SOT 9569560 SOS 3950604 HAS SOPS 3950604 HAS SOUS 696548 HAS SOUPS 696548 WITH SCORE 700498.604
AT ITER 4230 NEW BEST:: SOT 9569560 SOS 3950413 HAS SOPS 3950413 HAS SOUS 696482 HAS SOUPS 696482 WITH SCORE 700432.413
AT ITER 4245 NEW BEST:: SOT 9569514 SOS 3950321 HAS SOPS 3950321 HAS SOUS 696390 HAS SOUPS 696390 WITH SCORE 700340.321
AT ITER 4300 NEW BEST:: SOT 9569265 SOS 3950294 HAS SOPS 3950294 HAS SOUS 696206 HAS SOUPS 696206 WITH SCORE 700156.294
AT ITER 4324 NEW BEST:: SOT 9569085 SOS 3949934 HAS SOPS 3949934 HAS SOUS 696189 HAS SOUPS 696189 WITH SCORE 700138.934
AT ITER 4334 NEW BEST:: SOT 9568988 SOS 3949837 HAS SOPS 3949837 HAS SOUS 690264 HAS SOUPS 690264 WITH SCORE 694213.837
AT ITER 4336 NEW BEST:: SOT 9569076 SOS 3949925 HAS SOPS 3949925 HAS SOUS 690230 HAS SOUPS 690230 WITH SCORE 694179.925
AT ITER 4356 NEW BEST:: SOT 9569076 SOS 3949762 HAS SOPS 3949762 HAS SOUS 690100 HAS SOUPS 690100 WITH SCORE 694049.762
AT ITER 4366 NEW BEST:: SOT 9568954 SOS 3949922 HAS SOPS 3949922 HAS SOUS 689959 HAS SOUPS 689959 WITH SCORE 693908.922
AT ITER 4375 NEW BEST:: SOT 9568587 SOS 3949188 HAS SOPS 3949188 HAS SOUS 689591 HAS SOUPS 689591 WITH SCORE 693540.188
AT ITER 4395 NEW BEST:: SOT 9568567 SOS 3949128 HAS SOPS 3949128 HAS SOUS 689571 HAS SOUPS 689571 WITH SCORE 693520.128
AT ITER 4396 NEW BEST:: SOT 9568203 SOS 3948893 HAS SOPS 3948893 HAS SOUS 689207 HAS SOUPS 689207 WITH SCORE 693155.893
AT ITER 4419 NEW BEST:: SOT 9568089 SOS 3948665 HAS SOPS 3948665 HAS SOUS 688979 HAS SOUPS 688979 WITH SCORE 692927.665
AT ITER 4427 NEW BEST:: SOT 9567815 SOS 3948117 HAS SOPS 3948117 HAS SOUS 688346 HAS SOUPS 688346 WITH SCORE 692294.117
AT ITER 4431 NEW BEST:: SOT 9567561 SOS 3947584 HAS SOPS 3947584 HAS SOUS 687980 HAS SOUPS 687980 WITH SCORE 691927.584
AT ITER 4441 NEW BEST:: SOT 9567561 SOS 3949168 HAS SOPS 3949168 HAS SOUS 667864 HAS SOUPS 667864 WITH SCORE 671813.168
AT ITER 4452 NEW BEST:: SOT 9567593 SOS 3949232 HAS SOPS 3949232 HAS SOUS 667846 HAS SOUPS 667846 WITH SCORE 671795.232
AT ITER 4453 NEW BEST:: SOT 9567447 SOS 3949086 HAS SOPS 3949086 HAS SOUS 667700 HAS SOUPS 667700 WITH SCORE 671649.086
AT ITER 4462 NEW BEST:: SOT 9567447 SOS 3949086 HAS SOPS 3949086 HAS SOUS 667654 HAS SOUPS 667654 WITH SCORE 671603.086
AT ITER 4469 NEW BEST:: SOT 9567447 SOS 3949086 HAS SOPS 3949086 HAS SOUS 667630 HAS SOUPS 667630 WITH SCORE 671579.086
AT ITER 4501 NEW BEST:: SOT 9567411 SOS 3949050 HAS SOPS 3949050 HAS SOUS 667614 HAS SOUPS 667614 WITH SCORE 671563.05
AT ITER 4502 NEW BEST:: SOT 9567147 SOS 3948522 HAS SOPS 3948522 HAS SOUS 667612 HAS SOUPS 667612 WITH SCORE 671560.522
AT ITER 4512 NEW BEST:: SOT 9567075 SOS 3948306 HAS SOPS 3948306 HAS SOUS 667468 HAS SOUPS 667468 WITH SCORE 671416.306
AT ITER 4517 NEW BEST:: SOT 9567049 SOS 3948293 HAS SOPS 3948293 HAS SOUS 667442 HAS SOUPS 667442 WITH SCORE 671390.293
AT ITER 4525 NEW BEST:: SOT 9566898 SOS 3947991 HAS SOPS 3947991 HAS SOUS 667219 HAS SOUPS 667219 WITH SCORE 671166.991
AT ITER 4534 NEW BEST:: SOT 9566896 SOS 3947987 HAS SOPS 3947987 HAS SOUS 666969 HAS SOUPS 666969 WITH SCORE 670916.987
AT ITER 4540 NEW BEST:: SOT 9566897 SOS 3948227 HAS SOPS 3948227 HAS SOUS 666733 HAS SOUPS 666733 WITH SCORE 670681.227
AT ITER 4543 NEW BEST:: SOT 9566803 SOS 3948039 HAS SOPS 3948039 HAS SOUS 666512 HAS SOUPS 666512 WITH SCORE 670460.039
AT ITER 4547 NEW BEST:: SOT 9566803 SOS 3948003 HAS SOPS 3948003 HAS SOUS 666476 HAS SOUPS 666476 WITH SCORE 670424.003
AT ITER 4553 NEW BEST:: SOT 9566803 SOS 3947818 HAS SOPS 3947818 HAS SOUS 666291 HAS SOUPS 666291 WITH SCORE 670238.818
AT ITER 4557 NEW BEST:: SOT 9566803 SOS 3947928 HAS SOPS 3947928 HAS SOUS 666105 HAS SOUPS 666105 WITH SCORE 670052.928
AT ITER 4566 NEW BEST:: SOT 9566753 SOS 3947856 HAS SOPS 3947856 HAS SOUS 666005 HAS SOUPS 666005 WITH SCORE 669952.856
AT ITER 4573 NEW BEST:: SOT 9566520 SOS 3947772 HAS SOPS 3947772 HAS SOUS 665921 HAS SOUPS 665921 WITH SCORE 669868.772
AT ITER 4575 NEW BEST:: SOT 9566670 SOS 3947936 HAS SOPS 3947936 HAS SOUS 665749 HAS SOUPS 665749 WITH SCORE 669696.936
AT ITER 4608 NEW BEST:: SOT 9566663 SOS 3947922 HAS SOPS 3947922 HAS SOUS 665728 HAS SOUPS 665728 WITH SCORE 669675.922
AT ITER 4613 NEW BEST:: SOT 9566491 SOS 3950938 HAS SOPS 3950938 HAS SOUS 665556 HAS SOUPS 665556 WITH SCORE 669506.938
AT ITER 4641 NEW BEST:: SOT 9566417 SOS 3950790 HAS SOPS 3950790 HAS SOUS 665396 HAS SOUPS 665396 WITH SCORE 669346.79
AT ITER 4656 NEW BEST:: SOT 9566287 SOS 3950530 HAS SOPS 3950530 HAS SOUS 665136 HAS SOUPS 665136 WITH SCORE 669086.53
AT ITER 4665 NEW BEST:: SOT 9566268 SOS 3950492 HAS SOPS 3950492 HAS SOUS 665098 HAS SOUPS 665098 WITH SCORE 669048.492
AT ITER 4683 NEW BEST:: SOT 9566268 SOS 3950434 HAS SOPS 3950434 HAS SOUS 665098 HAS SOUPS 665098 WITH SCORE 669048.434
AT ITER 4685 NEW BEST:: SOT 9566265 SOS 3950376 HAS SOPS 3950376 HAS SOUS 664964 HAS SOUPS 664964 WITH SCORE 668914.376
AT ITER 4686 NEW BEST:: SOT 9566034 SOS 3949809 HAS SOPS 3949809 HAS SOUS 664738 HAS SOUPS 664738 WITH SCORE 668687.809
AT ITER 4706 NEW BEST:: SOT 9566026 SOS 3949793 HAS SOPS 3949793 HAS SOUS 664722 HAS SOUPS 664722 WITH SCORE 668671.793
AT ITER 4716 NEW BEST:: SOT 9566026 SOS 3949836 HAS SOPS 3949836 HAS SOUS 664647 HAS SOUPS 664647 WITH SCORE 668596.836
AT ITER 4725 NEW BEST:: SOT 9565984 SOS 3949794 HAS SOPS 3949794 HAS SOUS 664618 HAS SOUPS 664618 WITH SCORE 668567.794
AT ITER 4727 NEW BEST:: SOT 9565923 SOS 3949733 HAS SOPS 3949733 HAS SOUS 664583 HAS SOUPS 664583 WITH SCORE 668532.733
AT ITER 4766 NEW BEST:: SOT 9565894 SOS 3949675 HAS SOPS 3949675 HAS SOUS 664525 HAS SOUPS 664525 WITH SCORE 668474.675
AT ITER 4767 NEW BEST:: SOT 9565862 SOS 3949611 HAS SOPS 3949611 HAS SOUS 664396 HAS SOUPS 664396 WITH SCORE 668345.611
AT ITER 4782 NEW BEST:: SOT 9565818 SOS 3947443 HAS SOPS 3947443 HAS SOUS 664308 HAS SOUPS 664308 WITH SCORE 668255.443
AT ITER 4784 NEW BEST:: SOT 9565818 SOS 3947443 HAS SOPS 3947443 HAS SOUS 664253 HAS SOUPS 664253 WITH SCORE 668200.443
AT ITER 4822 NEW BEST:: SOT 9565817 SOS 3947441 HAS SOPS 3947441 HAS SOUS 664251 HAS SOUPS 664251 WITH SCORE 668198.441
AT ITER 4876 NEW BEST:: SOT 9565092 SOS 3947828 HAS SOPS 3947828 HAS SOUS 664172 HAS SOUPS 664172 WITH SCORE 668119.828
AT ITER 4880 NEW BEST:: SOT 9565086 SOS 3947825 HAS SOPS 3947825 HAS SOUS 664166 HAS SOUPS 664166 WITH SCORE 668113.825
AT ITER 4888 NEW BEST:: SOT 9565086 SOS 3947785 HAS SOPS 3947785 HAS SOUS 664126 HAS SOUPS 664126 WITH SCORE 668073.785
AT ITER 4893 NEW BEST:: SOT 9565086 SOS 3947785 HAS SOPS 3947785 HAS SOUS 663959 HAS SOUPS 663959 WITH SCORE 667906.785
AT ITER 4900 NEW BEST:: SOT 9565086 SOS 3947732 HAS SOPS 3947732 HAS SOUS 663956 HAS SOUPS 663956 WITH SCORE 667903.732
AT ITER 4916 NEW BEST:: SOT 9565337 SOS 3948234 HAS SOPS 3948234 HAS SOUS 663863 HAS SOUPS 663863 WITH SCORE 667811.234
AT ITER 4929 NEW BEST:: SOT 9565268 SOS 3948078 HAS SOPS 3948078 HAS SOUS 663794 HAS SOUPS 663794 WITH SCORE 667742.078
AT ITER 4935 NEW BEST:: SOT 9565123 SOS 3947788 HAS SOPS 3947788 HAS SOUS 663637 HAS SOUPS 663637 WITH SCORE 667584.788
AT ITER 4937 NEW BEST:: SOT 9565123 SOS 3947638 HAS SOPS 3947638 HAS SOUS 663601 HAS SOUPS 663601 WITH SCORE 667548.638
AT ITER 4953 NEW BEST:: SOT 9565034 SOS 3947460 HAS SOPS 3947460 HAS SOUS 663406 HAS SOUPS 663406 WITH SCORE 667353.46
AT ITER 4957 NEW BEST:: SOT 9565054 SOS 3947440 HAS SOPS 3947440 HAS SOUS 663406 HAS SOUPS 663406 WITH SCORE 667353.44
AT ITER 4963 NEW BEST:: SOT 9564964 SOS 3947260 HAS SOPS 3947260 HAS SOUS 663316 HAS SOUPS 663316 WITH SCORE 667263.26
AT ITER 4968 NEW BEST:: SOT 9564870 SOS 3947536 HAS SOPS 3947536 HAS SOUS 663287 HAS SOUPS 663287 WITH SCORE 667234.536
AT ITER 4974 NEW BEST:: SOT 9564741 SOS 3947321 HAS SOPS 3947321 HAS SOUS 647725 HAS SOUPS 647725 WITH SCORE 651672.321
AT ITER 4987 NEW BEST:: SOT 9564876 SOS 3947293 HAS SOPS 3947293 HAS SOUS 647724 HAS SOUPS 647724 WITH SCORE 651671.293
AT ITER 4994 NEW BEST:: SOT 9564823 SOS 3947128 HAS SOPS 3947128 HAS SOUS 647618 HAS SOUPS 647618 WITH SCORE 651565.128
Bounds file is: CTLFireability.xml
PROPERTY: CloudDeployment-PT-6b-CTLFireability-00 (EF( ( ( ( ( ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P629)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P66)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1557)>=1) & (tk(P1886)>=1)))) & ((potential((tk(P1357)>=1)))) ) | ((potential((tk(P655)>=1) & (tk(P1286)>=1)))) ) & (EG( ((potential((tk(P1864)>=1) & (tk(P98)>=1) & (tk(P57)>=1) & (tk(P207)>=1) & (tk(P1885)>=1)))))) ) & (EX( ( ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1557)>=1) & (tk(P1886)>=1)))) | ((potential((tk(P1801)>=1)))) ))) )))
PROPERTY: CloudDeployment-PT-6b-CTLFireability-01 (EF( ( (AX( ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))))) & ( (EG( ((potential((tk(P655)>=1) & (tk(P1286)>=1)))))) | ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1210)>=1) & (tk(P1302)>=1) & (tk(P660)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1509)>=1) & (tk(P1557)>=1) & (tk(P1886)>=1)))) ) )))
PROPERTY: CloudDeployment-PT-6b-CTLFireability-02 (EX( (AF( ( (! ((potential((tk(P1803)>=1) & (tk(P1258)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1509)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1))))) & ( ((potential((tk(P292)>=1)))) & ((potential((tk(P356)>=1) & (tk(P593)>=1)))) ) )))))
PROPERTY: CloudDeployment-PT-6b-CTLFireability-03 ( (EU( (AF( ((potential((tk(P1803)>=1) & (tk(P1258)>=1) & (tk(P1210)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1509)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))))) , ( ( ((potential((tk(P534)>=1)))) | ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P660)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P66)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))) ) & ( ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P66)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1509)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))) & ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P629)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))) ) ) )) | (! (EF( (EG( ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1210)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1557)>=1) & (tk(P1886)>=1))))))))) )
PROPERTY: CloudDeployment-PT-6b-CTLFireability-04 (EG( ( ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1210)>=1) & (tk(P1302)>=1) & (tk(P660)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P66)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))) | (! ( ( ((potential((tk(P1803)>=1) & (tk(P1258)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P660)>=1) & (tk(P629)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))) & ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1210)>=1) & (tk(P1302)>=1) & (tk(P660)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P66)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1509)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))) ) | ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1557)>=1) & (tk(P1886)>=1)))) )) )))
PROPERTY: CloudDeployment-PT-6b-CTLFireability-05 (! ( (AG( (! ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P660)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1557)>=1) & (tk(P1886)>=1))))))) | (AG( ((potential((tk(P203)>=1)))))) ))
PROPERTY: CloudDeployment-PT-6b-CTLFireability-06 (! (AF( (EF( ( ((potential((tk(P1803)>=1) & (tk(P1258)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P660)>=1) & (tk(P629)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))) & ((potential((tk(P1022)>=1)))) ))))))
PROPERTY: CloudDeployment-PT-6b-CTLFireability-07 (AF( ( (AF( ( ((potential((tk(P867)>=1)))) | ((potential((tk(P286)>=1)))) ))) & (AG( ( ((potential((tk(P524)>=1)))) | ((potential((tk(P1803)>=1) & (tk(P1258)>=1) & (tk(P1210)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P629)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P66)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1557)>=1) & (tk(P1886)>=1)))) ))) )))
PROPERTY: CloudDeployment-PT-6b-CTLFireability-08 ( (AF( (! ( (! ((potential((tk(P726)>=1))))) | ( ((potential((tk(P1803)>=1) & (tk(P1258)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P629)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1509)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))) & ((potential((tk(P1803)>=1) & (tk(P1258)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P660)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P66)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1557)>=1) & (tk(P1886)>=1)))) ) )))) | (AG( (! ( ( ((potential((tk(P560)>=1)))) | ((potential((tk(P1042)>=1)))) ) & ((potential((tk(P1527)>=1)))) )))) )
PROPERTY: CloudDeployment-PT-6b-CTLFireability-09 ( (EG( ( (AX( ((potential((tk(P1803)>=1) & (tk(P1258)>=1) & (tk(P1210)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P629)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))))) & (AX( ((potential((tk(P1688)>=1)))))) ))) | (AF( (! (! ( ((potential((tk(P36)>=1)))) & ((potential((tk(P1864)>=1) & (tk(P995)>=1) & (tk(P954)>=1) & (tk(P1098)>=1) & (tk(P1885)>=1)))) ))))) )
PROPERTY: CloudDeployment-PT-6b-CTLFireability-10 (! ( (AF( (! ( ((potential((tk(P464)>=1)))) & ((potential((tk(P1803)>=1) & (tk(P1258)>=1) & (tk(P1210)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P66)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1557)>=1) & (tk(P1886)>=1)))) )))) & (EF( ( ( ((potential((tk(P1803)>=1) & (tk(P1258)>=1) & (tk(P1210)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1509)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))) & ((potential((tk(P80)>=1)))) ) & ( ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P660)>=1) & (tk(P629)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))) | ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1210)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P66)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1509)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))) ) ))) ))
PROPERTY: CloudDeployment-PT-6b-CTLFireability-11 ( ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P660)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1557)>=1) & (tk(P1886)>=1)))) | (EF( (AF( ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P660)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P66)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1509)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))))))) )
PROPERTY: CloudDeployment-PT-6b-CTLFireability-12 (AF( (AF( ((potential((tk(P1803)>=1) & (tk(P1258)>=1) & (tk(P1210)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P629)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P66)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1557)>=1) & (tk(P1886)>=1))))))))
PROPERTY: CloudDeployment-PT-6b-CTLFireability-13 (EF( (EX( (AX( ((potential((tk(P1864)>=1) & (tk(P995)>=1) & (tk(P954)>=1) & (tk(P1134)>=1) & (tk(P1885)>=1))))))))))
PROPERTY: CloudDeployment-PT-6b-CTLFireability-14 (AU( (EX( (! ((potential((tk(P1803)>=1) & (tk(P1258)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P629)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P66)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1))))))) , (! ( ( ((potential((tk(P300)>=1)))) & ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1210)>=1) & (tk(P1302)>=1) & (tk(P660)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P66)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1509)>=1) & (tk(P1557)>=1) & (tk(P1886)>=1)))) ) | (! ((potential((tk(P1351)>=1))))) )) ))
PROPERTY: CloudDeployment-PT-6b-CTLFireability-15 (AG( ( ( ( ( ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1210)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P629)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1509)>=1) & (tk(P1557)>=1) & (tk(P1886)>=1)))) & ((potential((tk(P1539)>=1)))) ) & ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P660)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1509)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))) ) | ((potential((tk(P1803)>=1) & (tk(P1262)>=1) & (tk(P1210)>=1) & (tk(P1302)>=1) & (tk(P660)>=1) & (tk(P612)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P14)>=1) & (tk(P62)>=1) & (tk(P405)>=1) & (tk(P313)>=1) & (tk(P361)>=1) & (tk(P1003)>=1) & (tk(P911)>=1) & (tk(P959)>=1) & (tk(P1601)>=1) & (tk(P1509)>=1) & (tk(P1561)>=1) & (tk(P1886)>=1)))) ) | ( (AF( ((potential((tk(P373)>=1)))))) | (! ( ((potential((tk(P388)>=1)))) & ((potential((tk(P1803)>=1) & (tk(P1258)>=1) & (tk(P1227)>=1) & (tk(P1302)>=1) & (tk(P664)>=1) & (tk(P629)>=1) & (tk(P704)>=1) & (tk(P106)>=1) & (tk(P31)>=1) & (tk(P66)>=1) & (tk(P405)>=1) & (tk(P330)>=1) & (tk(P365)>=1) & (tk(P1003)>=1) & (tk(P928)>=1) & (tk(P963)>=1) & (tk(P1601)>=1) & (tk(P1526)>=1) & (tk(P1557)>=1) & (tk(P1886)>=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-6b"
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-6b, 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-158901926000340"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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