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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.0K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K 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.5K 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 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K 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 3.0K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:14 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-313-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-313-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589095453792

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 313
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 4448374 SOS 744561 HAS SOPS 744561 HAS SOUS 686887 HAS SOUPS 686887 WITH SCORE 687631.561
AT ITER 8 NEW BEST:: SOT 4448186 SOS 744185 HAS SOPS 744185 HAS SOUS 686511 HAS SOUPS 686511 WITH SCORE 687255.185
AT ITER 28 NEW BEST:: SOT 4448185 SOS 744183 HAS SOPS 744183 HAS SOUS 686509 HAS SOUPS 686509 WITH SCORE 687253.183
AT ITER 32 NEW BEST:: SOT 4448397 SOS 744136 HAS SOPS 744136 HAS SOUS 686462 HAS SOUPS 686462 WITH SCORE 687206.136
AT ITER 38 NEW BEST:: SOT 4448396 SOS 744134 HAS SOPS 744134 HAS SOUS 686460 HAS SOUPS 686460 WITH SCORE 687204.134
AT ITER 52 NEW BEST:: SOT 4447801 SOS 743271 HAS SOPS 743271 HAS SOUS 685538 HAS SOUPS 685538 WITH SCORE 686281.271
AT ITER 73 NEW BEST:: SOT 4445571 SOS 744085 HAS SOPS 744085 HAS SOUS 683998 HAS SOUPS 683998 WITH SCORE 684742.085
AT ITER 115 NEW BEST:: SOT 4445403 SOS 744071 HAS SOPS 744071 HAS SOUS 683883 HAS SOUPS 683883 WITH SCORE 684627.071
AT ITER 117 NEW BEST:: SOT 4445411 SOS 743725 HAS SOPS 743725 HAS SOUS 683589 HAS SOUPS 683589 WITH SCORE 684332.725
AT ITER 131 NEW BEST:: SOT 4445411 SOS 743725 HAS SOPS 743725 HAS SOUS 683566 HAS SOUPS 683566 WITH SCORE 684309.725
AT ITER 132 NEW BEST:: SOT 4445410 SOS 743723 HAS SOPS 743723 HAS SOUS 683564 HAS SOUPS 683564 WITH SCORE 684307.723
AT ITER 134 NEW BEST:: SOT 4445272 SOS 743585 HAS SOPS 743585 HAS SOUS 683426 HAS SOUPS 683426 WITH SCORE 684169.585
AT ITER 155 NEW BEST:: SOT 4445177 SOS 744433 HAS SOPS 744433 HAS SOUS 683331 HAS SOUPS 683331 WITH SCORE 684075.433
AT ITER 159 NEW BEST:: SOT 4445115 SOS 744309 HAS SOPS 744309 HAS SOUS 683207 HAS SOUPS 683207 WITH SCORE 683951.309
AT ITER 164 NEW BEST:: SOT 4445115 SOS 744067 HAS SOPS 744067 HAS SOUS 683086 HAS SOUPS 683086 WITH SCORE 683830.067
AT ITER 173 NEW BEST:: SOT 4445115 SOS 743816 HAS SOPS 743816 HAS SOUS 682835 HAS SOUPS 682835 WITH SCORE 683578.816
AT ITER 175 NEW BEST:: SOT 4444978 SOS 743808 HAS SOPS 743808 HAS SOUS 682637 HAS SOUPS 682637 WITH SCORE 683380.808
AT ITER 186 NEW BEST:: SOT 4444875 SOS 743834 HAS SOPS 743834 HAS SOUS 682534 HAS SOUPS 682534 WITH SCORE 683277.834
AT ITER 202 NEW BEST:: SOT 4444875 SOS 743541 HAS SOPS 743541 HAS SOUS 682534 HAS SOUPS 682534 WITH SCORE 683277.541
AT ITER 216 NEW BEST:: SOT 4444929 SOS 743649 HAS SOPS 743649 HAS SOUS 682363 HAS SOUPS 682363 WITH SCORE 683106.649
AT ITER 235 NEW BEST:: SOT 4444604 SOS 743333 HAS SOPS 743333 HAS SOUS 682047 HAS SOUPS 682047 WITH SCORE 682790.333
AT ITER 247 NEW BEST:: SOT 4444429 SOS 742686 HAS SOPS 742686 HAS SOUS 681506 HAS SOUPS 681506 WITH SCORE 682248.686
AT ITER 252 NEW BEST:: SOT 4444355 SOS 742612 HAS SOPS 742612 HAS SOUS 681506 HAS SOUPS 681506 WITH SCORE 682248.612
AT ITER 280 NEW BEST:: SOT 4444355 SOS 742554 HAS SOPS 742554 HAS SOUS 681506 HAS SOUPS 681506 WITH SCORE 682248.554
AT ITER 321 NEW BEST:: SOT 4444434 SOS 742298 HAS SOPS 742298 HAS SOUS 681378 HAS SOUPS 681378 WITH SCORE 682120.298
AT ITER 336 NEW BEST:: SOT 4444358 SOS 741772 HAS SOPS 741772 HAS SOUS 680906 HAS SOUPS 680906 WITH SCORE 681647.772
AT ITER 345 NEW BEST:: SOT 4444467 SOS 741990 HAS SOPS 741990 HAS SOUS 680843 HAS SOUPS 680843 WITH SCORE 681584.99
AT ITER 357 NEW BEST:: SOT 4444467 SOS 741891 HAS SOPS 741891 HAS SOUS 680744 HAS SOUPS 680744 WITH SCORE 681485.891
AT ITER 389 NEW BEST:: SOT 4444388 SOS 741812 HAS SOPS 741812 HAS SOUS 680665 HAS SOUPS 680665 WITH SCORE 681406.812
AT ITER 390 NEW BEST:: SOT 4444324 SOS 741892 HAS SOPS 741892 HAS SOUS 680601 HAS SOUPS 680601 WITH SCORE 681342.892
AT ITER 394 NEW BEST:: SOT 4443940 SOS 742292 HAS SOPS 742292 HAS SOUS 680438 HAS SOUPS 680438 WITH SCORE 681180.292
AT ITER 399 NEW BEST:: SOT 4443839 SOS 742273 HAS SOPS 742273 HAS SOUS 680336 HAS SOUPS 680336 WITH SCORE 681078.273
AT ITER 402 NEW BEST:: SOT 4443839 SOS 742067 HAS SOPS 742067 HAS SOUS 680336 HAS SOUPS 680336 WITH SCORE 681078.067
AT ITER 410 NEW BEST:: SOT 4443777 SOS 741943 HAS SOPS 741943 HAS SOUS 680212 HAS SOUPS 680212 WITH SCORE 680953.943
AT ITER 434 NEW BEST:: SOT 4443777 SOS 741896 HAS SOPS 741896 HAS SOUS 680165 HAS SOUPS 680165 WITH SCORE 680906.896
AT ITER 444 NEW BEST:: SOT 4443735 SOS 741868 HAS SOPS 741868 HAS SOUS 680123 HAS SOUPS 680123 WITH SCORE 680864.868
AT ITER 452 NEW BEST:: SOT 4443695 SOS 741831 HAS SOPS 741831 HAS SOUS 680083 HAS SOUPS 680083 WITH SCORE 680824.831
AT ITER 458 NEW BEST:: SOT 4443566 SOS 741703 HAS SOPS 741703 HAS SOUS 679889 HAS SOUPS 679889 WITH SCORE 680630.703
AT ITER 466 NEW BEST:: SOT 4443566 SOS 741703 HAS SOPS 741703 HAS SOUS 679580 HAS SOUPS 679580 WITH SCORE 680321.703
AT ITER 483 NEW BEST:: SOT 4443534 SOS 741639 HAS SOPS 741639 HAS SOUS 679547 HAS SOUPS 679547 WITH SCORE 680288.639
AT ITER 497 NEW BEST:: SOT 4442674 SOS 741653 HAS SOPS 741653 HAS SOUS 679082 HAS SOUPS 679082 WITH SCORE 679823.653
AT ITER 511 NEW BEST:: SOT 4442673 SOS 741651 HAS SOPS 741651 HAS SOUS 679080 HAS SOUPS 679080 WITH SCORE 679821.651
AT ITER 521 NEW BEST:: SOT 4442673 SOS 741371 HAS SOPS 741371 HAS SOUS 678800 HAS SOUPS 678800 WITH SCORE 679541.371
AT ITER 525 NEW BEST:: SOT 4442609 SOS 741243 HAS SOPS 741243 HAS SOUS 678698 HAS SOUPS 678698 WITH SCORE 679439.243
AT ITER 530 NEW BEST:: SOT 4442593 SOS 741211 HAS SOPS 741211 HAS SOUS 678666 HAS SOUPS 678666 WITH SCORE 679407.211
AT ITER 554 NEW BEST:: SOT 4442593 SOS 741211 HAS SOPS 741211 HAS SOUS 678566 HAS SOUPS 678566 WITH SCORE 679307.211
AT ITER 582 NEW BEST:: SOT 4442589 SOS 741203 HAS SOPS 741203 HAS SOUS 678553 HAS SOUPS 678553 WITH SCORE 679294.203
AT ITER 587 NEW BEST:: SOT 4442416 SOS 740554 HAS SOPS 740554 HAS SOUS 678087 HAS SOUPS 678087 WITH SCORE 678827.554
AT ITER 599 NEW BEST:: SOT 4442416 SOS 740554 HAS SOPS 740554 HAS SOUS 678039 HAS SOUPS 678039 WITH SCORE 678779.554
AT ITER 620 NEW BEST:: SOT 4442152 SOS 740290 HAS SOPS 740290 HAS SOUS 677775 HAS SOUPS 677775 WITH SCORE 678515.29
AT ITER 642 NEW BEST:: SOT 4442227 SOS 740440 HAS SOPS 740440 HAS SOUS 677667 HAS SOUPS 677667 WITH SCORE 678407.44
AT ITER 645 NEW BEST:: SOT 4442227 SOS 739880 HAS SOPS 739880 HAS SOUS 677387 HAS SOUPS 677387 WITH SCORE 678126.88
AT ITER 648 NEW BEST:: SOT 4442084 SOS 739739 HAS SOPS 739739 HAS SOUS 677246 HAS SOUPS 677246 WITH SCORE 677985.739
AT ITER 695 NEW BEST:: SOT 4442039 SOS 739649 HAS SOPS 739649 HAS SOUS 677156 HAS SOUPS 677156 WITH SCORE 677895.649
AT ITER 701 NEW BEST:: SOT 4441824 SOS 739219 HAS SOPS 739219 HAS SOUS 676726 HAS SOUPS 676726 WITH SCORE 677465.219
AT ITER 704 NEW BEST:: SOT 4441656 SOS 739051 HAS SOPS 739051 HAS SOUS 676558 HAS SOUPS 676558 WITH SCORE 677297.051
AT ITER 722 NEW BEST:: SOT 4441513 SOS 739497 HAS SOPS 739497 HAS SOUS 676520 HAS SOUPS 676520 WITH SCORE 677259.497
AT ITER 741 NEW BEST:: SOT 4441502 SOS 739475 HAS SOPS 739475 HAS SOUS 676352 HAS SOUPS 676352 WITH SCORE 677091.475
AT ITER 756 NEW BEST:: SOT 4441330 SOS 739303 HAS SOPS 739303 HAS SOUS 676180 HAS SOUPS 676180 WITH SCORE 676919.303
AT ITER 762 NEW BEST:: SOT 4440520 SOS 741049 HAS SOPS 741049 HAS SOUS 675777 HAS SOUPS 675777 WITH SCORE 676518.049
AT ITER 810 NEW BEST:: SOT 4440606 SOS 740913 HAS SOPS 740913 HAS SOUS 675709 HAS SOUPS 675709 WITH SCORE 676449.913
AT ITER 822 NEW BEST:: SOT 4440401 SOS 740708 HAS SOPS 740708 HAS SOUS 675504 HAS SOUPS 675504 WITH SCORE 676244.708
AT ITER 824 NEW BEST:: SOT 4440375 SOS 740656 HAS SOPS 740656 HAS SOUS 675451 HAS SOUPS 675451 WITH SCORE 676191.656
AT ITER 858 NEW BEST:: SOT 4440997 SOS 741589 HAS SOPS 741589 HAS SOUS 675420 HAS SOUPS 675420 WITH SCORE 676161.589
AT ITER 904 NEW BEST:: SOT 4440856 SOS 741674 HAS SOPS 741674 HAS SOUS 675402 HAS SOUPS 675402 WITH SCORE 676143.674
AT ITER 1015 NEW BEST:: SOT 4440711 SOS 741991 HAS SOPS 741991 HAS SOUS 675327 HAS SOUPS 675327 WITH SCORE 676068.991
AT ITER 1036 NEW BEST:: SOT 4440711 SOS 741819 HAS SOPS 741819 HAS SOUS 675327 HAS SOUPS 675327 WITH SCORE 676068.819
AT ITER 1038 NEW BEST:: SOT 4440792 SOS 741617 HAS SOPS 741617 HAS SOUS 675150 HAS SOUPS 675150 WITH SCORE 675891.617
AT ITER 1044 NEW BEST:: SOT 4440641 SOS 741315 HAS SOPS 741315 HAS SOUS 674848 HAS SOUPS 674848 WITH SCORE 675589.315
AT ITER 1077 NEW BEST:: SOT 4440640 SOS 741264 HAS SOPS 741264 HAS SOUS 674798 HAS SOUPS 674798 WITH SCORE 675539.264
AT ITER 1084 NEW BEST:: SOT 4440611 SOS 741206 HAS SOPS 741206 HAS SOUS 674740 HAS SOUPS 674740 WITH SCORE 675481.206
AT ITER 1112 NEW BEST:: SOT 4440417 SOS 741189 HAS SOPS 741189 HAS SOUS 674314 HAS SOUPS 674314 WITH SCORE 675055.189
AT ITER 1122 NEW BEST:: SOT 4440416 SOS 741187 HAS SOPS 741187 HAS SOUS 674312 HAS SOUPS 674312 WITH SCORE 675053.187
AT ITER 1145 NEW BEST:: SOT 4440455 SOS 741042 HAS SOPS 741042 HAS SOUS 674167 HAS SOUPS 674167 WITH SCORE 674908.042
AT ITER 1155 NEW BEST:: SOT 4440200 SOS 740787 HAS SOPS 740787 HAS SOUS 673912 HAS SOUPS 673912 WITH SCORE 674652.787
AT ITER 1178 NEW BEST:: SOT 4440164 SOS 740715 HAS SOPS 740715 HAS SOUS 673840 HAS SOUPS 673840 WITH SCORE 674580.715
AT ITER 1213 NEW BEST:: SOT 4440163 SOS 740438 HAS SOPS 740438 HAS SOUS 673838 HAS SOUPS 673838 WITH SCORE 674578.438
AT ITER 1235 NEW BEST:: SOT 4440009 SOS 739957 HAS SOPS 739957 HAS SOUS 673363 HAS SOUPS 673363 WITH SCORE 674102.957
AT ITER 1246 NEW BEST:: SOT 4440009 SOS 739853 HAS SOPS 739853 HAS SOUS 673311 HAS SOUPS 673311 WITH SCORE 674050.853
AT ITER 1280 NEW BEST:: SOT 4439847 SOS 739529 HAS SOPS 739529 HAS SOUS 673149 HAS SOUPS 673149 WITH SCORE 673888.529
AT ITER 1287 NEW BEST:: SOT 4439633 SOS 739406 HAS SOPS 739406 HAS SOUS 672935 HAS SOUPS 672935 WITH SCORE 673674.406
AT ITER 1292 NEW BEST:: SOT 4439578 SOS 739296 HAS SOPS 739296 HAS SOUS 672825 HAS SOUPS 672825 WITH SCORE 673564.296
AT ITER 1300 NEW BEST:: SOT 4439578 SOS 739296 HAS SOPS 739296 HAS SOUS 672726 HAS SOUPS 672726 WITH SCORE 673465.296
AT ITER 1321 NEW BEST:: SOT 4439578 SOS 739255 HAS SOPS 739255 HAS SOUS 672726 HAS SOUPS 672726 WITH SCORE 673465.255
AT ITER 1323 NEW BEST:: SOT 4439517 SOS 739143 HAS SOPS 739143 HAS SOUS 672604 HAS SOUPS 672604 WITH SCORE 673343.143
AT ITER 1329 NEW BEST:: SOT 4439469 SOS 739047 HAS SOPS 739047 HAS SOUS 672508 HAS SOUPS 672508 WITH SCORE 673247.047
AT ITER 1335 NEW BEST:: SOT 4439590 SOS 738954 HAS SOPS 738954 HAS SOUS 672444 HAS SOUPS 672444 WITH SCORE 673182.954
AT ITER 1337 NEW BEST:: SOT 4439526 SOS 738762 HAS SOPS 738762 HAS SOUS 672316 HAS SOUPS 672316 WITH SCORE 673054.762
AT ITER 1369 NEW BEST:: SOT 4439526 SOS 738762 HAS SOPS 738762 HAS SOUS 672285 HAS SOUPS 672285 WITH SCORE 673023.762
AT ITER 1406 NEW BEST:: SOT 4439265 SOS 738414 HAS SOPS 738414 HAS SOUS 671937 HAS SOUPS 671937 WITH SCORE 672675.414
AT ITER 1416 NEW BEST:: SOT 4439361 SOS 738232 HAS SOPS 738232 HAS SOUS 671794 HAS SOUPS 671794 WITH SCORE 672532.232
AT ITER 1421 NEW BEST:: SOT 4439361 SOS 738138 HAS SOPS 738138 HAS SOUS 671794 HAS SOUPS 671794 WITH SCORE 672532.138
AT ITER 1443 NEW BEST:: SOT 4439324 SOS 738064 HAS SOPS 738064 HAS SOUS 671720 HAS SOUPS 671720 WITH SCORE 672458.064
AT ITER 1452 NEW BEST:: SOT 4439021 SOS 737820 HAS SOPS 737820 HAS SOUS 671446 HAS SOUPS 671446 WITH SCORE 672183.82
AT ITER 1458 NEW BEST:: SOT 4438703 SOS 737569 HAS SOPS 737569 HAS SOUS 671128 HAS SOUPS 671128 WITH SCORE 671865.569
AT ITER 1495 NEW BEST:: SOT 4438552 SOS 737418 HAS SOPS 737418 HAS SOUS 670977 HAS SOUPS 670977 WITH SCORE 671714.418
AT ITER 1504 NEW BEST:: SOT 4438426 SOS 737166 HAS SOPS 737166 HAS SOUS 670725 HAS SOUPS 670725 WITH SCORE 671462.166
AT ITER 1514 NEW BEST:: SOT 4438269 SOS 737238 HAS SOPS 737238 HAS SOUS 670646 HAS SOUPS 670646 WITH SCORE 671383.238
AT ITER 1563 NEW BEST:: SOT 4438269 SOS 737238 HAS SOPS 737238 HAS SOUS 670566 HAS SOUPS 670566 WITH SCORE 671303.238
AT ITER 1565 NEW BEST:: SOT 4438107 SOS 736914 HAS SOPS 736914 HAS SOUS 670242 HAS SOUPS 670242 WITH SCORE 670978.914
AT ITER 1601 NEW BEST:: SOT 4437885 SOS 736692 HAS SOPS 736692 HAS SOUS 670020 HAS SOUPS 670020 WITH SCORE 670756.692
AT ITER 1602 NEW BEST:: SOT 4437096 SOS 735640 HAS SOPS 735640 HAS SOUS 668968 HAS SOUPS 668968 WITH SCORE 669703.64
AT ITER 1615 NEW BEST:: SOT 4437095 SOS 735638 HAS SOPS 735638 HAS SOUS 668966 HAS SOUPS 668966 WITH SCORE 669701.638
AT ITER 1640 NEW BEST:: SOT 4437091 SOS 736389 HAS SOPS 736389 HAS SOUS 668964 HAS SOUPS 668964 WITH SCORE 669700.389
AT ITER 1660 NEW BEST:: SOT 4437091 SOS 736389 HAS SOPS 736389 HAS SOUS 668961 HAS SOUPS 668961 WITH SCORE 669697.389
AT ITER 1684 NEW BEST:: SOT 4437243 SOS 736004 HAS SOPS 736004 HAS SOUS 668737 HAS SOUPS 668737 WITH SCORE 669473.004
AT ITER 1717 NEW BEST:: SOT 4437343 SOS 736204 HAS SOPS 736204 HAS SOUS 668665 HAS SOUPS 668665 WITH SCORE 669401.204
AT ITER 1719 NEW BEST:: SOT 4437271 SOS 736060 HAS SOPS 736060 HAS SOUS 668592 HAS SOUPS 668592 WITH SCORE 669328.06
AT ITER 1721 NEW BEST:: SOT 4437270 SOS 736058 HAS SOPS 736058 HAS SOUS 668590 HAS SOUPS 668590 WITH SCORE 669326.058
AT ITER 1738 NEW BEST:: SOT 4437244 SOS 736006 HAS SOPS 736006 HAS SOUS 668538 HAS SOUPS 668538 WITH SCORE 669274.006
AT ITER 1760 NEW BEST:: SOT 4437191 SOS 735900 HAS SOPS 735900 HAS SOUS 668432 HAS SOUPS 668432 WITH SCORE 669167.9
AT ITER 1767 NEW BEST:: SOT 4437140 SOS 735883 HAS SOPS 735883 HAS SOUS 668398 HAS SOUPS 668398 WITH SCORE 669133.883
AT ITER 1774 NEW BEST:: SOT 4436840 SOS 735583 HAS SOPS 735583 HAS SOUS 668098 HAS SOUPS 668098 WITH SCORE 668833.583
AT ITER 1780 NEW BEST:: SOT 4436692 SOS 735637 HAS SOPS 735637 HAS SOUS 668016 HAS SOUPS 668016 WITH SCORE 668751.637
AT ITER 1801 NEW BEST:: SOT 4436158 SOS 735281 HAS SOPS 735281 HAS SOUS 667660 HAS SOUPS 667660 WITH SCORE 668395.281
AT ITER 1819 NEW BEST:: SOT 4436073 SOS 735111 HAS SOPS 735111 HAS SOUS 667490 HAS SOUPS 667490 WITH SCORE 668225.111
AT ITER 1827 NEW BEST:: SOT 4436038 SOS 735075 HAS SOPS 735075 HAS SOUS 667454 HAS SOUPS 667454 WITH SCORE 668189.075
AT ITER 1835 NEW BEST:: SOT 4436037 SOS 735073 HAS SOPS 735073 HAS SOUS 667452 HAS SOUPS 667452 WITH SCORE 668187.073
AT ITER 1893 NEW BEST:: SOT 4436000 SOS 734999 HAS SOPS 734999 HAS SOUS 667378 HAS SOUPS 667378 WITH SCORE 668112.999
AT ITER 1899 NEW BEST:: SOT 4435961 SOS 734921 HAS SOPS 734921 HAS SOUS 667300 HAS SOUPS 667300 WITH SCORE 668034.921
AT ITER 1903 NEW BEST:: SOT 4435896 SOS 734791 HAS SOPS 734791 HAS SOUS 667145 HAS SOUPS 667145 WITH SCORE 667879.791
AT ITER 1912 NEW BEST:: SOT 4432585 SOS 747470 HAS SOPS 747470 HAS SOUS 664603 HAS SOUPS 664603 WITH SCORE 665350.47
AT ITER 1931 NEW BEST:: SOT 4432443 SOS 747186 HAS SOPS 747186 HAS SOUS 664319 HAS SOUPS 664319 WITH SCORE 665066.186
AT ITER 1942 NEW BEST:: SOT 4432442 SOS 747184 HAS SOPS 747184 HAS SOUS 664317 HAS SOUPS 664317 WITH SCORE 665064.184
AT ITER 1948 NEW BEST:: SOT 4431881 SOS 746946 HAS SOPS 746946 HAS SOUS 664079 HAS SOUPS 664079 WITH SCORE 664825.946
AT ITER 1949 NEW BEST:: SOT 4431790 SOS 746764 HAS SOPS 746764 HAS SOUS 663988 HAS SOUPS 663988 WITH SCORE 664734.764
AT ITER 2005 NEW BEST:: SOT 4431739 SOS 746662 HAS SOPS 746662 HAS SOUS 663937 HAS SOUPS 663937 WITH SCORE 664683.662
AT ITER 2033 NEW BEST:: SOT 4431738 SOS 746660 HAS SOPS 746660 HAS SOUS 663936 HAS SOUPS 663936 WITH SCORE 664682.66
AT ITER 2036 NEW BEST:: SOT 4431609 SOS 746402 HAS SOPS 746402 HAS SOUS 663807 HAS SOUPS 663807 WITH SCORE 664553.402
AT ITER 2064 NEW BEST:: SOT 4431538 SOS 746260 HAS SOPS 746260 HAS SOUS 663665 HAS SOUPS 663665 WITH SCORE 664411.26
AT ITER 2081 NEW BEST:: SOT 4431364 SOS 746028 HAS SOPS 746028 HAS SOUS 663433 HAS SOUPS 663433 WITH SCORE 664179.028
AT ITER 2087 NEW BEST:: SOT 4431364 SOS 745920 HAS SOPS 745920 HAS SOUS 663433 HAS SOUPS 663433 WITH SCORE 664178.92
AT ITER 2098 NEW BEST:: SOT 4431274 SOS 745740 HAS SOPS 745740 HAS SOUS 663253 HAS SOUPS 663253 WITH SCORE 663998.74
AT ITER 2121 NEW BEST:: SOT 4431274 SOS 745711 HAS SOPS 745711 HAS SOUS 663253 HAS SOUPS 663253 WITH SCORE 663998.711
AT ITER 2131 NEW BEST:: SOT 4431235 SOS 745633 HAS SOPS 745633 HAS SOUS 663175 HAS SOUPS 663175 WITH SCORE 663920.633
AT ITER 2138 NEW BEST:: SOT 4431047 SOS 745487 HAS SOPS 745487 HAS SOUS 663029 HAS SOUPS 663029 WITH SCORE 663774.487
AT ITER 2146 NEW BEST:: SOT 4431144 SOS 745681 HAS SOPS 745681 HAS SOUS 662918 HAS SOUPS 662918 WITH SCORE 663663.681
AT ITER 2166 NEW BEST:: SOT 4430841 SOS 747071 HAS SOPS 747071 HAS SOUS 662808 HAS SOUPS 662808 WITH SCORE 663555.071
AT ITER 2167 NEW BEST:: SOT 4430734 SOS 746643 HAS SOPS 746643 HAS SOUS 662701 HAS SOUPS 662701 WITH SCORE 663447.643
AT ITER 2180 NEW BEST:: SOT 4430734 SOS 746643 HAS SOPS 746643 HAS SOUS 662607 HAS SOUPS 662607 WITH SCORE 663353.643
AT ITER 2183 NEW BEST:: SOT 4430734 SOS 746380 HAS SOPS 746380 HAS SOUS 662344 HAS SOUPS 662344 WITH SCORE 663090.38
AT ITER 2184 NEW BEST:: SOT 4430711 SOS 746334 HAS SOPS 746334 HAS SOUS 662298 HAS SOUPS 662298 WITH SCORE 663044.334
AT ITER 2223 NEW BEST:: SOT 4430644 SOS 746200 HAS SOPS 746200 HAS SOUS 662231 HAS SOUPS 662231 WITH SCORE 662977.2
AT ITER 2228 NEW BEST:: SOT 4430075 SOS 746446 HAS SOPS 746446 HAS SOUS 661887 HAS SOUPS 661887 WITH SCORE 662633.446
AT ITER 2239 NEW BEST:: SOT 4430132 SOS 746560 HAS SOPS 746560 HAS SOUS 661812 HAS SOUPS 661812 WITH SCORE 662558.56
AT ITER 2245 NEW BEST:: SOT 4429927 SOS 746156 HAS SOPS 746156 HAS SOUS 661402 HAS SOUPS 661402 WITH SCORE 662148.156
AT ITER 2247 NEW BEST:: SOT 4429927 SOS 746156 HAS SOPS 746156 HAS SOUS 661235 HAS SOUPS 661235 WITH SCORE 661981.156
AT ITER 2253 NEW BEST:: SOT 4429926 SOS 746154 HAS SOPS 746154 HAS SOUS 661233 HAS SOUPS 661233 WITH SCORE 661979.154
AT ITER 2261 NEW BEST:: SOT 4429830 SOS 745962 HAS SOPS 745962 HAS SOUS 661041 HAS SOUPS 661041 WITH SCORE 661786.962
AT ITER 2272 NEW BEST:: SOT 4429694 SOS 745690 HAS SOPS 745690 HAS SOUS 660905 HAS SOUPS 660905 WITH SCORE 661650.69
AT ITER 2277 NEW BEST:: SOT 4429618 SOS 745538 HAS SOPS 745538 HAS SOUS 660829 HAS SOUPS 660829 WITH SCORE 661574.538
AT ITER 2294 NEW BEST:: SOT 4429044 SOS 745008 HAS SOPS 745008 HAS SOUS 660299 HAS SOUPS 660299 WITH SCORE 661044.008
AT ITER 2315 NEW BEST:: SOT 4428774 SOS 744468 HAS SOPS 744468 HAS SOUS 660060 HAS SOUPS 660060 WITH SCORE 660804.468
AT ITER 2321 NEW BEST:: SOT 4428774 SOS 744104 HAS SOPS 744104 HAS SOUS 659799 HAS SOUPS 659799 WITH SCORE 660543.104
AT ITER 2326 NEW BEST:: SOT 4428565 SOS 744080 HAS SOPS 744080 HAS SOUS 659743 HAS SOUPS 659743 WITH SCORE 660487.08
AT ITER 2332 NEW BEST:: SOT 4428377 SOS 743704 HAS SOPS 743704 HAS SOUS 659367 HAS SOUPS 659367 WITH SCORE 660110.704
AT ITER 2350 NEW BEST:: SOT 4428453 SOS 744085 HAS SOPS 744085 HAS SOUS 659345 HAS SOUPS 659345 WITH SCORE 660089.085
AT ITER 2352 NEW BEST:: SOT 4428289 SOS 743757 HAS SOPS 743757 HAS SOUS 659181 HAS SOUPS 659181 WITH SCORE 659924.757
AT ITER 2375 NEW BEST:: SOT 4428085 SOS 743555 HAS SOPS 743555 HAS SOUS 658979 HAS SOUPS 658979 WITH SCORE 659722.555
AT ITER 2400 NEW BEST:: SOT 4428038 SOS 743461 HAS SOPS 743461 HAS SOUS 658932 HAS SOUPS 658932 WITH SCORE 659675.461
AT ITER 2453 NEW BEST:: SOT 4428037 SOS 743262 HAS SOPS 743262 HAS SOUS 658930 HAS SOUPS 658930 WITH SCORE 659673.262
AT ITER 2464 NEW BEST:: SOT 4428044 SOS 743276 HAS SOPS 743276 HAS SOUS 658581 HAS SOUPS 658581 WITH SCORE 659324.276
AT ITER 2466 NEW BEST:: SOT 4427872 SOS 743150 HAS SOPS 743150 HAS SOUS 658455 HAS SOUPS 658455 WITH SCORE 659198.15
AT ITER 2491 NEW BEST:: SOT 4427849 SOS 743104 HAS SOPS 743104 HAS SOUS 658409 HAS SOUPS 658409 WITH SCORE 659152.104
AT ITER 2494 NEW BEST:: SOT 4427735 SOS 742990 HAS SOPS 742990 HAS SOUS 658295 HAS SOUPS 658295 WITH SCORE 659037.99
AT ITER 2528 NEW BEST:: SOT 4427798 SOS 743116 HAS SOPS 743116 HAS SOUS 658012 HAS SOUPS 658012 WITH SCORE 658755.116
AT ITER 2542 NEW BEST:: SOT 4427798 SOS 742948 HAS SOPS 742948 HAS SOUS 658011 HAS SOUPS 658011 WITH SCORE 658753.948
AT ITER 2574 NEW BEST:: SOT 4427638 SOS 742482 HAS SOPS 742482 HAS SOUS 657553 HAS SOUPS 657553 WITH SCORE 658295.482
AT ITER 2575 NEW BEST:: SOT 4427842 SOS 742087 HAS SOPS 742087 HAS SOUS 657488 HAS SOUPS 657488 WITH SCORE 658230.087
AT ITER 2619 NEW BEST:: SOT 4427753 SOS 739131 HAS SOPS 739131 HAS SOUS 657071 HAS SOUPS 657071 WITH SCORE 657810.131
AT ITER 2653 NEW BEST:: SOT 4427413 SOS 738451 HAS SOPS 738451 HAS SOUS 656391 HAS SOUPS 656391 WITH SCORE 657129.451
AT ITER 2681 NEW BEST:: SOT 4427351 SOS 738327 HAS SOPS 738327 HAS SOUS 656329 HAS SOUPS 656329 WITH SCORE 657067.327
AT ITER 2725 NEW BEST:: SOT 4427351 SOS 738327 HAS SOPS 738327 HAS SOUS 656251 HAS SOUPS 656251 WITH SCORE 656989.327
AT ITER 2765 NEW BEST:: SOT 4427191 SOS 738483 HAS SOPS 738483 HAS SOUS 656143 HAS SOUPS 656143 WITH SCORE 656881.483
AT ITER 2821 NEW BEST:: SOT 4427181 SOS 738463 HAS SOPS 738463 HAS SOUS 656123 HAS SOUPS 656123 WITH SCORE 656861.463
AT ITER 2833 NEW BEST:: SOT 4427007 SOS 738309 HAS SOPS 738309 HAS SOUS 656046 HAS SOUPS 656046 WITH SCORE 656784.309
AT ITER 2861 NEW BEST:: SOT 4426988 SOS 738271 HAS SOPS 738271 HAS SOUS 656008 HAS SOUPS 656008 WITH SCORE 656746.271
AT ITER 2871 NEW BEST:: SOT 4426741 SOS 738127 HAS SOPS 738127 HAS SOUS 655864 HAS SOUPS 655864 WITH SCORE 656602.127
AT ITER 2920 NEW BEST:: SOT 4426651 SOS 737947 HAS SOPS 737947 HAS SOUS 655774 HAS SOUPS 655774 WITH SCORE 656511.947
AT ITER 2927 NEW BEST:: SOT 4426442 SOS 737914 HAS SOPS 737914 HAS SOUS 655642 HAS SOUPS 655642 WITH SCORE 656379.914
AT ITER 2928 NEW BEST:: SOT 4426569 SOS 737804 HAS SOPS 737804 HAS SOUS 655163 HAS SOUPS 655163 WITH SCORE 655900.804
AT ITER 2929 NEW BEST:: SOT 4426568 SOS 737070 HAS SOPS 737070 HAS SOUS 655161 HAS SOUPS 655161 WITH SCORE 655898.07
AT ITER 2936 NEW BEST:: SOT 4426532 SOS 736998 HAS SOPS 736998 HAS SOUS 655125 HAS SOUPS 655125 WITH SCORE 655861.998
AT ITER 2944 NEW BEST:: SOT 4426091 SOS 736846 HAS SOPS 736846 HAS SOUS 654835 HAS SOUPS 654835 WITH SCORE 655571.846
AT ITER 2945 NEW BEST:: SOT 4425839 SOS 736342 HAS SOPS 736342 HAS SOUS 654331 HAS SOUPS 654331 WITH SCORE 655067.342
AT ITER 2947 NEW BEST:: SOT 4425608 SOS 735880 HAS SOPS 735880 HAS SOUS 653869 HAS SOUPS 653869 WITH SCORE 654604.88
AT ITER 2987 NEW BEST:: SOT 4425573 SOS 735810 HAS SOPS 735810 HAS SOUS 653799 HAS SOUPS 653799 WITH SCORE 654534.81
AT ITER 3030 NEW BEST:: SOT 4425519 SOS 735826 HAS SOPS 735826 HAS SOUS 653745 HAS SOUPS 653745 WITH SCORE 654480.826
AT ITER 3054 NEW BEST:: SOT 4425393 SOS 735853 HAS SOPS 735853 HAS SOUS 653493 HAS SOUPS 653493 WITH SCORE 654228.853
AT ITER 3068 NEW BEST:: SOT 4425077 SOS 735827 HAS SOPS 735827 HAS SOUS 653229 HAS SOUPS 653229 WITH SCORE 653964.827
AT ITER 3077 NEW BEST:: SOT 4425076 SOS 735558 HAS SOPS 735558 HAS SOUS 653227 HAS SOUPS 653227 WITH SCORE 653962.558
AT ITER 3096 NEW BEST:: SOT 4425189 SOS 734458 HAS SOPS 734458 HAS SOUS 653066 HAS SOUPS 653066 WITH SCORE 653800.458
AT ITER 3102 NEW BEST:: SOT 4424998 SOS 734076 HAS SOPS 734076 HAS SOUS 652547 HAS SOUPS 652547 WITH SCORE 653281.076
AT ITER 3112 NEW BEST:: SOT 4424998 SOS 734076 HAS SOPS 734076 HAS SOUS 652515 HAS SOUPS 652515 WITH SCORE 653249.076
AT ITER 3117 NEW BEST:: SOT 4424944 SOS 734022 HAS SOPS 734022 HAS SOUS 652434 HAS SOUPS 652434 WITH SCORE 653168.022
AT ITER 3118 NEW BEST:: SOT 4424782 SOS 733860 HAS SOPS 733860 HAS SOUS 652272 HAS SOUPS 652272 WITH SCORE 653005.86
AT ITER 3142 NEW BEST:: SOT 4424781 SOS 733858 HAS SOPS 733858 HAS SOUS 652270 HAS SOUPS 652270 WITH SCORE 653003.858
AT ITER 3157 NEW BEST:: SOT 4424808 SOS 733478 HAS SOPS 733478 HAS SOUS 652080 HAS SOUPS 652080 WITH SCORE 652813.478
AT ITER 3182 NEW BEST:: SOT 4424755 SOS 733424 HAS SOPS 733424 HAS SOUS 652026 HAS SOUPS 652026 WITH SCORE 652759.424
AT ITER 3187 NEW BEST:: SOT 4424755 SOS 733397 HAS SOPS 733397 HAS SOUS 651999 HAS SOUPS 651999 WITH SCORE 652732.397
AT ITER 3203 NEW BEST:: SOT 4424744 SOS 733060 HAS SOPS 733060 HAS SOUS 651691 HAS SOUPS 651691 WITH SCORE 652424.06
AT ITER 3211 NEW BEST:: SOT 4424530 SOS 732632 HAS SOPS 732632 HAS SOUS 651263 HAS SOUPS 651263 WITH SCORE 651995.632
AT ITER 3215 NEW BEST:: SOT 4424334 SOS 731823 HAS SOPS 731823 HAS SOUS 650650 HAS SOUPS 650650 WITH SCORE 651381.823
AT ITER 3217 NEW BEST:: SOT 4424217 SOS 731706 HAS SOPS 731706 HAS SOUS 650533 HAS SOUPS 650533 WITH SCORE 651264.706
AT ITER 3220 NEW BEST:: SOT 4424350 SOS 731797 HAS SOPS 731797 HAS SOUS 650529 HAS SOUPS 650529 WITH SCORE 651260.797
AT ITER 3238 NEW BEST:: SOT 4424206 SOS 731617 HAS SOPS 731617 HAS SOUS 650349 HAS SOUPS 650349 WITH SCORE 651080.617
AT ITER 3249 NEW BEST:: SOT 4424097 SOS 731266 HAS SOPS 731266 HAS SOUS 650112 HAS SOUPS 650112 WITH SCORE 650843.266
AT ITER 3252 NEW BEST:: SOT 4424011 SOS 731219 HAS SOPS 731219 HAS SOUS 649901 HAS SOUPS 649901 WITH SCORE 650632.219
AT ITER 3261 NEW BEST:: SOT 4424011 SOS 731004 HAS SOPS 731004 HAS SOUS 649901 HAS SOUPS 649901 WITH SCORE 650632.004
AT ITER 3262 NEW BEST:: SOT 4423853 SOS 719235 HAS SOPS 719235 HAS SOUS 649901 HAS SOUPS 649901 WITH SCORE 650620.235
AT ITER 3290 NEW BEST:: SOT 4423795 SOS 719119 HAS SOPS 719119 HAS SOUS 649785 HAS SOUPS 649785 WITH SCORE 650504.119
AT ITER 3307 NEW BEST:: SOT 4423546 SOS 718621 HAS SOPS 718621 HAS SOUS 649287 HAS SOUPS 649287 WITH SCORE 650005.621
AT ITER 3313 NEW BEST:: SOT 4423546 SOS 718621 HAS SOPS 718621 HAS SOUS 649249 HAS SOUPS 649249 WITH SCORE 649967.621
AT ITER 3316 NEW BEST:: SOT 4423192 SOS 719121 HAS SOPS 719121 HAS SOUS 649021 HAS SOUPS 649021 WITH SCORE 649740.121
AT ITER 3343 NEW BEST:: SOT 4423191 SOS 719128 HAS SOPS 719128 HAS SOUS 649020 HAS SOUPS 649020 WITH SCORE 649739.128
AT ITER 3354 NEW BEST:: SOT 4423186 SOS 719118 HAS SOPS 719118 HAS SOUS 649010 HAS SOUPS 649010 WITH SCORE 649729.118
AT ITER 3377 NEW BEST:: SOT 4423177 SOS 719100 HAS SOPS 719100 HAS SOUS 648992 HAS SOUPS 648992 WITH SCORE 649711.1
AT ITER 3398 NEW BEST:: SOT 4423178 SOS 719102 HAS SOPS 719102 HAS SOUS 648867 HAS SOUPS 648867 WITH SCORE 649586.102
AT ITER 3443 NEW BEST:: SOT 4423178 SOS 719102 HAS SOPS 719102 HAS SOUS 648830 HAS SOUPS 648830 WITH SCORE 649549.102
AT ITER 3465 NEW BEST:: SOT 4423178 SOS 718922 HAS SOPS 718922 HAS SOUS 648650 HAS SOUPS 648650 WITH SCORE 649368.922
AT ITER 3472 NEW BEST:: SOT 4423085 SOS 718910 HAS SOPS 718910 HAS SOUS 648556 HAS SOUPS 648556 WITH SCORE 649274.91
AT ITER 3485 NEW BEST:: SOT 4423062 SOS 718864 HAS SOPS 718864 HAS SOUS 648510 HAS SOUPS 648510 WITH SCORE 649228.864
AT ITER 3508 NEW BEST:: SOT 4422852 SOS 718366 HAS SOPS 718366 HAS SOUS 647878 HAS SOUPS 647878 WITH SCORE 648596.366
AT ITER 3510 NEW BEST:: SOT 4422852 SOS 718360 HAS SOPS 718360 HAS SOUS 647877 HAS SOUPS 647877 WITH SCORE 648595.36
AT ITER 3539 NEW BEST:: SOT 4422520 SOS 718348 HAS SOPS 718348 HAS SOUS 647650 HAS SOUPS 647650 WITH SCORE 648368.348
AT ITER 3554 NEW BEST:: SOT 4422520 SOS 718328 HAS SOPS 718328 HAS SOUS 647650 HAS SOUPS 647650 WITH SCORE 648368.328
AT ITER 3573 NEW BEST:: SOT 4422426 SOS 718046 HAS SOPS 718046 HAS SOUS 647462 HAS SOUPS 647462 WITH SCORE 648180.046
AT ITER 3595 NEW BEST:: SOT 4422425 SOS 718016 HAS SOPS 718016 HAS SOUS 647460 HAS SOUPS 647460 WITH SCORE 648178.016
AT ITER 3610 NEW BEST:: SOT 4422362 SOS 717890 HAS SOPS 717890 HAS SOUS 647334 HAS SOUPS 647334 WITH SCORE 648051.89
AT ITER 3625 NEW BEST:: SOT 4422362 SOS 717744 HAS SOPS 717744 HAS SOUS 647188 HAS SOUPS 647188 WITH SCORE 647905.744
AT ITER 3628 NEW BEST:: SOT 4422592 SOS 717979 HAS SOPS 717979 HAS SOUS 647181 HAS SOUPS 647181 WITH SCORE 647898.979
AT ITER 3643 NEW BEST:: SOT 4422511 SOS 717898 HAS SOPS 717898 HAS SOUS 647100 HAS SOUPS 647100 WITH SCORE 647817.898
AT ITER 3646 NEW BEST:: SOT 4421975 SOS 718898 HAS SOPS 718898 HAS SOUS 646913 HAS SOUPS 646913 WITH SCORE 647631.898
AT ITER 3660 NEW BEST:: SOT 4421768 SOS 718484 HAS SOPS 718484 HAS SOUS 646499 HAS SOUPS 646499 WITH SCORE 647217.484
AT ITER 3668 NEW BEST:: SOT 4421681 SOS 718525 HAS SOPS 718525 HAS SOUS 646412 HAS SOUPS 646412 WITH SCORE 647130.525
AT ITER 3671 NEW BEST:: SOT 4421366 SOS 718230 HAS SOPS 718230 HAS SOUS 646105 HAS SOUPS 646105 WITH SCORE 646823.23
AT ITER 3673 NEW BEST:: SOT 4421238 SOS 718436 HAS SOPS 718436 HAS SOUS 646102 HAS SOUPS 646102 WITH SCORE 646820.436
AT ITER 3708 NEW BEST:: SOT 4421176 SOS 718459 HAS SOPS 718459 HAS SOUS 646040 HAS SOUPS 646040 WITH SCORE 646758.459
AT ITER 3718 NEW BEST:: SOT 4421072 SOS 718251 HAS SOPS 718251 HAS SOUS 645832 HAS SOUPS 645832 WITH SCORE 646550.251
AT ITER 3735 NEW BEST:: SOT 4420796 SOS 717975 HAS SOPS 717975 HAS SOUS 645654 HAS SOUPS 645654 WITH SCORE 646371.975
AT ITER 3748 NEW BEST:: SOT 4420796 SOS 717919 HAS SOPS 717919 HAS SOUS 645598 HAS SOUPS 645598 WITH SCORE 646315.919
AT ITER 3751 NEW BEST:: SOT 4420787 SOS 717901 HAS SOPS 717901 HAS SOUS 645574 HAS SOUPS 645574 WITH SCORE 646291.901
AT ITER 3799 NEW BEST:: SOT 4420787 SOS 717823 HAS SOPS 717823 HAS SOUS 645496 HAS SOUPS 645496 WITH SCORE 646213.823
AT ITER 3825 NEW BEST:: SOT 4420801 SOS 718380 HAS SOPS 718380 HAS SOUS 645405 HAS SOUPS 645405 WITH SCORE 646123.38
AT ITER 3837 NEW BEST:: SOT 4420800 SOS 718376 HAS SOPS 718376 HAS SOUS 645403 HAS SOUPS 645403 WITH SCORE 646121.376
AT ITER 3851 NEW BEST:: SOT 4420661 SOS 718098 HAS SOPS 718098 HAS SOUS 645125 HAS SOUPS 645125 WITH SCORE 645843.098
AT ITER 3856 NEW BEST:: SOT 4420661 SOS 717836 HAS SOPS 717836 HAS SOUS 645125 HAS SOUPS 645125 WITH SCORE 645842.836
AT ITER 3857 NEW BEST:: SOT 4419124 SOS 720096 HAS SOPS 720096 HAS SOUS 643712 HAS SOUPS 643712 WITH SCORE 644432.096
AT ITER 3868 NEW BEST:: SOT 4419250 SOS 720156 HAS SOPS 720156 HAS SOUS 643645 HAS SOUPS 643645 WITH SCORE 644365.156
AT ITER 3874 NEW BEST:: SOT 4419096 SOS 720091 HAS SOPS 720091 HAS SOUS 643536 HAS SOUPS 643536 WITH SCORE 644256.091
AT ITER 3888 NEW BEST:: SOT 4418826 SOS 719821 HAS SOPS 719821 HAS SOUS 643266 HAS SOUPS 643266 WITH SCORE 643985.821
AT ITER 3897 NEW BEST:: SOT 4418176 SOS 720009 HAS SOPS 720009 HAS SOUS 642843 HAS SOUPS 642843 WITH SCORE 643563.009
AT ITER 3900 NEW BEST:: SOT 4418176 SOS 719985 HAS SOPS 719985 HAS SOUS 642819 HAS SOUPS 642819 WITH SCORE 643538.985
AT ITER 3941 NEW BEST:: SOT 4418063 SOS 719759 HAS SOPS 719759 HAS SOUS 642706 HAS SOUPS 642706 WITH SCORE 643425.759
AT ITER 3947 NEW BEST:: SOT 4418057 SOS 719747 HAS SOPS 719747 HAS SOUS 642694 HAS SOUPS 642694 WITH SCORE 643413.747
AT ITER 3989 NEW BEST:: SOT 4418019 SOS 719633 HAS SOPS 719633 HAS SOUS 642618 HAS SOUPS 642618 WITH SCORE 643337.633
AT ITER 4038 NEW BEST:: SOT 4417975 SOS 719545 HAS SOPS 719545 HAS SOUS 642530 HAS SOUPS 642530 WITH SCORE 643249.545
AT ITER 4043 NEW BEST:: SOT 4417908 SOS 718963 HAS SOPS 718963 HAS SOUS 642138 HAS SOUPS 642138 WITH SCORE 642856.963
AT ITER 4086 NEW BEST:: SOT 4417781 SOS 718709 HAS SOPS 718709 HAS SOUS 642011 HAS SOUPS 642011 WITH SCORE 642729.709
AT ITER 4136 NEW BEST:: SOT 4417678 SOS 718400 HAS SOPS 718400 HAS SOUS 641805 HAS SOUPS 641805 WITH SCORE 642523.4
AT ITER 4153 NEW BEST:: SOT 4417475 SOS 718400 HAS SOPS 718400 HAS SOUS 641602 HAS SOUPS 641602 WITH SCORE 642320.4
AT ITER 4166 NEW BEST:: SOT 4417409 SOS 718334 HAS SOPS 718334 HAS SOUS 641536 HAS SOUPS 641536 WITH SCORE 642254.334
AT ITER 4167 NEW BEST:: SOT 4417365 SOS 718246 HAS SOPS 718246 HAS SOUS 641492 HAS SOUPS 641492 WITH SCORE 642210.246
AT ITER 4174 NEW BEST:: SOT 4417355 SOS 718226 HAS SOPS 718226 HAS SOUS 641482 HAS SOUPS 641482 WITH SCORE 642200.226
AT ITER 4176 NEW BEST:: SOT 4411599 SOS 738592 HAS SOPS 738592 HAS SOUS 636745 HAS SOUPS 636745 WITH SCORE 637483.592
AT ITER 4201 NEW BEST:: SOT 4411589 SOS 739104 HAS SOPS 739104 HAS SOUS 636725 HAS SOUPS 636725 WITH SCORE 637464.104
AT ITER 4210 NEW BEST:: SOT 4410766 SOS 738319 HAS SOPS 738319 HAS SOUS 635990 HAS SOUPS 635990 WITH SCORE 636728.319
AT ITER 4225 NEW BEST:: SOT 4410632 SOS 738248 HAS SOPS 738248 HAS SOUS 635871 HAS SOUPS 635871 WITH SCORE 636609.248
AT ITER 4231 NEW BEST:: SOT 4410632 SOS 738173 HAS SOPS 738173 HAS SOUS 635796 HAS SOUPS 635796 WITH SCORE 636534.173
AT ITER 4241 NEW BEST:: SOT 4410613 SOS 738167 HAS SOPS 738167 HAS SOUS 635777 HAS SOUPS 635777 WITH SCORE 636515.167
AT ITER 4254 NEW BEST:: SOT 4410502 SOS 737945 HAS SOPS 737945 HAS SOUS 635666 HAS SOUPS 635666 WITH SCORE 636403.945
AT ITER 4258 NEW BEST:: SOT 4410705 SOS 737438 HAS SOPS 737438 HAS SOUS 635657 HAS SOUPS 635657 WITH SCORE 636394.438
AT ITER 4262 NEW BEST:: SOT 4410356 SOS 736740 HAS SOPS 736740 HAS SOUS 635538 HAS SOUPS 635538 WITH SCORE 636274.74
AT ITER 4303 NEW BEST:: SOT 4410223 SOS 736607 HAS SOPS 736607 HAS SOUS 635509 HAS SOUPS 635509 WITH SCORE 636245.607
AT ITER 4318 NEW BEST:: SOT 4410224 SOS 736609 HAS SOPS 736609 HAS SOUS 635243 HAS SOUPS 635243 WITH SCORE 635979.609
AT ITER 4327 NEW BEST:: SOT 4410224 SOS 736641 HAS SOPS 736641 HAS SOUS 635211 HAS SOUPS 635211 WITH SCORE 635947.641
AT ITER 4331 NEW BEST:: SOT 4410113 SOS 736755 HAS SOPS 736755 HAS SOUS 635204 HAS SOUPS 635204 WITH SCORE 635940.755
AT ITER 4343 NEW BEST:: SOT 4410014 SOS 736738 HAS SOPS 736738 HAS SOUS 635105 HAS SOUPS 635105 WITH SCORE 635841.738
AT ITER 4350 NEW BEST:: SOT 4410011 SOS 736732 HAS SOPS 736732 HAS SOUS 635102 HAS SOUPS 635102 WITH SCORE 635838.732
AT ITER 4353 NEW BEST:: SOT 4409341 SOS 736134 HAS SOPS 736134 HAS SOUS 634472 HAS SOUPS 634472 WITH SCORE 635208.134
AT ITER 4383 NEW BEST:: SOT 4409276 SOS 736264 HAS SOPS 736264 HAS SOUS 634407 HAS SOUPS 634407 WITH SCORE 635143.264
AT ITER 4385 NEW BEST:: SOT 4409210 SOS 736198 HAS SOPS 736198 HAS SOUS 634341 HAS SOUPS 634341 WITH SCORE 635077.198
AT ITER 4398 NEW BEST:: SOT 4409124 SOS 736026 HAS SOPS 736026 HAS SOUS 634255 HAS SOUPS 634255 WITH SCORE 634991.026
AT ITER 4405 NEW BEST:: SOT 4408937 SOS 736156 HAS SOPS 736156 HAS SOUS 634068 HAS SOUPS 634068 WITH SCORE 634804.156
AT ITER 4409 NEW BEST:: SOT 4408937 SOS 736156 HAS SOPS 736156 HAS SOUS 634061 HAS SOUPS 634061 WITH SCORE 634797.156
AT ITER 4423 NEW BEST:: SOT 4409044 SOS 735900 HAS SOPS 735900 HAS SOUS 633941 HAS SOUPS 633941 WITH SCORE 634676.9
AT ITER 4448 NEW BEST:: SOT 4409044 SOS 735900 HAS SOPS 735900 HAS SOUS 633853 HAS SOUPS 633853 WITH SCORE 634588.9
AT ITER 4457 NEW BEST:: SOT 4408766 SOS 735344 HAS SOPS 735344 HAS SOUS 633647 HAS SOUPS 633647 WITH SCORE 634382.344
AT ITER 4465 NEW BEST:: SOT 4408757 SOS 735326 HAS SOPS 735326 HAS SOUS 633629 HAS SOUPS 633629 WITH SCORE 634364.326
AT ITER 4481 NEW BEST:: SOT 4408746 SOS 735326 HAS SOPS 735326 HAS SOUS 633618 HAS SOUPS 633618 WITH SCORE 634353.326
AT ITER 4501 NEW BEST:: SOT 4408472 SOS 735052 HAS SOPS 735052 HAS SOUS 633343 HAS SOUPS 633343 WITH SCORE 634078.052
AT ITER 4514 NEW BEST:: SOT 4408471 SOS 735050 HAS SOPS 735050 HAS SOUS 633341 HAS SOUPS 633341 WITH SCORE 634076.05
AT ITER 4522 NEW BEST:: SOT 4408351 SOS 734930 HAS SOPS 734930 HAS SOUS 633221 HAS SOUPS 633221 WITH SCORE 633955.93
AT ITER 4528 NEW BEST:: SOT 4408351 SOS 734691 HAS SOPS 734691 HAS SOUS 633221 HAS SOUPS 633221 WITH SCORE 633955.691
AT ITER 4531 NEW BEST:: SOT 4408406 SOS 734509 HAS SOPS 734509 HAS SOUS 633130 HAS SOUPS 633130 WITH SCORE 633864.509
AT ITER 4537 NEW BEST:: SOT 4408171 SOS 734039 HAS SOPS 734039 HAS SOUS 632765 HAS SOUPS 632765 WITH SCORE 633499.039
AT ITER 4561 NEW BEST:: SOT 4408165 SOS 733959 HAS SOPS 733959 HAS SOUS 632753 HAS SOUPS 632753 WITH SCORE 633486.959
AT ITER 4574 NEW BEST:: SOT 4407993 SOS 733615 HAS SOPS 733615 HAS SOUS 632512 HAS SOUPS 632512 WITH SCORE 633245.615
AT ITER 4580 NEW BEST:: SOT 4407581 SOS 732791 HAS SOPS 732791 HAS SOUS 632294 HAS SOUPS 632294 WITH SCORE 633026.791
AT ITER 4601 NEW BEST:: SOT 4407655 SOS 732689 HAS SOPS 732689 HAS SOUS 632192 HAS SOUPS 632192 WITH SCORE 632924.689
AT ITER 4603 NEW BEST:: SOT 4407645 SOS 732669 HAS SOPS 732669 HAS SOUS 632172 HAS SOUPS 632172 WITH SCORE 632904.669
AT ITER 4646 NEW BEST:: SOT 4407373 SOS 732125 HAS SOPS 732125 HAS SOUS 631975 HAS SOUPS 631975 WITH SCORE 632707.125
AT ITER 4652 NEW BEST:: SOT 4407177 SOS 731997 HAS SOPS 731997 HAS SOUS 631823 HAS SOUPS 631823 WITH SCORE 632554.997
AT ITER 4682 NEW BEST:: SOT 4407177 SOS 731889 HAS SOPS 731889 HAS SOUS 631823 HAS SOUPS 631823 WITH SCORE 632554.889
AT ITER 4728 NEW BEST:: SOT 4406936 SOS 731407 HAS SOPS 731407 HAS SOUS 631587 HAS SOUPS 631587 WITH SCORE 632318.407
AT ITER 4736 NEW BEST:: SOT 4406868 SOS 731271 HAS SOPS 731271 HAS SOUS 631519 HAS SOUPS 631519 WITH SCORE 632250.271
AT ITER 4755 NEW BEST:: SOT 4406820 SOS 731175 HAS SOPS 731175 HAS SOUS 631471 HAS SOUPS 631471 WITH SCORE 632202.175
AT ITER 4803 NEW BEST:: SOT 4406820 SOS 731158 HAS SOPS 731158 HAS SOUS 631471 HAS SOUPS 631471 WITH SCORE 632202.158
AT ITER 4834 NEW BEST:: SOT 4406781 SOS 731080 HAS SOPS 731080 HAS SOUS 631393 HAS SOUPS 631393 WITH SCORE 632124.08
AT ITER 4844 NEW BEST:: SOT 4406377 SOS 731427 HAS SOPS 731427 HAS SOUS 631263 HAS SOUPS 631263 WITH SCORE 631994.427
AT ITER 4848 NEW BEST:: SOT 4406363 SOS 731415 HAS SOPS 731415 HAS SOUS 631251 HAS SOUPS 631251 WITH SCORE 631982.415
AT ITER 4858 NEW BEST:: SOT 4406362 SOS 731413 HAS SOPS 731413 HAS SOUS 631249 HAS SOUPS 631249 WITH SCORE 631980.413
AT ITER 4860 NEW BEST:: SOT 4406323 SOS 731257 HAS SOPS 731257 HAS SOUS 631210 HAS SOUPS 631210 WITH SCORE 631941.257
AT ITER 4895 NEW BEST:: SOT 4406323 SOS 731251 HAS SOPS 731251 HAS SOUS 631204 HAS SOUPS 631204 WITH SCORE 631935.251
AT ITER 4928 NEW BEST:: SOT 4406294 SOS 731193 HAS SOPS 731193 HAS SOUS 631146 HAS SOUPS 631146 WITH SCORE 631877.193
AT ITER 4931 NEW BEST:: SOT 4406294 SOS 731133 HAS SOPS 731133 HAS SOUS 631116 HAS SOUPS 631116 WITH SCORE 631847.133
AT ITER 4957 NEW BEST:: SOT 4406143 SOS 731011 HAS SOPS 731011 HAS SOUS 630994 HAS SOUPS 630994 WITH SCORE 631725.011
AT ITER 4979 NEW BEST:: SOT 4405915 SOS 730273 HAS SOPS 730273 HAS SOUS 630527 HAS SOUPS 630527 WITH SCORE 631257.273
AT ITER 4993 NEW BEST:: SOT 4405873 SOS 729969 HAS SOPS 729969 HAS SOUS 630291 HAS SOUPS 630291 WITH SCORE 631020.969
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-00 (EG( (! ( (EF( ((potential((tk(P432)>=1)))))) | ((potential((tk(P1874)>=1)))) ))))
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-01 (! (AX( (EF( ( ((potential((tk(P1066)>=1)))) & ((potential((tk(P2560)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-02 ( ( ((potential((tk(P1426)>=1)))) | (! ((potential((tk(P666)>=1))))) ) & ( (! ( ( ( ((potential((tk(P597)>=1)))) | ((potential((tk(P1963)>=1)))) ) & ((potential((tk(P291)>=1)))) ) | (EF( ((potential((tk(P482)>=1)))))) )) | ((potential((tk(P1554)>=1)))) ) )
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-03 ( (AX( ( ((potential((tk(P209)>=1)))) & ( ( ((potential((tk(P883)>=1)))) & ((potential((tk(P1300)>=1)))) ) & ((potential((tk(P1684)>=1)))) ) ))) | ( (AF( ( ((potential((tk(P1114)>=1)))) & (! ((potential((tk(P63)>=1))))) ))) | ( (EU( ((potential((tk(P229)>=1)))) , ((potential((tk(P1310)>=1)))) )) & ((potential((tk(P1774)>=1)))) ) ) )
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-04 (EF( ( (AU( ((potential((tk(P573)>=1) & (tk(P658)>=1)))) , ((potential((tk(P477)>=1)))) )) | (AF( ( ((potential((tk(P238)>=1)))) | ((potential((tk(P935)>=1)))) ))) )))
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-05 (! (EG( (EF( ( ((potential((tk(P2479)>=1)))) & ((potential((tk(P2090)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-06 (AG( (! ( ((potential((tk(P2160)>=1)))) & ((potential((tk(P1149)>=1)))) ))))
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-07 (AF( (AX( ((potential((tk(P937)>=1))))))))
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-08 (AF( (EU( (! ((potential((tk(P2281)>=1))))) , ((potential((tk(P348)>=1)))) ))))
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-09 (EU( ( (AX( ((potential((tk(P1144)>=1)))))) & (AG( ((potential((tk(P2040)>=1)))))) ) , (EF( ((potential((tk(P501)>=1)))))) ))
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-10 (AF( ( ( ( ((potential((tk(P573)>=1) & (tk(P2337)>=1)))) & ( ((potential((tk(P229)>=1)))) & ((potential((tk(P1655)>=1)))) ) ) | (EG( ((potential((tk(P2095)>=1)))))) ) & (! ((potential((tk(P309)>=1))))) )))
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-11 (AF( (EF( (AF( ((potential((tk(P763)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-12 (EF( (EF( ( ( ((potential((tk(P1380)>=1)))) | ((potential((tk(P677)>=1)))) ) | ( ((potential((tk(P803)>=1)))) | ((potential((tk(P2510)>=1)))) ) )))))
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-13 (EF( (EF( (EG( ((potential((tk(P2225)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-14 (EU( ( (EF( ((potential((tk(P2060)>=1)))))) | ( ( ((potential((tk(P1300)>=1)))) | ((potential((tk(P2323)>=1)))) ) | ((potential((tk(P2284)>=1)))) ) ) , (! ( ( ((potential((tk(P1709)>=1)))) & ((potential((tk(P1264)>=1)))) ) | (! ((potential((tk(P65)>=1))))) )) ))
PROPERTY: CloudReconfiguration-PT-313-CTLFireability-15 ( (! ( (AF( ( ((potential((tk(P340)>=1)))) & ((potential((tk(P2526)>=1)))) ))) | ((potential((tk(P573)>=1) & (tk(P1321)>=1)))) )) | (! ( (! (EX( ((potential((tk(P1611)>=1))))))) | ( (EG( ((potential((tk(P1095)>=1)))))) & (EX( ((potential((tk(P1714)>=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-313"
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-313, 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-158902541700100"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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