About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S24C08
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16223.903 | 786190.00 | 4236481.00 | 38604.90 | ?????????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-167856415200854.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-S24C08, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r230-tall-167856415200854
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 12K Feb 26 02:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 02:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 02:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 26 02:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 16:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 26K Feb 26 02:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 151K Feb 26 02:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 02:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 02:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:25 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 15M 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-S24C08-ReachabilityCardinality-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1679536636707
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C08
Not applying reductions.
Model is PT
ReachabilityCardinality PT
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S24C08
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityCardinality
FORMULA MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1679537422897
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 16091124 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16090352 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityCardinality.xml
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 449 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 6.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 454 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 6.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 459 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 5.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 464 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 6.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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 469 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 474 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 479 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 6.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 484 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 489 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 6.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 494 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 5.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 499 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 6.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 504 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 6.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 509 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 5.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 514 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 6.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 519 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 6.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 524 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 529 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 534 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 539 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 544 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 549 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 21.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 554 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 559 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 564 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 569 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 19.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 574 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 579 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 584 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 589 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 595 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 26.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 600 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 605 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-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 610 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 53 (type EXCL) for 27 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09
lola: time limit : 186 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 49 (type FNDP) for 27 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 50 (type EQUN) for 27 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type SRCH) for 27 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 2/1493 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 672 t fired, 13 attempts, .
50 EF STEQ 2/2987 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 sara not yet started (preprocessing).
52 EF SRCH 2/2987 1/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 661 m, 132 m/sec, 771 t fired, .
53 EF EXCL 2/186 1/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 186 m, 37 m/sec, 205 t fired, .
Time elapsed: 615 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-50.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
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 7/990 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 3748 t fired, 73 attempts, .
50 EF STEQ 7/990 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 sara is running.
52 EF SRCH 7/1488 1/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 5822 m, 1032 m/sec, 6850 t fired, .
53 EF EXCL 7/186 2/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 12717 m, 2506 m/sec, 14988 t fired, .
Time elapsed: 620 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 12/988 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 7415 t fired, 141 attempts, .
50 EF STEQ 12/988 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 sara is running.
52 EF SRCH 12/1486 2/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 11189 m, 1073 m/sec, 13184 t fired, .
53 EF EXCL 12/186 4/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 26381 m, 2732 m/sec, 31188 t fired, .
Time elapsed: 625 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 17/983 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 10755 t fired, 202 attempts, .
50 EF STEQ 17/983 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 sara is running.
52 EF SRCH 17/1481 2/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 16812 m, 1124 m/sec, 19808 t fired, .
53 EF EXCL 17/186 5/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 39106 m, 2545 m/sec, 46277 t fired, .
Time elapsed: 630 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 22/978 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 14109 t fired, 263 attempts, .
50 EF STEQ 22/978 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 sara is running.
52 EF SRCH 22/1476 3/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 21682 m, 974 m/sec, 25561 t fired, .
53 EF EXCL 22/186 7/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 52380 m, 2654 m/sec, 61977 t fired, .
Time elapsed: 635 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 27/973 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 17665 t fired, 328 attempts, .
50 EF STEQ 27/973 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 sara is running.
52 EF SRCH 27/1471 4/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 27377 m, 1139 m/sec, 32267 t fired, .
53 EF EXCL 27/186 9/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 65763 m, 2676 m/sec, 77882 t fired, .
Time elapsed: 640 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 32/968 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 21249 t fired, 392 attempts, .
50 EF STEQ 32/968 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 sara is running.
52 EF SRCH 32/1466 4/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 32303 m, 985 m/sec, 38075 t fired, .
53 EF EXCL 32/186 10/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 79382 m, 2723 m/sec, 93977 t fired, .
Time elapsed: 645 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 37/713 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 24955 t fired, 459 attempts, .
50 EF STEQ 37/713 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 sara is running.
52 EF SRCH 37/713 5/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 37295 m, 998 m/sec, 43973 t fired, .
53 EF EXCL 37/186 12/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 93512 m, 2826 m/sec, 110753 t fired, .
Time elapsed: 650 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 1 4 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 42/709 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 28922 t fired, 531 attempts, .
50 EF STEQ 42/709 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 sara is running.
52 EF SRCH 42/709 5/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 43007 m, 1142 m/sec, 50702 t fired, .
53 EF EXCL 42/186 13/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 106824 m, 2662 m/sec, 126532 t fired, .
Time elapsed: 655 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 52 (type SRCH) for MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 47/704 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 33119 t fired, 606 attempts, .
50 EF STEQ 47/704 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 sara is running.
53 EF EXCL 47/186 15/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 121631 m, 2961 m/sec, 144105 t fired, .
Time elapsed: 660 secs. Pages in use: 19
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 62 (type FNDP) for 45 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 52/548 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 37215 t fired, 679 attempts, .
50 EF STEQ 52/548 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 sara is running.
53 EF EXCL 52/186 17/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 138414 m, 3356 m/sec, 163975 t fired, .
62 EF FNDP 5/586 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 3648 t fired, 54 attempts, .
Time elapsed: 665 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
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG 0 1 3 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 57/372 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 42010 t fired, 765 attempts, .
50 EF STEQ 57/319 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 sara is running.
53 EF EXCL 57/186 19/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 157674 m, 3852 m/sec, 186815 t fired, .
62 EF FNDP 10/360 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 8092 t fired, 119 attempts, .
Time elapsed: 670 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
lola: FINISHED task # 49 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09
lola: result : true
lola: fired transitions : 46492
lola: tried executions : 845
lola: time used : 61.000000
lola: memory pages used : 0
lola: CANCELED task # 50 (type EQUN) for MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 (obsolete)
lola: CANCELED task # 53 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09 (obsolete)
lola: LAUNCH task # 59 (type EXCL) for 36 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12
lola: time limit : 195 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 69 (type FNDP) for 15 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 70 (type EQUN) for 15 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 50 (type EQUN) for MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 1/195 1/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 --
62 EF FNDP 15/353 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 13395 t fired, 198 attempts, .
69 EF FNDP 1/365 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 --
70 EF STEQ 1/365 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara not yet started (preprocessing).
Time elapsed: 675 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-70.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 6/195 3/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 18426 m, 3685 m/sec, 21750 t fired, .
62 EF FNDP 20/352 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 18161 t fired, 269 attempts, .
69 EF FNDP 6/364 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 4378 t fired, 72 attempts, .
70 EF STEQ 6/364 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 680 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 11/195 5/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 39012 m, 4117 m/sec, 46170 t fired, .
62 EF FNDP 25/347 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 23621 t fired, 351 attempts, .
69 EF FNDP 11/359 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 9235 t fired, 152 attempts, .
70 EF STEQ 11/359 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 685 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 16/195 8/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 59904 m, 4178 m/sec, 70911 t fired, .
62 EF FNDP 30/342 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 28969 t fired, 431 attempts, .
69 EF FNDP 16/354 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 14018 t fired, 234 attempts, .
70 EF STEQ 16/354 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 690 secs. Pages in use: 21
# 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-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 21/195 10/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 81501 m, 4319 m/sec, 96498 t fired, .
62 EF FNDP 35/291 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 34350 t fired, 511 attempts, .
69 EF FNDP 21/304 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 18778 t fired, 316 attempts, .
70 EF STEQ 21/271 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 695 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 26/195 13/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 106568 m, 5013 m/sec, 126243 t fired, .
62 EF FNDP 40/208 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 40841 t fired, 608 attempts, .
69 EF FNDP 26/220 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 24879 t fired, 421 attempts, .
70 EF STEQ 26/220 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 700 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 34/195 18/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 145066 m, 7699 m/sec, 171885 t fired, .
62 EF FNDP 48/184 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 51994 t fired, 775 attempts, .
69 EF FNDP 34/197 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 34870 t fired, 593 attempts, .
70 EF STEQ 34/181 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 708 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 39/195 19/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 159794 m, 2945 m/sec, 189347 t fired, .
62 EF FNDP 53/178 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 59518 t fired, 889 attempts, .
69 EF FNDP 39/191 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 42594 t fired, 726 attempts, .
70 EF STEQ 39/175 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 713 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 44/195 20/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 162418 m, 524 m/sec, 192456 t fired, .
62 EF FNDP 58/173 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 61857 t fired, 924 attempts, .
69 EF FNDP 44/186 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 45533 t fired, 776 attempts, .
70 EF STEQ 44/170 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 718 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 49/195 20/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 166828 m, 882 m/sec, 197685 t fired, .
62 EF FNDP 63/168 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 71597 t fired, 1071 attempts, .
69 EF FNDP 49/181 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 53999 t fired, 922 attempts, .
70 EF STEQ 49/165 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 723 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 54/195 21/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 171962 m, 1026 m/sec, 203786 t fired, .
62 EF FNDP 68/163 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 74948 t fired, 1121 attempts, .
69 EF FNDP 54/176 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 56524 t fired, 965 attempts, .
70 EF STEQ 54/160 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 728 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 59/195 21/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 172266 m, 60 m/sec, 204150 t fired, .
62 EF FNDP 73/158 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 75856 t fired, 1135 attempts, .
69 EF FNDP 59/171 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 58183 t fired, 994 attempts, .
70 EF STEQ 59/155 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 733 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 64/195 21/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 177078 m, 962 m/sec, 209876 t fired, .
62 EF FNDP 78/153 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 81149 t fired, 1215 attempts, .
69 EF FNDP 64/166 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 65054 t fired, 1112 attempts, .
70 EF STEQ 64/150 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 738 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 69/195 21/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 177078 m, 0 m/sec, 209876 t fired, .
62 EF FNDP 83/148 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 81149 t fired, 1215 attempts, .
69 EF FNDP 69/161 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 65054 t fired, 1112 attempts, .
70 EF STEQ 69/145 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 743 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 74/195 22/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 180324 m, 649 m/sec, 213728 t fired, .
62 EF FNDP 88/143 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 85464 t fired, 1280 attempts, .
69 EF FNDP 74/156 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 68787 t fired, 1176 attempts, .
70 EF STEQ 74/140 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 748 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 79/195 22/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 182362 m, 407 m/sec, 216138 t fired, .
62 EF FNDP 93/138 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 91274 t fired, 1367 attempts, .
69 EF FNDP 79/151 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 74128 t fired, 1267 attempts, .
70 EF STEQ 79/135 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 753 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 84/195 22/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 185359 m, 599 m/sec, 219687 t fired, .
62 EF FNDP 98/133 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 98254 t fired, 1473 attempts, .
69 EF FNDP 84/146 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 81115 t fired, 1387 attempts, .
70 EF STEQ 84/130 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 758 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 89/195 23/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 188162 m, 560 m/sec, 223013 t fired, .
62 EF FNDP 103/128 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 104486 t fired, 1567 attempts, .
69 EF FNDP 89/141 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 86968 t fired, 1488 attempts, .
70 EF STEQ 89/125 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 763 secs. Pages in use: 23
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 94/195 23/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 191200 m, 607 m/sec, 226614 t fired, .
62 EF FNDP 108/123 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 113933 t fired, 1709 attempts, .
69 EF FNDP 94/136 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 95804 t fired, 1639 attempts, .
70 EF STEQ 94/120 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 768 secs. Pages in use: 23
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 99/195 23/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 192158 m, 191 m/sec, 227752 t fired, .
62 EF FNDP 113/118 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 123888 t fired, 1859 attempts, .
69 EF FNDP 99/131 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 106825 t fired, 1828 attempts, .
70 EF STEQ 99/115 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 773 secs. Pages in use: 23
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 62 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 0 0 1 1 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 106/195 23/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 193483 m, 265 m/sec, 229328 t fired, .
69 EF FNDP 106/126 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 122264 t fired, 2093 attempts, .
70 EF STEQ 106/110 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
Time elapsed: 780 secs. Pages in use: 23
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 107 (type FNDP) for 9 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 62 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15
lola: result : unknown
lola: fired transitions : 145802
lola: tried executions : 2192
lola: time used : 120.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-09: AG false findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-01: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-02: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03: AG 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-04: AG 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05: AG 0 3 2 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-07: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-08: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-11: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12: EF 0 4 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-13: EF 0 5 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-14: AG 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-15: AG 0 4 0 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 111/195 24/32 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-12 195488 m, 401 m/sec, 231710 t fired, .
69 EF FNDP 111/119 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 128110 t fired, 2194 attempts, .
70 EF STEQ 111/119 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-05 sara is running.
107 EF FNDP 5/216 0/5 MultiCrashLeafsetExtension-PT-S24C08-ReachabilityCardinality-03 --
Time elapsed: 785 secs. Pages in use: 24
# running tasks: 4 of 4 Visible: 16
/home/mcc/BenchKit/bin//../lola/bin//../BenchKit_head.sh: line 63: 376 Killed lola --conf=$BIN_DIR/configfiles/reachabilitycardinalityconf --formula=$DIR/ReachabilityCardinality.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
sara: place or transition ordering is non-deterministic
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-S24C08"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is MultiCrashLeafsetExtension-PT-S24C08, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r230-tall-167856415200854"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C08.tgz
mv MultiCrashLeafsetExtension-PT-S24C08 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;