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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.4M
-rw-r--r-- 1 mcc users 3.8K Mar 30 13:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 13:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 29 03:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 29 03:19 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.0K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 18:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 18:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 16:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 6.2M 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 DLCflexbar-PT-7a-CTLFireability-00
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-01
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-02
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-03
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-04
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-05
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-06
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-07
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-08
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-09
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-10
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-11
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-12
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-13
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-14
FORMULA_NAME DLCflexbar-PT-7a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589117881309

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 7a
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: 2913 places, 23319 transitions, 92260 arcs.
AT ITER 0 NEW BEST:: SOT 38399308 SOS 33380144 HAS SOPS 15923184 HAS SOUS 1960571 HAS SOUPS 773184 WITH SCORE 806564.144
AT ITER 27 NEW BEST:: SOT 38397559 SOS 33392258 HAS SOPS 15923769 HAS SOUS 1960208 HAS SOUPS 772394 WITH SCORE 805786.258
AT ITER 28 NEW BEST:: SOT 38397349 SOS 33390913 HAS SOPS 15922424 HAS SOUS 1959998 HAS SOUPS 772184 WITH SCORE 805574.913
AT ITER 30 NEW BEST:: SOT 38397205 SOS 33390625 HAS SOPS 15922784 HAS SOUS 1959710 HAS SOUPS 771968 WITH SCORE 805358.625
AT ITER 36 NEW BEST:: SOT 38397111 SOS 33390437 HAS SOPS 15922596 HAS SOUS 1959569 HAS SOUPS 771827 WITH SCORE 805217.437
AT ITER 44 NEW BEST:: SOT 38395473 SOS 33400095 HAS SOPS 15921832 HAS SOUS 1959416 HAS SOUPS 771288 WITH SCORE 804688.095
AT ITER 53 NEW BEST:: SOT 38394886 SOS 33398921 HAS SOPS 15923808 HAS SOUS 1958200 HAS SOUPS 770422 WITH SCORE 803820.921
AT ITER 75 NEW BEST:: SOT 38394886 SOS 33398921 HAS SOPS 15923808 HAS SOUS 1958082 HAS SOUPS 770304 WITH SCORE 803702.921
AT ITER 118 NEW BEST:: SOT 38391999 SOS 33419414 HAS SOPS 15931665 HAS SOUS 1956333 HAS SOUPS 768555 WITH SCORE 801974.414
AT ITER 126 NEW BEST:: SOT 38389595 SOS 33428257 HAS SOPS 15932858 HAS SOUS 1954541 HAS SOUPS 766763 WITH SCORE 800191.257
AT ITER 146 NEW BEST:: SOT 38389595 SOS 33428257 HAS SOPS 15932858 HAS SOUS 1954321 HAS SOUPS 766543 WITH SCORE 799971.257
AT ITER 154 NEW BEST:: SOT 38389595 SOS 33428257 HAS SOPS 15932858 HAS SOUS 1954101 HAS SOUPS 766323 WITH SCORE 799751.257
AT ITER 180 NEW BEST:: SOT 38389595 SOS 33428257 HAS SOPS 15932858 HAS SOUS 1953881 HAS SOUPS 766103 WITH SCORE 799531.257
AT ITER 182 NEW BEST:: SOT 38388464 SOS 33431637 HAS SOPS 15930379 HAS SOUS 1953424 HAS SOUPS 765429 WITH SCORE 798860.637
AT ITER 200 NEW BEST:: SOT 38388464 SOS 33431637 HAS SOPS 15930379 HAS SOUS 1953204 HAS SOUPS 765209 WITH SCORE 798640.637
AT ITER 207 NEW BEST:: SOT 38388464 SOS 33431637 HAS SOPS 15930379 HAS SOUS 1952984 HAS SOUPS 764989 WITH SCORE 798420.637
AT ITER 250 NEW BEST:: SOT 38388464 SOS 33431637 HAS SOPS 15930379 HAS SOUS 1952846 HAS SOUPS 764851 WITH SCORE 798282.637
AT ITER 293 NEW BEST:: SOT 38386089 SOS 33442450 HAS SOPS 15932156 HAS SOUS 1951313 HAS SOUPS 763318 WITH SCORE 796760.45
AT ITER 297 NEW BEST:: SOT 38383434 SOS 33463854 HAS SOPS 15941608 HAS SOUS 1950039 HAS SOUPS 762044 WITH SCORE 795507.854
AT ITER 302 NEW BEST:: SOT 38383434 SOS 33463854 HAS SOPS 15941608 HAS SOUS 1949819 HAS SOUPS 761824 WITH SCORE 795287.854
AT ITER 325 NEW BEST:: SOT 38382913 SOS 33462812 HAS SOPS 15943311 HAS SOUS 1948744 HAS SOUPS 761054 WITH SCORE 794516.812
AT ITER 327 NEW BEST:: SOT 38382690 SOS 33460266 HAS SOPS 15944545 HAS SOUS 1948246 HAS SOUPS 760976 WITH SCORE 794436.2660000001
AT ITER 333 NEW BEST:: SOT 38380743 SOS 33469753 HAS SOPS 15944501 HAS SOUS 1947303 HAS SOUPS 759680 WITH SCORE 793149.753
AT ITER 351 NEW BEST:: SOT 38380323 SOS 33468913 HAS SOPS 15946757 HAS SOUS 1946363 HAS SOUPS 759084 WITH SCORE 792552.913
AT ITER 410 NEW BEST:: SOT 38380049 SOS 33471049 HAS SOPS 15947795 HAS SOUS 1946150 HAS SOUPS 758871 WITH SCORE 792342.049
AT ITER 423 NEW BEST:: SOT 38379643 SOS 33468042 HAS SOPS 15948739 HAS SOUS 1945305 HAS SOUPS 758465 WITH SCORE 791933.042
AT ITER 474 NEW BEST:: SOT 38378299 SOS 33472842 HAS SOPS 15945763 HAS SOUS 1944777 HAS SOUPS 757649 WITH SCORE 791121.842
AT ITER 476 NEW BEST:: SOT 38378299 SOS 33472842 HAS SOPS 15945763 HAS SOUS 1944611 HAS SOUPS 757483 WITH SCORE 790955.842
AT ITER 498 NEW BEST:: SOT 38376073 SOS 33406303 HAS SOPS 15947474 HAS SOUS 1943785 HAS SOUPS 756657 WITH SCORE 790063.303
AT ITER 502 NEW BEST:: SOT 38373027 SOS 33419794 HAS SOPS 15951713 HAS SOUS 1941491 HAS SOUPS 754363 WITH SCORE 787782.794
AT ITER 568 NEW BEST:: SOT 38372957 SOS 33419654 HAS SOPS 15951888 HAS SOUS 1941351 HAS SOUPS 754258 WITH SCORE 787677.654
AT ITER 599 NEW BEST:: SOT 38372711 SOS 33417072 HAS SOPS 15953068 HAS SOUS 1940687 HAS SOUPS 754012 WITH SCORE 787429.072
AT ITER 600 NEW BEST:: SOT 38370587 SOS 33422395 HAS SOPS 15951983 HAS SOUS 1938951 HAS SOUPS 752276 WITH SCORE 785698.395
AT ITER 601 NEW BEST:: SOT 38370371 SOS 33421963 HAS SOPS 15951551 HAS SOUS 1938627 HAS SOUPS 751952 WITH SCORE 785373.963
AT ITER 620 NEW BEST:: SOT 38370371 SOS 33421963 HAS SOPS 15951551 HAS SOUS 1938505 HAS SOUPS 751830 WITH SCORE 785251.963
AT ITER 630 NEW BEST:: SOT 38370371 SOS 33421963 HAS SOPS 15951551 HAS SOUS 1938323 HAS SOUPS 751648 WITH SCORE 785069.963
AT ITER 637 NEW BEST:: SOT 38367033 SOS 33439200 HAS SOPS 15957934 HAS SOUS 1935849 HAS SOUPS 749174 WITH SCORE 782613.2
AT ITER 638 NEW BEST:: SOT 38365727 SOS 33434863 HAS SOPS 15956702 HAS SOUS 1934668 HAS SOUPS 748338 WITH SCORE 781772.863
AT ITER 640 NEW BEST:: SOT 38365387 SOS 33431600 HAS SOPS 15953439 HAS SOUS 1933754 HAS SOUPS 747424 WITH SCORE 780855.6
AT ITER 642 NEW BEST:: SOT 38365051 SOS 33429258 HAS SOPS 15954103 HAS SOUS 1933084 HAS SOUPS 747088 WITH SCORE 780517.258
AT ITER 660 NEW BEST:: SOT 38364711 SOS 33428578 HAS SOPS 15953423 HAS SOUS 1932744 HAS SOUPS 746748 WITH SCORE 780176.578
AT ITER 666 NEW BEST:: SOT 38361668 SOS 33446757 HAS SOPS 15959794 HAS SOUS 1930444 HAS SOUPS 744448 WITH SCORE 777894.757
AT ITER 688 NEW BEST:: SOT 38361668 SOS 33446757 HAS SOPS 15959794 HAS SOUS 1930224 HAS SOUPS 744228 WITH SCORE 777674.757
AT ITER 689 NEW BEST:: SOT 38361668 SOS 33446757 HAS SOPS 15959794 HAS SOUS 1930012 HAS SOUPS 744016 WITH SCORE 777462.757
AT ITER 700 NEW BEST:: SOT 38361286 SOS 33445993 HAS SOPS 15960749 HAS SOUS 1929248 HAS SOUPS 743443 WITH SCORE 776888.993
AT ITER 703 NEW BEST:: SOT 38361146 SOS 33445713 HAS SOPS 15961729 HAS SOUS 1928967 HAS SOUPS 743302 WITH SCORE 776747.713
AT ITER 705 NEW BEST:: SOT 38359028 SOS 33452496 HAS SOPS 15961762 HAS SOUS 1927397 HAS SOUPS 741732 WITH SCORE 775184.496
AT ITER 754 NEW BEST:: SOT 38358260 SOS 33456912 HAS SOPS 15960994 HAS SOUS 1926866 HAS SOUPS 741009 WITH SCORE 774465.912
AT ITER 771 NEW BEST:: SOT 38356867 SOS 33460028 HAS SOPS 15957981 HAS SOUS 1925938 HAS SOUPS 739854 WITH SCORE 773314.028
AT ITER 822 NEW BEST:: SOT 38356556 SOS 33459406 HAS SOPS 15959375 HAS SOUS 1925316 HAS SOUPS 739456 WITH SCORE 772915.406
AT ITER 832 NEW BEST:: SOT 38356554 SOS 33459402 HAS SOPS 15959371 HAS SOUS 1925313 HAS SOUPS 739453 WITH SCORE 772912.402
AT ITER 855 NEW BEST:: SOT 38355898 SOS 33426131 HAS SOPS 15969507 HAS SOUS 1925173 HAS SOUPS 739313 WITH SCORE 772739.131
AT ITER 877 NEW BEST:: SOT 38355255 SOS 33420093 HAS SOPS 15968221 HAS SOUS 1923596 HAS SOUPS 738264 WITH SCORE 771684.093
AT ITER 898 NEW BEST:: SOT 38355255 SOS 33420093 HAS SOPS 15968221 HAS SOUS 1923554 HAS SOUPS 738222 WITH SCORE 771642.093
AT ITER 932 NEW BEST:: SOT 38355255 SOS 33420093 HAS SOPS 15968221 HAS SOUS 1923480 HAS SOUPS 738148 WITH SCORE 771568.093
AT ITER 933 NEW BEST:: SOT 38353870 SOS 33447408 HAS SOPS 15976798 HAS SOUS 1922929 HAS SOUPS 736903 WITH SCORE 770350.408
AT ITER 937 NEW BEST:: SOT 38352550 SOS 33446012 HAS SOPS 15975402 HAS SOUS 1922541 HAS SOUPS 736515 WITH SCORE 769961.012
AT ITER 962 NEW BEST:: SOT 38352550 SOS 33446012 HAS SOPS 15975402 HAS SOUS 1922345 HAS SOUPS 736319 WITH SCORE 769765.012
AT ITER 966 NEW BEST:: SOT 38352484 SOS 33444410 HAS SOPS 15973800 HAS SOUS 1922279 HAS SOUPS 736253 WITH SCORE 769697.41
AT ITER 988 NEW BEST:: SOT 38352469 SOS 33444380 HAS SOPS 15973905 HAS SOUS 1922234 HAS SOUPS 736223 WITH SCORE 769667.38
AT ITER 994 NEW BEST:: SOT 38352469 SOS 33444380 HAS SOPS 15973905 HAS SOUS 1922014 HAS SOUPS 736003 WITH SCORE 769447.38
AT ITER 1008 NEW BEST:: SOT 38352469 SOS 33444380 HAS SOPS 15973905 HAS SOUS 1921926 HAS SOUPS 735915 WITH SCORE 769359.38
AT ITER 1012 NEW BEST:: SOT 38351664 SOS 33440600 HAS SOPS 15974031 HAS SOUS 1921304 HAS SOUPS 735727 WITH SCORE 769167.6
AT ITER 1018 NEW BEST:: SOT 38351008 SOS 33475252 HAS SOPS 15987299 HAS SOUS 1921618 HAS SOUPS 735249 WITH SCORE 768724.252
AT ITER 1032 NEW BEST:: SOT 38351008 SOS 33475252 HAS SOPS 15987299 HAS SOUS 1921398 HAS SOUPS 735029 WITH SCORE 768504.252
AT ITER 1048 NEW BEST:: SOT 38351008 SOS 33475252 HAS SOPS 15987299 HAS SOUS 1921178 HAS SOUPS 734809 WITH SCORE 768284.252
AT ITER 1052 NEW BEST:: SOT 38351008 SOS 33475252 HAS SOPS 15987299 HAS SOUS 1921058 HAS SOUPS 734689 WITH SCORE 768164.252
AT ITER 1067 NEW BEST:: SOT 38351008 SOS 33475252 HAS SOPS 15987299 HAS SOUS 1920940 HAS SOUPS 734571 WITH SCORE 768046.252
AT ITER 1084 NEW BEST:: SOT 38350568 SOS 33474372 HAS SOPS 15986419 HAS SOUS 1920060 HAS SOUPS 733691 WITH SCORE 767165.372
AT ITER 1090 NEW BEST:: SOT 38350220 SOS 33475080 HAS SOPS 15987127 HAS SOUS 1919252 HAS SOUPS 732883 WITH SCORE 766358.08
AT ITER 1095 NEW BEST:: SOT 38348607 SOS 33480939 HAS SOPS 15987064 HAS SOUS 1918157 HAS SOUPS 731788 WITH SCORE 765268.939
AT ITER 1098 NEW BEST:: SOT 38348299 SOS 33477628 HAS SOPS 15988604 HAS SOUS 1917310 HAS SOUPS 731480 WITH SCORE 764957.628
AT ITER 1128 NEW BEST:: SOT 38348299 SOS 33477628 HAS SOPS 15988604 HAS SOUS 1917090 HAS SOUPS 731260 WITH SCORE 764737.628
AT ITER 1134 NEW BEST:: SOT 38348299 SOS 33477628 HAS SOPS 15988604 HAS SOUS 1916870 HAS SOUPS 731040 WITH SCORE 764517.628
AT ITER 1142 NEW BEST:: SOT 38348053 SOS 33477136 HAS SOPS 15988112 HAS SOUS 1916378 HAS SOUPS 730548 WITH SCORE 764025.1359999999
AT ITER 1157 NEW BEST:: SOT 38348053 SOS 33477136 HAS SOPS 15988112 HAS SOUS 1916375 HAS SOUPS 730546 WITH SCORE 764023.1359999999
AT ITER 1176 NEW BEST:: SOT 38348228 SOS 33453726 HAS SOPS 15990190 HAS SOUS 1916160 HAS SOUPS 730547 WITH SCORE 764000.726
AT ITER 1178 NEW BEST:: SOT 38348019 SOS 33451563 HAS SOPS 15991168 HAS SOUS 1915709 HAS SOUPS 730445 WITH SCORE 763896.563
AT ITER 1211 NEW BEST:: SOT 38346684 SOS 33456769 HAS SOPS 15993152 HAS SOUS 1914773 HAS SOUPS 729509 WITH SCORE 762965.769
AT ITER 1223 NEW BEST:: SOT 38346539 SOS 33483319 HAS SOPS 15990910 HAS SOUS 1914727 HAS SOUPS 729219 WITH SCORE 762702.319
AT ITER 1241 NEW BEST:: SOT 38346539 SOS 33483319 HAS SOPS 15990910 HAS SOUS 1914507 HAS SOUPS 728999 WITH SCORE 762482.319
AT ITER 1243 NEW BEST:: SOT 38346539 SOS 33483319 HAS SOPS 15990910 HAS SOUS 1914395 HAS SOUPS 728887 WITH SCORE 762370.319
AT ITER 1255 NEW BEST:: SOT 38346678 SOS 33484227 HAS SOPS 15990684 HAS SOUS 1914499 HAS SOUPS 728865 WITH SCORE 762349.227
AT ITER 1256 NEW BEST:: SOT 38344547 SOS 33498502 HAS SOPS 15995185 HAS SOUS 1913275 HAS SOUPS 727641 WITH SCORE 761139.502
AT ITER 1319 NEW BEST:: SOT 38344277 SOS 33496417 HAS SOPS 15995881 HAS SOUS 1912772 HAS SOUPS 727447 WITH SCORE 760943.417
AT ITER 1322 NEW BEST:: SOT 38343811 SOS 33495485 HAS SOPS 15994949 HAS SOUS 1912306 HAS SOUPS 726981 WITH SCORE 760476.485
AT ITER 1325 NEW BEST:: SOT 38341015 SOS 33515190 HAS SOPS 16002468 HAS SOUS 1911175 HAS SOUPS 725850 WITH SCORE 759365.19
AT ITER 1351 NEW BEST:: SOT 38340542 SOS 33519568 HAS SOPS 16004668 HAS SOUS 1910823 HAS SOUPS 725498 WITH SCORE 759017.568
AT ITER 1365 NEW BEST:: SOT 38338049 SOS 33539365 HAS SOPS 16012099 HAS SOUS 1909442 HAS SOUPS 724117 WITH SCORE 757656.365
AT ITER 1380 NEW BEST:: SOT 38338049 SOS 33539365 HAS SOPS 16012099 HAS SOUS 1909222 HAS SOUPS 723897 WITH SCORE 757436.365
AT ITER 1397 NEW BEST:: SOT 38338232 SOS 33531679 HAS SOPS 16007707 HAS SOUS 1909205 HAS SOUPS 723880 WITH SCORE 757411.679
AT ITER 1399 NEW BEST:: SOT 38336294 SOS 33534849 HAS SOPS 16003560 HAS SOUS 1908345 HAS SOUPS 722749 WITH SCORE 756283.849
AT ITER 1416 NEW BEST:: SOT 38334784 SOS 33527209 HAS SOPS 16001860 HAS SOUS 1907217 HAS SOUPS 722281 WITH SCORE 755808.209
AT ITER 1426 NEW BEST:: SOT 38334687 SOS 33526530 HAS SOPS 16001181 HAS SOUS 1907120 HAS SOUPS 722184 WITH SCORE 755710.53
AT ITER 1430 NEW BEST:: SOT 38334687 SOS 33526530 HAS SOPS 16001181 HAS SOUS 1906954 HAS SOUPS 722018 WITH SCORE 755544.53
AT ITER 1463 NEW BEST:: SOT 38333831 SOS 33524818 HAS SOPS 15999469 HAS SOUS 1905921 HAS SOUPS 720985 WITH SCORE 754509.818
AT ITER 1497 NEW BEST:: SOT 38333831 SOS 33524818 HAS SOPS 15999469 HAS SOUS 1905801 HAS SOUPS 720865 WITH SCORE 754389.818
AT ITER 1541 NEW BEST:: SOT 38331989 SOS 33530780 HAS SOPS 15996629 HAS SOUS 1905109 HAS SOUPS 719847 WITH SCORE 753377.78
AT ITER 1549 NEW BEST:: SOT 38330037 SOS 33547451 HAS SOPS 16003922 HAS SOUS 1904303 HAS SOUPS 719041 WITH SCORE 752588.451
AT ITER 1554 NEW BEST:: SOT 38329789 SOS 33546955 HAS SOPS 16005658 HAS SOUS 1903807 HAS SOUPS 718793 WITH SCORE 752339.955
AT ITER 1561 NEW BEST:: SOT 38329789 SOS 33546955 HAS SOPS 16005658 HAS SOUS 1903721 HAS SOUPS 718707 WITH SCORE 752253.955
AT ITER 1568 NEW BEST:: SOT 38329059 SOS 33544699 HAS SOPS 16003402 HAS SOUS 1902991 HAS SOUPS 717977 WITH SCORE 751521.699
AT ITER 1574 NEW BEST:: SOT 38328859 SOS 33542394 HAS SOPS 16004526 HAS SOUS 1902538 HAS SOUPS 717905 WITH SCORE 751447.394
AT ITER 1576 NEW BEST:: SOT 38328837 SOS 33542350 HAS SOPS 16004482 HAS SOUS 1902494 HAS SOUPS 717861 WITH SCORE 751403.35
AT ITER 1622 NEW BEST:: SOT 38328206 SOS 33538136 HAS SOPS 16003742 HAS SOUS 1901308 HAS SOUPS 717061 WITH SCORE 750599.1359999999
AT ITER 1669 NEW BEST:: SOT 38325800 SOS 33552682 HAS SOPS 16008550 HAS SOUS 1899422 HAS SOUPS 715175 WITH SCORE 748727.682
AT ITER 1671 NEW BEST:: SOT 38325800 SOS 33552682 HAS SOPS 16008550 HAS SOUS 1899202 HAS SOUPS 714955 WITH SCORE 748507.682
AT ITER 1677 NEW BEST:: SOT 38325800 SOS 33552682 HAS SOPS 16008550 HAS SOUS 1899174 HAS SOUPS 714927 WITH SCORE 748479.682
AT ITER 1680 NEW BEST:: SOT 38325800 SOS 33552682 HAS SOPS 16008550 HAS SOUS 1898954 HAS SOUPS 714707 WITH SCORE 748259.682
AT ITER 1681 NEW BEST:: SOT 38325800 SOS 33552682 HAS SOPS 16008550 HAS SOUS 1898800 HAS SOUPS 714553 WITH SCORE 748105.682
AT ITER 1710 NEW BEST:: SOT 38322192 SOS 33567176 HAS SOPS 16011740 HAS SOUS 1895730 HAS SOUPS 711483 WITH SCORE 745050.176
AT ITER 1711 NEW BEST:: SOT 38319933 SOS 33573647 HAS SOPS 16011245 HAS SOUS 1893913 HAS SOUPS 709666 WITH SCORE 743239.647
AT ITER 1744 NEW BEST:: SOT 38318283 SOS 33513219 HAS SOPS 16021979 HAS SOUS 1892410 HAS SOUPS 708163 WITH SCORE 741676.219
AT ITER 1755 NEW BEST:: SOT 38317898 SOS 33510209 HAS SOPS 16023001 HAS SOUS 1891944 HAS SOUPS 708145 WITH SCORE 741655.209
AT ITER 1762 NEW BEST:: SOT 38317678 SOS 33509769 HAS SOPS 16023551 HAS SOUS 1891504 HAS SOUPS 707815 WITH SCORE 741324.769
AT ITER 1779 NEW BEST:: SOT 38318349 SOS 33481984 HAS SOPS 16014288 HAS SOUS 1890114 HAS SOUPS 707111 WITH SCORE 740592.984
AT ITER 1794 NEW BEST:: SOT 38318015 SOS 33481316 HAS SOPS 16017823 HAS SOUS 1889222 HAS SOUPS 706686 WITH SCORE 740167.316
AT ITER 1798 NEW BEST:: SOT 38317943 SOS 33482756 HAS SOPS 16018615 HAS SOUS 1889186 HAS SOUPS 706650 WITH SCORE 740132.756
AT ITER 1827 NEW BEST:: SOT 38317876 SOS 33483297 HAS SOPS 16018481 HAS SOUS 1889202 HAS SOUPS 706591 WITH SCORE 740074.297
AT ITER 1836 NEW BEST:: SOT 38317876 SOS 33483297 HAS SOPS 16018481 HAS SOUS 1888982 HAS SOUPS 706371 WITH SCORE 739854.297
AT ITER 1837 NEW BEST:: SOT 38315180 SOS 33474735 HAS SOPS 16015625 HAS SOUS 1887360 HAS SOUPS 705383 WITH SCORE 738857.735
AT ITER 1888 NEW BEST:: SOT 38315180 SOS 33474735 HAS SOPS 16015625 HAS SOUS 1887252 HAS SOUPS 705275 WITH SCORE 738749.735
AT ITER 1899 NEW BEST:: SOT 38315180 SOS 33474735 HAS SOPS 16015625 HAS SOUS 1887032 HAS SOUPS 705055 WITH SCORE 738529.735
AT ITER 1906 NEW BEST:: SOT 38314828 SOS 33474031 HAS SOPS 16018755 HAS SOUS 1886141 HAS SOUPS 704590 WITH SCORE 738064.031
AT ITER 1920 NEW BEST:: SOT 38313780 SOS 33413694 HAS SOPS 16031764 HAS SOUS 1885326 HAS SOUPS 703775 WITH SCORE 737188.694
AT ITER 1943 NEW BEST:: SOT 38313438 SOS 33413694 HAS SOPS 16031764 HAS SOUS 1885154 HAS SOUPS 703603 WITH SCORE 737016.694
AT ITER 1950 NEW BEST:: SOT 38313438 SOS 33413694 HAS SOPS 16031764 HAS SOUS 1885000 HAS SOUPS 703449 WITH SCORE 736862.694
AT ITER 1951 NEW BEST:: SOT 38313438 SOS 33413694 HAS SOPS 16031764 HAS SOUS 1884840 HAS SOUPS 703289 WITH SCORE 736702.694
AT ITER 1957 NEW BEST:: SOT 38313060 SOS 33417708 HAS SOPS 16032376 HAS SOUS 1884672 HAS SOUPS 702995 WITH SCORE 736412.708
AT ITER 1960 NEW BEST:: SOT 38310786 SOS 33428841 HAS SOPS 16034329 HAS SOUS 1883208 HAS SOUPS 701531 WITH SCORE 734959.841
AT ITER 1961 NEW BEST:: SOT 38310201 SOS 33427671 HAS SOPS 16036291 HAS SOUS 1881983 HAS SOUPS 700654 WITH SCORE 734081.671
AT ITER 1997 NEW BEST:: SOT 38310201 SOS 33427671 HAS SOPS 16036291 HAS SOUS 1881763 HAS SOUPS 700434 WITH SCORE 733861.671
AT ITER 2002 NEW BEST:: SOT 38310470 SOS 33380257 HAS SOPS 16039853 HAS SOUS 1880871 HAS SOUPS 699974 WITH SCORE 733354.257
AT ITER 2010 NEW BEST:: SOT 38309463 SOS 33381883 HAS SOPS 16038959 HAS SOUS 1880250 HAS SOUPS 699353 WITH SCORE 732734.883
AT ITER 2011 NEW BEST:: SOT 38309132 SOS 33379953 HAS SOPS 16037029 HAS SOUS 1879665 HAS SOUPS 698768 WITH SCORE 732147.953
AT ITER 2012 NEW BEST:: SOT 38309046 SOS 33379781 HAS SOPS 16036857 HAS SOUS 1879536 HAS SOUPS 698639 WITH SCORE 732018.781
AT ITER 2033 NEW BEST:: SOT 38308900 SOS 33379489 HAS SOPS 16036565 HAS SOUS 1879390 HAS SOUPS 698493 WITH SCORE 731872.4890000001
AT ITER 2036 NEW BEST:: SOT 38308900 SOS 33379489 HAS SOPS 16036565 HAS SOUS 1879170 HAS SOUPS 698273 WITH SCORE 731652.4890000001
AT ITER 2037 NEW BEST:: SOT 38308824 SOS 33379337 HAS SOPS 16036413 HAS SOUS 1879018 HAS SOUPS 698121 WITH SCORE 731500.337
AT ITER 2043 NEW BEST:: SOT 38308798 SOS 33379285 HAS SOPS 16036703 HAS SOUS 1878954 HAS SOUPS 698095 WITH SCORE 731474.285
AT ITER 2045 NEW BEST:: SOT 38308798 SOS 33379285 HAS SOPS 16036703 HAS SOUS 1878916 HAS SOUPS 698057 WITH SCORE 731436.285
AT ITER 2048 NEW BEST:: SOT 38308564 SOS 33378817 HAS SOPS 16036235 HAS SOUS 1878677 HAS SOUPS 697818 WITH SCORE 731196.817
AT ITER 2049 NEW BEST:: SOT 38308136 SOS 33377961 HAS SOPS 16037305 HAS SOUS 1877821 HAS SOUPS 697176 WITH SCORE 730553.961
AT ITER 2050 NEW BEST:: SOT 38308136 SOS 33377961 HAS SOPS 16039645 HAS SOUS 1877301 HAS SOUPS 696916 WITH SCORE 730293.961
AT ITER 2053 NEW BEST:: SOT 38308116 SOS 33377921 HAS SOPS 16039605 HAS SOUS 1877281 HAS SOUPS 696896 WITH SCORE 730273.921
AT ITER 2060 NEW BEST:: SOT 38306767 SOS 33382678 HAS SOPS 16038611 HAS SOUS 1876595 HAS SOUPS 695997 WITH SCORE 729379.678
AT ITER 2089 NEW BEST:: SOT 38305963 SOS 33385906 HAS SOPS 16037627 HAS SOUS 1876115 HAS SOUPS 695361 WITH SCORE 728746.906
AT ITER 2132 NEW BEST:: SOT 38303360 SOS 33418266 HAS SOPS 16049980 HAS SOUS 1876713 HAS SOUPS 695218 WITH SCORE 728636.2660000001
AT ITER 2139 NEW BEST:: SOT 38303360 SOS 33418266 HAS SOPS 16049980 HAS SOUS 1876649 HAS SOUPS 695154 WITH SCORE 728572.2660000001
AT ITER 2140 NEW BEST:: SOT 38303013 SOS 33417572 HAS SOPS 16051698 HAS SOUS 1875955 HAS SOUPS 694728 WITH SCORE 728145.572
AT ITER 2158 NEW BEST:: SOT 38302891 SOS 33367081 HAS SOPS 16001207 HAS SOUS 1875990 HAS SOUPS 694763 WITH SCORE 728130.081
AT ITER 2184 NEW BEST:: SOT 38302439 SOS 33366177 HAS SOPS 16002337 HAS SOUS 1875086 HAS SOUPS 694085 WITH SCORE 727451.177
AT ITER 2206 NEW BEST:: SOT 38302428 SOS 33357225 HAS SOPS 15993385 HAS SOUS 1875091 HAS SOUPS 694090 WITH SCORE 727447.225
AT ITER 2217 NEW BEST:: SOT 38302517 SOS 33308422 HAS SOPS 15952724 HAS SOUS 1874958 HAS SOUPS 694026 WITH SCORE 727334.422
AT ITER 2221 NEW BEST:: SOT 38302517 SOS 33308422 HAS SOPS 15952724 HAS SOUS 1874738 HAS SOUPS 693806 WITH SCORE 727114.422
AT ITER 2279 NEW BEST:: SOT 38302131 SOS 33307650 HAS SOPS 15953689 HAS SOUS 1873966 HAS SOUPS 693227 WITH SCORE 726534.65
AT ITER 2295 NEW BEST:: SOT 38300148 SOS 33305667 HAS SOPS 15951706 HAS SOUS 1871983 HAS SOUPS 691244 WITH SCORE 724549.667
AT ITER 2300 NEW BEST:: SOT 38300112 SOS 33305595 HAS SOPS 15951796 HAS SOUS 1871911 HAS SOUPS 691190 WITH SCORE 724495.595
AT ITER 2308 NEW BEST:: SOT 38300112 SOS 33305595 HAS SOPS 15951796 HAS SOUS 1871691 HAS SOUPS 690970 WITH SCORE 724275.595
AT ITER 2320 NEW BEST:: SOT 38300112 SOS 33305595 HAS SOPS 15951796 HAS SOUS 1871517 HAS SOUPS 690796 WITH SCORE 724101.595
AT ITER 2333 NEW BEST:: SOT 38296217 SOS 33317986 HAS SOPS 15952415 HAS SOUS 1868454 HAS SOUPS 687733 WITH SCORE 721050.986
AT ITER 2396 NEW BEST:: SOT 38295481 SOS 33313644 HAS SOPS 15953239 HAS SOUS 1867828 HAS SOUPS 687681 WITH SCORE 720994.644
AT ITER 2404 NEW BEST:: SOT 38293274 SOS 33341409 HAS SOPS 15961429 HAS SOUS 1867879 HAS SOUPS 687007 WITH SCORE 720348.409
AT ITER 2409 NEW BEST:: SOT 38293258 SOS 33341377 HAS SOPS 15961397 HAS SOUS 1867863 HAS SOUPS 686991 WITH SCORE 720332.377
AT ITER 2421 NEW BEST:: SOT 38293258 SOS 33341377 HAS SOPS 15961397 HAS SOUS 1867643 HAS SOUPS 686771 WITH SCORE 720112.377
AT ITER 2440 NEW BEST:: SOT 38292481 SOS 33343264 HAS SOPS 15960287 HAS SOUS 1867199 HAS SOUPS 686216 WITH SCORE 719559.264
AT ITER 2446 NEW BEST:: SOT 38291184 SOS 33352973 HAS SOPS 15963030 HAS SOUS 1866299 HAS SOUPS 685316 WITH SCORE 718668.973
AT ITER 2469 NEW BEST:: SOT 38290890 SOS 33349745 HAS SOPS 15964554 HAS SOUS 1865477 HAS SOUPS 685022 WITH SCORE 718371.745
AT ITER 2482 NEW BEST:: SOT 38289682 SOS 33346039 HAS SOPS 15963170 HAS SOUS 1864527 HAS SOUPS 684330 WITH SCORE 717676.039
AT ITER 2506 NEW BEST:: SOT 38289322 SOS 33343729 HAS SOPS 15963722 HAS SOUS 1863917 HAS SOUPS 684038 WITH SCORE 717381.729
AT ITER 2507 NEW BEST:: SOT 38286678 SOS 33355838 HAS SOPS 15968703 HAS SOUS 1862919 HAS SOUPS 683040 WITH SCORE 716395.838
AT ITER 2521 NEW BEST:: SOT 38286551 SOS 33355584 HAS SOPS 15971995 HAS SOUS 1862505 HAS SOUPS 683020 WITH SCORE 716375.584
AT ITER 2530 NEW BEST:: SOT 38285019 SOS 33349850 HAS SOPS 15971067 HAS SOUS 1861205 HAS SOUPS 682254 WITH SCORE 715603.85
AT ITER 2565 NEW BEST:: SOT 38285019 SOS 33349850 HAS SOPS 15971067 HAS SOUS 1861085 HAS SOUPS 682134 WITH SCORE 715483.85
AT ITER 2567 NEW BEST:: SOT 38284585 SOS 33346912 HAS SOPS 15970199 HAS SOUS 1860216 HAS SOUPS 681495 WITH SCORE 714841.912
AT ITER 2582 NEW BEST:: SOT 38284473 SOS 33346688 HAS SOPS 15969975 HAS SOUS 1860104 HAS SOUPS 681383 WITH SCORE 714729.688
AT ITER 2598 NEW BEST:: SOT 38284183 SOS 33344722 HAS SOPS 15969395 HAS SOUS 1859504 HAS SOUPS 680937 WITH SCORE 714281.722
AT ITER 2625 NEW BEST:: SOT 38284183 SOS 33344722 HAS SOPS 15969395 HAS SOUS 1859444 HAS SOUPS 680877 WITH SCORE 714221.722
AT ITER 2629 NEW BEST:: SOT 38284183 SOS 33344722 HAS SOPS 15969395 HAS SOUS 1859224 HAS SOUPS 680657 WITH SCORE 714001.722
AT ITER 2645 NEW BEST:: SOT 38284183 SOS 33344722 HAS SOPS 15969395 HAS SOUS 1859004 HAS SOUPS 680437 WITH SCORE 713781.722
AT ITER 2653 NEW BEST:: SOT 38283998 SOS 33344451 HAS SOPS 15966244 HAS SOUS 1858724 HAS SOUPS 679837 WITH SCORE 713181.451
AT ITER 2676 NEW BEST:: SOT 38283998 SOS 33344451 HAS SOPS 15966244 HAS SOUS 1858504 HAS SOUPS 679617 WITH SCORE 712961.451
AT ITER 2768 NEW BEST:: SOT 38283762 SOS 33341674 HAS SOPS 15967616 HAS SOUS 1857981 HAS SOUPS 679555 WITH SCORE 712896.674
AT ITER 2828 NEW BEST:: SOT 38281977 SOS 33357148 HAS SOPS 15972560 HAS SOUS 1857230 HAS SOUPS 678804 WITH SCORE 712161.148
AT ITER 2834 NEW BEST:: SOT 38281839 SOS 33356872 HAS SOPS 15973526 HAS SOUS 1856954 HAS SOUPS 678666 WITH SCORE 712022.872
AT ITER 2880 NEW BEST:: SOT 38279985 SOS 33366252 HAS SOPS 15974680 HAS SOUS 1855733 HAS SOUPS 677445 WITH SCORE 710811.252
AT ITER 2893 NEW BEST:: SOT 38279778 SOS 33367566 HAS SOPS 15974698 HAS SOUS 1855655 HAS SOUPS 677319 WITH SCORE 710686.566
AT ITER 2903 NEW BEST:: SOT 38278145 SOS 33373010 HAS SOPS 15974598 HAS SOUS 1854689 HAS SOUPS 676353 WITH SCORE 709726.01
AT ITER 2907 NEW BEST:: SOT 38274013 SOS 33388068 HAS SOPS 15977722 HAS SOUS 1853098 HAS SOUPS 674762 WITH SCORE 708150.068
AT ITER 2908 NEW BEST:: SOT 38274013 SOS 33388068 HAS SOPS 15979279 HAS SOUS 1852752 HAS SOUPS 674589 WITH SCORE 707977.068
AT ITER 2938 NEW BEST:: SOT 38273719 SOS 33423336 HAS SOPS 16017535 HAS SOUS 1851832 HAS SOUPS 674001 WITH SCORE 707424.336
AT ITER 2954 NEW BEST:: SOT 38273719 SOS 33423336 HAS SOPS 16017535 HAS SOUS 1851612 HAS SOUPS 673781 WITH SCORE 707204.336
AT ITER 2977 NEW BEST:: SOT 38273719 SOS 33423336 HAS SOPS 16017535 HAS SOUS 1851512 HAS SOUPS 673681 WITH SCORE 707104.336
AT ITER 2984 NEW BEST:: SOT 38271243 SOS 33445497 HAS SOPS 16025206 HAS SOUS 1850016 HAS SOUPS 672185 WITH SCORE 705630.497
AT ITER 3002 NEW BEST:: SOT 38269064 SOS 33454428 HAS SOPS 16026127 HAS SOUS 1848700 HAS SOUPS 670869 WITH SCORE 704323.428
AT ITER 3006 NEW BEST:: SOT 38267682 SOS 33461337 HAS SOPS 16026682 HAS SOUS 1848020 HAS SOUPS 670189 WITH SCORE 703650.337
AT ITER 3019 NEW BEST:: SOT 38267395 SOS 33461910 HAS SOPS 16026148 HAS SOUS 1847865 HAS SOUPS 669993 WITH SCORE 703454.91
AT ITER 3059 NEW BEST:: SOT 38267395 SOS 33461910 HAS SOPS 16026148 HAS SOUS 1847645 HAS SOUPS 669773 WITH SCORE 703234.91
AT ITER 3080 NEW BEST:: SOT 38267483 SOS 33461294 HAS SOPS 16025532 HAS SOUS 1847645 HAS SOUPS 669773 WITH SCORE 703234.294
AT ITER 3088 NEW BEST:: SOT 38267483 SOS 33461294 HAS SOPS 16025532 HAS SOUS 1847513 HAS SOUPS 669641 WITH SCORE 703102.294
AT ITER 3091 NEW BEST:: SOT 38266922 SOS 33459668 HAS SOPS 16023906 HAS SOUS 1846664 HAS SOUPS 668792 WITH SCORE 702251.668
AT ITER 3130 NEW BEST:: SOT 38266682 SOS 33458108 HAS SOPS 16023426 HAS SOUS 1846184 HAS SOUPS 668432 WITH SCORE 701890.108
AT ITER 3148 NEW BEST:: SOT 38266288 SOS 33454810 HAS SOPS 16024646 HAS SOUS 1845288 HAS SOUPS 668038 WITH SCORE 701492.81
AT ITER 3150 NEW BEST:: SOT 38265347 SOS 33452928 HAS SOPS 16022764 HAS SOUS 1843788 HAS SOUPS 666538 WITH SCORE 699990.928
AT ITER 3174 NEW BEST:: SOT 38264227 SOS 33461963 HAS SOPS 16023726 HAS SOUS 1843302 HAS SOUPS 665753 WITH SCORE 699214.963
AT ITER 3179 NEW BEST:: SOT 38263051 SOS 33466579 HAS SOPS 16024328 HAS SOUS 1842801 HAS SOUPS 665252 WITH SCORE 698718.579
AT ITER 3233 NEW BEST:: SOT 38262239 SOS 33469295 HAS SOPS 16023264 HAS SOUS 1842325 HAS SOUPS 664636 WITH SCORE 698105.295
AT ITER 3264 NEW BEST:: SOT 38261691 SOS 33468199 HAS SOPS 16022168 HAS SOUS 1841629 HAS SOUPS 663940 WITH SCORE 697408.199
AT ITER 3323 NEW BEST:: SOT 38261427 SOS 33465936 HAS SOPS 16023028 HAS SOUS 1841182 HAS SOUPS 663840 WITH SCORE 697305.936
AT ITER 3362 NEW BEST:: SOT 38260999 SOS 33467249 HAS SOPS 16024341 HAS SOUS 1840994 HAS SOUPS 663652 WITH SCORE 697119.249
AT ITER 3408 NEW BEST:: SOT 38260999 SOS 33467249 HAS SOPS 16024341 HAS SOUS 1840774 HAS SOUPS 663432 WITH SCORE 696899.249
AT ITER 3420 NEW BEST:: SOT 38260999 SOS 33467249 HAS SOPS 16024341 HAS SOUS 1840726 HAS SOUPS 663384 WITH SCORE 696851.249
AT ITER 3438 NEW BEST:: SOT 38260999 SOS 33467249 HAS SOPS 16024341 HAS SOUS 1840528 HAS SOUPS 663186 WITH SCORE 696653.249
AT ITER 3461 NEW BEST:: SOT 38258116 SOS 33485248 HAS SOPS 16030280 HAS SOUS 1838250 HAS SOUPS 660908 WITH SCORE 694393.248
AT ITER 3470 NEW BEST:: SOT 38258116 SOS 33485248 HAS SOPS 16030280 HAS SOUS 1838030 HAS SOUPS 660688 WITH SCORE 694173.248
AT ITER 3481 NEW BEST:: SOT 38257770 SOS 33488586 HAS SOPS 16030108 HAS SOUS 1837720 HAS SOUPS 660248 WITH SCORE 693736.586
AT ITER 3483 NEW BEST:: SOT 38257770 SOS 33488586 HAS SOPS 16030108 HAS SOUS 1837678 HAS SOUPS 660206 WITH SCORE 693694.586
AT ITER 3496 NEW BEST:: SOT 38257770 SOS 33488586 HAS SOPS 16030108 HAS SOUS 1837482 HAS SOUPS 660010 WITH SCORE 693498.586
AT ITER 3530 NEW BEST:: SOT 38257770 SOS 33488586 HAS SOPS 16030108 HAS SOUS 1837286 HAS SOUPS 659814 WITH SCORE 693302.586
AT ITER 3566 NEW BEST:: SOT 38257637 SOS 33487195 HAS SOPS 16028717 HAS SOUS 1837153 HAS SOUPS 659681 WITH SCORE 693168.195
AT ITER 3581 NEW BEST:: SOT 38257520 SOS 33489976 HAS SOPS 16028483 HAS SOUS 1837399 HAS SOUPS 659592 WITH SCORE 693081.976
AT ITER 3600 NEW BEST:: SOT 38258256 SOS 33494048 HAS SOPS 16032555 HAS SOUS 1837177 HAS SOUPS 659370 WITH SCORE 692864.048
AT ITER 3601 NEW BEST:: SOT 38256632 SOS 33489210 HAS SOPS 16030579 HAS SOUS 1836045 HAS SOUPS 658556 WITH SCORE 692045.21
AT ITER 3603 NEW BEST:: SOT 38256484 SOS 33488914 HAS SOPS 16030283 HAS SOUS 1835829 HAS SOUPS 658340 WITH SCORE 691828.914
AT ITER 3606 NEW BEST:: SOT 38256192 SOS 33487016 HAS SOPS 16029699 HAS SOUS 1835235 HAS SOUPS 657892 WITH SCORE 691379.0160000001
AT ITER 3614 NEW BEST:: SOT 38255645 SOS 33484375 HAS SOPS 16027058 HAS SOUS 1834467 HAS SOUPS 657124 WITH SCORE 690608.375
AT ITER 3626 NEW BEST:: SOT 38255645 SOS 33484375 HAS SOPS 16027058 HAS SOUS 1834289 HAS SOUPS 656946 WITH SCORE 690430.375
AT ITER 3649 NEW BEST:: SOT 38255645 SOS 33484375 HAS SOPS 16027058 HAS SOUS 1834069 HAS SOUPS 656726 WITH SCORE 690210.375
AT ITER 3676 NEW BEST:: SOT 38255277 SOS 33483639 HAS SOPS 16026322 HAS SOUS 1833752 HAS SOUPS 656409 WITH SCORE 689892.639
AT ITER 3702 NEW BEST:: SOT 38245939 SOS 33466863 HAS SOPS 16020316 HAS SOUS 1832713 HAS SOUPS 656088 WITH SCORE 689554.863
AT ITER 3751 NEW BEST:: SOT 38247341 SOS 33295249 HAS SOPS 15919591 HAS SOUS 1832604 HAS SOUPS 655979 WITH SCORE 689274.249
AT ITER 3761 NEW BEST:: SOT 38247341 SOS 33295249 HAS SOPS 15919591 HAS SOUS 1832460 HAS SOUPS 655835 WITH SCORE 689130.249
AT ITER 3799 NEW BEST:: SOT 38246921 SOS 33292409 HAS SOPS 15920351 HAS SOUS 1831640 HAS SOUPS 655415 WITH SCORE 688707.409
AT ITER 3802 NEW BEST:: SOT 38245636 SOS 33288094 HAS SOPS 15919177 HAS SOUS 1830806 HAS SOUPS 654930 WITH SCORE 688218.094
AT ITER 3822 NEW BEST:: SOT 38227955 SOS 33186411 HAS SOPS 15823476 HAS SOUS 1831182 HAS SOUPS 654562 WITH SCORE 687748.411
AT ITER 3898 NEW BEST:: SOT 38227955 SOS 33186411 HAS SOPS 15823476 HAS SOUS 1831056 HAS SOUPS 654436 WITH SCORE 687622.411
AT ITER 3918 NEW BEST:: SOT 38227955 SOS 33186411 HAS SOPS 15823476 HAS SOUS 1830912 HAS SOUPS 654292 WITH SCORE 687478.411
AT ITER 3982 NEW BEST:: SOT 38227955 SOS 33186411 HAS SOPS 15823476 HAS SOUS 1830692 HAS SOUPS 654072 WITH SCORE 687258.411
AT ITER 3984 NEW BEST:: SOT 38227955 SOS 33186411 HAS SOPS 15823476 HAS SOUS 1830630 HAS SOUPS 654010 WITH SCORE 687196.411
AT ITER 4016 NEW BEST:: SOT 38227955 SOS 33186411 HAS SOPS 15823476 HAS SOUS 1830410 HAS SOUPS 653790 WITH SCORE 686976.411
AT ITER 4029 NEW BEST:: SOT 38227955 SOS 33186411 HAS SOPS 15823476 HAS SOUS 1830356 HAS SOUPS 653736 WITH SCORE 686922.411
AT ITER 4040 NEW BEST:: SOT 38225394 SOS 33201510 HAS SOPS 15828333 HAS SOUS 1828922 HAS SOUPS 652302 WITH SCORE 685503.51
AT ITER 4055 NEW BEST:: SOT 38225110 SOS 33202757 HAS SOPS 15828095 HAS SOUS 1828904 HAS SOUPS 652229 WITH SCORE 685431.757
AT ITER 4077 NEW BEST:: SOT 38225016 SOS 33202569 HAS SOPS 15827907 HAS SOUS 1828716 HAS SOUPS 652041 WITH SCORE 685243.569
AT ITER 4084 NEW BEST:: SOT 38224928 SOS 33202043 HAS SOPS 15827381 HAS SOUS 1828628 HAS SOUPS 651953 WITH SCORE 685155.043
AT ITER 4101 NEW BEST:: SOT 38224862 SOS 33202043 HAS SOPS 15827381 HAS SOUS 1828562 HAS SOUPS 651887 WITH SCORE 685089.043
AT ITER 4131 NEW BEST:: SOT 38223869 SOS 33204607 HAS SOPS 15826795 HAS SOUS 1828153 HAS SOUPS 651478 WITH SCORE 684682.607
AT ITER 4157 NEW BEST:: SOT 38224133 SOS 33204835 HAS SOPS 15827023 HAS SOUS 1827967 HAS SOUPS 651292 WITH SCORE 684496.835
AT ITER 4192 NEW BEST:: SOT 38224133 SOS 33204835 HAS SOPS 15827023 HAS SOUS 1827943 HAS SOUPS 651268 WITH SCORE 684472.835
AT ITER 4193 NEW BEST:: SOT 38224274 SOS 33196229 HAS SOPS 15822053 HAS SOUS 1827882 HAS SOUPS 651207 WITH SCORE 684403.229
AT ITER 4222 NEW BEST:: SOT 38224233 SOS 33196147 HAS SOPS 15821971 HAS SOUS 1827841 HAS SOUPS 651166 WITH SCORE 684362.147
AT ITER 4304 NEW BEST:: SOT 38224153 SOS 33194502 HAS SOPS 15820326 HAS SOUS 1827761 HAS SOUPS 651086 WITH SCORE 684280.502
AT ITER 4315 NEW BEST:: SOT 38217192 SOS 33182152 HAS SOPS 15816211 HAS SOUS 1827102 HAS SOUPS 650976 WITH SCORE 684158.152
AT ITER 4461 NEW BEST:: SOT 38217324 SOS 33177796 HAS SOPS 15815419 HAS SOUS 1826970 HAS SOUPS 650976 WITH SCORE 684153.796
AT ITER 4495 NEW BEST:: SOT 38217311 SOS 33177705 HAS SOPS 15815445 HAS SOUS 1826957 HAS SOUPS 650976 WITH SCORE 684153.705
AT ITER 4512 NEW BEST:: SOT 38217125 SOS 33182773 HAS SOPS 15816598 HAS SOUS 1827088 HAS SOUPS 650962 WITH SCORE 684144.773
AT ITER 4522 NEW BEST:: SOT 38206669 SOS 33164395 HAS SOPS 15809528 HAS SOUS 1826777 HAS SOUPS 650962 WITH SCORE 684126.395
AT ITER 4526 NEW BEST:: SOT 38206639 SOS 33142479 HAS SOPS 15791860 HAS SOUS 1826711 HAS SOUPS 650932 WITH SCORE 684074.479
AT ITER 4568 NEW BEST:: SOT 38206639 SOS 33142479 HAS SOPS 15791860 HAS SOUS 1826617 HAS SOUPS 650838 WITH SCORE 683980.479
AT ITER 4595 NEW BEST:: SOT 38206639 SOS 33141246 HAS SOPS 15791860 HAS SOUS 1826480 HAS SOUPS 650838 WITH SCORE 683979.246
AT ITER 4607 NEW BEST:: SOT 38206443 SOS 33145256 HAS SOPS 15792036 HAS SOUS 1826568 HAS SOUPS 650784 WITH SCORE 683929.256
AT ITER 4632 NEW BEST:: SOT 38206443 SOS 33145256 HAS SOPS 15792036 HAS SOUS 1826466 HAS SOUPS 650682 WITH SCORE 683827.256
AT ITER 4635 NEW BEST:: SOT 38206237 SOS 33156277 HAS SOPS 15791830 HAS SOUS 1826363 HAS SOUPS 650579 WITH SCORE 683735.277
AT ITER 4639 NEW BEST:: SOT 38204395 SOS 33160223 HAS SOPS 15788918 HAS SOUS 1825560 HAS SOUPS 649522 WITH SCORE 682682.223
AT ITER 4650 NEW BEST:: SOT 38201550 SOS 33176482 HAS SOPS 15794449 HAS SOUS 1823398 HAS SOUPS 647360 WITH SCORE 680536.482
AT ITER 4689 NEW BEST:: SOT 38201550 SOS 33176482 HAS SOPS 15794449 HAS SOUS 1823180 HAS SOUPS 647142 WITH SCORE 680318.482
AT ITER 4712 NEW BEST:: SOT 38201219 SOS 33173503 HAS SOPS 15791470 HAS SOUS 1822849 HAS SOUPS 646811 WITH SCORE 679984.503
AT ITER 4741 NEW BEST:: SOT 38194351 SOS 33161268 HAS SOPS 15786596 HAS SOUS 1822543 HAS SOUPS 646670 WITH SCORE 679831.268
AT ITER 4773 NEW BEST:: SOT 38194139 SOS 33161798 HAS SOPS 15787126 HAS SOUS 1822330 HAS SOUPS 646457 WITH SCORE 679618.798
AT ITER 4774 NEW BEST:: SOT 38193997 SOS 33161869 HAS SOPS 15787197 HAS SOUS 1822117 HAS SOUPS 646244 WITH SCORE 679405.869
AT ITER 4788 NEW BEST:: SOT 38194020 SOS 33159386 HAS SOPS 15787243 HAS SOUS 1821777 HAS SOUPS 646185 WITH SCORE 679344.3859999999
AT ITER 4803 NEW BEST:: SOT 38191995 SOS 33178272 HAS SOPS 15795347 HAS SOUS 1820314 HAS SOUPS 644722 WITH SCORE 677900.272
AT ITER 4808 NEW BEST:: SOT 38191157 SOS 33176596 HAS SOPS 15793671 HAS SOUS 1819664 HAS SOUPS 644072 WITH SCORE 677248.596
AT ITER 4821 NEW BEST:: SOT 38191157 SOS 33176596 HAS SOPS 15793671 HAS SOUS 1819572 HAS SOUPS 643980 WITH SCORE 677156.596
AT ITER 4826 NEW BEST:: SOT 38191149 SOS 33176580 HAS SOPS 15796994 HAS SOUS 1819193 HAS SOUPS 643972 WITH SCORE 677148.58
AT ITER 4836 NEW BEST:: SOT 38191149 SOS 33176580 HAS SOPS 15796994 HAS SOUS 1819043 HAS SOUPS 643822 WITH SCORE 676998.58
AT ITER 4882 NEW BEST:: SOT 38191149 SOS 33176580 HAS SOPS 15796994 HAS SOUS 1818823 HAS SOUPS 643602 WITH SCORE 676778.58
AT ITER 4938 NEW BEST:: SOT 38190489 SOS 33178692 HAS SOPS 15795542 HAS SOUS 1818823 HAS SOUPS 643470 WITH SCORE 676648.692
AT ITER 4956 NEW BEST:: SOT 38194119 SOS 33182322 HAS SOPS 15797192 HAS SOUS 1818713 HAS SOUPS 643360 WITH SCORE 676542.322
AT ITER 4975 NEW BEST:: SOT 38194269 SOS 33186650 HAS SOPS 15797308 HAS SOUS 1819174 HAS SOUPS 643353 WITH SCORE 676539.65
AT ITER 4988 NEW BEST:: SOT 38194269 SOS 33186650 HAS SOPS 15797308 HAS SOUS 1818954 HAS SOUPS 643133 WITH SCORE 676319.65
Bounds file is: CTLFireability.xml
PROPERTY: DLCflexbar-PT-7a-CTLFireability-00 ( ( ( ( (AG( ((potential((tk(P789)>=1) & (tk(P1273)>=1)))))) & (EX( ((potential((tk(P64)>=1) & (tk(P879)>=1)))))) ) | ( (EX( ((potential((tk(P849)>=1) & (tk(P2589)>=1)))))) | (EG( ((potential((tk(P789)>=1) & (tk(P1207)>=1)))))) ) ) | (EG( (EF( ((potential((tk(P267)>=1) & (tk(P2037)>=1)))))))) ) & ( ( (! ((potential((tk(P362)>=1) & (tk(P2724)>=1))))) | ( (EG( ((potential((tk(P1321)>=1) & (tk(P798)>=1)))))) & ( (! ((potential((tk(P246)>=1))))) & ( ((potential((tk(P779)>=1) & (tk(P1049)>=1)))) | ((potential((tk(P840)>=1) & (tk(P2396)>=1)))) ) ) ) ) | (AU( ((potential((tk(P2327)>=1) & (tk(P838)>=1)))) , ( ((potential((tk(P800)>=1) & (tk(P1473)>=1)))) | ((potential((tk(P796)>=1) & (tk(P1317)>=1)))) ) )) ) )
PROPERTY: DLCflexbar-PT-7a-CTLFireability-01 (AU( (! (AF( ((potential((tk(P561)>=1) & (tk(P2120)>=1))))))) , (AF( ((potential((tk(P2642)>=1) & (tk(P860)>=1)))))) ))
PROPERTY: DLCflexbar-PT-7a-CTLFireability-02 ( (EF( (AU( ((potential((tk(P152)>=1) & (tk(P2224)>=1)))) , ((potential((tk(P835)>=1) & (tk(P2397)>=1)))) )))) | ( (! ( ((potential((tk(P141)>=1) & (tk(P1561)>=1)))) & ( ( ((potential((tk(P14)>=1)))) | ((potential((tk(P437)>=1) & (tk(P2086)>=1)))) ) & ( ((potential((tk(P817)>=1) & (tk(P1799)>=1)))) | ((potential((tk(P806)>=1) & (tk(P1695)>=1)))) ) ) )) & (AG( ( ( ((potential((tk(P19)>=1) & (tk(P1306)>=1)))) & ((potential((tk(P549)>=1)))) ) & ( ((potential((tk(P478)>=1)))) & ((potential((tk(P787)>=1) & (tk(P1135)>=1)))) ) ))) ) )
PROPERTY: DLCflexbar-PT-7a-CTLFireability-03 ( (AF( (EX( ( ((potential((tk(P785)>=1) & (tk(P1177)>=1)))) | ((potential((tk(P265)>=1)))) ))))) | ( (EF( ((potential((tk(P849)>=1) & (tk(P2577)>=1)))))) & ( ((potential((tk(P568)>=1) & (tk(P1902)>=1)))) | ( (EF( ((potential((tk(P168)>=1)))))) & (! ((potential((tk(P239)>=1) & (tk(P1148)>=1))))) ) ) ) )
PROPERTY: DLCflexbar-PT-7a-CTLFireability-04 (! (! (AG( (EF( ((potential((tk(P820)>=1) & (tk(P1943)>=1))))))))))
PROPERTY: DLCflexbar-PT-7a-CTLFireability-05 (EF( ( ( ( ( ((potential((tk(P330)>=1) & (tk(P2275)>=1)))) | ((potential((tk(P847)>=1) & (tk(P2455)>=1)))) ) | ((potential((tk(P861)>=1) & (tk(P2687)>=1)))) ) & (AG( ((potential((tk(P826)>=1) & (tk(P2171)>=1)))))) ) | ((potential((tk(P2145)>=1) & (tk(P828)>=1)))) )))
PROPERTY: DLCflexbar-PT-7a-CTLFireability-06 (EU( ( (! ( ((potential((tk(P814)>=1) & (tk(P1865)>=1)))) & ((potential((tk(P705)>=1) & (tk(P1942)>=1)))) )) & (EX( ((potential((tk(P817)>=1) & (tk(P1907)>=1)))))) ) , (AG( (! ((potential((tk(P799)>=1) & (tk(P1441)>=1))))))) ))
PROPERTY: DLCflexbar-PT-7a-CTLFireability-07 (AG( ( ( (AG( ((potential((tk(P680)>=1) & (tk(P2374)>=1)))))) | (! ((potential((tk(P809)>=1) & (tk(P1587)>=1))))) ) | ( ( ((potential((tk(P204)>=1) & (tk(P1798)>=1)))) | (! ((potential((tk(P751)>=1) & (tk(P2616)>=1))))) ) & (EX( ((potential((tk(P850)>=1) & (tk(P2902)>=1)))))) ) )))
PROPERTY: DLCflexbar-PT-7a-CTLFireability-08 (AG( (AF( (! (! ((potential((tk(P355)>=1) & (tk(P2062)>=1))))))))))
PROPERTY: DLCflexbar-PT-7a-CTLFireability-09 (EX( (AG( (AF( ((potential((tk(P2831)>=1) & (tk(P858)>=1))))))))))
PROPERTY: DLCflexbar-PT-7a-CTLFireability-10 ( ((potential((tk(P937)>=1) & (tk(P778)>=1)))) | (! (AF( ( ( ((potential((tk(P847)>=1) & (tk(P2445)>=1)))) | ((potential((tk(P844)>=1) & (tk(P2433)>=1)))) ) | ((potential((tk(P1460)>=1) & (tk(P800)>=1)))) )))) )
PROPERTY: DLCflexbar-PT-7a-CTLFireability-11 (AU( ( ( (! ((potential((tk(P830)>=1) & (tk(P2007)>=1))))) | ( ((potential((tk(P845)>=1) & (tk(P2505)>=1)))) & ((potential((tk(P810)>=1) & (tk(P1541)>=1)))) ) ) | (AX( ((potential((tk(P814)>=1) & (tk(P1845)>=1)))))) ) , ((potential((tk(P840)>=1) & (tk(P2294)>=1)))) ))
PROPERTY: DLCflexbar-PT-7a-CTLFireability-12 (EU( (EX( (! ((potential((tk(P861)>=1) & (tk(P2761)>=1))))))) , (EF( ((potential((tk(P796)>=1) & (tk(P1455)>=1)))))) ))
PROPERTY: DLCflexbar-PT-7a-CTLFireability-13 (AF( ( ((potential((tk(P830)>=1) & (tk(P2162)>=1)))) & (EU( ((potential((tk(P840)>=1) & (tk(P2303)>=1)))) , ((potential((tk(P839)>=1) & (tk(P2201)>=1)))) )) )))
PROPERTY: DLCflexbar-PT-7a-CTLFireability-14 (AU( ( ( (! ((potential((tk(P782)>=1) & (tk(P1187)>=1))))) & ( ((potential((tk(P708)>=1) & (tk(P1503)>=1)))) | ((potential((tk(P827)>=1) & (tk(P2059)>=1)))) ) ) & ( ( ((potential((tk(P779)>=1) & (tk(P2847)>=1)))) | ((potential((tk(P610)>=1) & (tk(P2575)>=1)))) ) & ( ((potential((tk(P856)>=1) & (tk(P2675)>=1)))) | ((potential((tk(P561)>=1) & (tk(P2341)>=1)))) ) ) ) , (EG( (! ((potential((tk(P346)>=1) & (tk(P2500)>=1))))))) ))
PROPERTY: DLCflexbar-PT-7a-CTLFireability-15 (! (EU( ( (! ((potential((tk(P820)>=1) & (tk(P2853)>=1))))) | ( ((potential((tk(P812)>=1) & (tk(P1847)>=1)))) | ((potential((tk(P807)>=1) & (tk(P1695)>=1)))) ) ) , (AG( ((potential((tk(P376)>=1) & (tk(P2288)>=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="DLCflexbar-PT-7a"
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 DLCflexbar-PT-7a, 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-158902542200420"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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