About the Execution of ITS-Tools for DLCflexbar-PT-6b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2740.775 | 74301.00 | 177930.00 | 291.60 | TTTTTFTFTFTTFFTT | normal |
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.r101-tall-167814475600582.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 itstools
Input is DLCflexbar-PT-6b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r101-tall-167814475600582
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 8.4K Feb 25 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 15:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 15:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 15:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 140K Feb 25 15:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 15:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 15:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 9.6M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-00
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-01
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-02
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-03
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-04
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-05
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-06
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-07
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-08
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-09
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-10
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-11
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-12
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-13
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-14
FORMULA_NAME DLCflexbar-PT-6b-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1678292929947
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=itstools
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCflexbar-PT-6b
Not applying reductions.
Model is PT
ReachabilityCardinality PT
Running Version 202303021504
[2023-03-08 16:28:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2023-03-08 16:28:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 16:28:52] [INFO ] Load time of PNML (sax parser for PT used): 592 ms
[2023-03-08 16:28:52] [INFO ] Transformed 25104 places.
[2023-03-08 16:28:52] [INFO ] Transformed 39112 transitions.
[2023-03-08 16:28:52] [INFO ] Found NUPN structural information;
[2023-03-08 16:28:53] [INFO ] Parsed PT model containing 25104 places and 39112 transitions and 109395 arcs in 2035 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 48 ms.
Working with output stream class java.io.PrintStream
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 2 resets, run finished after 1072 ms. (steps per millisecond=9 ) properties (out of 14) seen :3
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 85 ms. (steps per millisecond=117 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 65 ms. (steps per millisecond=153 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 50 ms. (steps per millisecond=200 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 83 ms. (steps per millisecond=120 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 49 ms. (steps per millisecond=204 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 54 ms. (steps per millisecond=185 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 33 ms. (steps per millisecond=303 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 11) seen :0
Running SMT prover for 11 properties.
// Phase 1: matrix 39112 rows 25104 cols
[2023-03-08 16:28:58] [INFO ] Computed 1492 place invariants in 284 ms
[2023-03-08 16:28:58] [INFO ] Flatten gal took : 1466 ms
[2023-03-08 16:28:59] [INFO ] Flatten gal took : 882 ms
[2023-03-08 16:28:59] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15627460495013848127.gal : 231 ms
[2023-03-08 16:28:59] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6212215033213184034.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality15627460495013848127.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality6212215033213184034.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityCardinality6212215033213184034.prop.
[2023-03-08 16:29:16] [INFO ] [Real]Absence check using 1492 positive place invariants in 8300 ms returned sat
[2023-03-08 16:29:17] [INFO ] After 19315ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:11
[2023-03-08 16:29:34] [INFO ] [Nat]Absence check using 1492 positive place invariants in 7469 ms returned sat
[2023-03-08 16:29:42] [INFO ] After 4389ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :10
[2023-03-08 16:29:42] [INFO ] After 4445ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :10
Attempting to minimize the solution found.
Minimization took 12 ms.
[2023-03-08 16:29:42] [INFO ] After 25095ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :10
Fused 11 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 120 out of 25104 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 25104/25104 places, 39112/39112 transitions.
Graph (trivial) has 22550 edges and 25104 vertex of which 1675 / 25104 are part of one of the 110 SCC in 53 ms
Free SCC test removed 1565 places
Drop transitions removed 1766 transitions
Reduce isomorphic transitions removed 1766 transitions.
Drop transitions removed 11058 transitions
Trivial Post-agglo rules discarded 11058 transitions
Performed 11058 trivial Post agglomeration. Transition count delta: 11058
Iterating post reduction 0 with 11058 rules applied. Total rules applied 11059 place count 23539 transition count 26288
Reduce places removed 11058 places and 0 transitions.
Ensure Unique test removed 269 transitions
Reduce isomorphic transitions removed 269 transitions.
Drop transitions removed 261 transitions
Trivial Post-agglo rules discarded 261 transitions
Performed 261 trivial Post agglomeration. Transition count delta: 261
Iterating post reduction 1 with 11588 rules applied. Total rules applied 22647 place count 12481 transition count 25758
Reduce places removed 261 places and 0 transitions.
Ensure Unique test removed 81 transitions
Reduce isomorphic transitions removed 81 transitions.
Drop transitions removed 77 transitions
Trivial Post-agglo rules discarded 77 transitions
Performed 77 trivial Post agglomeration. Transition count delta: 77
Iterating post reduction 2 with 419 rules applied. Total rules applied 23066 place count 12220 transition count 25600
Reduce places removed 77 places and 0 transitions.
Performed 51 Post agglomeration using F-continuation condition.Transition count delta: 51
Iterating post reduction 3 with 128 rules applied. Total rules applied 23194 place count 12143 transition count 25549
Reduce places removed 51 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 4 with 54 rules applied. Total rules applied 23248 place count 12092 transition count 25546
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 23249 place count 12091 transition count 25546
Performed 139 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 139 Pre rules applied. Total rules applied 23249 place count 12091 transition count 25407
Deduced a syphon composed of 139 places in 1078 ms
Reduce places removed 139 places and 0 transitions.
Iterating global reduction 6 with 278 rules applied. Total rules applied 23527 place count 11952 transition count 25407
Discarding 3311 places :
Symmetric choice reduction at 6 with 3311 rule applications. Total rules 26838 place count 8641 transition count 22096
Iterating global reduction 6 with 3311 rules applied. Total rules applied 30149 place count 8641 transition count 22096
Performed 1429 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1429 Pre rules applied. Total rules applied 30149 place count 8641 transition count 20667
Deduced a syphon composed of 1429 places in 839 ms
Reduce places removed 1429 places and 0 transitions.
Iterating global reduction 6 with 2858 rules applied. Total rules applied 33007 place count 7212 transition count 20667
Discarding 205 places :
Symmetric choice reduction at 6 with 205 rule applications. Total rules 33212 place count 7007 transition count 14462
Iterating global reduction 6 with 205 rules applied. Total rules applied 33417 place count 7007 transition count 14462
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 6 with 166 rules applied. Total rules applied 33583 place count 7007 transition count 14296
Performed 1761 Post agglomeration using F-continuation condition with reduction of 8 identical transitions.
Deduced a syphon composed of 1761 places in 5 ms
Reduce places removed 1761 places and 0 transitions.
Iterating global reduction 7 with 3522 rules applied. Total rules applied 37105 place count 5246 transition count 12527
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 7 with 10 rules applied. Total rules applied 37115 place count 5246 transition count 12517
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -698
Deduced a syphon composed of 101 places in 5 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 8 with 202 rules applied. Total rules applied 37317 place count 5145 transition count 13215
Ensure Unique test removed 47 transitions
Reduce isomorphic transitions removed 47 transitions.
Iterating post reduction 8 with 47 rules applied. Total rules applied 37364 place count 5145 transition count 13168
Discarding 47 places :
Symmetric choice reduction at 9 with 47 rule applications. Total rules 37411 place count 5098 transition count 12416
Iterating global reduction 9 with 47 rules applied. Total rules applied 37458 place count 5098 transition count 12416
Ensure Unique test removed 43 transitions
Reduce isomorphic transitions removed 43 transitions.
Iterating post reduction 9 with 43 rules applied. Total rules applied 37501 place count 5098 transition count 12373
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -661
Deduced a syphon composed of 101 places in 7 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 37703 place count 4997 transition count 13034
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 10 with 26 rules applied. Total rules applied 37729 place count 4997 transition count 13008
Discarding 25 places :
Symmetric choice reduction at 11 with 25 rule applications. Total rules 37754 place count 4972 transition count 12608
Iterating global reduction 11 with 25 rules applied. Total rules applied 37779 place count 4972 transition count 12608
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 23 transitions.
Iterating post reduction 11 with 23 rules applied. Total rules applied 37802 place count 4972 transition count 12585
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -698
Deduced a syphon composed of 101 places in 20 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 12 with 202 rules applied. Total rules applied 38004 place count 4871 transition count 13283
Drop transitions removed 90 transitions
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 100 transitions.
Iterating post reduction 12 with 100 rules applied. Total rules applied 38104 place count 4871 transition count 13183
Discarding 9 places :
Symmetric choice reduction at 13 with 9 rule applications. Total rules 38113 place count 4862 transition count 13039
Iterating global reduction 13 with 9 rules applied. Total rules applied 38122 place count 4862 transition count 13039
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 13 with 8 rules applied. Total rules applied 38130 place count 4862 transition count 13031
Performed 31 Post agglomeration using F-continuation condition.Transition count delta: -221
Deduced a syphon composed of 31 places in 2 ms
Reduce places removed 31 places and 0 transitions.
Iterating global reduction 14 with 62 rules applied. Total rules applied 38192 place count 4831 transition count 13252
Drop transitions removed 34 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 14 with 34 rules applied. Total rules applied 38226 place count 4831 transition count 13218
Drop transitions removed 153 transitions
Redundant transition composition rules discarded 153 transitions
Iterating global reduction 15 with 153 rules applied. Total rules applied 38379 place count 4831 transition count 13065
Discarding 15 places :
Symmetric choice reduction at 15 with 15 rule applications. Total rules 38394 place count 4816 transition count 13050
Iterating global reduction 15 with 15 rules applied. Total rules applied 38409 place count 4816 transition count 13050
Discarding 15 places :
Symmetric choice reduction at 15 with 15 rule applications. Total rules 38424 place count 4801 transition count 11619
Iterating global reduction 15 with 15 rules applied. Total rules applied 38439 place count 4801 transition count 11619
Ensure Unique test removed 15 transitions
Reduce isomorphic transitions removed 15 transitions.
Iterating post reduction 15 with 15 rules applied. Total rules applied 38454 place count 4801 transition count 11604
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 2 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 16 with 16 rules applied. Total rules applied 38470 place count 4793 transition count 11596
Discarding 8 places :
Symmetric choice reduction at 16 with 8 rule applications. Total rules 38478 place count 4785 transition count 10833
Iterating global reduction 16 with 8 rules applied. Total rules applied 38486 place count 4785 transition count 10833
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 16 with 8 rules applied. Total rules applied 38494 place count 4785 transition count 10825
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 17 with 8 rules applied. Total rules applied 38502 place count 4781 transition count 10844
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 17 with 4 rules applied. Total rules applied 38506 place count 4781 transition count 10840
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 18 with 19 rules applied. Total rules applied 38525 place count 4781 transition count 10821
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -5
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 18 with 4 rules applied. Total rules applied 38529 place count 4779 transition count 10826
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 18 with 2 rules applied. Total rules applied 38531 place count 4779 transition count 10824
Drop transitions removed 5 transitions
Redundant transition composition rules discarded 5 transitions
Iterating global reduction 19 with 5 rules applied. Total rules applied 38536 place count 4779 transition count 10819
Free-agglomeration rule applied 2876 times with reduction of 1839 identical transitions.
Iterating global reduction 19 with 2876 rules applied. Total rules applied 41412 place count 4779 transition count 6104
Reduce places removed 2876 places and 0 transitions.
Drop transitions removed 3477 transitions
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 3497 transitions.
Graph (complete) has 4271 edges and 1903 vertex of which 1196 are kept as prefixes of interest. Removing 707 places using SCC suffix rule.4 ms
Discarding 707 places :
Also discarding 618 output transitions
Drop transitions removed 618 transitions
Iterating post reduction 19 with 6374 rules applied. Total rules applied 47786 place count 1196 transition count 1989
Drop transitions removed 97 transitions
Ensure Unique test removed 98 transitions
Reduce isomorphic transitions removed 195 transitions.
Iterating post reduction 20 with 195 rules applied. Total rules applied 47981 place count 1196 transition count 1794
Discarding 578 places :
Symmetric choice reduction at 21 with 578 rule applications. Total rules 48559 place count 618 transition count 986
Iterating global reduction 21 with 578 rules applied. Total rules applied 49137 place count 618 transition count 986
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 21 with 3 rules applied. Total rules applied 49140 place count 618 transition count 983
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 22 with 10 rules applied. Total rules applied 49150 place count 613 transition count 1011
Drop transitions removed 10 transitions
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 22 with 14 rules applied. Total rules applied 49164 place count 613 transition count 997
Drop transitions removed 39 transitions
Redundant transition composition rules discarded 39 transitions
Iterating global reduction 23 with 39 rules applied. Total rules applied 49203 place count 613 transition count 958
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 23 with 4 rules applied. Total rules applied 49207 place count 609 transition count 958
Discarding 4 places :
Symmetric choice reduction at 24 with 4 rule applications. Total rules 49211 place count 605 transition count 954
Iterating global reduction 24 with 4 rules applied. Total rules applied 49215 place count 605 transition count 954
Free-agglomeration rule applied 1 times.
Iterating global reduction 24 with 1 rules applied. Total rules applied 49216 place count 605 transition count 953
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 24 with 1 rules applied. Total rules applied 49217 place count 604 transition count 953
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 25 with 2 rules applied. Total rules applied 49219 place count 604 transition count 953
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 25 with 1 rules applied. Total rules applied 49220 place count 603 transition count 952
Reduce places removed 7 places and 0 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Iterating post reduction 25 with 16 rules applied. Total rules applied 49236 place count 596 transition count 943
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 26 with 9 rules applied. Total rules applied 49245 place count 587 transition count 943
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 27 with 7 Pre rules applied. Total rules applied 49245 place count 587 transition count 936
Deduced a syphon composed of 7 places in 0 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 27 with 14 rules applied. Total rules applied 49259 place count 580 transition count 936
Performed 41 Post agglomeration using F-continuation condition with reduction of 59 identical transitions.
Deduced a syphon composed of 41 places in 1 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 27 with 82 rules applied. Total rules applied 49341 place count 539 transition count 836
Drop transitions removed 66 transitions
Ensure Unique test removed 73 transitions
Reduce isomorphic transitions removed 139 transitions.
Iterating post reduction 27 with 139 rules applied. Total rules applied 49480 place count 539 transition count 697
Discarding 41 places :
Symmetric choice reduction at 28 with 41 rule applications. Total rules 49521 place count 498 transition count 641
Iterating global reduction 28 with 41 rules applied. Total rules applied 49562 place count 498 transition count 641
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 28 with 1 rules applied. Total rules applied 49563 place count 498 transition count 640
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 29 with 1 rules applied. Total rules applied 49564 place count 498 transition count 639
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 29 with 1 rules applied. Total rules applied 49565 place count 497 transition count 639
Free-agglomeration rule applied 3 times.
Iterating global reduction 30 with 3 rules applied. Total rules applied 49568 place count 497 transition count 636
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 30 with 3 rules applied. Total rules applied 49571 place count 494 transition count 636
Applied a total of 49571 rules in 18681 ms. Remains 494 /25104 variables (removed 24610) and now considering 636/39112 (removed 38476) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 18681 ms. Remains : 494/25104 places, 636/39112 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=81 ) properties (out of 11) seen :10
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-12 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-07 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-05 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
[2023-03-08 16:30:01] [INFO ] Flow matrix only has 484 transitions (discarded 152 similar events)
// Phase 1: matrix 484 rows 494 cols
[2023-03-08 16:30:01] [INFO ] Computed 230 place invariants in 4 ms
[2023-03-08 16:30:01] [INFO ] After 138ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-08 16:30:02] [INFO ] [Nat]Absence check using 230 positive place invariants in 358 ms returned sat
[2023-03-08 16:30:02] [INFO ] After 148ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-08 16:30:02] [INFO ] State equation strengthened by 140 read => feed constraints.
[2023-03-08 16:30:02] [INFO ] After 44ms SMT Verify possible using 140 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-08 16:30:02] [INFO ] After 76ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 25 ms.
[2023-03-08 16:30:02] [INFO ] After 808ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 2 ms.
Support contains 10 out of 494 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 494/494 places, 636/636 transitions.
Graph (trivial) has 214 edges and 494 vertex of which 70 / 494 are part of one of the 35 SCC in 0 ms
Free SCC test removed 35 places
Drop transitions removed 80 transitions
Reduce isomorphic transitions removed 80 transitions.
Graph (complete) has 1416 edges and 459 vertex of which 151 are kept as prefixes of interest. Removing 308 places using SCC suffix rule.1 ms
Discarding 308 places :
Also discarding 285 output transitions
Drop transitions removed 285 transitions
Drop transitions removed 58 transitions
Reduce isomorphic transitions removed 58 transitions.
Drop transitions removed 14 transitions
Trivial Post-agglo rules discarded 14 transitions
Performed 14 trivial Post agglomeration. Transition count delta: 14
Iterating post reduction 0 with 72 rules applied. Total rules applied 74 place count 151 transition count 199
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 1 with 14 rules applied. Total rules applied 88 place count 137 transition count 199
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 88 place count 137 transition count 196
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 94 place count 134 transition count 196
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 98 place count 134 transition count 192
Discarding 43 places :
Symmetric choice reduction at 3 with 43 rule applications. Total rules 141 place count 91 transition count 148
Iterating global reduction 3 with 43 rules applied. Total rules applied 184 place count 91 transition count 148
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 192 place count 91 transition count 140
Performed 16 Post agglomeration using F-continuation condition with reduction of 1 identical transitions.
Deduced a syphon composed of 16 places in 0 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 4 with 32 rules applied. Total rules applied 224 place count 75 transition count 123
Drop transitions removed 7 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 4 with 9 rules applied. Total rules applied 233 place count 75 transition count 114
Discarding 2 places :
Symmetric choice reduction at 5 with 2 rule applications. Total rules 235 place count 73 transition count 111
Iterating global reduction 5 with 2 rules applied. Total rules applied 237 place count 73 transition count 111
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 240 place count 73 transition count 108
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -6
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 242 place count 72 transition count 114
Drop transitions removed 5 transitions
Redundant transition composition rules discarded 5 transitions
Iterating global reduction 6 with 5 rules applied. Total rules applied 247 place count 72 transition count 109
Free-agglomeration rule applied 1 times.
Iterating global reduction 6 with 1 rules applied. Total rules applied 248 place count 72 transition count 108
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 6 with 3 rules applied. Total rules applied 251 place count 71 transition count 106
Applied a total of 251 rules in 31 ms. Remains 71 /494 variables (removed 423) and now considering 106/636 (removed 530) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 31 ms. Remains : 71/494 places, 106/636 transitions.
Finished random walk after 1434 steps, including 0 resets, run visited all 1 properties in 5 ms. (steps per millisecond=286 )
FORMULA DLCflexbar-PT-6b-ReachabilityCardinality-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
ITS runner failed with exception null
java.lang.InterruptedException
at java.base/java.lang.Object.wait(Native Method)
at java.base/java.lang.Thread.join(Thread.java:1304)
at java.base/java.lang.Thread.join(Thread.java:1372)
at fr.lip6.move.gal.application.runner.AbstractRunner.join(AbstractRunner.java:27)
at fr.lip6.move.gal.application.runner.its.ITSRunner.join(ITSRunner.java:177)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.verifyWithSDD(GlobalPropertySolver.java:675)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.lambda$2(ReachabilitySolver.java:63)
at java.base/java.lang.Thread.run(Thread.java:833)
All properties solved without resorting to model-checking.
Total runtime 71332 ms.
BK_STOP 1678293004248
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-6b"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
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 itstools"
echo " Input is DLCflexbar-PT-6b, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r101-tall-167814475600582"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-6b.tgz
mv DLCflexbar-PT-6b execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;