Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 836K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K 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 CloudReconfiguration-PT-308-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-308-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589091736631

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 308
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4443229 SOS 758854 HAS SOPS 758854 HAS SOUS 699876 HAS SOUPS 699876 WITH SCORE 700634.854
AT ITER 1 NEW BEST:: SOT 4443278 SOS 758952 HAS SOPS 758952 HAS SOUS 699701 HAS SOUPS 699701 WITH SCORE 700459.952
AT ITER 5 NEW BEST:: SOT 4443134 SOS 758520 HAS SOPS 758520 HAS SOUS 699413 HAS SOUPS 699413 WITH SCORE 700171.52
AT ITER 14 NEW BEST:: SOT 4443134 SOS 758432 HAS SOPS 758432 HAS SOUS 699339 HAS SOUPS 699339 WITH SCORE 700097.432
AT ITER 30 NEW BEST:: SOT 4443155 SOS 758474 HAS SOPS 758474 HAS SOUS 699326 HAS SOUPS 699326 WITH SCORE 700084.474
AT ITER 46 NEW BEST:: SOT 4443150 SOS 758464 HAS SOPS 758464 HAS SOUS 699316 HAS SOUPS 699316 WITH SCORE 700074.464
AT ITER 60 NEW BEST:: SOT 4439476 SOS 774724 HAS SOPS 774724 HAS SOUS 697268 HAS SOUPS 697268 WITH SCORE 698042.724
AT ITER 65 NEW BEST:: SOT 4439425 SOS 774622 HAS SOPS 774622 HAS SOUS 697166 HAS SOUPS 697166 WITH SCORE 697940.622
AT ITER 66 NEW BEST:: SOT 4439424 SOS 774620 HAS SOPS 774620 HAS SOUS 697164 HAS SOUPS 697164 WITH SCORE 697938.62
AT ITER 94 NEW BEST:: SOT 4439461 SOS 774694 HAS SOPS 774694 HAS SOUS 697138 HAS SOUPS 697138 WITH SCORE 697912.694
AT ITER 98 NEW BEST:: SOT 4439089 SOS 774694 HAS SOPS 774694 HAS SOUS 696952 HAS SOUPS 696952 WITH SCORE 697726.694
AT ITER 101 NEW BEST:: SOT 4438950 SOS 774416 HAS SOPS 774416 HAS SOUS 696813 HAS SOUPS 696813 WITH SCORE 697587.416
AT ITER 114 NEW BEST:: SOT 4438950 SOS 774305 HAS SOPS 774305 HAS SOUS 696702 HAS SOUPS 696702 WITH SCORE 697476.305
AT ITER 136 NEW BEST:: SOT 4438578 SOS 773961 HAS SOPS 773961 HAS SOUS 696191 HAS SOUPS 696191 WITH SCORE 696964.961
AT ITER 142 NEW BEST:: SOT 4438577 SOS 773827 HAS SOPS 773827 HAS SOUS 696189 HAS SOUPS 696189 WITH SCORE 696962.827
AT ITER 143 NEW BEST:: SOT 4437789 SOS 775898 HAS SOPS 775898 HAS SOUS 695981 HAS SOUPS 695981 WITH SCORE 696756.898
AT ITER 184 NEW BEST:: SOT 4437697 SOS 775714 HAS SOPS 775714 HAS SOUS 695797 HAS SOUPS 695797 WITH SCORE 696572.714
AT ITER 195 NEW BEST:: SOT 4437697 SOS 775714 HAS SOPS 775714 HAS SOUS 695794 HAS SOUPS 695794 WITH SCORE 696569.714
AT ITER 214 NEW BEST:: SOT 4437769 SOS 775573 HAS SOPS 775573 HAS SOUS 695653 HAS SOUPS 695653 WITH SCORE 696428.573
AT ITER 242 NEW BEST:: SOT 4437582 SOS 775199 HAS SOPS 775199 HAS SOUS 695279 HAS SOUPS 695279 WITH SCORE 696054.199
AT ITER 255 NEW BEST:: SOT 4437470 SOS 775087 HAS SOPS 775087 HAS SOUS 695167 HAS SOUPS 695167 WITH SCORE 695942.087
AT ITER 257 NEW BEST:: SOT 4437470 SOS 774731 HAS SOPS 774731 HAS SOUS 694989 HAS SOUPS 694989 WITH SCORE 695763.731
AT ITER 308 NEW BEST:: SOT 4437198 SOS 774459 HAS SOPS 774459 HAS SOUS 694717 HAS SOUPS 694717 WITH SCORE 695491.459
AT ITER 325 NEW BEST:: SOT 4436977 SOS 774017 HAS SOPS 774017 HAS SOUS 694275 HAS SOUPS 694275 WITH SCORE 695049.017
AT ITER 330 NEW BEST:: SOT 4436839 SOS 773879 HAS SOPS 773879 HAS SOUS 694137 HAS SOUPS 694137 WITH SCORE 694910.879
AT ITER 331 NEW BEST:: SOT 4436839 SOS 773879 HAS SOPS 773879 HAS SOUS 694121 HAS SOUPS 694121 WITH SCORE 694894.879
AT ITER 352 NEW BEST:: SOT 4436814 SOS 774410 HAS SOPS 774410 HAS SOUS 693925 HAS SOUPS 693925 WITH SCORE 694699.41
AT ITER 370 NEW BEST:: SOT 4436578 SOS 774362 HAS SOPS 774362 HAS SOUS 693807 HAS SOUPS 693807 WITH SCORE 694581.362
AT ITER 391 NEW BEST:: SOT 4436578 SOS 774277 HAS SOPS 774277 HAS SOUS 693806 HAS SOUPS 693806 WITH SCORE 694580.277
AT ITER 417 NEW BEST:: SOT 4436577 SOS 774275 HAS SOPS 774275 HAS SOUS 693804 HAS SOUPS 693804 WITH SCORE 694578.275
AT ITER 449 NEW BEST:: SOT 4436577 SOS 774275 HAS SOPS 774275 HAS SOUS 693634 HAS SOUPS 693634 WITH SCORE 694408.275
AT ITER 450 NEW BEST:: SOT 4436194 SOS 773813 HAS SOPS 773813 HAS SOUS 693100 HAS SOUPS 693100 WITH SCORE 693873.813
AT ITER 457 NEW BEST:: SOT 4436194 SOS 773662 HAS SOPS 773662 HAS SOUS 693100 HAS SOUPS 693100 WITH SCORE 693873.662
AT ITER 492 NEW BEST:: SOT 4435905 SOS 773329 HAS SOPS 773329 HAS SOUS 692767 HAS SOUPS 692767 WITH SCORE 693540.329
AT ITER 512 NEW BEST:: SOT 4435793 SOS 773105 HAS SOPS 773105 HAS SOUS 692543 HAS SOUPS 692543 WITH SCORE 693316.105
AT ITER 523 NEW BEST:: SOT 4435751 SOS 773021 HAS SOPS 773021 HAS SOUS 692459 HAS SOUPS 692459 WITH SCORE 693232.021
AT ITER 526 NEW BEST:: SOT 4435574 SOS 772844 HAS SOPS 772844 HAS SOUS 692105 HAS SOUPS 692105 WITH SCORE 692877.844
AT ITER 529 NEW BEST:: SOT 4435418 SOS 772532 HAS SOPS 772532 HAS SOUS 691948 HAS SOUPS 691948 WITH SCORE 692720.532
AT ITER 534 NEW BEST:: SOT 4434874 SOS 772052 HAS SOPS 772052 HAS SOUS 691468 HAS SOUPS 691468 WITH SCORE 692240.052
AT ITER 543 NEW BEST:: SOT 4434579 SOS 771757 HAS SOPS 771757 HAS SOUS 691468 HAS SOUPS 691468 WITH SCORE 692239.757
AT ITER 573 NEW BEST:: SOT 4432940 SOS 770119 HAS SOPS 770119 HAS SOUS 689830 HAS SOUPS 689830 WITH SCORE 690600.119
AT ITER 595 NEW BEST:: SOT 4432940 SOS 770119 HAS SOPS 770119 HAS SOUS 689829 HAS SOUPS 689829 WITH SCORE 690599.119
AT ITER 606 NEW BEST:: SOT 4432916 SOS 770095 HAS SOPS 770095 HAS SOUS 689781 HAS SOUPS 689781 WITH SCORE 690551.095
AT ITER 662 NEW BEST:: SOT 4432871 SOS 770005 HAS SOPS 770005 HAS SOUS 689674 HAS SOUPS 689674 WITH SCORE 690444.005
AT ITER 708 NEW BEST:: SOT 4432871 SOS 769357 HAS SOPS 769357 HAS SOUS 689350 HAS SOUPS 689350 WITH SCORE 690119.357
AT ITER 747 NEW BEST:: SOT 4432580 SOS 769066 HAS SOPS 769066 HAS SOUS 689349 HAS SOUPS 689349 WITH SCORE 690118.066
AT ITER 768 NEW BEST:: SOT 4432579 SOS 768815 HAS SOPS 768815 HAS SOUS 689347 HAS SOUPS 689347 WITH SCORE 690115.815
AT ITER 770 NEW BEST:: SOT 4432579 SOS 768815 HAS SOPS 768815 HAS SOUS 689286 HAS SOUPS 689286 WITH SCORE 690054.815
AT ITER 778 NEW BEST:: SOT 4432579 SOS 768666 HAS SOPS 768666 HAS SOUS 689286 HAS SOUPS 689286 WITH SCORE 690054.666
AT ITER 782 NEW BEST:: SOT 4432489 SOS 768606 HAS SOPS 768606 HAS SOUS 689226 HAS SOUPS 689226 WITH SCORE 689994.606
AT ITER 796 NEW BEST:: SOT 4423900 SOS 823500 HAS SOPS 823500 HAS SOUS 683697 HAS SOUPS 683697 WITH SCORE 684520.5
AT ITER 814 NEW BEST:: SOT 4423900 SOS 823342 HAS SOPS 823342 HAS SOUS 683697 HAS SOUPS 683697 WITH SCORE 684520.342
AT ITER 839 NEW BEST:: SOT 4423786 SOS 823114 HAS SOPS 823114 HAS SOUS 683469 HAS SOUPS 683469 WITH SCORE 684292.114
AT ITER 850 NEW BEST:: SOT 4423337 SOS 822702 HAS SOPS 822702 HAS SOUS 683020 HAS SOUPS 683020 WITH SCORE 683842.702
AT ITER 865 NEW BEST:: SOT 4423257 SOS 822622 HAS SOPS 822622 HAS SOUS 683019 HAS SOUPS 683019 WITH SCORE 683841.622
AT ITER 894 NEW BEST:: SOT 4423463 SOS 822559 HAS SOPS 822559 HAS SOUS 682995 HAS SOUPS 682995 WITH SCORE 683817.559
AT ITER 905 NEW BEST:: SOT 4423350 SOS 822220 HAS SOPS 822220 HAS SOUS 682769 HAS SOUPS 682769 WITH SCORE 683591.22
AT ITER 918 NEW BEST:: SOT 4423206 SOS 821932 HAS SOPS 821932 HAS SOUS 682481 HAS SOUPS 682481 WITH SCORE 683302.932
AT ITER 960 NEW BEST:: SOT 4423206 SOS 821522 HAS SOPS 821522 HAS SOUS 682276 HAS SOUPS 682276 WITH SCORE 683097.522
AT ITER 1010 NEW BEST:: SOT 4423206 SOS 821118 HAS SOPS 821118 HAS SOUS 682020 HAS SOUPS 682020 WITH SCORE 682841.118
AT ITER 1019 NEW BEST:: SOT 4423147 SOS 821000 HAS SOPS 821000 HAS SOUS 681902 HAS SOUPS 681902 WITH SCORE 682723.0
AT ITER 1039 NEW BEST:: SOT 4421622 SOS 820479 HAS SOPS 820479 HAS SOUS 680922 HAS SOUPS 680922 WITH SCORE 681742.479
AT ITER 1052 NEW BEST:: SOT 4421604 SOS 820425 HAS SOPS 820425 HAS SOUS 680886 HAS SOUPS 680886 WITH SCORE 681706.425
AT ITER 1071 NEW BEST:: SOT 4421326 SOS 820895 HAS SOPS 820895 HAS SOUS 680798 HAS SOUPS 680798 WITH SCORE 681618.895
AT ITER 1081 NEW BEST:: SOT 4420983 SOS 820209 HAS SOPS 820209 HAS SOUS 680112 HAS SOUPS 680112 WITH SCORE 680932.209
AT ITER 1083 NEW BEST:: SOT 4420982 SOS 820207 HAS SOPS 820207 HAS SOUS 680110 HAS SOUPS 680110 WITH SCORE 680930.207
AT ITER 1088 NEW BEST:: SOT 4420954 SOS 820151 HAS SOPS 820151 HAS SOUS 679941 HAS SOUPS 679941 WITH SCORE 680761.151
AT ITER 1105 NEW BEST:: SOT 4420763 SOS 819769 HAS SOPS 819769 HAS SOUS 679559 HAS SOUPS 679559 WITH SCORE 680378.769
AT ITER 1109 NEW BEST:: SOT 4420540 SOS 819473 HAS SOPS 819473 HAS SOUS 679261 HAS SOUPS 679261 WITH SCORE 680080.473
AT ITER 1114 NEW BEST:: SOT 4420380 SOS 819153 HAS SOPS 819153 HAS SOUS 678941 HAS SOUPS 678941 WITH SCORE 679760.153
AT ITER 1117 NEW BEST:: SOT 4420323 SOS 819039 HAS SOPS 819039 HAS SOUS 678827 HAS SOUPS 678827 WITH SCORE 679646.039
AT ITER 1135 NEW BEST:: SOT 4420245 SOS 819203 HAS SOPS 819203 HAS SOUS 678683 HAS SOUPS 678683 WITH SCORE 679502.203
AT ITER 1137 NEW BEST:: SOT 4420245 SOS 819202 HAS SOPS 819202 HAS SOUS 678682 HAS SOUPS 678682 WITH SCORE 679501.202
AT ITER 1151 NEW BEST:: SOT 4420091 SOS 819008 HAS SOPS 819008 HAS SOUS 678488 HAS SOUPS 678488 WITH SCORE 679307.008
AT ITER 1152 NEW BEST:: SOT 4420091 SOS 818927 HAS SOPS 818927 HAS SOUS 678407 HAS SOUPS 678407 WITH SCORE 679225.927
AT ITER 1166 NEW BEST:: SOT 4418926 SOS 817956 HAS SOPS 817956 HAS SOUS 677435 HAS SOUPS 677435 WITH SCORE 678252.956
AT ITER 1188 NEW BEST:: SOT 4418807 SOS 817837 HAS SOPS 817837 HAS SOUS 677316 HAS SOUPS 677316 WITH SCORE 678133.837
AT ITER 1191 NEW BEST:: SOT 4418628 SOS 817479 HAS SOPS 817479 HAS SOUS 676958 HAS SOUPS 676958 WITH SCORE 677775.479
AT ITER 1195 NEW BEST:: SOT 4418579 SOS 817430 HAS SOPS 817430 HAS SOUS 676957 HAS SOUPS 676957 WITH SCORE 677774.43
AT ITER 1205 NEW BEST:: SOT 4418578 SOS 817339 HAS SOPS 817339 HAS SOUS 676955 HAS SOUPS 676955 WITH SCORE 677772.339
AT ITER 1211 NEW BEST:: SOT 4418377 SOS 816937 HAS SOPS 816937 HAS SOUS 676760 HAS SOUPS 676760 WITH SCORE 677576.937
AT ITER 1218 NEW BEST:: SOT 4418189 SOS 816561 HAS SOPS 816561 HAS SOUS 676384 HAS SOUPS 676384 WITH SCORE 677200.561
AT ITER 1229 NEW BEST:: SOT 4418189 SOS 816534 HAS SOPS 816534 HAS SOUS 676384 HAS SOUPS 676384 WITH SCORE 677200.534
AT ITER 1242 NEW BEST:: SOT 4418090 SOS 816336 HAS SOPS 816336 HAS SOUS 676186 HAS SOUPS 676186 WITH SCORE 677002.336
AT ITER 1254 NEW BEST:: SOT 4417956 SOS 816209 HAS SOPS 816209 HAS SOUS 676058 HAS SOUPS 676058 WITH SCORE 676874.209
AT ITER 1255 NEW BEST:: SOT 4417830 SOS 815957 HAS SOPS 815957 HAS SOUS 675806 HAS SOUPS 675806 WITH SCORE 676621.957
AT ITER 1277 NEW BEST:: SOT 4417830 SOS 815957 HAS SOPS 815957 HAS SOUS 675794 HAS SOUPS 675794 WITH SCORE 676609.957
AT ITER 1288 NEW BEST:: SOT 4417830 SOS 815957 HAS SOPS 815957 HAS SOUS 675775 HAS SOUPS 675775 WITH SCORE 676590.957
AT ITER 1301 NEW BEST:: SOT 4417592 SOS 815753 HAS SOPS 815753 HAS SOUS 675571 HAS SOUPS 675571 WITH SCORE 676386.753
AT ITER 1306 NEW BEST:: SOT 4417368 SOS 815753 HAS SOPS 815753 HAS SOUS 675459 HAS SOUPS 675459 WITH SCORE 676274.753
AT ITER 1335 NEW BEST:: SOT 4417356 SOS 815729 HAS SOPS 815729 HAS SOUS 675435 HAS SOUPS 675435 WITH SCORE 676250.729
AT ITER 1349 NEW BEST:: SOT 4417332 SOS 815681 HAS SOPS 815681 HAS SOUS 675387 HAS SOUPS 675387 WITH SCORE 676202.681
AT ITER 1374 NEW BEST:: SOT 4417112 SOS 815241 HAS SOPS 815241 HAS SOUS 674947 HAS SOUPS 674947 WITH SCORE 675762.241
AT ITER 1385 NEW BEST:: SOT 4417043 SOS 815177 HAS SOPS 815177 HAS SOUS 674878 HAS SOUPS 674878 WITH SCORE 675693.177
AT ITER 1394 NEW BEST:: SOT 4417043 SOS 815083 HAS SOPS 815083 HAS SOUS 674878 HAS SOUPS 674878 WITH SCORE 675693.083
AT ITER 1396 NEW BEST:: SOT 4417013 SOS 815053 HAS SOPS 815053 HAS SOUS 674877 HAS SOUPS 674877 WITH SCORE 675692.053
AT ITER 1448 NEW BEST:: SOT 4416842 SOS 814904 HAS SOPS 814904 HAS SOUS 674612 HAS SOUPS 674612 WITH SCORE 675426.904
AT ITER 1458 NEW BEST:: SOT 4416972 SOS 814681 HAS SOPS 814681 HAS SOUS 674572 HAS SOUPS 674572 WITH SCORE 675386.681
AT ITER 1462 NEW BEST:: SOT 4416283 SOS 814308 HAS SOPS 814308 HAS SOUS 673908 HAS SOUPS 673908 WITH SCORE 674722.308
AT ITER 1482 NEW BEST:: SOT 4416257 SOS 814282 HAS SOPS 814282 HAS SOUS 673895 HAS SOUPS 673895 WITH SCORE 674709.282
AT ITER 1484 NEW BEST:: SOT 4416257 SOS 813874 HAS SOPS 813874 HAS SOUS 673894 HAS SOUPS 673894 WITH SCORE 674707.874
AT ITER 1487 NEW BEST:: SOT 4416166 SOS 813692 HAS SOPS 813692 HAS SOUS 673712 HAS SOUPS 673712 WITH SCORE 674525.692
AT ITER 1497 NEW BEST:: SOT 4415979 SOS 813318 HAS SOPS 813318 HAS SOUS 673338 HAS SOUPS 673338 WITH SCORE 674151.318
AT ITER 1520 NEW BEST:: SOT 4415955 SOS 813270 HAS SOPS 813270 HAS SOUS 673282 HAS SOUPS 673282 WITH SCORE 674095.27
AT ITER 1523 NEW BEST:: SOT 4415751 SOS 813066 HAS SOPS 813066 HAS SOUS 673078 HAS SOUPS 673078 WITH SCORE 673891.066
AT ITER 1531 NEW BEST:: SOT 4415579 SOS 812722 HAS SOPS 812722 HAS SOUS 672734 HAS SOUPS 672734 WITH SCORE 673546.722
AT ITER 1545 NEW BEST:: SOT 4415578 SOS 812720 HAS SOPS 812720 HAS SOUS 672732 HAS SOUPS 672732 WITH SCORE 673544.72
AT ITER 1549 NEW BEST:: SOT 4415238 SOS 812380 HAS SOPS 812380 HAS SOUS 672392 HAS SOUPS 672392 WITH SCORE 673204.38
AT ITER 1551 NEW BEST:: SOT 4415148 SOS 812200 HAS SOPS 812200 HAS SOUS 672212 HAS SOUPS 672212 WITH SCORE 673024.2
AT ITER 1567 NEW BEST:: SOT 4414947 SOS 811999 HAS SOPS 811999 HAS SOUS 671811 HAS SOUPS 671811 WITH SCORE 672622.999
AT ITER 1570 NEW BEST:: SOT 4414755 SOS 811999 HAS SOPS 811999 HAS SOUS 671715 HAS SOUPS 671715 WITH SCORE 672526.999
AT ITER 1586 NEW BEST:: SOT 4414287 SOS 811609 HAS SOPS 811609 HAS SOUS 671325 HAS SOUPS 671325 WITH SCORE 672136.609
AT ITER 1594 NEW BEST:: SOT 4414287 SOS 811609 HAS SOPS 811609 HAS SOUS 671324 HAS SOUPS 671324 WITH SCORE 672135.609
AT ITER 1604 NEW BEST:: SOT 4414287 SOS 811609 HAS SOPS 811609 HAS SOUS 671323 HAS SOUPS 671323 WITH SCORE 672134.609
AT ITER 1647 NEW BEST:: SOT 4414351 SOS 811537 HAS SOPS 811537 HAS SOUS 671251 HAS SOUPS 671251 WITH SCORE 672062.537
AT ITER 1668 NEW BEST:: SOT 4414288 SOS 811411 HAS SOPS 811411 HAS SOUS 671093 HAS SOUPS 671093 WITH SCORE 671904.411
AT ITER 1677 NEW BEST:: SOT 4414290 SOS 811415 HAS SOPS 811415 HAS SOUS 671082 HAS SOUPS 671082 WITH SCORE 671893.415
AT ITER 1720 NEW BEST:: SOT 4414210 SOS 811255 HAS SOPS 811255 HAS SOUS 670922 HAS SOUPS 670922 WITH SCORE 671733.255
AT ITER 1737 NEW BEST:: SOT 4413932 SOS 810699 HAS SOPS 810699 HAS SOUS 670366 HAS SOUPS 670366 WITH SCORE 671176.699
AT ITER 1749 NEW BEST:: SOT 4413680 SOS 810195 HAS SOPS 810195 HAS SOUS 669862 HAS SOUPS 669862 WITH SCORE 670672.195
AT ITER 1784 NEW BEST:: SOT 4413680 SOS 810133 HAS SOPS 810133 HAS SOUS 669831 HAS SOUPS 669831 WITH SCORE 670641.133
AT ITER 1844 NEW BEST:: SOT 4413606 SOS 809911 HAS SOPS 809911 HAS SOUS 669683 HAS SOUPS 669683 WITH SCORE 670492.911
AT ITER 1885 NEW BEST:: SOT 4413575 SOS 810065 HAS SOPS 810065 HAS SOUS 669652 HAS SOUPS 669652 WITH SCORE 670462.065
AT ITER 1887 NEW BEST:: SOT 4413347 SOS 809609 HAS SOPS 809609 HAS SOUS 669196 HAS SOUPS 669196 WITH SCORE 670005.609
AT ITER 1892 NEW BEST:: SOT 4413347 SOS 809285 HAS SOPS 809285 HAS SOUS 668951 HAS SOUPS 668951 WITH SCORE 669760.285
AT ITER 1893 NEW BEST:: SOT 4413126 SOS 808843 HAS SOPS 808843 HAS SOUS 668730 HAS SOUPS 668730 WITH SCORE 669538.843
AT ITER 1914 NEW BEST:: SOT 4412950 SOS 808491 HAS SOPS 808491 HAS SOUS 668378 HAS SOUPS 668378 WITH SCORE 669186.491
AT ITER 1916 NEW BEST:: SOT 4412830 SOS 808131 HAS SOPS 808131 HAS SOUS 668258 HAS SOUPS 668258 WITH SCORE 669066.131
AT ITER 1944 NEW BEST:: SOT 4412829 SOS 808086 HAS SOPS 808086 HAS SOUS 668256 HAS SOUPS 668256 WITH SCORE 669064.086
AT ITER 1987 NEW BEST:: SOT 4412829 SOS 807946 HAS SOPS 807946 HAS SOUS 668256 HAS SOUPS 668256 WITH SCORE 669063.946
AT ITER 2006 NEW BEST:: SOT 4412806 SOS 807944 HAS SOPS 807944 HAS SOUS 668233 HAS SOUPS 668233 WITH SCORE 669040.944
AT ITER 2010 NEW BEST:: SOT 4412819 SOS 807970 HAS SOPS 807970 HAS SOUS 668032 HAS SOUPS 668032 WITH SCORE 668839.97
AT ITER 2048 NEW BEST:: SOT 4412819 SOS 807806 HAS SOPS 807806 HAS SOUS 667868 HAS SOUPS 667868 WITH SCORE 668675.806
AT ITER 2054 NEW BEST:: SOT 4405863 SOS 826363 HAS SOPS 826363 HAS SOUS 662031 HAS SOUPS 662031 WITH SCORE 662857.363
AT ITER 2069 NEW BEST:: SOT 4405822 SOS 826281 HAS SOPS 826281 HAS SOUS 661949 HAS SOUPS 661949 WITH SCORE 662775.281
AT ITER 2096 NEW BEST:: SOT 4405729 SOS 826095 HAS SOPS 826095 HAS SOUS 661665 HAS SOUPS 661665 WITH SCORE 662491.095
AT ITER 2111 NEW BEST:: SOT 4405381 SOS 825608 HAS SOPS 825608 HAS SOUS 661108 HAS SOUPS 661108 WITH SCORE 661933.608
AT ITER 2115 NEW BEST:: SOT 4405380 SOS 825606 HAS SOPS 825606 HAS SOUS 661106 HAS SOUPS 661106 WITH SCORE 661931.606
AT ITER 2148 NEW BEST:: SOT 4405202 SOS 825428 HAS SOPS 825428 HAS SOUS 660928 HAS SOUPS 660928 WITH SCORE 661753.428
AT ITER 2180 NEW BEST:: SOT 4404617 SOS 825510 HAS SOPS 825510 HAS SOUS 660350 HAS SOUPS 660350 WITH SCORE 661175.51
AT ITER 2196 NEW BEST:: SOT 4404512 SOS 825440 HAS SOPS 825440 HAS SOUS 660280 HAS SOUPS 660280 WITH SCORE 661105.44
AT ITER 2199 NEW BEST:: SOT 4404330 SOS 825076 HAS SOPS 825076 HAS SOUS 659916 HAS SOUPS 659916 WITH SCORE 660741.076
AT ITER 2207 NEW BEST:: SOT 4404203 SOS 824695 HAS SOPS 824695 HAS SOUS 659662 HAS SOUPS 659662 WITH SCORE 660486.695
AT ITER 2217 NEW BEST:: SOT 4403957 SOS 824474 HAS SOPS 824474 HAS SOUS 659415 HAS SOUPS 659415 WITH SCORE 660239.474
AT ITER 2218 NEW BEST:: SOT 4403629 SOS 823818 HAS SOPS 823818 HAS SOUS 659362 HAS SOUPS 659362 WITH SCORE 660185.818
AT ITER 2219 NEW BEST:: SOT 4403628 SOS 823574 HAS SOPS 823574 HAS SOUS 659360 HAS SOUPS 659360 WITH SCORE 660183.574
AT ITER 2246 NEW BEST:: SOT 4403628 SOS 823474 HAS SOPS 823474 HAS SOUS 659359 HAS SOUPS 659359 WITH SCORE 660182.474
AT ITER 2282 NEW BEST:: SOT 4403628 SOS 823423 HAS SOPS 823423 HAS SOUS 659308 HAS SOUPS 659308 WITH SCORE 660131.423
AT ITER 2310 NEW BEST:: SOT 4403618 SOS 823403 HAS SOPS 823403 HAS SOUS 659308 HAS SOUPS 659308 WITH SCORE 660131.403
AT ITER 2317 NEW BEST:: SOT 4403574 SOS 823315 HAS SOPS 823315 HAS SOUS 659220 HAS SOUPS 659220 WITH SCORE 660043.315
AT ITER 2321 NEW BEST:: SOT 4403286 SOS 822955 HAS SOPS 822955 HAS SOUS 658860 HAS SOUPS 658860 WITH SCORE 659682.955
AT ITER 2372 NEW BEST:: SOT 4402812 SOS 822304 HAS SOPS 822304 HAS SOUS 658188 HAS SOUPS 658188 WITH SCORE 659010.304
AT ITER 2373 NEW BEST:: SOT 4402718 SOS 822116 HAS SOPS 822116 HAS SOUS 658094 HAS SOUPS 658094 WITH SCORE 658916.116
AT ITER 2386 NEW BEST:: SOT 4400074 SOS 819642 HAS SOPS 819642 HAS SOUS 655482 HAS SOUPS 655482 WITH SCORE 656301.642
AT ITER 2448 NEW BEST:: SOT 4399864 SOS 819540 HAS SOPS 819540 HAS SOUS 655362 HAS SOUPS 655362 WITH SCORE 656181.54
AT ITER 2473 NEW BEST:: SOT 4399995 SOS 819230 HAS SOPS 819230 HAS SOUS 655272 HAS SOUPS 655272 WITH SCORE 656091.23
AT ITER 2475 NEW BEST:: SOT 4399904 SOS 819048 HAS SOPS 819048 HAS SOUS 655044 HAS SOUPS 655044 WITH SCORE 655863.048
AT ITER 2481 NEW BEST:: SOT 4399613 SOS 818466 HAS SOPS 818466 HAS SOUS 654462 HAS SOUPS 654462 WITH SCORE 655280.466
AT ITER 2504 NEW BEST:: SOT 4399608 SOS 818382 HAS SOPS 818382 HAS SOUS 654420 HAS SOUPS 654420 WITH SCORE 655238.382
AT ITER 2520 NEW BEST:: SOT 4399607 SOS 818381 HAS SOPS 818381 HAS SOUS 654418 HAS SOUPS 654418 WITH SCORE 655236.381
AT ITER 2593 NEW BEST:: SOT 4399606 SOS 818379 HAS SOPS 818379 HAS SOUS 654416 HAS SOUPS 654416 WITH SCORE 655234.379
AT ITER 2598 NEW BEST:: SOT 4399554 SOS 818223 HAS SOPS 818223 HAS SOUS 654364 HAS SOUPS 654364 WITH SCORE 655182.223
AT ITER 2606 NEW BEST:: SOT 4399554 SOS 818223 HAS SOPS 818223 HAS SOUS 654336 HAS SOUPS 654336 WITH SCORE 655154.223
AT ITER 2610 NEW BEST:: SOT 4399447 SOS 818192 HAS SOPS 818192 HAS SOUS 654304 HAS SOUPS 654304 WITH SCORE 655122.192
AT ITER 2648 NEW BEST:: SOT 4399281 SOS 816890 HAS SOPS 816890 HAS SOUS 654297 HAS SOUPS 654297 WITH SCORE 655113.89
AT ITER 2664 NEW BEST:: SOT 4399448 SOS 817224 HAS SOPS 817224 HAS SOUS 654203 HAS SOUPS 654203 WITH SCORE 655020.224
AT ITER 2672 NEW BEST:: SOT 4399419 SOS 817166 HAS SOPS 817166 HAS SOUS 654145 HAS SOUPS 654145 WITH SCORE 654962.166
AT ITER 2683 NEW BEST:: SOT 4399085 SOS 816665 HAS SOPS 816665 HAS SOUS 653644 HAS SOUPS 653644 WITH SCORE 654460.665
AT ITER 2692 NEW BEST:: SOT 4399012 SOS 816592 HAS SOPS 816592 HAS SOUS 653571 HAS SOUPS 653571 WITH SCORE 654387.592
AT ITER 2744 NEW BEST:: SOT 4399047 SOS 815898 HAS SOPS 815898 HAS SOUS 653415 HAS SOUPS 653415 WITH SCORE 654230.898
AT ITER 2762 NEW BEST:: SOT 4398999 SOS 815850 HAS SOPS 815850 HAS SOUS 653367 HAS SOUPS 653367 WITH SCORE 654182.85
AT ITER 2792 NEW BEST:: SOT 4398953 SOS 815758 HAS SOPS 815758 HAS SOUS 653321 HAS SOUPS 653321 WITH SCORE 654136.758
AT ITER 2797 NEW BEST:: SOT 4398953 SOS 815731 HAS SOPS 815731 HAS SOUS 653321 HAS SOUPS 653321 WITH SCORE 654136.731
AT ITER 2800 NEW BEST:: SOT 4398523 SOS 815238 HAS SOPS 815238 HAS SOUS 652586 HAS SOUPS 652586 WITH SCORE 653401.238
AT ITER 2806 NEW BEST:: SOT 4398523 SOS 815031 HAS SOPS 815031 HAS SOUS 652586 HAS SOUPS 652586 WITH SCORE 653401.031
AT ITER 2813 NEW BEST:: SOT 4398142 SOS 814864 HAS SOPS 814864 HAS SOUS 652218 HAS SOUPS 652218 WITH SCORE 653032.864
AT ITER 2833 NEW BEST:: SOT 4397961 SOS 814502 HAS SOPS 814502 HAS SOUS 651856 HAS SOUPS 651856 WITH SCORE 652670.502
AT ITER 2842 NEW BEST:: SOT 4397885 SOS 814672 HAS SOPS 814672 HAS SOUS 651796 HAS SOUPS 651796 WITH SCORE 652610.672
AT ITER 2845 NEW BEST:: SOT 4397884 SOS 814670 HAS SOPS 814670 HAS SOUS 651794 HAS SOUPS 651794 WITH SCORE 652608.67
AT ITER 2847 NEW BEST:: SOT 4397805 SOS 814705 HAS SOPS 814705 HAS SOUS 651715 HAS SOUPS 651715 WITH SCORE 652529.705
AT ITER 2931 NEW BEST:: SOT 4397507 SOS 814669 HAS SOPS 814669 HAS SOUS 651628 HAS SOUPS 651628 WITH SCORE 652442.669
AT ITER 2934 NEW BEST:: SOT 4397507 SOS 814637 HAS SOPS 814637 HAS SOUS 651596 HAS SOUPS 651596 WITH SCORE 652410.637
AT ITER 2946 NEW BEST:: SOT 4397456 SOS 814535 HAS SOPS 814535 HAS SOUS 651519 HAS SOUPS 651519 WITH SCORE 652333.535
AT ITER 2988 NEW BEST:: SOT 4397171 SOS 814321 HAS SOPS 814321 HAS SOUS 651154 HAS SOUPS 651154 WITH SCORE 651968.321
AT ITER 2991 NEW BEST:: SOT 4397171 SOS 814111 HAS SOPS 814111 HAS SOUS 651153 HAS SOUPS 651153 WITH SCORE 651967.111
AT ITER 2993 NEW BEST:: SOT 4397325 SOS 814419 HAS SOPS 814419 HAS SOUS 651112 HAS SOUPS 651112 WITH SCORE 651926.419
AT ITER 3000 NEW BEST:: SOT 4397235 SOS 814359 HAS SOPS 814359 HAS SOUS 651052 HAS SOUPS 651052 WITH SCORE 651866.359
AT ITER 3011 NEW BEST:: SOT 4397188 SOS 814265 HAS SOPS 814265 HAS SOUS 651005 HAS SOUPS 651005 WITH SCORE 651819.265
AT ITER 3012 NEW BEST:: SOT 4396919 SOS 813727 HAS SOPS 813727 HAS SOUS 650467 HAS SOUPS 650467 WITH SCORE 651280.727
AT ITER 3025 NEW BEST:: SOT 4396930 SOS 812650 HAS SOPS 812650 HAS SOUS 650321 HAS SOUPS 650321 WITH SCORE 651133.65
AT ITER 3045 NEW BEST:: SOT 4396893 SOS 812673 HAS SOPS 812673 HAS SOUS 650284 HAS SOUPS 650284 WITH SCORE 651096.673
AT ITER 3056 NEW BEST:: SOT 4396892 SOS 812671 HAS SOPS 812671 HAS SOUS 650282 HAS SOUPS 650282 WITH SCORE 651094.671
AT ITER 3061 NEW BEST:: SOT 4396905 SOS 812697 HAS SOPS 812697 HAS SOUS 650275 HAS SOUPS 650275 WITH SCORE 651087.697
AT ITER 3069 NEW BEST:: SOT 4396815 SOS 812517 HAS SOPS 812517 HAS SOUS 650095 HAS SOUPS 650095 WITH SCORE 650907.517
AT ITER 3096 NEW BEST:: SOT 4396446 SOS 812166 HAS SOPS 812166 HAS SOUS 649744 HAS SOUPS 649744 WITH SCORE 650556.166
AT ITER 3115 NEW BEST:: SOT 4396332 SOS 811938 HAS SOPS 811938 HAS SOUS 649516 HAS SOUPS 649516 WITH SCORE 650327.938
AT ITER 3119 NEW BEST:: SOT 4396332 SOS 811938 HAS SOPS 811938 HAS SOUS 649514 HAS SOUPS 649514 WITH SCORE 650325.938
AT ITER 3132 NEW BEST:: SOT 4396347 SOS 811868 HAS SOPS 811868 HAS SOUS 649444 HAS SOUPS 649444 WITH SCORE 650255.868
AT ITER 3141 NEW BEST:: SOT 4396476 SOS 812126 HAS SOPS 812126 HAS SOUS 649382 HAS SOUPS 649382 WITH SCORE 650194.126
AT ITER 3172 NEW BEST:: SOT 4396393 SOS 811960 HAS SOPS 811960 HAS SOUS 649216 HAS SOUPS 649216 WITH SCORE 650027.96
AT ITER 3211 NEW BEST:: SOT 4396393 SOS 811860 HAS SOPS 811860 HAS SOUS 649035 HAS SOUPS 649035 WITH SCORE 649846.86
AT ITER 3217 NEW BEST:: SOT 4396375 SOS 811824 HAS SOPS 811824 HAS SOUS 648999 HAS SOUPS 648999 WITH SCORE 649810.824
AT ITER 3260 NEW BEST:: SOT 4396375 SOS 811644 HAS SOPS 811644 HAS SOUS 648999 HAS SOUPS 648999 WITH SCORE 649810.644
AT ITER 3290 NEW BEST:: SOT 4396188 SOS 811546 HAS SOPS 811546 HAS SOUS 648812 HAS SOUPS 648812 WITH SCORE 649623.546
AT ITER 3323 NEW BEST:: SOT 4395924 SOS 811282 HAS SOPS 811282 HAS SOUS 648548 HAS SOUPS 648548 WITH SCORE 649359.282
AT ITER 3334 NEW BEST:: SOT 4395883 SOS 811244 HAS SOPS 811244 HAS SOUS 648510 HAS SOUPS 648510 WITH SCORE 649321.244
AT ITER 3384 NEW BEST:: SOT 4395799 SOS 810853 HAS SOPS 810853 HAS SOUS 648203 HAS SOUPS 648203 WITH SCORE 649013.853
AT ITER 3421 NEW BEST:: SOT 4395729 SOS 810713 HAS SOPS 810713 HAS SOUS 648133 HAS SOUPS 648133 WITH SCORE 648943.713
AT ITER 3428 NEW BEST:: SOT 4395729 SOS 810675 HAS SOPS 810675 HAS SOUS 648095 HAS SOUPS 648095 WITH SCORE 648905.675
AT ITER 3439 NEW BEST:: SOT 4395633 SOS 810579 HAS SOPS 810579 HAS SOUS 647999 HAS SOUPS 647999 WITH SCORE 648809.579
AT ITER 3493 NEW BEST:: SOT 4395633 SOS 810567 HAS SOPS 810567 HAS SOUS 647987 HAS SOUPS 647987 WITH SCORE 648797.567
AT ITER 3548 NEW BEST:: SOT 4395568 SOS 810254 HAS SOPS 810254 HAS SOUS 647739 HAS SOUPS 647739 WITH SCORE 648549.254
AT ITER 3562 NEW BEST:: SOT 4395540 SOS 810226 HAS SOPS 810226 HAS SOUS 647683 HAS SOUPS 647683 WITH SCORE 648493.226
AT ITER 3567 NEW BEST:: SOT 4395540 SOS 810135 HAS SOPS 810135 HAS SOUS 647683 HAS SOUPS 647683 WITH SCORE 648493.135
AT ITER 3635 NEW BEST:: SOT 4395539 SOS 810133 HAS SOPS 810133 HAS SOUS 647681 HAS SOUPS 647681 WITH SCORE 648491.133
AT ITER 3637 NEW BEST:: SOT 4395539 SOS 810021 HAS SOPS 810021 HAS SOUS 647681 HAS SOUPS 647681 WITH SCORE 648491.021
AT ITER 3644 NEW BEST:: SOT 4395383 SOS 810015 HAS SOPS 810015 HAS SOUS 647578 HAS SOUPS 647578 WITH SCORE 648388.015
AT ITER 3653 NEW BEST:: SOT 4395346 SOS 810023 HAS SOPS 810023 HAS SOUS 647545 HAS SOUPS 647545 WITH SCORE 648355.023
AT ITER 3655 NEW BEST:: SOT 4395330 SOS 809991 HAS SOPS 809991 HAS SOUS 647513 HAS SOUPS 647513 WITH SCORE 648322.991
AT ITER 3662 NEW BEST:: SOT 4395163 SOS 809255 HAS SOPS 809255 HAS SOUS 647116 HAS SOUPS 647116 WITH SCORE 647925.255
AT ITER 3671 NEW BEST:: SOT 4395199 SOS 809327 HAS SOPS 809327 HAS SOUS 646923 HAS SOUPS 646923 WITH SCORE 647732.327
AT ITER 3700 NEW BEST:: SOT 4395173 SOS 809044 HAS SOPS 809044 HAS SOUS 646711 HAS SOUPS 646711 WITH SCORE 647520.044
AT ITER 3730 NEW BEST:: SOT 4394880 SOS 811020 HAS SOPS 811020 HAS SOUS 646498 HAS SOUPS 646498 WITH SCORE 647309.02
AT ITER 3737 NEW BEST:: SOT 4394879 SOS 811018 HAS SOPS 811018 HAS SOUS 646496 HAS SOUPS 646496 WITH SCORE 647307.018
AT ITER 3755 NEW BEST:: SOT 4394990 SOS 811240 HAS SOPS 811240 HAS SOUS 646398 HAS SOUPS 646398 WITH SCORE 647209.24
AT ITER 3765 NEW BEST:: SOT 4394987 SOS 811234 HAS SOPS 811234 HAS SOUS 646392 HAS SOUPS 646392 WITH SCORE 647203.234
AT ITER 3818 NEW BEST:: SOT 4394855 SOS 811234 HAS SOPS 811234 HAS SOUS 646326 HAS SOUPS 646326 WITH SCORE 647137.234
AT ITER 3824 NEW BEST:: SOT 4394854 SOS 811119 HAS SOPS 811119 HAS SOUS 646324 HAS SOUPS 646324 WITH SCORE 647135.119
AT ITER 3837 NEW BEST:: SOT 4394476 SOS 810891 HAS SOPS 810891 HAS SOUS 645962 HAS SOUPS 645962 WITH SCORE 646772.891
AT ITER 3838 NEW BEST:: SOT 4394458 SOS 810855 HAS SOPS 810855 HAS SOUS 645926 HAS SOUPS 645926 WITH SCORE 646736.855
AT ITER 3844 NEW BEST:: SOT 4394370 SOS 810679 HAS SOPS 810679 HAS SOUS 645555 HAS SOUPS 645555 WITH SCORE 646365.679
AT ITER 3858 NEW BEST:: SOT 4394274 SOS 810631 HAS SOPS 810631 HAS SOUS 645459 HAS SOUPS 645459 WITH SCORE 646269.631
AT ITER 3867 NEW BEST:: SOT 4394189 SOS 810461 HAS SOPS 810461 HAS SOUS 645289 HAS SOUPS 645289 WITH SCORE 646099.461
AT ITER 3890 NEW BEST:: SOT 4394136 SOS 810408 HAS SOPS 810408 HAS SOUS 645183 HAS SOUPS 645183 WITH SCORE 645993.408
AT ITER 3904 NEW BEST:: SOT 4393904 SOS 810079 HAS SOPS 810079 HAS SOUS 645002 HAS SOUPS 645002 WITH SCORE 645812.079
AT ITER 3908 NEW BEST:: SOT 4393858 SOS 809847 HAS SOPS 809847 HAS SOUS 644816 HAS SOUPS 644816 WITH SCORE 645625.847
AT ITER 3959 NEW BEST:: SOT 4393857 SOS 809845 HAS SOPS 809845 HAS SOUS 644814 HAS SOUPS 644814 WITH SCORE 645623.845
AT ITER 3990 NEW BEST:: SOT 4393857 SOS 805456 HAS SOPS 805456 HAS SOUS 644814 HAS SOUPS 644814 WITH SCORE 645619.456
AT ITER 3994 NEW BEST:: SOT 4393757 SOS 805256 HAS SOPS 805256 HAS SOUS 644712 HAS SOUPS 644712 WITH SCORE 645517.256
AT ITER 4046 NEW BEST:: SOT 4393327 SOS 804611 HAS SOPS 804611 HAS SOUS 644067 HAS SOUPS 644067 WITH SCORE 644871.611
AT ITER 4072 NEW BEST:: SOT 4393319 SOS 804595 HAS SOPS 804595 HAS SOUS 644051 HAS SOUPS 644051 WITH SCORE 644855.595
AT ITER 4134 NEW BEST:: SOT 4393138 SOS 804233 HAS SOPS 804233 HAS SOUS 643689 HAS SOUPS 643689 WITH SCORE 644493.233
AT ITER 4157 NEW BEST:: SOT 4393334 SOS 804021 HAS SOPS 804021 HAS SOUS 643583 HAS SOUPS 643583 WITH SCORE 644387.021
AT ITER 4186 NEW BEST:: SOT 4393324 SOS 804001 HAS SOPS 804001 HAS SOUS 643518 HAS SOUPS 643518 WITH SCORE 644322.001
AT ITER 4216 NEW BEST:: SOT 4393040 SOS 803433 HAS SOPS 803433 HAS SOUS 643234 HAS SOUPS 643234 WITH SCORE 644037.433
AT ITER 4233 NEW BEST:: SOT 4392919 SOS 803312 HAS SOPS 803312 HAS SOUS 643113 HAS SOUPS 643113 WITH SCORE 643916.312
AT ITER 4268 NEW BEST:: SOT 4392919 SOS 803147 HAS SOPS 803147 HAS SOUS 643113 HAS SOUPS 643113 WITH SCORE 643916.147
AT ITER 4310 NEW BEST:: SOT 4392735 SOS 803409 HAS SOPS 803409 HAS SOUS 642929 HAS SOUPS 642929 WITH SCORE 643732.409
AT ITER 4314 NEW BEST:: SOT 4392685 SOS 803309 HAS SOPS 803309 HAS SOUS 642879 HAS SOUPS 642879 WITH SCORE 643682.309
AT ITER 4330 NEW BEST:: SOT 4392236 SOS 802411 HAS SOPS 802411 HAS SOUS 642223 HAS SOUPS 642223 WITH SCORE 643025.411
AT ITER 4333 NEW BEST:: SOT 4392235 SOS 802409 HAS SOPS 802409 HAS SOUS 642221 HAS SOUPS 642221 WITH SCORE 643023.409
AT ITER 4361 NEW BEST:: SOT 4392159 SOS 802257 HAS SOPS 802257 HAS SOUS 642144 HAS SOUPS 642144 WITH SCORE 642946.257
AT ITER 4367 NEW BEST:: SOT 4392120 SOS 802179 HAS SOPS 802179 HAS SOUS 642066 HAS SOUPS 642066 WITH SCORE 642868.179
AT ITER 4381 NEW BEST:: SOT 4392120 SOS 802179 HAS SOPS 802179 HAS SOUS 641898 HAS SOUPS 641898 WITH SCORE 642700.179
AT ITER 4394 NEW BEST:: SOT 4392028 SOS 802262 HAS SOPS 802262 HAS SOUS 641828 HAS SOUPS 641828 WITH SCORE 642630.262
AT ITER 4448 NEW BEST:: SOT 4391962 SOS 802211 HAS SOPS 802211 HAS SOUS 641762 HAS SOUPS 641762 WITH SCORE 642564.211
AT ITER 4450 NEW BEST:: SOT 4391837 SOS 802179 HAS SOPS 802179 HAS SOUS 641637 HAS SOUPS 641637 WITH SCORE 642439.179
AT ITER 4505 NEW BEST:: SOT 4391795 SOS 802095 HAS SOPS 802095 HAS SOUS 641553 HAS SOUPS 641553 WITH SCORE 642355.095
AT ITER 4511 NEW BEST:: SOT 4391794 SOS 802094 HAS SOPS 802094 HAS SOUS 641551 HAS SOUPS 641551 WITH SCORE 642353.094
AT ITER 4550 NEW BEST:: SOT 4391771 SOS 802071 HAS SOPS 802071 HAS SOUS 641527 HAS SOUPS 641527 WITH SCORE 642329.071
AT ITER 4555 NEW BEST:: SOT 4391833 SOS 802195 HAS SOPS 802195 HAS SOUS 641523 HAS SOUPS 641523 WITH SCORE 642325.195
AT ITER 4560 NEW BEST:: SOT 4391833 SOS 802195 HAS SOPS 802195 HAS SOUS 641511 HAS SOUPS 641511 WITH SCORE 642313.195
AT ITER 4588 NEW BEST:: SOT 4391722 SOS 802084 HAS SOPS 802084 HAS SOUS 641289 HAS SOUPS 641289 WITH SCORE 642091.084
AT ITER 4623 NEW BEST:: SOT 4391722 SOS 802084 HAS SOPS 802084 HAS SOUS 641288 HAS SOUPS 641288 WITH SCORE 642090.084
AT ITER 4666 NEW BEST:: SOT 4391722 SOS 802046 HAS SOPS 802046 HAS SOUS 641250 HAS SOUPS 641250 WITH SCORE 642052.046
AT ITER 4668 NEW BEST:: SOT 4391575 SOS 801834 HAS SOPS 801834 HAS SOUS 641038 HAS SOUPS 641038 WITH SCORE 641839.834
AT ITER 4716 NEW BEST:: SOT 4391587 SOS 801858 HAS SOPS 801858 HAS SOUS 640966 HAS SOUPS 640966 WITH SCORE 641767.858
AT ITER 4737 NEW BEST:: SOT 4391569 SOS 801822 HAS SOPS 801822 HAS SOUS 640948 HAS SOUPS 640948 WITH SCORE 641749.822
AT ITER 4748 NEW BEST:: SOT 4391569 SOS 801348 HAS SOPS 801348 HAS SOUS 640711 HAS SOUPS 640711 WITH SCORE 641512.348
AT ITER 4751 NEW BEST:: SOT 4391568 SOS 801346 HAS SOPS 801346 HAS SOUS 640709 HAS SOUPS 640709 WITH SCORE 641510.346
AT ITER 4760 NEW BEST:: SOT 4391438 SOS 801216 HAS SOPS 801216 HAS SOUS 640579 HAS SOUPS 640579 WITH SCORE 641380.216
AT ITER 4766 NEW BEST:: SOT 4391380 SOS 801100 HAS SOPS 801100 HAS SOUS 640524 HAS SOUPS 640524 WITH SCORE 641325.1
AT ITER 4788 NEW BEST:: SOT 4391427 SOS 801194 HAS SOPS 801194 HAS SOUS 640393 HAS SOUPS 640393 WITH SCORE 641194.194
AT ITER 4789 NEW BEST:: SOT 4391272 SOS 800884 HAS SOPS 800884 HAS SOUS 640083 HAS SOUPS 640083 WITH SCORE 640883.884
AT ITER 4794 NEW BEST:: SOT 4391223 SOS 800786 HAS SOPS 800786 HAS SOUS 640034 HAS SOUPS 640034 WITH SCORE 640834.786
AT ITER 4811 NEW BEST:: SOT 4391222 SOS 800617 HAS SOPS 800617 HAS SOUS 640032 HAS SOUPS 640032 WITH SCORE 640832.617
AT ITER 4835 NEW BEST:: SOT 4390876 SOS 800444 HAS SOPS 800444 HAS SOUS 639859 HAS SOUPS 639859 WITH SCORE 640659.444
AT ITER 4895 NEW BEST:: SOT 4390876 SOS 800042 HAS SOPS 800042 HAS SOUS 639457 HAS SOUPS 639457 WITH SCORE 640257.042
AT ITER 4902 NEW BEST:: SOT 4390876 SOS 799786 HAS SOPS 799786 HAS SOUS 639457 HAS SOUPS 639457 WITH SCORE 640256.786
AT ITER 4926 NEW BEST:: SOT 4390668 SOS 799370 HAS SOPS 799370 HAS SOUS 639041 HAS SOUPS 639041 WITH SCORE 639840.37
AT ITER 4941 NEW BEST:: SOT 4390561 SOS 799318 HAS SOPS 799318 HAS SOUS 638966 HAS SOUPS 638966 WITH SCORE 639765.318
AT ITER 4947 NEW BEST:: SOT 4390558 SOS 799312 HAS SOPS 799312 HAS SOUS 638960 HAS SOUPS 638960 WITH SCORE 639759.312
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-00 ( (AU( (AX( ((potential((tk(P270)>=1)))))) , (! ((potential((tk(P863)>=1))))) )) & (EU( (AF( ((potential((tk(P319)>=1)))))) , (EG( ((potential((tk(P867)>=1)))))) )) )
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-01 (EG( (AU( ( ((potential((tk(P2373)>=1)))) | ((potential((tk(P1266)>=1)))) ) , (! ((potential((tk(P1951)>=1))))) ))))
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-02 ( ( (AG( (AF( ((potential((tk(P619)>=1)))))))) & (AU( (! ((potential((tk(P1792)>=1))))) , ( ((potential((tk(P1791)>=1)))) | ((potential((tk(P2580)>=1)))) ) )) ) & (! ( ( ( ( ((potential((tk(P638)>=1)))) & ((potential((tk(P351)>=1)))) ) & (! ((potential((tk(P573)>=1) & (tk(P2536)>=1))))) ) | (AG( ((potential((tk(P573)>=1) & (tk(P1003)>=1)))))) ) | ( ( ( ((potential((tk(P154)>=1)))) & ((potential((tk(P724)>=1)))) ) | ((potential((tk(P1235)>=1)))) ) | ( ( ((potential((tk(P60)>=1)))) | ((potential((tk(P2447)>=1)))) ) & ((potential((tk(P1901)>=1)))) ) ) )) )
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-03 (EF( ( (AG( ((potential((tk(P2306)>=1)))))) | ( ((potential((tk(P1967)>=1)))) | (AX( ((potential((tk(P2531)>=1)))))) ) )))
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-04 (AF( ( (AG( ((potential((tk(P210)>=1)))))) | ((potential((tk(P776)>=1)))) )))
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-05 (AF( ((potential((tk(P1297)>=1))))))
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-06 (EG( (! (AU( ((potential((tk(P1453)>=1)))) , ((potential((tk(P1734)>=1)))) )))))
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-07 (! (AG( (EX( (! ((potential((tk(P729)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-08 (AF( (AU( ( ((potential((tk(P1171)>=1)))) & ((potential((tk(P1206)>=1)))) ) , ((potential((tk(P573)>=1) & (tk(P2369)>=1)))) ))))
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-09 ( ((potential((tk(P198)>=1)))) | (EF( ((potential((tk(P1081)>=1)))))) )
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-10 ( (AG( (EG( ((potential((tk(P112)>=1)))))))) | ( (AF( ((potential((tk(P23)>=1)))))) | ((potential((tk(P1601)>=1)))) ) )
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-11 (AF( ( (EU( ((potential((tk(P249)>=1)))) , ((potential((tk(P320)>=1)))) )) | ( ((potential((tk(P1058)>=1)))) & ( (! ((potential((tk(P670)>=1))))) & (! ((potential((tk(P571)>=1))))) ) ) )))
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-12 (AX( (AF( (AX( ((potential((tk(P55)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-13 ( (AX( (! (EG( ((potential((tk(P161)>=1))))))))) & ( ((potential((tk(P573)>=1)))) | (! (AG( (! ((potential((tk(P2236)>=1)))))))) ) )
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-14 (AU( (! ((potential((tk(P532)>=1))))) , (EU( ((potential((tk(P1927)>=1)))) , ((potential((tk(P1473)>=1)))) )) ))
PROPERTY: CloudReconfiguration-PT-308-CTLFireability-15 (EF( ((potential((tk(P1577)>=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="CloudReconfiguration-PT-308"
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 CloudReconfiguration-PT-308, 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 r048-ebro-158902541700060"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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