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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 840K
-rw-r--r-- 1 mcc users 3.8K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.6K 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.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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-312-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-312-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589095450867

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 312
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.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 4443289 SOS 758943 HAS SOPS 758943 HAS SOUS 699965 HAS SOUPS 699965 WITH SCORE 700723.943
AT ITER 16 NEW BEST:: SOT 4443029 SOS 758683 HAS SOPS 758683 HAS SOUS 699964 HAS SOUPS 699964 WITH SCORE 700722.683
AT ITER 39 NEW BEST:: SOT 4443028 SOS 758681 HAS SOPS 758681 HAS SOUS 699962 HAS SOUPS 699962 WITH SCORE 700720.681
AT ITER 44 NEW BEST:: SOT 4442668 SOS 758201 HAS SOPS 758201 HAS SOUS 699482 HAS SOUPS 699482 WITH SCORE 700240.201
AT ITER 47 NEW BEST:: SOT 4442530 SOS 757925 HAS SOPS 757925 HAS SOUS 699206 HAS SOUPS 699206 WITH SCORE 699963.925
AT ITER 64 NEW BEST:: SOT 4442067 SOS 758145 HAS SOPS 758145 HAS SOUS 698762 HAS SOUPS 698762 WITH SCORE 699520.145
AT ITER 76 NEW BEST:: SOT 4441990 SOS 758249 HAS SOPS 758249 HAS SOUS 698691 HAS SOUPS 698691 WITH SCORE 699449.249
AT ITER 94 NEW BEST:: SOT 4442177 SOS 757979 HAS SOPS 757979 HAS SOUS 698649 HAS SOUPS 698649 WITH SCORE 699406.979
AT ITER 115 NEW BEST:: SOT 4441831 SOS 757979 HAS SOPS 757979 HAS SOUS 698476 HAS SOUPS 698476 WITH SCORE 699233.979
AT ITER 165 NEW BEST:: SOT 4441262 SOS 757128 HAS SOPS 757128 HAS SOUS 697623 HAS SOUPS 697623 WITH SCORE 698380.128
AT ITER 173 NEW BEST:: SOT 4438938 SOS 755812 HAS SOPS 755812 HAS SOUS 695094 HAS SOUPS 695094 WITH SCORE 695849.812
AT ITER 186 NEW BEST:: SOT 4438925 SOS 755786 HAS SOPS 755786 HAS SOUS 695081 HAS SOUPS 695081 WITH SCORE 695836.786
AT ITER 202 NEW BEST:: SOT 4438680 SOS 755296 HAS SOPS 755296 HAS SOUS 694591 HAS SOUPS 694591 WITH SCORE 695346.296
AT ITER 203 NEW BEST:: SOT 4438500 SOS 755126 HAS SOPS 755126 HAS SOUS 694421 HAS SOUPS 694421 WITH SCORE 695176.126
AT ITER 211 NEW BEST:: SOT 4438499 SOS 755124 HAS SOPS 755124 HAS SOUS 694419 HAS SOUPS 694419 WITH SCORE 695174.124
AT ITER 244 NEW BEST:: SOT 4437962 SOS 754503 HAS SOPS 754503 HAS SOUS 693529 HAS SOUPS 693529 WITH SCORE 694283.503
AT ITER 245 NEW BEST:: SOT 4438013 SOS 754605 HAS SOPS 754605 HAS SOUS 693343 HAS SOUPS 693343 WITH SCORE 694097.605
AT ITER 255 NEW BEST:: SOT 4437828 SOS 755098 HAS SOPS 755098 HAS SOUS 693322 HAS SOUPS 693322 WITH SCORE 694077.098
AT ITER 271 NEW BEST:: SOT 4437699 SOS 754969 HAS SOPS 754969 HAS SOUS 693064 HAS SOUPS 693064 WITH SCORE 693818.969
AT ITER 311 NEW BEST:: SOT 4437738 SOS 754553 HAS SOPS 754553 HAS SOUS 692875 HAS SOUPS 692875 WITH SCORE 693629.553
AT ITER 314 NEW BEST:: SOT 4437424 SOS 754249 HAS SOPS 754249 HAS SOUS 692571 HAS SOUPS 692571 WITH SCORE 693325.249
AT ITER 325 NEW BEST:: SOT 4437352 SOS 754153 HAS SOPS 754153 HAS SOUS 692475 HAS SOUPS 692475 WITH SCORE 693229.153
AT ITER 327 NEW BEST:: SOT 4429318 SOS 784361 HAS SOPS 784361 HAS SOUS 686602 HAS SOUPS 686602 WITH SCORE 687386.361
AT ITER 340 NEW BEST:: SOT 4429471 SOS 784315 HAS SOPS 784315 HAS SOUS 686556 HAS SOUPS 686556 WITH SCORE 687340.315
AT ITER 347 NEW BEST:: SOT 4429510 SOS 784393 HAS SOPS 784393 HAS SOUS 686294 HAS SOUPS 686294 WITH SCORE 687078.393
AT ITER 353 NEW BEST:: SOT 4427016 SOS 782912 HAS SOPS 782912 HAS SOUS 684050 HAS SOUPS 684050 WITH SCORE 684832.912
AT ITER 393 NEW BEST:: SOT 4426865 SOS 782762 HAS SOPS 782762 HAS SOUS 683900 HAS SOUPS 683900 WITH SCORE 684682.762
AT ITER 412 NEW BEST:: SOT 4426996 SOS 783024 HAS SOPS 783024 HAS SOUS 683736 HAS SOUPS 683736 WITH SCORE 684519.024
AT ITER 497 NEW BEST:: SOT 4426823 SOS 782332 HAS SOPS 782332 HAS SOUS 683243 HAS SOUPS 683243 WITH SCORE 684025.332
AT ITER 535 NEW BEST:: SOT 4426823 SOS 782292 HAS SOPS 782292 HAS SOUS 683243 HAS SOUPS 683243 WITH SCORE 684025.292
AT ITER 536 NEW BEST:: SOT 4426823 SOS 782292 HAS SOPS 782292 HAS SOUS 683036 HAS SOUPS 683036 WITH SCORE 683818.292
AT ITER 558 NEW BEST:: SOT 4426709 SOS 782139 HAS SOPS 782139 HAS SOUS 682847 HAS SOUPS 682847 WITH SCORE 683629.139
AT ITER 572 NEW BEST:: SOT 4426506 SOS 781733 HAS SOPS 781733 HAS SOUS 682216 HAS SOUPS 682216 WITH SCORE 682997.733
AT ITER 593 NEW BEST:: SOT 4426506 SOS 781733 HAS SOPS 781733 HAS SOUS 682164 HAS SOUPS 682164 WITH SCORE 682945.733
AT ITER 620 NEW BEST:: SOT 4426221 SOS 781490 HAS SOPS 781490 HAS SOUS 681679 HAS SOUPS 681679 WITH SCORE 682460.49
AT ITER 632 NEW BEST:: SOT 4426206 SOS 781460 HAS SOPS 781460 HAS SOUS 681649 HAS SOUPS 681649 WITH SCORE 682430.46
AT ITER 642 NEW BEST:: SOT 4426125 SOS 781298 HAS SOPS 781298 HAS SOUS 681568 HAS SOUPS 681568 WITH SCORE 682349.298
AT ITER 648 NEW BEST:: SOT 4426013 SOS 781298 HAS SOPS 781298 HAS SOUS 681456 HAS SOUPS 681456 WITH SCORE 682237.298
AT ITER 655 NEW BEST:: SOT 4426013 SOS 780976 HAS SOPS 780976 HAS SOUS 681456 HAS SOUPS 681456 WITH SCORE 682236.976
AT ITER 665 NEW BEST:: SOT 4425800 SOS 780763 HAS SOPS 780763 HAS SOUS 681030 HAS SOUPS 681030 WITH SCORE 681810.763
AT ITER 737 NEW BEST:: SOT 4425774 SOS 780711 HAS SOPS 780711 HAS SOUS 680978 HAS SOUPS 680978 WITH SCORE 681758.711
AT ITER 770 NEW BEST:: SOT 4425773 SOS 780709 HAS SOPS 780709 HAS SOUS 680976 HAS SOUPS 680976 WITH SCORE 681756.709
AT ITER 778 NEW BEST:: SOT 4425643 SOS 780449 HAS SOPS 780449 HAS SOUS 680846 HAS SOUPS 680846 WITH SCORE 681626.449
AT ITER 795 NEW BEST:: SOT 4425615 SOS 780421 HAS SOPS 780421 HAS SOUS 680817 HAS SOUPS 680817 WITH SCORE 681597.421
AT ITER 830 NEW BEST:: SOT 4425710 SOS 780611 HAS SOPS 780611 HAS SOUS 680749 HAS SOUPS 680749 WITH SCORE 681529.611
AT ITER 837 NEW BEST:: SOT 4425709 SOS 780609 HAS SOPS 780609 HAS SOUS 680747 HAS SOUPS 680747 WITH SCORE 681527.609
AT ITER 890 NEW BEST:: SOT 4425709 SOS 780510 HAS SOPS 780510 HAS SOUS 680746 HAS SOUPS 680746 WITH SCORE 681526.51
AT ITER 907 NEW BEST:: SOT 4425663 SOS 780605 HAS SOPS 780605 HAS SOUS 680711 HAS SOUPS 680711 WITH SCORE 681491.605
AT ITER 950 NEW BEST:: SOT 4425582 SOS 780443 HAS SOPS 780443 HAS SOUS 680671 HAS SOUPS 680671 WITH SCORE 681451.443
AT ITER 954 NEW BEST:: SOT 4425582 SOS 780289 HAS SOPS 780289 HAS SOUS 680594 HAS SOUPS 680594 WITH SCORE 681374.289
AT ITER 983 NEW BEST:: SOT 4425299 SOS 780057 HAS SOPS 780057 HAS SOUS 680311 HAS SOUPS 680311 WITH SCORE 681091.057
AT ITER 984 NEW BEST:: SOT 4424947 SOS 779705 HAS SOPS 779705 HAS SOUS 679959 HAS SOUPS 679959 WITH SCORE 680738.705
AT ITER 1011 NEW BEST:: SOT 4424944 SOS 779699 HAS SOPS 779699 HAS SOUS 679953 HAS SOUPS 679953 WITH SCORE 680732.699
AT ITER 1023 NEW BEST:: SOT 4424943 SOS 779697 HAS SOPS 779697 HAS SOUS 679951 HAS SOUPS 679951 WITH SCORE 680730.697
AT ITER 1026 NEW BEST:: SOT 4425003 SOS 779817 HAS SOPS 779817 HAS SOUS 679718 HAS SOUPS 679718 WITH SCORE 680497.817
AT ITER 1030 NEW BEST:: SOT 4425003 SOS 779694 HAS SOPS 779694 HAS SOUS 679718 HAS SOUPS 679718 WITH SCORE 680497.694
AT ITER 1037 NEW BEST:: SOT 4424856 SOS 779772 HAS SOPS 779772 HAS SOUS 679651 HAS SOUPS 679651 WITH SCORE 680430.772
AT ITER 1049 NEW BEST:: SOT 4424856 SOS 779772 HAS SOPS 779772 HAS SOUS 679473 HAS SOUPS 679473 WITH SCORE 680252.772
AT ITER 1116 NEW BEST:: SOT 4424827 SOS 779714 HAS SOPS 779714 HAS SOUS 679415 HAS SOUPS 679415 WITH SCORE 680194.714
AT ITER 1138 NEW BEST:: SOT 4424803 SOS 779722 HAS SOPS 779722 HAS SOUS 679391 HAS SOUPS 679391 WITH SCORE 680170.722
AT ITER 1163 NEW BEST:: SOT 4424690 SOS 779496 HAS SOPS 779496 HAS SOUS 679165 HAS SOUPS 679165 WITH SCORE 679944.496
AT ITER 1171 NEW BEST:: SOT 4424509 SOS 778741 HAS SOPS 778741 HAS SOUS 678763 HAS SOUPS 678763 WITH SCORE 679541.741
AT ITER 1185 NEW BEST:: SOT 4424275 SOS 778273 HAS SOPS 778273 HAS SOUS 678295 HAS SOUPS 678295 WITH SCORE 679073.273
AT ITER 1229 NEW BEST:: SOT 4424189 SOS 778101 HAS SOPS 778101 HAS SOUS 678209 HAS SOUPS 678209 WITH SCORE 678987.101
AT ITER 1283 NEW BEST:: SOT 4424635 SOS 778993 HAS SOPS 778993 HAS SOUS 678179 HAS SOUPS 678179 WITH SCORE 678957.993
AT ITER 1313 NEW BEST:: SOT 4424634 SOS 778991 HAS SOPS 778991 HAS SOUS 678178 HAS SOUPS 678178 WITH SCORE 678956.991
AT ITER 1328 NEW BEST:: SOT 4424594 SOS 778991 HAS SOPS 778991 HAS SOUS 678158 HAS SOUPS 678158 WITH SCORE 678936.991
AT ITER 1329 NEW BEST:: SOT 4424405 SOS 778963 HAS SOPS 778963 HAS SOUS 678029 HAS SOUPS 678029 WITH SCORE 678807.963
AT ITER 1331 NEW BEST:: SOT 4424405 SOS 778890 HAS SOPS 778890 HAS SOUS 677956 HAS SOUPS 677956 WITH SCORE 678734.89
AT ITER 1364 NEW BEST:: SOT 4424352 SOS 778903 HAS SOPS 778903 HAS SOUS 677903 HAS SOUPS 677903 WITH SCORE 678681.903
AT ITER 1368 NEW BEST:: SOT 4424386 SOS 778863 HAS SOPS 778863 HAS SOUS 677829 HAS SOUPS 677829 WITH SCORE 678607.863
AT ITER 1369 NEW BEST:: SOT 4424386 SOS 778863 HAS SOPS 778863 HAS SOUS 677699 HAS SOUPS 677699 WITH SCORE 678477.863
AT ITER 1408 NEW BEST:: SOT 4424260 SOS 778191 HAS SOPS 778191 HAS SOUS 677258 HAS SOUPS 677258 WITH SCORE 678036.191
AT ITER 1454 NEW BEST:: SOT 4424260 SOS 778118 HAS SOPS 778118 HAS SOUS 677258 HAS SOUPS 677258 WITH SCORE 678036.118
AT ITER 1472 NEW BEST:: SOT 4423654 SOS 777310 HAS SOPS 777310 HAS SOUS 676450 HAS SOUPS 676450 WITH SCORE 677227.31
AT ITER 1489 NEW BEST:: SOT 4423599 SOS 777255 HAS SOPS 777255 HAS SOUS 676395 HAS SOUPS 676395 WITH SCORE 677172.255
AT ITER 1494 NEW BEST:: SOT 4423372 SOS 777076 HAS SOPS 777076 HAS SOUS 676216 HAS SOUPS 676216 WITH SCORE 676993.076
AT ITER 1495 NEW BEST:: SOT 4423372 SOS 776829 HAS SOPS 776829 HAS SOUS 676215 HAS SOUPS 676215 WITH SCORE 676991.829
AT ITER 1506 NEW BEST:: SOT 4423144 SOS 777538 HAS SOPS 777538 HAS SOUS 675954 HAS SOUPS 675954 WITH SCORE 676731.538
AT ITER 1512 NEW BEST:: SOT 4422936 SOS 777330 HAS SOPS 777330 HAS SOUS 675746 HAS SOUPS 675746 WITH SCORE 676523.33
AT ITER 1521 NEW BEST:: SOT 4422936 SOS 777018 HAS SOPS 777018 HAS SOUS 675746 HAS SOUPS 675746 WITH SCORE 676523.018
AT ITER 1538 NEW BEST:: SOT 4422921 SOS 776483 HAS SOPS 776483 HAS SOUS 675418 HAS SOUPS 675418 WITH SCORE 676194.483
AT ITER 1547 NEW BEST:: SOT 4422920 SOS 776164 HAS SOPS 776164 HAS SOUS 675416 HAS SOUPS 675416 WITH SCORE 676192.164
AT ITER 1569 NEW BEST:: SOT 4423018 SOS 776083 HAS SOPS 776083 HAS SOUS 675335 HAS SOUPS 675335 WITH SCORE 676111.083
AT ITER 1585 NEW BEST:: SOT 4422814 SOS 775675 HAS SOPS 775675 HAS SOUS 674927 HAS SOUPS 674927 WITH SCORE 675702.675
AT ITER 1592 NEW BEST:: SOT 4422814 SOS 775449 HAS SOPS 775449 HAS SOUS 674814 HAS SOUPS 674814 WITH SCORE 675589.449
AT ITER 1599 NEW BEST:: SOT 4422676 SOS 775173 HAS SOPS 775173 HAS SOUS 674538 HAS SOUPS 674538 WITH SCORE 675313.173
AT ITER 1603 NEW BEST:: SOT 4422675 SOS 775171 HAS SOPS 775171 HAS SOUS 674536 HAS SOUPS 674536 WITH SCORE 675311.171
AT ITER 1635 NEW BEST:: SOT 4422451 SOS 774947 HAS SOPS 774947 HAS SOUS 674312 HAS SOUPS 674312 WITH SCORE 675086.947
AT ITER 1647 NEW BEST:: SOT 4422451 SOS 774905 HAS SOPS 774905 HAS SOUS 674291 HAS SOUPS 674291 WITH SCORE 675065.905
AT ITER 1677 NEW BEST:: SOT 4422385 SOS 774895 HAS SOPS 774895 HAS SOUS 674281 HAS SOUPS 674281 WITH SCORE 675055.895
AT ITER 1678 NEW BEST:: SOT 4421705 SOS 774573 HAS SOPS 774573 HAS SOUS 673747 HAS SOUPS 673747 WITH SCORE 674521.573
AT ITER 1681 NEW BEST:: SOT 4421654 SOS 774471 HAS SOPS 774471 HAS SOUS 673645 HAS SOUPS 673645 WITH SCORE 674419.471
AT ITER 1685 NEW BEST:: SOT 4415206 SOS 784255 HAS SOPS 784255 HAS SOUS 667904 HAS SOUPS 667904 WITH SCORE 668688.255
AT ITER 1703 NEW BEST:: SOT 4415095 SOS 784033 HAS SOPS 784033 HAS SOUS 667802 HAS SOUPS 667802 WITH SCORE 668586.033
AT ITER 1775 NEW BEST:: SOT 4415059 SOS 783961 HAS SOPS 783961 HAS SOUS 667730 HAS SOUPS 667730 WITH SCORE 668513.961
AT ITER 1788 NEW BEST:: SOT 4414999 SOS 783841 HAS SOPS 783841 HAS SOUS 667610 HAS SOUPS 667610 WITH SCORE 668393.841
AT ITER 1799 NEW BEST:: SOT 4414949 SOS 783741 HAS SOPS 783741 HAS SOUS 667560 HAS SOUPS 667560 WITH SCORE 668343.741
AT ITER 1811 NEW BEST:: SOT 4414948 SOS 783739 HAS SOPS 783739 HAS SOUS 667558 HAS SOUPS 667558 WITH SCORE 668341.739
AT ITER 1812 NEW BEST:: SOT 4414948 SOS 783739 HAS SOPS 783739 HAS SOUS 667557 HAS SOUPS 667557 WITH SCORE 668340.739
AT ITER 1827 NEW BEST:: SOT 4414945 SOS 783724 HAS SOPS 783724 HAS SOUS 667551 HAS SOUPS 667551 WITH SCORE 668334.724
AT ITER 1830 NEW BEST:: SOT 4414945 SOS 783652 HAS SOPS 783652 HAS SOUS 667551 HAS SOUPS 667551 WITH SCORE 668334.652
AT ITER 1835 NEW BEST:: SOT 4414753 SOS 783268 HAS SOPS 783268 HAS SOUS 667167 HAS SOUPS 667167 WITH SCORE 667950.268
AT ITER 1840 NEW BEST:: SOT 4414697 SOS 783212 HAS SOPS 783212 HAS SOUS 667111 HAS SOUPS 667111 WITH SCORE 667894.212
AT ITER 1871 NEW BEST:: SOT 4414697 SOS 783186 HAS SOPS 783186 HAS SOUS 667111 HAS SOUPS 667111 WITH SCORE 667894.186
AT ITER 1886 NEW BEST:: SOT 4414608 SOS 783097 HAS SOPS 783097 HAS SOUS 667110 HAS SOUPS 667110 WITH SCORE 667893.097
AT ITER 1916 NEW BEST:: SOT 4414607 SOS 783054 HAS SOPS 783054 HAS SOUS 667109 HAS SOUPS 667109 WITH SCORE 667892.054
AT ITER 1938 NEW BEST:: SOT 4414515 SOS 782870 HAS SOPS 782870 HAS SOUS 667014 HAS SOUPS 667014 WITH SCORE 667796.87
AT ITER 1939 NEW BEST:: SOT 4414445 SOS 782730 HAS SOPS 782730 HAS SOUS 666874 HAS SOUPS 666874 WITH SCORE 667656.73
AT ITER 1983 NEW BEST:: SOT 4414208 SOS 782256 HAS SOPS 782256 HAS SOUS 666326 HAS SOUPS 666326 WITH SCORE 667108.256
AT ITER 1986 NEW BEST:: SOT 4413948 SOS 782007 HAS SOPS 782007 HAS SOUS 666072 HAS SOUPS 666072 WITH SCORE 666854.007
AT ITER 1995 NEW BEST:: SOT 4407553 SOS 783278 HAS SOPS 783278 HAS SOUS 660654 HAS SOUPS 660654 WITH SCORE 661437.278
AT ITER 2086 NEW BEST:: SOT 4407494 SOS 783160 HAS SOPS 783160 HAS SOUS 660654 HAS SOUPS 660654 WITH SCORE 661437.16
AT ITER 2088 NEW BEST:: SOT 4407396 SOS 783160 HAS SOPS 783160 HAS SOUS 660605 HAS SOUPS 660605 WITH SCORE 661388.16
AT ITER 2094 NEW BEST:: SOT 4407379 SOS 783126 HAS SOPS 783126 HAS SOUS 660588 HAS SOUPS 660588 WITH SCORE 661371.126
AT ITER 2100 NEW BEST:: SOT 4407379 SOS 783126 HAS SOPS 783126 HAS SOUS 660379 HAS SOUPS 660379 WITH SCORE 661162.126
AT ITER 2110 NEW BEST:: SOT 4407373 SOS 783114 HAS SOPS 783114 HAS SOUS 660367 HAS SOUPS 660367 WITH SCORE 661150.114
AT ITER 2132 NEW BEST:: SOT 4406605 SOS 782830 HAS SOPS 782830 HAS SOUS 659610 HAS SOUPS 659610 WITH SCORE 660392.83
AT ITER 2180 NEW BEST:: SOT 4406602 SOS 782416 HAS SOPS 782416 HAS SOUS 659539 HAS SOUPS 659539 WITH SCORE 660321.416
AT ITER 2188 NEW BEST:: SOT 4406602 SOS 782416 HAS SOPS 782416 HAS SOUS 659538 HAS SOUPS 659538 WITH SCORE 660320.416
AT ITER 2201 NEW BEST:: SOT 4406334 SOS 781416 HAS SOPS 781416 HAS SOUS 658983 HAS SOUPS 658983 WITH SCORE 659764.416
AT ITER 2214 NEW BEST:: SOT 4406334 SOS 781416 HAS SOPS 781416 HAS SOUS 658790 HAS SOUPS 658790 WITH SCORE 659571.416
AT ITER 2223 NEW BEST:: SOT 4406304 SOS 781356 HAS SOPS 781356 HAS SOUS 658730 HAS SOUPS 658730 WITH SCORE 659511.356
AT ITER 2262 NEW BEST:: SOT 4406304 SOS 781160 HAS SOPS 781160 HAS SOUS 658730 HAS SOUPS 658730 WITH SCORE 659511.16
AT ITER 2271 NEW BEST:: SOT 4406304 SOS 780897 HAS SOPS 780897 HAS SOUS 658729 HAS SOUPS 658729 WITH SCORE 659509.897
AT ITER 2278 NEW BEST:: SOT 4406291 SOS 780858 HAS SOPS 780858 HAS SOUS 658716 HAS SOUPS 658716 WITH SCORE 659496.858
AT ITER 2286 NEW BEST:: SOT 4406288 SOS 780852 HAS SOPS 780852 HAS SOUS 658710 HAS SOUPS 658710 WITH SCORE 659490.852
AT ITER 2287 NEW BEST:: SOT 4406461 SOS 781198 HAS SOPS 781198 HAS SOUS 658597 HAS SOUPS 658597 WITH SCORE 659378.198
AT ITER 2309 NEW BEST:: SOT 4406461 SOS 780868 HAS SOPS 780868 HAS SOUS 658597 HAS SOUPS 658597 WITH SCORE 659377.868
AT ITER 2317 NEW BEST:: SOT 4406461 SOS 780594 HAS SOPS 780594 HAS SOUS 658597 HAS SOUPS 658597 WITH SCORE 659377.594
AT ITER 2331 NEW BEST:: SOT 4406425 SOS 781054 HAS SOPS 781054 HAS SOUS 658484 HAS SOUPS 658484 WITH SCORE 659265.054
AT ITER 2351 NEW BEST:: SOT 4406425 SOS 780946 HAS SOPS 780946 HAS SOUS 658484 HAS SOUPS 658484 WITH SCORE 659264.946
AT ITER 2370 NEW BEST:: SOT 4406425 SOS 780889 HAS SOPS 780889 HAS SOUS 658484 HAS SOUPS 658484 WITH SCORE 659264.889
AT ITER 2371 NEW BEST:: SOT 4406425 SOS 780463 HAS SOPS 780463 HAS SOUS 658271 HAS SOUPS 658271 WITH SCORE 659051.463
AT ITER 2431 NEW BEST:: SOT 4406551 SOS 780196 HAS SOPS 780196 HAS SOUS 658035 HAS SOUPS 658035 WITH SCORE 658815.196
AT ITER 2432 NEW BEST:: SOT 4406551 SOS 780025 HAS SOPS 780025 HAS SOUS 658035 HAS SOUPS 658035 WITH SCORE 658815.025
AT ITER 2443 NEW BEST:: SOT 4406380 SOS 779683 HAS SOPS 779683 HAS SOUS 657693 HAS SOUPS 657693 WITH SCORE 658472.683
AT ITER 2453 NEW BEST:: SOT 4406379 SOS 779681 HAS SOPS 779681 HAS SOUS 657691 HAS SOUPS 657691 WITH SCORE 658470.681
AT ITER 2464 NEW BEST:: SOT 4406379 SOS 779363 HAS SOPS 779363 HAS SOUS 657690 HAS SOUPS 657690 WITH SCORE 658469.363
AT ITER 2467 NEW BEST:: SOT 4406273 SOS 779027 HAS SOPS 779027 HAS SOUS 657460 HAS SOUPS 657460 WITH SCORE 658239.027
AT ITER 2477 NEW BEST:: SOT 4406222 SOS 778925 HAS SOPS 778925 HAS SOUS 657358 HAS SOUPS 657358 WITH SCORE 658136.925
AT ITER 2481 NEW BEST:: SOT 4406222 SOS 778761 HAS SOPS 778761 HAS SOUS 657194 HAS SOUPS 657194 WITH SCORE 657972.761
AT ITER 2482 NEW BEST:: SOT 4406109 SOS 778535 HAS SOPS 778535 HAS SOUS 656899 HAS SOUPS 656899 WITH SCORE 657677.535
AT ITER 2487 NEW BEST:: SOT 4405925 SOS 778415 HAS SOPS 778415 HAS SOUS 656777 HAS SOUPS 656777 WITH SCORE 657555.415
AT ITER 2525 NEW BEST:: SOT 4405862 SOS 778289 HAS SOPS 778289 HAS SOUS 656598 HAS SOUPS 656598 WITH SCORE 657376.289
AT ITER 2528 NEW BEST:: SOT 4405576 SOS 777717 HAS SOPS 777717 HAS SOUS 656321 HAS SOUPS 656321 WITH SCORE 657098.717
AT ITER 2561 NEW BEST:: SOT 4405554 SOS 777651 HAS SOPS 777651 HAS SOUS 656299 HAS SOUPS 656299 WITH SCORE 657076.651
AT ITER 2585 NEW BEST:: SOT 4405547 SOS 777637 HAS SOPS 777637 HAS SOUS 656292 HAS SOUPS 656292 WITH SCORE 657069.637
AT ITER 2614 NEW BEST:: SOT 4405552 SOS 777552 HAS SOPS 777552 HAS SOUS 656207 HAS SOUPS 656207 WITH SCORE 656984.552
AT ITER 2615 NEW BEST:: SOT 4405285 SOS 777018 HAS SOPS 777018 HAS SOUS 655673 HAS SOUPS 655673 WITH SCORE 656450.018
AT ITER 2623 NEW BEST:: SOT 4405041 SOS 776774 HAS SOPS 776774 HAS SOUS 655429 HAS SOUPS 655429 WITH SCORE 656205.774
AT ITER 2664 NEW BEST:: SOT 4405027 SOS 776746 HAS SOPS 776746 HAS SOUS 655415 HAS SOUPS 655415 WITH SCORE 656191.746
AT ITER 2666 NEW BEST:: SOT 4405027 SOS 776553 HAS SOPS 776553 HAS SOUS 655415 HAS SOUPS 655415 WITH SCORE 656191.553
AT ITER 2675 NEW BEST:: SOT 4404897 SOS 776423 HAS SOPS 776423 HAS SOUS 655285 HAS SOUPS 655285 WITH SCORE 656061.423
AT ITER 2676 NEW BEST:: SOT 4404815 SOS 776635 HAS SOPS 776635 HAS SOUS 655111 HAS SOUPS 655111 WITH SCORE 655887.635
AT ITER 2717 NEW BEST:: SOT 4404754 SOS 776513 HAS SOPS 776513 HAS SOUS 654989 HAS SOUPS 654989 WITH SCORE 655765.513
AT ITER 2722 NEW BEST:: SOT 4404651 SOS 775757 HAS SOPS 775757 HAS SOUS 654647 HAS SOUPS 654647 WITH SCORE 655422.757
AT ITER 2735 NEW BEST:: SOT 4404607 SOS 775669 HAS SOPS 775669 HAS SOUS 654559 HAS SOUPS 654559 WITH SCORE 655334.669
AT ITER 2748 NEW BEST:: SOT 4404570 SOS 775595 HAS SOPS 775595 HAS SOUS 654485 HAS SOUPS 654485 WITH SCORE 655260.595
AT ITER 2758 NEW BEST:: SOT 4404503 SOS 775528 HAS SOPS 775528 HAS SOUS 654484 HAS SOUPS 654484 WITH SCORE 655259.528
AT ITER 2773 NEW BEST:: SOT 4404415 SOS 775352 HAS SOPS 775352 HAS SOUS 654231 HAS SOUPS 654231 WITH SCORE 655006.352
AT ITER 2780 NEW BEST:: SOT 4404293 SOS 775230 HAS SOPS 775230 HAS SOUS 654109 HAS SOUPS 654109 WITH SCORE 654884.23
AT ITER 2781 NEW BEST:: SOT 4404037 SOS 775230 HAS SOPS 775230 HAS SOUS 653981 HAS SOUPS 653981 WITH SCORE 654756.23
AT ITER 2809 NEW BEST:: SOT 4404037 SOS 775158 HAS SOPS 775158 HAS SOUS 653981 HAS SOUPS 653981 WITH SCORE 654756.158
AT ITER 2830 NEW BEST:: SOT 4404015 SOS 775092 HAS SOPS 775092 HAS SOUS 653937 HAS SOUPS 653937 WITH SCORE 654712.092
AT ITER 2840 NEW BEST:: SOT 4404079 SOS 775220 HAS SOPS 775220 HAS SOUS 653925 HAS SOUPS 653925 WITH SCORE 654700.22
AT ITER 2928 NEW BEST:: SOT 4403920 SOS 774584 HAS SOPS 774584 HAS SOUS 653607 HAS SOUPS 653607 WITH SCORE 654381.584
AT ITER 2934 NEW BEST:: SOT 4403834 SOS 774542 HAS SOPS 774542 HAS SOUS 653533 HAS SOUPS 653533 WITH SCORE 654307.542
AT ITER 2935 NEW BEST:: SOT 4404004 SOS 774453 HAS SOPS 774453 HAS SOUS 653444 HAS SOUPS 653444 WITH SCORE 654218.453
AT ITER 2942 NEW BEST:: SOT 4404004 SOS 774290 HAS SOPS 774290 HAS SOUS 653444 HAS SOUPS 653444 WITH SCORE 654218.29
AT ITER 2979 NEW BEST:: SOT 4393205 SOS 774910 HAS SOPS 774910 HAS SOUS 643673 HAS SOUPS 643673 WITH SCORE 644447.91
AT ITER 3000 NEW BEST:: SOT 4388408 SOS 770113 HAS SOPS 770113 HAS SOUS 639029 HAS SOUPS 639029 WITH SCORE 639799.113
AT ITER 3007 NEW BEST:: SOT 4388293 SOS 769999 HAS SOPS 769999 HAS SOUS 638903 HAS SOUPS 638903 WITH SCORE 639672.999
AT ITER 3008 NEW BEST:: SOT 4388075 SOS 769999 HAS SOPS 769999 HAS SOUS 638794 HAS SOUPS 638794 WITH SCORE 639563.999
AT ITER 3043 NEW BEST:: SOT 4388075 SOS 769771 HAS SOPS 769771 HAS SOUS 638794 HAS SOUPS 638794 WITH SCORE 639563.771
AT ITER 3056 NEW BEST:: SOT 4388206 SOS 769604 HAS SOPS 769604 HAS SOUS 638763 HAS SOUPS 638763 WITH SCORE 639532.604
AT ITER 3089 NEW BEST:: SOT 4388104 SOS 769502 HAS SOPS 769502 HAS SOUS 638661 HAS SOUPS 638661 WITH SCORE 639430.502
AT ITER 3095 NEW BEST:: SOT 4388068 SOS 769430 HAS SOPS 769430 HAS SOUS 638589 HAS SOUPS 638589 WITH SCORE 639358.43
AT ITER 3113 NEW BEST:: SOT 4388029 SOS 769352 HAS SOPS 769352 HAS SOUS 638481 HAS SOUPS 638481 WITH SCORE 639250.352
AT ITER 3126 NEW BEST:: SOT 4388063 SOS 769051 HAS SOPS 769051 HAS SOUS 638366 HAS SOUPS 638366 WITH SCORE 639135.051
AT ITER 3139 NEW BEST:: SOT 4388062 SOS 769027 HAS SOPS 769027 HAS SOUS 638364 HAS SOUPS 638364 WITH SCORE 639133.027
AT ITER 3144 NEW BEST:: SOT 4387813 SOS 768529 HAS SOPS 768529 HAS SOUS 637866 HAS SOUPS 637866 WITH SCORE 638634.529
AT ITER 3157 NEW BEST:: SOT 4387459 SOS 768285 HAS SOPS 768285 HAS SOUS 637560 HAS SOUPS 637560 WITH SCORE 638328.285
AT ITER 3167 NEW BEST:: SOT 4387366 SOS 766955 HAS SOPS 766955 HAS SOUS 637459 HAS SOUPS 637459 WITH SCORE 638225.955
AT ITER 3179 NEW BEST:: SOT 4387196 SOS 766785 HAS SOPS 766785 HAS SOUS 637289 HAS SOUPS 637289 WITH SCORE 638055.785
AT ITER 3253 NEW BEST:: SOT 4387091 SOS 766575 HAS SOPS 766575 HAS SOUS 637184 HAS SOUPS 637184 WITH SCORE 637950.575
AT ITER 3258 NEW BEST:: SOT 4387086 SOS 766565 HAS SOPS 766565 HAS SOUS 637174 HAS SOUPS 637174 WITH SCORE 637940.565
AT ITER 3272 NEW BEST:: SOT 4386982 SOS 766357 HAS SOPS 766357 HAS SOUS 636950 HAS SOUPS 636950 WITH SCORE 637716.357
AT ITER 3299 NEW BEST:: SOT 4386778 SOS 766697 HAS SOPS 766697 HAS SOUS 636577 HAS SOUPS 636577 WITH SCORE 637343.697
AT ITER 3304 NEW BEST:: SOT 4386923 SOS 766689 HAS SOPS 766689 HAS SOUS 636573 HAS SOUPS 636573 WITH SCORE 637339.689
AT ITER 3317 NEW BEST:: SOT 4386923 SOS 766689 HAS SOPS 766689 HAS SOUS 636572 HAS SOUPS 636572 WITH SCORE 637338.689
AT ITER 3348 NEW BEST:: SOT 4386709 SOS 766262 HAS SOPS 766262 HAS SOUS 636144 HAS SOUPS 636144 WITH SCORE 636910.262
AT ITER 3386 NEW BEST:: SOT 4386709 SOS 766262 HAS SOPS 766262 HAS SOUS 636059 HAS SOUPS 636059 WITH SCORE 636825.262
AT ITER 3392 NEW BEST:: SOT 4386557 SOS 765958 HAS SOPS 765958 HAS SOUS 635907 HAS SOUPS 635907 WITH SCORE 636672.958
AT ITER 3397 NEW BEST:: SOT 4386708 SOS 766260 HAS SOPS 766260 HAS SOUS 635867 HAS SOUPS 635867 WITH SCORE 636633.26
AT ITER 3412 NEW BEST:: SOT 4386705 SOS 766235 HAS SOPS 766235 HAS SOUS 635842 HAS SOUPS 635842 WITH SCORE 636608.235
AT ITER 3429 NEW BEST:: SOT 4386472 SOS 766421 HAS SOPS 766421 HAS SOUS 635664 HAS SOUPS 635664 WITH SCORE 636430.421
AT ITER 3461 NEW BEST:: SOT 4386472 SOS 766421 HAS SOPS 766421 HAS SOUS 635661 HAS SOUPS 635661 WITH SCORE 636427.421
AT ITER 3470 NEW BEST:: SOT 4386472 SOS 766385 HAS SOPS 766385 HAS SOUS 635661 HAS SOUPS 635661 WITH SCORE 636427.385
AT ITER 3483 NEW BEST:: SOT 4386935 SOS 766643 HAS SOPS 766643 HAS SOUS 635525 HAS SOUPS 635525 WITH SCORE 636291.643
AT ITER 3511 NEW BEST:: SOT 4386935 SOS 766368 HAS SOPS 766368 HAS SOUS 635525 HAS SOUPS 635525 WITH SCORE 636291.368
AT ITER 3535 NEW BEST:: SOT 4386935 SOS 766267 HAS SOPS 766267 HAS SOUS 635424 HAS SOUPS 635424 WITH SCORE 636190.267
AT ITER 3603 NEW BEST:: SOT 4386914 SOS 766120 HAS SOPS 766120 HAS SOUS 635382 HAS SOUPS 635382 WITH SCORE 636148.12
AT ITER 3608 NEW BEST:: SOT 4386762 SOS 765816 HAS SOPS 765816 HAS SOUS 635078 HAS SOUPS 635078 WITH SCORE 635843.816
AT ITER 3633 NEW BEST:: SOT 4386671 SOS 765634 HAS SOPS 765634 HAS SOUS 634752 HAS SOUPS 634752 WITH SCORE 635517.634
AT ITER 3654 NEW BEST:: SOT 4386551 SOS 765608 HAS SOPS 765608 HAS SOUS 634463 HAS SOUPS 634463 WITH SCORE 635228.608
AT ITER 3662 NEW BEST:: SOT 4386361 SOS 765228 HAS SOPS 765228 HAS SOUS 634241 HAS SOUPS 634241 WITH SCORE 635006.228
AT ITER 3663 NEW BEST:: SOT 4386320 SOS 765146 HAS SOPS 765146 HAS SOUS 634159 HAS SOUPS 634159 WITH SCORE 634924.146
AT ITER 3678 NEW BEST:: SOT 4386298 SOS 765124 HAS SOPS 765124 HAS SOUS 634137 HAS SOUPS 634137 WITH SCORE 634902.124
AT ITER 3679 NEW BEST:: SOT 4386259 SOS 765314 HAS SOPS 765314 HAS SOUS 634059 HAS SOUPS 634059 WITH SCORE 634824.314
AT ITER 3684 NEW BEST:: SOT 4386232 SOS 765260 HAS SOPS 765260 HAS SOUS 634032 HAS SOUPS 634032 WITH SCORE 634797.26
AT ITER 3691 NEW BEST:: SOT 4386101 SOS 764720 HAS SOPS 764720 HAS SOUS 633736 HAS SOUPS 633736 WITH SCORE 634500.72
AT ITER 3699 NEW BEST:: SOT 4386053 SOS 764724 HAS SOPS 764724 HAS SOUS 633673 HAS SOUPS 633673 WITH SCORE 634437.724
AT ITER 3767 NEW BEST:: SOT 4386052 SOS 764639 HAS SOPS 764639 HAS SOUS 633589 HAS SOUPS 633589 WITH SCORE 634353.639
AT ITER 3793 NEW BEST:: SOT 4385988 SOS 764339 HAS SOPS 764339 HAS SOUS 633288 HAS SOUPS 633288 WITH SCORE 634052.339
AT ITER 3807 NEW BEST:: SOT 4385712 SOS 764191 HAS SOPS 764191 HAS SOUS 633140 HAS SOUPS 633140 WITH SCORE 633904.191
AT ITER 3808 NEW BEST:: SOT 4385392 SOS 763551 HAS SOPS 763551 HAS SOUS 632500 HAS SOUPS 632500 WITH SCORE 633263.551
AT ITER 3865 NEW BEST:: SOT 4385369 SOS 763505 HAS SOPS 763505 HAS SOUS 632454 HAS SOUPS 632454 WITH SCORE 633217.505
AT ITER 3887 NEW BEST:: SOT 4385014 SOS 763011 HAS SOPS 763011 HAS SOUS 631883 HAS SOUPS 631883 WITH SCORE 632646.011
AT ITER 3926 NEW BEST:: SOT 4385008 SOS 762999 HAS SOPS 762999 HAS SOUS 631871 HAS SOUPS 631871 WITH SCORE 632633.999
AT ITER 3943 NEW BEST:: SOT 4384992 SOS 762967 HAS SOPS 762967 HAS SOUS 631847 HAS SOUPS 631847 WITH SCORE 632609.967
AT ITER 3957 NEW BEST:: SOT 4384938 SOS 762913 HAS SOPS 762913 HAS SOUS 631793 HAS SOUPS 631793 WITH SCORE 632555.913
AT ITER 3994 NEW BEST:: SOT 4384221 SOS 763915 HAS SOPS 763915 HAS SOUS 631657 HAS SOUPS 631657 WITH SCORE 632420.915
AT ITER 3995 NEW BEST:: SOT 4384211 SOS 763895 HAS SOPS 763895 HAS SOUS 631637 HAS SOUPS 631637 WITH SCORE 632400.895
AT ITER 4012 NEW BEST:: SOT 4384211 SOS 763821 HAS SOPS 763821 HAS SOUS 631563 HAS SOUPS 631563 WITH SCORE 632326.821
AT ITER 4013 NEW BEST:: SOT 4384256 SOS 763550 HAS SOPS 763550 HAS SOUS 631274 HAS SOUPS 631274 WITH SCORE 632037.55
AT ITER 4015 NEW BEST:: SOT 4383937 SOS 762690 HAS SOPS 762690 HAS SOUS 630759 HAS SOUPS 630759 WITH SCORE 631521.69
AT ITER 4021 NEW BEST:: SOT 4383834 SOS 762484 HAS SOPS 762484 HAS SOUS 630553 HAS SOUPS 630553 WITH SCORE 631315.484
AT ITER 4033 NEW BEST:: SOT 4383845 SOS 762593 HAS SOPS 762593 HAS SOUS 630488 HAS SOUPS 630488 WITH SCORE 631250.593
AT ITER 4049 NEW BEST:: SOT 4383845 SOS 762593 HAS SOPS 762593 HAS SOUS 630478 HAS SOUPS 630478 WITH SCORE 631240.593
AT ITER 4056 NEW BEST:: SOT 4383844 SOS 762591 HAS SOPS 762591 HAS SOUS 630476 HAS SOUPS 630476 WITH SCORE 631238.591
AT ITER 4113 NEW BEST:: SOT 4383833 SOS 762569 HAS SOPS 762569 HAS SOUS 630454 HAS SOUPS 630454 WITH SCORE 631216.569
AT ITER 4138 NEW BEST:: SOT 4383751 SOS 762405 HAS SOPS 762405 HAS SOUS 630371 HAS SOUPS 630371 WITH SCORE 631133.405
AT ITER 4189 NEW BEST:: SOT 4383593 SOS 762089 HAS SOPS 762089 HAS SOUS 630055 HAS SOUPS 630055 WITH SCORE 630817.089
AT ITER 4193 NEW BEST:: SOT 4383532 SOS 761967 HAS SOPS 761967 HAS SOUS 629997 HAS SOUPS 629997 WITH SCORE 630758.967
AT ITER 4198 NEW BEST:: SOT 4383414 SOS 761541 HAS SOPS 761541 HAS SOUS 629761 HAS SOUPS 629761 WITH SCORE 630522.541
AT ITER 4209 NEW BEST:: SOT 4383302 SOS 761317 HAS SOPS 761317 HAS SOUS 629537 HAS SOUPS 629537 WITH SCORE 630298.317
AT ITER 4227 NEW BEST:: SOT 4383061 SOS 760835 HAS SOPS 760835 HAS SOUS 629055 HAS SOUPS 629055 WITH SCORE 629815.835
AT ITER 4238 NEW BEST:: SOT 4383016 SOS 760745 HAS SOPS 760745 HAS SOUS 628965 HAS SOUPS 628965 WITH SCORE 629725.745
AT ITER 4256 NEW BEST:: SOT 4382870 SOS 760658 HAS SOPS 760658 HAS SOUS 628819 HAS SOUPS 628819 WITH SCORE 629579.658
AT ITER 4260 NEW BEST:: SOT 4382507 SOS 759932 HAS SOPS 759932 HAS SOUS 628186 HAS SOUPS 628186 WITH SCORE 628945.932
AT ITER 4266 NEW BEST:: SOT 4382506 SOS 759930 HAS SOPS 759930 HAS SOUS 628184 HAS SOUPS 628184 WITH SCORE 628943.93
AT ITER 4282 NEW BEST:: SOT 4382458 SOS 759858 HAS SOPS 759858 HAS SOUS 628112 HAS SOUPS 628112 WITH SCORE 628871.858
AT ITER 4304 NEW BEST:: SOT 4382273 SOS 759622 HAS SOPS 759622 HAS SOUS 627876 HAS SOUPS 627876 WITH SCORE 628635.622
AT ITER 4341 NEW BEST:: SOT 4382132 SOS 759481 HAS SOPS 759481 HAS SOUS 627594 HAS SOUPS 627594 WITH SCORE 628353.481
AT ITER 4381 NEW BEST:: SOT 4382055 SOS 759327 HAS SOPS 759327 HAS SOUS 627440 HAS SOUPS 627440 WITH SCORE 628199.327
AT ITER 4385 NEW BEST:: SOT 4381877 SOS 759215 HAS SOPS 759215 HAS SOUS 627328 HAS SOUPS 627328 WITH SCORE 628087.215
AT ITER 4414 NEW BEST:: SOT 4381781 SOS 759119 HAS SOPS 759119 HAS SOUS 627232 HAS SOUPS 627232 WITH SCORE 627991.119
AT ITER 4418 NEW BEST:: SOT 4381757 SOS 759071 HAS SOPS 759071 HAS SOUS 627184 HAS SOUPS 627184 WITH SCORE 627943.071
AT ITER 4446 NEW BEST:: SOT 4381757 SOS 759071 HAS SOPS 759071 HAS SOUS 627183 HAS SOUPS 627183 WITH SCORE 627942.071
AT ITER 4454 NEW BEST:: SOT 4381530 SOS 758844 HAS SOPS 758844 HAS SOUS 627183 HAS SOUPS 627183 WITH SCORE 627941.844
AT ITER 4485 NEW BEST:: SOT 4381500 SOS 758784 HAS SOPS 758784 HAS SOUS 627153 HAS SOUPS 627153 WITH SCORE 627911.784
AT ITER 4497 NEW BEST:: SOT 4381498 SOS 758780 HAS SOPS 758780 HAS SOUS 627151 HAS SOUPS 627151 WITH SCORE 627909.78
AT ITER 4515 NEW BEST:: SOT 4381475 SOS 758734 HAS SOPS 758734 HAS SOUS 627105 HAS SOUPS 627105 WITH SCORE 627863.734
AT ITER 4575 NEW BEST:: SOT 4381313 SOS 758274 HAS SOPS 758274 HAS SOUS 626804 HAS SOUPS 626804 WITH SCORE 627562.274
AT ITER 4585 NEW BEST:: SOT 4381303 SOS 758254 HAS SOPS 758254 HAS SOUS 626784 HAS SOUPS 626784 WITH SCORE 627542.254
AT ITER 4592 NEW BEST:: SOT 4381265 SOS 758178 HAS SOPS 758178 HAS SOUS 626746 HAS SOUPS 626746 WITH SCORE 627504.178
AT ITER 4607 NEW BEST:: SOT 4381264 SOS 758176 HAS SOPS 758176 HAS SOUS 626744 HAS SOUPS 626744 WITH SCORE 627502.176
AT ITER 4617 NEW BEST:: SOT 4381089 SOS 757710 HAS SOPS 757710 HAS SOUS 626453 HAS SOUPS 626453 WITH SCORE 627210.71
AT ITER 4661 NEW BEST:: SOT 4380995 SOS 757522 HAS SOPS 757522 HAS SOUS 626265 HAS SOUPS 626265 WITH SCORE 627022.522
AT ITER 4699 NEW BEST:: SOT 4380939 SOS 757480 HAS SOPS 757480 HAS SOUS 626223 HAS SOUPS 626223 WITH SCORE 626980.48
AT ITER 4734 NEW BEST:: SOT 4380908 SOS 757418 HAS SOPS 757418 HAS SOUS 626161 HAS SOUPS 626161 WITH SCORE 626918.418
AT ITER 4737 NEW BEST:: SOT 4380603 SOS 757312 HAS SOPS 757312 HAS SOUS 625912 HAS SOUPS 625912 WITH SCORE 626669.312
AT ITER 4760 NEW BEST:: SOT 4380603 SOS 757312 HAS SOPS 757312 HAS SOUS 625906 HAS SOUPS 625906 WITH SCORE 626663.312
AT ITER 4770 NEW BEST:: SOT 4380603 SOS 757312 HAS SOPS 757312 HAS SOUS 625713 HAS SOUPS 625713 WITH SCORE 626470.312
AT ITER 4775 NEW BEST:: SOT 4380557 SOS 757128 HAS SOPS 757128 HAS SOUS 625621 HAS SOUPS 625621 WITH SCORE 626378.128
AT ITER 4790 NEW BEST:: SOT 4380380 SOS 757137 HAS SOPS 757137 HAS SOUS 625267 HAS SOUPS 625267 WITH SCORE 626024.137
AT ITER 4803 NEW BEST:: SOT 4380340 SOS 757057 HAS SOPS 757057 HAS SOUS 625174 HAS SOUPS 625174 WITH SCORE 625931.057
AT ITER 4815 NEW BEST:: SOT 4380175 SOS 756727 HAS SOPS 756727 HAS SOUS 624844 HAS SOUPS 624844 WITH SCORE 625600.727
AT ITER 4816 NEW BEST:: SOT 4380127 SOS 756679 HAS SOPS 756679 HAS SOUS 624796 HAS SOUPS 624796 WITH SCORE 625552.679
AT ITER 4824 NEW BEST:: SOT 4379884 SOS 756476 HAS SOPS 756476 HAS SOUS 624553 HAS SOUPS 624553 WITH SCORE 625309.476
AT ITER 4894 NEW BEST:: SOT 4379768 SOS 756244 HAS SOPS 756244 HAS SOUS 624321 HAS SOUPS 624321 WITH SCORE 625077.244
AT ITER 4931 NEW BEST:: SOT 4379828 SOS 756364 HAS SOPS 756364 HAS SOUS 624288 HAS SOUPS 624288 WITH SCORE 625044.364
AT ITER 4974 NEW BEST:: SOT 4379755 SOS 756218 HAS SOPS 756218 HAS SOUS 624142 HAS SOUPS 624142 WITH SCORE 624898.218
AT ITER 4981 NEW BEST:: SOT 4379754 SOS 756464 HAS SOPS 756464 HAS SOUS 624141 HAS SOUPS 624141 WITH SCORE 624897.464
AT ITER 4984 NEW BEST:: SOT 4379707 SOS 756370 HAS SOPS 756370 HAS SOUS 624027 HAS SOUPS 624027 WITH SCORE 624783.37
AT ITER 4991 NEW BEST:: SOT 4379645 SOS 756143 HAS SOPS 756143 HAS SOUS 623966 HAS SOUPS 623966 WITH SCORE 624722.143
AT ITER 4998 NEW BEST:: SOT 4379643 SOS 756139 HAS SOPS 756139 HAS SOUS 623962 HAS SOUPS 623962 WITH SCORE 624718.139
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-00 (EF(( (EF(potential( ( 3 ) <= (tk(P2100)) ))) | ( ( potential( ( 3 ) <= (tk(P2357)) ) | potential( ( 1 ) <= (tk(P887)) ) ) & ( potential( ( 2 ) <= (tk(P871)) ) & potential( ( 2 ) <= (tk(P2023)) ) ) ) )))
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-01 ( (EG( (AG( potential( (tk(P210)) <= (tk(P539)) ))))) & (! (EG( potential( ( 3 ) <= (tk(P1562)) )))) )
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-02 (EF(( (AF(potential( ( 2 ) <= (tk(P1488)) ))) | (AF(potential( ( 2 ) <= (tk(P597)) ))) )))
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-03 (AF((! potential( (tk(P1906)) <= (tk(P1074)) ))))
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-04 (AG( (AF(( potential( (tk(P1032)) <= (tk(P2477)) ) | potential( (tk(P1346)) <= (tk(P1047)) ) )))))
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-05 (AG( ( ( ( potential( (tk(P2132)) <= (tk(P2082)) ) | potential( (tk(P1612)) <= (tk(P456)) ) ) & ( potential( ( 2 ) <= (tk(P574)) ) | potential( (tk(P879)) <= (tk(P597)) ) ) ) | ( potential( (tk(P999)) <= (tk(P1468)) ) | ( potential( ( 2 ) <= (tk(P889)) ) & potential( (tk(P434)) <= (tk(P449)) ) ) ) )))
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-06 (AG( (AF(potential( (tk(P2402)) <= (tk(P566)) )))))
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-07 ( (! potential( ( 3 ) <= (tk(P367)) )) & ( (AG( (! potential( ( 1 ) <= (tk(P1776)) )))) & ( ( ( potential( ( 3 ) <= (tk(P903)) ) | potential( ( 3 ) <= (tk(P1591)) ) ) | potential( (tk(P583)) <= (tk(P1687)) ) ) | potential( (tk(P2089)) <= (tk(P723)) ) ) ) )
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-08 (! (AF((EF(potential( ( 2 ) <= (tk(P1930)) ))))))
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-09 (EG( (! (! ( potential( (tk(P1065)) <= (tk(P1302)) ) | potential( (tk(P2039)) <= (tk(P1363)) ) )))))
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-10 ( (EU( (! potential( ( 3 ) <= (tk(P1072)) )),(! potential( (tk(P1393)) <= (tk(P196)) )) )) & (! (AX( ( potential( (tk(P89)) <= (tk(P1600)) ) & potential( ( 1 ) <= (tk(P892)) ) )))) )
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-11 (EG( (AF(potential( ( 2 ) <= (tk(P1837)) )))))
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-12 ( (AU( (! potential( ( 3 ) <= (tk(P2472)) )),(! potential( ( 2 ) <= (tk(P2442)) )) )) & ( (AX( (! potential( (tk(P2326)) <= (tk(P1002)) )))) | (! (EG( potential( (tk(P1360)) <= (tk(P1687)) )))) ) )
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-13 (! ( ( (AF(potential( (tk(P70)) <= (tk(P1416)) ))) & potential( (tk(P570)) <= (tk(P324)) ) ) & (EU( potential( (tk(P2475)) <= (tk(P11)) ),potential( ( 1 ) <= (tk(P2451)) ) )) ))
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-14 ( ( (EF(( potential( ( 3 ) <= (tk(P753)) ) | potential( ( 1 ) <= (tk(P1855)) ) ))) | ( (! potential( (tk(P475)) <= (tk(P1847)) )) | (AX( potential( ( 2 ) <= (tk(P2574)) ))) ) ) | ( (EU( potential( (tk(P2299)) <= (tk(P1530)) ),potential( (tk(P369)) <= (tk(P2142)) ) )) & (EU( potential( ( 3 ) <= (tk(P2008)) ),potential( ( 3 ) <= (tk(P1332)) ) )) ) )
PROPERTY: CloudReconfiguration-PT-312-CTLCardinality-15 (AG( (EF(( potential( ( 2 ) <= (tk(P353)) ) | potential( ( 1 ) <= (tk(P2472)) ) )))))

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-312"
export BK_EXAMINATION="CTLCardinality"
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-312, examination is CTLCardinality"
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-158902541700091"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-312.tgz
mv CloudReconfiguration-PT-312 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;