About the Execution of LoLA for CANInsertWithFailure-PT-060
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16221.384 | 490451.00 | 9233651.00 | 35856.70 | ????????????F??? | 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-167813691900750.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-060, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-tajo-167813691900750
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 23M
-rw-r--r-- 1 mcc users 9.2K Feb 26 00:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 00:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 00:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 00:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 15:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K 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 22K Feb 26 01:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 180K Feb 26 01:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 01:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 26 01:02 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 22M 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-060-ReachabilityCardinality-00
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-01
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-02
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-03
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-04
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-05
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-06
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-07
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-08
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-09
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-10
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-11
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-12
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-13
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-14
FORMULA_NAME CANInsertWithFailure-PT-060-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1678450990489
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-060
Not applying reductions.
Model is PT
ReachabilityCardinality PT
starting LoLA
BK_INPUT CANInsertWithFailure-PT-060
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityCardinality
FORMULA CANInsertWithFailure-PT-060-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678451480940
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 3824952 kB
After kill :
MemTotal: 16393340 kB
MemFree: 3822768 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 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
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 12 CANInsertWithFailure-PT-060-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 50 (type SKEL/EQUN) for 12 CANInsertWithFailure-PT-060-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type SKEL/SRCH) for 12 CANInsertWithFailure-PT-060-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 53 (type SKEL/SRCH) for 12 CANInsertWithFailure-PT-060-ReachabilityCardinality-04
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-060-ReachabilityCardinality-04
lola: result : true
lola: markings : 11
lola: fired transitions : 10
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 49 (type FNDP) for CANInsertWithFailure-PT-060-ReachabilityCardinality-04 (obsolete)
lola: CANCELED task # 50 (type EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-04 (obsolete)
lola: CANCELED task # 53 (type SRCH) for CANInsertWithFailure-PT-060-ReachabilityCardinality-04 (obsolete)
lola: FINISHED task # 49 (type SKEL/FNDP) for CANInsertWithFailure-PT-060-ReachabilityCardinality-04
lola: result : true
lola: fired transitions : 9
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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 214 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 1.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 # 56 (type SKEL/FNDP) for 3 CANInsertWithFailure-PT-060-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 57 (type SKEL/EQUN) for 3 CANInsertWithFailure-PT-060-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 59 (type SKEL/SRCH) for 3 CANInsertWithFailure-PT-060-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 60 (type SKEL/SRCH) for 3 CANInsertWithFailure-PT-060-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 56 (type SKEL/FNDP) for CANInsertWithFailure-PT-060-ReachabilityCardinality-01
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
lola: CANCELED task # 57 (type EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-01 (obsolete)
lola: CANCELED task # 59 (type SRCH) for CANInsertWithFailure-PT-060-ReachabilityCardinality-01 (obsolete)
lola: CANCELED task # 60 (type SRCH) for CANInsertWithFailure-PT-060-ReachabilityCardinality-01 (obsolete)
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-57.sara.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.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 # 64 (type SKEL/FNDP) for 6 CANInsertWithFailure-PT-060-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 65 (type SKEL/EQUN) for 6 CANInsertWithFailure-PT-060-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 67 (type SKEL/SRCH) for 6 CANInsertWithFailure-PT-060-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 68 (type SKEL/SRCH) for 6 CANInsertWithFailure-PT-060-ReachabilityCardinality-02
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
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-65.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 2/1691 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 185911 t fired, 3331 attempts, .
65 EF STEQ 2/3383 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 2/3383 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 84817 m, 16963 m/sec, 133980 t fired, .
68 EF SRCH 2/3383 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 54855 m, 10971 m/sec, 97047 t fired, .
Time elapsed: 219 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 7/1689 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 771256 t fired, 13538 attempts, .
65 EF STEQ 7/3381 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 7/3381 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 402385 m, 63513 m/sec, 695911 t fired, .
68 EF SRCH 7/3381 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 132559 m, 15540 m/sec, 238820 t fired, .
Time elapsed: 224 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 12/1684 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1301154 t fired, 22057 attempts, .
65 EF STEQ 12/3376 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 12/3376 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 637178 m, 46958 m/sec, 1113962 t fired, .
68 EF SRCH 12/3376 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 174540 m, 8396 m/sec, 314516 t fired, .
Time elapsed: 229 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 14.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 17/1674 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1816221 t fired, 29746 attempts, .
65 EF STEQ 17/3366 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 17/3366 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 823511 m, 37266 m/sec, 1450204 t fired, .
68 EF SRCH 17/3366 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 259695 m, 17031 m/sec, 470981 t fired, .
Time elapsed: 234 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 0.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
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 22/1110 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 2305595 t fired, 36529 attempts, .
65 EF STEQ 22/1110 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 22/1674 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1055084 m, 46314 m/sec, 1862957 t fired, .
68 EF SRCH 22/1674 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 346308 m, 17322 m/sec, 630175 t fired, .
Time elapsed: 239 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 9.000000 secs.
lola: Created skeleton in 0.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: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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 27/650 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 2769830 t fired, 42472 attempts, .
65 EF STEQ 27/650 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 27/650 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1286870 m, 46357 m/sec, 2286189 t fired, .
68 EF SRCH 27/650 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 427620 m, 16262 m/sec, 776463 t fired, .
Time elapsed: 244 secs. Pages in use: 2
# 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: Created skeleton in 0.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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 32/395 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 3209711 t fired, 47839 attempts, .
65 EF STEQ 32/395 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 32/456 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1533618 m, 49349 m/sec, 2733991 t fired, .
68 EF SRCH 32/456 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 509927 m, 16461 m/sec, 931434 t fired, .
Time elapsed: 249 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 9.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 37/386 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 3649121 t fired, 52884 attempts, .
65 EF STEQ 37/386 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 37/447 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1770313 m, 47339 m/sec, 3190781 t fired, .
68 EF SRCH 37/447 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 589544 m, 15923 m/sec, 1077111 t fired, .
Time elapsed: 254 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 42/385 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 4063374 t fired, 57514 attempts, .
65 EF STEQ 42/385 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 42/446 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1967550 m, 39447 m/sec, 3570277 t fired, .
68 EF SRCH 42/446 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 649349 m, 11961 m/sec, 1191907 t fired, .
Time elapsed: 259 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 47/380 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 4495835 t fired, 62149 attempts, .
65 EF STEQ 47/380 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 47/441 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 2265846 m, 59659 m/sec, 4078700 t fired, .
68 EF SRCH 47/441 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 736120 m, 17354 m/sec, 1346227 t fired, .
Time elapsed: 264 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 14.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 52/372 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 4917312 t fired, 66470 attempts, .
65 EF STEQ 52/372 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 52/433 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 2522220 m, 51274 m/sec, 4572041 t fired, .
68 EF SRCH 52/433 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 816983 m, 16172 m/sec, 1500989 t fired, .
Time elapsed: 269 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 57/370 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 5408366 t fired, 71472 attempts, .
65 EF STEQ 57/370 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 57/431 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 2788843 m, 53324 m/sec, 5054582 t fired, .
68 EF SRCH 57/431 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 898176 m, 16238 m/sec, 1648544 t fired, .
Time elapsed: 274 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 62/365 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 5881053 t fired, 76165 attempts, .
65 EF STEQ 62/365 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 62/426 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 3067781 m, 55787 m/sec, 5551865 t fired, .
68 EF SRCH 62/426 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 983245 m, 17013 m/sec, 1805426 t fired, .
Time elapsed: 279 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 67/360 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 6342605 t fired, 80596 attempts, .
65 EF STEQ 67/360 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 67/421 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 3330146 m, 52473 m/sec, 6032711 t fired, .
68 EF SRCH 67/421 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1066713 m, 16693 m/sec, 1965601 t fired, .
Time elapsed: 284 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 18.000000 secs.
lola: Created skeleton in 0.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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 72/306 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 6809054 t fired, 85002 attempts, .
65 EF STEQ 72/306 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 72/306 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 3547054 m, 43381 m/sec, 6441093 t fired, .
68 EF SRCH 72/353 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1152919 m, 17241 m/sec, 2118938 t fired, .
Time elapsed: 289 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 77/303 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 7251754 t fired, 89055 attempts, .
65 EF STEQ 77/303 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 77/303 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 3773236 m, 45236 m/sec, 6889558 t fired, .
68 EF SRCH 77/350 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1233482 m, 16112 m/sec, 2268747 t fired, .
Time elapsed: 294 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 82/298 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 7663563 t fired, 92824 attempts, .
65 EF STEQ 82/298 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 82/298 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 4048500 m, 55052 m/sec, 7353812 t fired, .
68 EF SRCH 82/345 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1312289 m, 15761 m/sec, 2419932 t fired, .
Time elapsed: 299 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 87/293 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 8124818 t fired, 96921 attempts, .
65 EF STEQ 87/293 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 87/293 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 4232595 m, 36819 m/sec, 7724765 t fired, .
68 EF SRCH 87/340 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1400431 m, 17628 m/sec, 2579837 t fired, .
Time elapsed: 304 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 92/288 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 8572997 t fired, 100940 attempts, .
65 EF STEQ 92/288 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 92/288 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 4500031 m, 53487 m/sec, 8210865 t fired, .
68 EF SRCH 92/335 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1489368 m, 17787 m/sec, 2740806 t fired, .
Time elapsed: 309 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 97/283 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 9051292 t fired, 105187 attempts, .
65 EF STEQ 97/283 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 97/283 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 4752395 m, 50472 m/sec, 8667754 t fired, .
68 EF SRCH 97/330 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1575223 m, 17171 m/sec, 2903802 t fired, .
Time elapsed: 314 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 102/278 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 9521827 t fired, 109288 attempts, .
65 EF STEQ 102/278 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 102/278 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 4992534 m, 48027 m/sec, 9129929 t fired, .
68 EF SRCH 102/325 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1661503 m, 17256 m/sec, 3067215 t fired, .
Time elapsed: 319 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 107/273 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 9957829 t fired, 113096 attempts, .
65 EF STEQ 107/273 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 107/273 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 5271391 m, 55771 m/sec, 9643584 t fired, .
68 EF SRCH 107/320 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1747587 m, 17216 m/sec, 3226931 t fired, .
Time elapsed: 324 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 112/268 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 10416918 t fired, 117057 attempts, .
65 EF STEQ 112/268 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 112/268 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 5551213 m, 55964 m/sec, 10157432 t fired, .
68 EF SRCH 112/315 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1842598 m, 19002 m/sec, 3396232 t fired, .
Time elapsed: 329 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 117/263 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 10863708 t fired, 120869 attempts, .
65 EF STEQ 117/263 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 117/263 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 5765376 m, 42832 m/sec, 10560602 t fired, .
68 EF SRCH 117/310 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 1935669 m, 18614 m/sec, 3572951 t fired, .
Time elapsed: 334 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 122/258 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 11295523 t fired, 124517 attempts, .
65 EF STEQ 122/258 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 122/258 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 5992112 m, 45347 m/sec, 10983927 t fired, .
68 EF SRCH 122/305 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 2019576 m, 16781 m/sec, 3731525 t fired, .
Time elapsed: 339 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 127/253 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 11720182 t fired, 128151 attempts, .
65 EF STEQ 127/253 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 127/253 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 6205857 m, 42749 m/sec, 11394998 t fired, .
68 EF SRCH 127/300 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 2113989 m, 18882 m/sec, 3909440 t fired, .
Time elapsed: 344 secs. Pages in use: 2
# 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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 132/177 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 12176537 t fired, 132079 attempts, .
65 EF STEQ 132/177 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 132/177 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 6452616 m, 49351 m/sec, 11842414 t fired, .
68 EF SRCH 132/208 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 2200126 m, 17227 m/sec, 4066444 t fired, .
Time elapsed: 349 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 137/175 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 12703665 t fired, 136459 attempts, .
65 EF STEQ 137/175 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 137/175 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 6715234 m, 52523 m/sec, 12365980 t fired, .
68 EF SRCH 137/206 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 2313855 m, 22745 m/sec, 4275597 t fired, .
Time elapsed: 354 secs. Pages in use: 2
# 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-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
64 EF FNDP 142/170 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 13363559 t fired, 141978 attempts, .
65 EF STEQ 142/170 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 sara is running.
67 EF SRCH 142/170 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 7045979 m, 66149 m/sec, 13015113 t fired, .
68 EF SRCH 142/201 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-02 2447412 m, 26711 m/sec, 4530491 t fired, .
Time elapsed: 359 secs. Pages in use: 2
# 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: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: CANCELED task # 64 (type FNDP) for CANInsertWithFailure-PT-060-ReachabilityCardinality-02 (local timeout)
lola: CANCELED task # 65 (type EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-02 (local timeout)
lola: CANCELED task # 67 (type SRCH) for CANInsertWithFailure-PT-060-ReachabilityCardinality-02 (local timeout)
lola: CANCELED task # 68 (type SRCH) for CANInsertWithFailure-PT-060-ReachabilityCardinality-02 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 0 4 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 10 0 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 10 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 364 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 123 (type EXCL) for 39 CANInsertWithFailure-PT-060-ReachabilityCardinality-13
lola: time limit : 202 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 88 (type SKEL/FNDP) for 21 CANInsertWithFailure-PT-060-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 89 (type SKEL/EQUN) for 21 CANInsertWithFailure-PT-060-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 91 (type SKEL/SRCH) for 21 CANInsertWithFailure-PT-060-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 64 (type SKEL/FNDP) for CANInsertWithFailure-PT-060-ReachabilityCardinality-02
lola: result : unknown
lola: fired transitions : 14215102
lola: tried executions : 148992
lola: time used : 147.000000
lola: memory pages used : 0
lola: FINISHED task # 65 (type SKEL/EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-02
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: FINISHED task # 91 (type SKEL/SRCH) for CANInsertWithFailure-PT-060-ReachabilityCardinality-07
lola: result : true
lola: markings : 12
lola: fired transitions : 11
lola: time used : 0.000000
lola: memory pages used : 1
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: CANCELED task # 88 (type FNDP) for CANInsertWithFailure-PT-060-ReachabilityCardinality-07 (obsolete)
lola: CANCELED task # 89 (type EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-07 (obsolete)
lola: LAUNCH task # 112 (type SKEL/FNDP) for 45 CANInsertWithFailure-PT-060-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 113 (type SKEL/EQUN) for 45 CANInsertWithFailure-PT-060-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 115 (type SKEL/SRCH) for 45 CANInsertWithFailure-PT-060-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
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-89.sara.
lola: FINISHED task # 112 (type SKEL/FNDP) for CANInsertWithFailure-PT-060-ReachabilityCardinality-15
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 113 (type EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-15 (obsolete)
lola: CANCELED task # 115 (type SRCH) for CANInsertWithFailure-PT-060-ReachabilityCardinality-15 (obsolete)
sara: place or transition ordering is non-deterministic
lola: LAUNCH task # 72 (type SKEL/FNDP) for 15 CANInsertWithFailure-PT-060-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 73 (type SKEL/EQUN) for 15 CANInsertWithFailure-PT-060-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 75 (type SKEL/SRCH) for 15 CANInsertWithFailure-PT-060-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 89 (type SKEL/EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-07
lola: result : true
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 113 (type SKEL/EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-15
lola: result : unknown
lola: FINISHED task # 72 (type SKEL/FNDP) for CANInsertWithFailure-PT-060-ReachabilityCardinality-05
lola: result : true
lola: fired transitions : 170
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
lola: CANCELED task # 73 (type EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-05 (obsolete)
lola: CANCELED task # 75 (type SRCH) for CANInsertWithFailure-PT-060-ReachabilityCardinality-05 (obsolete)
lola: LAUNCH task # 96 (type SKEL/FNDP) for 30 CANInsertWithFailure-PT-060-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 97 (type SKEL/EQUN) for 30 CANInsertWithFailure-PT-060-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 99 (type SKEL/SRCH) for 30 CANInsertWithFailure-PT-060-ReachabilityCardinality-10
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 # 88 (type SKEL/FNDP) for CANInsertWithFailure-PT-060-ReachabilityCardinality-07
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-73.sara.
lola: FINISHED task # 96 (type SKEL/FNDP) for CANInsertWithFailure-PT-060-ReachabilityCardinality-10
lola: result : true
lola: fired transitions : 1149
lola: tried executions : 16
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 97 (type EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-10 (obsolete)
lola: CANCELED task # 99 (type SRCH) for CANInsertWithFailure-PT-060-ReachabilityCardinality-10 (obsolete)
lola: LAUNCH task # 80 (type SKEL/FNDP) for 27 CANInsertWithFailure-PT-060-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 81 (type SKEL/EQUN) for 27 CANInsertWithFailure-PT-060-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 83 (type SKEL/SRCH) for 27 CANInsertWithFailure-PT-060-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: FINISHED task # 97 (type SKEL/EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-10
lola: result : unknown
lola: FINISHED task # 83 (type SKEL/SRCH) for CANInsertWithFailure-PT-060-ReachabilityCardinality-09
lola: result : true
lola: markings : 12
lola: fired transitions : 11
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 80 (type FNDP) for CANInsertWithFailure-PT-060-ReachabilityCardinality-09 (obsolete)
lola: CANCELED task # 81 (type EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-09 (obsolete)
lola: LAUNCH task # 147 (type FNDP) for 36 CANInsertWithFailure-PT-060-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 148 (type EQUN) for 36 CANInsertWithFailure-PT-060-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 150 (type SRCH) for 36 CANInsertWithFailure-PT-060-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: place or transition ordering is non-deterministic
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 80 (type SKEL/FNDP) for CANInsertWithFailure-PT-060-ReachabilityCardinality-09
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 73 (type SKEL/EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-05
lola: result : true
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-81.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 81 (type SKEL/EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-09
lola: result : true
lola: FINISHED task # 147 (type FNDP) for CANInsertWithFailure-PT-060-ReachabilityCardinality-12
lola: result : true
lola: fired transitions : 20
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
lola: CANCELED task # 148 (type EQUN) for CANInsertWithFailure-PT-060-ReachabilityCardinality-12 (obsolete)
lola: CANCELED task # 150 (type SRCH) for CANInsertWithFailure-PT-060-ReachabilityCardinality-12 (obsolete)
lola: LAUNCH task # 126 (type FNDP) for 33 CANInsertWithFailure-PT-060-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 127 (type EQUN) for 33 CANInsertWithFailure-PT-060-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 129 (type SRCH) for 33 CANInsertWithFailure-PT-060-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
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-148.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-127.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 5/215 1/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 --
126 EF FNDP 3/404 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 2830 t fired, 79 attempts, .
127 EF STEQ 3/462 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 3/462 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 --
Time elapsed: 369 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 10/215 1/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 --
126 EF FNDP 8/401 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 5050 t fired, 142 attempts, .
127 EF STEQ 8/459 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 8/459 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 --
Time elapsed: 374 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 15/215 1/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 --
126 EF FNDP 13/396 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 6595 t fired, 185 attempts, .
127 EF STEQ 13/454 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 13/454 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 --
Time elapsed: 379 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 20/215 1/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 --
126 EF FNDP 18/391 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 16325 t fired, 407 attempts, .
127 EF STEQ 18/449 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 18/449 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 --
Time elapsed: 384 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 25/215 1/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 1 m, 0 m/sec, .
126 EF FNDP 23/386 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 27397 t fired, 671 attempts, .
127 EF STEQ 24/444 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 24/444 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 --
Time elapsed: 390 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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 5 0 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 31/215 1/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 1160 m, 231 m/sec, 2057 t fired, .
126 EF FNDP 29/333 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 40621 t fired, 963 attempts, .
127 EF STEQ 29/333 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 29/378 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 --
Time elapsed: 395 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 36/215 1/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 9127 m, 1593 m/sec, 19369 t fired, .
126 EF FNDP 34/329 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 48744 t fired, 1140 attempts, .
127 EF STEQ 34/329 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 34/374 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 --
Time elapsed: 400 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 41/215 1/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 14508 m, 1076 m/sec, 31607 t fired, .
126 EF FNDP 39/325 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 61983 t fired, 1457 attempts, .
127 EF STEQ 39/325 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 39/370 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 --
Time elapsed: 405 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 46/215 1/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 17917 m, 681 m/sec, 39393 t fired, .
126 EF FNDP 44/320 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 70091 t fired, 1621 attempts, .
127 EF STEQ 44/320 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 44/365 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 --
Time elapsed: 410 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 51/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 20704 m, 557 m/sec, 45975 t fired, .
126 EF FNDP 49/315 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 79871 t fired, 1812 attempts, .
127 EF STEQ 49/315 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 49/360 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 --
Time elapsed: 415 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 56/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 22794 m, 418 m/sec, 50889 t fired, .
126 EF FNDP 54/306 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 94524 t fired, 2139 attempts, .
127 EF STEQ 54/306 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 54/351 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 --
Time elapsed: 420 secs. Pages in use: 4
# 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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 5 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 61/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 24952 m, 431 m/sec, 55836 t fired, .
126 EF FNDP 59/211 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 112803 t fired, 2462 attempts, .
127 EF STEQ 59/236 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 59/236 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 --
Time elapsed: 425 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 66/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 26154 m, 240 m/sec, 58569 t fired, .
126 EF FNDP 64/209 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 126103 t fired, 2739 attempts, .
127 EF STEQ 64/234 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 64/234 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 --
Time elapsed: 430 secs. Pages in use: 4
# 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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 5 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 71/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 27453 m, 259 m/sec, 61401 t fired, .
126 EF FNDP 69/179 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 136562 t fired, 2920 attempts, .
127 EF STEQ 69/179 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 69/200 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 --
Time elapsed: 435 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 76/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 28891 m, 287 m/sec, 64665 t fired, .
126 EF FNDP 74/177 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 156193 t fired, 3289 attempts, .
127 EF STEQ 74/177 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 75/198 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 221 m, 44 m/sec, 282 t fired, .
Time elapsed: 441 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 82/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 29737 m, 169 m/sec, 66626 t fired, .
126 EF FNDP 80/173 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 171612 t fired, 3557 attempts, .
127 EF STEQ 80/173 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 80/194 1/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 4982 m, 952 m/sec, 9277 t fired, .
Time elapsed: 446 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 87/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 30863 m, 225 m/sec, 69287 t fired, .
126 EF FNDP 85/168 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 184070 t fired, 3760 attempts, .
127 EF STEQ 85/168 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 85/189 2/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 14498 m, 1903 m/sec, 27806 t fired, .
Time elapsed: 451 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 92/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 32195 m, 266 m/sec, 72472 t fired, .
126 EF FNDP 90/163 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 199054 t fired, 4063 attempts, .
127 EF STEQ 90/163 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 90/184 2/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 23684 m, 1837 m/sec, 45818 t fired, .
Time elapsed: 456 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 97/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 32195 m, 0 m/sec, 72472 t fired, .
126 EF FNDP 95/158 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 229014 t fired, 4633 attempts, .
127 EF STEQ 95/158 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 95/179 2/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 23684 m, 0 m/sec, 45818 t fired, .
Time elapsed: 461 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 102/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 32195 m, 0 m/sec, 72472 t fired, .
126 EF FNDP 100/153 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 243876 t fired, 4867 attempts, .
127 EF STEQ 100/153 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 100/174 2/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 24955 m, 254 m/sec, 48318 t fired, .
Time elapsed: 466 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 107/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 32803 m, 121 m/sec, 73881 t fired, .
126 EF FNDP 105/148 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 253570 t fired, 5043 attempts, .
127 EF STEQ 105/148 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 105/169 2/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 25658 m, 140 m/sec, 49701 t fired, .
Time elapsed: 471 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 112/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 33216 m, 82 m/sec, 74869 t fired, .
126 EF FNDP 110/143 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 265823 t fired, 5277 attempts, .
127 EF STEQ 110/143 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 110/164 2/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 26057 m, 79 m/sec, 50486 t fired, .
Time elapsed: 476 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 117/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 33933 m, 143 m/sec, 76587 t fired, .
126 EF FNDP 115/135 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 279336 t fired, 5541 attempts, .
127 EF STEQ 115/135 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 115/156 2/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 26897 m, 168 m/sec, 52136 t fired, .
Time elapsed: 481 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-060-ReachabilityCardinality-12: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-060-ReachabilityCardinality-00: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-060-ReachabilityCardinality-02: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-05: AG 0 5 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-06: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-07: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-09: AG 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-060-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-060-ReachabilityCardinality-11: AG 0 2 3 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-13: AG 0 9 1 0 0 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-060-ReachabilityCardinality-15: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
123 EF EXCL 124/215 2/32 CANInsertWithFailure-PT-060-ReachabilityCardinality-13 35340 m, 281 m/sec, 79903 t fired, .
126 EF FNDP 122/132 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 290262 t fired, 5697 attempts, .
127 EF STEQ 122/132 0/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 sara is running.
129 EF SRCH 122/153 3/5 CANInsertWithFailure-PT-060-ReachabilityCardinality-11 30644 m, 749 m/sec, 59566 t fired, .
Time elapsed: 488 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
/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
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CANInsertWithFailure-PT-060"
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-060, 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-167813691900750"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-060.tgz
mv CANInsertWithFailure-PT-060 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 ;