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-158902541700076.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-310, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541700076
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 28 16:13 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.5K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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-310-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-310-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589091755173

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 310
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 4442383 SOS 722657 HAS SOPS 722657 HAS SOUS 696293 HAS SOUPS 696293 WITH SCORE 697015.657
AT ITER 2 NEW BEST:: SOT 4440214 SOS 727779 HAS SOPS 727779 HAS SOUS 694560 HAS SOUPS 694560 WITH SCORE 695287.779
AT ITER 36 NEW BEST:: SOT 4440219 SOS 727771 HAS SOPS 727771 HAS SOUS 694556 HAS SOUPS 694556 WITH SCORE 695283.771
AT ITER 38 NEW BEST:: SOT 4439885 SOS 727436 HAS SOPS 727436 HAS SOUS 694554 HAS SOUPS 694554 WITH SCORE 695281.436
AT ITER 65 NEW BEST:: SOT 4439714 SOS 727435 HAS SOPS 727435 HAS SOUS 694553 HAS SOUPS 694553 WITH SCORE 695280.435
AT ITER 158 NEW BEST:: SOT 4437947 SOS 726295 HAS SOPS 726295 HAS SOUS 692895 HAS SOUPS 692895 WITH SCORE 693621.295
AT ITER 167 NEW BEST:: SOT 4437939 SOS 726286 HAS SOPS 726286 HAS SOUS 692894 HAS SOUPS 692894 WITH SCORE 693620.286
AT ITER 183 NEW BEST:: SOT 4437357 SOS 727157 HAS SOPS 727157 HAS SOUS 692782 HAS SOUPS 692782 WITH SCORE 693509.157
AT ITER 193 NEW BEST:: SOT 4437400 SOS 726931 HAS SOPS 726931 HAS SOUS 692556 HAS SOUPS 692556 WITH SCORE 693282.931
AT ITER 199 NEW BEST:: SOT 4437378 SOS 726909 HAS SOPS 726909 HAS SOUS 692534 HAS SOUPS 692534 WITH SCORE 693260.909
AT ITER 201 NEW BEST:: SOT 4437170 SOS 726493 HAS SOPS 726493 HAS SOUS 692152 HAS SOUPS 692152 WITH SCORE 692878.493
AT ITER 202 NEW BEST:: SOT 4437027 SOS 727235 HAS SOPS 727235 HAS SOUS 692009 HAS SOUPS 692009 WITH SCORE 692736.235
AT ITER 218 NEW BEST:: SOT 4436947 SOS 727369 HAS SOPS 727369 HAS SOUS 692002 HAS SOUPS 692002 WITH SCORE 692729.369
AT ITER 221 NEW BEST:: SOT 4437109 SOS 727257 HAS SOPS 727257 HAS SOUS 691996 HAS SOUPS 691996 WITH SCORE 692723.257
AT ITER 257 NEW BEST:: SOT 4437105 SOS 727249 HAS SOPS 727249 HAS SOUS 691723 HAS SOUPS 691723 WITH SCORE 692450.249
AT ITER 291 NEW BEST:: SOT 4436979 SOS 727123 HAS SOPS 727123 HAS SOUS 691597 HAS SOUPS 691597 WITH SCORE 692324.123
AT ITER 292 NEW BEST:: SOT 4436909 SOS 727053 HAS SOPS 727053 HAS SOUS 691527 HAS SOUPS 691527 WITH SCORE 692254.053
AT ITER 297 NEW BEST:: SOT 4436908 SOS 727051 HAS SOPS 727051 HAS SOUS 691525 HAS SOUPS 691525 WITH SCORE 692252.051
AT ITER 303 NEW BEST:: SOT 4436896 SOS 727027 HAS SOPS 727027 HAS SOUS 691501 HAS SOUPS 691501 WITH SCORE 692228.027
AT ITER 317 NEW BEST:: SOT 4436888 SOS 727011 HAS SOPS 727011 HAS SOUS 691493 HAS SOUPS 691493 WITH SCORE 692220.011
AT ITER 334 NEW BEST:: SOT 4436888 SOS 727011 HAS SOPS 727011 HAS SOUS 691275 HAS SOUPS 691275 WITH SCORE 692002.011
AT ITER 354 NEW BEST:: SOT 4436809 SOS 726945 HAS SOPS 726945 HAS SOUS 691196 HAS SOUPS 691196 WITH SCORE 691922.945
AT ITER 367 NEW BEST:: SOT 4436599 SOS 726793 HAS SOPS 726793 HAS SOUS 691044 HAS SOUPS 691044 WITH SCORE 691770.793
AT ITER 388 NEW BEST:: SOT 4436505 SOS 726699 HAS SOPS 726699 HAS SOUS 691044 HAS SOUPS 691044 WITH SCORE 691770.699
AT ITER 401 NEW BEST:: SOT 4436493 SOS 726675 HAS SOPS 726675 HAS SOUS 691020 HAS SOUPS 691020 WITH SCORE 691746.675
AT ITER 405 NEW BEST:: SOT 4436493 SOS 726675 HAS SOPS 726675 HAS SOUS 691019 HAS SOUPS 691019 WITH SCORE 691745.675
AT ITER 406 NEW BEST:: SOT 4436385 SOS 726271 HAS SOPS 726271 HAS SOUS 690864 HAS SOUPS 690864 WITH SCORE 691590.271
AT ITER 458 NEW BEST:: SOT 4436190 SOS 726811 HAS SOPS 726811 HAS SOUS 690602 HAS SOUPS 690602 WITH SCORE 691328.811
AT ITER 493 NEW BEST:: SOT 4436174 SOS 726779 HAS SOPS 726779 HAS SOUS 690570 HAS SOUPS 690570 WITH SCORE 691296.779
AT ITER 500 NEW BEST:: SOT 4436211 SOS 726853 HAS SOPS 726853 HAS SOUS 690557 HAS SOUPS 690557 WITH SCORE 691283.853
AT ITER 501 NEW BEST:: SOT 4436211 SOS 726375 HAS SOPS 726375 HAS SOUS 690318 HAS SOUPS 690318 WITH SCORE 691044.375
AT ITER 520 NEW BEST:: SOT 4436211 SOS 726259 HAS SOPS 726259 HAS SOUS 690202 HAS SOUPS 690202 WITH SCORE 690928.259
AT ITER 521 NEW BEST:: SOT 4436294 SOS 726181 HAS SOPS 726181 HAS SOUS 690124 HAS SOUPS 690124 WITH SCORE 690850.181
AT ITER 527 NEW BEST:: SOT 4436057 SOS 725951 HAS SOPS 725951 HAS SOUS 689887 HAS SOUPS 689887 WITH SCORE 690612.951
AT ITER 551 NEW BEST:: SOT 4435868 SOS 725857 HAS SOPS 725857 HAS SOUS 689740 HAS SOUPS 689740 WITH SCORE 690465.857
AT ITER 556 NEW BEST:: SOT 4435498 SOS 725487 HAS SOPS 725487 HAS SOUS 689370 HAS SOUPS 689370 WITH SCORE 690095.487
AT ITER 573 NEW BEST:: SOT 4435369 SOS 725358 HAS SOPS 725358 HAS SOUS 689241 HAS SOUPS 689241 WITH SCORE 689966.358
AT ITER 614 NEW BEST:: SOT 4435324 SOS 724876 HAS SOPS 724876 HAS SOUS 688884 HAS SOUPS 688884 WITH SCORE 689608.876
AT ITER 619 NEW BEST:: SOT 4435183 SOS 724673 HAS SOPS 724673 HAS SOUS 688673 HAS SOUPS 688673 WITH SCORE 689397.673
AT ITER 638 NEW BEST:: SOT 4435083 SOS 724473 HAS SOPS 724473 HAS SOUS 688473 HAS SOUPS 688473 WITH SCORE 689197.473
AT ITER 657 NEW BEST:: SOT 4434903 SOS 723715 HAS SOPS 723715 HAS SOUS 687895 HAS SOUPS 687895 WITH SCORE 688618.715
AT ITER 666 NEW BEST:: SOT 4434903 SOS 723715 HAS SOPS 723715 HAS SOUS 687884 HAS SOUPS 687884 WITH SCORE 688607.715
AT ITER 696 NEW BEST:: SOT 4434804 SOS 723667 HAS SOPS 723667 HAS SOUS 687836 HAS SOUPS 687836 WITH SCORE 688559.667
AT ITER 697 NEW BEST:: SOT 4434804 SOS 723618 HAS SOPS 723618 HAS SOUS 687787 HAS SOUPS 687787 WITH SCORE 688510.618
AT ITER 704 NEW BEST:: SOT 4434804 SOS 723599 HAS SOPS 723599 HAS SOUS 687768 HAS SOUPS 687768 WITH SCORE 688491.599
AT ITER 733 NEW BEST:: SOT 4434788 SOS 723583 HAS SOPS 723583 HAS SOUS 687752 HAS SOUPS 687752 WITH SCORE 688475.583
AT ITER 740 NEW BEST:: SOT 4434761 SOS 723696 HAS SOPS 723696 HAS SOUS 687722 HAS SOUPS 687722 WITH SCORE 688445.696
AT ITER 744 NEW BEST:: SOT 4434514 SOS 723202 HAS SOPS 723202 HAS SOUS 687228 HAS SOUPS 687228 WITH SCORE 687951.202
AT ITER 762 NEW BEST:: SOT 4434301 SOS 722962 HAS SOPS 722962 HAS SOUS 686829 HAS SOUPS 686829 WITH SCORE 687551.962
AT ITER 763 NEW BEST:: SOT 4432888 SOS 721556 HAS SOPS 721556 HAS SOUS 685423 HAS SOUPS 685423 WITH SCORE 686144.556
AT ITER 776 NEW BEST:: SOT 4432888 SOS 721555 HAS SOPS 721555 HAS SOUS 685422 HAS SOUPS 685422 WITH SCORE 686143.555
AT ITER 812 NEW BEST:: SOT 4432773 SOS 721619 HAS SOPS 721619 HAS SOUS 685380 HAS SOUPS 685380 WITH SCORE 686101.619
AT ITER 847 NEW BEST:: SOT 4432468 SOS 721314 HAS SOPS 721314 HAS SOUS 685075 HAS SOUPS 685075 WITH SCORE 685796.314
AT ITER 910 NEW BEST:: SOT 4432291 SOS 721137 HAS SOPS 721137 HAS SOUS 684898 HAS SOUPS 684898 WITH SCORE 685619.137
AT ITER 918 NEW BEST:: SOT 4432286 SOS 721127 HAS SOPS 721127 HAS SOUS 684888 HAS SOUPS 684888 WITH SCORE 685609.127
AT ITER 933 NEW BEST:: SOT 4432201 SOS 721042 HAS SOPS 721042 HAS SOUS 684803 HAS SOUPS 684803 WITH SCORE 685524.042
AT ITER 938 NEW BEST:: SOT 4432031 SOS 720924 HAS SOPS 720924 HAS SOUS 684533 HAS SOUPS 684533 WITH SCORE 685253.924
AT ITER 994 NEW BEST:: SOT 4432030 SOS 720921 HAS SOPS 720921 HAS SOUS 684530 HAS SOUPS 684530 WITH SCORE 685250.921
AT ITER 1001 NEW BEST:: SOT 4428217 SOS 717201 HAS SOPS 717201 HAS SOUS 680810 HAS SOUPS 680810 WITH SCORE 681527.201
AT ITER 1017 NEW BEST:: SOT 4428218 SOS 717143 HAS SOPS 717143 HAS SOUS 680752 HAS SOUPS 680752 WITH SCORE 681469.143
AT ITER 1025 NEW BEST:: SOT 4428218 SOS 717143 HAS SOPS 717143 HAS SOUS 680549 HAS SOUPS 680549 WITH SCORE 681266.143
AT ITER 1079 NEW BEST:: SOT 4428013 SOS 716925 HAS SOPS 716925 HAS SOUS 680200 HAS SOUPS 680200 WITH SCORE 680916.925
AT ITER 1085 NEW BEST:: SOT 4428013 SOS 716924 HAS SOPS 716924 HAS SOUS 680199 HAS SOUPS 680199 WITH SCORE 680915.924
AT ITER 1099 NEW BEST:: SOT 4427975 SOS 716886 HAS SOPS 716886 HAS SOUS 680161 HAS SOUPS 680161 WITH SCORE 680877.886
AT ITER 1144 NEW BEST:: SOT 4427919 SOS 716774 HAS SOPS 716774 HAS SOUS 680049 HAS SOUPS 680049 WITH SCORE 680765.774
AT ITER 1154 NEW BEST:: SOT 4427814 SOS 716459 HAS SOPS 716459 HAS SOUS 679839 HAS SOUPS 679839 WITH SCORE 680555.459
AT ITER 1220 NEW BEST:: SOT 4427912 SOS 716655 HAS SOPS 716655 HAS SOUS 679668 HAS SOUPS 679668 WITH SCORE 680384.655
AT ITER 1258 NEW BEST:: SOT 4427848 SOS 716527 HAS SOPS 716527 HAS SOUS 679604 HAS SOUPS 679604 WITH SCORE 680320.527
AT ITER 1325 NEW BEST:: SOT 4427705 SOS 716098 HAS SOPS 716098 HAS SOUS 679318 HAS SOUPS 679318 WITH SCORE 680034.098
AT ITER 1328 NEW BEST:: SOT 4426561 SOS 717472 HAS SOPS 717472 HAS SOUS 678968 HAS SOUPS 678968 WITH SCORE 679685.472
AT ITER 1334 NEW BEST:: SOT 4426561 SOS 717430 HAS SOPS 717430 HAS SOUS 678926 HAS SOUPS 678926 WITH SCORE 679643.43
AT ITER 1376 NEW BEST:: SOT 4426657 SOS 717622 HAS SOPS 717622 HAS SOUS 678866 HAS SOUPS 678866 WITH SCORE 679583.622
AT ITER 1386 NEW BEST:: SOT 4426657 SOS 717434 HAS SOPS 717434 HAS SOUS 678678 HAS SOUPS 678678 WITH SCORE 679395.434
AT ITER 1419 NEW BEST:: SOT 4426563 SOS 717552 HAS SOPS 717552 HAS SOUS 678584 HAS SOUPS 678584 WITH SCORE 679301.552
AT ITER 1447 NEW BEST:: SOT 4422666 SOS 766668 HAS SOPS 766668 HAS SOUS 677068 HAS SOUPS 677068 WITH SCORE 677834.668
AT ITER 1455 NEW BEST:: SOT 4422592 SOS 766594 HAS SOPS 766594 HAS SOUS 676994 HAS SOUPS 676994 WITH SCORE 677760.594
AT ITER 1463 NEW BEST:: SOT 4422495 SOS 766532 HAS SOPS 766532 HAS SOUS 676932 HAS SOUPS 676932 WITH SCORE 677698.532
AT ITER 1464 NEW BEST:: SOT 4422285 SOS 766449 HAS SOPS 766449 HAS SOUS 676817 HAS SOUPS 676817 WITH SCORE 677583.449
AT ITER 1472 NEW BEST:: SOT 4422228 SOS 766335 HAS SOPS 766335 HAS SOUS 676760 HAS SOUPS 676760 WITH SCORE 677526.335
AT ITER 1482 NEW BEST:: SOT 4422288 SOS 766455 HAS SOPS 766455 HAS SOUS 676662 HAS SOUPS 676662 WITH SCORE 677428.455
AT ITER 1504 NEW BEST:: SOT 4422234 SOS 766455 HAS SOPS 766455 HAS SOUS 676635 HAS SOUPS 676635 WITH SCORE 677401.455
AT ITER 1534 NEW BEST:: SOT 4422234 SOS 766455 HAS SOPS 766455 HAS SOUS 676632 HAS SOUPS 676632 WITH SCORE 677398.455
AT ITER 1549 NEW BEST:: SOT 4421930 SOS 766151 HAS SOPS 766151 HAS SOUS 676328 HAS SOUPS 676328 WITH SCORE 677094.151
AT ITER 1564 NEW BEST:: SOT 4421912 SOS 766115 HAS SOPS 766115 HAS SOUS 676292 HAS SOUPS 676292 WITH SCORE 677058.115
AT ITER 1569 NEW BEST:: SOT 4421708 SOS 765954 HAS SOPS 765954 HAS SOUS 676109 HAS SOUPS 676109 WITH SCORE 676874.954
AT ITER 1572 NEW BEST:: SOT 4421498 SOS 765744 HAS SOPS 765744 HAS SOUS 675899 HAS SOUPS 675899 WITH SCORE 676664.744
AT ITER 1607 NEW BEST:: SOT 4421498 SOS 765228 HAS SOPS 765228 HAS SOUS 675899 HAS SOUPS 675899 WITH SCORE 676664.228
AT ITER 1609 NEW BEST:: SOT 4421273 SOS 764778 HAS SOPS 764778 HAS SOUS 675674 HAS SOUPS 675674 WITH SCORE 676438.778
AT ITER 1614 NEW BEST:: SOT 4420979 SOS 764190 HAS SOPS 764190 HAS SOUS 675086 HAS SOUPS 675086 WITH SCORE 675850.19
AT ITER 1617 NEW BEST:: SOT 4420979 SOS 764190 HAS SOPS 764190 HAS SOUS 675085 HAS SOUPS 675085 WITH SCORE 675849.19
AT ITER 1657 NEW BEST:: SOT 4420772 SOS 763776 HAS SOPS 763776 HAS SOUS 674671 HAS SOUPS 674671 WITH SCORE 675434.776
AT ITER 1686 NEW BEST:: SOT 4420866 SOS 763737 HAS SOPS 763737 HAS SOUS 674538 HAS SOUPS 674538 WITH SCORE 675301.737
AT ITER 1827 NEW BEST:: SOT 4420836 SOS 763329 HAS SOPS 763329 HAS SOUS 674243 HAS SOUPS 674243 WITH SCORE 675006.329
AT ITER 1828 NEW BEST:: SOT 4420754 SOS 763247 HAS SOPS 763247 HAS SOUS 674161 HAS SOUPS 674161 WITH SCORE 674924.247
AT ITER 1834 NEW BEST:: SOT 4420467 SOS 785141 HAS SOPS 785141 HAS SOUS 674017 HAS SOUPS 674017 WITH SCORE 674802.141
AT ITER 1845 NEW BEST:: SOT 4420286 SOS 785003 HAS SOPS 785003 HAS SOUS 673836 HAS SOUPS 673836 WITH SCORE 674621.003
AT ITER 1854 NEW BEST:: SOT 4419977 SOS 784385 HAS SOPS 784385 HAS SOUS 673218 HAS SOUPS 673218 WITH SCORE 674002.385
AT ITER 1863 NEW BEST:: SOT 4419977 SOS 784310 HAS SOPS 784310 HAS SOUS 673143 HAS SOUPS 673143 WITH SCORE 673927.31
AT ITER 1870 NEW BEST:: SOT 4419873 SOS 784310 HAS SOPS 784310 HAS SOUS 673091 HAS SOUPS 673091 WITH SCORE 673875.31
AT ITER 1885 NEW BEST:: SOT 4419844 SOS 784252 HAS SOPS 784252 HAS SOUS 673062 HAS SOUPS 673062 WITH SCORE 673846.252
AT ITER 1926 NEW BEST:: SOT 4419844 SOS 784251 HAS SOPS 784251 HAS SOUS 673061 HAS SOUPS 673061 WITH SCORE 673845.251
AT ITER 1959 NEW BEST:: SOT 4419832 SOS 784215 HAS SOPS 784215 HAS SOUS 673037 HAS SOUPS 673037 WITH SCORE 673821.215
AT ITER 1983 NEW BEST:: SOT 4419832 SOS 784161 HAS SOPS 784161 HAS SOUS 672983 HAS SOUPS 672983 WITH SCORE 673767.161
AT ITER 2009 NEW BEST:: SOT 4419823 SOS 784143 HAS SOPS 784143 HAS SOUS 672965 HAS SOUPS 672965 WITH SCORE 673749.143
AT ITER 2010 NEW BEST:: SOT 4419823 SOS 783989 HAS SOPS 783989 HAS SOUS 672811 HAS SOUPS 672811 WITH SCORE 673594.989
AT ITER 2016 NEW BEST:: SOT 4419819 SOS 783985 HAS SOPS 783985 HAS SOUS 672807 HAS SOUPS 672807 WITH SCORE 673590.985
AT ITER 2029 NEW BEST:: SOT 4419640 SOS 783948 HAS SOPS 783948 HAS SOUS 672628 HAS SOUPS 672628 WITH SCORE 673411.948
AT ITER 2037 NEW BEST:: SOT 4419661 SOS 783517 HAS SOPS 783517 HAS SOUS 672176 HAS SOUPS 672176 WITH SCORE 672959.517
AT ITER 2113 NEW BEST:: SOT 4419451 SOS 783097 HAS SOPS 783097 HAS SOUS 671756 HAS SOUPS 671756 WITH SCORE 672539.097
AT ITER 2129 NEW BEST:: SOT 4419535 SOS 783265 HAS SOPS 783265 HAS SOUS 671659 HAS SOUPS 671659 WITH SCORE 672442.265
AT ITER 2137 NEW BEST:: SOT 4419442 SOS 783079 HAS SOPS 783079 HAS SOUS 671473 HAS SOUPS 671473 WITH SCORE 672256.079
AT ITER 2145 NEW BEST:: SOT 4419297 SOS 782789 HAS SOPS 782789 HAS SOUS 671183 HAS SOUPS 671183 WITH SCORE 671965.789
AT ITER 2157 NEW BEST:: SOT 4419251 SOS 782789 HAS SOPS 782789 HAS SOUS 671160 HAS SOUPS 671160 WITH SCORE 671942.789
AT ITER 2165 NEW BEST:: SOT 4419251 SOS 782789 HAS SOPS 782789 HAS SOUS 671133 HAS SOUPS 671133 WITH SCORE 671915.789
AT ITER 2171 NEW BEST:: SOT 4419251 SOS 782788 HAS SOPS 782788 HAS SOUS 671132 HAS SOUPS 671132 WITH SCORE 671914.788
AT ITER 2201 NEW BEST:: SOT 4419153 SOS 782690 HAS SOPS 782690 HAS SOUS 671034 HAS SOUPS 671034 WITH SCORE 671816.69
AT ITER 2204 NEW BEST:: SOT 4419492 SOS 783368 HAS SOPS 783368 HAS SOUS 670980 HAS SOUPS 670980 WITH SCORE 671763.368
AT ITER 2208 NEW BEST:: SOT 4419288 SOS 782583 HAS SOPS 782583 HAS SOUS 670511 HAS SOUPS 670511 WITH SCORE 671293.583
AT ITER 2213 NEW BEST:: SOT 4418948 SOS 782317 HAS SOPS 782317 HAS SOUS 670245 HAS SOUPS 670245 WITH SCORE 671027.317
AT ITER 2275 NEW BEST:: SOT 4418870 SOS 782238 HAS SOPS 782238 HAS SOUS 670205 HAS SOUPS 670205 WITH SCORE 670987.238
AT ITER 2305 NEW BEST:: SOT 4418827 SOS 782152 HAS SOPS 782152 HAS SOUS 670119 HAS SOUPS 670119 WITH SCORE 670901.152
AT ITER 2317 NEW BEST:: SOT 4418558 SOS 781883 HAS SOPS 781883 HAS SOUS 669850 HAS SOUPS 669850 WITH SCORE 670631.883
AT ITER 2353 NEW BEST:: SOT 4418332 SOS 781431 HAS SOPS 781431 HAS SOUS 669398 HAS SOUPS 669398 WITH SCORE 670179.431
AT ITER 2376 NEW BEST:: SOT 4416806 SOS 779905 HAS SOPS 779905 HAS SOUS 667872 HAS SOUPS 667872 WITH SCORE 668651.905
AT ITER 2377 NEW BEST:: SOT 4416713 SOS 779304 HAS SOPS 779304 HAS SOUS 667470 HAS SOUPS 667470 WITH SCORE 668249.304
AT ITER 2382 NEW BEST:: SOT 4416712 SOS 779302 HAS SOPS 779302 HAS SOUS 667468 HAS SOUPS 667468 WITH SCORE 668247.302
AT ITER 2422 NEW BEST:: SOT 4416593 SOS 779183 HAS SOPS 779183 HAS SOUS 667349 HAS SOUPS 667349 WITH SCORE 668128.183
AT ITER 2442 NEW BEST:: SOT 4416800 SOS 779124 HAS SOPS 779124 HAS SOUS 667287 HAS SOUPS 667287 WITH SCORE 668066.124
AT ITER 2465 NEW BEST:: SOT 4416696 SOS 778916 HAS SOPS 778916 HAS SOUS 667079 HAS SOUPS 667079 WITH SCORE 667857.916
AT ITER 2494 NEW BEST:: SOT 4416696 SOS 778916 HAS SOPS 778916 HAS SOUS 666886 HAS SOUPS 666886 WITH SCORE 667664.916
AT ITER 2536 NEW BEST:: SOT 4416559 SOS 778960 HAS SOPS 778960 HAS SOUS 666779 HAS SOUPS 666779 WITH SCORE 667557.96
AT ITER 2538 NEW BEST:: SOT 4416559 SOS 778941 HAS SOPS 778941 HAS SOUS 666779 HAS SOUPS 666779 WITH SCORE 667557.941
AT ITER 2543 NEW BEST:: SOT 4416559 SOS 778941 HAS SOPS 778941 HAS SOUS 666724 HAS SOUPS 666724 WITH SCORE 667502.941
AT ITER 2553 NEW BEST:: SOT 4416559 SOS 778928 HAS SOPS 778928 HAS SOUS 666724 HAS SOUPS 666724 WITH SCORE 667502.928
AT ITER 2569 NEW BEST:: SOT 4416507 SOS 779412 HAS SOPS 779412 HAS SOUS 666713 HAS SOUPS 666713 WITH SCORE 667492.412
AT ITER 2587 NEW BEST:: SOT 4416479 SOS 779412 HAS SOPS 779412 HAS SOUS 666699 HAS SOUPS 666699 WITH SCORE 667478.412
AT ITER 2597 NEW BEST:: SOT 4416162 SOS 778778 HAS SOPS 778778 HAS SOUS 666065 HAS SOUPS 666065 WITH SCORE 666843.778
AT ITER 2617 NEW BEST:: SOT 4416144 SOS 778760 HAS SOPS 778760 HAS SOUS 666065 HAS SOUPS 666065 WITH SCORE 666843.76
AT ITER 2621 NEW BEST:: SOT 4415831 SOS 778408 HAS SOPS 778408 HAS SOUS 665713 HAS SOUPS 665713 WITH SCORE 666491.408
AT ITER 2655 NEW BEST:: SOT 4413284 SOS 776940 HAS SOPS 776940 HAS SOUS 663730 HAS SOUPS 663730 WITH SCORE 664506.94
AT ITER 2660 NEW BEST:: SOT 4413283 SOS 776938 HAS SOPS 776938 HAS SOUS 663728 HAS SOUPS 663728 WITH SCORE 664504.938
AT ITER 2674 NEW BEST:: SOT 4413111 SOS 776594 HAS SOPS 776594 HAS SOUS 663384 HAS SOUPS 663384 WITH SCORE 664160.594
AT ITER 2677 NEW BEST:: SOT 4413110 SOS 776592 HAS SOPS 776592 HAS SOUS 663382 HAS SOUPS 663382 WITH SCORE 664158.592
AT ITER 2686 NEW BEST:: SOT 4413000 SOS 776482 HAS SOPS 776482 HAS SOUS 663272 HAS SOUPS 663272 WITH SCORE 664048.482
AT ITER 2690 NEW BEST:: SOT 4412892 SOS 776266 HAS SOPS 776266 HAS SOUS 663056 HAS SOUPS 663056 WITH SCORE 663832.266
AT ITER 2707 NEW BEST:: SOT 4412790 SOS 776164 HAS SOPS 776164 HAS SOUS 662954 HAS SOUPS 662954 WITH SCORE 663730.164
AT ITER 2719 NEW BEST:: SOT 4412790 SOS 776164 HAS SOPS 776164 HAS SOUS 662953 HAS SOUPS 662953 WITH SCORE 663729.164
AT ITER 2721 NEW BEST:: SOT 4412673 SOS 776046 HAS SOPS 776046 HAS SOUS 662952 HAS SOUPS 662952 WITH SCORE 663728.046
AT ITER 2739 NEW BEST:: SOT 4412577 SOS 775950 HAS SOPS 775950 HAS SOUS 662856 HAS SOUPS 662856 WITH SCORE 663631.95
AT ITER 2769 NEW BEST:: SOT 4412306 SOS 775408 HAS SOPS 775408 HAS SOUS 662314 HAS SOUPS 662314 WITH SCORE 663089.408
AT ITER 2775 NEW BEST:: SOT 4412119 SOS 775034 HAS SOPS 775034 HAS SOUS 661940 HAS SOUPS 661940 WITH SCORE 662715.034
AT ITER 2786 NEW BEST:: SOT 4412056 SOS 775112 HAS SOPS 775112 HAS SOUS 661877 HAS SOUPS 661877 WITH SCORE 662652.112
AT ITER 2790 NEW BEST:: SOT 4411867 SOS 774923 HAS SOPS 774923 HAS SOUS 661688 HAS SOUPS 661688 WITH SCORE 662462.923
AT ITER 2806 NEW BEST:: SOT 4411569 SOS 774327 HAS SOPS 774327 HAS SOUS 661092 HAS SOUPS 661092 WITH SCORE 661866.327
AT ITER 2820 NEW BEST:: SOT 4411948 SOS 775085 HAS SOPS 775085 HAS SOUS 660992 HAS SOUPS 660992 WITH SCORE 661767.085
AT ITER 2821 NEW BEST:: SOT 4411886 SOS 775023 HAS SOPS 775023 HAS SOUS 660930 HAS SOUPS 660930 WITH SCORE 661705.023
AT ITER 2822 NEW BEST:: SOT 4405256 SOS 795363 HAS SOPS 795363 HAS SOUS 655745 HAS SOUPS 655745 WITH SCORE 656540.363
AT ITER 2862 NEW BEST:: SOT 4404756 SOS 796064 HAS SOPS 796064 HAS SOUS 655604 HAS SOUPS 655604 WITH SCORE 656400.064
AT ITER 2887 NEW BEST:: SOT 4403726 SOS 795034 HAS SOPS 795034 HAS SOUS 654574 HAS SOUPS 654574 WITH SCORE 655369.034
AT ITER 2914 NEW BEST:: SOT 4403501 SOS 794584 HAS SOPS 794584 HAS SOUS 654349 HAS SOUPS 654349 WITH SCORE 655143.584
AT ITER 2921 NEW BEST:: SOT 4403220 SOS 794022 HAS SOPS 794022 HAS SOUS 653787 HAS SOUPS 653787 WITH SCORE 654581.022
AT ITER 2930 NEW BEST:: SOT 4402952 SOS 793754 HAS SOPS 793754 HAS SOUS 653787 HAS SOUPS 653787 WITH SCORE 654580.754
AT ITER 2951 NEW BEST:: SOT 4402784 SOS 793586 HAS SOPS 793586 HAS SOUS 653787 HAS SOUPS 653787 WITH SCORE 654580.586
AT ITER 2956 NEW BEST:: SOT 4402717 SOS 793520 HAS SOPS 793520 HAS SOUS 653721 HAS SOUPS 653721 WITH SCORE 654514.52
AT ITER 2964 NEW BEST:: SOT 4402719 SOS 793510 HAS SOPS 793510 HAS SOUS 653721 HAS SOUPS 653721 WITH SCORE 654514.51
AT ITER 2966 NEW BEST:: SOT 4402642 SOS 793562 HAS SOPS 793562 HAS SOUS 653535 HAS SOUPS 653535 WITH SCORE 654328.562
AT ITER 2967 NEW BEST:: SOT 4402548 SOS 793374 HAS SOPS 793374 HAS SOUS 653303 HAS SOUPS 653303 WITH SCORE 654096.374
AT ITER 2999 NEW BEST:: SOT 4402494 SOS 793266 HAS SOPS 793266 HAS SOUS 653195 HAS SOUPS 653195 WITH SCORE 653988.266
AT ITER 3014 NEW BEST:: SOT 4402564 SOS 750608 HAS SOPS 750608 HAS SOUS 652996 HAS SOUPS 652996 WITH SCORE 653746.608
AT ITER 3027 NEW BEST:: SOT 4402564 SOS 750539 HAS SOPS 750539 HAS SOUS 652996 HAS SOUPS 652996 WITH SCORE 653746.539
AT ITER 3053 NEW BEST:: SOT 4402394 SOS 750199 HAS SOPS 750199 HAS SOUS 652995 HAS SOUPS 652995 WITH SCORE 653745.199
AT ITER 3060 NEW BEST:: SOT 4402357 SOS 750162 HAS SOPS 750162 HAS SOUS 652921 HAS SOUPS 652921 WITH SCORE 653671.162
AT ITER 3088 NEW BEST:: SOT 4402347 SOS 750142 HAS SOPS 750142 HAS SOUS 652911 HAS SOUPS 652911 WITH SCORE 653661.142
AT ITER 3096 NEW BEST:: SOT 4401915 SOS 749494 HAS SOPS 749494 HAS SOUS 652263 HAS SOUPS 652263 WITH SCORE 653012.494
AT ITER 3120 NEW BEST:: SOT 4401903 SOS 749153 HAS SOPS 749153 HAS SOUS 651937 HAS SOUPS 651937 WITH SCORE 652686.153
AT ITER 3121 NEW BEST:: SOT 4401726 SOS 748976 HAS SOPS 748976 HAS SOUS 651760 HAS SOUPS 651760 WITH SCORE 652508.976
AT ITER 3123 NEW BEST:: SOT 4401489 SOS 748502 HAS SOPS 748502 HAS SOUS 651523 HAS SOUPS 651523 WITH SCORE 652271.502
AT ITER 3127 NEW BEST:: SOT 4401546 SOS 748616 HAS SOPS 748616 HAS SOUS 651435 HAS SOUPS 651435 WITH SCORE 652183.616
AT ITER 3157 NEW BEST:: SOT 4401500 SOS 748524 HAS SOPS 748524 HAS SOUS 651343 HAS SOUPS 651343 WITH SCORE 652091.524
AT ITER 3167 NEW BEST:: SOT 4401500 SOS 748524 HAS SOPS 748524 HAS SOUS 651340 HAS SOUPS 651340 WITH SCORE 652088.524
AT ITER 3187 NEW BEST:: SOT 4401199 SOS 748192 HAS SOPS 748192 HAS SOUS 651056 HAS SOUPS 651056 WITH SCORE 651804.192
AT ITER 3191 NEW BEST:: SOT 4400925 SOS 747644 HAS SOPS 747644 HAS SOUS 650782 HAS SOUPS 650782 WITH SCORE 651529.644
AT ITER 3245 NEW BEST:: SOT 4400310 SOS 749649 HAS SOPS 749649 HAS SOUS 650470 HAS SOUPS 650470 WITH SCORE 651219.649
AT ITER 3259 NEW BEST:: SOT 4400249 SOS 749527 HAS SOPS 749527 HAS SOUS 650348 HAS SOUPS 650348 WITH SCORE 651097.527
AT ITER 3262 NEW BEST:: SOT 4400143 SOS 749423 HAS SOPS 749423 HAS SOUS 650244 HAS SOUPS 650244 WITH SCORE 650993.423
AT ITER 3267 NEW BEST:: SOT 4400143 SOS 749422 HAS SOPS 749422 HAS SOUS 650243 HAS SOUPS 650243 WITH SCORE 650992.422
AT ITER 3278 NEW BEST:: SOT 4400129 SOS 749380 HAS SOPS 749380 HAS SOUS 650228 HAS SOUPS 650228 WITH SCORE 650977.38
AT ITER 3292 NEW BEST:: SOT 4399952 SOS 749026 HAS SOPS 749026 HAS SOUS 650080 HAS SOUPS 650080 WITH SCORE 650829.026
AT ITER 3312 NEW BEST:: SOT 4399660 SOS 748442 HAS SOPS 748442 HAS SOUS 649496 HAS SOUPS 649496 WITH SCORE 650244.442
AT ITER 3328 NEW BEST:: SOT 4399602 SOS 748384 HAS SOPS 748384 HAS SOUS 649438 HAS SOUPS 649438 WITH SCORE 650186.384
AT ITER 3329 NEW BEST:: SOT 4399412 SOS 748004 HAS SOPS 748004 HAS SOUS 649016 HAS SOUPS 649016 WITH SCORE 649764.004
AT ITER 3337 NEW BEST:: SOT 4399204 SOS 747588 HAS SOPS 747588 HAS SOUS 648600 HAS SOUPS 648600 WITH SCORE 649347.588
AT ITER 3343 NEW BEST:: SOT 4399069 SOS 747318 HAS SOPS 747318 HAS SOUS 648330 HAS SOUPS 648330 WITH SCORE 649077.318
AT ITER 3355 NEW BEST:: SOT 4399069 SOS 747216 HAS SOPS 747216 HAS SOUS 648228 HAS SOUPS 648228 WITH SCORE 648975.216
AT ITER 3362 NEW BEST:: SOT 4399231 SOS 747540 HAS SOPS 747540 HAS SOUS 648212 HAS SOUPS 648212 WITH SCORE 648959.54
AT ITER 3394 NEW BEST:: SOT 4398938 SOS 747266 HAS SOPS 747266 HAS SOUS 647850 HAS SOUPS 647850 WITH SCORE 648597.266
AT ITER 3398 NEW BEST:: SOT 4398787 SOS 747137 HAS SOPS 747137 HAS SOUS 647721 HAS SOUPS 647721 WITH SCORE 648468.137
AT ITER 3419 NEW BEST:: SOT 4398897 SOS 747065 HAS SOPS 747065 HAS SOUS 647685 HAS SOUPS 647685 WITH SCORE 648432.065
AT ITER 3430 NEW BEST:: SOT 4398897 SOS 746761 HAS SOPS 746761 HAS SOUS 647454 HAS SOUPS 647454 WITH SCORE 648200.761
AT ITER 3477 NEW BEST:: SOT 4398603 SOS 746497 HAS SOPS 746497 HAS SOUS 647160 HAS SOUPS 647160 WITH SCORE 647906.497
AT ITER 3485 NEW BEST:: SOT 4398603 SOS 746398 HAS SOPS 746398 HAS SOUS 646962 HAS SOUPS 646962 WITH SCORE 647708.398
AT ITER 3501 NEW BEST:: SOT 4398572 SOS 746336 HAS SOPS 746336 HAS SOUS 646931 HAS SOUPS 646931 WITH SCORE 647677.336
AT ITER 3523 NEW BEST:: SOT 4398550 SOS 746322 HAS SOPS 746322 HAS SOUS 646913 HAS SOUPS 646913 WITH SCORE 647659.322
AT ITER 3558 NEW BEST:: SOT 4398550 SOS 746322 HAS SOPS 746322 HAS SOUS 646639 HAS SOUPS 646639 WITH SCORE 647385.322
AT ITER 3621 NEW BEST:: SOT 4398489 SOS 746200 HAS SOPS 746200 HAS SOUS 646578 HAS SOUPS 646578 WITH SCORE 647324.2
AT ITER 3633 NEW BEST:: SOT 4398298 SOS 745818 HAS SOPS 745818 HAS SOUS 646387 HAS SOUPS 646387 WITH SCORE 647132.818
AT ITER 3663 NEW BEST:: SOT 4397908 SOS 745432 HAS SOPS 745432 HAS SOUS 646001 HAS SOUPS 646001 WITH SCORE 646746.432
AT ITER 3681 NEW BEST:: SOT 4397877 SOS 745401 HAS SOPS 745401 HAS SOUS 646001 HAS SOUPS 646001 WITH SCORE 646746.401
AT ITER 3682 NEW BEST:: SOT 4397837 SOS 744814 HAS SOPS 744814 HAS SOUS 645645 HAS SOUPS 645645 WITH SCORE 646389.814
AT ITER 3710 NEW BEST:: SOT 4397831 SOS 744802 HAS SOPS 744802 HAS SOUS 645633 HAS SOUPS 645633 WITH SCORE 646377.802
AT ITER 3716 NEW BEST:: SOT 4397831 SOS 744718 HAS SOPS 744718 HAS SOUS 645633 HAS SOUPS 645633 WITH SCORE 646377.718
AT ITER 3750 NEW BEST:: SOT 4397831 SOS 744718 HAS SOPS 744718 HAS SOUS 645507 HAS SOUPS 645507 WITH SCORE 646251.718
AT ITER 3774 NEW BEST:: SOT 4397831 SOS 744717 HAS SOPS 744717 HAS SOUS 645506 HAS SOUPS 645506 WITH SCORE 646250.717
AT ITER 3777 NEW BEST:: SOT 4397857 SOS 744769 HAS SOPS 744769 HAS SOUS 645283 HAS SOUPS 645283 WITH SCORE 646027.769
AT ITER 3812 NEW BEST:: SOT 4397588 SOS 744231 HAS SOPS 744231 HAS SOUS 645079 HAS SOUPS 645079 WITH SCORE 645823.231
AT ITER 3821 NEW BEST:: SOT 4397588 SOS 744218 HAS SOPS 744218 HAS SOUS 645066 HAS SOUPS 645066 WITH SCORE 645810.218
AT ITER 3833 NEW BEST:: SOT 4397558 SOS 744158 HAS SOPS 744158 HAS SOUS 645006 HAS SOUPS 645006 WITH SCORE 645750.158
AT ITER 3837 NEW BEST:: SOT 4397558 SOS 744144 HAS SOPS 744144 HAS SOUS 644999 HAS SOUPS 644999 WITH SCORE 645743.144
AT ITER 3839 NEW BEST:: SOT 4397527 SOS 744082 HAS SOPS 744082 HAS SOUS 644968 HAS SOUPS 644968 WITH SCORE 645712.082
AT ITER 3848 NEW BEST:: SOT 4397527 SOS 743780 HAS SOPS 743780 HAS SOUS 644817 HAS SOUPS 644817 WITH SCORE 645560.78
AT ITER 3976 NEW BEST:: SOT 4397465 SOS 743716 HAS SOPS 743716 HAS SOUS 644800 HAS SOUPS 644800 WITH SCORE 645543.716
AT ITER 4006 NEW BEST:: SOT 4397490 SOS 743766 HAS SOPS 743766 HAS SOUS 644612 HAS SOUPS 644612 WITH SCORE 645355.766
AT ITER 4016 NEW BEST:: SOT 4397285 SOS 743356 HAS SOPS 743356 HAS SOUS 644202 HAS SOUPS 644202 WITH SCORE 644945.356
AT ITER 4025 NEW BEST:: SOT 4397189 SOS 743164 HAS SOPS 743164 HAS SOUS 643998 HAS SOUPS 643998 WITH SCORE 644741.164
AT ITER 4053 NEW BEST:: SOT 4397156 SOS 743098 HAS SOPS 743098 HAS SOUS 643945 HAS SOUPS 643945 WITH SCORE 644688.098
AT ITER 4086 NEW BEST:: SOT 4397156 SOS 743088 HAS SOPS 743088 HAS SOUS 643945 HAS SOUPS 643945 WITH SCORE 644688.088
AT ITER 4147 NEW BEST:: SOT 4396990 SOS 742756 HAS SOPS 742756 HAS SOUS 643779 HAS SOUPS 643779 WITH SCORE 644521.756
AT ITER 4149 NEW BEST:: SOT 4396715 SOS 742688 HAS SOPS 742688 HAS SOUS 643711 HAS SOUPS 643711 WITH SCORE 644453.688
AT ITER 4155 NEW BEST:: SOT 4396714 SOS 742686 HAS SOPS 742686 HAS SOUS 643709 HAS SOUPS 643709 WITH SCORE 644451.686
AT ITER 4164 NEW BEST:: SOT 4396544 SOS 742346 HAS SOPS 742346 HAS SOUS 643369 HAS SOUPS 643369 WITH SCORE 644111.346
AT ITER 4171 NEW BEST:: SOT 4396499 SOS 742256 HAS SOPS 742256 HAS SOUS 643324 HAS SOUPS 643324 WITH SCORE 644066.256
AT ITER 4179 NEW BEST:: SOT 4396386 SOS 741865 HAS SOPS 741865 HAS SOUS 643215 HAS SOUPS 643215 WITH SCORE 643956.865
AT ITER 4181 NEW BEST:: SOT 4396424 SOS 741941 HAS SOPS 741941 HAS SOUS 643164 HAS SOUPS 643164 WITH SCORE 643905.941
AT ITER 4192 NEW BEST:: SOT 4396424 SOS 741854 HAS SOPS 741854 HAS SOUS 643164 HAS SOUPS 643164 WITH SCORE 643905.854
AT ITER 4215 NEW BEST:: SOT 4396266 SOS 741720 HAS SOPS 741720 HAS SOUS 643016 HAS SOUPS 643016 WITH SCORE 643757.72
AT ITER 4221 NEW BEST:: SOT 4396265 SOS 741718 HAS SOPS 741718 HAS SOUS 643014 HAS SOUPS 643014 WITH SCORE 643755.718
AT ITER 4231 NEW BEST:: SOT 4395992 SOS 741445 HAS SOPS 741445 HAS SOUS 642741 HAS SOUPS 642741 WITH SCORE 643482.445
AT ITER 4262 NEW BEST:: SOT 4395850 SOS 741161 HAS SOPS 741161 HAS SOUS 642723 HAS SOUPS 642723 WITH SCORE 643464.161
AT ITER 4311 NEW BEST:: SOT 4395843 SOS 741154 HAS SOPS 741154 HAS SOUS 642709 HAS SOUPS 642709 WITH SCORE 643450.154
AT ITER 4314 NEW BEST:: SOT 4395843 SOS 741054 HAS SOPS 741054 HAS SOUS 642609 HAS SOUPS 642609 WITH SCORE 643350.054
AT ITER 4328 NEW BEST:: SOT 4395813 SOS 740994 HAS SOPS 740994 HAS SOUS 642579 HAS SOUPS 642579 WITH SCORE 643319.994
AT ITER 4355 NEW BEST:: SOT 4395700 SOS 740881 HAS SOPS 740881 HAS SOUS 642466 HAS SOUPS 642466 WITH SCORE 643206.881
AT ITER 4364 NEW BEST:: SOT 4395155 SOS 740456 HAS SOPS 740456 HAS SOUS 641946 HAS SOUPS 641946 WITH SCORE 642686.456
AT ITER 4449 NEW BEST:: SOT 4394863 SOS 740027 HAS SOPS 740027 HAS SOUS 641809 HAS SOUPS 641809 WITH SCORE 642549.027
AT ITER 4450 NEW BEST:: SOT 4394863 SOS 739956 HAS SOPS 739956 HAS SOUS 641738 HAS SOUPS 641738 WITH SCORE 642477.956
AT ITER 4535 NEW BEST:: SOT 4394864 SOS 739958 HAS SOPS 739958 HAS SOUS 641495 HAS SOUPS 641495 WITH SCORE 642234.958
AT ITER 4558 NEW BEST:: SOT 4394849 SOS 739942 HAS SOPS 739942 HAS SOUS 641494 HAS SOUPS 641494 WITH SCORE 642233.942
AT ITER 4560 NEW BEST:: SOT 4394849 SOS 739859 HAS SOPS 739859 HAS SOUS 641411 HAS SOUPS 641411 WITH SCORE 642150.859
AT ITER 4586 NEW BEST:: SOT 4394760 SOS 725065 HAS SOPS 725065 HAS SOUS 640974 HAS SOUPS 640974 WITH SCORE 641699.065
AT ITER 4611 NEW BEST:: SOT 4394760 SOS 724885 HAS SOPS 724885 HAS SOUS 640974 HAS SOUPS 640974 WITH SCORE 641698.885
AT ITER 4616 NEW BEST:: SOT 4394753 SOS 724871 HAS SOPS 724871 HAS SOUS 640960 HAS SOUPS 640960 WITH SCORE 641684.871
AT ITER 4645 NEW BEST:: SOT 4394814 SOS 724993 HAS SOPS 724993 HAS SOUS 640782 HAS SOUPS 640782 WITH SCORE 641506.993
AT ITER 4646 NEW BEST:: SOT 4394843 SOS 724927 HAS SOPS 724927 HAS SOUS 640716 HAS SOUPS 640716 WITH SCORE 641440.927
AT ITER 4744 NEW BEST:: SOT 4394772 SOS 724855 HAS SOPS 724855 HAS SOUS 640715 HAS SOUPS 640715 WITH SCORE 641439.855
AT ITER 4751 NEW BEST:: SOT 4394772 SOS 724854 HAS SOPS 724854 HAS SOUS 640714 HAS SOUPS 640714 WITH SCORE 641438.854
AT ITER 4804 NEW BEST:: SOT 4394563 SOS 724436 HAS SOPS 724436 HAS SOUS 640596 HAS SOUPS 640596 WITH SCORE 641320.436
AT ITER 4842 NEW BEST:: SOT 4394665 SOS 724640 HAS SOPS 724640 HAS SOUS 640163 HAS SOUPS 640163 WITH SCORE 640887.64
AT ITER 4870 NEW BEST:: SOT 4394540 SOS 724390 HAS SOPS 724390 HAS SOUS 639816 HAS SOUPS 639816 WITH SCORE 640540.39
AT ITER 4892 NEW BEST:: SOT 4394565 SOS 724205 HAS SOPS 724205 HAS SOUS 639631 HAS SOUPS 639631 WITH SCORE 640355.205
AT ITER 4900 NEW BEST:: SOT 4394372 SOS 724023 HAS SOPS 724023 HAS SOUS 639443 HAS SOUPS 639443 WITH SCORE 640167.023
AT ITER 4901 NEW BEST:: SOT 4394165 SOS 723609 HAS SOPS 723609 HAS SOUS 639236 HAS SOUPS 639236 WITH SCORE 639959.609
AT ITER 4942 NEW BEST:: SOT 4394032 SOS 723476 HAS SOPS 723476 HAS SOUS 639103 HAS SOUPS 639103 WITH SCORE 639826.476
AT ITER 4963 NEW BEST:: SOT 4394010 SOS 723421 HAS SOPS 723421 HAS SOUS 639059 HAS SOUPS 639059 WITH SCORE 639782.421
AT ITER 4975 NEW BEST:: SOT 4393982 SOS 722165 HAS SOPS 722165 HAS SOUS 638431 HAS SOUPS 638431 WITH SCORE 639153.165
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-00 ( ( ( (AX( ( ((potential((tk(P1578)>=1)))) & ((potential((tk(P517)>=1)))) ))) & ((potential((tk(P573)>=1) & (tk(P934)>=1)))) ) | (EF( ((potential((tk(P1729)>=1)))))) ) | ( ((potential((tk(P573)>=1) & (tk(P1279)>=1)))) & ( ( ( ( ((potential((tk(P2407)>=1)))) & ((potential((tk(P992)>=1)))) ) | ((potential((tk(P112)>=1)))) ) & ( ( ((potential((tk(P2547)>=1)))) | ((potential((tk(P573)>=1) & (tk(P1312)>=1)))) ) & ((potential((tk(P1738)>=1)))) ) ) & ( (EG( ((potential((tk(P390)>=1)))))) & (AF( ((potential((tk(P1458)>=1)))))) ) ) ) )
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-01 (! (! (! ( ((potential((tk(P2244)>=1)))) | (AF( ((potential((tk(P1404)>=1)))))) ))))
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-02 (AU( ( ( ( ((potential((tk(P1016)>=1)))) & ((potential((tk(P1286)>=1)))) ) & ( ((potential((tk(P1174)>=1)))) & ((potential((tk(P417)>=1)))) ) ) | (EF( ((potential((tk(P2174)>=1)))))) ) , (AU( ((potential((tk(P1680)>=1)))) , ((potential((tk(P2219)>=1)))) )) ))
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-03 ( (AU( ( (! ((potential((tk(P1174)>=1))))) | ((potential((tk(P2424)>=1)))) ) , ( (! ((potential((tk(P887)>=1))))) & ( ((potential((tk(P1522)>=1)))) & ((potential((tk(P2080)>=1)))) ) ) )) & ( (AU( (! ((potential((tk(P1831)>=1))))) , ((potential((tk(P501)>=1)))) )) | (AX( (! (! ((potential((tk(P1558)>=1)))))))) ) )
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-04 (AF( ( ((potential((tk(P1130)>=1)))) & ((potential((tk(P479)>=1)))) )))
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-05 ( (EG( (EX( ((potential((tk(P885)>=1)))))))) | (EG( ( ((potential((tk(P214)>=1)))) | (EF( ((potential((tk(P262)>=1)))))) ))) )
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-06 ( (EU( ( (! ((potential((tk(P2275)>=1))))) | ( ((potential((tk(P1770)>=1)))) & ((potential((tk(P505)>=1)))) ) ) , (! (! ((potential((tk(P330)>=1)))))) )) & ( ((potential((tk(P2276)>=1)))) | (! ((potential((tk(P2377)>=1))))) ) )
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-07 (EF( (EG( ( (! ((potential((tk(P1887)>=1))))) & (! ((potential((tk(P1429)>=1))))) )))))
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-08 (AF( (AG( (! ( ((potential((tk(P1314)>=1)))) & ((potential((tk(P2333)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-09 (AG( ( (! (AG( ((potential((tk(P1064)>=1))))))) | (EF( ( ((potential((tk(P634)>=1)))) | ((potential((tk(P1419)>=1)))) ))) )))
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-10 (AF( ( ( ( ((potential((tk(P2407)>=1)))) | (! ((potential((tk(P633)>=1))))) ) | (AX( ((potential((tk(P2373)>=1)))))) ) & ( (AF( ((potential((tk(P1412)>=1)))))) | (EX( ((potential((tk(P1192)>=1)))))) ) )))
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-11 ( (! (EF( ( ( ((potential((tk(P1174)>=1)))) | ((potential((tk(P438)>=1)))) ) & ((potential((tk(P456)>=1)))) )))) & (! ( ((potential((tk(P2116)>=1)))) | ((potential((tk(P1042)>=1)))) )) )
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-12 (EX( (EU( (! ((potential((tk(P854)>=1))))) , ( ((potential((tk(P789)>=1)))) | ((potential((tk(P1499)>=1)))) ) ))))
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-13 (AF( ( (AF( ((potential((tk(P1061)>=1)))))) | ((potential((tk(P2346)>=1)))) )))
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-14 (EX( (AG( (! ( ((potential((tk(P1550)>=1)))) & ((potential((tk(P2428)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-310-CTLFireability-15 ( (EG( ( (EF( ((potential((tk(P1427)>=1)))))) | (! ( ((potential((tk(P537)>=1)))) & ((potential((tk(P885)>=1)))) )) ))) & ( (! ( ( ( ((potential((tk(P1808)>=1)))) | ((potential((tk(P569)>=1)))) ) & ( ((potential((tk(P824)>=1)))) | ((potential((tk(P672)>=1)))) ) ) & ((potential((tk(P1153)>=1)))) )) & ( (EX( (! ((potential((tk(P2566)>=1))))))) | (EF( ( ((potential((tk(P2233)>=1)))) | ((potential((tk(P571)>=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-310"
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-310, 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-158902541700076"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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