About the Execution of 2023-gold for CANInsertWithFailure-PT-070
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16225.123 | 387695.00 | 2585021.00 | 41314.00 | TTTTFTTT?FTFTTFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r087-tall-171620521500095.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool gold2023
Input is CANInsertWithFailure-PT-070, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r087-tall-171620521500095
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 30M
-rw-r--r-- 1 mcc users 9.9K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 34K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.9K May 19 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 19 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 19 07:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 19 17:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 19 07:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K May 19 15:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 30M May 18 16:42 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 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-00
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2024-01
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2024-06
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2024-07
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2024-09
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2024-13
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2024-14
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1716237345157
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=gold2023
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANInsertWithFailure-PT-070
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-20 20:35:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2024-05-20 20:35:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-20 20:35:47] [INFO ] Load time of PNML (sax parser for PT used): 771 ms
[2024-05-20 20:35:47] [INFO ] Transformed 10644 places.
[2024-05-20 20:35:47] [INFO ] Transformed 29820 transitions.
[2024-05-20 20:35:47] [INFO ] Parsed PT model containing 10644 places and 29820 transitions and 79800 arcs in 926 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 20 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 5 resets, run finished after 661 ms. (steps per millisecond=15 ) properties (out of 16) seen :4
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 51 ms. (steps per millisecond=196 ) properties (out of 12) 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 12) 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 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 59 ms. (steps per millisecond=169 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 12) 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 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 12) 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 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 45 ms. (steps per millisecond=222 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 44 ms. (steps per millisecond=227 ) properties (out of 12) seen :0
Running SMT prover for 12 properties.
// Phase 1: matrix 29820 rows 10644 cols
[2024-05-20 20:35:54] [INFO ] Computed 73 invariants in 5267 ms
[2024-05-20 20:35:57] [INFO ] [Real]Absence check using 71 positive place invariants in 122 ms returned sat
[2024-05-20 20:35:57] [INFO ] [Real]Absence check using 71 positive and 2 generalized place invariants in 190 ms returned sat
[2024-05-20 20:35:58] [INFO ] After 4076ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:12
[2024-05-20 20:36:01] [INFO ] [Nat]Absence check using 71 positive place invariants in 126 ms returned sat
[2024-05-20 20:36:01] [INFO ] [Nat]Absence check using 71 positive and 2 generalized place invariants in 184 ms returned sat
[2024-05-20 20:36:23] [INFO ] After 20823ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :11
[2024-05-20 20:36:23] [INFO ] State equation strengthened by 9730 read => feed constraints.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:645)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:353)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:944)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-20 20:36:23] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-20 20:36:23] [INFO ] After 25170ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0 real:12
Fused 12 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 232 out of 10644 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10644/10644 places, 29820/29820 transitions.
Graph (complete) has 40251 edges and 10644 vertex of which 10643 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.36 ms
Discarding 1 places :
Also discarding 0 output transitions
Drop transitions removed 420 transitions
Trivial Post-agglo rules discarded 420 transitions
Performed 420 trivial Post agglomeration. Transition count delta: 420
Iterating post reduction 0 with 420 rules applied. Total rules applied 421 place count 10643 transition count 29400
Reduce places removed 420 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 422 rules applied. Total rules applied 843 place count 10223 transition count 29398
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 845 place count 10221 transition count 29398
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 24 Pre rules applied. Total rules applied 845 place count 10221 transition count 29374
Deduced a syphon composed of 24 places in 10 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 3 with 48 rules applied. Total rules applied 893 place count 10197 transition count 29374
Performed 4648 Post agglomeration using F-continuation condition.Transition count delta: 4648
Deduced a syphon composed of 4648 places in 21 ms
Reduce places removed 4648 places and 0 transitions.
Iterating global reduction 3 with 9296 rules applied. Total rules applied 10189 place count 5549 transition count 24726
Free-agglomeration rule (complex) applied 42 times.
Iterating global reduction 3 with 42 rules applied. Total rules applied 10231 place count 5549 transition count 24684
Reduce places removed 42 places and 0 transitions.
Iterating post reduction 3 with 42 rules applied. Total rules applied 10273 place count 5507 transition count 24684
Partial Free-agglomeration rule applied 5123 times.
Drop transitions removed 5123 transitions
Iterating global reduction 4 with 5123 rules applied. Total rules applied 15396 place count 5507 transition count 24684
Partial Free-agglomeration rule applied 1751 times.
Drop transitions removed 1751 transitions
Iterating global reduction 4 with 1751 rules applied. Total rules applied 17147 place count 5507 transition count 24684
Applied a total of 17147 rules in 9758 ms. Remains 5507 /10644 variables (removed 5137) and now considering 24684/29820 (removed 5136) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 9764 ms. Remains : 5507/10644 places, 24684/29820 transitions.
Incomplete random walk after 10000 steps, including 21 resets, run finished after 438 ms. (steps per millisecond=22 ) properties (out of 12) seen :3
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 30 ms. (steps per millisecond=333 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=232 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 9) seen :1
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-06 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=238 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 31 ms. (steps per millisecond=322 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 8) seen :0
Running SMT prover for 8 properties.
[2024-05-20 20:36:34] [INFO ] Flow matrix only has 24616 transitions (discarded 68 similar events)
// Phase 1: matrix 24616 rows 5507 cols
[2024-05-20 20:36:35] [INFO ] Computed 72 invariants in 1303 ms
[2024-05-20 20:36:36] [INFO ] [Real]Absence check using 70 positive place invariants in 50 ms returned sat
[2024-05-20 20:36:36] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 76 ms returned sat
[2024-05-20 20:36:37] [INFO ] After 1557ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:8
[2024-05-20 20:36:38] [INFO ] [Nat]Absence check using 70 positive place invariants in 51 ms returned sat
[2024-05-20 20:36:38] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 76 ms returned sat
[2024-05-20 20:36:55] [INFO ] After 16679ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :8
[2024-05-20 20:36:55] [INFO ] State equation strengthened by 23761 read => feed constraints.
[2024-05-20 20:37:02] [INFO ] After 6472ms SMT Verify possible using 23761 Read/Feed constraints in natural domain returned unsat :0 sat :8
[2024-05-20 20:37:02] [INFO ] After 6474ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :8
Attempting to minimize the solution found.
Minimization took 15 ms.
[2024-05-20 20:37:02] [INFO ] After 25079ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :8
Fused 8 Parikh solutions to 2 different solutions.
Parikh walk visited 0 properties in 13 ms.
Support contains 176 out of 5507 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5507/5507 places, 24684/24684 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 5507 transition count 24683
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 5506 transition count 24683
Performed 27 Post agglomeration using F-continuation condition.Transition count delta: 27
Deduced a syphon composed of 27 places in 4 ms
Reduce places removed 27 places and 0 transitions.
Iterating global reduction 2 with 54 rules applied. Total rules applied 56 place count 5479 transition count 24656
Partial Free-agglomeration rule applied 20 times.
Drop transitions removed 20 transitions
Iterating global reduction 2 with 20 rules applied. Total rules applied 76 place count 5479 transition count 24656
Applied a total of 76 rules in 3327 ms. Remains 5479 /5507 variables (removed 28) and now considering 24656/24684 (removed 28) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3327 ms. Remains : 5479/5507 places, 24656/24684 transitions.
Incomplete random walk after 10000 steps, including 22 resets, run finished after 375 ms. (steps per millisecond=26 ) properties (out of 8) 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 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 42 ms. (steps per millisecond=238 ) properties (out of 8) 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 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 8) 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 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 8) seen :0
Interrupted probabilistic random walk after 53683 steps, run timeout after 3001 ms. (steps per millisecond=17 ) properties seen :{}
Probabilistic random walk after 53683 steps, saw 43878 distinct states, run finished after 3005 ms. (steps per millisecond=17 ) properties seen :0
Running SMT prover for 8 properties.
[2024-05-20 20:37:09] [INFO ] Flow matrix only has 24607 transitions (discarded 49 similar events)
// Phase 1: matrix 24607 rows 5479 cols
[2024-05-20 20:37:10] [INFO ] Computed 72 invariants in 1249 ms
[2024-05-20 20:37:11] [INFO ] [Real]Absence check using 70 positive place invariants in 54 ms returned sat
[2024-05-20 20:37:11] [INFO ] [Real]Absence check using 70 positive and 2 generalized place invariants in 77 ms returned sat
[2024-05-20 20:37:11] [INFO ] After 1535ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:8
[2024-05-20 20:37:12] [INFO ] [Nat]Absence check using 70 positive place invariants in 47 ms returned sat
[2024-05-20 20:37:12] [INFO ] [Nat]Absence check using 70 positive and 2 generalized place invariants in 75 ms returned sat
[2024-05-20 20:37:29] [INFO ] After 15621ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :8
[2024-05-20 20:37:29] [INFO ] State equation strengthened by 23904 read => feed constraints.
[2024-05-20 20:37:36] [INFO ] After 7496ms SMT Verify possible using 23904 Read/Feed constraints in natural domain returned unsat :0 sat :8
[2024-05-20 20:37:36] [INFO ] After 7633ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :7
Attempting to minimize the solution found.
Minimization took 16 ms.
[2024-05-20 20:37:37] [INFO ] After 25064ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :7
Fused 8 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 176 out of 5479 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5479/5479 places, 24656/24656 transitions.
Applied a total of 0 rules in 1149 ms. Remains 5479 /5479 variables (removed 0) and now considering 24656/24656 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1150 ms. Remains : 5479/5479 places, 24656/24656 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5479/5479 places, 24656/24656 transitions.
Applied a total of 0 rules in 1145 ms. Remains 5479 /5479 variables (removed 0) and now considering 24656/24656 (removed 0) transitions.
[2024-05-20 20:37:39] [INFO ] Flow matrix only has 24607 transitions (discarded 49 similar events)
[2024-05-20 20:37:39] [INFO ] Invariant cache hit.
[2024-05-20 20:37:43] [INFO ] Implicit Places using invariants in 3978 ms returned []
Implicit Place search using SMT only with invariants took 3980 ms to find 0 implicit places.
[2024-05-20 20:37:43] [INFO ] Flow matrix only has 24607 transitions (discarded 49 similar events)
[2024-05-20 20:37:43] [INFO ] Invariant cache hit.
[2024-05-20 20:37:56] [INFO ] Dead Transitions using invariants and state equation in 13045 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 18177 ms. Remains : 5479/5479 places, 24656/24656 transitions.
Graph (trivial) has 21355 edges and 5479 vertex of which 3795 / 5479 are part of one of the 1 SCC in 6 ms
Free SCC test removed 3794 places
Drop transitions removed 13789 transitions
Ensure Unique test removed 4580 transitions
Reduce isomorphic transitions removed 18369 transitions.
Graph (complete) has 6794 edges and 1685 vertex of which 1573 are kept as prefixes of interest. Removing 112 places using SCC suffix rule.2 ms
Discarding 112 places :
Also discarding 37 output transitions
Drop transitions removed 37 transitions
Drop transitions removed 405 transitions
Reduce isomorphic transitions removed 405 transitions.
Iterating post reduction 0 with 405 rules applied. Total rules applied 407 place count 1573 transition count 5845
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 5 Pre rules applied. Total rules applied 407 place count 1573 transition count 5840
Deduced a syphon composed of 5 places in 2 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 1 with 10 rules applied. Total rules applied 417 place count 1568 transition count 5840
Discarding 864 places :
Symmetric choice reduction at 1 with 864 rule applications. Total rules 1281 place count 704 transition count 2854
Iterating global reduction 1 with 864 rules applied. Total rules applied 2145 place count 704 transition count 2854
Ensure Unique test removed 725 transitions
Reduce isomorphic transitions removed 725 transitions.
Iterating post reduction 1 with 725 rules applied. Total rules applied 2870 place count 704 transition count 2129
Discarding 100 places :
Symmetric choice reduction at 2 with 100 rule applications. Total rules 2970 place count 604 transition count 1929
Iterating global reduction 2 with 100 rules applied. Total rules applied 3070 place count 604 transition count 1929
Ensure Unique test removed 100 transitions
Reduce isomorphic transitions removed 100 transitions.
Iterating post reduction 2 with 100 rules applied. Total rules applied 3170 place count 604 transition count 1829
Drop transitions removed 253 transitions
Redundant transition composition rules discarded 253 transitions
Iterating global reduction 3 with 253 rules applied. Total rules applied 3423 place count 604 transition count 1576
Performed 15 Post agglomeration using F-continuation condition.Transition count delta: 15
Iterating post reduction 3 with 15 rules applied. Total rules applied 3438 place count 604 transition count 1561
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 4 with 15 rules applied. Total rules applied 3453 place count 589 transition count 1561
Discarding 10 places :
Symmetric choice reduction at 5 with 10 rule applications. Total rules 3463 place count 579 transition count 1541
Iterating global reduction 5 with 10 rules applied. Total rules applied 3473 place count 579 transition count 1541
Performed 179 Post agglomeration using F-continuation condition.Transition count delta: 179
Deduced a syphon composed of 179 places in 0 ms
Reduce places removed 179 places and 0 transitions.
Iterating global reduction 5 with 358 rules applied. Total rules applied 3831 place count 400 transition count 1362
Ensure Unique test removed 284 transitions
Reduce isomorphic transitions removed 284 transitions.
Iterating post reduction 5 with 284 rules applied. Total rules applied 4115 place count 400 transition count 1078
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 10 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 6 with 20 rules applied. Total rules applied 4135 place count 390 transition count 1078
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 6 with 20 rules applied. Total rules applied 4155 place count 390 transition count 1058
Drop transitions removed 52 transitions
Redundant transition composition rules discarded 52 transitions
Iterating global reduction 7 with 52 rules applied. Total rules applied 4207 place count 390 transition count 1006
Free-agglomeration rule applied 46 times with reduction of 1 identical transitions.
Iterating global reduction 7 with 46 rules applied. Total rules applied 4253 place count 390 transition count 959
Reduce places removed 46 places and 0 transitions.
Ensure Unique test removed 44 transitions
Reduce isomorphic transitions removed 44 transitions.
Iterating post reduction 7 with 90 rules applied. Total rules applied 4343 place count 344 transition count 915
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 8 with 2 rules applied. Total rules applied 4345 place count 344 transition count 913
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 8 with 1 rules applied. Total rules applied 4346 place count 344 transition count 912
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 4347 place count 343 transition count 912
Partial Free-agglomeration rule applied 39 times.
Drop transitions removed 39 transitions
Iterating global reduction 9 with 39 rules applied. Total rules applied 4386 place count 343 transition count 912
Drop transitions removed 5 transitions
Redundant transition composition rules discarded 5 transitions
Iterating global reduction 9 with 5 rules applied. Total rules applied 4391 place count 343 transition count 907
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 9 with 1 rules applied. Total rules applied 4392 place count 343 transition count 907
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 4393 place count 342 transition count 906
Iterating global reduction 9 with 1 rules applied. Total rules applied 4394 place count 342 transition count 906
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 9 with 2 rules applied. Total rules applied 4396 place count 342 transition count 904
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 9 with 1 rules applied. Total rules applied 4397 place count 341 transition count 903
Applied a total of 4397 rules in 5374 ms. Remains 341 /5479 variables (removed 5138) and now considering 903/24656 (removed 23753) transitions.
Running SMT prover for 8 properties.
// Phase 1: matrix 903 rows 341 cols
[2024-05-20 20:38:01] [INFO ] Computed 33 invariants in 11 ms
[2024-05-20 20:38:01] [INFO ] [Real]Absence check using 33 positive place invariants in 4 ms returned sat
[2024-05-20 20:38:01] [INFO ] After 119ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:8
[2024-05-20 20:38:02] [INFO ] [Nat]Absence check using 33 positive place invariants in 5 ms returned sat
[2024-05-20 20:38:02] [INFO ] After 471ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :8
[2024-05-20 20:38:02] [INFO ] After 901ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :8
Attempting to minimize the solution found.
Minimization took 337 ms.
[2024-05-20 20:38:03] [INFO ] After 1368ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :8
[2024-05-20 20:38:03] [INFO ] Export to MCC of 8 properties in file /home/mcc/execution/ReachabilityFireability.sr.xml took 4 ms.
[2024-05-20 20:38:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 5479 places, 24656 transitions and 97983 arcs took 83 ms.
[2024-05-20 20:38:04] [INFO ] Flatten gal took : 841 ms
Total runtime 137939 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT CANInsertWithFailure-PT-070
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/361
ReachabilityFireability
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1716237732852
--------------------
content from stderr:
+ 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//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/361/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/361/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/361/ReachabilityFireability.xml
lola: Created skeleton in 5.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 103 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
lola: Created skeleton in 5.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 108 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 113 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
lola: Created skeleton in 5.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 118 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 123 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 128 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
lola: Created skeleton in 5.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 133 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 138 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
lola: Created skeleton in 5.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 143 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 148 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 153 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 158 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 163 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 168 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 173 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 178 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 183 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 189 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 194 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 199 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 204 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 209 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 8
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 29 (type EXCL) for 18 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11
lola: time limit : 484 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 25 (type FNDP) for 18 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 26 (type EQUN) for 18 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 28 (type SRCH) for 18 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 28 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11
lola: result : true
lola: markings : 26
lola: fired transitions : 25
lola: time used : 2.000000
lola: memory pages used : 1
lola: CANCELED task # 25 (type FNDP) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11 (obsolete)
lola: CANCELED task # 26 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11 (obsolete)
lola: CANCELED task # 29 (type EXCL) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11 (obsolete)
lola: LAUNCH task # 41 (type EXCL) for 15 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10
lola: time limit : 483 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 31 (type FNDP) for 21 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 32 (type EQUN) for 21 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 34 (type SRCH) for 21 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG false tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
31 EF FNDP 0/1128 0/5 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12 --
32 EF STEQ 0/1128 0/5 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12 sara not yet started (preprocessing).
34 EF SRCH 0/1693 1/5 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12 --
41 EF EXCL 0/483 1/32 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10 --
Time elapsed: 214 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 8
sara: try reading problem file /home/mcc/execution/361/ReachabilityFireability-26.sara.
lola: FINISHED task # 25 (type FNDP) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11
lola: result : true
lola: fired transitions : 335
lola: tried executions : 6
lola: time used : 4.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/361/ReachabilityFireability-32.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 31 (type FNDP) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 4.000000
lola: memory pages used : 0
lola: CANCELED task # 32 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12 (obsolete)
lola: CANCELED task # 34 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12 (obsolete)
lola: LAUNCH task # 44 (type FNDP) for 6 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 45 (type EQUN) for 6 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 47 (type SRCH) for 6 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 32 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/361/ReachabilityFireability-45.sara.
lola: FINISHED task # 47 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04
lola: result : true
lola: markings : 12
lola: fired transitions : 11
lola: time used : 1.000000
lola: memory pages used : 1
lola: CANCELED task # 44 (type FNDP) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04 (obsolete)
lola: CANCELED task # 45 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04 (obsolete)
lola: LAUNCH task # 50 (type FNDP) for 9 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 51 (type EQUN) for 9 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 53 (type SRCH) for 9 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 45 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04
lola: result : unknown
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG false tandem / insertion
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG false tandem / insertion
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
41 EF EXCL 5/677 1/32 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10 --
50 EF FNDP 0/845 0/5 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05 --
51 EF STEQ 0/845 0/5 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
53 EF SRCH 2/845 0/5 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05 --
Time elapsed: 221 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 8
lola: FINISHED task # 44 (type FNDP) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04
lola: result : true
lola: fired transitions : 25
lola: tried executions : 3
lola: time used : 4.000000
lola: memory pages used : 0
lola: FINISHED task # 53 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05
lola: result : true
lola: markings : 38
lola: fired transitions : 37
lola: time used : 4.000000
lola: memory pages used : 1
lola: CANCELED task # 50 (type FNDP) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05 (obsolete)
lola: CANCELED task # 51 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05 (obsolete)
lola: LAUNCH task # 56 (type FNDP) for 3 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 57 (type EQUN) for 3 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 59 (type SRCH) for 3 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 41 (type EXCL) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10
lola: result : true
lola: markings : 1220
lola: fired transitions : 2528
lola: time used : 10.000000
lola: memory pages used : 1
lola: LAUNCH task # 60 (type EXCL) for 3 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03
lola: time limit : 1125 sec
lola: memory limit: 32 pages
sara: try reading problem file /home/mcc/execution/361/ReachabilityFireability-57.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG false tandem / insertion
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF true tandem / insertion
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF true tandem / relaxed
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG false tandem / insertion
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF 0 1 4 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
56 EF FNDP 3/1122 0/5 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03 --
57 EF STEQ 3/1122 0/5 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03 sara is running.
59 EF SRCH 3/1685 1/5 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03 --
60 EF EXCL 2/1125 1/32 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03 --
Time elapsed: 226 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 8
lola: FINISHED task # 56 (type FNDP) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03
lola: result : true
lola: fired transitions : 12
lola: tried executions : 1
lola: time used : 4.000000
lola: memory pages used : 0
lola: CANCELED task # 57 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03 (obsolete)
lola: CANCELED task # 59 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03 (obsolete)
lola: CANCELED task # 60 (type EXCL) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03 (obsolete)
lola: LAUNCH task # 66 (type EXCL) for 0 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02
lola: time limit : 1686 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 62 (type FNDP) for 0 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 63 (type EQUN) for 0 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 65 (type SRCH) for 0 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 57 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-03: EF true findpath
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-04: AG false tandem / insertion
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-05: EF true tandem / insertion
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-10: EF true tandem / relaxed
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-11: AG false tandem / insertion
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02: EF 0 1 4 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityFireability-2023-08: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 4/1686 0/5 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02 --
63 EF STEQ 4/3373 0/5 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
65 EF SRCH 5/3373 1/5 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02 --
66 EF EXCL 5/1686 1/32 CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02 4 m, 0 m/sec, 3 t fired, .
Time elapsed: 232 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 8
lola: FINISHED task # 62 (type FNDP) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02
lola: result : true
lola: fired transitions : 130
lola: tried executions : 7
lola: time used : 6.000000
lola: memory pages used : 0
lola: CANCELED task # 63 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02 (obsolete)
lola: CANCELED task # 65 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02 (obsolete)
lola: CANCELED task # 66 (type EXCL) for CANInsertWithFailure-PT-070-ReachabilityFireability-2024-02 (obsolete)
/home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin//../BenchKit_head.sh: line 63: 501 Killed lola --conf=$BIN_DIR/configfiles/reachabilityfireabilityconf --formula=$DIR/ReachabilityFireability.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
sara: place or transition ordering is non-deterministic
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="CANInsertWithFailure-PT-070"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="gold2023"
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-5568"
echo " Executing tool gold2023"
echo " Input is CANInsertWithFailure-PT-070, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r087-tall-171620521500095"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-070.tgz
mv CANInsertWithFailure-PT-070 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;