About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S24C10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 0.000 | 501440.00 | 0.00 | 0.00 | 1 1 1 ? ? ? ? 1 ? 1 1 1 1 1 1 1 | normal |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r230-tall-167856415300869.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-S24C10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r230-tall-167856415300869
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 11K Feb 26 02:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 26 02:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 02:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 02:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 26 02:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 26 02:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 02:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 26 02:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K 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 18M 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 positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1679538998705
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=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C10
Not applying reductions.
Model is PT
UpperBounds PT
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S24C10
BK_EXAMINATION: UpperBounds
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
Upper Bounds
FORMULA MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1679539500145
--------------------
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/UpperBounds.xml
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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 6 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 11 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 16 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 21 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 26 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 31 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 36 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 41 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 46 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 51 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 56 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 61 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 66 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 71 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 76 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 81 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 86 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 91 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 96 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 101 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 106 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 111 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 116 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 121 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 126 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 131 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 136 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 141 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 148 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 156 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 161 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 166 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 171 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 176 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 181 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 186 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 191 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 196 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 201 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 206 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 211 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-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 216 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: LAUNCH task # 50 (type EXCL) for 18 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06
lola: time limit : 120 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 48 (type FNDP) for 18 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN) for 18 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 7/3383 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
49 BOUND STEQ 7/3383 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 7/120 1/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
Time elapsed: 224 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
lola: Structural Bound: 1
sara: try reading problem file /home/mcc/execution/UpperBounds-49.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 12/3383 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 1877 t fired, 26 attempts, .
49 BOUND STEQ 12/3383 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 12/120 1/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 2152 m, 430 m/sec, 2464 t fired, result in [0,1] .
Time elapsed: 229 secs. Pages in use: 1
# running tasks: 3 of 4 Visible: 16
lola: LAUNCH task # 51 (type FNDP) for 30 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 0 2 1 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 17/3367 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 4997 t fired, 68 attempts, .
49 BOUND STEQ 17/3367 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 17/120 1/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 5261 m, 621 m/sec, 6037 t fired, result in [0,1] .
51 BOUND FNDP 1/1683 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10 --
Time elapsed: 234 secs. Pages in use: 1
# running tasks: 4 of 4 Visible: 16
lola: REPORT NUM
lola: FINISHED task # 51 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10
lola: fired transitions : 4
lola: tried executions : 1
lola: time used : 2.000000
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 22/3383 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 8074 t fired, 110 attempts, .
49 BOUND STEQ 22/3383 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 22/130 2/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 7862 m, 520 m/sec, 9057 t fired, result in [0,1] .
Time elapsed: 239 secs. Pages in use: 2
# running tasks: 3 of 4 Visible: 16
lola: LAUNCH task # 54 (type FNDP) for 27 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 0 2 1 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 27/3356 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 11726 t fired, 159 attempts, .
49 BOUND STEQ 27/3356 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 27/130 2/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 11485 m, 724 m/sec, 13256 t fired, result in [0,1] .
54 BOUND FNDP 0/1678 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09 --
Time elapsed: 244 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: REPORT NUM
lola: FINISHED task # 54 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09
lola: fired transitions : 303
lola: tried executions : 8
lola: time used : 1.000000
lola: LAUNCH task # 57 (type FNDP) for 42 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: REPORT NUM
lola: FINISHED task # 57 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14
lola: fired transitions : 58
lola: tried executions : 1
lola: time used : 1.000000
lola: LAUNCH task # 60 (type FNDP) for 21 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 0 2 1 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 32/3352 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 14687 t fired, 199 attempts, .
49 BOUND STEQ 32/3352 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 32/153 3/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 14014 m, 505 m/sec, 16179 t fired, result in [0,1] .
60 BOUND FNDP 2/1675 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07 1 attempts, .
Time elapsed: 249 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
lola: REPORT NUM
lola: FINISHED task # 60 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07
lola: fired transitions : 20
lola: tried executions : 1
lola: time used : 3.000000
lola: LAUNCH task # 63 (type FNDP) for 33 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: REPORT NUM
lola: FINISHED task # 63 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11
lola: fired transitions : 15
lola: tried executions : 2
lola: time used : 2.000000
lola: LAUNCH task # 66 (type FNDP) for 36 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: REPORT NUM
lola: FINISHED task # 66 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12
lola: tried executions : 1
lola: time used : 1.000000
lola: LAUNCH task # 69 (type FNDP) for 39 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: REPORT NUM
lola: FINISHED task # 69 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13
lola: fired transitions : 32
lola: tried executions : 1
lola: time used : 0.000000
lola: LAUNCH task # 72 (type FNDP) for 45 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 37/1655 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 17102 t fired, 232 attempts, .
49 BOUND STEQ 37/1655 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 37/241 3/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 16559 m, 509 m/sec, 19169 t fired, result in [0,1] .
72 BOUND FNDP 1/1673 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15 --
Time elapsed: 254 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
lola: REPORT NUM
lola: FINISHED task # 72 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15
lola: fired transitions : 911
lola: tried executions : 12
lola: time used : 5.000000
lola: LAUNCH task # 75 (type FNDP) for 12 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 42/1650 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 20220 t fired, 274 attempts, .
49 BOUND STEQ 42/1086 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 42/281 3/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 18891 m, 466 m/sec, 21877 t fired, result in [0,1] .
75 BOUND FNDP 1/1114 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 263 t fired, 10 attempts, .
Time elapsed: 259 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 0 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 0 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 3 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 47/801 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 29130 t fired, 394 attempts, .
49 BOUND STEQ 47/801 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 47/281 5/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 29477 m, 2117 m/sec, 34360 t fired, result in [0,1] .
75 BOUND FNDP 6/832 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 8442 t fired, 221 attempts, .
Time elapsed: 264 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 3 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 52/625 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 42082 t fired, 569 attempts, .
49 BOUND STEQ 52/625 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 52/281 7/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 42457 m, 2596 m/sec, 49445 t fired, result in [0,1] .
75 BOUND FNDP 11/547 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 22587 t fired, 554 attempts, .
Time elapsed: 269 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 3 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 57/624 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 59475 t fired, 803 attempts, .
49 BOUND STEQ 57/624 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 57/281 9/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 58720 m, 3252 m/sec, 68535 t fired, result in [0,1] .
75 BOUND FNDP 16/546 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 39125 t fired, 909 attempts, .
Time elapsed: 274 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 3 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 62/619 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 77392 t fired, 1045 attempts, .
49 BOUND STEQ 62/619 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 62/281 11/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 75155 m, 3287 m/sec, 87680 t fired, result in [0,1] .
75 BOUND FNDP 21/541 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 56158 t fired, 1268 attempts, .
Time elapsed: 279 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 3 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 67/614 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 92984 t fired, 1256 attempts, .
49 BOUND STEQ 67/614 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 67/281 13/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 90241 m, 3017 m/sec, 105486 t fired, result in [0,1] .
75 BOUND FNDP 26/536 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 71765 t fired, 1584 attempts, .
Time elapsed: 284 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 3 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 72/609 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 106432 t fired, 1437 attempts, .
49 BOUND STEQ 72/609 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 72/281 15/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 105006 m, 2953 m/sec, 122648 t fired, result in [0,1] .
75 BOUND FNDP 31/531 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 85963 t fired, 1879 attempts, .
Time elapsed: 289 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 3 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 77/604 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 123531 t fired, 1668 attempts, .
49 BOUND STEQ 77/604 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 77/281 17/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 120873 m, 3173 m/sec, 141319 t fired, result in [0,1] .
75 BOUND FNDP 36/526 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 102696 t fired, 2212 attempts, .
Time elapsed: 294 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 3 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 82/599 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 140587 t fired, 1898 attempts, .
49 BOUND STEQ 82/599 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 82/281 20/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 136416 m, 3108 m/sec, 159532 t fired, result in [0,1] .
75 BOUND FNDP 41/521 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 119781 t fired, 2562 attempts, .
Time elapsed: 299 secs. Pages in use: 20
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 3 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 87/594 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 158731 t fired, 2143 attempts, .
49 BOUND STEQ 87/594 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 87/281 22/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 153644 m, 3445 m/sec, 179742 t fired, result in [0,1] .
75 BOUND FNDP 46/516 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 137398 t fired, 2910 attempts, .
Time elapsed: 304 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 3 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 92/589 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 176986 t fired, 2390 attempts, .
49 BOUND STEQ 92/589 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 92/281 24/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 170339 m, 3339 m/sec, 199388 t fired, result in [0,1] .
75 BOUND FNDP 51/511 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 155452 t fired, 3259 attempts, .
Time elapsed: 309 secs. Pages in use: 24
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 3 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 97/584 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 195598 t fired, 2641 attempts, .
49 BOUND STEQ 97/584 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 97/281 26/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 186118 m, 3155 m/sec, 218002 t fired, result in [0,1] .
75 BOUND FNDP 56/506 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 173634 t fired, 3619 attempts, .
Time elapsed: 314 secs. Pages in use: 26
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 3 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 102/579 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 213719 t fired, 2885 attempts, .
49 BOUND STEQ 102/579 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 102/281 28/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 203031 m, 3382 m/sec, 237867 t fired, result in [0,1] .
75 BOUND FNDP 61/501 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 190668 t fired, 3944 attempts, .
Time elapsed: 319 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 3 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 3 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 107/574 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 232736 t fired, 3142 attempts, .
49 BOUND STEQ 107/574 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
50 BOUND EXCL 107/281 31/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 219556 m, 3305 m/sec, 257353 t fired, result in [0,1] .
75 BOUND FNDP 66/496 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 209105 t fired, 4294 attempts, .
Time elapsed: 324 secs. Pages in use: 31
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 50 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 2 0 0 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 3 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 112/569 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 251021 t fired, 3389 attempts, .
49 BOUND STEQ 112/569 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
75 BOUND FNDP 71/491 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 226843 t fired, 4629 attempts, .
Time elapsed: 329 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 95 (type EXCL) for 6 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02
lola: time limit : 297 sec
lola: memory limit: 32 pages
lola: Structural Bound: 1
lola: REPORT NUM
lola: FINISHED task # 95 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02
lola: markings : 83
lola: fired transitions : 82
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 92 (type EXCL) for 0 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00
lola: time limit : 363 sec
lola: memory limit: 32 pages
lola: Structural Bound: 1
lola: REPORT NUM
lola: FINISHED task # 92 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00
lola: markings : 40
lola: fired transitions : 39
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 89 (type EXCL) for 24 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08
lola: time limit : 408 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 2 0 0 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 117/733 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 252809 t fired, 3413 attempts, .
49 BOUND STEQ 117/733 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
75 BOUND FNDP 76/764 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 228819 t fired, 4667 attempts, .
89 BOUND EXCL 5/408 1/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 --
Time elapsed: 334 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: Structural Bound: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 2 0 0 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 122/728 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 256134 t fired, 3458 attempts, .
49 BOUND STEQ 122/728 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
75 BOUND FNDP 81/759 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 232469 t fired, 4737 attempts, .
89 BOUND EXCL 10/408 1/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 606 m, 121 m/sec, 711 t fired, result in [0,1] .
Time elapsed: 339 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 2 0 0 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 127/723 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 261174 t fired, 3526 attempts, .
49 BOUND STEQ 127/723 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
75 BOUND FNDP 86/754 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 238556 t fired, 4852 attempts, .
89 BOUND EXCL 15/408 1/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 4485 m, 775 m/sec, 5295 t fired, result in [0,1] .
Time elapsed: 344 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 2 0 0 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 132/718 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 273705 t fired, 3695 attempts, .
49 BOUND STEQ 132/718 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
75 BOUND FNDP 91/749 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 250502 t fired, 5082 attempts, .
89 BOUND EXCL 20/408 3/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 17753 m, 2653 m/sec, 19852 t fired, result in [0,1] .
Time elapsed: 349 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 2 0 0 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 137/713 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 292073 t fired, 3942 attempts, .
49 BOUND STEQ 137/713 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
75 BOUND FNDP 96/744 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 267876 t fired, 5420 attempts, .
89 BOUND EXCL 25/408 6/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 35779 m, 3605 m/sec, 40030 t fired, result in [0,1] .
Time elapsed: 354 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 2 0 0 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 142/708 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 292547 t fired, 3949 attempts, .
49 BOUND STEQ 142/708 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
75 BOUND FNDP 101/739 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 268324 t fired, 5429 attempts, .
89 BOUND EXCL 30/408 6/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 35918 m, 27 m/sec, 40185 t fired, result in [0,1] .
Time elapsed: 359 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 2 0 0 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 147/703 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 300294 t fired, 4053 attempts, .
49 BOUND STEQ 147/703 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
75 BOUND FNDP 106/734 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 273643 t fired, 5530 attempts, .
89 BOUND EXCL 35/408 7/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 43964 m, 1609 m/sec, 49315 t fired, result in [0,1] .
Time elapsed: 364 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 2 0 0 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 152/698 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 310633 t fired, 4193 attempts, .
49 BOUND STEQ 152/698 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
75 BOUND FNDP 111/729 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 286715 t fired, 5774 attempts, .
89 BOUND EXCL 40/408 10/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 62381 m, 3683 m/sec, 70172 t fired, result in [0,1] .
Time elapsed: 369 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 2 0 0 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 157/693 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 310633 t fired, 4193 attempts, .
49 BOUND STEQ 157/693 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
75 BOUND FNDP 116/724 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 286715 t fired, 5774 attempts, .
89 BOUND EXCL 45/408 10/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 62381 m, 0 m/sec, 70172 t fired, result in [0,1] .
Time elapsed: 374 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 2 0 0 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 162/688 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 310633 t fired, 4193 attempts, .
49 BOUND STEQ 162/688 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 --
75 BOUND FNDP 121/719 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 286715 t fired, 5774 attempts, .
89 BOUND EXCL 50/408 10/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 62381 m, 0 m/sec, 70172 t fired, result in [0,1] .
Time elapsed: 379 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 49 (type EQUN) for MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06
lola: result : unknown
lola: time used : 165.000000
lola: memory pages used : 0
lola: LAUNCH task # 78 (type FNDP) for 3 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 167/962 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 317965 t fired, 4292 attempts, .
75 BOUND FNDP 126/711 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 289399 t fired, 5824 attempts, .
78 BOUND FNDP 2/804 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 4327 t fired, 67 attempts, .
89 BOUND EXCL 55/408 10/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 64652 m, 454 m/sec, 72839 t fired, result in [0,1] .
Time elapsed: 384 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 172/960 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 332190 t fired, 4483 attempts, .
75 BOUND FNDP 131/709 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 297802 t fired, 5985 attempts, .
78 BOUND FNDP 7/802 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 23035 t fired, 337 attempts, .
89 BOUND EXCL 60/408 11/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 74431 m, 1955 m/sec, 83786 t fired, result in [0,1] .
Time elapsed: 389 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 177/955 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 347487 t fired, 4690 attempts, .
75 BOUND FNDP 136/704 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 305772 t fired, 6130 attempts, .
78 BOUND FNDP 12/797 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 42087 t fired, 604 attempts, .
89 BOUND EXCL 65/408 13/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 83837 m, 1881 m/sec, 94532 t fired, result in [0,1] .
Time elapsed: 394 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 182/950 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 357572 t fired, 4825 attempts, .
75 BOUND FNDP 141/699 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 311732 t fired, 6241 attempts, .
78 BOUND FNDP 17/792 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 61246 t fired, 870 attempts, .
89 BOUND EXCL 70/408 14/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 91718 m, 1576 m/sec, 103687 t fired, result in [0,1] .
Time elapsed: 399 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 187/945 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 376261 t fired, 5077 attempts, .
75 BOUND FNDP 146/694 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 321142 t fired, 6420 attempts, .
78 BOUND FNDP 22/787 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 80187 t fired, 1130 attempts, .
89 BOUND EXCL 75/408 15/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 100418 m, 1740 m/sec, 113754 t fired, result in [0,1] .
Time elapsed: 404 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 192/940 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 394104 t fired, 5317 attempts, .
75 BOUND FNDP 151/689 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 336765 t fired, 6714 attempts, .
78 BOUND FNDP 27/782 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 98755 t fired, 1383 attempts, .
89 BOUND EXCL 80/408 17/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 115755 m, 3067 m/sec, 131743 t fired, result in [0,1] .
Time elapsed: 409 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 197/935 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 412440 t fired, 5564 attempts, .
75 BOUND FNDP 156/684 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 355156 t fired, 7054 attempts, .
78 BOUND FNDP 32/777 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 117248 t fired, 1637 attempts, .
89 BOUND EXCL 85/408 20/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 135149 m, 3878 m/sec, 153540 t fired, result in [0,1] .
Time elapsed: 414 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 202/930 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 431041 t fired, 5815 attempts, .
75 BOUND FNDP 161/679 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 373857 t fired, 7402 attempts, .
78 BOUND FNDP 37/772 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 136033 t fired, 1895 attempts, .
89 BOUND EXCL 90/408 23/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 154222 m, 3814 m/sec, 175045 t fired, result in [0,1] .
Time elapsed: 419 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 207/925 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 449452 t fired, 6063 attempts, .
75 BOUND FNDP 166/674 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 392657 t fired, 7748 attempts, .
78 BOUND FNDP 42/767 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 154919 t fired, 2153 attempts, .
89 BOUND EXCL 95/408 25/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 172877 m, 3731 m/sec, 196257 t fired, result in [0,1] .
Time elapsed: 424 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 212/920 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 468368 t fired, 6318 attempts, .
75 BOUND FNDP 171/669 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 411614 t fired, 8096 attempts, .
78 BOUND FNDP 47/762 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 173930 t fired, 2412 attempts, .
89 BOUND EXCL 100/408 27/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 190266 m, 3477 m/sec, 216432 t fired, result in [0,1] .
Time elapsed: 429 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 217/915 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 487204 t fired, 6572 attempts, .
75 BOUND FNDP 176/664 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 430484 t fired, 8442 attempts, .
78 BOUND FNDP 52/757 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 192956 t fired, 2671 attempts, .
89 BOUND EXCL 105/408 30/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 207647 m, 3476 m/sec, 236503 t fired, result in [0,1] .
Time elapsed: 434 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 1 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 222/910 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 505942 t fired, 6825 attempts, .
75 BOUND FNDP 181/659 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 449297 t fired, 8784 attempts, .
78 BOUND FNDP 57/752 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 211887 t fired, 2929 attempts, .
89 BOUND EXCL 110/408 32/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 226193 m, 3709 m/sec, 257500 t fired, result in [0,1] .
Time elapsed: 439 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 89 (type EXCL) for MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 0 0 0 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 227/905 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 525026 t fired, 7082 attempts, .
75 BOUND FNDP 186/654 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 468246 t fired, 9124 attempts, .
78 BOUND FNDP 62/747 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 231171 t fired, 3192 attempts, .
Time elapsed: 444 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 87 (type EXCL) for 9 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03
lola: time limit : 450 sec
lola: memory limit: 32 pages
lola: Structural Bound: 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 0 0 0 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 232/900 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 540321 t fired, 7288 attempts, .
75 BOUND FNDP 191/649 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 487009 t fired, 9459 attempts, .
78 BOUND FNDP 67/742 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 250470 t fired, 3454 attempts, .
87 BOUND EXCL 5/450 3/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03 17769 m, 3553 m/sec, 20522 t fired, result in [0,1] .
Time elapsed: 449 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 0 0 0 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 237/895 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 559212 t fired, 7542 attempts, .
75 BOUND FNDP 196/644 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 505673 t fired, 9794 attempts, .
78 BOUND FNDP 72/737 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 269820 t fired, 3717 attempts, .
87 BOUND EXCL 10/450 5/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03 34770 m, 3400 m/sec, 40511 t fired, result in [0,1] .
Time elapsed: 454 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 0 0 0 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 242/890 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 578157 t fired, 7797 attempts, .
75 BOUND FNDP 201/639 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 524528 t fired, 10132 attempts, .
78 BOUND FNDP 77/732 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 289197 t fired, 3980 attempts, .
87 BOUND EXCL 15/450 8/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03 52604 m, 3566 m/sec, 61227 t fired, result in [0,1] .
Time elapsed: 459 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 0 0 0 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 247/885 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 597332 t fired, 8056 attempts, .
75 BOUND FNDP 206/634 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 543609 t fired, 10476 attempts, .
78 BOUND FNDP 82/727 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 308576 t fired, 4245 attempts, .
87 BOUND EXCL 20/450 10/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03 70520 m, 3583 m/sec, 82210 t fired, result in [0,1] .
Time elapsed: 464 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 0 0 0 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 252/880 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 616444 t fired, 8314 attempts, .
75 BOUND FNDP 211/629 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 562722 t fired, 10818 attempts, .
78 BOUND FNDP 87/722 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 327984 t fired, 4509 attempts, .
87 BOUND EXCL 25/450 13/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03 88112 m, 3518 m/sec, 102871 t fired, result in [0,1] .
Time elapsed: 469 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 0 0 0 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 257/875 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 635595 t fired, 8572 attempts, .
75 BOUND FNDP 216/624 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 581822 t fired, 11149 attempts, .
78 BOUND FNDP 92/717 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 347392 t fired, 4772 attempts, .
87 BOUND EXCL 30/450 15/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03 105672 m, 3512 m/sec, 123359 t fired, result in [0,1] .
Time elapsed: 474 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 0 0 0 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 262/870 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 654601 t fired, 8828 attempts, .
75 BOUND FNDP 221/619 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 600596 t fired, 11489 attempts, .
78 BOUND FNDP 97/712 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 366775 t fired, 5035 attempts, .
87 BOUND EXCL 35/450 18/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03 122156 m, 3296 m/sec, 142734 t fired, result in [0,1] .
Time elapsed: 479 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 0 0 0 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 267/865 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 673652 t fired, 9085 attempts, .
75 BOUND FNDP 226/614 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 619486 t fired, 11825 attempts, .
78 BOUND FNDP 102/707 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 386180 t fired, 5298 attempts, .
87 BOUND EXCL 40/450 20/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03 138733 m, 3315 m/sec, 162201 t fired, result in [0,1] .
Time elapsed: 484 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 0 0 0 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 272/860 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 692674 t fired, 9342 attempts, .
75 BOUND FNDP 231/609 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 638288 t fired, 12154 attempts, .
78 BOUND FNDP 107/702 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 405544 t fired, 5560 attempts, .
87 BOUND EXCL 45/450 22/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03 155821 m, 3417 m/sec, 182227 t fired, result in [0,1] .
Time elapsed: 489 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 3 0 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 0 0 0 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 277/855 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 711696 t fired, 9598 attempts, .
75 BOUND FNDP 236/604 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 657211 t fired, 12486 attempts, .
78 BOUND FNDP 112/697 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01 424939 t fired, 5823 attempts, .
87 BOUND EXCL 50/450 25/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03 172537 m, 3343 m/sec, 201899 t fired, result in [0,1] .
Time elapsed: 494 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: REPORT NUM
lola: FINISHED task # 78 (type FNDP) for MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01
lola: fired transitions : 442172
lola: tried executions : 6056
lola: time used : 116.000000
lola: LAUNCH task # 81 (type FNDP) for 15 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-00: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-01: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-02: BOUND 1 state space
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-07: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-09: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-10: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-11: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-12: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-13: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-14: BOUND 1 findpath
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-15: BOUND 1 findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04: BOUND 0 2 1 0 1 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05: BOUND 0 2 1 0 0 0 0 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06: BOUND 0 0 1 0 1 0 1 0
MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-08: BOUND 0 2 0 0 0 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 BOUND FNDP 282/846 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-06 729966 t fired, 9844 attempts, .
75 BOUND FNDP 241/874 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-04 675835 t fired, 12809 attempts, .
81 BOUND FNDP 1/1034 0/5 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-05 --
87 BOUND EXCL 55/526 27/32 MultiCrashLeafsetExtension-PT-S24C10-UpperBounds-03 188098 m, 3112 m/sec, 220232 t fired, result in [0,1] .
Time elapsed: 499 secs. Pages in use: 32
# 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/upperboundsconf --formula=$DIR/UpperBounds.xml $DIR/model.pnml
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S24C10"
export BK_EXAMINATION="UpperBounds"
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-S24C10, examination is UpperBounds"
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-167856415300869"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C10.tgz
mv MultiCrashLeafsetExtension-PT-S24C10 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;