About the Execution of LoLA for CANInsertWithFailure-PT-040
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16217.104 | 515549.00 | 7684359.00 | 20406.00 | TF?TFFT?FF???TTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2023-input.r038-tajo-167813691800734.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is CANInsertWithFailure-PT-040, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-tajo-167813691800734
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 9.3K Feb 26 01:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 01:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 00:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 00:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 15:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 15:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 01:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 26 01:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 01:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 01:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 9.8M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-00
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-01
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-02
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-03
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-04
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-05
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-06
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-07
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-08
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-09
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-10
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-11
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-12
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-13
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-14
FORMULA_NAME CANInsertWithFailure-PT-040-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1678448870703
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=lola
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANInsertWithFailure-PT-040
Not applying reductions.
Model is PT
ReachabilityCardinality PT
starting LoLA
BK_INPUT CANInsertWithFailure-PT-040
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityCardinality
FORMULA CANInsertWithFailure-PT-040-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-040-ReachabilityCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-040-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-040-ReachabilityCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-040-ReachabilityCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-040-ReachabilityCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-040-ReachabilityCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-040-ReachabilityCardinality-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-040-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-040-ReachabilityCardinality-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-040-ReachabilityCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678449386252
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393356 kB
MemFree: 4526308 kB
After kill :
MemTotal: 16393356 kB
MemFree: 4523252 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityCardinality.xml
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
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: LAUNCH task # 49 (type SKEL/FNDP) for 0 CANInsertWithFailure-PT-040-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 50 (type SKEL/EQUN) for 0 CANInsertWithFailure-PT-040-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type SKEL/SRCH) for 0 CANInsertWithFailure-PT-040-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 53 (type SKEL/SRCH) for 0 CANInsertWithFailure-PT-040-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 52 (type SKEL/SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-00
lola: result : true
lola: markings : 10
lola: fired transitions : 9
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 49 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-00 (obsolete)
lola: CANCELED task # 50 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-00 (obsolete)
lola: CANCELED task # 53 (type SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-00 (obsolete)
lola: FINISHED task # 49 (type SKEL/FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-00
lola: result : true
lola: fired transitions : 8
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-50.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 50 (type SKEL/EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-00
lola: result : true
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
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: LAUNCH task # 57 (type SKEL/FNDP) for 27 CANInsertWithFailure-PT-040-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type SKEL/EQUN) for 27 CANInsertWithFailure-PT-040-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 60 (type SKEL/SRCH) for 27 CANInsertWithFailure-PT-040-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 61 (type SKEL/SRCH) for 27 CANInsertWithFailure-PT-040-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 60 (type SKEL/SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-09
lola: result : true
lola: markings : 27
lola: fired transitions : 26
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 57 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-09 (obsolete)
lola: CANCELED task # 58 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-09 (obsolete)
lola: CANCELED task # 61 (type SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-09 (obsolete)
lola: FINISHED task # 57 (type SKEL/FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-09
lola: result : true
lola: fired transitions : 25
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-58.sara.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 58 (type SKEL/EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-09
lola: result : true
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
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: LAUNCH task # 64 (type SKEL/FNDP) for 36 CANInsertWithFailure-PT-040-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 65 (type SKEL/EQUN) for 36 CANInsertWithFailure-PT-040-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 67 (type SKEL/SRCH) for 36 CANInsertWithFailure-PT-040-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 68 (type SKEL/SRCH) for 36 CANInsertWithFailure-PT-040-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 64 (type SKEL/FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-12
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 65 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-12 (obsolete)
lola: CANCELED task # 67 (type SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-12 (obsolete)
lola: CANCELED task # 68 (type SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-12 (obsolete)
lola: FINISHED task # 67 (type SKEL/SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-12
lola: result : true
lola: markings : 11
lola: fired transitions : 10
lola: time used : 0.000000
lola: memory pages used : 1
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-65.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 65 (type SKEL/EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-12
lola: result : true
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
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: LAUNCH task # 72 (type SKEL/FNDP) for 33 CANInsertWithFailure-PT-040-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 73 (type SKEL/EQUN) for 33 CANInsertWithFailure-PT-040-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 75 (type SKEL/SRCH) for 33 CANInsertWithFailure-PT-040-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 76 (type SKEL/SRCH) for 33 CANInsertWithFailure-PT-040-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 75 (type SKEL/SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-11
lola: result : true
lola: markings : 11
lola: fired transitions : 10
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 72 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-11 (obsolete)
lola: CANCELED task # 73 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-11 (obsolete)
lola: CANCELED task # 76 (type SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-11 (obsolete)
lola: FINISHED task # 72 (type SKEL/FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-11
lola: result : unknown
lola: fired transitions : 1
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 73 (type SKEL/EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-11
lola: result : unknown
lola: Created skeleton in 1.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 38 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
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: LAUNCH task # 79 (type SKEL/FNDP) for 9 CANInsertWithFailure-PT-040-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 80 (type SKEL/EQUN) for 9 CANInsertWithFailure-PT-040-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 82 (type SKEL/SRCH) for 9 CANInsertWithFailure-PT-040-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 83 (type SKEL/SRCH) for 9 CANInsertWithFailure-PT-040-ReachabilityCardinality-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 # 79 (type SKEL/FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-03
lola: result : true
lola: fired transitions : 27
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
lola: CANCELED task # 80 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-03 (obsolete)
lola: CANCELED task # 82 (type SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-03 (obsolete)
lola: CANCELED task # 83 (type SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-03 (obsolete)
lola: LAUNCH task # 86 (type SKEL/FNDP) for 21 CANInsertWithFailure-PT-040-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 87 (type SKEL/EQUN) for 21 CANInsertWithFailure-PT-040-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 89 (type SKEL/SRCH) for 21 CANInsertWithFailure-PT-040-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 90 (type SKEL/SRCH) for 21 CANInsertWithFailure-PT-040-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 80 (type SKEL/EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-03
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-87.sara.
sara: place or transition ordering is non-deterministic
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-040-ReachabilityCardinality-00: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 3/1780 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 --
87 EF STEQ 3/3560 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 3/3560 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 130522 m, 26104 m/sec, 186009 t fired, .
90 EF SRCH 3/3560 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 13564 m, 2712 m/sec, 23807 t fired, .
Time elapsed: 43 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
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: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 8/886 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 957111 t fired, 19176 attempts, .
87 EF STEQ 8/886 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 8/886 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 779868 m, 129869 m/sec, 1240780 t fired, .
90 EF SRCH 8/1182 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 254870 m, 48261 m/sec, 473142 t fired, .
Time elapsed: 48 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
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: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: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: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: 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: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: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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 13/310 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 5161379 t fired, 94657 attempts, .
87 EF STEQ 13/310 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 13/310 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 2218742 m, 287774 m/sec, 3605546 t fired, .
90 EF SRCH 13/343 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1051280 m, 159282 m/sec, 1974389 t fired, .
Time elapsed: 53 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
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: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: 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
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
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
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 18/163 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 11856764 t fired, 210818 attempts, .
87 EF STEQ 18/163 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 18/163 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 4443542 m, 444960 m/sec, 7289379 t fired, .
90 EF SRCH 18/172 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 2292503 m, 248244 m/sec, 4316540 t fired, .
Time elapsed: 58 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 23/160 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 19570853 t fired, 342654 attempts, .
87 EF STEQ 23/160 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 23/160 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 7167585 m, 544808 m/sec, 11803947 t fired, .
90 EF SRCH 23/169 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 3865283 m, 314556 m/sec, 7287927 t fired, .
Time elapsed: 63 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 28/155 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 27357679 t fired, 475346 attempts, .
87 EF STEQ 28/155 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 28/155 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 9942855 m, 555054 m/sec, 16418757 t fired, .
90 EF SRCH 28/164 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 5485888 m, 324121 m/sec, 10342589 t fired, .
Time elapsed: 68 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
sara: warning, failure of lp_solve (at job 10117)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 33/150 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 35324572 t fired, 610173 attempts, .
87 EF STEQ 33/150 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 33/150 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 12743260 m, 560081 m/sec, 21090888 t fired, .
90 EF SRCH 33/159 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 7113397 m, 325501 m/sec, 13420246 t fired, .
Time elapsed: 73 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 38/145 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 43302020 t fired, 745096 attempts, .
87 EF STEQ 38/145 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 38/145 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 15576403 m, 566628 m/sec, 25799859 t fired, .
90 EF SRCH 38/154 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 8804729 m, 338266 m/sec, 16558669 t fired, .
Time elapsed: 78 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 43/140 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 51284178 t fired, 879770 attempts, .
87 EF STEQ 43/140 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 43/140 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 18395988 m, 563917 m/sec, 30511311 t fired, .
90 EF SRCH 43/149 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 10452265 m, 329507 m/sec, 19692525 t fired, .
Time elapsed: 83 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 48/135 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 58906729 t fired, 1008315 attempts, .
87 EF STEQ 48/135 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 48/135 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 21064957 m, 533793 m/sec, 34955594 t fired, .
90 EF SRCH 48/144 1/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 12008430 m, 311233 m/sec, 22659021 t fired, .
Time elapsed: 88 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 53/130 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 66840995 t fired, 1141540 attempts, .
87 EF STEQ 53/130 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 53/130 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 23624979 m, 512004 m/sec, 39251320 t fired, .
90 EF SRCH 53/139 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 13619689 m, 322251 m/sec, 25661777 t fired, .
Time elapsed: 93 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 58/125 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 74843868 t fired, 1276089 attempts, .
87 EF STEQ 58/125 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 58/125 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 26311760 m, 537356 m/sec, 43711916 t fired, .
90 EF SRCH 58/134 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 15140885 m, 304239 m/sec, 28570310 t fired, .
Time elapsed: 98 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 63/120 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 82734333 t fired, 1408588 attempts, .
87 EF STEQ 63/120 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 63/120 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 28898975 m, 517443 m/sec, 48043772 t fired, .
90 EF SRCH 63/129 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 16846990 m, 341221 m/sec, 31743538 t fired, .
Time elapsed: 103 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 68/115 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 90586893 t fired, 1540097 attempts, .
87 EF STEQ 68/115 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 68/115 3/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 31476144 m, 515433 m/sec, 52372941 t fired, .
90 EF SRCH 68/124 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 18472995 m, 325201 m/sec, 34782041 t fired, .
Time elapsed: 108 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 73/110 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 98357068 t fired, 1670400 attempts, .
87 EF STEQ 73/110 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 73/110 3/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 33897798 m, 484330 m/sec, 56394854 t fired, .
90 EF SRCH 73/119 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 19794519 m, 264304 m/sec, 37349856 t fired, .
Time elapsed: 113 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 78/105 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 105948310 t fired, 1797772 attempts, .
87 EF STEQ 78/105 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 78/105 3/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 36230484 m, 466537 m/sec, 60306259 t fired, .
90 EF SRCH 78/114 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 21289087 m, 298913 m/sec, 40120837 t fired, .
Time elapsed: 118 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 83/100 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 113644850 t fired, 1926614 attempts, .
87 EF STEQ 83/100 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 83/100 3/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 38594876 m, 472878 m/sec, 64262109 t fired, .
90 EF SRCH 83/109 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 22765243 m, 295231 m/sec, 42881770 t fired, .
Time elapsed: 123 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 4 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
86 EF FNDP 88/95 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 121442042 t fired, 2057065 attempts, .
87 EF STEQ 88/95 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
89 EF SRCH 88/95 3/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 41164798 m, 513984 m/sec, 68579489 t fired, .
90 EF SRCH 88/104 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 24178217 m, 282594 m/sec, 45614055 t fired, .
Time elapsed: 128 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 86 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-07 (local timeout)
lola: CANCELED task # 87 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-07 (local timeout)
lola: CANCELED task # 89 (type SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-07 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 1 0 0 3 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF SRCH 93/99 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 25724337 m, 309224 m/sec, 48496410 t fired, .
Time elapsed: 133 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 145 (type EXCL) for 45 CANInsertWithFailure-PT-040-ReachabilityCardinality-15
lola: time limit : 216 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 94 (type SKEL/FNDP) for 45 CANInsertWithFailure-PT-040-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 95 (type SKEL/EQUN) for 45 CANInsertWithFailure-PT-040-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 86 (type SKEL/FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-07
lola: result : unknown
lola: fired transitions : 128959394
lola: tried executions : 2183335
lola: time used : 93.000000
lola: memory pages used : 0
lola: FINISHED task # 87 (type SKEL/EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-07
lola: result : unknown
lola: FINISHED task # 94 (type SKEL/FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-15
lola: result : true
lola: fired transitions : 7
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 95 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-15 (obsolete)
lola: LAUNCH task # 101 (type SKEL/FNDP) for 39 CANInsertWithFailure-PT-040-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 102 (type SKEL/EQUN) for 39 CANInsertWithFailure-PT-040-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 95 (type SKEL/EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-15
lola: result : unknown
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-102.sara.
lola: FINISHED task # 145 (type EXCL) for CANInsertWithFailure-PT-040-ReachabilityCardinality-15
lola: result : true
lola: markings : 4
lola: fired transitions : 3
lola: time used : 1.000000
lola: memory pages used : 1
lola: LAUNCH task # 203 (type EXCL) for 0 CANInsertWithFailure-PT-040-ReachabilityCardinality-00
lola: time limit : 231 sec
lola: memory limit: 32 pages
lola: FINISHED task # 203 (type EXCL) for CANInsertWithFailure-PT-040-ReachabilityCardinality-00
lola: result : true
lola: markings : 14
lola: fired transitions : 13
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 196 (type EXCL) for 36 CANInsertWithFailure-PT-040-ReachabilityCardinality-12
lola: time limit : 247 sec
lola: memory limit: 32 pages
sara: place or transition ordering is non-deterministic
lola: CANCELED task # 90 (type SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 6 0 0 2 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 5/164 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 735726 t fired, 6134 attempts, .
102 EF STEQ 5/164 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 4/247 1/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 30048 m, 6009 m/sec, 67424 t fired, .
Time elapsed: 138 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 91 (type SKEL/SRCH) for 21 CANInsertWithFailure-PT-040-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 91 (type SKEL/SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-07
lola: result : unknown
lola: markings : 11567
lola: fired transitions : 23037
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 198 (type FNDP) for 6 CANInsertWithFailure-PT-040-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 10/168 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 1418321 t fired, 10752 attempts, .
102 EF STEQ 10/168 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 9/247 2/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 62760 m, 6542 m/sec, 142698 t fired, .
198 EF FNDP 5/164 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 131832 t fired, 3301 attempts, .
Time elapsed: 143 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 15/163 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 2058948 t fired, 14318 attempts, .
102 EF STEQ 15/163 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 14/247 3/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 95735 m, 6595 m/sec, 221775 t fired, .
198 EF FNDP 10/159 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 266750 t fired, 7441 attempts, .
Time elapsed: 148 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 20/158 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 2672114 t fired, 17214 attempts, .
102 EF STEQ 20/158 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 19/247 4/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 127921 m, 6437 m/sec, 298922 t fired, .
198 EF FNDP 15/154 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 396276 t fired, 11012 attempts, .
Time elapsed: 153 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 25/153 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 3282907 t fired, 19855 attempts, .
102 EF STEQ 25/153 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 24/247 5/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 159647 m, 6345 m/sec, 373757 t fired, .
198 EF FNDP 20/149 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 518677 t fired, 13896 attempts, .
Time elapsed: 158 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 30/148 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 3876764 t fired, 22246 attempts, .
102 EF STEQ 30/148 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 29/247 5/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 191561 m, 6382 m/sec, 450567 t fired, .
198 EF FNDP 25/144 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 640163 t fired, 16662 attempts, .
Time elapsed: 163 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 35/143 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 4473879 t fired, 24432 attempts, .
102 EF STEQ 35/143 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 34/247 6/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 223165 m, 6320 m/sec, 525954 t fired, .
198 EF FNDP 30/139 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 756948 t fired, 19037 attempts, .
Time elapsed: 168 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 40/138 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 5063549 t fired, 26551 attempts, .
102 EF STEQ 40/138 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 39/247 7/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 254484 m, 6263 m/sec, 600596 t fired, .
198 EF FNDP 35/134 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 872483 t fired, 21200 attempts, .
Time elapsed: 173 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 45/133 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 5391359 t fired, 27669 attempts, .
102 EF STEQ 45/133 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 44/247 8/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 287519 m, 6607 m/sec, 676780 t fired, .
198 EF FNDP 40/129 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 987592 t fired, 23272 attempts, .
Time elapsed: 178 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 50/128 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 5885599 t fired, 29312 attempts, .
102 EF STEQ 50/128 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 49/247 9/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 320226 m, 6541 m/sec, 755254 t fired, .
198 EF FNDP 45/124 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 1097482 t fired, 25069 attempts, .
Time elapsed: 183 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 55/123 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 6475097 t fired, 31258 attempts, .
102 EF STEQ 55/123 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 54/247 9/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 352192 m, 6393 m/sec, 832754 t fired, .
198 EF FNDP 50/119 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 1205682 t fired, 26748 attempts, .
Time elapsed: 188 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 60/118 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 7056147 t fired, 33139 attempts, .
102 EF STEQ 60/118 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 59/247 10/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 385021 m, 6565 m/sec, 911348 t fired, .
198 EF FNDP 55/114 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 1309154 t fired, 28308 attempts, .
Time elapsed: 193 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 65/113 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 7637135 t fired, 34984 attempts, .
102 EF STEQ 65/113 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 64/247 11/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 418138 m, 6623 m/sec, 991882 t fired, .
198 EF FNDP 60/109 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 1410442 t fired, 29815 attempts, .
Time elapsed: 198 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 70/108 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 8208808 t fired, 36734 attempts, .
102 EF STEQ 70/108 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 69/247 12/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 450336 m, 6439 m/sec, 1072004 t fired, .
198 EF FNDP 65/104 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 1511400 t fired, 31168 attempts, .
Time elapsed: 203 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 75/103 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 8784694 t fired, 38496 attempts, .
102 EF STEQ 75/103 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 74/247 13/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 482496 m, 6432 m/sec, 1150863 t fired, .
198 EF FNDP 70/99 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 1611254 t fired, 32528 attempts, .
Time elapsed: 208 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 80/98 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 9354522 t fired, 40168 attempts, .
102 EF STEQ 80/98 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 79/247 14/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 514195 m, 6339 m/sec, 1230711 t fired, .
198 EF FNDP 75/94 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 1708606 t fired, 33755 attempts, .
Time elapsed: 213 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 2 0 0 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 85/93 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 9927790 t fired, 41883 attempts, .
102 EF STEQ 85/93 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 sara is running.
196 EF EXCL 84/247 14/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 545142 m, 6189 m/sec, 1307796 t fired, .
198 EF FNDP 80/89 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-02 1804290 t fired, 34887 attempts, .
Time elapsed: 218 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 101 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-13 (local timeout)
lola: CANCELED task # 102 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-13 (local timeout)
lola: CANCELED task # 198 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-02 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 1 1 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 8 0 0 0 2 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
196 EF EXCL 89/247 15/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 577785 m, 6528 m/sec, 1386336 t fired, .
Time elapsed: 223 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 104 (type SKEL/SRCH) for 39 CANInsertWithFailure-PT-040-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 105 (type SKEL/SRCH) for 39 CANInsertWithFailure-PT-040-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 106 (type SKEL/SRCH) for 39 CANInsertWithFailure-PT-040-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 198 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-02
lola: result : unknown
lola: fired transitions : 1898355
lola: tried executions : 35952
lola: time used : 85.000000
lola: memory pages used : 0
lola: FINISHED task # 101 (type SKEL/FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-13
lola: result : unknown
lola: fired transitions : 10497729
lola: tried executions : 43524
lola: time used : 90.000000
lola: memory pages used : 0
lola: FINISHED task # 102 (type SKEL/EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-13
lola: result : unknown
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 5 3 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
104 EF SRCH 5/168 5/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 574679 m, 114935 m/sec, 1130104 t fired, .
105 EF SRCH 5/177 2/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 141644 m, 28328 m/sec, 245842 t fired, .
106 EF SRCH 5/177 4/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 515299 m, 103059 m/sec, 1139580 t fired, .
196 EF EXCL 94/247 16/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 609544 m, 6351 m/sec, 1463451 t fired, .
Time elapsed: 228 secs. Pages in use: 27
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 104 (type SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-13 (memory limit exceeded)
lola: CANCELED task # 106 (type SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-13 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 5 1 0 2 0 2 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF SRCH 10/172 3/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 279949 m, 27661 m/sec, 493522 t fired, .
196 EF EXCL 99/247 17/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 641171 m, 6325 m/sec, 1540550 t fired, .
Time elapsed: 233 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 174 (type FNDP) for 42 CANInsertWithFailure-PT-040-ReachabilityCardinality-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 175 (type EQUN) for 42 CANInsertWithFailure-PT-040-ReachabilityCardinality-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 174 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-14
lola: result : true
lola: fired transitions : 2
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
lola: CANCELED task # 175 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-14 (obsolete)
lola: LAUNCH task # 162 (type FNDP) for 24 CANInsertWithFailure-PT-040-ReachabilityCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 163 (type EQUN) for 24 CANInsertWithFailure-PT-040-ReachabilityCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 162 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-08
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 163 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-08 (obsolete)
lola: LAUNCH task # 128 (type FNDP) for 3 CANInsertWithFailure-PT-040-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 129 (type EQUN) for 3 CANInsertWithFailure-PT-040-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 128 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-01
lola: result : true
lola: fired transitions : 2
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 129 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-01 (obsolete)
lola: LAUNCH task # 148 (type FNDP) for 15 CANInsertWithFailure-PT-040-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 149 (type EQUN) for 15 CANInsertWithFailure-PT-040-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 148 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-05
lola: result : true
lola: fired transitions : 17
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 149 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-05 (obsolete)
lola: LAUNCH task # 168 (type FNDP) for 12 CANInsertWithFailure-PT-040-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 169 (type EQUN) for 12 CANInsertWithFailure-PT-040-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-163.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-129.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-149.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-169.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-175.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 3 2 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 5 1 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF SRCH 15/248 3/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 342386 m, 12487 m/sec, 607764 t fired, .
168 EF FNDP 4/258 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-04 51087 t fired, 662 attempts, .
169 EF STEQ 4/240 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-04 sara is running.
196 EF EXCL 104/346 17/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 656366 m, 3039 m/sec, 1578193 t fired, .
Time elapsed: 238 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 3 2 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 5 1 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF SRCH 20/244 4/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 410231 m, 13569 m/sec, 730746 t fired, .
168 EF FNDP 9/254 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-04 111203 t fired, 1449 attempts, .
169 EF STEQ 9/236 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-04 sara is running.
196 EF EXCL 109/346 18/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 671724 m, 3071 m/sec, 1617301 t fired, .
Time elapsed: 243 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 3 2 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 5 1 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF SRCH 25/239 4/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 479368 m, 13827 m/sec, 852659 t fired, .
168 EF FNDP 14/249 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-04 170957 t fired, 2214 attempts, .
169 EF STEQ 14/231 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-04 sara is running.
196 EF EXCL 114/346 18/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 686960 m, 3047 m/sec, 1655347 t fired, .
Time elapsed: 248 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 3 2 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 5 1 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
105 EF SRCH 30/234 5/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-13 548324 m, 13791 m/sec, 970804 t fired, .
168 EF FNDP 19/244 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-04 230435 t fired, 3001 attempts, .
169 EF STEQ 19/226 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-04 sara is running.
196 EF EXCL 119/346 18/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 701779 m, 2963 m/sec, 1692690 t fired, .
Time elapsed: 253 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
lola: CANCELED task # 105 (type SRCH) for CANInsertWithFailure-PT-040-ReachabilityCardinality-13 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 3 2 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 5 0 0 2 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
168 EF FNDP 24/239 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-04 290292 t fired, 3902 attempts, .
169 EF STEQ 24/221 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-04 sara is running.
196 EF EXCL 124/346 19/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 716762 m, 2996 m/sec, 1730138 t fired, .
Time elapsed: 258 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 114 (type FNDP) for 30 CANInsertWithFailure-PT-040-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF 0 3 2 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF 0 5 0 0 2 0 3 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
114 EF FNDP 5/257 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 75598 t fired, 1942 attempts, .
168 EF FNDP 29/234 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-04 348270 t fired, 4799 attempts, .
169 EF STEQ 29/234 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-04 sara is running.
196 EF EXCL 129/346 19/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 731887 m, 3025 m/sec, 1767017 t fired, .
Time elapsed: 263 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 169 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-04
lola: result : false
lola: CANCELED task # 168 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-04 (obsolete)
lola: LAUNCH task # 180 (type FNDP) for 18 CANInsertWithFailure-PT-040-ReachabilityCardinality-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 181 (type EQUN) for 18 CANInsertWithFailure-PT-040-ReachabilityCardinality-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 168 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-04
lola: result : unknown
lola: fired transitions : 402864
lola: tried executions : 5608
lola: time used : 34.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 180 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-06
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 181 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-06 (obsolete)
lola: LAUNCH task # 134 (type FNDP) for 39 CANInsertWithFailure-PT-040-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 135 (type EQUN) for 39 CANInsertWithFailure-PT-040-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 134 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-13
lola: result : true
lola: fired transitions : 37
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 135 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-13 (obsolete)
lola: LAUNCH task # 186 (type FNDP) for 9 CANInsertWithFailure-PT-040-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 187 (type EQUN) for 9 CANInsertWithFailure-PT-040-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 186 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-03
lola: result : true
lola: fired transitions : 17
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 187 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-03 (obsolete)
lola: LAUNCH task # 155 (type FNDP) for 27 CANInsertWithFailure-PT-040-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 156 (type EQUN) for 27 CANInsertWithFailure-PT-040-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 5 0 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG 0 3 2 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
114 EF FNDP 10/467 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 150830 t fired, 3720 attempts, .
155 EF FNDP 0/416 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-09 --
156 EF STEQ 0/416 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-09 --
196 EF EXCL 134/577 19/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 746996 m, 3021 m/sec, 1804023 t fired, .
Time elapsed: 268 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 155 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-09
lola: result : true
lola: fired transitions : 18
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
lola: CANCELED task # 156 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-09 (obsolete)
lola: LAUNCH task # 107 (type FNDP) for 21 CANInsertWithFailure-PT-040-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 108 (type EQUN) for 21 CANInsertWithFailure-PT-040-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-181.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-135.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-187.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-156.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-108.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 4/475 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 43831 t fired, 1117 attempts, .
108 EF STEQ 4/555 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 15/546 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 192986 t fired, 4787 attempts, .
196 EF EXCL 139/693 20/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 755435 m, 1687 m/sec, 1825116 t fired, .
Time elapsed: 273 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 9/471 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 96148 t fired, 2341 attempts, .
108 EF STEQ 9/551 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 20/542 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 240409 t fired, 5843 attempts, .
196 EF EXCL 144/693 20/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 764899 m, 1892 m/sec, 1849004 t fired, .
Time elapsed: 278 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 14/466 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 146430 t fired, 3476 attempts, .
108 EF STEQ 14/546 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 25/537 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 285420 t fired, 6806 attempts, .
196 EF EXCL 149/693 20/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 774078 m, 1835 m/sec, 1872131 t fired, .
Time elapsed: 283 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 19/461 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 190715 t fired, 4400 attempts, .
108 EF STEQ 19/541 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 30/532 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 327014 t fired, 7659 attempts, .
196 EF EXCL 154/693 20/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 782612 m, 1706 m/sec, 1892768 t fired, .
Time elapsed: 288 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 24/456 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 234103 t fired, 5295 attempts, .
108 EF STEQ 24/536 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 35/527 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 369284 t fired, 8508 attempts, .
196 EF EXCL 159/693 20/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 790991 m, 1675 m/sec, 1913648 t fired, .
Time elapsed: 293 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 29/451 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 280198 t fired, 6292 attempts, .
108 EF STEQ 29/531 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 40/522 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 413618 t fired, 9351 attempts, .
196 EF EXCL 164/693 21/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 799570 m, 1715 m/sec, 1935139 t fired, .
Time elapsed: 298 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 156 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-09
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 34/441 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 331626 t fired, 7382 attempts, .
108 EF STEQ 34/521 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 45/512 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 458108 t fired, 10309 attempts, .
196 EF EXCL 169/693 21/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 808794 m, 1844 m/sec, 1957891 t fired, .
Time elapsed: 303 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 187 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-03
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 39/438 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 386101 t fired, 8455 attempts, .
108 EF STEQ 39/518 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 50/509 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 510108 t fired, 11238 attempts, .
196 EF EXCL 174/693 21/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 820167 m, 2274 m/sec, 1984838 t fired, .
Time elapsed: 308 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 44/436 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 446277 t fired, 9550 attempts, .
108 EF STEQ 44/516 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 55/507 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 563984 t fired, 12208 attempts, .
196 EF EXCL 179/693 21/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 831360 m, 2238 m/sec, 2010959 t fired, .
Time elapsed: 313 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 49/431 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 501751 t fired, 10544 attempts, .
108 EF STEQ 49/511 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 60/502 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 616202 t fired, 13178 attempts, .
196 EF EXCL 184/693 22/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 843441 m, 2416 m/sec, 2040330 t fired, .
Time elapsed: 318 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 181 (type EQUN) for CANInsertWithFailure-PT-040-ReachabilityCardinality-06
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 54/425 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 563021 t fired, 11582 attempts, .
108 EF STEQ 54/505 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 65/496 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 673041 t fired, 14126 attempts, .
196 EF EXCL 189/693 22/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 856766 m, 2665 m/sec, 2072879 t fired, .
Time elapsed: 323 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 59/421 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 617244 t fired, 12471 attempts, .
108 EF STEQ 59/501 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 70/492 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 727009 t fired, 15065 attempts, .
196 EF EXCL 194/693 22/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 868597 m, 2366 m/sec, 2100946 t fired, .
Time elapsed: 328 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 64/416 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 672563 t fired, 13393 attempts, .
108 EF STEQ 64/496 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 75/487 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 778150 t fired, 15865 attempts, .
196 EF EXCL 199/693 23/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 880184 m, 2317 m/sec, 2129139 t fired, .
Time elapsed: 333 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 69/411 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 726630 t fired, 14232 attempts, .
108 EF STEQ 69/491 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 80/482 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 830235 t fired, 16682 attempts, .
196 EF EXCL 204/693 23/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 891786 m, 2320 m/sec, 2156670 t fired, .
Time elapsed: 338 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 74/406 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 782817 t fired, 15122 attempts, .
108 EF STEQ 74/486 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 85/477 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 880058 t fired, 17396 attempts, .
196 EF EXCL 209/693 23/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 904579 m, 2558 m/sec, 2186891 t fired, .
Time elapsed: 343 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 79/401 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 837819 t fired, 15946 attempts, .
108 EF STEQ 79/481 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 90/472 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 933257 t fired, 18181 attempts, .
196 EF EXCL 214/693 24/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 917438 m, 2571 m/sec, 2218042 t fired, .
Time elapsed: 348 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 84/396 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 891931 t fired, 16657 attempts, .
108 EF STEQ 84/476 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 95/467 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 986522 t fired, 18951 attempts, .
196 EF EXCL 219/693 24/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 931154 m, 2743 m/sec, 2250725 t fired, .
Time elapsed: 353 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 89/391 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 945933 t fired, 17498 attempts, .
108 EF STEQ 89/471 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 100/462 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1038572 t fired, 19667 attempts, .
196 EF EXCL 224/693 24/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 944114 m, 2592 m/sec, 2282340 t fired, .
Time elapsed: 358 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 94/386 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 998316 t fired, 18250 attempts, .
108 EF STEQ 94/466 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 105/457 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1087675 t fired, 20314 attempts, .
196 EF EXCL 229/693 25/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 956539 m, 2485 m/sec, 2312155 t fired, .
Time elapsed: 363 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 99/381 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1050383 t fired, 18940 attempts, .
108 EF STEQ 99/461 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 110/452 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1136149 t fired, 20925 attempts, .
196 EF EXCL 234/693 25/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 969296 m, 2551 m/sec, 2343529 t fired, .
Time elapsed: 368 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 104/376 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1102829 t fired, 19590 attempts, .
108 EF STEQ 104/456 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 115/447 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1186488 t fired, 21569 attempts, .
196 EF EXCL 239/693 25/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 981923 m, 2525 m/sec, 2374213 t fired, .
Time elapsed: 373 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 109/371 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1156980 t fired, 20287 attempts, .
108 EF STEQ 109/451 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 120/442 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1236092 t fired, 22182 attempts, .
196 EF EXCL 244/693 26/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 994888 m, 2593 m/sec, 2405789 t fired, .
Time elapsed: 378 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 114/366 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1209681 t fired, 20983 attempts, .
108 EF STEQ 114/446 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 125/437 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1286641 t fired, 22788 attempts, .
196 EF EXCL 249/693 26/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1008658 m, 2754 m/sec, 2439857 t fired, .
Time elapsed: 383 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 119/361 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1262082 t fired, 21612 attempts, .
108 EF STEQ 119/441 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 130/432 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1337874 t fired, 23416 attempts, .
196 EF EXCL 254/693 26/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1022153 m, 2699 m/sec, 2474080 t fired, .
Time elapsed: 388 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 124/356 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1313712 t fired, 22222 attempts, .
108 EF STEQ 124/436 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 135/427 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1388074 t fired, 23959 attempts, .
196 EF EXCL 259/693 26/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1035133 m, 2596 m/sec, 2506741 t fired, .
Time elapsed: 393 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 129/351 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1365742 t fired, 22850 attempts, .
108 EF STEQ 129/431 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 140/422 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1438564 t fired, 24585 attempts, .
196 EF EXCL 264/693 27/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1048283 m, 2630 m/sec, 2539814 t fired, .
Time elapsed: 398 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 134/346 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1414204 t fired, 23349 attempts, .
108 EF STEQ 134/426 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 146/417 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1488692 t fired, 25123 attempts, .
196 EF EXCL 270/693 27/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1061524 m, 2648 m/sec, 2573114 t fired, .
Time elapsed: 404 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 140/340 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1461242 t fired, 23829 attempts, .
108 EF STEQ 140/420 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 151/411 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1531825 t fired, 25579 attempts, .
196 EF EXCL 275/693 27/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1074020 m, 2499 m/sec, 2603866 t fired, .
Time elapsed: 409 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 145/335 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1506898 t fired, 24292 attempts, .
108 EF STEQ 145/415 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 156/406 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1576387 t fired, 26051 attempts, .
196 EF EXCL 280/693 28/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1086613 m, 2518 m/sec, 2634684 t fired, .
Time elapsed: 414 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 150/330 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1551497 t fired, 24808 attempts, .
108 EF STEQ 150/410 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 161/401 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1621080 t fired, 26505 attempts, .
196 EF EXCL 285/693 28/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1099027 m, 2482 m/sec, 2665023 t fired, .
Time elapsed: 419 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 155/325 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1599547 t fired, 25256 attempts, .
108 EF STEQ 155/405 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 166/396 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1663682 t fired, 26919 attempts, .
196 EF EXCL 290/693 28/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1112697 m, 2734 m/sec, 2699422 t fired, .
Time elapsed: 424 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 160/320 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1639440 t fired, 25689 attempts, .
108 EF STEQ 160/400 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 171/391 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1705310 t fired, 27323 attempts, .
196 EF EXCL 295/693 29/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1123746 m, 2209 m/sec, 2727177 t fired, .
Time elapsed: 429 secs. Pages in use: 29
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 165/315 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1684034 t fired, 26115 attempts, .
108 EF STEQ 165/395 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 176/386 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1746306 t fired, 27693 attempts, .
196 EF EXCL 300/693 29/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1134890 m, 2228 m/sec, 2754476 t fired, .
Time elapsed: 434 secs. Pages in use: 29
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 170/310 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1729100 t fired, 26571 attempts, .
108 EF STEQ 170/390 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 181/381 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1787588 t fired, 28083 attempts, .
196 EF EXCL 305/693 29/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1146360 m, 2294 m/sec, 2783098 t fired, .
Time elapsed: 439 secs. Pages in use: 29
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 175/305 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1776348 t fired, 27059 attempts, .
108 EF STEQ 175/385 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 186/376 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1829630 t fired, 28505 attempts, .
196 EF EXCL 310/693 30/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1158137 m, 2355 m/sec, 2812163 t fired, .
Time elapsed: 444 secs. Pages in use: 30
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 180/300 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1817797 t fired, 27442 attempts, .
108 EF STEQ 180/380 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 191/371 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1868822 t fired, 28879 attempts, .
196 EF EXCL 315/693 30/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1168689 m, 2110 m/sec, 2838176 t fired, .
Time elapsed: 449 secs. Pages in use: 30
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 185/295 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1863952 t fired, 27891 attempts, .
108 EF STEQ 185/375 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 196/366 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1902597 t fired, 29204 attempts, .
196 EF EXCL 320/693 30/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1179203 m, 2102 m/sec, 2863205 t fired, .
Time elapsed: 454 secs. Pages in use: 30
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 190/290 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1899704 t fired, 28225 attempts, .
108 EF STEQ 190/370 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 201/361 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1938662 t fired, 29525 attempts, .
196 EF EXCL 325/693 30/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1188033 m, 1766 m/sec, 2884238 t fired, .
Time elapsed: 459 secs. Pages in use: 30
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 195/285 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1931341 t fired, 28553 attempts, .
108 EF STEQ 195/365 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 206/356 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1970123 t fired, 29776 attempts, .
196 EF EXCL 330/693 31/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1197062 m, 1805 m/sec, 2905145 t fired, .
Time elapsed: 464 secs. Pages in use: 31
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 200/280 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1956443 t fired, 28769 attempts, .
108 EF STEQ 200/360 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 211/351 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 1997808 t fired, 30027 attempts, .
196 EF EXCL 335/693 31/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1203424 m, 1272 m/sec, 2920273 t fired, .
Time elapsed: 469 secs. Pages in use: 31
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 205/275 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 1991992 t fired, 29087 attempts, .
108 EF STEQ 205/355 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 216/346 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 2031754 t fired, 30327 attempts, .
196 EF EXCL 340/693 31/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1214583 m, 2231 m/sec, 2947541 t fired, .
Time elapsed: 474 secs. Pages in use: 31
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 210/270 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 2033815 t fired, 29470 attempts, .
108 EF STEQ 210/350 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 221/341 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 2068210 t fired, 30655 attempts, .
196 EF EXCL 345/693 31/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1226475 m, 2378 m/sec, 2976470 t fired, .
Time elapsed: 479 secs. Pages in use: 31
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 215/265 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 2074469 t fired, 29829 attempts, .
108 EF STEQ 215/345 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 226/336 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 2112716 t fired, 31022 attempts, .
196 EF EXCL 350/693 31/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1238967 m, 2498 m/sec, 3007025 t fired, .
Time elapsed: 484 secs. Pages in use: 31
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 220/260 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 2116732 t fired, 30190 attempts, .
108 EF STEQ 220/340 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 231/331 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 2151945 t fired, 31343 attempts, .
196 EF EXCL 355/693 32/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1250609 m, 2328 m/sec, 3035603 t fired, .
Time elapsed: 489 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 225/255 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 2157686 t fired, 30549 attempts, .
108 EF STEQ 225/335 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 236/326 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 2186109 t fired, 31608 attempts, .
196 EF EXCL 360/693 32/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1264174 m, 2713 m/sec, 3068769 t fired, .
Time elapsed: 494 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 230/250 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 2196629 t fired, 30838 attempts, .
108 EF STEQ 230/330 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 241/321 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 2234868 t fired, 32005 attempts, .
196 EF EXCL 365/693 32/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1275713 m, 2307 m/sec, 3097736 t fired, .
Time elapsed: 499 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 1 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 235/245 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 2237430 t fired, 31163 attempts, .
108 EF STEQ 235/325 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 246/316 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 2274473 t fired, 32311 attempts, .
196 EF EXCL 370/693 32/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-12 1287240 m, 2305 m/sec, 3126830 t fired, .
Time elapsed: 504 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 196 (type EXCL) for CANInsertWithFailure-PT-040-ReachabilityCardinality-12 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 2 0 3 1 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 0 0 3 0 1 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
107 EF FNDP 240/240 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 2279496 t fired, 31532 attempts, .
108 EF STEQ 240/320 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 251/311 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 2318041 t fired, 32662 attempts, .
Time elapsed: 509 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 125 (type EXCL) for 33 CANInsertWithFailure-PT-040-ReachabilityCardinality-11
lola: time limit : 772 sec
lola: memory limit: 32 pages
lola: CANCELED task # 107 (type FNDP) for CANInsertWithFailure-PT-040-ReachabilityCardinality-07 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-040-ReachabilityCardinality-00: EF true tandem / relaxed
CANInsertWithFailure-PT-040-ReachabilityCardinality-01: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-03: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-04: EF false state equation
CANInsertWithFailure-PT-040-ReachabilityCardinality-05: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-06: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-08: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-09: AG false findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-13: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-14: EF true findpath
CANInsertWithFailure-PT-040-ReachabilityCardinality-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-040-ReachabilityCardinality-02: EF 0 4 0 0 2 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-07: EF 0 3 1 0 3 2 1 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-10: AG 0 4 1 0 1 0 0 0
CANInsertWithFailure-PT-040-ReachabilityCardinality-11: AG 0 4 1 0 3 0 0 2
CANInsertWithFailure-PT-040-ReachabilityCardinality-12: EF 0 4 0 0 3 0 1 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
108 EF STEQ 245/315 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-07 sara is running.
114 EF FNDP 256/306 0/5 CANInsertWithFailure-PT-040-ReachabilityCardinality-10 2333279 t fired, 32778 attempts, .
125 EF EXCL 5/772 1/32 CANInsertWithFailure-PT-040-ReachabilityCardinality-11 1851 m, 370 m/sec, 3563 t fired, .
Time elapsed: 514 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 205 (type EQUN) for 6 CANInsertWithFailure-PT-040-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
/home/mcc/BenchKit/bin//../lola/bin//../BenchKit_head.sh: line 63: 377 Killed lola --conf=$BIN_DIR/configfiles/reachabilitycardinalityconf --formula=$DIR/ReachabilityCardinality.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
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-040"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is CANInsertWithFailure-PT-040, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r038-tajo-167813691800734"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-040.tgz
mv CANInsertWithFailure-PT-040 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;