About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S24C06
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16226.915 | 648165.00 | 4371828.00 | 52773.80 | ?T???????F?????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r230-tall-167856415200839.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is MultiCrashLeafsetExtension-PT-S24C06, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r230-tall-167856415200839
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 11K Feb 26 03:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 03:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 03:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 03:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 26 03:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 26 03:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 03:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 03:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 13M 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 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1679534176550
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=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C06
Not applying reductions.
Model is PT
ReachabilityFireability PT
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S24C06
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1679534824715
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 16117548 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16116980 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/ReachabilityFireability.xml
lola: Created skeleton in 3.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 284 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 289 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 294 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 299 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 304 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 309 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 314 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 319 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 324 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 329 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 334 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 339 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 344 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 349 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 11.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 354 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 359 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 10.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 364 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 7.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 369 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 374 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 52 (type EXCL) for 3 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01
lola: time limit : 201 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 48 (type FNDP) for 3 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN) for 3 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 51 (type SRCH) for 3 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 51 (type SRCH) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01
lola: result : true
lola: markings : 152
lola: fired transitions : 170
lola: time used : 1.000000
lola: memory pages used : 1
lola: CANCELED task # 48 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01 (obsolete)
lola: CANCELED task # 49 (type EQUN) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01 (obsolete)
lola: CANCELED task # 52 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01 (obsolete)
lola: FINISHED task # 48 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01
lola: result : unknown
lola: fired transitions : 23
lola: tried executions : 2
lola: time used : 1.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-49.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 379 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 384 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 389 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 394 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 399 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 404 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 58 (type EXCL) for 39 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13
lola: time limit : 212 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 54 (type FNDP) for 39 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 55 (type EQUN) for 39 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 57 (type SRCH) for 39 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 2/797 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 --
55 EF STEQ 2/797 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara not yet started (preprocessing).
57 EF SRCH 2/797 1/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 1085 m, 217 m/sec, 1138 t fired, .
58 EF EXCL 2/212 1/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 --
Time elapsed: 409 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-55.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 7/314 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 495 t fired, 12 attempts, .
55 EF STEQ 7/349 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
57 EF SRCH 7/349 3/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 18816 m, 3546 m/sec, 19862 t fired, .
58 EF EXCL 7/212 1/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 2657 m, 531 m/sec, 3122 t fired, .
Time elapsed: 414 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 12/312 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 8649 t fired, 203 attempts, .
55 EF STEQ 12/347 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
57 EF SRCH 12/347 4/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 33852 m, 3007 m/sec, 35889 t fired, .
58 EF EXCL 12/212 3/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 25286 m, 4525 m/sec, 29907 t fired, .
Time elapsed: 419 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 57 (type SRCH) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 17/307 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 19398 t fired, 453 attempts, .
55 EF STEQ 17/342 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
58 EF EXCL 17/212 6/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 49806 m, 4904 m/sec, 59042 t fired, .
Time elapsed: 424 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 67 (type FNDP) for 45 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 28/337 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 37424 t fired, 876 attempts, .
55 EF STEQ 29/337 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
58 EF EXCL 29/212 11/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 98930 m, 9824 m/sec, 117304 t fired, .
67 EF FNDP 12/352 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 --
Time elapsed: 436 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 35/325 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 42549 t fired, 997 attempts, .
55 EF STEQ 35/325 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
58 EF EXCL 35/212 12/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 105247 m, 1263 m/sec, 124782 t fired, .
67 EF FNDP 18/340 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 4042 t fired, 238 attempts, .
Time elapsed: 442 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 40/319 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 47975 t fired, 1124 attempts, .
55 EF STEQ 40/319 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
58 EF EXCL 40/212 12/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 110484 m, 1047 m/sec, 130996 t fired, .
67 EF FNDP 23/334 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 8745 t fired, 494 attempts, .
Time elapsed: 447 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 45/314 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 58013 t fired, 1359 attempts, .
55 EF STEQ 45/314 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
58 EF EXCL 45/212 12/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 114023 m, 707 m/sec, 135199 t fired, .
67 EF FNDP 28/329 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 17749 t fired, 946 attempts, .
Time elapsed: 452 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 50/309 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 68289 t fired, 1601 attempts, .
55 EF STEQ 50/309 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
58 EF EXCL 50/212 13/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 119964 m, 1188 m/sec, 142255 t fired, .
67 EF FNDP 33/324 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 24215 t fired, 1262 attempts, .
Time elapsed: 457 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 57/304 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 73587 t fired, 1726 attempts, .
55 EF STEQ 57/304 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
58 EF EXCL 57/212 14/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 128327 m, 1672 m/sec, 152212 t fired, .
67 EF FNDP 40/319 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 29001 t fired, 1493 attempts, .
Time elapsed: 464 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 62/297 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 78649 t fired, 1845 attempts, .
55 EF STEQ 62/297 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
58 EF EXCL 62/212 14/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 132401 m, 814 m/sec, 157075 t fired, .
67 EF FNDP 45/312 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 35016 t fired, 1794 attempts, .
Time elapsed: 469 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 68/292 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 86023 t fired, 2018 attempts, .
55 EF STEQ 68/292 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
58 EF EXCL 68/212 15/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 137144 m, 948 m/sec, 162683 t fired, .
67 EF FNDP 51/307 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 39484 t fired, 2017 attempts, .
Time elapsed: 475 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 74/286 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 91210 t fired, 2140 attempts, .
55 EF STEQ 74/286 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
58 EF EXCL 74/212 16/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 148651 m, 2301 m/sec, 176302 t fired, .
67 EF FNDP 57/301 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 43664 t fired, 2219 attempts, .
Time elapsed: 481 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 79/280 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 94982 t fired, 2229 attempts, .
55 EF STEQ 79/280 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
58 EF EXCL 79/212 17/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 159390 m, 2147 m/sec, 189057 t fired, .
67 EF FNDP 62/295 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 47466 t fired, 2414 attempts, .
Time elapsed: 486 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 84/275 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 100703 t fired, 2364 attempts, .
55 EF STEQ 84/275 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
58 EF EXCL 84/212 19/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 174753 m, 3072 m/sec, 207340 t fired, .
67 EF FNDP 67/290 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 51893 t fired, 2630 attempts, .
Time elapsed: 491 secs. Pages in use: 19
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 89/231 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 106634 t fired, 2503 attempts, .
55 EF STEQ 89/231 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 sara is running.
58 EF EXCL 89/212 20/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 187113 m, 2472 m/sec, 221975 t fired, .
67 EF FNDP 72/217 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 56974 t fired, 2872 attempts, .
Time elapsed: 496 secs. Pages in use: 20
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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
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 # 54 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 (local timeout)
lola: CANCELED task # 55 (type EQUN) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 1 0 1 2 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
58 EF EXCL 95/212 22/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 208963 m, 4370 m/sec, 247961 t fired, .
67 EF FNDP 78/90 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 64789 t fired, 3248 attempts, .
Time elapsed: 502 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 74 (type FNDP) for 12 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 75 (type EQUN) for 12 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 55 (type EQUN) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 54 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13
lola: result : unknown
lola: fired transitions : 117751
lola: tried executions : 2766
lola: time used : 95.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-75.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 1 0 3 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
58 EF EXCL 100/212 24/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 230871 m, 4381 m/sec, 273968 t fired, .
67 EF FNDP 83/85 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 71201 t fired, 3547 attempts, .
74 EF FNDP 5/159 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 4701 t fired, 123 attempts, .
75 EF STEQ 5/159 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
Time elapsed: 507 secs. Pages in use: 24
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 49 (type EQUN) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01
lola: result : true
lola: CANCELED task # 67 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 1 0 3 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 1 1 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
58 EF EXCL 105/212 26/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 251734 m, 4172 m/sec, 298752 t fired, .
74 EF FNDP 10/154 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 10327 t fired, 272 attempts, .
75 EF STEQ 10/154 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
Time elapsed: 512 secs. Pages in use: 26
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 61 (type FNDP) for 9 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 67 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15
lola: result : unknown
lola: fired transitions : 77312
lola: tried executions : 3823
lola: time used : 88.000000
lola: memory pages used : 0
lola: CANCELED task # 58 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 5/162 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 21734 t fired, 486 attempts, .
74 EF FNDP 15/153 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 31515 t fired, 797 attempts, .
75 EF STEQ 15/162 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
Time elapsed: 517 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 151 (type EXCL) for 0 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00
lola: time limit : 220 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 10/157 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 31778 t fired, 708 attempts, .
74 EF FNDP 20/148 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 39645 t fired, 1011 attempts, .
75 EF STEQ 20/157 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
151 EF EXCL 5/220 4/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00 33842 m, 6768 m/sec, 40069 t fired, .
Time elapsed: 522 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 15/152 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 54147 t fired, 1199 attempts, .
74 EF FNDP 25/143 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 60581 t fired, 1560 attempts, .
75 EF STEQ 25/152 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
151 EF EXCL 10/220 13/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00 115924 m, 16416 m/sec, 137455 t fired, .
Time elapsed: 527 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 20/147 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 77112 t fired, 1701 attempts, .
74 EF FNDP 30/138 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 79624 t fired, 2063 attempts, .
75 EF STEQ 30/147 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
151 EF EXCL 15/220 21/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00 197691 m, 16353 m/sec, 234534 t fired, .
Time elapsed: 532 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 25/142 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 98180 t fired, 2164 attempts, .
74 EF FNDP 35/133 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 96176 t fired, 2506 attempts, .
75 EF STEQ 35/142 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
151 EF EXCL 20/220 29/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00 279522 m, 16366 m/sec, 331764 t fired, .
Time elapsed: 537 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 151 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 30/137 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 122044 t fired, 2688 attempts, .
74 EF FNDP 40/128 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 118020 t fired, 3092 attempts, .
75 EF STEQ 40/137 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
Time elapsed: 542 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 131 (type EXCL) for 42 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14
lola: time limit : 235 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 35/132 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 136110 t fired, 2995 attempts, .
74 EF FNDP 45/123 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 129214 t fired, 3388 attempts, .
75 EF STEQ 45/132 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
131 EF EXCL 5/235 9/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14 79801 m, 15960 m/sec, 94602 t fired, .
Time elapsed: 547 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 40/127 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 157885 t fired, 3470 attempts, .
74 EF FNDP 50/118 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 149123 t fired, 3905 attempts, .
75 EF STEQ 50/127 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
131 EF EXCL 10/235 18/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14 165120 m, 17063 m/sec, 195878 t fired, .
Time elapsed: 552 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 45/122 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 179052 t fired, 3935 attempts, .
74 EF FNDP 55/113 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 170442 t fired, 4460 attempts, .
75 EF STEQ 55/122 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
131 EF EXCL 15/235 26/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14 250291 m, 17034 m/sec, 297037 t fired, .
Time elapsed: 557 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 131 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 50/117 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 195661 t fired, 4299 attempts, .
74 EF FNDP 60/108 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 186413 t fired, 4871 attempts, .
75 EF STEQ 60/117 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
Time elapsed: 562 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 124 (type EXCL) for 27 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09
lola: time limit : 253 sec
lola: memory limit: 32 pages
lola: FINISHED task # 124 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09
lola: result : true
lola: markings : 53307
lola: fired transitions : 63187
lola: time used : 3.000000
lola: memory pages used : 6
lola: LAUNCH task # 110 (type EXCL) for 24 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08
lola: time limit : 275 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 55/118 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 217724 t fired, 4781 attempts, .
74 EF FNDP 65/119 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 206265 t fired, 5383 attempts, .
75 EF STEQ 65/119 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
110 EF EXCL 2/275 3/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08 21841 m, 4368 m/sec, 25819 t fired, .
Time elapsed: 567 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 60/116 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 226819 t fired, 4979 attempts, .
74 EF FNDP 70/117 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 217776 t fired, 5682 attempts, .
75 EF STEQ 70/117 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
110 EF EXCL 7/275 12/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08 107266 m, 17085 m/sec, 127178 t fired, .
Time elapsed: 572 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 65/111 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 250278 t fired, 5488 attempts, .
74 EF FNDP 75/112 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 239213 t fired, 6237 attempts, .
75 EF STEQ 75/112 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
110 EF EXCL 12/275 20/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08 189274 m, 16401 m/sec, 224538 t fired, .
Time elapsed: 577 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 70/106 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 267984 t fired, 5877 attempts, .
74 EF FNDP 80/107 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 259751 t fired, 6771 attempts, .
75 EF STEQ 80/107 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
110 EF EXCL 17/275 28/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08 272035 m, 16552 m/sec, 322868 t fired, .
Time elapsed: 582 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 110 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 75/101 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 291844 t fired, 6397 attempts, .
74 EF FNDP 85/102 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 281192 t fired, 7334 attempts, .
75 EF STEQ 85/102 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
Time elapsed: 587 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 91 (type EXCL) for 18 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06
lola: time limit : 301 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 80/96 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 315927 t fired, 6923 attempts, .
74 EF FNDP 90/97 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 300947 t fired, 7855 attempts, .
75 EF STEQ 90/97 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 sara is running.
91 EF EXCL 5/301 8/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06 68043 m, 13608 m/sec, 80632 t fired, .
Time elapsed: 592 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 74 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 (local timeout)
lola: CANCELED task # 75 (type EQUN) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 0 0 1 2 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 85/91 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 339938 t fired, 7448 attempts, .
91 EF EXCL 10/301 15/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06 138078 m, 14007 m/sec, 163781 t fired, .
Time elapsed: 597 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 141 (type FNDP) for 30 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 142 (type EQUN) for 30 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-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 # 75 (type EQUN) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04
lola: result : unknown
lola: FINISHED task # 74 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04
lola: result : unknown
lola: fired transitions : 319732
lola: tried executions : 8357
lola: time used : 95.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-142.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 0 0 3 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 90/108 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 359712 t fired, 7876 attempts, .
91 EF EXCL 15/301 21/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06 202176 m, 12819 m/sec, 239873 t fired, .
141 EF FNDP 5/176 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 20462 t fired, 553 attempts, .
142 EF STEQ 5/176 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 sara is running.
Time elapsed: 602 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 0 0 3 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 95/103 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 382992 t fired, 8387 attempts, .
91 EF EXCL 20/301 29/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06 276909 m, 14946 m/sec, 328671 t fired, .
141 EF FNDP 10/171 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 42397 t fired, 1133 attempts, .
142 EF STEQ 10/171 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 sara is running.
Time elapsed: 607 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 91 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06 (memory limit exceeded)
lola: CANCELED task # 61 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 0 0 1 1 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 0 0 3 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
141 EF FNDP 15/166 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 64198 t fired, 1713 attempts, .
142 EF STEQ 15/166 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 sara is running.
Time elapsed: 612 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 85 (type EXCL) for 6 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02
lola: time limit : 332 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 113 (type FNDP) for 36 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 61 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03
lola: result : unknown
lola: fired transitions : 406496
lola: tried executions : 8900
lola: time used : 100.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 0 0 2 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 0 0 3 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF EXCL 5/332 4/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02 37023 m, 7404 m/sec, 43857 t fired, .
113 EF FNDP 5/175 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12 14169 t fired, 286 attempts, .
141 EF FNDP 20/172 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 82988 t fired, 2205 attempts, .
142 EF STEQ 20/172 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 sara is running.
Time elapsed: 617 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 0 0 2 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 0 0 3 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF EXCL 10/332 5/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02 44188 m, 1433 m/sec, 52392 t fired, .
113 EF FNDP 10/170 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12 20025 t fired, 406 attempts, .
141 EF FNDP 25/167 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 91023 t fired, 2415 attempts, .
142 EF STEQ 25/167 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 sara is running.
Time elapsed: 622 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 0 0 2 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 0 0 3 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF EXCL 15/332 5/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02 45949 m, 352 m/sec, 54491 t fired, .
113 EF FNDP 15/165 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12 20664 t fired, 419 attempts, .
141 EF FNDP 30/162 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 91625 t fired, 2429 attempts, .
142 EF STEQ 30/162 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 sara is running.
Time elapsed: 627 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 0 0 2 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 0 0 3 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF EXCL 20/332 14/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02 126900 m, 16190 m/sec, 150515 t fired, .
113 EF FNDP 20/160 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12 43453 t fired, 886 attempts, .
141 EF FNDP 35/157 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 113614 t fired, 3001 attempts, .
142 EF STEQ 35/157 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 sara is running.
Time elapsed: 632 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 0 0 2 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 0 0 3 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF EXCL 25/332 22/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02 209907 m, 16601 m/sec, 249090 t fired, .
113 EF FNDP 25/155 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12 66231 t fired, 1351 attempts, .
141 EF FNDP 40/152 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 135718 t fired, 3565 attempts, .
142 EF STEQ 40/152 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 sara is running.
Time elapsed: 637 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 0 0 2 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 0 0 3 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF EXCL 30/332 30/32 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02 291002 m, 16219 m/sec, 345382 t fired, .
113 EF FNDP 30/150 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12 88840 t fired, 1817 attempts, .
141 EF FNDP 45/147 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 157592 t fired, 4126 attempts, .
142 EF STEQ 45/147 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 sara is running.
Time elapsed: 642 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 85 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-01: EF true tandem / insertion
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-09: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-02: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-03: AG 0 4 0 0 2 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-04: AG 0 3 0 0 3 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-06: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-13: EF 0 1 0 0 3 0 2 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-15: EF 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 35/145 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-12 111837 t fired, 2292 attempts, .
141 EF FNDP 50/142 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 179706 t fired, 4688 attempts, .
142 EF STEQ 50/142 0/5 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-10 sara is running.
Time elapsed: 647 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 104 (type EXCL) for 33 MultiCrashLeafsetExtension-PT-S24C06-ReachabilityFireability-11
lola: time limit : 369 sec
lola: memory limit: 32 pages
/home/mcc/BenchKit/bin//../lola/bin//../BenchKit_head.sh: line 63: 374 Killed lola --conf=$BIN_DIR/configfiles/reachabilityfireabilityconf --formula=$DIR/ReachabilityFireability.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S24C06"
export BK_EXAMINATION="ReachabilityFireability"
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 MultiCrashLeafsetExtension-PT-S24C06, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r230-tall-167856415200839"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C06.tgz
mv MultiCrashLeafsetExtension-PT-S24C06 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;