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.r063-tajo-158922807800672.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 DiscoveryGPU-PT-11a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807800672
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.9K Mar 31 07:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 31 07:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 23:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 23:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 27 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 27 07:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 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 39K Mar 24 05:37 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 1589363657130

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 11a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 113 places, 155 transitions, 498 arcs.
AT ITER 0 NEW BEST:: SOT 12844 SOS 6446 HAS SOPS 6446 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6394.446
AT ITER 3 NEW BEST:: SOT 12863 SOS 6446 HAS SOPS 6446 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6375.446
AT ITER 12 NEW BEST:: SOT 12862 SOS 6443 HAS SOPS 6443 HAS SOUS 6334 HAS SOUPS 6334 WITH SCORE 6340.443
AT ITER 18 NEW BEST:: SOT 12859 SOS 6440 HAS SOPS 6440 HAS SOUS 6334 HAS SOUPS 6334 WITH SCORE 6340.44
AT ITER 34 NEW BEST:: SOT 12909 SOS 6488 HAS SOPS 6488 HAS SOUS 6333 HAS SOUPS 6333 WITH SCORE 6339.488
AT ITER 38 NEW BEST:: SOT 12909 SOS 6567 HAS SOPS 6567 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6335.567
AT ITER 42 NEW BEST:: SOT 11708 SOS 6172 HAS SOPS 5303 HAS SOUS 5325 HAS SOUPS 5256 WITH SCORE 5262.172
AT ITER 51 NEW BEST:: SOT 11708 SOS 6172 HAS SOPS 5284 HAS SOUS 5294 HAS SOUPS 5218 WITH SCORE 5224.172
AT ITER 53 NEW BEST:: SOT 11792 SOS 6256 HAS SOPS 5314 HAS SOUS 5257 HAS SOUPS 5181 WITH SCORE 5187.256
AT ITER 54 NEW BEST:: SOT 10268 SOS 4988 HAS SOPS 3774 HAS SOUS 3840 HAS SOUPS 3729 WITH SCORE 3733.988
AT ITER 64 NEW BEST:: SOT 10369 SOS 4993 HAS SOPS 3749 HAS SOUS 3816 HAS SOUPS 3705 WITH SCORE 3709.993
AT ITER 65 NEW BEST:: SOT 10369 SOS 4993 HAS SOPS 3733 HAS SOUS 3800 HAS SOUPS 3689 WITH SCORE 3693.993
AT ITER 74 NEW BEST:: SOT 10353 SOS 4993 HAS SOPS 3717 HAS SOUS 3800 HAS SOUPS 3673 WITH SCORE 3677.993
AT ITER 79 NEW BEST:: SOT 10291 SOS 4991 HAS SOPS 3715 HAS SOUS 3797 HAS SOUPS 3670 WITH SCORE 3674.991
AT ITER 84 NEW BEST:: SOT 10338 SOS 5002 HAS SOPS 3701 HAS SOUS 3783 HAS SOUPS 3656 WITH SCORE 3661.002
AT ITER 89 NEW BEST:: SOT 10338 SOS 5001 HAS SOPS 3700 HAS SOUS 3783 HAS SOUPS 3656 WITH SCORE 3661.001
AT ITER 98 NEW BEST:: SOT 10304 SOS 4918 HAS SOPS 3532 HAS SOUS 3617 HAS SOUPS 3488 WITH SCORE 3492.918
AT ITER 100 NEW BEST:: SOT 10309 SOS 4923 HAS SOPS 3523 HAS SOUS 3622 HAS SOUPS 3479 WITH SCORE 3483.923
AT ITER 111 NEW BEST:: SOT 10292 SOS 4905 HAS SOPS 3489 HAS SOUS 3588 HAS SOUPS 3445 WITH SCORE 3449.905
AT ITER 113 NEW BEST:: SOT 10307 SOS 4845 HAS SOPS 3348 HAS SOUS 3447 HAS SOUPS 3304 WITH SCORE 3308.845
AT ITER 118 NEW BEST:: SOT 10297 SOS 4835 HAS SOPS 3338 HAS SOUS 3437 HAS SOUPS 3294 WITH SCORE 3298.835
AT ITER 177 NEW BEST:: SOT 10296 SOS 4810 HAS SOPS 3288 HAS SOUS 3387 HAS SOUPS 3244 WITH SCORE 3248.81
AT ITER 180 NEW BEST:: SOT 10297 SOS 4813 HAS SOPS 3291 HAS SOUS 3386 HAS SOUPS 3243 WITH SCORE 3247.813
AT ITER 185 NEW BEST:: SOT 10306 SOS 4802 HAS SOPS 3268 HAS SOUS 3351 HAS SOUPS 3220 WITH SCORE 3224.802
AT ITER 186 NEW BEST:: SOT 10328 SOS 4838 HAS SOPS 3265 HAS SOUS 3321 HAS SOUPS 3190 WITH SCORE 3194.838
AT ITER 194 NEW BEST:: SOT 10316 SOS 4826 HAS SOPS 3241 HAS SOUS 3297 HAS SOUPS 3166 WITH SCORE 3170.826
AT ITER 196 NEW BEST:: SOT 10316 SOS 4814 HAS SOPS 3229 HAS SOUS 3285 HAS SOUPS 3154 WITH SCORE 3158.814
AT ITER 206 NEW BEST:: SOT 10314 SOS 4812 HAS SOPS 3227 HAS SOUS 3285 HAS SOUPS 3154 WITH SCORE 3158.812
AT ITER 211 NEW BEST:: SOT 10339 SOS 4783 HAS SOPS 3206 HAS SOUS 3257 HAS SOUPS 3126 WITH SCORE 3130.783
AT ITER 221 NEW BEST:: SOT 10338 SOS 4780 HAS SOPS 3203 HAS SOUS 3256 HAS SOUPS 3125 WITH SCORE 3129.78
AT ITER 223 NEW BEST:: SOT 10333 SOS 4770 HAS SOPS 3188 HAS SOUS 3241 HAS SOUPS 3110 WITH SCORE 3114.77
AT ITER 225 NEW BEST:: SOT 10297 SOS 4734 HAS SOPS 3188 HAS SOUS 3241 HAS SOUPS 3110 WITH SCORE 3114.734
AT ITER 230 NEW BEST:: SOT 10295 SOS 4732 HAS SOPS 3182 HAS SOUS 3235 HAS SOUPS 3104 WITH SCORE 3108.732
AT ITER 254 NEW BEST:: SOT 9762 SOS 6019 HAS SOPS 2646 HAS SOUS 2815 HAS SOUPS 2638 WITH SCORE 2644.019
AT ITER 258 NEW BEST:: SOT 9760 SOS 5997 HAS SOPS 2642 HAS SOUS 2807 HAS SOUPS 2634 WITH SCORE 2639.997
AT ITER 269 NEW BEST:: SOT 9726 SOS 5923 HAS SOPS 2528 HAS SOUS 2693 HAS SOUPS 2520 WITH SCORE 2525.923
AT ITER 272 NEW BEST:: SOT 9726 SOS 5923 HAS SOPS 2504 HAS SOUS 2669 HAS SOUPS 2496 WITH SCORE 2501.923
AT ITER 287 NEW BEST:: SOT 9729 SOS 5926 HAS SOPS 2477 HAS SOUS 2642 HAS SOUPS 2469 WITH SCORE 2474.926
AT ITER 300 NEW BEST:: SOT 9714 SOS 5911 HAS SOPS 2447 HAS SOUS 2617 HAS SOUPS 2439 WITH SCORE 2444.911
AT ITER 303 NEW BEST:: SOT 9664 SOS 5889 HAS SOPS 2400 HAS SOUS 2570 HAS SOUPS 2392 WITH SCORE 2397.889
AT ITER 311 NEW BEST:: SOT 9640 SOS 5865 HAS SOPS 2367 HAS SOUS 2537 HAS SOUPS 2359 WITH SCORE 2364.865
AT ITER 316 NEW BEST:: SOT 9639 SOS 5864 HAS SOPS 2365 HAS SOUS 2535 HAS SOUPS 2357 WITH SCORE 2362.864
AT ITER 318 NEW BEST:: SOT 9661 SOS 5886 HAS SOPS 2356 HAS SOUS 2526 HAS SOUPS 2348 WITH SCORE 2353.886
AT ITER 340 NEW BEST:: SOT 9659 SOS 5883 HAS SOPS 2352 HAS SOUS 2522 HAS SOUPS 2344 WITH SCORE 2349.883
AT ITER 341 NEW BEST:: SOT 9634 SOS 5858 HAS SOPS 2318 HAS SOUS 2488 HAS SOUPS 2310 WITH SCORE 2315.858
AT ITER 343 NEW BEST:: SOT 9617 SOS 5841 HAS SOPS 2284 HAS SOUS 2454 HAS SOUPS 2276 WITH SCORE 2281.841
AT ITER 351 NEW BEST:: SOT 9617 SOS 5837 HAS SOPS 2280 HAS SOUS 2450 HAS SOUPS 2272 WITH SCORE 2277.837
AT ITER 368 NEW BEST:: SOT 9610 SOS 5823 HAS SOPS 2266 HAS SOUS 2436 HAS SOUPS 2258 WITH SCORE 2263.823
AT ITER 380 NEW BEST:: SOT 9573 SOS 5786 HAS SOPS 2222 HAS SOUS 2392 HAS SOUPS 2214 WITH SCORE 2219.786
AT ITER 410 NEW BEST:: SOT 9571 SOS 5782 HAS SOPS 2199 HAS SOUS 2370 HAS SOUPS 2192 WITH SCORE 2197.782
AT ITER 416 NEW BEST:: SOT 9584 SOS 5789 HAS SOPS 2187 HAS SOUS 2358 HAS SOUPS 2180 WITH SCORE 2185.789
AT ITER 431 NEW BEST:: SOT 9564 SOS 5770 HAS SOPS 2169 HAS SOUS 2340 HAS SOUPS 2162 WITH SCORE 2167.77
AT ITER 439 NEW BEST:: SOT 9569 SOS 5759 HAS SOPS 2159 HAS SOUS 2330 HAS SOUPS 2152 WITH SCORE 2157.759
AT ITER 440 NEW BEST:: SOT 9569 SOS 5754 HAS SOPS 2159 HAS SOUS 2330 HAS SOUPS 2152 WITH SCORE 2157.754
AT ITER 441 NEW BEST:: SOT 9552 SOS 5733 HAS SOPS 2121 HAS SOUS 2293 HAS SOUPS 2115 WITH SCORE 2120.733
AT ITER 466 NEW BEST:: SOT 9501 SOS 5657 HAS SOPS 2019 HAS SOUS 2191 HAS SOUPS 2013 WITH SCORE 2018.657
AT ITER 497 NEW BEST:: SOT 9551 SOS 5670 HAS SOPS 2008 HAS SOUS 2180 HAS SOUPS 2002 WITH SCORE 2007.67
AT ITER 541 NEW BEST:: SOT 9562 SOS 5666 HAS SOPS 1982 HAS SOUS 2154 HAS SOUPS 1976 WITH SCORE 1981.666
AT ITER 544 NEW BEST:: SOT 9562 SOS 5664 HAS SOPS 1980 HAS SOUS 2152 HAS SOUPS 1974 WITH SCORE 1979.664
AT ITER 558 NEW BEST:: SOT 9540 SOS 5620 HAS SOPS 1936 HAS SOUS 2108 HAS SOUPS 1930 WITH SCORE 1935.62
AT ITER 574 NEW BEST:: SOT 9540 SOS 5603 HAS SOPS 1919 HAS SOUS 2091 HAS SOUPS 1913 WITH SCORE 1918.603
AT ITER 581 NEW BEST:: SOT 9547 SOS 5609 HAS SOPS 1915 HAS SOUS 2087 HAS SOUPS 1909 WITH SCORE 1914.609
AT ITER 588 NEW BEST:: SOT 9577 SOS 5618 HAS SOPS 1911 HAS SOUS 2083 HAS SOUPS 1905 WITH SCORE 1910.618
AT ITER 602 NEW BEST:: SOT 9577 SOS 5616 HAS SOPS 1911 HAS SOUS 2083 HAS SOUPS 1905 WITH SCORE 1910.616
AT ITER 611 NEW BEST:: SOT 9563 SOS 5612 HAS SOPS 1903 HAS SOUS 2078 HAS SOUPS 1897 WITH SCORE 1902.612
AT ITER 634 NEW BEST:: SOT 9561 SOS 6030 HAS SOPS 1892 HAS SOUS 2086 HAS SOUPS 1891 WITH SCORE 1897.03
AT ITER 646 NEW BEST:: SOT 9557 SOS 6024 HAS SOPS 1884 HAS SOUS 2078 HAS SOUPS 1883 WITH SCORE 1889.024
AT ITER 657 NEW BEST:: SOT 9544 SOS 6013 HAS SOPS 1874 HAS SOUS 2068 HAS SOUPS 1873 WITH SCORE 1879.013
AT ITER 698 NEW BEST:: SOT 9538 SOS 6001 HAS SOPS 1856 HAS SOUS 2050 HAS SOUPS 1855 WITH SCORE 1861.001
AT ITER 699 NEW BEST:: SOT 9536 SOS 5999 HAS SOPS 1853 HAS SOUS 2047 HAS SOUPS 1852 WITH SCORE 1857.999
AT ITER 700 NEW BEST:: SOT 9545 SOS 6008 HAS SOPS 1838 HAS SOUS 2032 HAS SOUPS 1837 WITH SCORE 1843.008
AT ITER 707 NEW BEST:: SOT 9541 SOS 6004 HAS SOPS 1830 HAS SOUS 2024 HAS SOUPS 1829 WITH SCORE 1835.004
AT ITER 714 NEW BEST:: SOT 9552 SOS 5996 HAS SOPS 1814 HAS SOUS 2008 HAS SOUPS 1813 WITH SCORE 1818.996
AT ITER 758 NEW BEST:: SOT 9541 SOS 5985 HAS SOPS 1792 HAS SOUS 1986 HAS SOUPS 1791 WITH SCORE 1796.985
AT ITER 760 NEW BEST:: SOT 9546 SOS 5989 HAS SOPS 1788 HAS SOUS 1982 HAS SOUPS 1787 WITH SCORE 1792.989
AT ITER 763 NEW BEST:: SOT 9545 SOS 5988 HAS SOPS 1786 HAS SOUS 1980 HAS SOUPS 1785 WITH SCORE 1790.988
AT ITER 793 NEW BEST:: SOT 9516 SOS 5977 HAS SOPS 1782 HAS SOUS 1976 HAS SOUPS 1781 WITH SCORE 1786.977
AT ITER 817 NEW BEST:: SOT 9522 SOS 5983 HAS SOPS 1760 HAS SOUS 1954 HAS SOUPS 1759 WITH SCORE 1764.983
AT ITER 821 NEW BEST:: SOT 9521 SOS 5982 HAS SOPS 1758 HAS SOUS 1952 HAS SOUPS 1757 WITH SCORE 1762.982
AT ITER 857 NEW BEST:: SOT 9506 SOS 5977 HAS SOPS 1748 HAS SOUS 1950 HAS SOUPS 1747 WITH SCORE 1752.977
AT ITER 860 NEW BEST:: SOT 9500 SOS 5971 HAS SOPS 1736 HAS SOUS 1938 HAS SOUPS 1735 WITH SCORE 1740.971
AT ITER 866 NEW BEST:: SOT 9500 SOS 5970 HAS SOPS 1736 HAS SOUS 1938 HAS SOUPS 1735 WITH SCORE 1740.97
AT ITER 882 NEW BEST:: SOT 9491 SOS 5993 HAS SOPS 1718 HAS SOUS 1920 HAS SOUPS 1717 WITH SCORE 1722.993
AT ITER 899 NEW BEST:: SOT 9488 SOS 5990 HAS SOPS 1712 HAS SOUS 1914 HAS SOUPS 1711 WITH SCORE 1716.99
AT ITER 907 NEW BEST:: SOT 9488 SOS 5977 HAS SOPS 1686 HAS SOUS 1888 HAS SOUPS 1685 WITH SCORE 1690.977
AT ITER 908 NEW BEST:: SOT 9504 SOS 5990 HAS SOPS 1680 HAS SOUS 1882 HAS SOUPS 1679 WITH SCORE 1684.99
AT ITER 909 NEW BEST:: SOT 9501 SOS 5988 HAS SOPS 1674 HAS SOUS 1876 HAS SOUPS 1673 WITH SCORE 1678.988
AT ITER 916 NEW BEST:: SOT 9495 SOS 5989 HAS SOPS 1669 HAS SOUS 1871 HAS SOUPS 1668 WITH SCORE 1673.989
AT ITER 939 NEW BEST:: SOT 9484 SOS 5978 HAS SOPS 1664 HAS SOUS 1866 HAS SOUPS 1663 WITH SCORE 1668.978
AT ITER 987 NEW BEST:: SOT 9486 SOS 5965 HAS SOPS 1653 HAS SOUS 1855 HAS SOUPS 1652 WITH SCORE 1657.965
AT ITER 995 NEW BEST:: SOT 9510 SOS 5976 HAS SOPS 1651 HAS SOUS 1853 HAS SOUPS 1650 WITH SCORE 1655.976
AT ITER 1002 NEW BEST:: SOT 9497 SOS 5963 HAS SOPS 1625 HAS SOUS 1827 HAS SOUPS 1624 WITH SCORE 1629.963
AT ITER 1013 NEW BEST:: SOT 9539 SOS 5972 HAS SOPS 1610 HAS SOUS 1812 HAS SOUPS 1609 WITH SCORE 1614.972
AT ITER 1020 NEW BEST:: SOT 9541 SOS 5973 HAS SOPS 1606 HAS SOUS 1808 HAS SOUPS 1605 WITH SCORE 1610.973
AT ITER 1038 NEW BEST:: SOT 9541 SOS 5787 HAS SOPS 1611 HAS SOUS 1797 HAS SOUPS 1600 WITH SCORE 1605.787
AT ITER 1047 NEW BEST:: SOT 9580 SOS 5808 HAS SOPS 1585 HAS SOUS 1771 HAS SOUPS 1574 WITH SCORE 1579.808
AT ITER 1070 NEW BEST:: SOT 9528 SOS 5756 HAS SOPS 1525 HAS SOUS 1711 HAS SOUPS 1514 WITH SCORE 1519.756
AT ITER 1085 NEW BEST:: SOT 9527 SOS 5753 HAS SOPS 1522 HAS SOUS 1710 HAS SOUPS 1513 WITH SCORE 1518.753
AT ITER 1093 NEW BEST:: SOT 9541 SOS 5767 HAS SOPS 1510 HAS SOUS 1698 HAS SOUPS 1501 WITH SCORE 1506.767
AT ITER 1120 NEW BEST:: SOT 9522 SOS 5767 HAS SOPS 1491 HAS SOUS 1679 HAS SOUPS 1482 WITH SCORE 1487.767
AT ITER 1135 NEW BEST:: SOT 9523 SOS 5768 HAS SOPS 1487 HAS SOUS 1675 HAS SOUPS 1478 WITH SCORE 1483.768
AT ITER 1153 NEW BEST:: SOT 9517 SOS 5765 HAS SOPS 1481 HAS SOUS 1669 HAS SOUPS 1472 WITH SCORE 1477.765
AT ITER 1154 NEW BEST:: SOT 9515 SOS 5762 HAS SOPS 1477 HAS SOUS 1665 HAS SOUPS 1468 WITH SCORE 1473.762
AT ITER 1236 NEW BEST:: SOT 9508 SOS 5759 HAS SOPS 1475 HAS SOUS 1663 HAS SOUPS 1466 WITH SCORE 1471.759
AT ITER 1390 NEW BEST:: SOT 9508 SOS 5758 HAS SOPS 1475 HAS SOUS 1663 HAS SOUPS 1466 WITH SCORE 1471.758
AT ITER 1392 NEW BEST:: SOT 9504 SOS 5755 HAS SOPS 1467 HAS SOUS 1655 HAS SOUPS 1458 WITH SCORE 1463.755
AT ITER 1411 NEW BEST:: SOT 9499 SOS 5750 HAS SOPS 1462 HAS SOUS 1650 HAS SOUPS 1453 WITH SCORE 1458.75
AT ITER 1427 NEW BEST:: SOT 9483 SOS 5734 HAS SOPS 1430 HAS SOUS 1618 HAS SOUPS 1421 WITH SCORE 1426.734
AT ITER 1474 NEW BEST:: SOT 9482 SOS 5724 HAS SOPS 1428 HAS SOUS 1616 HAS SOUPS 1419 WITH SCORE 1424.724
AT ITER 1491 NEW BEST:: SOT 9480 SOS 5719 HAS SOPS 1420 HAS SOUS 1608 HAS SOUPS 1411 WITH SCORE 1416.719
AT ITER 1521 NEW BEST:: SOT 9479 SOS 5718 HAS SOPS 1419 HAS SOUS 1607 HAS SOUPS 1410 WITH SCORE 1415.718
AT ITER 1532 NEW BEST:: SOT 9470 SOS 5716 HAS SOPS 1408 HAS SOUS 1596 HAS SOUPS 1399 WITH SCORE 1404.716
AT ITER 1549 NEW BEST:: SOT 9469 SOS 5714 HAS SOPS 1405 HAS SOUS 1593 HAS SOUPS 1396 WITH SCORE 1401.714
AT ITER 1562 NEW BEST:: SOT 9460 SOS 5711 HAS SOPS 1394 HAS SOUS 1582 HAS SOUPS 1385 WITH SCORE 1390.711
AT ITER 1566 NEW BEST:: SOT 9464 SOS 5715 HAS SOPS 1390 HAS SOUS 1578 HAS SOUPS 1381 WITH SCORE 1386.715
AT ITER 1607 NEW BEST:: SOT 9454 SOS 5700 HAS SOPS 1370 HAS SOUS 1558 HAS SOUPS 1361 WITH SCORE 1366.7
AT ITER 1647 NEW BEST:: SOT 9435 SOS 5681 HAS SOPS 1332 HAS SOUS 1520 HAS SOUPS 1323 WITH SCORE 1328.681
AT ITER 1697 NEW BEST:: SOT 9434 SOS 5681 HAS SOPS 1330 HAS SOUS 1518 HAS SOUPS 1321 WITH SCORE 1326.681
AT ITER 1751 NEW BEST:: SOT 9429 SOS 5676 HAS SOPS 1320 HAS SOUS 1508 HAS SOUPS 1311 WITH SCORE 1316.676
AT ITER 1769 NEW BEST:: SOT 9412 SOS 5669 HAS SOPS 1314 HAS SOUS 1502 HAS SOUPS 1305 WITH SCORE 1310.669
AT ITER 1788 NEW BEST:: SOT 9411 SOS 5669 HAS SOPS 1312 HAS SOUS 1500 HAS SOUPS 1303 WITH SCORE 1308.669
AT ITER 1791 NEW BEST:: SOT 9400 SOS 5659 HAS SOPS 1290 HAS SOUS 1478 HAS SOUPS 1281 WITH SCORE 1286.659
AT ITER 1802 NEW BEST:: SOT 9392 SOS 5651 HAS SOPS 1274 HAS SOUS 1462 HAS SOUPS 1265 WITH SCORE 1270.651
AT ITER 1807 NEW BEST:: SOT 9394 SOS 5648 HAS SOPS 1273 HAS SOUS 1461 HAS SOUPS 1264 WITH SCORE 1269.648
AT ITER 1876 NEW BEST:: SOT 9377 SOS 5639 HAS SOPS 1263 HAS SOUS 1451 HAS SOUPS 1254 WITH SCORE 1259.639
AT ITER 1879 NEW BEST:: SOT 9376 SOS 5637 HAS SOPS 1261 HAS SOUS 1450 HAS SOUPS 1253 WITH SCORE 1258.637
AT ITER 1911 NEW BEST:: SOT 9375 SOS 5636 HAS SOPS 1259 HAS SOUS 1448 HAS SOUPS 1251 WITH SCORE 1256.636
AT ITER 1947 NEW BEST:: SOT 9375 SOS 5635 HAS SOPS 1258 HAS SOUS 1447 HAS SOUPS 1250 WITH SCORE 1255.635
AT ITER 1974 NEW BEST:: SOT 9370 SOS 5632 HAS SOPS 1251 HAS SOUS 1440 HAS SOUPS 1243 WITH SCORE 1248.632
AT ITER 1992 NEW BEST:: SOT 9374 SOS 5630 HAS SOPS 1227 HAS SOUS 1416 HAS SOUPS 1219 WITH SCORE 1224.63
AT ITER 2032 NEW BEST:: SOT 9366 SOS 5659 HAS SOPS 1211 HAS SOUS 1400 HAS SOUPS 1203 WITH SCORE 1208.659
AT ITER 2051 NEW BEST:: SOT 9365 SOS 5650 HAS SOPS 1201 HAS SOUS 1390 HAS SOUPS 1193 WITH SCORE 1198.65
AT ITER 2138 NEW BEST:: SOT 9365 SOS 5648 HAS SOPS 1201 HAS SOUS 1390 HAS SOUPS 1193 WITH SCORE 1198.648
AT ITER 2192 NEW BEST:: SOT 9353 SOS 5636 HAS SOPS 1162 HAS SOUS 1351 HAS SOUPS 1154 WITH SCORE 1159.636
AT ITER 2196 NEW BEST:: SOT 9351 SOS 5634 HAS SOPS 1158 HAS SOUS 1347 HAS SOUPS 1150 WITH SCORE 1155.634
AT ITER 2226 NEW BEST:: SOT 9347 SOS 5622 HAS SOPS 1142 HAS SOUS 1331 HAS SOUPS 1134 WITH SCORE 1139.622
AT ITER 2271 NEW BEST:: SOT 9347 SOS 5615 HAS SOPS 1142 HAS SOUS 1331 HAS SOUPS 1134 WITH SCORE 1139.615
AT ITER 2322 NEW BEST:: SOT 9346 SOS 5612 HAS SOPS 1139 HAS SOUS 1330 HAS SOUPS 1133 WITH SCORE 1138.612
AT ITER 2382 NEW BEST:: SOT 9344 SOS 5921 HAS SOPS 1131 HAS SOUS 1329 HAS SOUPS 1127 WITH SCORE 1132.921
AT ITER 2418 NEW BEST:: SOT 9336 SOS 5911 HAS SOPS 1115 HAS SOUS 1313 HAS SOUPS 1111 WITH SCORE 1116.911
AT ITER 2465 NEW BEST:: SOT 9335 SOS 5909 HAS SOPS 1112 HAS SOUS 1310 HAS SOUPS 1108 WITH SCORE 1113.909
AT ITER 2474 NEW BEST:: SOT 9335 SOS 5906 HAS SOPS 1109 HAS SOUS 1309 HAS SOUPS 1107 WITH SCORE 1112.906
AT ITER 2490 NEW BEST:: SOT 9332 SOS 5881 HAS SOPS 1103 HAS SOUS 1303 HAS SOUPS 1101 WITH SCORE 1106.881
AT ITER 2511 NEW BEST:: SOT 9326 SOS 5875 HAS SOPS 1097 HAS SOUS 1297 HAS SOUPS 1095 WITH SCORE 1100.875
AT ITER 2542 NEW BEST:: SOT 9326 SOS 5874 HAS SOPS 1097 HAS SOUS 1297 HAS SOUPS 1095 WITH SCORE 1100.874
AT ITER 2602 NEW BEST:: SOT 9324 SOS 5871 HAS SOPS 1091 HAS SOUS 1291 HAS SOUPS 1089 WITH SCORE 1094.871
AT ITER 2603 NEW BEST:: SOT 9319 SOS 5866 HAS SOPS 1084 HAS SOUS 1284 HAS SOUPS 1082 WITH SCORE 1087.866
AT ITER 2678 NEW BEST:: SOT 9317 SOS 5865 HAS SOPS 1080 HAS SOUS 1280 HAS SOUPS 1078 WITH SCORE 1083.865
AT ITER 2701 NEW BEST:: SOT 9317 SOS 5862 HAS SOPS 1077 HAS SOUS 1277 HAS SOUPS 1075 WITH SCORE 1080.862
AT ITER 2798 NEW BEST:: SOT 9315 SOS 5860 HAS SOPS 1073 HAS SOUS 1273 HAS SOUPS 1071 WITH SCORE 1076.86
AT ITER 2844 NEW BEST:: SOT 9298 SOS 5843 HAS SOPS 1065 HAS SOUS 1265 HAS SOUPS 1063 WITH SCORE 1068.843
AT ITER 2861 NEW BEST:: SOT 9297 SOS 5842 HAS SOPS 1063 HAS SOUS 1263 HAS SOUPS 1061 WITH SCORE 1066.842
AT ITER 2900 NEW BEST:: SOT 9296 SOS 5841 HAS SOPS 1061 HAS SOUS 1261 HAS SOUPS 1059 WITH SCORE 1064.841
AT ITER 3086 NEW BEST:: SOT 9306 SOS 5844 HAS SOPS 1060 HAS SOUS 1262 HAS SOUPS 1058 WITH SCORE 1063.844
AT ITER 3104 NEW BEST:: SOT 9305 SOS 5843 HAS SOPS 1060 HAS SOUS 1262 HAS SOUPS 1058 WITH SCORE 1063.843
AT ITER 3174 NEW BEST:: SOT 9306 SOS 5843 HAS SOPS 1056 HAS SOUS 1258 HAS SOUPS 1054 WITH SCORE 1059.843
AT ITER 3202 NEW BEST:: SOT 9305 SOS 5843 HAS SOPS 1055 HAS SOUS 1257 HAS SOUPS 1053 WITH SCORE 1058.843
AT ITER 3327 NEW BEST:: SOT 9302 SOS 5840 HAS SOPS 1052 HAS SOUS 1254 HAS SOUPS 1050 WITH SCORE 1055.84
AT ITER 3406 NEW BEST:: SOT 9298 SOS 5832 HAS SOPS 1044 HAS SOUS 1246 HAS SOUPS 1042 WITH SCORE 1047.832
AT ITER 3466 NEW BEST:: SOT 9292 SOS 5829 HAS SOPS 1038 HAS SOUS 1240 HAS SOUPS 1036 WITH SCORE 1041.829
AT ITER 3476 NEW BEST:: SOT 9291 SOS 5827 HAS SOPS 1036 HAS SOUS 1238 HAS SOUPS 1034 WITH SCORE 1039.827
AT ITER 3493 NEW BEST:: SOT 9290 SOS 5825 HAS SOPS 1033 HAS SOUS 1235 HAS SOUPS 1031 WITH SCORE 1036.825
AT ITER 3494 NEW BEST:: SOT 9289 SOS 5825 HAS SOPS 1032 HAS SOUS 1234 HAS SOUPS 1030 WITH SCORE 1035.825
AT ITER 3575 NEW BEST:: SOT 9284 SOS 5820 HAS SOPS 1025 HAS SOUS 1227 HAS SOUPS 1023 WITH SCORE 1028.82
AT ITER 3618 NEW BEST:: SOT 9284 SOS 5819 HAS SOPS 1024 HAS SOUS 1226 HAS SOUPS 1022 WITH SCORE 1027.819
AT ITER 3650 NEW BEST:: SOT 9280 SOS 5816 HAS SOPS 1016 HAS SOUS 1218 HAS SOUPS 1014 WITH SCORE 1019.816
AT ITER 3655 NEW BEST:: SOT 9279 SOS 5816 HAS SOPS 1015 HAS SOUS 1217 HAS SOUPS 1013 WITH SCORE 1018.816
AT ITER 3692 NEW BEST:: SOT 9275 SOS 5817 HAS SOPS 1013 HAS SOUS 1215 HAS SOUPS 1011 WITH SCORE 1016.817
AT ITER 3765 NEW BEST:: SOT 9274 SOS 5816 HAS SOPS 1011 HAS SOUS 1213 HAS SOUPS 1009 WITH SCORE 1014.816
AT ITER 3788 NEW BEST:: SOT 9272 SOS 5815 HAS SOPS 1009 HAS SOUS 1211 HAS SOUPS 1007 WITH SCORE 1012.815
AT ITER 3811 NEW BEST:: SOT 9271 SOS 5814 HAS SOPS 1008 HAS SOUS 1210 HAS SOUPS 1006 WITH SCORE 1011.814
AT ITER 3907 NEW BEST:: SOT 9270 SOS 5813 HAS SOPS 1006 HAS SOUS 1208 HAS SOUPS 1004 WITH SCORE 1009.813
AT ITER 3976 NEW BEST:: SOT 9264 SOS 5804 HAS SOPS 991 HAS SOUS 1193 HAS SOUPS 989 WITH SCORE 994.804
AT ITER 4048 NEW BEST:: SOT 9264 SOS 5803 HAS SOPS 991 HAS SOUS 1193 HAS SOUPS 989 WITH SCORE 994.803
AT ITER 4072 NEW BEST:: SOT 9264 SOS 5803 HAS SOPS 987 HAS SOUS 1189 HAS SOUPS 985 WITH SCORE 990.803
AT ITER 4073 NEW BEST:: SOT 9263 SOS 5803 HAS SOPS 986 HAS SOUS 1188 HAS SOUPS 984 WITH SCORE 989.803
AT ITER 4086 NEW BEST:: SOT 9263 SOS 5802 HAS SOPS 984 HAS SOUS 1186 HAS SOUPS 982 WITH SCORE 987.802
AT ITER 4262 NEW BEST:: SOT 9260 SOS 5800 HAS SOPS 984 HAS SOUS 1186 HAS SOUPS 982 WITH SCORE 987.8
AT ITER 4388 NEW BEST:: SOT 9260 SOS 5799 HAS SOPS 983 HAS SOUS 1185 HAS SOUPS 981 WITH SCORE 986.799
AT ITER 4587 NEW BEST:: SOT 9259 SOS 5796 HAS SOPS 977 HAS SOUS 1179 HAS SOUPS 975 WITH SCORE 980.796
AT ITER 4604 NEW BEST:: SOT 9257 SOS 5794 HAS SOPS 975 HAS SOUS 1177 HAS SOUPS 973 WITH SCORE 978.794
AT ITER 4659 NEW BEST:: SOT 9258 SOS 5795 HAS SOPS 974 HAS SOUS 1176 HAS SOUPS 972 WITH SCORE 977.795
AT ITER 4672 NEW BEST:: SOT 9253 SOS 5790 HAS SOPS 968 HAS SOUS 1170 HAS SOUPS 966 WITH SCORE 971.79
AT ITER 4765 NEW BEST:: SOT 9251 SOS 5787 HAS SOPS 964 HAS SOUS 1166 HAS SOUPS 962 WITH SCORE 967.787
AT ITER 4841 NEW BEST:: SOT 9248 SOS 5784 HAS SOPS 960 HAS SOUS 1162 HAS SOUPS 958 WITH SCORE 963.784
AT ITER 4854 NEW BEST:: SOT 9246 SOS 5781 HAS SOPS 956 HAS SOUS 1158 HAS SOUPS 954 WITH SCORE 959.781
AT ITER 4981 NEW BEST:: SOT 9246 SOS 5781 HAS SOPS 955 HAS SOUS 1157 HAS SOUPS 953 WITH SCORE 958.781
AT ITER 5036 NEW BEST:: SOT 9244 SOS 5779 HAS SOPS 952 HAS SOUS 1154 HAS SOUPS 950 WITH SCORE 955.779
AT ITER 5132 NEW BEST:: SOT 9243 SOS 5808 HAS SOPS 949 HAS SOUS 1152 HAS SOUPS 947 WITH SCORE 952.808
AT ITER 5310 NEW BEST:: SOT 9243 SOS 5808 HAS SOPS 945 HAS SOUS 1148 HAS SOUPS 943 WITH SCORE 948.808
AT ITER 5474 NEW BEST:: SOT 9241 SOS 5807 HAS SOPS 943 HAS SOUS 1146 HAS SOUPS 941 WITH SCORE 946.807
AT ITER 5534 NEW BEST:: SOT 9241 SOS 5806 HAS SOPS 942 HAS SOUS 1145 HAS SOUPS 940 WITH SCORE 945.806
AT ITER 5559 NEW BEST:: SOT 9240 SOS 5804 HAS SOPS 940 HAS SOUS 1143 HAS SOUPS 938 WITH SCORE 943.804
AT ITER 5622 NEW BEST:: SOT 9240 SOS 5804 HAS SOPS 938 HAS SOUS 1141 HAS SOUPS 936 WITH SCORE 941.804
AT ITER 5741 NEW BEST:: SOT 9243 SOS 5806 HAS SOPS 936 HAS SOUS 1140 HAS SOUPS 934 WITH SCORE 939.806
AT ITER 5766 NEW BEST:: SOT 9242 SOS 5805 HAS SOPS 936 HAS SOUS 1140 HAS SOUPS 934 WITH SCORE 939.805
AT ITER 5775 NEW BEST:: SOT 9241 SOS 5804 HAS SOPS 936 HAS SOUS 1140 HAS SOUPS 934 WITH SCORE 939.804
AT ITER 5794 NEW BEST:: SOT 9241 SOS 5738 HAS SOPS 936 HAS SOUS 1139 HAS SOUPS 933 WITH SCORE 938.738
AT ITER 5863 NEW BEST:: SOT 9239 SOS 5751 HAS SOPS 932 HAS SOUS 1135 HAS SOUPS 929 WITH SCORE 934.751
AT ITER 5879 NEW BEST:: SOT 9241 SOS 5752 HAS SOPS 928 HAS SOUS 1131 HAS SOUPS 925 WITH SCORE 930.752
AT ITER 6293 NEW BEST:: SOT 9234 SOS 5745 HAS SOPS 921 HAS SOUS 1124 HAS SOUPS 918 WITH SCORE 923.745
AT ITER 6550 NEW BEST:: SOT 9232 SOS 5744 HAS SOPS 919 HAS SOUS 1122 HAS SOUPS 916 WITH SCORE 921.744
AT ITER 6741 NEW BEST:: SOT 9231 SOS 5742 HAS SOPS 916 HAS SOUS 1119 HAS SOUPS 913 WITH SCORE 918.742
AT ITER 6917 NEW BEST:: SOT 9228 SOS 5739 HAS SOPS 912 HAS SOUS 1116 HAS SOUPS 909 WITH SCORE 914.739
AT ITER 7593 NEW BEST:: SOT 9229 SOS 5739 HAS SOPS 910 HAS SOUS 1116 HAS SOUPS 907 WITH SCORE 912.739
AT ITER 7692 NEW BEST:: SOT 9228 SOS 5736 HAS SOPS 905 HAS SOUS 1112 HAS SOUPS 903 WITH SCORE 908.736
AT ITER 7971 NEW BEST:: SOT 9229 SOS 5735 HAS SOPS 905 HAS SOUS 1112 HAS SOUPS 903 WITH SCORE 908.735
AT ITER 8060 NEW BEST:: SOT 9227 SOS 5732 HAS SOPS 901 HAS SOUS 1108 HAS SOUPS 899 WITH SCORE 904.732
AT ITER 8077 NEW BEST:: SOT 9226 SOS 5727 HAS SOPS 891 HAS SOUS 1098 HAS SOUPS 889 WITH SCORE 894.727
AT ITER 8181 NEW BEST:: SOT 9225 SOS 5726 HAS SOPS 889 HAS SOUS 1096 HAS SOUPS 887 WITH SCORE 892.726
AT ITER 8234 NEW BEST:: SOT 9224 SOS 5725 HAS SOPS 887 HAS SOUS 1094 HAS SOUPS 885 WITH SCORE 890.725
AT ITER 8377 NEW BEST:: SOT 9222 SOS 5724 HAS SOPS 885 HAS SOUS 1092 HAS SOUPS 883 WITH SCORE 888.724
AT ITER 8381 NEW BEST:: SOT 9222 SOS 5722 HAS SOPS 881 HAS SOUS 1088 HAS SOUPS 879 WITH SCORE 884.722
AT ITER 8515 NEW BEST:: SOT 9221 SOS 5734 HAS SOPS 879 HAS SOUS 1086 HAS SOUPS 877 WITH SCORE 882.734
AT ITER 8728 NEW BEST:: SOT 9225 SOS 5733 HAS SOPS 877 HAS SOUS 1084 HAS SOUPS 875 WITH SCORE 880.733
AT ITER 8949 NEW BEST:: SOT 9225 SOS 5733 HAS SOPS 871 HAS SOUS 1078 HAS SOUPS 869 WITH SCORE 874.733
AT ITER 9105 NEW BEST:: SOT 9220 SOS 5734 HAS SOPS 867 HAS SOUS 1074 HAS SOUPS 865 WITH SCORE 870.734
AT ITER 9190 NEW BEST:: SOT 9224 SOS 5730 HAS SOPS 867 HAS SOUS 1074 HAS SOUPS 865 WITH SCORE 870.73
AT ITER 9251 NEW BEST:: SOT 9218 SOS 5729 HAS SOPS 865 HAS SOUS 1072 HAS SOUPS 863 WITH SCORE 868.729
AT ITER 9516 NEW BEST:: SOT 9220 SOS 5728 HAS SOPS 863 HAS SOUS 1070 HAS SOUPS 861 WITH SCORE 866.728
AT ITER 9535 NEW BEST:: SOT 9211 SOS 5724 HAS SOPS 860 HAS SOUS 1067 HAS SOUPS 858 WITH SCORE 863.724
AT ITER 9662 NEW BEST:: SOT 9211 SOS 5723 HAS SOPS 860 HAS SOUS 1067 HAS SOUPS 858 WITH SCORE 863.723
AT ITER 9851 NEW BEST:: SOT 9210 SOS 5723 HAS SOPS 858 HAS SOUS 1065 HAS SOUPS 856 WITH SCORE 861.723
AT ITER 9941 NEW BEST:: SOT 9210 SOS 5721 HAS SOPS 855 HAS SOUS 1062 HAS SOUPS 853 WITH SCORE 858.721
AT ITER 9949 NEW BEST:: SOT 9206 SOS 5717 HAS SOPS 851 HAS SOUS 1058 HAS SOUPS 849 WITH SCORE 854.717
STATE_SPACE STATES 285311670612 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 13 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3994363388555 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589363664063

--------------------
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="DiscoveryGPU-PT-11a"
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"

# 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 DiscoveryGPU-PT-11a, 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 r063-tajo-158922807800672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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