Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r355-smll-167891803400368.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is SemanticWebServices-PT-S064P15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803400368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 6.3K Feb 26 10:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 10:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 10:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 10:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.6K Feb 26 10:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 10:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 10:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 26 10:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 137K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679918901672

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SemanticWebServices-PT-S064P15
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S064P15
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 118 places, 194 transitions, 1007 arcs.
AT ITER 0 NEW BEST:: SOT 18065 SOS 11581 HAS SOPS 7093 HAS SOUS 4693 HAS SOUPS 3492 WITH SCORE 3503.581
AT ITER 10 NEW BEST:: SOT 18065 SOS 11513 HAS SOPS 7093 HAS SOUS 4659 HAS SOUPS 3492 WITH SCORE 3503.513
AT ITER 17 NEW BEST:: SOT 18065 SOS 11553 HAS SOPS 7081 HAS SOUS 4679 HAS SOUPS 3486 WITH SCORE 3497.553
AT ITER 18 NEW BEST:: SOT 18065 SOS 11481 HAS SOPS 7081 HAS SOUS 4684 HAS SOUPS 3486 WITH SCORE 3497.481
AT ITER 31 NEW BEST:: SOT 18065 SOS 11509 HAS SOPS 7063 HAS SOUS 4698 HAS SOUPS 3477 WITH SCORE 3488.509
AT ITER 38 NEW BEST:: SOT 18065 SOS 11517 HAS SOPS 7059 HAS SOUS 4702 HAS SOUPS 3475 WITH SCORE 3486.517
AT ITER 40 NEW BEST:: SOT 18065 SOS 11451 HAS SOPS 6973 HAS SOUS 4669 HAS SOUPS 3432 WITH SCORE 3443.451
AT ITER 41 NEW BEST:: SOT 18065 SOS 11441 HAS SOPS 6911 HAS SOUS 4664 HAS SOUPS 3401 WITH SCORE 3412.441
AT ITER 49 NEW BEST:: SOT 18053 SOS 11429 HAS SOPS 6899 HAS SOUS 4658 HAS SOUPS 3395 WITH SCORE 3406.429
AT ITER 53 NEW BEST:: SOT 18053 SOS 11341 HAS SOPS 6899 HAS SOUS 4660 HAS SOUPS 3395 WITH SCORE 3406.341
AT ITER 57 NEW BEST:: SOT 18053 SOS 11333 HAS SOPS 6899 HAS SOUS 4660 HAS SOUPS 3395 WITH SCORE 3406.333
AT ITER 68 NEW BEST:: SOT 18053 SOS 11297 HAS SOPS 6899 HAS SOUS 4651 HAS SOUPS 3395 WITH SCORE 3406.297
AT ITER 69 NEW BEST:: SOT 18053 SOS 11273 HAS SOPS 6887 HAS SOUS 4645 HAS SOUPS 3389 WITH SCORE 3400.273
AT ITER 74 NEW BEST:: SOT 18053 SOS 11145 HAS SOPS 6887 HAS SOUS 4581 HAS SOUPS 3389 WITH SCORE 3400.145
AT ITER 79 NEW BEST:: SOT 18053 SOS 11127 HAS SOPS 6869 HAS SOUS 4572 HAS SOUPS 3380 WITH SCORE 3391.127
AT ITER 84 NEW BEST:: SOT 18029 SOS 11103 HAS SOPS 6845 HAS SOUS 4548 HAS SOUPS 3356 WITH SCORE 3367.103
AT ITER 89 NEW BEST:: SOT 18029 SOS 11041 HAS SOPS 6783 HAS SOUS 4517 HAS SOUPS 3325 WITH SCORE 3336.041
AT ITER 95 NEW BEST:: SOT 18029 SOS 11011 HAS SOPS 6783 HAS SOUS 4502 HAS SOUPS 3325 WITH SCORE 3336.011
AT ITER 96 NEW BEST:: SOT 18029 SOS 11009 HAS SOPS 6773 HAS SOUS 4492 HAS SOUPS 3320 WITH SCORE 3331.009
AT ITER 99 NEW BEST:: SOT 18029 SOS 10967 HAS SOPS 6759 HAS SOUS 4478 HAS SOUPS 3313 WITH SCORE 3323.967
AT ITER 101 NEW BEST:: SOT 18029 SOS 10957 HAS SOPS 6727 HAS SOUS 4473 HAS SOUPS 3297 WITH SCORE 3307.957
AT ITER 108 NEW BEST:: SOT 15873 SOS 10947 HAS SOPS 9769 HAS SOUS 3423 HAS SOUPS 3118 WITH SCORE 3128.947
AT ITER 112 NEW BEST:: SOT 14153 SOS 9280 HAS SOPS 8102 HAS SOUS 3122 HAS SOUPS 2817 WITH SCORE 2826.28
AT ITER 117 NEW BEST:: SOT 14133 SOS 9260 HAS SOPS 8082 HAS SOUS 3116 HAS SOUPS 2811 WITH SCORE 2820.26
AT ITER 121 NEW BEST:: SOT 14125 SOS 9252 HAS SOPS 8074 HAS SOUS 3112 HAS SOUPS 2807 WITH SCORE 2816.252
AT ITER 128 NEW BEST:: SOT 14045 SOS 9172 HAS SOPS 7994 HAS SOUS 3072 HAS SOUPS 2767 WITH SCORE 2776.172
AT ITER 129 NEW BEST:: SOT 14045 SOS 9160 HAS SOPS 7988 HAS SOUS 3066 HAS SOUPS 2764 WITH SCORE 2773.16
AT ITER 135 NEW BEST:: SOT 14039 SOS 9154 HAS SOPS 7982 HAS SOUS 3063 HAS SOUPS 2761 WITH SCORE 2770.154
AT ITER 143 NEW BEST:: SOT 14009 SOS 9124 HAS SOPS 7952 HAS SOUS 3058 HAS SOUPS 2756 WITH SCORE 2765.124
AT ITER 159 NEW BEST:: SOT 13953 SOS 9068 HAS SOPS 7896 HAS SOUS 3010 HAS SOUPS 2708 WITH SCORE 2717.068
AT ITER 160 NEW BEST:: SOT 13953 SOS 9060 HAS SOPS 7896 HAS SOUS 3010 HAS SOUPS 2708 WITH SCORE 2717.06
AT ITER 165 NEW BEST:: SOT 13965 SOS 9072 HAS SOPS 7908 HAS SOUS 3000 HAS SOUPS 2698 WITH SCORE 2707.072
AT ITER 166 NEW BEST:: SOT 13837 SOS 8944 HAS SOPS 7780 HAS SOUS 2940 HAS SOUPS 2638 WITH SCORE 2646.944
AT ITER 177 NEW BEST:: SOT 13773 SOS 8880 HAS SOPS 7716 HAS SOUS 2864 HAS SOUPS 2562 WITH SCORE 2570.88
AT ITER 190 NEW BEST:: SOT 13701 SOS 8802 HAS SOPS 7644 HAS SOUS 2845 HAS SOUPS 2546 WITH SCORE 2554.802
AT ITER 191 NEW BEST:: SOT 13719 SOS 8806 HAS SOPS 7654 HAS SOUS 2823 HAS SOUPS 2527 WITH SCORE 2535.806
AT ITER 201 NEW BEST:: SOT 13741 SOS 8828 HAS SOPS 7676 HAS SOUS 2819 HAS SOUPS 2523 WITH SCORE 2531.828
AT ITER 216 NEW BEST:: SOT 13741 SOS 8836 HAS SOPS 7674 HAS SOUS 2817 HAS SOUPS 2522 WITH SCORE 2530.836
AT ITER 218 NEW BEST:: SOT 13729 SOS 8824 HAS SOPS 7662 HAS SOUS 2805 HAS SOUPS 2510 WITH SCORE 2518.824
AT ITER 245 NEW BEST:: SOT 13707 SOS 8802 HAS SOPS 7640 HAS SOUS 2794 HAS SOUPS 2499 WITH SCORE 2507.802
AT ITER 252 NEW BEST:: SOT 13699 SOS 8794 HAS SOPS 7632 HAS SOUS 2788 HAS SOUPS 2493 WITH SCORE 2501.794
AT ITER 262 NEW BEST:: SOT 13699 SOS 8784 HAS SOPS 7632 HAS SOUS 2788 HAS SOUPS 2493 WITH SCORE 2501.784
AT ITER 265 NEW BEST:: SOT 13699 SOS 8784 HAS SOPS 7632 HAS SOUS 2785 HAS SOUPS 2490 WITH SCORE 2498.784
AT ITER 266 NEW BEST:: SOT 13677 SOS 8762 HAS SOPS 7610 HAS SOUS 2724 HAS SOUPS 2429 WITH SCORE 2437.762
AT ITER 278 NEW BEST:: SOT 13673 SOS 8758 HAS SOPS 7606 HAS SOUS 2720 HAS SOUPS 2425 WITH SCORE 2433.758
AT ITER 296 NEW BEST:: SOT 13665 SOS 8750 HAS SOPS 7598 HAS SOUS 2712 HAS SOUPS 2417 WITH SCORE 2425.75
AT ITER 299 NEW BEST:: SOT 13585 SOS 8670 HAS SOPS 7518 HAS SOUS 2672 HAS SOUPS 2377 WITH SCORE 2385.67
AT ITER 303 NEW BEST:: SOT 13575 SOS 8648 HAS SOPS 7508 HAS SOUS 2656 HAS SOUPS 2367 WITH SCORE 2375.648
AT ITER 326 NEW BEST:: SOT 13567 SOS 8640 HAS SOPS 7500 HAS SOUS 2652 HAS SOUPS 2363 WITH SCORE 2371.64
AT ITER 334 NEW BEST:: SOT 13567 SOS 8640 HAS SOPS 7500 HAS SOUS 2649 HAS SOUPS 2360 WITH SCORE 2368.64
AT ITER 336 NEW BEST:: SOT 13489 SOS 8624 HAS SOPS 7456 HAS SOUS 2644 HAS SOUPS 2338 WITH SCORE 2346.624
AT ITER 350 NEW BEST:: SOT 13489 SOS 8624 HAS SOPS 7456 HAS SOUS 2634 HAS SOUPS 2328 WITH SCORE 2336.624
AT ITER 371 NEW BEST:: SOT 13433 SOS 8568 HAS SOPS 7400 HAS SOUS 2588 HAS SOUPS 2282 WITH SCORE 2290.568
AT ITER 383 NEW BEST:: SOT 13433 SOS 8532 HAS SOPS 7388 HAS SOUS 2576 HAS SOUPS 2276 WITH SCORE 2284.532
AT ITER 390 NEW BEST:: SOT 13409 SOS 8508 HAS SOPS 7364 HAS SOUS 2570 HAS SOUPS 2270 WITH SCORE 2278.508
AT ITER 401 NEW BEST:: SOT 13403 SOS 8502 HAS SOPS 7358 HAS SOUS 2564 HAS SOUPS 2264 WITH SCORE 2272.502
AT ITER 405 NEW BEST:: SOT 13401 SOS 8500 HAS SOPS 7356 HAS SOUS 2561 HAS SOUPS 2261 WITH SCORE 2269.5
AT ITER 410 NEW BEST:: SOT 13377 SOS 8476 HAS SOPS 7332 HAS SOUS 2525 HAS SOUPS 2225 WITH SCORE 2233.476
AT ITER 422 NEW BEST:: SOT 13393 SOS 8492 HAS SOPS 7348 HAS SOUS 2520 HAS SOUPS 2220 WITH SCORE 2228.492
AT ITER 434 NEW BEST:: SOT 13229 SOS 8356 HAS SOPS 7212 HAS SOUS 2465 HAS SOUPS 2165 WITH SCORE 2173.356
AT ITER 441 NEW BEST:: SOT 13201 SOS 8328 HAS SOPS 7184 HAS SOUS 2448 HAS SOUPS 2148 WITH SCORE 2156.328
AT ITER 473 NEW BEST:: SOT 13187 SOS 8314 HAS SOPS 7170 HAS SOUS 2434 HAS SOUPS 2134 WITH SCORE 2142.314
AT ITER 484 NEW BEST:: SOT 13169 SOS 8296 HAS SOPS 7152 HAS SOUS 2416 HAS SOUPS 2116 WITH SCORE 2124.296
AT ITER 494 NEW BEST:: SOT 13167 SOS 8294 HAS SOPS 7150 HAS SOUS 2414 HAS SOUPS 2114 WITH SCORE 2122.294
AT ITER 511 NEW BEST:: SOT 13143 SOS 8266 HAS SOPS 7132 HAS SOUS 2402 HAS SOUPS 2107 WITH SCORE 2115.266
AT ITER 519 NEW BEST:: SOT 13191 SOS 8266 HAS SOPS 7180 HAS SOUS 2398 HAS SOUPS 2103 WITH SCORE 2111.266
AT ITER 536 NEW BEST:: SOT 13191 SOS 8262 HAS SOPS 7180 HAS SOUS 2396 HAS SOUPS 2103 WITH SCORE 2111.262
AT ITER 538 NEW BEST:: SOT 13191 SOS 8238 HAS SOPS 7172 HAS SOUS 2388 HAS SOUPS 2099 WITH SCORE 2107.238
AT ITER 550 NEW BEST:: SOT 13149 SOS 8196 HAS SOPS 7130 HAS SOUS 2386 HAS SOUPS 2097 WITH SCORE 2105.196
AT ITER 569 NEW BEST:: SOT 13148 SOS 8198 HAS SOPS 7132 HAS SOUS 2369 HAS SOUPS 2080 WITH SCORE 2088.198
AT ITER 576 NEW BEST:: SOT 13059 SOS 8148 HAS SOPS 7082 HAS SOUS 2366 HAS SOUPS 2077 WITH SCORE 2085.148
AT ITER 577 NEW BEST:: SOT 13051 SOS 8140 HAS SOPS 7074 HAS SOUS 2359 HAS SOUPS 2070 WITH SCORE 2078.14
AT ITER 578 NEW BEST:: SOT 13043 SOS 8132 HAS SOPS 7066 HAS SOUS 2353 HAS SOUPS 2064 WITH SCORE 2072.132
AT ITER 587 NEW BEST:: SOT 13043 SOS 8110 HAS SOPS 7054 HAS SOUS 2342 HAS SOUPS 2058 WITH SCORE 2066.11
AT ITER 595 NEW BEST:: SOT 13035 SOS 8102 HAS SOPS 7046 HAS SOUS 2340 HAS SOUPS 2056 WITH SCORE 2064.102
AT ITER 605 NEW BEST:: SOT 13037 SOS 8104 HAS SOPS 7048 HAS SOUS 2336 HAS SOUPS 2052 WITH SCORE 2060.104
AT ITER 607 NEW BEST:: SOT 13023 SOS 8090 HAS SOPS 7034 HAS SOUS 2317 HAS SOUPS 2033 WITH SCORE 2041.09
AT ITER 610 NEW BEST:: SOT 13011 SOS 8078 HAS SOPS 7022 HAS SOUS 2317 HAS SOUPS 2033 WITH SCORE 2041.078
AT ITER 637 NEW BEST:: SOT 13007 SOS 8074 HAS SOPS 7018 HAS SOUS 2316 HAS SOUPS 2032 WITH SCORE 2040.074
AT ITER 646 NEW BEST:: SOT 13005 SOS 8044 HAS SOPS 7016 HAS SOUS 2300 HAS SOUPS 2030 WITH SCORE 2038.044
AT ITER 666 NEW BEST:: SOT 12975 SOS 8014 HAS SOPS 6986 HAS SOUS 2270 HAS SOUPS 2000 WITH SCORE 2008.014
AT ITER 675 NEW BEST:: SOT 12977 SOS 8016 HAS SOPS 6988 HAS SOUS 2261 HAS SOUPS 1991 WITH SCORE 1999.016
AT ITER 678 NEW BEST:: SOT 12977 SOS 7984 HAS SOPS 6988 HAS SOUS 2261 HAS SOUPS 1991 WITH SCORE 1998.984
AT ITER 683 NEW BEST:: SOT 12977 SOS 7984 HAS SOPS 6986 HAS SOUS 2261 HAS SOUPS 1990 WITH SCORE 1997.984
AT ITER 684 NEW BEST:: SOT 12957 SOS 7964 HAS SOPS 6966 HAS SOUS 2246 HAS SOUPS 1975 WITH SCORE 1982.964
AT ITER 692 NEW BEST:: SOT 12947 SOS 7954 HAS SOPS 6956 HAS SOUS 2236 HAS SOUPS 1965 WITH SCORE 1972.954
AT ITER 733 NEW BEST:: SOT 12935 SOS 7942 HAS SOPS 6944 HAS SOUS 2236 HAS SOUPS 1965 WITH SCORE 1972.942
AT ITER 759 NEW BEST:: SOT 12919 SOS 7926 HAS SOPS 6928 HAS SOUS 2224 HAS SOUPS 1953 WITH SCORE 1960.926
AT ITER 791 NEW BEST:: SOT 12919 SOS 7926 HAS SOPS 6928 HAS SOUS 2217 HAS SOUPS 1946 WITH SCORE 1953.926
AT ITER 811 NEW BEST:: SOT 12937 SOS 7906 HAS SOPS 6934 HAS SOUS 2209 HAS SOUPS 1944 WITH SCORE 1951.906
AT ITER 814 NEW BEST:: SOT 12917 SOS 7886 HAS SOPS 6914 HAS SOUS 2203 HAS SOUPS 1938 WITH SCORE 1945.886
AT ITER 827 NEW BEST:: SOT 12917 SOS 7874 HAS SOPS 6902 HAS SOUS 2185 HAS SOUPS 1920 WITH SCORE 1927.874
AT ITER 829 NEW BEST:: SOT 12889 SOS 7840 HAS SOPS 6874 HAS SOUS 2154 HAS SOUPS 1892 WITH SCORE 1899.84
AT ITER 830 NEW BEST:: SOT 12889 SOS 7828 HAS SOPS 6868 HAS SOUS 2148 HAS SOUPS 1889 WITH SCORE 1896.828
AT ITER 839 NEW BEST:: SOT 12869 SOS 7808 HAS SOPS 6848 HAS SOUS 2128 HAS SOUPS 1869 WITH SCORE 1876.808
AT ITER 841 NEW BEST:: SOT 12847 SOS 7786 HAS SOPS 6826 HAS SOUS 2125 HAS SOUPS 1866 WITH SCORE 1873.786
AT ITER 895 NEW BEST:: SOT 12831 SOS 7770 HAS SOPS 6810 HAS SOUS 2123 HAS SOUPS 1864 WITH SCORE 1871.77
AT ITER 897 NEW BEST:: SOT 12829 SOS 7768 HAS SOPS 6808 HAS SOUS 2116 HAS SOUPS 1857 WITH SCORE 1864.768
AT ITER 913 NEW BEST:: SOT 12801 SOS 7740 HAS SOPS 6780 HAS SOUS 2110 HAS SOUPS 1851 WITH SCORE 1858.74
AT ITER 930 NEW BEST:: SOT 12803 SOS 7666 HAS SOPS 6782 HAS SOUS 2067 HAS SOUPS 1828 WITH SCORE 1835.666
AT ITER 940 NEW BEST:: SOT 12803 SOS 7662 HAS SOPS 6780 HAS SOUS 2068 HAS SOUPS 1827 WITH SCORE 1834.662
AT ITER 974 NEW BEST:: SOT 12811 SOS 7616 HAS SOPS 6750 HAS SOUS 2034 HAS SOUPS 1801 WITH SCORE 1808.616
AT ITER 1004 NEW BEST:: SOT 12811 SOS 7614 HAS SOPS 6748 HAS SOUS 2033 HAS SOUPS 1800 WITH SCORE 1807.614
AT ITER 1040 NEW BEST:: SOT 12787 SOS 7590 HAS SOPS 6724 HAS SOUS 2016 HAS SOUPS 1783 WITH SCORE 1790.59
AT ITER 1043 NEW BEST:: SOT 12784 SOS 7587 HAS SOPS 6721 HAS SOUS 2014 HAS SOUPS 1781 WITH SCORE 1788.587
AT ITER 1121 NEW BEST:: SOT 12776 SOS 7579 HAS SOPS 6713 HAS SOUS 2010 HAS SOUPS 1777 WITH SCORE 1784.579
AT ITER 1134 NEW BEST:: SOT 12776 SOS 7575 HAS SOPS 6713 HAS SOUS 2011 HAS SOUPS 1777 WITH SCORE 1784.575
AT ITER 1153 NEW BEST:: SOT 12776 SOS 7519 HAS SOPS 6711 HAS SOUS 2008 HAS SOUPS 1776 WITH SCORE 1783.519
AT ITER 1156 NEW BEST:: SOT 12780 SOS 7507 HAS SOPS 6715 HAS SOUS 2004 HAS SOUPS 1776 WITH SCORE 1783.507
AT ITER 1225 NEW BEST:: SOT 12777 SOS 7507 HAS SOPS 6715 HAS SOUS 2003 HAS SOUPS 1775 WITH SCORE 1782.507
AT ITER 1262 NEW BEST:: SOT 12777 SOS 7491 HAS SOPS 6715 HAS SOUS 1995 HAS SOUPS 1775 WITH SCORE 1782.491
AT ITER 1350 NEW BEST:: SOT 12775 SOS 7489 HAS SOPS 6713 HAS SOUS 1993 HAS SOUPS 1773 WITH SCORE 1780.489
AT ITER 1353 NEW BEST:: SOT 12783 SOS 7497 HAS SOPS 6721 HAS SOUS 1988 HAS SOUPS 1768 WITH SCORE 1775.497
AT ITER 1369 NEW BEST:: SOT 12765 SOS 7451 HAS SOPS 6695 HAS SOUS 1956 HAS SOUPS 1746 WITH SCORE 1753.451
AT ITER 1400 NEW BEST:: SOT 12755 SOS 7441 HAS SOPS 6685 HAS SOUS 1951 HAS SOUPS 1741 WITH SCORE 1748.441
AT ITER 1405 NEW BEST:: SOT 12755 SOS 7441 HAS SOPS 6685 HAS SOUS 1945 HAS SOUPS 1735 WITH SCORE 1742.441
AT ITER 1408 NEW BEST:: SOT 12741 SOS 7427 HAS SOPS 6671 HAS SOUS 1938 HAS SOUPS 1728 WITH SCORE 1735.427
AT ITER 1417 NEW BEST:: SOT 12741 SOS 7423 HAS SOPS 6669 HAS SOUS 1936 HAS SOUPS 1727 WITH SCORE 1734.423
AT ITER 1479 NEW BEST:: SOT 12739 SOS 7421 HAS SOPS 6667 HAS SOUS 1936 HAS SOUPS 1727 WITH SCORE 1734.421
AT ITER 1504 NEW BEST:: SOT 12739 SOS 7421 HAS SOPS 6667 HAS SOUS 1927 HAS SOUPS 1718 WITH SCORE 1725.421
AT ITER 1552 NEW BEST:: SOT 12739 SOS 7407 HAS SOPS 6659 HAS SOUS 1919 HAS SOUPS 1714 WITH SCORE 1721.407
AT ITER 1554 NEW BEST:: SOT 12703 SOS 7371 HAS SOPS 6623 HAS SOUS 1907 HAS SOUPS 1702 WITH SCORE 1709.371
AT ITER 1660 NEW BEST:: SOT 12697 SOS 7365 HAS SOPS 6617 HAS SOUS 1897 HAS SOUPS 1692 WITH SCORE 1699.365
AT ITER 1678 NEW BEST:: SOT 12689 SOS 7357 HAS SOPS 6609 HAS SOUS 1889 HAS SOUPS 1684 WITH SCORE 1691.357
AT ITER 1815 NEW BEST:: SOT 12685 SOS 7353 HAS SOPS 6605 HAS SOUS 1887 HAS SOUPS 1682 WITH SCORE 1689.353
AT ITER 1838 NEW BEST:: SOT 12681 SOS 7349 HAS SOPS 6601 HAS SOUS 1883 HAS SOUPS 1678 WITH SCORE 1685.349
AT ITER 1875 NEW BEST:: SOT 12681 SOS 7355 HAS SOPS 6597 HAS SOUS 1886 HAS SOUPS 1676 WITH SCORE 1683.355
AT ITER 1907 NEW BEST:: SOT 12671 SOS 7345 HAS SOPS 6587 HAS SOUS 1876 HAS SOUPS 1666 WITH SCORE 1673.345
AT ITER 1925 NEW BEST:: SOT 12671 SOS 7315 HAS SOPS 6581 HAS SOUS 1870 HAS SOUPS 1663 WITH SCORE 1670.315
AT ITER 1986 NEW BEST:: SOT 12667 SOS 7311 HAS SOPS 6577 HAS SOUS 1867 HAS SOUPS 1660 WITH SCORE 1667.311
AT ITER 1988 NEW BEST:: SOT 12667 SOS 7323 HAS SOPS 6573 HAS SOUS 1873 HAS SOUPS 1658 WITH SCORE 1665.323
AT ITER 2010 NEW BEST:: SOT 12665 SOS 7321 HAS SOPS 6571 HAS SOUS 1872 HAS SOUPS 1657 WITH SCORE 1664.321
AT ITER 2018 NEW BEST:: SOT 12663 SOS 7319 HAS SOPS 6569 HAS SOUS 1871 HAS SOUPS 1656 WITH SCORE 1663.319
AT ITER 2052 NEW BEST:: SOT 12651 SOS 7307 HAS SOPS 6557 HAS SOUS 1870 HAS SOUPS 1655 WITH SCORE 1662.307
AT ITER 2069 NEW BEST:: SOT 12653 SOS 7309 HAS SOPS 6559 HAS SOUS 1866 HAS SOUPS 1651 WITH SCORE 1658.309
AT ITER 2097 NEW BEST:: SOT 12647 SOS 7303 HAS SOPS 6553 HAS SOUS 1854 HAS SOUPS 1639 WITH SCORE 1646.303
AT ITER 2099 NEW BEST:: SOT 12647 SOS 7237 HAS SOPS 6553 HAS SOUS 1854 HAS SOUPS 1639 WITH SCORE 1646.237
AT ITER 2121 NEW BEST:: SOT 12635 SOS 7225 HAS SOPS 6541 HAS SOUS 1847 HAS SOUPS 1632 WITH SCORE 1639.225
AT ITER 2186 NEW BEST:: SOT 12635 SOS 7221 HAS SOPS 6539 HAS SOUS 1845 HAS SOUPS 1631 WITH SCORE 1638.221
AT ITER 2217 NEW BEST:: SOT 12635 SOS 7209 HAS SOPS 6537 HAS SOUS 1839 HAS SOUPS 1630 WITH SCORE 1637.209
AT ITER 2238 NEW BEST:: SOT 12635 SOS 7209 HAS SOPS 6537 HAS SOUS 1837 HAS SOUPS 1628 WITH SCORE 1635.209
AT ITER 2243 NEW BEST:: SOT 12635 SOS 7209 HAS SOPS 6537 HAS SOUS 1835 HAS SOUPS 1626 WITH SCORE 1633.209
AT ITER 2276 NEW BEST:: SOT 12635 SOS 7205 HAS SOPS 6535 HAS SOUS 1833 HAS SOUPS 1625 WITH SCORE 1632.205
AT ITER 2382 NEW BEST:: SOT 12635 SOS 7207 HAS SOPS 6533 HAS SOUS 1833 HAS SOUPS 1624 WITH SCORE 1631.207
AT ITER 2590 NEW BEST:: SOT 12631 SOS 7203 HAS SOPS 6529 HAS SOUS 1832 HAS SOUPS 1623 WITH SCORE 1630.203
AT ITER 2609 NEW BEST:: SOT 12605 SOS 7177 HAS SOPS 6503 HAS SOUS 1818 HAS SOUPS 1609 WITH SCORE 1616.177
AT ITER 2629 NEW BEST:: SOT 12593 SOS 7165 HAS SOPS 6491 HAS SOUS 1806 HAS SOUPS 1597 WITH SCORE 1604.165
AT ITER 2632 NEW BEST:: SOT 12593 SOS 7163 HAS SOPS 6491 HAS SOUS 1805 HAS SOUPS 1597 WITH SCORE 1604.163
AT ITER 2663 NEW BEST:: SOT 12593 SOS 7163 HAS SOPS 6491 HAS SOUS 1800 HAS SOUPS 1592 WITH SCORE 1599.163
AT ITER 2672 NEW BEST:: SOT 12591 SOS 7161 HAS SOPS 6489 HAS SOUS 1798 HAS SOUPS 1590 WITH SCORE 1597.161
AT ITER 2673 NEW BEST:: SOT 12585 SOS 7155 HAS SOPS 6483 HAS SOUS 1792 HAS SOUPS 1584 WITH SCORE 1591.155
AT ITER 2694 NEW BEST:: SOT 12569 SOS 7139 HAS SOPS 6467 HAS SOUS 1781 HAS SOUPS 1573 WITH SCORE 1580.139
AT ITER 2732 NEW BEST:: SOT 12552 SOS 7122 HAS SOPS 6450 HAS SOUS 1777 HAS SOUPS 1569 WITH SCORE 1576.122
AT ITER 2736 NEW BEST:: SOT 12552 SOS 7116 HAS SOPS 6448 HAS SOUS 1775 HAS SOUPS 1568 WITH SCORE 1575.116
AT ITER 2741 NEW BEST:: SOT 12552 SOS 7116 HAS SOPS 6446 HAS SOUS 1773 HAS SOUPS 1567 WITH SCORE 1574.116
AT ITER 2818 NEW BEST:: SOT 12546 SOS 7110 HAS SOPS 6440 HAS SOUS 1769 HAS SOUPS 1563 WITH SCORE 1570.11
AT ITER 2822 NEW BEST:: SOT 12542 SOS 7106 HAS SOPS 6436 HAS SOUS 1767 HAS SOUPS 1561 WITH SCORE 1568.106
AT ITER 2873 NEW BEST:: SOT 12542 SOS 7094 HAS SOPS 6436 HAS SOUS 1761 HAS SOUPS 1561 WITH SCORE 1568.094
AT ITER 2896 NEW BEST:: SOT 12542 SOS 7090 HAS SOPS 6434 HAS SOUS 1759 HAS SOUPS 1560 WITH SCORE 1567.09
AT ITER 3052 NEW BEST:: SOT 12534 SOS 7085 HAS SOPS 6429 HAS SOUS 1758 HAS SOUPS 1559 WITH SCORE 1566.085
AT ITER 3080 NEW BEST:: SOT 12518 SOS 7069 HAS SOPS 6413 HAS SOUS 1747 HAS SOUPS 1548 WITH SCORE 1555.069
AT ITER 3121 NEW BEST:: SOT 12522 SOS 7073 HAS SOPS 6417 HAS SOUS 1745 HAS SOUPS 1546 WITH SCORE 1553.073
AT ITER 3212 NEW BEST:: SOT 12526 SOS 7077 HAS SOPS 6421 HAS SOUS 1740 HAS SOUPS 1541 WITH SCORE 1548.077
AT ITER 3225 NEW BEST:: SOT 12486 SOS 7039 HAS SOPS 6383 HAS SOUS 1733 HAS SOUPS 1534 WITH SCORE 1541.039
AT ITER 3233 NEW BEST:: SOT 12486 SOS 7033 HAS SOPS 6383 HAS SOUS 1730 HAS SOUPS 1534 WITH SCORE 1541.033
AT ITER 3242 NEW BEST:: SOT 12486 SOS 7029 HAS SOPS 6379 HAS SOUS 1728 HAS SOUPS 1532 WITH SCORE 1539.029
AT ITER 3270 NEW BEST:: SOT 12500 SOS 7043 HAS SOPS 6393 HAS SOUS 1727 HAS SOUPS 1531 WITH SCORE 1538.043
AT ITER 3388 NEW BEST:: SOT 12498 SOS 7041 HAS SOPS 6391 HAS SOUS 1720 HAS SOUPS 1524 WITH SCORE 1531.041
AT ITER 3408 NEW BEST:: SOT 12496 SOS 7039 HAS SOPS 6389 HAS SOUS 1718 HAS SOUPS 1522 WITH SCORE 1529.039
AT ITER 3433 NEW BEST:: SOT 12494 SOS 7037 HAS SOPS 6387 HAS SOUS 1717 HAS SOUPS 1521 WITH SCORE 1528.037
AT ITER 3457 NEW BEST:: SOT 12420 SOS 7421 HAS SOPS 6901 HAS SOUS 1676 HAS SOUPS 1513 WITH SCORE 1520.421
AT ITER 3461 NEW BEST:: SOT 12410 SOS 7411 HAS SOPS 6891 HAS SOUS 1674 HAS SOUPS 1511 WITH SCORE 1518.411
AT ITER 3487 NEW BEST:: SOT 12410 SOS 7407 HAS SOPS 6889 HAS SOUS 1672 HAS SOUPS 1510 WITH SCORE 1517.407
AT ITER 3488 NEW BEST:: SOT 12410 SOS 7401 HAS SOPS 6889 HAS SOUS 1669 HAS SOUPS 1510 WITH SCORE 1517.401
AT ITER 3507 NEW BEST:: SOT 12410 SOS 7401 HAS SOPS 6889 HAS SOUS 1667 HAS SOUPS 1508 WITH SCORE 1515.401
AT ITER 3562 NEW BEST:: SOT 12406 SOS 7397 HAS SOPS 6885 HAS SOUS 1665 HAS SOUPS 1506 WITH SCORE 1513.397
AT ITER 3617 NEW BEST:: SOT 12360 SOS 7354 HAS SOPS 6842 HAS SOUS 1658 HAS SOUPS 1499 WITH SCORE 1506.354
AT ITER 3628 NEW BEST:: SOT 12352 SOS 7346 HAS SOPS 6834 HAS SOUS 1657 HAS SOUPS 1498 WITH SCORE 1505.346
AT ITER 3737 NEW BEST:: SOT 12354 SOS 7348 HAS SOPS 6836 HAS SOUS 1656 HAS SOUPS 1497 WITH SCORE 1504.348
AT ITER 3781 NEW BEST:: SOT 12354 SOS 7342 HAS SOPS 6834 HAS SOUS 1654 HAS SOUPS 1496 WITH SCORE 1503.342
AT ITER 3925 NEW BEST:: SOT 12356 SOS 7344 HAS SOPS 6836 HAS SOUS 1653 HAS SOUPS 1495 WITH SCORE 1502.344
AT ITER 3951 NEW BEST:: SOT 12356 SOS 7344 HAS SOPS 6836 HAS SOUS 1650 HAS SOUPS 1492 WITH SCORE 1499.344
AT ITER 3986 NEW BEST:: SOT 12354 SOS 7342 HAS SOPS 6834 HAS SOUS 1648 HAS SOUPS 1490 WITH SCORE 1497.342
AT ITER 4116 NEW BEST:: SOT 12391 SOS 7381 HAS SOPS 6873 HAS SOUS 1641 HAS SOUPS 1483 WITH SCORE 1490.381
AT ITER 4166 NEW BEST:: SOT 12397 SOS 7387 HAS SOPS 6879 HAS SOUS 1640 HAS SOUPS 1482 WITH SCORE 1489.387
AT ITER 4241 NEW BEST:: SOT 12387 SOS 7375 HAS SOPS 6867 HAS SOUS 1638 HAS SOUPS 1480 WITH SCORE 1487.375
AT ITER 4415 NEW BEST:: SOT 12384 SOS 7371 HAS SOPS 6863 HAS SOUS 1636 HAS SOUPS 1478 WITH SCORE 1485.371
AT ITER 4491 NEW BEST:: SOT 12384 SOS 7370 HAS SOPS 6862 HAS SOUS 1635 HAS SOUPS 1477 WITH SCORE 1484.37
AT ITER 4588 NEW BEST:: SOT 12384 SOS 7366 HAS SOPS 6862 HAS SOUS 1633 HAS SOUPS 1477 WITH SCORE 1484.366
AT ITER 4817 NEW BEST:: SOT 12385 SOS 7367 HAS SOPS 6863 HAS SOUS 1632 HAS SOUPS 1476 WITH SCORE 1483.367
AT ITER 4843 NEW BEST:: SOT 12379 SOS 7361 HAS SOPS 6857 HAS SOUS 1632 HAS SOUPS 1476 WITH SCORE 1483.361
AT ITER 4858 NEW BEST:: SOT 12379 SOS 7361 HAS SOPS 6857 HAS SOUS 1629 HAS SOUPS 1473 WITH SCORE 1480.361
AT ITER 4910 NEW BEST:: SOT 12379 SOS 7361 HAS SOPS 6857 HAS SOUS 1627 HAS SOUPS 1471 WITH SCORE 1478.361
AT ITER 4915 NEW BEST:: SOT 12377 SOS 7359 HAS SOPS 6855 HAS SOUS 1626 HAS SOUPS 1470 WITH SCORE 1477.359
AT ITER 4994 NEW BEST:: SOT 12377 SOS 7359 HAS SOPS 6855 HAS SOUS 1625 HAS SOUPS 1469 WITH SCORE 1476.359
AT ITER 5090 NEW BEST:: SOT 12376 SOS 7354 HAS SOPS 6850 HAS SOUS 1623 HAS SOUPS 1467 WITH SCORE 1474.354
AT ITER 5096 NEW BEST:: SOT 12376 SOS 7352 HAS SOPS 6850 HAS SOUS 1622 HAS SOUPS 1467 WITH SCORE 1474.352
AT ITER 5159 NEW BEST:: SOT 12374 SOS 7350 HAS SOPS 6848 HAS SOUS 1622 HAS SOUPS 1467 WITH SCORE 1474.35
AT ITER 5190 NEW BEST:: SOT 12372 SOS 7348 HAS SOPS 6846 HAS SOUS 1620 HAS SOUPS 1465 WITH SCORE 1472.348
AT ITER 5414 NEW BEST:: SOT 12360 SOS 7336 HAS SOPS 6834 HAS SOUS 1620 HAS SOUPS 1465 WITH SCORE 1472.336
AT ITER 5432 NEW BEST:: SOT 12358 SOS 7334 HAS SOPS 6832 HAS SOUS 1618 HAS SOUPS 1463 WITH SCORE 1470.334
AT ITER 5561 NEW BEST:: SOT 12358 SOS 7326 HAS SOPS 6830 HAS SOUS 1616 HAS SOUPS 1462 WITH SCORE 1469.326
AT ITER 5572 NEW BEST:: SOT 12344 SOS 7318 HAS SOPS 6822 HAS SOUS 1616 HAS SOUPS 1462 WITH SCORE 1469.318
AT ITER 5602 NEW BEST:: SOT 12344 SOS 7312 HAS SOPS 6820 HAS SOUS 1614 HAS SOUPS 1461 WITH SCORE 1468.312
AT ITER 5734 NEW BEST:: SOT 12344 SOS 7326 HAS SOPS 6814 HAS SOUS 1621 HAS SOUPS 1458 WITH SCORE 1465.326
AT ITER 5782 NEW BEST:: SOT 12362 SOS 7344 HAS SOPS 6832 HAS SOUS 1620 HAS SOUPS 1457 WITH SCORE 1464.344
AT ITER 5804 NEW BEST:: SOT 12358 SOS 7340 HAS SOPS 6828 HAS SOUS 1620 HAS SOUPS 1457 WITH SCORE 1464.34
AT ITER 5974 NEW BEST:: SOT 12356 SOS 7338 HAS SOPS 6826 HAS SOUS 1618 HAS SOUPS 1455 WITH SCORE 1462.338
AT ITER 6101 NEW BEST:: SOT 12354 SOS 7336 HAS SOPS 6824 HAS SOUS 1618 HAS SOUPS 1455 WITH SCORE 1462.336
AT ITER 6283 NEW BEST:: SOT 12352 SOS 7334 HAS SOPS 6822 HAS SOUS 1615 HAS SOUPS 1452 WITH SCORE 1459.334
AT ITER 6292 NEW BEST:: SOT 12348 SOS 7330 HAS SOPS 6818 HAS SOUS 1615 HAS SOUPS 1452 WITH SCORE 1459.33
AT ITER 6586 NEW BEST:: SOT 12362 SOS 7344 HAS SOPS 6832 HAS SOUS 1611 HAS SOUPS 1448 WITH SCORE 1455.344
AT ITER 6713 NEW BEST:: SOT 12362 SOS 7342 HAS SOPS 6832 HAS SOUS 1611 HAS SOUPS 1448 WITH SCORE 1455.342
AT ITER 6896 NEW BEST:: SOT 12356 SOS 7336 HAS SOPS 6826 HAS SOUS 1610 HAS SOUPS 1447 WITH SCORE 1454.336
AT ITER 6965 NEW BEST:: SOT 12358 SOS 7338 HAS SOPS 6828 HAS SOUS 1609 HAS SOUPS 1446 WITH SCORE 1453.338
AT ITER 7025 NEW BEST:: SOT 12358 SOS 7334 HAS SOPS 6824 HAS SOUS 1607 HAS SOUPS 1444 WITH SCORE 1451.334
AT ITER 7052 NEW BEST:: SOT 12350 SOS 7326 HAS SOPS 6816 HAS SOUS 1604 HAS SOUPS 1441 WITH SCORE 1448.326
AT ITER 7239 NEW BEST:: SOT 12348 SOS 7324 HAS SOPS 6814 HAS SOUS 1602 HAS SOUPS 1439 WITH SCORE 1446.324
AT ITER 7281 NEW BEST:: SOT 12346 SOS 7322 HAS SOPS 6812 HAS SOUS 1601 HAS SOUPS 1438 WITH SCORE 1445.322
AT ITER 7291 NEW BEST:: SOT 12354 SOS 7330 HAS SOPS 6820 HAS SOUS 1598 HAS SOUPS 1435 WITH SCORE 1442.33
AT ITER 7421 NEW BEST:: SOT 12358 SOS 7332 HAS SOPS 6822 HAS SOUS 1597 HAS SOUPS 1434 WITH SCORE 1441.332
AT ITER 7463 NEW BEST:: SOT 12358 SOS 7326 HAS SOPS 6820 HAS SOUS 1595 HAS SOUPS 1433 WITH SCORE 1440.326
AT ITER 7475 NEW BEST:: SOT 12356 SOS 7324 HAS SOPS 6818 HAS SOUS 1594 HAS SOUPS 1432 WITH SCORE 1439.324
AT ITER 7505 NEW BEST:: SOT 12362 SOS 7328 HAS SOPS 6822 HAS SOUS 1593 HAS SOUPS 1431 WITH SCORE 1438.328
AT ITER 7531 NEW BEST:: SOT 12356 SOS 7322 HAS SOPS 6816 HAS SOUS 1587 HAS SOUPS 1425 WITH SCORE 1432.322
AT ITER 7600 NEW BEST:: SOT 12356 SOS 7318 HAS SOPS 6814 HAS SOUS 1585 HAS SOUPS 1424 WITH SCORE 1431.318
AT ITER 7612 NEW BEST:: SOT 12372 SOS 7334 HAS SOPS 6830 HAS SOUS 1577 HAS SOUPS 1416 WITH SCORE 1423.334
AT ITER 7641 NEW BEST:: SOT 12371 SOS 7320 HAS SOPS 6816 HAS SOUS 1577 HAS SOUPS 1416 WITH SCORE 1423.32
AT ITER 7980 NEW BEST:: SOT 12373 SOS 7322 HAS SOPS 6818 HAS SOUS 1576 HAS SOUPS 1415 WITH SCORE 1422.322
AT ITER 8145 NEW BEST:: SOT 12373 SOS 7322 HAS SOPS 6816 HAS SOUS 1576 HAS SOUPS 1414 WITH SCORE 1421.322
AT ITER 8530 NEW BEST:: SOT 12373 SOS 7331 HAS SOPS 6825 HAS SOUS 1573 HAS SOUPS 1411 WITH SCORE 1418.331
AT ITER 8537 NEW BEST:: SOT 12371 SOS 7329 HAS SOPS 6823 HAS SOUS 1569 HAS SOUPS 1407 WITH SCORE 1414.329
AT ITER 8568 NEW BEST:: SOT 12371 SOS 7326 HAS SOPS 6820 HAS SOUS 1569 HAS SOUPS 1407 WITH SCORE 1414.326
AT ITER 8651 NEW BEST:: SOT 12369 SOS 7324 HAS SOPS 6818 HAS SOUS 1567 HAS SOUPS 1405 WITH SCORE 1412.324
AT ITER 8735 NEW BEST:: SOT 12353 SOS 7308 HAS SOPS 6802 HAS SOUS 1567 HAS SOUPS 1405 WITH SCORE 1412.308
AT ITER 8792 NEW BEST:: SOT 12345 SOS 7300 HAS SOPS 6794 HAS SOUS 1566 HAS SOUPS 1404 WITH SCORE 1411.3
AT ITER 8855 NEW BEST:: SOT 12341 SOS 7296 HAS SOPS 6790 HAS SOUS 1563 HAS SOUPS 1401 WITH SCORE 1408.296
AT ITER 8944 NEW BEST:: SOT 12341 SOS 7294 HAS SOPS 6790 HAS SOUS 1563 HAS SOUPS 1401 WITH SCORE 1408.294
AT ITER 8955 NEW BEST:: SOT 12341 SOS 7304 HAS SOPS 6788 HAS SOUS 1565 HAS SOUPS 1400 WITH SCORE 1407.304
AT ITER 9110 NEW BEST:: SOT 12345 SOS 7308 HAS SOPS 6792 HAS SOUS 1563 HAS SOUPS 1398 WITH SCORE 1405.308
AT ITER 9133 NEW BEST:: SOT 12343 SOS 7306 HAS SOPS 6790 HAS SOUS 1561 HAS SOUPS 1396 WITH SCORE 1403.306
AT ITER 9406 NEW BEST:: SOT 12343 SOS 7300 HAS SOPS 6788 HAS SOUS 1559 HAS SOUPS 1395 WITH SCORE 1402.3
AT ITER 9551 NEW BEST:: SOT 12357 SOS 7192 HAS SOPS 6652 HAS SOUS 1565 HAS SOUPS 1394 WITH SCORE 1401.192
AT ITER 9799 NEW BEST:: SOT 12355 SOS 7190 HAS SOPS 6650 HAS SOUS 1563 HAS SOUPS 1392 WITH SCORE 1399.19
AT ITER 9913 NEW BEST:: SOT 12353 SOS 7188 HAS SOPS 6648 HAS SOUS 1563 HAS SOUPS 1392 WITH SCORE 1399.188
AT ITER 9993 NEW BEST:: SOT 12351 SOS 7186 HAS SOPS 6646 HAS SOUS 1563 HAS SOUPS 1392 WITH SCORE 1399.186

BK_STOP 1679920593323

--------------------
content from stderr:

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 368 Killed ${SMART}/smart ${INPUT_SM}

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="SemanticWebServices-PT-S064P15"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is SemanticWebServices-PT-S064P15, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r355-smll-167891803400368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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