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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 3.8K Mar 30 19:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 19:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 09:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 09:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 05:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 05:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 00:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 27 00:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 1.5M 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 DLCround-PT-10b-CTLFireability-00
FORMULA_NAME DLCround-PT-10b-CTLFireability-01
FORMULA_NAME DLCround-PT-10b-CTLFireability-02
FORMULA_NAME DLCround-PT-10b-CTLFireability-03
FORMULA_NAME DLCround-PT-10b-CTLFireability-04
FORMULA_NAME DLCround-PT-10b-CTLFireability-05
FORMULA_NAME DLCround-PT-10b-CTLFireability-06
FORMULA_NAME DLCround-PT-10b-CTLFireability-07
FORMULA_NAME DLCround-PT-10b-CTLFireability-08
FORMULA_NAME DLCround-PT-10b-CTLFireability-09
FORMULA_NAME DLCround-PT-10b-CTLFireability-10
FORMULA_NAME DLCround-PT-10b-CTLFireability-11
FORMULA_NAME DLCround-PT-10b-CTLFireability-12
FORMULA_NAME DLCround-PT-10b-CTLFireability-13
FORMULA_NAME DLCround-PT-10b-CTLFireability-14
FORMULA_NAME DLCround-PT-10b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589130015373

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 10b
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: 3924 places, 6192 transitions, 17304 arcs.
AT ITER 0 NEW BEST:: SOT 15574572 SOS 3699258 HAS SOPS 3699258 HAS SOUS 2072207 HAS SOUPS 2072207 WITH SCORE 2075906.258
AT ITER 15 NEW BEST:: SOT 15574572 SOS 3699257 HAS SOPS 3699257 HAS SOUS 2071839 HAS SOUPS 2071839 WITH SCORE 2075538.257
AT ITER 23 NEW BEST:: SOT 15574572 SOS 3699044 HAS SOPS 3699044 HAS SOUS 2071626 HAS SOUPS 2071626 WITH SCORE 2075325.044
AT ITER 37 NEW BEST:: SOT 15574397 SOS 3698344 HAS SOPS 3698344 HAS SOUS 2071276 HAS SOUPS 2071276 WITH SCORE 2074974.344
AT ITER 39 NEW BEST:: SOT 15573699 SOS 3697685 HAS SOPS 3697685 HAS SOUS 2070617 HAS SOUPS 2070617 WITH SCORE 2074314.685
AT ITER 41 NEW BEST:: SOT 15572914 SOS 3696960 HAS SOPS 3696960 HAS SOUS 2069892 HAS SOUPS 2069892 WITH SCORE 2073588.96
AT ITER 62 NEW BEST:: SOT 15572633 SOS 3696398 HAS SOPS 3696398 HAS SOUS 2068905 HAS SOUPS 2068905 WITH SCORE 2072601.398
AT ITER 69 NEW BEST:: SOT 15571831 SOS 3695586 HAS SOPS 3695586 HAS SOUS 2068102 HAS SOUPS 2068102 WITH SCORE 2071797.586
AT ITER 95 NEW BEST:: SOT 15571831 SOS 3695586 HAS SOPS 3695586 HAS SOUS 2067956 HAS SOUPS 2067956 WITH SCORE 2071651.586
AT ITER 110 NEW BEST:: SOT 15571830 SOS 3695584 HAS SOPS 3695584 HAS SOUS 2067954 HAS SOUPS 2067954 WITH SCORE 2071649.584
AT ITER 144 NEW BEST:: SOT 15570507 SOS 3694430 HAS SOPS 3694430 HAS SOUS 2066631 HAS SOUPS 2066631 WITH SCORE 2070325.43
AT ITER 156 NEW BEST:: SOT 15570020 SOS 3694420 HAS SOPS 3694420 HAS SOUS 2066484 HAS SOUPS 2066484 WITH SCORE 2070178.42
AT ITER 161 NEW BEST:: SOT 15569384 SOS 3693774 HAS SOPS 3693774 HAS SOUS 2065847 HAS SOUPS 2065847 WITH SCORE 2069540.774
AT ITER 171 NEW BEST:: SOT 15569051 SOS 3693477 HAS SOPS 3693477 HAS SOUS 2065550 HAS SOUPS 2065550 WITH SCORE 2069243.477
AT ITER 177 NEW BEST:: SOT 15567610 SOS 3692011 HAS SOPS 3692011 HAS SOUS 2065549 HAS SOUPS 2065549 WITH SCORE 2069241.011
AT ITER 181 NEW BEST:: SOT 15566396 SOS 3690797 HAS SOPS 3690797 HAS SOUS 2064335 HAS SOUPS 2064335 WITH SCORE 2068025.797
AT ITER 222 NEW BEST:: SOT 15566890 SOS 3688377 HAS SOPS 3688377 HAS SOUS 2063180 HAS SOUPS 2063180 WITH SCORE 2066868.377
AT ITER 226 NEW BEST:: SOT 15566888 SOS 3688248 HAS SOPS 3688248 HAS SOUS 2063051 HAS SOUPS 2063051 WITH SCORE 2066739.248
AT ITER 234 NEW BEST:: SOT 15566724 SOS 3688166 HAS SOPS 3688166 HAS SOUS 2062969 HAS SOUPS 2062969 WITH SCORE 2066657.166
AT ITER 255 NEW BEST:: SOT 15566551 SOS 3687820 HAS SOPS 3687820 HAS SOUS 2062795 HAS SOUPS 2062795 WITH SCORE 2066482.82
AT ITER 306 NEW BEST:: SOT 15566214 SOS 3687146 HAS SOPS 3687146 HAS SOUS 2062121 HAS SOUPS 2062121 WITH SCORE 2065808.146
AT ITER 315 NEW BEST:: SOT 15566162 SOS 3687042 HAS SOPS 3687042 HAS SOUS 2062017 HAS SOUPS 2062017 WITH SCORE 2065704.042
AT ITER 336 NEW BEST:: SOT 15566162 SOS 3686670 HAS SOPS 3686670 HAS SOUS 2061645 HAS SOUPS 2061645 WITH SCORE 2065331.67
AT ITER 343 NEW BEST:: SOT 15565618 SOS 3686899 HAS SOPS 3686899 HAS SOUS 2061540 HAS SOUPS 2061540 WITH SCORE 2065226.899
AT ITER 347 NEW BEST:: SOT 15565382 SOS 3686427 HAS SOPS 3686427 HAS SOUS 2061068 HAS SOUPS 2061068 WITH SCORE 2064754.427
AT ITER 348 NEW BEST:: SOT 15564568 SOS 3685740 HAS SOPS 3685740 HAS SOUS 2060381 HAS SOUPS 2060381 WITH SCORE 2064066.74
AT ITER 349 NEW BEST:: SOT 15564325 SOS 3685406 HAS SOPS 3685406 HAS SOUS 2060026 HAS SOUPS 2060026 WITH SCORE 2063711.406
AT ITER 350 NEW BEST:: SOT 15563722 SOS 3678738 HAS SOPS 3678738 HAS SOUS 2059073 HAS SOUPS 2059073 WITH SCORE 2062751.738
AT ITER 382 NEW BEST:: SOT 15562846 SOS 3677862 HAS SOPS 3677862 HAS SOUS 2058197 HAS SOUPS 2058197 WITH SCORE 2061874.862
AT ITER 403 NEW BEST:: SOT 15562923 SOS 3678016 HAS SOPS 3678016 HAS SOUS 2057751 HAS SOUPS 2057751 WITH SCORE 2061429.016
AT ITER 420 NEW BEST:: SOT 15562125 SOS 3677342 HAS SOPS 3677342 HAS SOUS 2057077 HAS SOUPS 2057077 WITH SCORE 2060754.342
AT ITER 448 NEW BEST:: SOT 15561905 SOS 3677558 HAS SOPS 3677558 HAS SOUS 2056856 HAS SOUPS 2056856 WITH SCORE 2060533.558
AT ITER 451 NEW BEST:: SOT 15561764 SOS 3677830 HAS SOPS 3677830 HAS SOUS 2056855 HAS SOUPS 2056855 WITH SCORE 2060532.83
AT ITER 455 NEW BEST:: SOT 15560952 SOS 3677110 HAS SOPS 3677110 HAS SOUS 2056135 HAS SOUPS 2056135 WITH SCORE 2059812.11
AT ITER 469 NEW BEST:: SOT 15560227 SOS 3682185 HAS SOPS 3682185 HAS SOUS 2055410 HAS SOUPS 2055410 WITH SCORE 2059092.185
AT ITER 476 NEW BEST:: SOT 15560416 SOS 3684592 HAS SOPS 3684592 HAS SOUS 2054771 HAS SOUPS 2054771 WITH SCORE 2058455.592
AT ITER 479 NEW BEST:: SOT 15560416 SOS 3684900 HAS SOPS 3684900 HAS SOUS 2054769 HAS SOUPS 2054769 WITH SCORE 2058453.9
AT ITER 520 NEW BEST:: SOT 15560363 SOS 3684847 HAS SOPS 3684847 HAS SOUS 2054716 HAS SOUPS 2054716 WITH SCORE 2058400.847
AT ITER 523 NEW BEST:: SOT 15560237 SOS 3684721 HAS SOPS 3684721 HAS SOUS 2054590 HAS SOUPS 2054590 WITH SCORE 2058274.721
AT ITER 536 NEW BEST:: SOT 15560379 SOS 3685005 HAS SOPS 3685005 HAS SOUS 2053633 HAS SOUPS 2053633 WITH SCORE 2057318.005
AT ITER 547 NEW BEST:: SOT 15559969 SOS 3684868 HAS SOPS 3684868 HAS SOUS 2053496 HAS SOUPS 2053496 WITH SCORE 2057180.868
AT ITER 597 NEW BEST:: SOT 15559900 SOS 3685448 HAS SOPS 3685448 HAS SOUS 2053344 HAS SOUPS 2053344 WITH SCORE 2057029.448
AT ITER 623 NEW BEST:: SOT 15559900 SOS 3684398 HAS SOPS 3684398 HAS SOUS 2053344 HAS SOUPS 2053344 WITH SCORE 2057028.398
AT ITER 665 NEW BEST:: SOT 15559899 SOS 3684396 HAS SOPS 3684396 HAS SOUS 2053342 HAS SOUPS 2053342 WITH SCORE 2057026.396
AT ITER 730 NEW BEST:: SOT 15560027 SOS 3684648 HAS SOPS 3684648 HAS SOUS 2053341 HAS SOUPS 2053341 WITH SCORE 2057025.648
AT ITER 732 NEW BEST:: SOT 15560168 SOS 3688050 HAS SOPS 3688050 HAS SOUS 2053034 HAS SOUPS 2053034 WITH SCORE 2056722.05
AT ITER 747 NEW BEST:: SOT 15560038 SOS 3688047 HAS SOPS 3688047 HAS SOUS 2053033 HAS SOUPS 2053033 WITH SCORE 2056721.047
AT ITER 752 NEW BEST:: SOT 15559626 SOS 3686765 HAS SOPS 3686765 HAS SOUS 2052189 HAS SOUPS 2052189 WITH SCORE 2055875.765
AT ITER 785 NEW BEST:: SOT 15559141 SOS 3686371 HAS SOPS 3686371 HAS SOUS 2051704 HAS SOUPS 2051704 WITH SCORE 2055390.371
AT ITER 830 NEW BEST:: SOT 15558486 SOS 3686913 HAS SOPS 3686913 HAS SOUS 2051702 HAS SOUPS 2051702 WITH SCORE 2055388.913
AT ITER 836 NEW BEST:: SOT 15557977 SOS 3686903 HAS SOPS 3686903 HAS SOUS 2051313 HAS SOUPS 2051313 WITH SCORE 2054999.903
AT ITER 846 NEW BEST:: SOT 15557977 SOS 3685763 HAS SOPS 3685763 HAS SOUS 2051313 HAS SOUPS 2051313 WITH SCORE 2054998.763
AT ITER 876 NEW BEST:: SOT 15557976 SOS 3686786 HAS SOPS 3686786 HAS SOUS 2051310 HAS SOUPS 2051310 WITH SCORE 2054996.786
AT ITER 894 NEW BEST:: SOT 15555865 SOS 3684680 HAS SOPS 3684680 HAS SOUS 2049204 HAS SOUPS 2049204 WITH SCORE 2052888.68
AT ITER 920 NEW BEST:: SOT 15554895 SOS 3684195 HAS SOPS 3684195 HAS SOUS 2048719 HAS SOUPS 2048719 WITH SCORE 2052403.195
AT ITER 925 NEW BEST:: SOT 15554112 SOS 3685606 HAS SOPS 3685606 HAS SOUS 2048657 HAS SOUPS 2048657 WITH SCORE 2052342.606
AT ITER 927 NEW BEST:: SOT 15554111 SOS 3685604 HAS SOPS 3685604 HAS SOUS 2048655 HAS SOUPS 2048655 WITH SCORE 2052340.604
AT ITER 946 NEW BEST:: SOT 15554111 SOS 3686271 HAS SOPS 3686271 HAS SOUS 2048654 HAS SOUPS 2048654 WITH SCORE 2052340.271
AT ITER 953 NEW BEST:: SOT 15553461 SOS 3685207 HAS SOPS 3685207 HAS SOUS 2047590 HAS SOUPS 2047590 WITH SCORE 2051275.207
AT ITER 956 NEW BEST:: SOT 15553273 SOS 3685050 HAS SOPS 3685050 HAS SOUS 2047433 HAS SOUPS 2047433 WITH SCORE 2051118.05
AT ITER 968 NEW BEST:: SOT 15553273 SOS 3686219 HAS SOPS 3686219 HAS SOUS 2047041 HAS SOUPS 2047041 WITH SCORE 2050727.219
AT ITER 982 NEW BEST:: SOT 15553340 SOS 3685944 HAS SOPS 3685944 HAS SOUS 2046766 HAS SOUPS 2046766 WITH SCORE 2050451.944
AT ITER 990 NEW BEST:: SOT 15552229 SOS 3684833 HAS SOPS 3684833 HAS SOUS 2045655 HAS SOUPS 2045655 WITH SCORE 2049339.833
AT ITER 1004 NEW BEST:: SOT 15551665 SOS 3684312 HAS SOPS 3684312 HAS SOUS 2045091 HAS SOUPS 2045091 WITH SCORE 2048775.312
AT ITER 1012 NEW BEST:: SOT 15551665 SOS 3684312 HAS SOPS 3684312 HAS SOUS 2045090 HAS SOUPS 2045090 WITH SCORE 2048774.312
AT ITER 1032 NEW BEST:: SOT 15551122 SOS 3684312 HAS SOPS 3684312 HAS SOUS 2044349 HAS SOUPS 2044349 WITH SCORE 2048033.312
AT ITER 1077 NEW BEST:: SOT 15550097 SOS 3683287 HAS SOPS 3683287 HAS SOUS 2043324 HAS SOUPS 2043324 WITH SCORE 2047007.287
AT ITER 1087 NEW BEST:: SOT 15549847 SOS 3682787 HAS SOPS 3682787 HAS SOUS 2042824 HAS SOUPS 2042824 WITH SCORE 2046506.787
AT ITER 1132 NEW BEST:: SOT 15549846 SOS 3682785 HAS SOPS 3682785 HAS SOUS 2042822 HAS SOUPS 2042822 WITH SCORE 2046504.785
AT ITER 1140 NEW BEST:: SOT 15550028 SOS 3688737 HAS SOPS 3688737 HAS SOUS 2042563 HAS SOUPS 2042563 WITH SCORE 2046251.737
AT ITER 1161 NEW BEST:: SOT 15550028 SOS 3688737 HAS SOPS 3688737 HAS SOUS 2042562 HAS SOUPS 2042562 WITH SCORE 2046250.737
AT ITER 1174 NEW BEST:: SOT 15549957 SOS 3688736 HAS SOPS 3688736 HAS SOUS 2042561 HAS SOUPS 2042561 WITH SCORE 2046249.736
AT ITER 1185 NEW BEST:: SOT 15548597 SOS 3674966 HAS SOPS 3674966 HAS SOUS 2038781 HAS SOUPS 2038781 WITH SCORE 2042455.966
AT ITER 1194 NEW BEST:: SOT 15548437 SOS 3674166 HAS SOPS 3674166 HAS SOUS 2038301 HAS SOUPS 2038301 WITH SCORE 2041975.166
AT ITER 1217 NEW BEST:: SOT 15548437 SOS 3674134 HAS SOPS 3674134 HAS SOUS 2038269 HAS SOUPS 2038269 WITH SCORE 2041943.134
AT ITER 1225 NEW BEST:: SOT 15547605 SOS 3673108 HAS SOPS 3673108 HAS SOUS 2037243 HAS SOUPS 2037243 WITH SCORE 2040916.108
AT ITER 1240 NEW BEST:: SOT 15547605 SOS 3673108 HAS SOPS 3673108 HAS SOUS 2037185 HAS SOUPS 2037185 WITH SCORE 2040858.108
AT ITER 1267 NEW BEST:: SOT 15547605 SOS 3675346 HAS SOPS 3675346 HAS SOUS 2037071 HAS SOUPS 2037071 WITH SCORE 2040746.346
AT ITER 1271 NEW BEST:: SOT 15546281 SOS 3674306 HAS SOPS 3674306 HAS SOUS 2036031 HAS SOUPS 2036031 WITH SCORE 2039705.306
AT ITER 1283 NEW BEST:: SOT 15546281 SOS 3674306 HAS SOPS 3674306 HAS SOUS 2036030 HAS SOUPS 2036030 WITH SCORE 2039704.306
AT ITER 1295 NEW BEST:: SOT 15546189 SOS 3674228 HAS SOPS 3674228 HAS SOUS 2035952 HAS SOUPS 2035952 WITH SCORE 2039626.228
AT ITER 1309 NEW BEST:: SOT 15546189 SOS 3674224 HAS SOPS 3674224 HAS SOUS 2035951 HAS SOUPS 2035951 WITH SCORE 2039625.224
AT ITER 1348 NEW BEST:: SOT 15544863 SOS 3672235 HAS SOPS 3672235 HAS SOUS 2033962 HAS SOUPS 2033962 WITH SCORE 2037634.235
AT ITER 1426 NEW BEST:: SOT 15544863 SOS 3673344 HAS SOPS 3673344 HAS SOUS 2033405 HAS SOUPS 2033405 WITH SCORE 2037078.344
AT ITER 1457 NEW BEST:: SOT 15544821 SOS 3673380 HAS SOPS 3673380 HAS SOUS 2033361 HAS SOUPS 2033361 WITH SCORE 2037034.38
AT ITER 1471 NEW BEST:: SOT 15544533 SOS 3672513 HAS SOPS 3672513 HAS SOUS 2032784 HAS SOUPS 2032784 WITH SCORE 2036456.513
AT ITER 1477 NEW BEST:: SOT 15544263 SOS 3672783 HAS SOPS 3672783 HAS SOUS 2032514 HAS SOUPS 2032514 WITH SCORE 2036186.783
AT ITER 1486 NEW BEST:: SOT 15543916 SOS 3672282 HAS SOPS 3672282 HAS SOUS 2031989 HAS SOUPS 2031989 WITH SCORE 2035661.282
AT ITER 1487 NEW BEST:: SOT 15543603 SOS 3671656 HAS SOPS 3671656 HAS SOUS 2031675 HAS SOUPS 2031675 WITH SCORE 2035346.656
AT ITER 1488 NEW BEST:: SOT 15541166 SOS 3674086 HAS SOPS 3674086 HAS SOUS 2029653 HAS SOUPS 2029653 WITH SCORE 2033327.086
AT ITER 1496 NEW BEST:: SOT 15540533 SOS 3673453 HAS SOPS 3673453 HAS SOUS 2029020 HAS SOUPS 2029020 WITH SCORE 2032693.453
AT ITER 1511 NEW BEST:: SOT 15540379 SOS 3673373 HAS SOPS 3673373 HAS SOUS 2028895 HAS SOUPS 2028895 WITH SCORE 2032568.373
AT ITER 1573 NEW BEST:: SOT 15539666 SOS 3665530 HAS SOPS 3665530 HAS SOUS 2027469 HAS SOUPS 2027469 WITH SCORE 2031134.53
AT ITER 1580 NEW BEST:: SOT 15538964 SOS 3665214 HAS SOPS 3665214 HAS SOUS 2026766 HAS SOUPS 2026766 WITH SCORE 2030431.214
AT ITER 1588 NEW BEST:: SOT 15538964 SOS 3666212 HAS SOPS 3666212 HAS SOUS 2026765 HAS SOUPS 2026765 WITH SCORE 2030431.212
AT ITER 1595 NEW BEST:: SOT 15538964 SOS 3668288 HAS SOPS 3668288 HAS SOUS 2026587 HAS SOUPS 2026587 WITH SCORE 2030255.288
AT ITER 1627 NEW BEST:: SOT 15538454 SOS 3668278 HAS SOPS 3668278 HAS SOUS 2026225 HAS SOUPS 2026225 WITH SCORE 2029893.278
AT ITER 1649 NEW BEST:: SOT 15537844 SOS 3667668 HAS SOPS 3667668 HAS SOUS 2025611 HAS SOUPS 2025611 WITH SCORE 2029278.668
AT ITER 1719 NEW BEST:: SOT 15537817 SOS 3667614 HAS SOPS 3667614 HAS SOUS 2025557 HAS SOUPS 2025557 WITH SCORE 2029224.614
AT ITER 1720 NEW BEST:: SOT 15537201 SOS 3660838 HAS SOPS 3660838 HAS SOUS 2024325 HAS SOUPS 2024325 WITH SCORE 2027985.838
AT ITER 1740 NEW BEST:: SOT 15536276 SOS 3660838 HAS SOPS 3660838 HAS SOUS 2023006 HAS SOUPS 2023006 WITH SCORE 2026666.838
AT ITER 1770 NEW BEST:: SOT 15535815 SOS 3661295 HAS SOPS 3661295 HAS SOUS 2022083 HAS SOUPS 2022083 WITH SCORE 2025744.295
AT ITER 1775 NEW BEST:: SOT 15534564 SOS 3659967 HAS SOPS 3659967 HAS SOUS 2020147 HAS SOUPS 2020147 WITH SCORE 2023806.967
AT ITER 1804 NEW BEST:: SOT 15534447 SOS 3659733 HAS SOPS 3659733 HAS SOUS 2020030 HAS SOUPS 2020030 WITH SCORE 2023689.733
AT ITER 1813 NEW BEST:: SOT 15534270 SOS 3659379 HAS SOPS 3659379 HAS SOUS 2019676 HAS SOUPS 2019676 WITH SCORE 2023335.379
AT ITER 1828 NEW BEST:: SOT 15534270 SOS 3659325 HAS SOPS 3659325 HAS SOUS 2019676 HAS SOUPS 2019676 WITH SCORE 2023335.325
AT ITER 1840 NEW BEST:: SOT 15534479 SOS 3665565 HAS SOPS 3665565 HAS SOUS 2019445 HAS SOUPS 2019445 WITH SCORE 2023110.565
AT ITER 1841 NEW BEST:: SOT 15534479 SOS 3664446 HAS SOPS 3664446 HAS SOUS 2019445 HAS SOUPS 2019445 WITH SCORE 2023109.446
AT ITER 1843 NEW BEST:: SOT 15534479 SOS 3664446 HAS SOPS 3664446 HAS SOUS 2019421 HAS SOUPS 2019421 WITH SCORE 2023085.446
AT ITER 1845 NEW BEST:: SOT 15534371 SOS 3664230 HAS SOPS 3664230 HAS SOUS 2019048 HAS SOUPS 2019048 WITH SCORE 2022712.23
AT ITER 1864 NEW BEST:: SOT 15534371 SOS 3662781 HAS SOPS 3662781 HAS SOUS 2019047 HAS SOUPS 2019047 WITH SCORE 2022709.781
AT ITER 1908 NEW BEST:: SOT 15534371 SOS 3663273 HAS SOPS 3663273 HAS SOUS 2019046 HAS SOUPS 2019046 WITH SCORE 2022709.273
AT ITER 1932 NEW BEST:: SOT 15534328 SOS 3663144 HAS SOPS 3663144 HAS SOUS 2019003 HAS SOUPS 2019003 WITH SCORE 2022666.144
AT ITER 1933 NEW BEST:: SOT 15534315 SOS 3663118 HAS SOPS 3663118 HAS SOUS 2018782 HAS SOUPS 2018782 WITH SCORE 2022445.118
AT ITER 1972 NEW BEST:: SOT 15533807 SOS 3662639 HAS SOPS 3662639 HAS SOUS 2018306 HAS SOUPS 2018306 WITH SCORE 2021968.639
AT ITER 1981 NEW BEST:: SOT 15533218 SOS 3661461 HAS SOPS 3661461 HAS SOUS 2017128 HAS SOUPS 2017128 WITH SCORE 2020789.461
AT ITER 2002 NEW BEST:: SOT 15533218 SOS 3661318 HAS SOPS 3661318 HAS SOUS 2016980 HAS SOUPS 2016980 WITH SCORE 2020641.318
AT ITER 2004 NEW BEST:: SOT 15532982 SOS 3660138 HAS SOPS 3660138 HAS SOUS 2016744 HAS SOUPS 2016744 WITH SCORE 2020404.138
AT ITER 2007 NEW BEST:: SOT 15533307 SOS 3659874 HAS SOPS 3659874 HAS SOUS 2016480 HAS SOUPS 2016480 WITH SCORE 2020139.874
AT ITER 2010 NEW BEST:: SOT 15533186 SOS 3659753 HAS SOPS 3659753 HAS SOUS 2016359 HAS SOUPS 2016359 WITH SCORE 2020018.753
AT ITER 2013 NEW BEST:: SOT 15533186 SOS 3660610 HAS SOPS 3660610 HAS SOUS 2016357 HAS SOUPS 2016357 WITH SCORE 2020017.61
AT ITER 2030 NEW BEST:: SOT 15532755 SOS 3658446 HAS SOPS 3658446 HAS SOUS 2015791 HAS SOUPS 2015791 WITH SCORE 2019449.446
AT ITER 2045 NEW BEST:: SOT 15532341 SOS 3658860 HAS SOPS 3658860 HAS SOUS 2015213 HAS SOUPS 2015213 WITH SCORE 2018871.86
AT ITER 2051 NEW BEST:: SOT 15532696 SOS 3657551 HAS SOPS 3657551 HAS SOUS 2015094 HAS SOUPS 2015094 WITH SCORE 2018751.551
AT ITER 2054 NEW BEST:: SOT 15532681 SOS 3657521 HAS SOPS 3657521 HAS SOUS 2015064 HAS SOUPS 2015064 WITH SCORE 2018721.521
AT ITER 2093 NEW BEST:: SOT 15531348 SOS 3655600 HAS SOPS 3655600 HAS SOUS 2013062 HAS SOUPS 2013062 WITH SCORE 2016717.6
AT ITER 2122 NEW BEST:: SOT 15530712 SOS 3653692 HAS SOPS 3653692 HAS SOUS 2012108 HAS SOUPS 2012108 WITH SCORE 2015761.692
AT ITER 2133 NEW BEST:: SOT 15530712 SOS 3654073 HAS SOPS 3654073 HAS SOUS 2012107 HAS SOUPS 2012107 WITH SCORE 2015761.073
AT ITER 2135 NEW BEST:: SOT 15530229 SOS 3654556 HAS SOPS 3654556 HAS SOUS 2011894 HAS SOUPS 2011894 WITH SCORE 2015548.556
AT ITER 2157 NEW BEST:: SOT 15529990 SOS 3655034 HAS SOPS 3655034 HAS SOUS 2011724 HAS SOUPS 2011724 WITH SCORE 2015379.034
AT ITER 2175 NEW BEST:: SOT 15529622 SOS 3655033 HAS SOPS 3655033 HAS SOUS 2011723 HAS SOUPS 2011723 WITH SCORE 2015378.033
AT ITER 2178 NEW BEST:: SOT 15527815 SOS 3652673 HAS SOPS 3652673 HAS SOUS 2009315 HAS SOUPS 2009315 WITH SCORE 2012967.673
AT ITER 2190 NEW BEST:: SOT 15527558 SOS 3652416 HAS SOPS 3652416 HAS SOUS 2009058 HAS SOUPS 2009058 WITH SCORE 2012710.416
AT ITER 2234 NEW BEST:: SOT 15526870 SOS 3651811 HAS SOPS 3651811 HAS SOUS 2008453 HAS SOUPS 2008453 WITH SCORE 2012104.811
AT ITER 2252 NEW BEST:: SOT 15527232 SOS 3651950 HAS SOPS 3651950 HAS SOUS 2008230 HAS SOUPS 2008230 WITH SCORE 2011881.95
AT ITER 2270 NEW BEST:: SOT 15526760 SOS 3652266 HAS SOPS 3652266 HAS SOUS 2008178 HAS SOUPS 2008178 WITH SCORE 2011830.266
AT ITER 2321 NEW BEST:: SOT 15526760 SOS 3651942 HAS SOPS 3651942 HAS SOUS 2008016 HAS SOUPS 2008016 WITH SCORE 2011667.942
AT ITER 2322 NEW BEST:: SOT 15526083 SOS 3651264 HAS SOPS 3651264 HAS SOUS 2007338 HAS SOUPS 2007338 WITH SCORE 2010989.264
AT ITER 2330 NEW BEST:: SOT 15525756 SOS 3650814 HAS SOPS 3650814 HAS SOUS 2006970 HAS SOUPS 2006970 WITH SCORE 2010620.814
AT ITER 2336 NEW BEST:: SOT 15525756 SOS 3652127 HAS SOPS 3652127 HAS SOUS 2006530 HAS SOUPS 2006530 WITH SCORE 2010182.127
AT ITER 2361 NEW BEST:: SOT 15525672 SOS 3652291 HAS SOPS 3652291 HAS SOUS 2006529 HAS SOUPS 2006529 WITH SCORE 2010181.291
AT ITER 2362 NEW BEST:: SOT 15525672 SOS 3652017 HAS SOPS 3652017 HAS SOUS 2006529 HAS SOUPS 2006529 WITH SCORE 2010181.017
AT ITER 2378 NEW BEST:: SOT 15525632 SOS 3651937 HAS SOPS 3651937 HAS SOUS 2006475 HAS SOUPS 2006475 WITH SCORE 2010126.937
AT ITER 2387 NEW BEST:: SOT 15525543 SOS 3652745 HAS SOPS 3652745 HAS SOUS 2006385 HAS SOUPS 2006385 WITH SCORE 2010037.745
AT ITER 2415 NEW BEST:: SOT 15525422 SOS 3652729 HAS SOPS 3652729 HAS SOUS 2006369 HAS SOUPS 2006369 WITH SCORE 2010021.729
AT ITER 2424 NEW BEST:: SOT 15525388 SOS 3652661 HAS SOPS 3652661 HAS SOUS 2006241 HAS SOUPS 2006241 WITH SCORE 2009893.661
AT ITER 2428 NEW BEST:: SOT 15525388 SOS 3652651 HAS SOPS 3652651 HAS SOUS 2006122 HAS SOUPS 2006122 WITH SCORE 2009774.651
AT ITER 2490 NEW BEST:: SOT 15525150 SOS 3652175 HAS SOPS 3652175 HAS SOUS 2005663 HAS SOUPS 2005663 WITH SCORE 2009315.175
AT ITER 2503 NEW BEST:: SOT 15524547 SOS 3650510 HAS SOPS 3650510 HAS SOUS 2005108 HAS SOUPS 2005108 WITH SCORE 2008758.51
AT ITER 2504 NEW BEST:: SOT 15524541 SOS 3650498 HAS SOPS 3650498 HAS SOUS 2005102 HAS SOUPS 2005102 WITH SCORE 2008752.498
AT ITER 2530 NEW BEST:: SOT 15524243 SOS 3650796 HAS SOPS 3650796 HAS SOUS 2004804 HAS SOUPS 2004804 WITH SCORE 2008454.796
AT ITER 2545 NEW BEST:: SOT 15524243 SOS 3650796 HAS SOPS 3650796 HAS SOUS 2004538 HAS SOUPS 2004538 WITH SCORE 2008188.796
AT ITER 2550 NEW BEST:: SOT 15523875 SOS 3650773 HAS SOPS 3650773 HAS SOUS 2004515 HAS SOUPS 2004515 WITH SCORE 2008165.773
AT ITER 2553 NEW BEST:: SOT 15523874 SOS 3650771 HAS SOPS 3650771 HAS SOUS 2004513 HAS SOUPS 2004513 WITH SCORE 2008163.771
AT ITER 2561 NEW BEST:: SOT 15523874 SOS 3651281 HAS SOPS 3651281 HAS SOUS 2004512 HAS SOUPS 2004512 WITH SCORE 2008163.281
AT ITER 2566 NEW BEST:: SOT 15523781 SOS 3651059 HAS SOPS 3651059 HAS SOUS 2004290 HAS SOUPS 2004290 WITH SCORE 2007941.059
AT ITER 2587 NEW BEST:: SOT 15523721 SOS 3651021 HAS SOPS 3651021 HAS SOUS 2004252 HAS SOUPS 2004252 WITH SCORE 2007903.021
AT ITER 2591 NEW BEST:: SOT 15523721 SOS 3650127 HAS SOPS 3650127 HAS SOUS 2003954 HAS SOUPS 2003954 WITH SCORE 2007604.127
AT ITER 2601 NEW BEST:: SOT 15523721 SOS 3650883 HAS SOPS 3650883 HAS SOUS 2003576 HAS SOUPS 2003576 WITH SCORE 2007226.883
AT ITER 2604 NEW BEST:: SOT 15522862 SOS 3650046 HAS SOPS 3650046 HAS SOUS 2002717 HAS SOUPS 2002717 WITH SCORE 2006367.046
AT ITER 2616 NEW BEST:: SOT 15521226 SOS 3648410 HAS SOPS 3648410 HAS SOUS 2001081 HAS SOUPS 2001081 WITH SCORE 2004729.41
AT ITER 2635 NEW BEST:: SOT 15521188 SOS 3648448 HAS SOPS 3648448 HAS SOUS 2001043 HAS SOUPS 2001043 WITH SCORE 2004691.448
AT ITER 2641 NEW BEST:: SOT 15521174 SOS 3648420 HAS SOPS 3648420 HAS SOUS 2000680 HAS SOUPS 2000680 WITH SCORE 2004328.42
AT ITER 2649 NEW BEST:: SOT 15521174 SOS 3648138 HAS SOPS 3648138 HAS SOUS 2000680 HAS SOUPS 2000680 WITH SCORE 2004328.138
AT ITER 2663 NEW BEST:: SOT 15521132 SOS 3652116 HAS SOPS 3652116 HAS SOUS 2000410 HAS SOUPS 2000410 WITH SCORE 2004062.116
AT ITER 2745 NEW BEST:: SOT 15521014 SOS 3652155 HAS SOPS 3652155 HAS SOUS 2000240 HAS SOUPS 2000240 WITH SCORE 2003892.155
AT ITER 2769 NEW BEST:: SOT 15520933 SOS 3652074 HAS SOPS 3652074 HAS SOUS 2000159 HAS SOUPS 2000159 WITH SCORE 2003811.074
AT ITER 2792 NEW BEST:: SOT 15519968 SOS 3651109 HAS SOPS 3651109 HAS SOUS 1999194 HAS SOUPS 1999194 WITH SCORE 2002845.109
AT ITER 2805 NEW BEST:: SOT 15519726 SOS 3650625 HAS SOPS 3650625 HAS SOUS 1998710 HAS SOUPS 1998710 WITH SCORE 2002360.625
AT ITER 2808 NEW BEST:: SOT 15519387 SOS 3650840 HAS SOPS 3650840 HAS SOUS 1998586 HAS SOUPS 1998586 WITH SCORE 2002236.84
AT ITER 2811 NEW BEST:: SOT 15519387 SOS 3650839 HAS SOPS 3650839 HAS SOUS 1998586 HAS SOUPS 1998586 WITH SCORE 2002236.839
AT ITER 2837 NEW BEST:: SOT 15519762 SOS 3651589 HAS SOPS 3651589 HAS SOUS 1997750 HAS SOUPS 1997750 WITH SCORE 2001401.589
AT ITER 2843 NEW BEST:: SOT 15519467 SOS 3650704 HAS SOPS 3650704 HAS SOUS 1997455 HAS SOUPS 1997455 WITH SCORE 2001105.704
AT ITER 2875 NEW BEST:: SOT 15519466 SOS 3650702 HAS SOPS 3650702 HAS SOUS 1997453 HAS SOUPS 1997453 WITH SCORE 2001103.702
AT ITER 2892 NEW BEST:: SOT 15519228 SOS 3650464 HAS SOPS 3650464 HAS SOUS 1997402 HAS SOUPS 1997402 WITH SCORE 2001052.464
AT ITER 2911 NEW BEST:: SOT 15518318 SOS 3650009 HAS SOPS 3650009 HAS SOUS 1996947 HAS SOUPS 1996947 WITH SCORE 2000597.009
AT ITER 2937 NEW BEST:: SOT 15517598 SOS 3651805 HAS SOPS 3651805 HAS SOUS 1996226 HAS SOUPS 1996226 WITH SCORE 1999877.805
AT ITER 2947 NEW BEST:: SOT 15517577 SOS 3651826 HAS SOPS 3651826 HAS SOUS 1996205 HAS SOUPS 1996205 WITH SCORE 1999856.826
AT ITER 2959 NEW BEST:: SOT 15517536 SOS 3651784 HAS SOPS 3651784 HAS SOUS 1996163 HAS SOUPS 1996163 WITH SCORE 1999814.784
AT ITER 2971 NEW BEST:: SOT 15517592 SOS 3651257 HAS SOPS 3651257 HAS SOUS 1995899 HAS SOUPS 1995899 WITH SCORE 1999550.257
AT ITER 2980 NEW BEST:: SOT 15517592 SOS 3650288 HAS SOPS 3650288 HAS SOUS 1995576 HAS SOUPS 1995576 WITH SCORE 1999226.288
AT ITER 2989 NEW BEST:: SOT 15517586 SOS 3649698 HAS SOPS 3649698 HAS SOUS 1995570 HAS SOUPS 1995570 WITH SCORE 1999219.698
AT ITER 3013 NEW BEST:: SOT 15517586 SOS 3648324 HAS SOPS 3648324 HAS SOUS 1995569 HAS SOUPS 1995569 WITH SCORE 1999217.324
AT ITER 3030 NEW BEST:: SOT 15517518 SOS 3648391 HAS SOPS 3648391 HAS SOUS 1995568 HAS SOUPS 1995568 WITH SCORE 1999216.391
AT ITER 3075 NEW BEST:: SOT 15517518 SOS 3649191 HAS SOPS 3649191 HAS SOUS 1995567 HAS SOUPS 1995567 WITH SCORE 1999216.191
AT ITER 3090 NEW BEST:: SOT 15517373 SOS 3649046 HAS SOPS 3649046 HAS SOUS 1995421 HAS SOUPS 1995421 WITH SCORE 1999070.046
AT ITER 3097 NEW BEST:: SOT 15517165 SOS 3650384 HAS SOPS 3650384 HAS SOUS 1995254 HAS SOUPS 1995254 WITH SCORE 1998904.384
AT ITER 3113 NEW BEST:: SOT 15516975 SOS 3650194 HAS SOPS 3650194 HAS SOUS 1995064 HAS SOUPS 1995064 WITH SCORE 1998714.194
AT ITER 3129 NEW BEST:: SOT 15516961 SOS 3650292 HAS SOPS 3650292 HAS SOUS 1995050 HAS SOUPS 1995050 WITH SCORE 1998700.292
AT ITER 3172 NEW BEST:: SOT 15516320 SOS 3650858 HAS SOPS 3650858 HAS SOUS 1995025 HAS SOUPS 1995025 WITH SCORE 1998675.858
AT ITER 3179 NEW BEST:: SOT 15516320 SOS 3650472 HAS SOPS 3650472 HAS SOUS 1994832 HAS SOUPS 1994832 WITH SCORE 1998482.472
AT ITER 3187 NEW BEST:: SOT 15516319 SOS 3650470 HAS SOPS 3650470 HAS SOUS 1994830 HAS SOUPS 1994830 WITH SCORE 1998480.47
AT ITER 3199 NEW BEST:: SOT 15515921 SOS 3650466 HAS SOPS 3650466 HAS SOUS 1994589 HAS SOUPS 1994589 WITH SCORE 1998239.466
AT ITER 3217 NEW BEST:: SOT 15515366 SOS 3649874 HAS SOPS 3649874 HAS SOUS 1993997 HAS SOUPS 1993997 WITH SCORE 1997646.874
AT ITER 3253 NEW BEST:: SOT 15515469 SOS 3651854 HAS SOPS 3651854 HAS SOUS 1993803 HAS SOUPS 1993803 WITH SCORE 1997454.854
AT ITER 3282 NEW BEST:: SOT 15515427 SOS 3651770 HAS SOPS 3651770 HAS SOUS 1993719 HAS SOUPS 1993719 WITH SCORE 1997370.77
AT ITER 3314 NEW BEST:: SOT 15515129 SOS 3652109 HAS SOPS 3652109 HAS SOUS 1993084 HAS SOUPS 1993084 WITH SCORE 1996736.109
AT ITER 3322 NEW BEST:: SOT 15515129 SOS 3653239 HAS SOPS 3653239 HAS SOUS 1992999 HAS SOUPS 1992999 WITH SCORE 1996652.239
AT ITER 3370 NEW BEST:: SOT 15514902 SOS 3652785 HAS SOPS 3652785 HAS SOUS 1992545 HAS SOUPS 1992545 WITH SCORE 1996197.785
AT ITER 3375 NEW BEST:: SOT 15514725 SOS 3652431 HAS SOPS 3652431 HAS SOUS 1992366 HAS SOUPS 1992366 WITH SCORE 1996018.431
AT ITER 3380 NEW BEST:: SOT 15514397 SOS 3652539 HAS SOPS 3652539 HAS SOUS 1992229 HAS SOUPS 1992229 WITH SCORE 1995881.539
AT ITER 3383 NEW BEST:: SOT 15513945 SOS 3652303 HAS SOPS 3652303 HAS SOUS 1991872 HAS SOUPS 1991872 WITH SCORE 1995524.303
AT ITER 3398 NEW BEST:: SOT 15513297 SOS 3652807 HAS SOPS 3652807 HAS SOUS 1991824 HAS SOUPS 1991824 WITH SCORE 1995476.807
AT ITER 3402 NEW BEST:: SOT 15513229 SOS 3652739 HAS SOPS 3652739 HAS SOUS 1991756 HAS SOUPS 1991756 WITH SCORE 1995408.739
AT ITER 3408 NEW BEST:: SOT 15512533 SOS 3652707 HAS SOPS 3652707 HAS SOUS 1991255 HAS SOUPS 1991255 WITH SCORE 1994907.707
AT ITER 3410 NEW BEST:: SOT 15512533 SOS 3652639 HAS SOPS 3652639 HAS SOUS 1991255 HAS SOUPS 1991255 WITH SCORE 1994907.639
AT ITER 3433 NEW BEST:: SOT 15512457 SOS 3653396 HAS SOPS 3653396 HAS SOUS 1991103 HAS SOUPS 1991103 WITH SCORE 1994756.396
AT ITER 3435 NEW BEST:: SOT 15512021 SOS 3654096 HAS SOPS 3654096 HAS SOUS 1990755 HAS SOUPS 1990755 WITH SCORE 1994409.096
AT ITER 3451 NEW BEST:: SOT 15512186 SOS 3659403 HAS SOPS 3659403 HAS SOUS 1990532 HAS SOUPS 1990532 WITH SCORE 1994191.403
AT ITER 3468 NEW BEST:: SOT 15511707 SOS 3658445 HAS SOPS 3658445 HAS SOUS 1989574 HAS SOUPS 1989574 WITH SCORE 1993232.445
AT ITER 3478 NEW BEST:: SOT 15511512 SOS 3658637 HAS SOPS 3658637 HAS SOUS 1989378 HAS SOUPS 1989378 WITH SCORE 1993036.637
AT ITER 3505 NEW BEST:: SOT 15511512 SOS 3658636 HAS SOPS 3658636 HAS SOUS 1989377 HAS SOUPS 1989377 WITH SCORE 1993035.636
AT ITER 3517 NEW BEST:: SOT 15511110 SOS 3657832 HAS SOPS 3657832 HAS SOUS 1988972 HAS SOUPS 1988972 WITH SCORE 1992629.832
AT ITER 3528 NEW BEST:: SOT 15511110 SOS 3656740 HAS SOPS 3656740 HAS SOUS 1988972 HAS SOUPS 1988972 WITH SCORE 1992628.74
AT ITER 3533 NEW BEST:: SOT 15511381 SOS 3655620 HAS SOPS 3655620 HAS SOUS 1988824 HAS SOUPS 1988824 WITH SCORE 1992479.62
AT ITER 3534 NEW BEST:: SOT 15511477 SOS 3655808 HAS SOPS 3655808 HAS SOUS 1988823 HAS SOUPS 1988823 WITH SCORE 1992478.808
AT ITER 3561 NEW BEST:: SOT 15511440 SOS 3655734 HAS SOPS 3655734 HAS SOUS 1988786 HAS SOUPS 1988786 WITH SCORE 1992441.734
AT ITER 3563 NEW BEST:: SOT 15511273 SOS 3656903 HAS SOPS 3656903 HAS SOUS 1988452 HAS SOUPS 1988452 WITH SCORE 1992108.903
AT ITER 3575 NEW BEST:: SOT 15511194 SOS 3656745 HAS SOPS 3656745 HAS SOUS 1988294 HAS SOUPS 1988294 WITH SCORE 1991950.745
AT ITER 3624 NEW BEST:: SOT 15511194 SOS 3656745 HAS SOPS 3656745 HAS SOUS 1988030 HAS SOUPS 1988030 WITH SCORE 1991686.745
AT ITER 3628 NEW BEST:: SOT 15510988 SOS 3661516 HAS SOPS 3661516 HAS SOUS 1987617 HAS SOUPS 1987617 WITH SCORE 1991278.516
AT ITER 3629 NEW BEST:: SOT 15510206 SOS 3661209 HAS SOPS 3661209 HAS SOUS 1987310 HAS SOUPS 1987310 WITH SCORE 1990971.209
AT ITER 3633 NEW BEST:: SOT 15510039 SOS 3660875 HAS SOPS 3660875 HAS SOUS 1987143 HAS SOUPS 1987143 WITH SCORE 1990803.875
AT ITER 3651 NEW BEST:: SOT 15510039 SOS 3659575 HAS SOPS 3659575 HAS SOUS 1987142 HAS SOUPS 1987142 WITH SCORE 1990801.575
AT ITER 3675 NEW BEST:: SOT 15509833 SOS 3659369 HAS SOPS 3659369 HAS SOUS 1987142 HAS SOUPS 1987142 WITH SCORE 1990801.369
AT ITER 3678 NEW BEST:: SOT 15508178 SOS 3657906 HAS SOPS 3657906 HAS SOUS 1985679 HAS SOUPS 1985679 WITH SCORE 1989336.906
AT ITER 3726 NEW BEST:: SOT 15507941 SOS 3657708 HAS SOPS 3657708 HAS SOUS 1985453 HAS SOUPS 1985453 WITH SCORE 1989110.708
AT ITER 3748 NEW BEST:: SOT 15507808 SOS 3657442 HAS SOPS 3657442 HAS SOUS 1985187 HAS SOUPS 1985187 WITH SCORE 1988844.442
AT ITER 3781 NEW BEST:: SOT 15507644 SOS 3657114 HAS SOPS 3657114 HAS SOUS 1985023 HAS SOUPS 1985023 WITH SCORE 1988680.114
AT ITER 3811 NEW BEST:: SOT 15507624 SOS 3656934 HAS SOPS 3656934 HAS SOUS 1984983 HAS SOUPS 1984983 WITH SCORE 1988639.934
AT ITER 3817 NEW BEST:: SOT 15507721 SOS 3660422 HAS SOPS 3660422 HAS SOUS 1984970 HAS SOUPS 1984970 WITH SCORE 1988630.422
AT ITER 3818 NEW BEST:: SOT 15507520 SOS 3660020 HAS SOPS 3660020 HAS SOUS 1984598 HAS SOUPS 1984598 WITH SCORE 1988258.02
AT ITER 3832 NEW BEST:: SOT 15507520 SOS 3658589 HAS SOPS 3658589 HAS SOUS 1984141 HAS SOUPS 1984141 WITH SCORE 1987799.589
AT ITER 3834 NEW BEST:: SOT 15507520 SOS 3658589 HAS SOPS 3658589 HAS SOUS 1983647 HAS SOUPS 1983647 WITH SCORE 1987305.589
AT ITER 3852 NEW BEST:: SOT 15507364 SOS 3658277 HAS SOPS 3658277 HAS SOUS 1983191 HAS SOUPS 1983191 WITH SCORE 1986849.277
AT ITER 3876 NEW BEST:: SOT 15507364 SOS 3658251 HAS SOPS 3658251 HAS SOUS 1983165 HAS SOUPS 1983165 WITH SCORE 1986823.251
AT ITER 3883 NEW BEST:: SOT 15507169 SOS 3657693 HAS SOPS 3657693 HAS SOUS 1982607 HAS SOUPS 1982607 WITH SCORE 1986264.693
AT ITER 3902 NEW BEST:: SOT 15507000 SOS 3658866 HAS SOPS 3658866 HAS SOUS 1982268 HAS SOUPS 1982268 WITH SCORE 1985926.866
AT ITER 3931 NEW BEST:: SOT 15505680 SOS 3657906 HAS SOPS 3657906 HAS SOUS 1982148 HAS SOUPS 1982148 WITH SCORE 1985805.906
AT ITER 3938 NEW BEST:: SOT 15504810 SOS 3656601 HAS SOPS 3656601 HAS SOUS 1980843 HAS SOUPS 1980843 WITH SCORE 1984499.601
AT ITER 3958 NEW BEST:: SOT 15504822 SOS 3656526 HAS SOPS 3656526 HAS SOUS 1980768 HAS SOUPS 1980768 WITH SCORE 1984424.526
AT ITER 3968 NEW BEST:: SOT 15504822 SOS 3656526 HAS SOPS 3656526 HAS SOUS 1980767 HAS SOUPS 1980767 WITH SCORE 1984423.526
AT ITER 3973 NEW BEST:: SOT 15504903 SOS 3655977 HAS SOPS 3655977 HAS SOUS 1980692 HAS SOUPS 1980692 WITH SCORE 1984347.977
AT ITER 3986 NEW BEST:: SOT 15504738 SOS 3656447 HAS SOPS 3656447 HAS SOUS 1980527 HAS SOUPS 1980527 WITH SCORE 1984183.447
AT ITER 4026 NEW BEST:: SOT 15504574 SOS 3655135 HAS SOPS 3655135 HAS SOUS 1980231 HAS SOUPS 1980231 WITH SCORE 1983886.135
AT ITER 4067 NEW BEST:: SOT 15504574 SOS 3654448 HAS SOPS 3654448 HAS SOUS 1980002 HAS SOUPS 1980002 WITH SCORE 1983656.448
AT ITER 4068 NEW BEST:: SOT 15504271 SOS 3653842 HAS SOPS 3653842 HAS SOUS 1979802 HAS SOUPS 1979802 WITH SCORE 1983455.842
AT ITER 4098 NEW BEST:: SOT 15504210 SOS 3653780 HAS SOPS 3653780 HAS SOUS 1979740 HAS SOUPS 1979740 WITH SCORE 1983393.78
AT ITER 4158 NEW BEST:: SOT 15504755 SOS 3658848 HAS SOPS 3658848 HAS SOUS 1979693 HAS SOUPS 1979693 WITH SCORE 1983351.848
AT ITER 4164 NEW BEST:: SOT 15504755 SOS 3658848 HAS SOPS 3658848 HAS SOUS 1979692 HAS SOUPS 1979692 WITH SCORE 1983350.848
AT ITER 4245 NEW BEST:: SOT 15504713 SOS 3658764 HAS SOPS 3658764 HAS SOUS 1979577 HAS SOUPS 1979577 WITH SCORE 1983235.764
AT ITER 4273 NEW BEST:: SOT 15504019 SOS 3657376 HAS SOPS 3657376 HAS SOUS 1978478 HAS SOUPS 1978478 WITH SCORE 1982135.376
AT ITER 4282 NEW BEST:: SOT 15503761 SOS 3657118 HAS SOPS 3657118 HAS SOUS 1978220 HAS SOUPS 1978220 WITH SCORE 1981877.118
AT ITER 4365 NEW BEST:: SOT 15503568 SOS 3657387 HAS SOPS 3657387 HAS SOUS 1978210 HAS SOUPS 1978210 WITH SCORE 1981867.387
AT ITER 4385 NEW BEST:: SOT 15503422 SOS 3657241 HAS SOPS 3657241 HAS SOUS 1978064 HAS SOUPS 1978064 WITH SCORE 1981721.241
AT ITER 4401 NEW BEST:: SOT 15503469 SOS 3657234 HAS SOPS 3657234 HAS SOUS 1978010 HAS SOUPS 1978010 WITH SCORE 1981667.234
AT ITER 4417 NEW BEST:: SOT 15503666 SOS 3655864 HAS SOPS 3655864 HAS SOUS 1977717 HAS SOUPS 1977717 WITH SCORE 1981372.864
AT ITER 4423 NEW BEST:: SOT 15503610 SOS 3655808 HAS SOPS 3655808 HAS SOUS 1977661 HAS SOUPS 1977661 WITH SCORE 1981316.808
AT ITER 4449 NEW BEST:: SOT 15503549 SOS 3655686 HAS SOPS 3655686 HAS SOUS 1977599 HAS SOUPS 1977599 WITH SCORE 1981254.686
AT ITER 4458 NEW BEST:: SOT 15503403 SOS 3655102 HAS SOPS 3655102 HAS SOUS 1977453 HAS SOUPS 1977453 WITH SCORE 1981108.102
AT ITER 4465 NEW BEST:: SOT 15503459 SOS 3654980 HAS SOPS 3654980 HAS SOUS 1977331 HAS SOUPS 1977331 WITH SCORE 1980985.98
AT ITER 4475 NEW BEST:: SOT 15503459 SOS 3654776 HAS SOPS 3654776 HAS SOUS 1977229 HAS SOUPS 1977229 WITH SCORE 1980883.776
AT ITER 4481 NEW BEST:: SOT 15501413 SOS 3652624 HAS SOPS 3652624 HAS SOUS 1974213 HAS SOUPS 1974213 WITH SCORE 1977865.624
AT ITER 4483 NEW BEST:: SOT 15500784 SOS 3652090 HAS SOPS 3652090 HAS SOUS 1973631 HAS SOUPS 1973631 WITH SCORE 1977283.09
AT ITER 4491 NEW BEST:: SOT 15500724 SOS 3651970 HAS SOPS 3651970 HAS SOUS 1973511 HAS SOUPS 1973511 WITH SCORE 1977162.97
AT ITER 4525 NEW BEST:: SOT 15500602 SOS 3651848 HAS SOPS 3651848 HAS SOUS 1973389 HAS SOUPS 1973389 WITH SCORE 1977040.848
AT ITER 4563 NEW BEST:: SOT 15500203 SOS 3652961 HAS SOPS 3652961 HAS SOUS 1972942 HAS SOUPS 1972942 WITH SCORE 1976594.961
AT ITER 4575 NEW BEST:: SOT 15499753 SOS 3652361 HAS SOPS 3652361 HAS SOUS 1972342 HAS SOUPS 1972342 WITH SCORE 1975994.361
AT ITER 4580 NEW BEST:: SOT 15499752 SOS 3652359 HAS SOPS 3652359 HAS SOUS 1972340 HAS SOUPS 1972340 WITH SCORE 1975992.359
AT ITER 4584 NEW BEST:: SOT 15499633 SOS 3652118 HAS SOPS 3652118 HAS SOUS 1972101 HAS SOUPS 1972101 WITH SCORE 1975753.118
AT ITER 4604 NEW BEST:: SOT 15499464 SOS 3651816 HAS SOPS 3651816 HAS SOUS 1971775 HAS SOUPS 1971775 WITH SCORE 1975426.816
AT ITER 4649 NEW BEST:: SOT 15499349 SOS 3652611 HAS SOPS 3652611 HAS SOUS 1971544 HAS SOUPS 1971544 WITH SCORE 1975196.611
AT ITER 4688 NEW BEST:: SOT 15499325 SOS 3652587 HAS SOPS 3652587 HAS SOUS 1971520 HAS SOUPS 1971520 WITH SCORE 1975172.587
AT ITER 4691 NEW BEST:: SOT 15499325 SOS 3651894 HAS SOPS 3651894 HAS SOUS 1971520 HAS SOUPS 1971520 WITH SCORE 1975171.894
AT ITER 4695 NEW BEST:: SOT 15499685 SOS 3651174 HAS SOPS 3651174 HAS SOUS 1971520 HAS SOUPS 1971520 WITH SCORE 1975171.174
AT ITER 4696 NEW BEST:: SOT 15499310 SOS 3650424 HAS SOPS 3650424 HAS SOUS 1971144 HAS SOUPS 1971144 WITH SCORE 1974794.424
AT ITER 4711 NEW BEST:: SOT 15498843 SOS 3650424 HAS SOPS 3650424 HAS SOUS 1971020 HAS SOUPS 1971020 WITH SCORE 1974670.424
AT ITER 4734 NEW BEST:: SOT 15498843 SOS 3651081 HAS SOPS 3651081 HAS SOUS 1970682 HAS SOUPS 1970682 WITH SCORE 1974333.081
AT ITER 4766 NEW BEST:: SOT 15498422 SOS 3647511 HAS SOPS 3647511 HAS SOUS 1970325 HAS SOUPS 1970325 WITH SCORE 1973972.511
AT ITER 4774 NEW BEST:: SOT 15497486 SOS 3646575 HAS SOPS 3646575 HAS SOUS 1969389 HAS SOUPS 1969389 WITH SCORE 1973035.575
AT ITER 4786 NEW BEST:: SOT 15497330 SOS 3645935 HAS SOPS 3645935 HAS SOUS 1969169 HAS SOUPS 1969169 WITH SCORE 1972814.935
AT ITER 4806 NEW BEST:: SOT 15497330 SOS 3645935 HAS SOPS 3645935 HAS SOUS 1968762 HAS SOUPS 1968762 WITH SCORE 1972407.935
AT ITER 4815 NEW BEST:: SOT 15497330 SOS 3648617 HAS SOPS 3648617 HAS SOUS 1967868 HAS SOUPS 1967868 WITH SCORE 1971516.617
AT ITER 4822 NEW BEST:: SOT 15497330 SOS 3648617 HAS SOPS 3648617 HAS SOUS 1967867 HAS SOUPS 1967867 WITH SCORE 1971515.617
AT ITER 4830 NEW BEST:: SOT 15497134 SOS 3648225 HAS SOPS 3648225 HAS SOUS 1967671 HAS SOUPS 1967671 WITH SCORE 1971319.225
AT ITER 4839 NEW BEST:: SOT 15496862 SOS 3646865 HAS SOPS 3646865 HAS SOUS 1967399 HAS SOUPS 1967399 WITH SCORE 1971045.865
AT ITER 4863 NEW BEST:: SOT 15496715 SOS 3643261 HAS SOPS 3643261 HAS SOUS 1966921 HAS SOUPS 1966921 WITH SCORE 1970564.261
AT ITER 4880 NEW BEST:: SOT 15496715 SOS 3643396 HAS SOPS 3643396 HAS SOUS 1966786 HAS SOUPS 1966786 WITH SCORE 1970429.396
AT ITER 4883 NEW BEST:: SOT 15496355 SOS 3643512 HAS SOPS 3643512 HAS SOUS 1966425 HAS SOUPS 1966425 WITH SCORE 1970068.512
AT ITER 4899 NEW BEST:: SOT 15496000 SOS 3643431 HAS SOPS 3643431 HAS SOUS 1965666 HAS SOUPS 1965666 WITH SCORE 1969309.431
AT ITER 4910 NEW BEST:: SOT 15496000 SOS 3643404 HAS SOPS 3643404 HAS SOUS 1965639 HAS SOUPS 1965639 WITH SCORE 1969282.404
AT ITER 4937 NEW BEST:: SOT 15495592 SOS 3642284 HAS SOPS 3642284 HAS SOUS 1964519 HAS SOUPS 1964519 WITH SCORE 1968161.284
AT ITER 4942 NEW BEST:: SOT 15495555 SOS 3642283 HAS SOPS 3642283 HAS SOUS 1964518 HAS SOUPS 1964518 WITH SCORE 1968160.283
AT ITER 4946 NEW BEST:: SOT 15495533 SOS 3642261 HAS SOPS 3642261 HAS SOUS 1964496 HAS SOUPS 1964496 WITH SCORE 1968138.261
AT ITER 4982 NEW BEST:: SOT 15495104 SOS 3641403 HAS SOPS 3641403 HAS SOUS 1963638 HAS SOUPS 1963638 WITH SCORE 1967279.403
AT ITER 4984 NEW BEST:: SOT 15495261 SOS 3641357 HAS SOPS 3641357 HAS SOUS 1963435 HAS SOUPS 1963435 WITH SCORE 1967076.357
AT ITER 4994 NEW BEST:: SOT 15495149 SOS 3641356 HAS SOPS 3641356 HAS SOUS 1963434 HAS SOUPS 1963434 WITH SCORE 1967075.356
AT ITER 4995 NEW BEST:: SOT 15494882 SOS 3641393 HAS SOPS 3641393 HAS SOUS 1962784 HAS SOUPS 1962784 WITH SCORE 1966425.393
AT ITER 4997 NEW BEST:: SOT 15494854 SOS 3641191 HAS SOPS 3641191 HAS SOUS 1962610 HAS SOUPS 1962610 WITH SCORE 1966251.191
Bounds file is: CTLFireability.xml
PROPERTY: DLCround-PT-10b-CTLFireability-00 (! (AF( ((potential((tk(P704)>=1) & (tk(P3031)>=1)))))))
PROPERTY: DLCround-PT-10b-CTLFireability-01 ( (! ( ( (AX( ((potential((tk(P1725)>=1) & (tk(P3901)>=1)))))) | ( ( ((potential((tk(P866)>=1) & (tk(P3181)>=1)))) | ((potential((tk(P1486)>=1)))) ) | ( ((potential((tk(P1391)>=1) & (tk(P3641)>=1)))) & ((potential((tk(P1000)>=1) & (tk(P3668)>=1)))) ) ) ) & (! (AX( ((potential((tk(P183)>=1) & (tk(P2451)>=1))))))) )) & ( ( ((potential((tk(P2990)>=1)))) | (! (AF( ((potential((tk(P903)>=1))))))) ) & ( (! (EX( ((potential((tk(P1544)>=1) & (tk(P3801)>=1))))))) | (AF( ( ((potential((tk(P1576)>=1)))) | ((potential((tk(P1078)>=1) & (tk(P3371)>=1)))) ))) ) ) )
PROPERTY: DLCround-PT-10b-CTLFireability-02 ( ( ( (EG( ( ((potential((tk(P1315)>=1)))) | ((potential((tk(P3899)>=1)))) ))) | ((potential((tk(P578)>=1) & (tk(P3011)>=1)))) ) | ((potential((tk(P698)>=1) & (tk(P3041)>=1)))) ) | ( (AF( (! ( ((potential((tk(P1903)>=1)))) & ((potential((tk(P1255)>=1)))) )))) & (AG( (AF( ((potential((tk(P1554)>=1)))))))) ) )
PROPERTY: DLCround-PT-10b-CTLFireability-03 ( (! ( ( ((potential((tk(P19)>=1)))) | ((potential((tk(P1631)>=1) & (tk(P3871)>=1)))) ) & ((potential((tk(P174)>=1) & (tk(P1971)>=1)))) )) & (AG( ( ((potential((tk(P1459)>=1)))) | ( (! ((potential((tk(P1292)>=1) & (tk(P3798)>=1))))) & (! ((potential((tk(P1480)>=1) & (tk(P3808)>=1))))) ) ))) )
PROPERTY: DLCround-PT-10b-CTLFireability-04 (! (EU( (! ( ((potential((tk(P3669)>=1)))) | ((potential((tk(P224)>=1)))) )) , ( ((potential((tk(P810)>=1) & (tk(P2948)>=1)))) | ((potential((tk(P2292)>=1)))) ) )))
PROPERTY: DLCround-PT-10b-CTLFireability-05 (EU( (AU( ((potential((tk(P588)>=1) & (tk(P2951)>=1)))) , ((potential((tk(P55)>=1) & (tk(P1958)>=1)))) )) , ( (EF( ((potential((tk(P3347)>=1)))))) & (! ( ((potential((tk(P1060)>=1)))) & ((potential((tk(P3294)>=1)))) )) ) ))
PROPERTY: DLCround-PT-10b-CTLFireability-06 (EF( ((potential((tk(P240)>=1))))))
PROPERTY: DLCround-PT-10b-CTLFireability-07 (EF( (AU( ( ((potential((tk(P1360)>=1) & (tk(P3698)>=1)))) | ((potential((tk(P1548)>=1) & (tk(P3801)>=1)))) ) , ( ((potential((tk(P704)>=1) & (tk(P3071)>=1)))) | ((potential((tk(P234)>=1)))) ) ))))
PROPERTY: DLCround-PT-10b-CTLFireability-08 (EU( (! (! (! ((potential((tk(P2725)>=1))))))) , (AF( ( ((potential((tk(P760)>=1) & (tk(P3648)>=1)))) | ((potential((tk(P1578)>=1)))) ))) ))
PROPERTY: DLCround-PT-10b-CTLFireability-09 (AF( ( (EU( ((potential((tk(P1424)>=1) & (tk(P3701)>=1)))) , ((potential((tk(P718)>=1) & (tk(P3071)>=1)))) )) | ((potential((tk(P418)>=1) & (tk(P2818)>=1)))) )))
PROPERTY: DLCround-PT-10b-CTLFireability-10 (EG( (! ((potential((tk(P2990)>=1)))))))
PROPERTY: DLCround-PT-10b-CTLFireability-11 (EF( (! ( ((potential((tk(P450)>=1) & (tk(P3128)>=1)))) | (AF( ((potential((tk(P2285)>=1)))))) ))))
PROPERTY: DLCround-PT-10b-CTLFireability-12 (! (AF( (AX( ((potential((tk(P3255)>=1)))))))))
PROPERTY: DLCround-PT-10b-CTLFireability-13 (! (EF( ((potential((tk(P1410)>=1) & (tk(P3808)>=1)))))))
PROPERTY: DLCround-PT-10b-CTLFireability-14 (AU( (EF( (! ((potential((tk(P986)>=1) & (tk(P3291)>=1))))))) , ( ( ( ((potential((tk(P3775)>=1)))) & ((potential((tk(P1511)>=1) & (tk(P3791)>=1)))) ) & (! ((potential((tk(P861)>=1) & (tk(P3211)>=1))))) ) & ((potential((tk(P433)>=1)))) ) ))
PROPERTY: DLCround-PT-10b-CTLFireability-15 (AX( (AF( (! (! ((potential((tk(P1466)>=1) & (tk(P3711)>=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="DLCround-PT-10b"
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 DLCround-PT-10b, 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-158902542400572"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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