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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 840K
-rw-r--r-- 1 mcc users 4.0K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:14 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 25K 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.2K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K 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 661K 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-318-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-318-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589099172316

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 318
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: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458556 SOS 744615 HAS SOPS 744615 HAS SOUS 686857 HAS SOUPS 686857 WITH SCORE 687601.615
AT ITER 4 NEW BEST:: SOT 4458289 SOS 743919 HAS SOPS 743919 HAS SOUS 686322 HAS SOUPS 686322 WITH SCORE 687065.919
AT ITER 9 NEW BEST:: SOT 4457871 SOS 743501 HAS SOPS 743501 HAS SOUS 685904 HAS SOUPS 685904 WITH SCORE 686647.501
AT ITER 21 NEW BEST:: SOT 4457631 SOS 743021 HAS SOPS 743021 HAS SOUS 685424 HAS SOUPS 685424 WITH SCORE 686167.021
AT ITER 34 NEW BEST:: SOT 4457333 SOS 742723 HAS SOPS 742723 HAS SOUS 685126 HAS SOUPS 685126 WITH SCORE 685868.723
AT ITER 43 NEW BEST:: SOT 4457333 SOS 742723 HAS SOPS 742723 HAS SOUS 685012 HAS SOUPS 685012 WITH SCORE 685754.723
AT ITER 75 NEW BEST:: SOT 4457063 SOS 742453 HAS SOPS 742453 HAS SOUS 684742 HAS SOUPS 684742 WITH SCORE 685484.453
AT ITER 77 NEW BEST:: SOT 4456922 SOS 742312 HAS SOPS 742312 HAS SOUS 684601 HAS SOUPS 684601 WITH SCORE 685343.312
AT ITER 149 NEW BEST:: SOT 4456650 SOS 742040 HAS SOPS 742040 HAS SOUS 684329 HAS SOUPS 684329 WITH SCORE 685071.04
AT ITER 155 NEW BEST:: SOT 4456597 SOS 741853 HAS SOPS 741853 HAS SOUS 684195 HAS SOUPS 684195 WITH SCORE 684936.853
AT ITER 167 NEW BEST:: SOT 4456413 SOS 741188 HAS SOPS 741188 HAS SOUS 683554 HAS SOUPS 683554 WITH SCORE 684295.188
AT ITER 210 NEW BEST:: SOT 4456412 SOS 741186 HAS SOPS 741186 HAS SOUS 683552 HAS SOUPS 683552 WITH SCORE 684293.186
AT ITER 262 NEW BEST:: SOT 4456311 SOS 741338 HAS SOPS 741338 HAS SOUS 683451 HAS SOUPS 683451 WITH SCORE 684192.338
AT ITER 283 NEW BEST:: SOT 4456189 SOS 741094 HAS SOPS 741094 HAS SOUS 683207 HAS SOUPS 683207 WITH SCORE 683948.094
AT ITER 287 NEW BEST:: SOT 4455715 SOS 740420 HAS SOPS 740420 HAS SOUS 682519 HAS SOUPS 682519 WITH SCORE 683259.42
AT ITER 307 NEW BEST:: SOT 4455715 SOS 740420 HAS SOPS 740420 HAS SOUS 682518 HAS SOUPS 682518 WITH SCORE 683258.42
AT ITER 310 NEW BEST:: SOT 4455742 SOS 740167 HAS SOPS 740167 HAS SOUS 682265 HAS SOUPS 682265 WITH SCORE 683005.167
AT ITER 314 NEW BEST:: SOT 4455425 SOS 739533 HAS SOPS 739533 HAS SOUS 681494 HAS SOUPS 681494 WITH SCORE 682233.533
AT ITER 358 NEW BEST:: SOT 4455367 SOS 739417 HAS SOPS 739417 HAS SOUS 681378 HAS SOUPS 681378 WITH SCORE 682117.417
AT ITER 369 NEW BEST:: SOT 4455304 SOS 739193 HAS SOPS 739193 HAS SOUS 681217 HAS SOUPS 681217 WITH SCORE 681956.193
AT ITER 370 NEW BEST:: SOT 4455304 SOS 739013 HAS SOPS 739013 HAS SOUS 681217 HAS SOUPS 681217 WITH SCORE 681956.013
AT ITER 389 NEW BEST:: SOT 4453044 SOS 741127 HAS SOPS 741127 HAS SOUS 679617 HAS SOUPS 679617 WITH SCORE 680358.127
AT ITER 391 NEW BEST:: SOT 4452881 SOS 741303 HAS SOPS 741303 HAS SOUS 679568 HAS SOUPS 679568 WITH SCORE 680309.303
AT ITER 425 NEW BEST:: SOT 4452880 SOS 741301 HAS SOPS 741301 HAS SOUS 679566 HAS SOUPS 679566 WITH SCORE 680307.301
AT ITER 447 NEW BEST:: SOT 4452646 SOS 741067 HAS SOPS 741067 HAS SOUS 679332 HAS SOUPS 679332 WITH SCORE 680073.067
AT ITER 455 NEW BEST:: SOT 4452654 SOS 740733 HAS SOPS 740733 HAS SOUS 679107 HAS SOUPS 679107 WITH SCORE 679847.733
AT ITER 457 NEW BEST:: SOT 4452627 SOS 740706 HAS SOPS 740706 HAS SOUS 679080 HAS SOUPS 679080 WITH SCORE 679820.706
AT ITER 462 NEW BEST:: SOT 4452626 SOS 740704 HAS SOPS 740704 HAS SOUS 679078 HAS SOUPS 679078 WITH SCORE 679818.704
AT ITER 479 NEW BEST:: SOT 4452590 SOS 740506 HAS SOPS 740506 HAS SOUS 678880 HAS SOUPS 678880 WITH SCORE 679620.506
AT ITER 536 NEW BEST:: SOT 4452585 SOS 740496 HAS SOPS 740496 HAS SOUS 678860 HAS SOUPS 678860 WITH SCORE 679600.496
AT ITER 569 NEW BEST:: SOT 4452584 SOS 740494 HAS SOPS 740494 HAS SOUS 678858 HAS SOUPS 678858 WITH SCORE 679598.494
AT ITER 576 NEW BEST:: SOT 4452998 SOS 740346 HAS SOPS 740346 HAS SOUS 678784 HAS SOUPS 678784 WITH SCORE 679524.346
AT ITER 614 NEW BEST:: SOT 4452996 SOS 740342 HAS SOPS 740342 HAS SOUS 678780 HAS SOUPS 678780 WITH SCORE 679520.342
AT ITER 618 NEW BEST:: SOT 4452901 SOS 740250 HAS SOPS 740250 HAS SOUS 678685 HAS SOUPS 678685 WITH SCORE 679425.25
AT ITER 635 NEW BEST:: SOT 4452900 SOS 740248 HAS SOPS 740248 HAS SOUS 678683 HAS SOUPS 678683 WITH SCORE 679423.248
AT ITER 641 NEW BEST:: SOT 4452624 SOS 739972 HAS SOPS 739972 HAS SOUS 678407 HAS SOUPS 678407 WITH SCORE 679146.972
AT ITER 653 NEW BEST:: SOT 4452624 SOS 739687 HAS SOPS 739687 HAS SOUS 678407 HAS SOUPS 678407 WITH SCORE 679146.687
AT ITER 675 NEW BEST:: SOT 4452597 SOS 739633 HAS SOPS 739633 HAS SOUS 678353 HAS SOUPS 678353 WITH SCORE 679092.633
AT ITER 678 NEW BEST:: SOT 4452535 SOS 739509 HAS SOPS 739509 HAS SOUS 678229 HAS SOUPS 678229 WITH SCORE 678968.509
AT ITER 687 NEW BEST:: SOT 4452345 SOS 739309 HAS SOPS 739309 HAS SOUS 677996 HAS SOUPS 677996 WITH SCORE 678735.309
AT ITER 711 NEW BEST:: SOT 4452069 SOS 739033 HAS SOPS 739033 HAS SOUS 677720 HAS SOUPS 677720 WITH SCORE 678459.033
AT ITER 714 NEW BEST:: SOT 4446887 SOS 778649 HAS SOPS 778649 HAS SOUS 674238 HAS SOUPS 674238 WITH SCORE 675016.649
AT ITER 730 NEW BEST:: SOT 4446829 SOS 778533 HAS SOPS 778533 HAS SOUS 674109 HAS SOUPS 674109 WITH SCORE 674887.533
AT ITER 747 NEW BEST:: SOT 4446753 SOS 778381 HAS SOPS 778381 HAS SOUS 673957 HAS SOUPS 673957 WITH SCORE 674735.381
AT ITER 782 NEW BEST:: SOT 4446710 SOS 778295 HAS SOPS 778295 HAS SOUS 673871 HAS SOUPS 673871 WITH SCORE 674649.295
AT ITER 785 NEW BEST:: SOT 4446681 SOS 777364 HAS SOPS 777364 HAS SOUS 673813 HAS SOUPS 673813 WITH SCORE 674590.364
AT ITER 806 NEW BEST:: SOT 4446400 SOS 778194 HAS SOPS 778194 HAS SOUS 673736 HAS SOUPS 673736 WITH SCORE 674514.194
AT ITER 838 NEW BEST:: SOT 4446211 SOS 777816 HAS SOPS 777816 HAS SOUS 673358 HAS SOUPS 673358 WITH SCORE 674135.816
AT ITER 841 NEW BEST:: SOT 4446211 SOS 777816 HAS SOPS 777816 HAS SOUS 673308 HAS SOUPS 673308 WITH SCORE 674085.816
AT ITER 852 NEW BEST:: SOT 4446199 SOS 777792 HAS SOPS 777792 HAS SOUS 673284 HAS SOUPS 673284 WITH SCORE 674061.792
AT ITER 860 NEW BEST:: SOT 4446199 SOS 777714 HAS SOPS 777714 HAS SOUS 673206 HAS SOUPS 673206 WITH SCORE 673983.714
AT ITER 868 NEW BEST:: SOT 4446199 SOS 777500 HAS SOPS 777500 HAS SOUS 673206 HAS SOUPS 673206 WITH SCORE 673983.5
AT ITER 871 NEW BEST:: SOT 4446199 SOS 777500 HAS SOPS 777500 HAS SOUS 672893 HAS SOUPS 672893 WITH SCORE 673670.5
AT ITER 873 NEW BEST:: SOT 4446208 SOS 777122 HAS SOPS 777122 HAS SOUS 672704 HAS SOUPS 672704 WITH SCORE 673481.122
AT ITER 876 NEW BEST:: SOT 4446207 SOS 777120 HAS SOPS 777120 HAS SOUS 672702 HAS SOUPS 672702 WITH SCORE 673479.12
AT ITER 879 NEW BEST:: SOT 4446137 SOS 776980 HAS SOPS 776980 HAS SOUS 672562 HAS SOUPS 672562 WITH SCORE 673338.98
AT ITER 894 NEW BEST:: SOT 4445877 SOS 776287 HAS SOPS 776287 HAS SOUS 671874 HAS SOUPS 671874 WITH SCORE 672650.287
AT ITER 905 NEW BEST:: SOT 4445972 SOS 775956 HAS SOPS 775956 HAS SOUS 671832 HAS SOUPS 671832 WITH SCORE 672607.956
AT ITER 922 NEW BEST:: SOT 4445638 SOS 776060 HAS SOPS 776060 HAS SOUS 671617 HAS SOUPS 671617 WITH SCORE 672393.06
AT ITER 978 NEW BEST:: SOT 4445424 SOS 775632 HAS SOPS 775632 HAS SOUS 671189 HAS SOUPS 671189 WITH SCORE 671964.632
AT ITER 985 NEW BEST:: SOT 4445424 SOS 775421 HAS SOPS 775421 HAS SOUS 670978 HAS SOUPS 670978 WITH SCORE 671753.421
AT ITER 1003 NEW BEST:: SOT 4445275 SOS 774590 HAS SOPS 774590 HAS SOUS 670833 HAS SOUPS 670833 WITH SCORE 671607.59
AT ITER 1005 NEW BEST:: SOT 4445018 SOS 774461 HAS SOPS 774461 HAS SOUS 670618 HAS SOUPS 670618 WITH SCORE 671392.461
AT ITER 1025 NEW BEST:: SOT 4444771 SOS 773967 HAS SOPS 773967 HAS SOUS 670124 HAS SOUPS 670124 WITH SCORE 670897.967
AT ITER 1028 NEW BEST:: SOT 4444619 SOS 773663 HAS SOPS 773663 HAS SOUS 669820 HAS SOUPS 669820 WITH SCORE 670593.663
AT ITER 1066 NEW BEST:: SOT 4444424 SOS 773533 HAS SOPS 773533 HAS SOUS 669625 HAS SOUPS 669625 WITH SCORE 670398.533
AT ITER 1077 NEW BEST:: SOT 4444203 SOS 773091 HAS SOPS 773091 HAS SOUS 669183 HAS SOUPS 669183 WITH SCORE 669956.091
AT ITER 1082 NEW BEST:: SOT 4444144 SOS 772973 HAS SOPS 772973 HAS SOUS 669065 HAS SOUPS 669065 WITH SCORE 669837.973
AT ITER 1088 NEW BEST:: SOT 4444068 SOS 772923 HAS SOPS 772923 HAS SOUS 669015 HAS SOUPS 669015 WITH SCORE 669787.923
AT ITER 1103 NEW BEST:: SOT 4444095 SOS 772977 HAS SOPS 772977 HAS SOUS 668854 HAS SOUPS 668854 WITH SCORE 669626.977
AT ITER 1114 NEW BEST:: SOT 4444095 SOS 772948 HAS SOPS 772948 HAS SOUS 668825 HAS SOUPS 668825 WITH SCORE 669597.948
AT ITER 1160 NEW BEST:: SOT 4443975 SOS 772708 HAS SOPS 772708 HAS SOUS 668442 HAS SOUPS 668442 WITH SCORE 669214.708
AT ITER 1180 NEW BEST:: SOT 4443701 SOS 772727 HAS SOPS 772727 HAS SOUS 668398 HAS SOUPS 668398 WITH SCORE 669170.727
AT ITER 1206 NEW BEST:: SOT 4443701 SOS 772605 HAS SOPS 772605 HAS SOUS 668398 HAS SOUPS 668398 WITH SCORE 669170.605
AT ITER 1207 NEW BEST:: SOT 4443701 SOS 772605 HAS SOPS 772605 HAS SOUS 668332 HAS SOUPS 668332 WITH SCORE 669104.605
AT ITER 1230 NEW BEST:: SOT 4443701 SOS 772435 HAS SOPS 772435 HAS SOUS 668332 HAS SOUPS 668332 WITH SCORE 669104.435
AT ITER 1261 NEW BEST:: SOT 4443365 SOS 772181 HAS SOPS 772181 HAS SOUS 668025 HAS SOUPS 668025 WITH SCORE 668797.181
AT ITER 1269 NEW BEST:: SOT 4443129 SOS 772278 HAS SOPS 772278 HAS SOUS 667993 HAS SOUPS 667993 WITH SCORE 668765.278
AT ITER 1286 NEW BEST:: SOT 4442647 SOS 772151 HAS SOPS 772151 HAS SOUS 667671 HAS SOUPS 667671 WITH SCORE 668443.151
AT ITER 1289 NEW BEST:: SOT 4442426 SOS 771930 HAS SOPS 771930 HAS SOUS 667581 HAS SOUPS 667581 WITH SCORE 668352.93
AT ITER 1295 NEW BEST:: SOT 4442279 SOS 771854 HAS SOPS 771854 HAS SOUS 667470 HAS SOUPS 667470 WITH SCORE 668241.854
AT ITER 1309 NEW BEST:: SOT 4442278 SOS 771852 HAS SOPS 771852 HAS SOUS 667468 HAS SOUPS 667468 WITH SCORE 668239.852
AT ITER 1333 NEW BEST:: SOT 4442278 SOS 771789 HAS SOPS 771789 HAS SOUS 667405 HAS SOUPS 667405 WITH SCORE 668176.789
AT ITER 1357 NEW BEST:: SOT 4442086 SOS 771528 HAS SOPS 771528 HAS SOUS 667144 HAS SOUPS 667144 WITH SCORE 667915.528
AT ITER 1387 NEW BEST:: SOT 4442025 SOS 771478 HAS SOPS 771478 HAS SOUS 667094 HAS SOUPS 667094 WITH SCORE 667865.478
AT ITER 1405 NEW BEST:: SOT 4442024 SOS 771356 HAS SOPS 771356 HAS SOUS 667091 HAS SOUPS 667091 WITH SCORE 667862.356
AT ITER 1421 NEW BEST:: SOT 4441996 SOS 771272 HAS SOPS 771272 HAS SOUS 667035 HAS SOUPS 667035 WITH SCORE 667806.272
AT ITER 1499 NEW BEST:: SOT 4441934 SOS 771210 HAS SOPS 771210 HAS SOUS 666973 HAS SOUPS 666973 WITH SCORE 667744.21
AT ITER 1519 NEW BEST:: SOT 4441910 SOS 771162 HAS SOPS 771162 HAS SOUS 666949 HAS SOUPS 666949 WITH SCORE 667720.162
AT ITER 1524 NEW BEST:: SOT 4441910 SOS 770842 HAS SOPS 770842 HAS SOUS 666949 HAS SOUPS 666949 WITH SCORE 667719.842
AT ITER 1652 NEW BEST:: SOT 4441881 SOS 770813 HAS SOPS 770813 HAS SOUS 666920 HAS SOUPS 666920 WITH SCORE 667690.813
AT ITER 1668 NEW BEST:: SOT 4441828 SOS 770952 HAS SOPS 770952 HAS SOUS 666880 HAS SOUPS 666880 WITH SCORE 667650.952
AT ITER 1690 NEW BEST:: SOT 4441674 SOS 770644 HAS SOPS 770644 HAS SOUS 666572 HAS SOUPS 666572 WITH SCORE 667342.644
AT ITER 1708 NEW BEST:: SOT 4441575 SOS 770512 HAS SOPS 770512 HAS SOUS 666440 HAS SOUPS 666440 WITH SCORE 667210.512
AT ITER 1710 NEW BEST:: SOT 4441503 SOS 770440 HAS SOPS 770440 HAS SOUS 666368 HAS SOUPS 666368 WITH SCORE 667138.44
AT ITER 1711 NEW BEST:: SOT 4441448 SOS 770526 HAS SOPS 770526 HAS SOUS 666335 HAS SOUPS 666335 WITH SCORE 667105.526
AT ITER 1712 NEW BEST:: SOT 4441395 SOS 770420 HAS SOPS 770420 HAS SOUS 666229 HAS SOUPS 666229 WITH SCORE 666999.42
AT ITER 1740 NEW BEST:: SOT 4441262 SOS 770154 HAS SOPS 770154 HAS SOUS 665963 HAS SOUPS 665963 WITH SCORE 666733.154
AT ITER 1758 NEW BEST:: SOT 4441251 SOS 770132 HAS SOPS 770132 HAS SOUS 665941 HAS SOUPS 665941 WITH SCORE 666711.132
AT ITER 1783 NEW BEST:: SOT 4441113 SOS 770080 HAS SOPS 770080 HAS SOUS 665803 HAS SOUPS 665803 WITH SCORE 666573.08
AT ITER 1826 NEW BEST:: SOT 4440955 SOS 770019 HAS SOPS 770019 HAS SOUS 665742 HAS SOUPS 665742 WITH SCORE 666512.019
AT ITER 1827 NEW BEST:: SOT 4440858 SOS 769922 HAS SOPS 769922 HAS SOUS 665645 HAS SOUPS 665645 WITH SCORE 666414.922
AT ITER 1840 NEW BEST:: SOT 4440502 SOS 770860 HAS SOPS 770860 HAS SOUS 665509 HAS SOUPS 665509 WITH SCORE 666279.86
AT ITER 1844 NEW BEST:: SOT 4440501 SOS 770858 HAS SOPS 770858 HAS SOUS 665507 HAS SOUPS 665507 WITH SCORE 666277.858
AT ITER 1884 NEW BEST:: SOT 4440526 SOS 770908 HAS SOPS 770908 HAS SOUS 665299 HAS SOUPS 665299 WITH SCORE 666069.908
AT ITER 1893 NEW BEST:: SOT 4440656 SOS 770202 HAS SOPS 770202 HAS SOUS 665291 HAS SOUPS 665291 WITH SCORE 666061.202
AT ITER 1910 NEW BEST:: SOT 4440490 SOS 769870 HAS SOPS 769870 HAS SOUS 664959 HAS SOUPS 664959 WITH SCORE 665728.87
AT ITER 1936 NEW BEST:: SOT 4439865 SOS 769295 HAS SOPS 769295 HAS SOUS 664206 HAS SOUPS 664206 WITH SCORE 664975.295
AT ITER 1993 NEW BEST:: SOT 4439631 SOS 768805 HAS SOPS 768805 HAS SOUS 664034 HAS SOUPS 664034 WITH SCORE 664802.805
AT ITER 2005 NEW BEST:: SOT 4439614 SOS 768902 HAS SOPS 768902 HAS SOUS 664017 HAS SOUPS 664017 WITH SCORE 664785.902
AT ITER 2012 NEW BEST:: SOT 4439614 SOS 768768 HAS SOPS 768768 HAS SOUS 664017 HAS SOUPS 664017 WITH SCORE 664785.768
AT ITER 2051 NEW BEST:: SOT 4439443 SOS 768426 HAS SOPS 768426 HAS SOUS 663675 HAS SOUPS 663675 WITH SCORE 664443.426
AT ITER 2071 NEW BEST:: SOT 4439441 SOS 768422 HAS SOPS 768422 HAS SOUS 663671 HAS SOUPS 663671 WITH SCORE 664439.422
AT ITER 2104 NEW BEST:: SOT 4439441 SOS 768279 HAS SOPS 768279 HAS SOUS 663528 HAS SOUPS 663528 WITH SCORE 664296.279
AT ITER 2122 NEW BEST:: SOT 4439352 SOS 768208 HAS SOPS 768208 HAS SOUS 663332 HAS SOUPS 663332 WITH SCORE 664100.208
AT ITER 2126 NEW BEST:: SOT 4438948 SOS 767804 HAS SOPS 767804 HAS SOUS 663267 HAS SOUPS 663267 WITH SCORE 664034.804
AT ITER 2145 NEW BEST:: SOT 4438947 SOS 767802 HAS SOPS 767802 HAS SOUS 663265 HAS SOUPS 663265 WITH SCORE 664032.802
AT ITER 2155 NEW BEST:: SOT 4438768 SOS 767444 HAS SOPS 767444 HAS SOUS 662895 HAS SOUPS 662895 WITH SCORE 663662.444
AT ITER 2166 NEW BEST:: SOT 4438765 SOS 767438 HAS SOPS 767438 HAS SOUS 662889 HAS SOUPS 662889 WITH SCORE 663656.438
AT ITER 2169 NEW BEST:: SOT 4438613 SOS 767438 HAS SOPS 767438 HAS SOUS 662813 HAS SOUPS 662813 WITH SCORE 663580.438
AT ITER 2172 NEW BEST:: SOT 4438433 SOS 767078 HAS SOPS 767078 HAS SOUS 662488 HAS SOUPS 662488 WITH SCORE 663255.078
AT ITER 2186 NEW BEST:: SOT 4438660 SOS 767117 HAS SOPS 767117 HAS SOUS 662349 HAS SOUPS 662349 WITH SCORE 663116.117
AT ITER 2201 NEW BEST:: SOT 4438667 SOS 767077 HAS SOPS 767077 HAS SOUS 662309 HAS SOUPS 662309 WITH SCORE 663076.077
AT ITER 2238 NEW BEST:: SOT 4438667 SOS 766715 HAS SOPS 766715 HAS SOUS 662309 HAS SOUPS 662309 WITH SCORE 663075.715
AT ITER 2249 NEW BEST:: SOT 4438122 SOS 766713 HAS SOPS 766713 HAS SOUS 662035 HAS SOUPS 662035 WITH SCORE 662801.713
AT ITER 2261 NEW BEST:: SOT 4438122 SOS 766367 HAS SOPS 766367 HAS SOUS 662035 HAS SOUPS 662035 WITH SCORE 662801.367
AT ITER 2263 NEW BEST:: SOT 4438015 SOS 765848 HAS SOPS 765848 HAS SOUS 661637 HAS SOUPS 661637 WITH SCORE 662402.848
AT ITER 2319 NEW BEST:: SOT 4437970 SOS 765874 HAS SOPS 765874 HAS SOUS 661592 HAS SOUPS 661592 WITH SCORE 662357.874
AT ITER 2347 NEW BEST:: SOT 4437790 SOS 765514 HAS SOPS 765514 HAS SOUS 661232 HAS SOUPS 661232 WITH SCORE 661997.514
AT ITER 2364 NEW BEST:: SOT 4437422 SOS 764962 HAS SOPS 764962 HAS SOUS 660680 HAS SOUPS 660680 WITH SCORE 661444.962
AT ITER 2366 NEW BEST:: SOT 4437230 SOS 764770 HAS SOPS 764770 HAS SOUS 660488 HAS SOUPS 660488 WITH SCORE 661252.77
AT ITER 2371 NEW BEST:: SOT 4437190 SOS 764690 HAS SOPS 764690 HAS SOUS 660408 HAS SOUPS 660408 WITH SCORE 661172.69
AT ITER 2401 NEW BEST:: SOT 4437144 SOS 764598 HAS SOPS 764598 HAS SOUS 660316 HAS SOUPS 660316 WITH SCORE 661080.598
AT ITER 2407 NEW BEST:: SOT 4437094 SOS 764498 HAS SOPS 764498 HAS SOUS 660266 HAS SOUPS 660266 WITH SCORE 661030.498
AT ITER 2410 NEW BEST:: SOT 4437077 SOS 764464 HAS SOPS 764464 HAS SOUS 660247 HAS SOUPS 660247 WITH SCORE 661011.464
AT ITER 2433 NEW BEST:: SOT 4434725 SOS 798400 HAS SOPS 798400 HAS SOUS 658996 HAS SOUPS 658996 WITH SCORE 659794.4
AT ITER 2459 NEW BEST:: SOT 4434679 SOS 798262 HAS SOPS 798262 HAS SOUS 658904 HAS SOUPS 658904 WITH SCORE 659702.262
AT ITER 2473 NEW BEST:: SOT 4434409 SOS 798082 HAS SOPS 798082 HAS SOUS 658634 HAS SOUPS 658634 WITH SCORE 659432.082
AT ITER 2497 NEW BEST:: SOT 4434249 SOS 797762 HAS SOPS 797762 HAS SOUS 658634 HAS SOUPS 658634 WITH SCORE 659431.762
AT ITER 2525 NEW BEST:: SOT 4434249 SOS 797762 HAS SOPS 797762 HAS SOUS 658624 HAS SOUPS 658624 WITH SCORE 659421.762
AT ITER 2529 NEW BEST:: SOT 4434224 SOS 797712 HAS SOPS 797712 HAS SOUS 658574 HAS SOUPS 658574 WITH SCORE 659371.712
AT ITER 2556 NEW BEST:: SOT 4434125 SOS 797514 HAS SOPS 797514 HAS SOUS 658562 HAS SOUPS 658562 WITH SCORE 659359.514
AT ITER 2563 NEW BEST:: SOT 4434124 SOS 797271 HAS SOPS 797271 HAS SOUS 658560 HAS SOUPS 658560 WITH SCORE 659357.271
AT ITER 2565 NEW BEST:: SOT 4433662 SOS 796347 HAS SOPS 796347 HAS SOUS 658289 HAS SOUPS 658289 WITH SCORE 659085.347
AT ITER 2567 NEW BEST:: SOT 4433662 SOS 796347 HAS SOPS 796347 HAS SOUS 658259 HAS SOUPS 658259 WITH SCORE 659055.347
AT ITER 2610 NEW BEST:: SOT 4433661 SOS 796345 HAS SOPS 796345 HAS SOUS 658257 HAS SOUPS 658257 WITH SCORE 659053.345
AT ITER 2629 NEW BEST:: SOT 4433373 SOS 795769 HAS SOPS 795769 HAS SOUS 657972 HAS SOUPS 657972 WITH SCORE 658767.769
AT ITER 2642 NEW BEST:: SOT 4433213 SOS 795449 HAS SOPS 795449 HAS SOUS 657652 HAS SOUPS 657652 WITH SCORE 658447.449
AT ITER 2649 NEW BEST:: SOT 4433030 SOS 795083 HAS SOPS 795083 HAS SOUS 657278 HAS SOUPS 657278 WITH SCORE 658073.083
AT ITER 2655 NEW BEST:: SOT 4433010 SOS 795043 HAS SOPS 795043 HAS SOUS 657238 HAS SOUPS 657238 WITH SCORE 658033.043
AT ITER 2679 NEW BEST:: SOT 4433010 SOS 794993 HAS SOPS 794993 HAS SOUS 657238 HAS SOUPS 657238 WITH SCORE 658032.993
AT ITER 2687 NEW BEST:: SOT 4433160 SOS 795076 HAS SOPS 795076 HAS SOUS 657171 HAS SOUPS 657171 WITH SCORE 657966.076
AT ITER 2709 NEW BEST:: SOT 4433060 SOS 794876 HAS SOPS 794876 HAS SOUS 656971 HAS SOUPS 656971 WITH SCORE 657765.876
AT ITER 2728 NEW BEST:: SOT 4432940 SOS 795200 HAS SOPS 795200 HAS SOUS 656626 HAS SOUPS 656626 WITH SCORE 657421.2
AT ITER 2733 NEW BEST:: SOT 4432887 SOS 795230 HAS SOPS 795230 HAS SOUS 656615 HAS SOUPS 656615 WITH SCORE 657410.23
AT ITER 2737 NEW BEST:: SOT 4432876 SOS 795208 HAS SOPS 795208 HAS SOUS 656593 HAS SOUPS 656593 WITH SCORE 657388.208
AT ITER 2752 NEW BEST:: SOT 4432796 SOS 795048 HAS SOPS 795048 HAS SOUS 656433 HAS SOUPS 656433 WITH SCORE 657228.048
AT ITER 2758 NEW BEST:: SOT 4432536 SOS 794528 HAS SOPS 794528 HAS SOUS 656326 HAS SOUPS 656326 WITH SCORE 657120.528
AT ITER 2779 NEW BEST:: SOT 4432522 SOS 794500 HAS SOPS 794500 HAS SOUS 656298 HAS SOUPS 656298 WITH SCORE 657092.5
AT ITER 2793 NEW BEST:: SOT 4432508 SOS 794472 HAS SOPS 794472 HAS SOUS 656284 HAS SOUPS 656284 WITH SCORE 657078.472
AT ITER 2810 NEW BEST:: SOT 4432101 SOS 794210 HAS SOPS 794210 HAS SOUS 655923 HAS SOUPS 655923 WITH SCORE 656717.21
AT ITER 2823 NEW BEST:: SOT 4432101 SOS 794210 HAS SOPS 794210 HAS SOUS 655922 HAS SOUPS 655922 WITH SCORE 656716.21
AT ITER 2840 NEW BEST:: SOT 4432205 SOS 794197 HAS SOPS 794197 HAS SOUS 655909 HAS SOUPS 655909 WITH SCORE 656703.197
AT ITER 2844 NEW BEST:: SOT 4432205 SOS 794197 HAS SOPS 794197 HAS SOUS 655881 HAS SOUPS 655881 WITH SCORE 656675.197
AT ITER 2877 NEW BEST:: SOT 4432046 SOS 793879 HAS SOPS 793879 HAS SOUS 655563 HAS SOUPS 655563 WITH SCORE 656356.879
AT ITER 2883 NEW BEST:: SOT 4432046 SOS 793581 HAS SOPS 793581 HAS SOUS 655563 HAS SOUPS 655563 WITH SCORE 656356.581
AT ITER 2898 NEW BEST:: SOT 4431784 SOS 793057 HAS SOPS 793057 HAS SOUS 655039 HAS SOUPS 655039 WITH SCORE 655832.057
AT ITER 2904 NEW BEST:: SOT 4431636 SOS 792909 HAS SOPS 792909 HAS SOUS 655022 HAS SOUPS 655022 WITH SCORE 655814.909
AT ITER 2907 NEW BEST:: SOT 4431636 SOS 792598 HAS SOPS 792598 HAS SOUS 655022 HAS SOUPS 655022 WITH SCORE 655814.598
AT ITER 2910 NEW BEST:: SOT 4431582 SOS 792544 HAS SOPS 792544 HAS SOUS 654967 HAS SOUPS 654967 WITH SCORE 655759.544
AT ITER 2914 NEW BEST:: SOT 4431524 SOS 792428 HAS SOPS 792428 HAS SOUS 654851 HAS SOUPS 654851 WITH SCORE 655643.428
AT ITER 2918 NEW BEST:: SOT 4431504 SOS 792388 HAS SOPS 792388 HAS SOUS 654831 HAS SOUPS 654831 WITH SCORE 655623.388
AT ITER 2935 NEW BEST:: SOT 4431504 SOS 792388 HAS SOPS 792388 HAS SOUS 654721 HAS SOUPS 654721 WITH SCORE 655513.388
AT ITER 2951 NEW BEST:: SOT 4431463 SOS 792158 HAS SOPS 792158 HAS SOUS 654537 HAS SOUPS 654537 WITH SCORE 655329.158
AT ITER 3006 NEW BEST:: SOT 4431239 SOS 792785 HAS SOPS 792785 HAS SOUS 654481 HAS SOUPS 654481 WITH SCORE 655273.785
AT ITER 3024 NEW BEST:: SOT 4431007 SOS 792321 HAS SOPS 792321 HAS SOUS 654095 HAS SOUPS 654095 WITH SCORE 654887.321
AT ITER 3026 NEW BEST:: SOT 4430716 SOS 791915 HAS SOPS 791915 HAS SOUS 653628 HAS SOUPS 653628 WITH SCORE 654419.915
AT ITER 3027 NEW BEST:: SOT 4430666 SOS 791815 HAS SOPS 791815 HAS SOUS 653528 HAS SOUPS 653528 WITH SCORE 654319.815
AT ITER 3036 NEW BEST:: SOT 4430633 SOS 791749 HAS SOPS 791749 HAS SOUS 653495 HAS SOUPS 653495 WITH SCORE 654286.749
AT ITER 3045 NEW BEST:: SOT 4431260 SOS 792709 HAS SOPS 792709 HAS SOUS 653466 HAS SOUPS 653466 WITH SCORE 654258.709
AT ITER 3052 NEW BEST:: SOT 4430915 SOS 792479 HAS SOPS 792479 HAS SOUS 653121 HAS SOUPS 653121 WITH SCORE 653913.479
AT ITER 3062 NEW BEST:: SOT 4430727 SOS 792103 HAS SOPS 792103 HAS SOUS 652745 HAS SOUPS 652745 WITH SCORE 653537.103
AT ITER 3064 NEW BEST:: SOT 4430680 SOS 792009 HAS SOPS 792009 HAS SOUS 652688 HAS SOUPS 652688 WITH SCORE 653480.009
AT ITER 3073 NEW BEST:: SOT 4430680 SOS 792009 HAS SOPS 792009 HAS SOUS 652541 HAS SOUPS 652541 WITH SCORE 653333.009
AT ITER 3076 NEW BEST:: SOT 4430469 SOS 791587 HAS SOPS 791587 HAS SOUS 652119 HAS SOUPS 652119 WITH SCORE 652910.587
AT ITER 3078 NEW BEST:: SOT 4430422 SOS 791809 HAS SOPS 791809 HAS SOUS 652072 HAS SOUPS 652072 WITH SCORE 652863.809
AT ITER 3137 NEW BEST:: SOT 4430397 SOS 791759 HAS SOPS 791759 HAS SOUS 651938 HAS SOUPS 651938 WITH SCORE 652729.759
AT ITER 3163 NEW BEST:: SOT 4430297 SOS 791659 HAS SOPS 791659 HAS SOUS 651838 HAS SOUPS 651838 WITH SCORE 652629.659
AT ITER 3175 NEW BEST:: SOT 4430176 SOS 791417 HAS SOPS 791417 HAS SOUS 651596 HAS SOUPS 651596 WITH SCORE 652387.417
AT ITER 3206 NEW BEST:: SOT 4430176 SOS 791279 HAS SOPS 791279 HAS SOUS 651458 HAS SOUPS 651458 WITH SCORE 652249.279
AT ITER 3212 NEW BEST:: SOT 4430176 SOS 790977 HAS SOPS 790977 HAS SOUS 651307 HAS SOUPS 651307 WITH SCORE 652097.977
AT ITER 3224 NEW BEST:: SOT 4430176 SOS 790558 HAS SOPS 790558 HAS SOUS 651307 HAS SOUPS 651307 WITH SCORE 652097.558
AT ITER 3287 NEW BEST:: SOT 4429750 SOS 790274 HAS SOPS 790274 HAS SOUS 650881 HAS SOUPS 650881 WITH SCORE 651671.274
AT ITER 3298 NEW BEST:: SOT 4429694 SOS 790274 HAS SOPS 790274 HAS SOUS 650879 HAS SOUPS 650879 WITH SCORE 651669.274
AT ITER 3301 NEW BEST:: SOT 4429610 SOS 789815 HAS SOPS 789815 HAS SOUS 650504 HAS SOUPS 650504 WITH SCORE 651293.815
AT ITER 3302 NEW BEST:: SOT 4429446 SOS 789651 HAS SOPS 789651 HAS SOUS 650340 HAS SOUPS 650340 WITH SCORE 651129.651
AT ITER 3306 NEW BEST:: SOT 4429446 SOS 789433 HAS SOPS 789433 HAS SOUS 650338 HAS SOUPS 650338 WITH SCORE 651127.433
AT ITER 3320 NEW BEST:: SOT 4429242 SOS 789665 HAS SOPS 789665 HAS SOUS 650050 HAS SOUPS 650050 WITH SCORE 650839.665
AT ITER 3337 NEW BEST:: SOT 4429242 SOS 789375 HAS SOPS 789375 HAS SOUS 650050 HAS SOUPS 650050 WITH SCORE 650839.375
AT ITER 3351 NEW BEST:: SOT 4429237 SOS 789365 HAS SOPS 789365 HAS SOUS 650040 HAS SOUPS 650040 WITH SCORE 650829.365
AT ITER 3363 NEW BEST:: SOT 4429052 SOS 788687 HAS SOPS 788687 HAS SOUS 649558 HAS SOUPS 649558 WITH SCORE 650346.687
AT ITER 3374 NEW BEST:: SOT 4428658 SOS 788356 HAS SOPS 788356 HAS SOUS 649227 HAS SOUPS 649227 WITH SCORE 650015.356
AT ITER 3386 NEW BEST:: SOT 4428657 SOS 788207 HAS SOPS 788207 HAS SOUS 649079 HAS SOUPS 649079 WITH SCORE 649867.207
AT ITER 3446 NEW BEST:: SOT 4428845 SOS 788207 HAS SOPS 788207 HAS SOUS 648891 HAS SOUPS 648891 WITH SCORE 649679.207
AT ITER 3534 NEW BEST:: SOT 4428845 SOS 788124 HAS SOPS 788124 HAS SOUS 648891 HAS SOUPS 648891 WITH SCORE 649679.124
AT ITER 3541 NEW BEST:: SOT 4428278 SOS 787557 HAS SOPS 787557 HAS SOUS 648324 HAS SOUPS 648324 WITH SCORE 649111.557
AT ITER 3561 NEW BEST:: SOT 4428262 SOS 787541 HAS SOPS 787541 HAS SOUS 648308 HAS SOUPS 648308 WITH SCORE 649095.541
AT ITER 3571 NEW BEST:: SOT 4428153 SOS 787323 HAS SOPS 787323 HAS SOUS 648090 HAS SOUPS 648090 WITH SCORE 648877.323
AT ITER 3591 NEW BEST:: SOT 4428043 SOS 787417 HAS SOPS 787417 HAS SOUS 648085 HAS SOUPS 648085 WITH SCORE 648872.417
AT ITER 3593 NEW BEST:: SOT 4427393 SOS 789181 HAS SOPS 789181 HAS SOUS 647501 HAS SOUPS 647501 WITH SCORE 648290.181
AT ITER 3613 NEW BEST:: SOT 4427278 SOS 788709 HAS SOPS 788709 HAS SOUS 647271 HAS SOUPS 647271 WITH SCORE 648059.709
AT ITER 3620 NEW BEST:: SOT 4427330 SOS 788582 HAS SOPS 788582 HAS SOUS 647144 HAS SOUPS 647144 WITH SCORE 647932.582
AT ITER 3624 NEW BEST:: SOT 4427328 SOS 788578 HAS SOPS 788578 HAS SOUS 647140 HAS SOUPS 647140 WITH SCORE 647928.578
AT ITER 3636 NEW BEST:: SOT 4427251 SOS 788501 HAS SOPS 788501 HAS SOUS 647063 HAS SOUPS 647063 WITH SCORE 647851.501
AT ITER 3667 NEW BEST:: SOT 4427527 SOS 788765 HAS SOPS 788765 HAS SOUS 647051 HAS SOUPS 647051 WITH SCORE 647839.765
AT ITER 3694 NEW BEST:: SOT 4427243 SOS 788197 HAS SOPS 788197 HAS SOUS 646483 HAS SOUPS 646483 WITH SCORE 647271.197
AT ITER 3699 NEW BEST:: SOT 4426980 SOS 787671 HAS SOPS 787671 HAS SOUS 646482 HAS SOUPS 646482 WITH SCORE 647269.671
AT ITER 3703 NEW BEST:: SOT 4426893 SOS 787497 HAS SOPS 787497 HAS SOUS 646394 HAS SOUPS 646394 WITH SCORE 647181.497
AT ITER 3724 NEW BEST:: SOT 4426649 SOS 787009 HAS SOPS 787009 HAS SOUS 645906 HAS SOUPS 645906 WITH SCORE 646693.009
AT ITER 3761 NEW BEST:: SOT 4426649 SOS 787009 HAS SOPS 787009 HAS SOUS 645903 HAS SOUPS 645903 WITH SCORE 646690.009
AT ITER 3779 NEW BEST:: SOT 4426649 SOS 786750 HAS SOPS 786750 HAS SOUS 645903 HAS SOUPS 645903 WITH SCORE 646689.75
AT ITER 3780 NEW BEST:: SOT 4426524 SOS 786500 HAS SOPS 786500 HAS SOUS 645653 HAS SOUPS 645653 WITH SCORE 646439.5
AT ITER 3789 NEW BEST:: SOT 4426086 SOS 786081 HAS SOPS 786081 HAS SOUS 645434 HAS SOUPS 645434 WITH SCORE 646220.081
AT ITER 3796 NEW BEST:: SOT 4425686 SOS 785281 HAS SOPS 785281 HAS SOUS 645169 HAS SOUPS 645169 WITH SCORE 645954.281
AT ITER 3873 NEW BEST:: SOT 4425610 SOS 785205 HAS SOPS 785205 HAS SOUS 645093 HAS SOUPS 645093 WITH SCORE 645878.205
AT ITER 3896 NEW BEST:: SOT 4425526 SOS 785037 HAS SOPS 785037 HAS SOUS 644925 HAS SOUPS 644925 WITH SCORE 645710.037
AT ITER 3909 NEW BEST:: SOT 4425172 SOS 784683 HAS SOPS 784683 HAS SOUS 644571 HAS SOUPS 644571 WITH SCORE 645355.683
AT ITER 3947 NEW BEST:: SOT 4425215 SOS 784599 HAS SOPS 784599 HAS SOUS 644462 HAS SOUPS 644462 WITH SCORE 645246.599
AT ITER 3956 NEW BEST:: SOT 4425080 SOS 784329 HAS SOPS 784329 HAS SOUS 644192 HAS SOUPS 644192 WITH SCORE 644976.329
AT ITER 3963 NEW BEST:: SOT 4425080 SOS 784329 HAS SOPS 784329 HAS SOUS 644171 HAS SOUPS 644171 WITH SCORE 644955.329
AT ITER 3971 NEW BEST:: SOT 4425080 SOS 784329 HAS SOPS 784329 HAS SOUS 644105 HAS SOUPS 644105 WITH SCORE 644889.329
AT ITER 3989 NEW BEST:: SOT 4425069 SOS 784307 HAS SOPS 784307 HAS SOUS 644083 HAS SOUPS 644083 WITH SCORE 644867.307
AT ITER 3997 NEW BEST:: SOT 4425066 SOS 784304 HAS SOPS 784304 HAS SOUS 644077 HAS SOUPS 644077 WITH SCORE 644861.304
AT ITER 4003 NEW BEST:: SOT 4425066 SOS 784290 HAS SOPS 784290 HAS SOUS 644077 HAS SOUPS 644077 WITH SCORE 644861.29
AT ITER 4006 NEW BEST:: SOT 4425025 SOS 784208 HAS SOPS 784208 HAS SOUS 643995 HAS SOUPS 643995 WITH SCORE 644779.208
AT ITER 4022 NEW BEST:: SOT 4424228 SOS 783632 HAS SOPS 783632 HAS SOUS 643080 HAS SOUPS 643080 WITH SCORE 643863.632
AT ITER 4027 NEW BEST:: SOT 4424105 SOS 783386 HAS SOPS 783386 HAS SOUS 642957 HAS SOUPS 642957 WITH SCORE 643740.386
AT ITER 4048 NEW BEST:: SOT 4424157 SOS 783490 HAS SOPS 783490 HAS SOUS 642878 HAS SOUPS 642878 WITH SCORE 643661.49
AT ITER 4052 NEW BEST:: SOT 4424018 SOS 783212 HAS SOPS 783212 HAS SOUS 642600 HAS SOUPS 642600 WITH SCORE 643383.212
AT ITER 4075 NEW BEST:: SOT 4423721 SOS 782915 HAS SOPS 782915 HAS SOUS 642600 HAS SOUPS 642600 WITH SCORE 643382.915
AT ITER 4092 NEW BEST:: SOT 4423677 SOS 782827 HAS SOPS 782827 HAS SOUS 642512 HAS SOUPS 642512 WITH SCORE 643294.827
AT ITER 4124 NEW BEST:: SOT 4423678 SOS 782733 HAS SOPS 782733 HAS SOUS 642418 HAS SOUPS 642418 WITH SCORE 643200.733
AT ITER 4159 NEW BEST:: SOT 4423677 SOS 782721 HAS SOPS 782721 HAS SOUS 642416 HAS SOUPS 642416 WITH SCORE 643198.721
AT ITER 4175 NEW BEST:: SOT 4423576 SOS 782519 HAS SOPS 782519 HAS SOUS 642214 HAS SOUPS 642214 WITH SCORE 642996.519
AT ITER 4183 NEW BEST:: SOT 4423574 SOS 782515 HAS SOPS 782515 HAS SOUS 641907 HAS SOUPS 641907 WITH SCORE 642689.515
AT ITER 4186 NEW BEST:: SOT 4423685 SOS 782514 HAS SOPS 782514 HAS SOUS 641905 HAS SOUPS 641905 WITH SCORE 642687.514
AT ITER 4205 NEW BEST:: SOT 4423506 SOS 782156 HAS SOPS 782156 HAS SOUS 641547 HAS SOUPS 641547 WITH SCORE 642329.156
AT ITER 4206 NEW BEST:: SOT 4423415 SOS 781626 HAS SOPS 781626 HAS SOUS 641071 HAS SOUPS 641071 WITH SCORE 641852.626
AT ITER 4210 NEW BEST:: SOT 4423415 SOS 781437 HAS SOPS 781437 HAS SOUS 641071 HAS SOUPS 641071 WITH SCORE 641852.437
AT ITER 4216 NEW BEST:: SOT 4423348 SOS 781270 HAS SOPS 781270 HAS SOUS 640904 HAS SOUPS 640904 WITH SCORE 641685.27
AT ITER 4236 NEW BEST:: SOT 4423348 SOS 781448 HAS SOPS 781448 HAS SOUS 640726 HAS SOUPS 640726 WITH SCORE 641507.448
AT ITER 4247 NEW BEST:: SOT 4423258 SOS 780995 HAS SOPS 780995 HAS SOUS 640546 HAS SOUPS 640546 WITH SCORE 641326.995
AT ITER 4259 NEW BEST:: SOT 4423258 SOS 780813 HAS SOPS 780813 HAS SOUS 640546 HAS SOUPS 640546 WITH SCORE 641326.813
AT ITER 4268 NEW BEST:: SOT 4422983 SOS 780263 HAS SOPS 780263 HAS SOUS 640009 HAS SOUPS 640009 WITH SCORE 640789.263
AT ITER 4269 NEW BEST:: SOT 4422571 SOS 780000 HAS SOPS 780000 HAS SOUS 639964 HAS SOUPS 639964 WITH SCORE 640744.0
AT ITER 4320 NEW BEST:: SOT 4422561 SOS 779980 HAS SOPS 779980 HAS SOUS 639954 HAS SOUPS 639954 WITH SCORE 640733.98
AT ITER 4344 NEW BEST:: SOT 4422561 SOS 779957 HAS SOPS 779957 HAS SOUS 639954 HAS SOUPS 639954 WITH SCORE 640733.957
AT ITER 4409 NEW BEST:: SOT 4422511 SOS 779857 HAS SOPS 779857 HAS SOUS 639854 HAS SOUPS 639854 WITH SCORE 640633.857
AT ITER 4448 NEW BEST:: SOT 4422498 SOS 779831 HAS SOPS 779831 HAS SOUS 639841 HAS SOUPS 639841 WITH SCORE 640620.831
AT ITER 4451 NEW BEST:: SOT 4422130 SOS 779095 HAS SOPS 779095 HAS SOUS 639754 HAS SOUPS 639754 WITH SCORE 640533.095
AT ITER 4498 NEW BEST:: SOT 4421798 SOS 778763 HAS SOPS 778763 HAS SOUS 639422 HAS SOUPS 639422 WITH SCORE 640200.763
AT ITER 4519 NEW BEST:: SOT 4421645 SOS 778457 HAS SOPS 778457 HAS SOUS 639314 HAS SOUPS 639314 WITH SCORE 640092.457
AT ITER 4527 NEW BEST:: SOT 4420667 SOS 777557 HAS SOPS 777557 HAS SOUS 638364 HAS SOUPS 638364 WITH SCORE 639141.557
AT ITER 4531 NEW BEST:: SOT 4420549 SOS 777321 HAS SOPS 777321 HAS SOUS 638128 HAS SOUPS 638128 WITH SCORE 638905.321
AT ITER 4561 NEW BEST:: SOT 4420348 SOS 776845 HAS SOPS 776845 HAS SOUS 638084 HAS SOUPS 638084 WITH SCORE 638860.845
AT ITER 4583 NEW BEST:: SOT 4420348 SOS 776709 HAS SOPS 776709 HAS SOUS 637948 HAS SOUPS 637948 WITH SCORE 638724.709
AT ITER 4597 NEW BEST:: SOT 4420317 SOS 776647 HAS SOPS 776647 HAS SOUS 637886 HAS SOUPS 637886 WITH SCORE 638662.647
AT ITER 4609 NEW BEST:: SOT 4420295 SOS 776677 HAS SOPS 776677 HAS SOUS 637871 HAS SOUPS 637871 WITH SCORE 638647.677
AT ITER 4626 NEW BEST:: SOT 4419991 SOS 776541 HAS SOPS 776541 HAS SOUS 637624 HAS SOUPS 637624 WITH SCORE 638400.541
AT ITER 4636 NEW BEST:: SOT 4419783 SOS 776125 HAS SOPS 776125 HAS SOUS 637208 HAS SOUPS 637208 WITH SCORE 637984.125
AT ITER 4658 NEW BEST:: SOT 4419919 SOS 775893 HAS SOPS 775893 HAS SOUS 637090 HAS SOUPS 637090 WITH SCORE 637865.893
AT ITER 4668 NEW BEST:: SOT 4419798 SOS 775795 HAS SOPS 775795 HAS SOUS 636992 HAS SOUPS 636992 WITH SCORE 637767.795
AT ITER 4697 NEW BEST:: SOT 4419845 SOS 775194 HAS SOPS 775194 HAS SOUS 636843 HAS SOUPS 636843 WITH SCORE 637618.194
AT ITER 4717 NEW BEST:: SOT 4419639 SOS 774988 HAS SOPS 774988 HAS SOUS 636688 HAS SOUPS 636688 WITH SCORE 637462.988
AT ITER 4732 NEW BEST:: SOT 4419600 SOS 774796 HAS SOPS 774796 HAS SOUS 636535 HAS SOUPS 636535 WITH SCORE 637309.796
AT ITER 4741 NEW BEST:: SOT 4419626 SOS 774650 HAS SOPS 774650 HAS SOUS 636477 HAS SOUPS 636477 WITH SCORE 637251.65
AT ITER 4759 NEW BEST:: SOT 4419644 SOS 774686 HAS SOPS 774686 HAS SOUS 636475 HAS SOUPS 636475 WITH SCORE 637249.686
AT ITER 4789 NEW BEST:: SOT 4419401 SOS 773828 HAS SOPS 773828 HAS SOUS 635987 HAS SOUPS 635987 WITH SCORE 636760.828
AT ITER 4815 NEW BEST:: SOT 4419446 SOS 773746 HAS SOPS 773746 HAS SOUS 635905 HAS SOUPS 635905 WITH SCORE 636678.746
AT ITER 4828 NEW BEST:: SOT 4419361 SOS 773576 HAS SOPS 773576 HAS SOUS 635735 HAS SOUPS 635735 WITH SCORE 636508.576
AT ITER 4834 NEW BEST:: SOT 4419251 SOS 773471 HAS SOPS 773471 HAS SOUS 635630 HAS SOUPS 635630 WITH SCORE 636403.471
AT ITER 4836 NEW BEST:: SOT 4419241 SOS 773483 HAS SOPS 773483 HAS SOUS 635627 HAS SOUPS 635627 WITH SCORE 636400.483
AT ITER 4844 NEW BEST:: SOT 4419182 SOS 773670 HAS SOPS 773670 HAS SOUS 635585 HAS SOUPS 635585 WITH SCORE 636358.67
AT ITER 4854 NEW BEST:: SOT 4419181 SOS 773668 HAS SOPS 773668 HAS SOUS 635583 HAS SOUPS 635583 WITH SCORE 636356.668
AT ITER 4879 NEW BEST:: SOT 4419056 SOS 773541 HAS SOPS 773541 HAS SOUS 635431 HAS SOUPS 635431 WITH SCORE 636204.541
AT ITER 4891 NEW BEST:: SOT 4418637 SOS 773365 HAS SOPS 773365 HAS SOUS 635255 HAS SOUPS 635255 WITH SCORE 636028.365
AT ITER 4912 NEW BEST:: SOT 4418830 SOS 773170 HAS SOPS 773170 HAS SOUS 635253 HAS SOUPS 635253 WITH SCORE 636026.17
AT ITER 4922 NEW BEST:: SOT 4418788 SOS 773086 HAS SOPS 773086 HAS SOUS 635169 HAS SOUPS 635169 WITH SCORE 635942.086
AT ITER 4962 NEW BEST:: SOT 4418499 SOS 773138 HAS SOPS 773138 HAS SOUS 635040 HAS SOUPS 635040 WITH SCORE 635813.138
AT ITER 4972 NEW BEST:: SOT 4418481 SOS 773102 HAS SOPS 773102 HAS SOUS 634935 HAS SOUPS 634935 WITH SCORE 635708.102
AT ITER 4985 NEW BEST:: SOT 4418393 SOS 773095 HAS SOPS 773095 HAS SOUS 634847 HAS SOUPS 634847 WITH SCORE 635620.095
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-00 (EU( (AF( ( ((potential((tk(P418)>=1)))) | ((potential((tk(P1270)>=1)))) ))) , ((potential((tk(P1797)>=1)))) ))
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-01 (AF( (AF( (EF( ((potential((tk(P1483)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-02 (AF( (AG( (EX( ((potential((tk(P840)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-03 ( (! (! (AX( (! ((potential((tk(P739)>=1))))))))) & ( ( (EF( ((potential((tk(P1650)>=1)))))) | (AG( (! ((potential((tk(P1856)>=1))))))) ) | ( (AG( ( ((potential((tk(P2290)>=1)))) & ((potential((tk(P198)>=1)))) ))) & ( (! (! ((potential((tk(P1186)>=1)))))) & ( ((potential((tk(P1)>=1)))) & ( ((potential((tk(P1985)>=1)))) & ((potential((tk(P765)>=1)))) ) ) ) ) ) )
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-04 ( ( ( (! ( ( ((potential((tk(P1104)>=1)))) & ((potential((tk(P1636)>=1)))) ) & ( ((potential((tk(P2171)>=1)))) | ((potential((tk(P2308)>=1)))) ) )) & ( ( (! ((potential((tk(P850)>=1))))) & ( ((potential((tk(P2330)>=1)))) & ((potential((tk(P1398)>=1)))) ) ) | (AX( ((potential((tk(P785)>=1)))))) ) ) | (EF( (AF( ((potential((tk(P1687)>=1)))))))) ) & (! (AG( (AX( ((potential((tk(P73)>=1))))))))) )
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-05 (AX( (EF( ((potential((tk(P1501)>=1))))))))
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-06 ( ( (AF( ((potential((tk(P1632)>=1)))))) & (AF( ((potential((tk(P609)>=1)))))) ) & (! ( (AF( ( ((potential((tk(P2163)>=1)))) | ((potential((tk(P382)>=1)))) ))) & (AF( (! ((potential((tk(P2481)>=1))))))) )) )
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-07 (AU( (! ( ( ((potential((tk(P619)>=1)))) & ((potential((tk(P286)>=1)))) ) | ( ((potential((tk(P1265)>=1)))) & ((potential((tk(P25)>=1) & (tk(P1901)>=1)))) ) )) , (EX( ((potential((tk(P1642)>=1)))))) ))
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-08 ( (AF( ((potential((tk(P416)>=1)))))) | (! (EF( ( ((potential((tk(P1927)>=1)))) | ( ((potential((tk(P2225)>=1)))) | ((potential((tk(P1353)>=1)))) ) )))) )
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-09 ( (AG( (AF( ((potential((tk(P149)>=1)))))))) | ((potential((tk(P1353)>=1)))) )
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-10 (AF( ( (AX( ( ((potential((tk(P1890)>=1)))) & ((potential((tk(P2341)>=1)))) ))) & ( (! (! ((potential((tk(P2291)>=1)))))) & ( (! ((potential((tk(P389)>=1))))) | ( ((potential((tk(P209)>=1)))) | ((potential((tk(P1078)>=1)))) ) ) ) )))
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-11 (AF( (AF( (! (! ((potential((tk(P573)>=1) & (tk(P1750)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-12 (AF( ( (AX( (! ((potential((tk(P2432)>=1))))))) & ( ((potential((tk(P2500)>=1)))) | ( ((potential((tk(P885)>=1)))) & (! ((potential((tk(P2233)>=1))))) ) ) )))
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-13 (! ( ( (EF( ((potential((tk(P1762)>=1)))))) & ( (AF( ((potential((tk(P709)>=1)))))) & ( (! ((potential((tk(P216)>=1))))) | ((potential((tk(P619)>=1)))) ) ) ) & (EF( ( ((potential((tk(P1583)>=1)))) & (! ((potential((tk(P573)>=1) & (tk(P2260)>=1))))) ))) ))
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-14 (EF( ( ( (EX( ((potential((tk(P1999)>=1)))))) | (! (! ((potential((tk(P443)>=1)))))) ) & (AF( (! ((potential((tk(P1082)>=1))))))) )))
PROPERTY: CloudReconfiguration-PT-318-CTLFireability-15 (AU( ((potential((tk(P1243)>=1)))) , (AF( ( ((potential((tk(P2379)>=1)))) & ((potential((tk(P1397)>=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-318"
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-318, 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-158902541800140"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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