About the Execution of LoLA for PolyORBLF-PT-S04J06T10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16225.972 | 801063.00 | 12657173.00 | 2535.40 | TTFTFTFTFF?FFT?T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r294-tall-167873946800583.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 PolyORBLF-PT-S04J06T10, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r294-tall-167873946800583
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.9M
-rw-r--r-- 1 mcc users 26K Feb 26 14:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 146K Feb 26 14:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 26K Feb 26 14:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 148K Feb 26 14:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 144K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 480K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 47K Feb 26 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 248K Feb 26 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 38K Feb 26 14:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 195K Feb 26 14:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.6K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 4.3M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-00
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-01
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-02
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-03
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-04
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-05
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-06
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-07
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-08
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-09
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-10
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-11
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-12
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-13
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-14
FORMULA_NAME PolyORBLF-PT-S04J06T10-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1678913903912
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-PT-S04J06T10
Not applying reductions.
Model is PT
ReachabilityFireability PT
starting LoLA
BK_INPUT PolyORBLF-PT-S04J06T10
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA PolyORBLF-PT-S04J06T10-ReachabilityFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S04J06T10-ReachabilityFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S04J06T10-ReachabilityFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S04J06T10-ReachabilityFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S04J06T10-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S04J06T10-ReachabilityFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S04J06T10-ReachabilityFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S04J06T10-ReachabilityFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S04J06T10-ReachabilityFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S04J06T10-ReachabilityFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S04J06T10-ReachabilityFireability-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S04J06T10-ReachabilityFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S04J06T10-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678914704975
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 16023164 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16022108 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityFireability.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 25 (type CNST) for 24 PolyORBLF-PT-S04J06T10-ReachabilityFireability-08
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 25 (type CNST) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-08
lola: result : false
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 37 (type CNST) for 36 PolyORBLF-PT-S04J06T10-ReachabilityFireability-12
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 37 (type CNST) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-12
lola: result : false
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 52 (type EXCL) for 9 PolyORBLF-PT-S04J06T10-ReachabilityFireability-03
lola: time limit : 216 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 48 (type FNDP) for 9 PolyORBLF-PT-S04J06T10-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN) for 9 PolyORBLF-PT-S04J06T10-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 51 (type SRCH) for 9 PolyORBLF-PT-S04J06T10-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 48 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-03
lola: result : true
lola: fired transitions : 49
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 49 (type EQUN) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-03 (obsolete)
lola: CANCELED task # 51 (type SRCH) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-03 (obsolete)
lola: CANCELED task # 52 (type EXCL) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-03 (obsolete)
lola: LAUNCH task # 59 (type EXCL) for 30 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10
lola: time limit : 232 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 61 (type FNDP) for 21 PolyORBLF-PT-S04J06T10-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 62 (type EQUN) for 21 PolyORBLF-PT-S04J06T10-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 64 (type SRCH) for 21 PolyORBLF-PT-S04J06T10-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 64 (type SRCH) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-07
lola: result : true
lola: markings : 26
lola: fired transitions : 25
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 61 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-07 (obsolete)
lola: CANCELED task # 62 (type EQUN) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-07 (obsolete)
lola: LAUNCH task # 75 (type FNDP) for 33 PolyORBLF-PT-S04J06T10-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 76 (type EQUN) for 33 PolyORBLF-PT-S04J06T10-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 78 (type SRCH) for 33 PolyORBLF-PT-S04J06T10-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-49.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 61 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-07
lola: result : true
lola: fired transitions : 24
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-62.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 75 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-11
lola: result : true
lola: fired transitions : 147
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 76 (type EQUN) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-11 (obsolete)
lola: CANCELED task # 78 (type SRCH) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-11 (obsolete)
lola: LAUNCH task # 88 (type FNDP) for 6 PolyORBLF-PT-S04J06T10-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 89 (type EQUN) for 6 PolyORBLF-PT-S04J06T10-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-76.sara.
lola: LAUNCH task # 91 (type SRCH) for 6 PolyORBLF-PT-S04J06T10-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 88 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-02
lola: result : true
lola: fired transitions : 39
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
lola: CANCELED task # 89 (type EQUN) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-02 (obsolete)
lola: CANCELED task # 91 (type SRCH) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-02 (obsolete)
lola: LAUNCH task # 95 (type FNDP) for 18 PolyORBLF-PT-S04J06T10-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 96 (type EQUN) for 18 PolyORBLF-PT-S04J06T10-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 98 (type SRCH) for 18 PolyORBLF-PT-S04J06T10-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 98 (type SRCH) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-06
lola: result : true
lola: markings : 38
lola: fired transitions : 37
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 95 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-06 (obsolete)
lola: CANCELED task # 96 (type EQUN) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-06 (obsolete)
lola: LAUNCH task # 103 (type FNDP) for 3 PolyORBLF-PT-S04J06T10-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 113 (type EQUN) for 3 PolyORBLF-PT-S04J06T10-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 115 (type SRCH) for 3 PolyORBLF-PT-S04J06T10-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 95 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-06
lola: result : true
lola: fired transitions : 36
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-89.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-96.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 103 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-01
lola: result : true
lola: fired transitions : 1435
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 113 (type EQUN) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-01 (obsolete)
lola: CANCELED task # 115 (type SRCH) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-01 (obsolete)
lola: LAUNCH task # 132 (type FNDP) for 15 PolyORBLF-PT-S04J06T10-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 133 (type EQUN) for 15 PolyORBLF-PT-S04J06T10-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 135 (type SRCH) for 15 PolyORBLF-PT-S04J06T10-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 135 (type SRCH) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-05
lola: result : true
lola: markings : 82
lola: fired transitions : 81
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 132 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-05 (obsolete)
lola: CANCELED task # 133 (type EQUN) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-05 (obsolete)
lola: LAUNCH task # 126 (type FNDP) for 12 PolyORBLF-PT-S04J06T10-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 127 (type EQUN) for 12 PolyORBLF-PT-S04J06T10-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 129 (type SRCH) for 12 PolyORBLF-PT-S04J06T10-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 132 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-05
lola: result : true
lola: fired transitions : 80
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 126 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-04
lola: result : true
lola: fired transitions : 53
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 127 (type EQUN) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-04 (obsolete)
lola: CANCELED task # 129 (type SRCH) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-04 (obsolete)
lola: LAUNCH task # 104 (type FNDP) for 0 PolyORBLF-PT-S04J06T10-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 106 (type EQUN) for 0 PolyORBLF-PT-S04J06T10-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 108 (type SRCH) for 0 PolyORBLF-PT-S04J06T10-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 129 (type SRCH) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-04
lola: result : true
lola: markings : 55
lola: fired transitions : 54
lola: time used : 0.000000
lola: memory pages used : 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 104 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-00
lola: result : true
lola: fired transitions : 38
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 106 (type EQUN) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-00 (obsolete)
lola: CANCELED task # 108 (type SRCH) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-00 (obsolete)
lola: LAUNCH task # 119 (type FNDP) for 45 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 120 (type EQUN) for 45 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 122 (type SRCH) for 45 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-106.sara.
sara: place or transition ordering is non-deterministic
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-120.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 2/605 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 1278 m, 255 m/sec, 1311 t fired, .
119 EF FNDP 1/432 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 2291 t fired, 1 attempts, .
120 EF STEQ 1/432 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 sara is running.
122 EF SRCH 1/504 1/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 2851 m, 570 m/sec, 2937 t fired, .
Time elapsed: 574 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-113.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 7/605 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 5513 m, 847 m/sec, 5674 t fired, .
119 EF FNDP 6/431 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 25062 t fired, 1 attempts, .
120 EF STEQ 6/431 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 sara is running.
122 EF SRCH 6/503 1/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 24082 m, 4246 m/sec, 24857 t fired, .
Time elapsed: 579 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 12/605 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 9856 m, 868 m/sec, 10097 t fired, .
119 EF FNDP 11/426 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 47865 t fired, 1 attempts, .
120 EF STEQ 11/426 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 sara is running.
122 EF SRCH 11/498 1/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 46510 m, 4485 m/sec, 48115 t fired, .
Time elapsed: 584 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 17/605 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 13901 m, 809 m/sec, 14265 t fired, .
119 EF FNDP 16/421 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 71330 t fired, 1 attempts, .
120 EF STEQ 16/421 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 sara is running.
122 EF SRCH 16/493 1/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 67990 m, 4296 m/sec, 70473 t fired, .
Time elapsed: 589 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 22/605 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 18206 m, 861 m/sec, 18672 t fired, .
119 EF FNDP 21/416 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 94335 t fired, 1 attempts, .
120 EF STEQ 21/416 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 sara is running.
122 EF SRCH 21/488 2/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 89289 m, 4259 m/sec, 92650 t fired, .
Time elapsed: 594 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 27/605 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 22286 m, 816 m/sec, 22824 t fired, .
119 EF FNDP 26/411 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 117491 t fired, 1 attempts, .
120 EF STEQ 26/411 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 sara is running.
122 EF SRCH 26/483 2/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 110526 m, 4247 m/sec, 114898 t fired, .
Time elapsed: 599 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 32/605 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 26851 m, 913 m/sec, 27572 t fired, .
119 EF FNDP 31/406 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 140229 t fired, 1 attempts, .
120 EF STEQ 31/406 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 sara is running.
122 EF SRCH 31/478 2/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 131969 m, 4288 m/sec, 137893 t fired, .
Time elapsed: 604 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 122 (type SRCH) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-15
lola: result : true
lola: markings : 138073
lola: fired transitions : 144280
lola: time used : 32.000000
lola: memory pages used : 2
lola: CANCELED task # 119 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 (obsolete)
lola: CANCELED task # 120 (type EQUN) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-15 (obsolete)
lola: LAUNCH task # 68 (type FNDP) for 27 PolyORBLF-PT-S04J06T10-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 69 (type EQUN) for 27 PolyORBLF-PT-S04J06T10-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 71 (type SRCH) for 27 PolyORBLF-PT-S04J06T10-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 120 (type EQUN) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-15
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 119 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-15
lola: result : unknown
lola: fired transitions : 146627
lola: tried executions : 2
lola: time used : 32.000000
lola: memory pages used : 0
lola: FINISHED task # 68 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-09
lola: result : true
lola: fired transitions : 775
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
lola: CANCELED task # 69 (type EQUN) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-09 (obsolete)
lola: CANCELED task # 71 (type SRCH) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-09 (obsolete)
lola: LAUNCH task # 81 (type FNDP) for 42 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 82 (type EQUN) for 42 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 84 (type SRCH) for 42 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-69.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-82.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 37/1009 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 30754 m, 780 m/sec, 31616 t fired, .
81 EF FNDP 3/748 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 13186 t fired, 1 attempts, .
82 EF STEQ 3/748 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 3/748 1/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 12499 m, 2499 m/sec, 12946 t fired, .
Time elapsed: 609 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 42/1009 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 34910 m, 831 m/sec, 35940 t fired, .
81 EF FNDP 8/745 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 34882 t fired, 1 attempts, .
82 EF STEQ 8/745 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 8/745 1/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 32411 m, 3982 m/sec, 34032 t fired, .
Time elapsed: 614 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 47/1009 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 38708 m, 759 m/sec, 39900 t fired, .
81 EF FNDP 13/740 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 56612 t fired, 1 attempts, .
82 EF STEQ 13/740 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 13/740 1/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 51768 m, 3871 m/sec, 54996 t fired, .
Time elapsed: 619 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 52/1009 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 42560 m, 770 m/sec, 43827 t fired, .
81 EF FNDP 18/735 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 79317 t fired, 1 attempts, .
82 EF STEQ 18/735 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 18/735 1/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 72243 m, 4095 m/sec, 78157 t fired, .
Time elapsed: 624 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 57/1009 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 46209 m, 729 m/sec, 47558 t fired, .
81 EF FNDP 23/730 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 101110 t fired, 1 attempts, .
82 EF STEQ 23/730 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 23/730 2/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 91430 m, 3837 m/sec, 99442 t fired, .
Time elapsed: 629 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 62/1009 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 50065 m, 771 m/sec, 51560 t fired, .
81 EF FNDP 28/725 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 123267 t fired, 1 attempts, .
82 EF STEQ 28/725 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 28/725 2/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 110610 m, 3836 m/sec, 120346 t fired, .
Time elapsed: 634 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 133 (type EQUN) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-05
lola: result : unknown
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 67/1009 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 53916 m, 770 m/sec, 55524 t fired, .
81 EF FNDP 33/716 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 144517 t fired, 1 attempts, .
82 EF STEQ 33/716 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 33/716 2/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 130621 m, 4002 m/sec, 142278 t fired, .
Time elapsed: 639 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 72/1009 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 58303 m, 877 m/sec, 60144 t fired, .
81 EF FNDP 38/715 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 168077 t fired, 1 attempts, .
82 EF STEQ 38/715 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 38/715 2/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 151802 m, 4236 m/sec, 166818 t fired, .
Time elapsed: 644 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 77/1009 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 62807 m, 900 m/sec, 64908 t fired, .
81 EF FNDP 43/710 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 191888 t fired, 1 attempts, .
82 EF STEQ 43/710 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 43/710 3/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 173700 m, 4379 m/sec, 191165 t fired, .
Time elapsed: 649 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 82/1009 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 66840 m, 806 m/sec, 69103 t fired, .
81 EF FNDP 48/705 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 215838 t fired, 1 attempts, .
82 EF STEQ 48/705 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 48/705 3/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 195078 m, 4275 m/sec, 215722 t fired, .
Time elapsed: 654 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 87/1009 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 71260 m, 884 m/sec, 73737 t fired, .
81 EF FNDP 53/700 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 239091 t fired, 1 attempts, .
82 EF STEQ 53/700 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 53/700 3/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 217199 m, 4424 m/sec, 240511 t fired, .
Time elapsed: 659 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 92/1009 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 75458 m, 839 m/sec, 78127 t fired, .
81 EF FNDP 58/695 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 262410 t fired, 1 attempts, .
82 EF STEQ 58/695 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 58/695 3/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 238268 m, 4213 m/sec, 264626 t fired, .
Time elapsed: 664 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 97/1009 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 79811 m, 870 m/sec, 82685 t fired, .
81 EF FNDP 63/690 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 285939 t fired, 1 attempts, .
82 EF STEQ 63/690 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 63/690 4/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 259159 m, 4178 m/sec, 289262 t fired, .
Time elapsed: 669 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 102/1009 1/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 84061 m, 850 m/sec, 87102 t fired, .
81 EF FNDP 68/685 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 309588 t fired, 1 attempts, .
82 EF STEQ 68/685 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 68/685 4/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 280175 m, 4203 m/sec, 313680 t fired, .
Time elapsed: 674 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 107/1009 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 88333 m, 854 m/sec, 91554 t fired, .
81 EF FNDP 73/680 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 332901 t fired, 1 attempts, .
82 EF STEQ 73/680 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 73/680 4/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 300928 m, 4150 m/sec, 337815 t fired, .
Time elapsed: 679 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 112/1009 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 92410 m, 815 m/sec, 95774 t fired, .
81 EF FNDP 78/675 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 356263 t fired, 1 attempts, .
82 EF STEQ 78/675 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 78/675 4/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 321943 m, 4203 m/sec, 362429 t fired, .
Time elapsed: 684 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 117/1009 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 96333 m, 784 m/sec, 99857 t fired, .
81 EF FNDP 83/670 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 379112 t fired, 1 attempts, .
82 EF STEQ 83/670 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 83/670 5/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 342578 m, 4127 m/sec, 386525 t fired, .
Time elapsed: 689 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 122/1009 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 100458 m, 825 m/sec, 104166 t fired, .
81 EF FNDP 88/665 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 402164 t fired, 1 attempts, .
82 EF STEQ 88/665 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 88/665 5/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 363838 m, 4252 m/sec, 411805 t fired, .
Time elapsed: 694 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 127/1009 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 104790 m, 866 m/sec, 108691 t fired, .
81 EF FNDP 93/660 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 424477 t fired, 1 attempts, .
82 EF STEQ 93/660 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 93/660 5/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 385027 m, 4237 m/sec, 436784 t fired, .
Time elapsed: 699 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 132/1009 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 109030 m, 848 m/sec, 113167 t fired, .
81 EF FNDP 98/655 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 447214 t fired, 1 attempts, .
82 EF STEQ 98/655 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 98/655 5/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 406323 m, 4259 m/sec, 462168 t fired, .
Time elapsed: 704 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 137/1009 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 113308 m, 855 m/sec, 117647 t fired, .
81 EF FNDP 103/650 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 470543 t fired, 1 attempts, .
82 EF STEQ 103/650 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
84 EF SRCH 103/650 5/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 427468 m, 4229 m/sec, 486647 t fired, .
Time elapsed: 709 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 84 (type SRCH) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
59 EF EXCL 142/1009 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 117832 m, 904 m/sec, 122399 t fired, .
81 EF FNDP 108/645 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 495670 t fired, 1 attempts, .
82 EF STEQ 108/645 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 714 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 101 (type FNDP) for 39 PolyORBLF-PT-S04J06T10-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 101 (type FNDP) for PolyORBLF-PT-S04J06T10-ReachabilityFireability-13
lola: result : true
lola: fired transitions : 175
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 55 (type FNDP) for 30 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 5/962 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 22374 t fired, 1 attempts, .
59 EF EXCL 147/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 122089 m, 851 m/sec, 126818 t fired, .
81 EF FNDP 113/1389 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 519105 t fired, 1 attempts, .
82 EF STEQ 113/1389 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 719 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 10/957 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 44852 t fired, 1 attempts, .
59 EF EXCL 152/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 126419 m, 866 m/sec, 131343 t fired, .
81 EF FNDP 118/1384 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 542123 t fired, 1 attempts, .
82 EF STEQ 118/1384 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 724 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 15/952 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 67626 t fired, 1 attempts, .
59 EF EXCL 157/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 130578 m, 831 m/sec, 135623 t fired, .
81 EF FNDP 123/1379 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 565229 t fired, 1 attempts, .
82 EF STEQ 123/1379 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 729 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 20/947 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 87705 t fired, 1 attempts, .
59 EF EXCL 162/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 134188 m, 722 m/sec, 139469 t fired, .
81 EF FNDP 128/1374 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 586387 t fired, 1 attempts, .
82 EF STEQ 128/1374 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 734 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 25/942 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 109284 t fired, 1 attempts, .
59 EF EXCL 167/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 138051 m, 772 m/sec, 143553 t fired, .
81 EF FNDP 133/1369 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 608018 t fired, 1 attempts, .
82 EF STEQ 133/1369 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 739 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 30/937 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 129669 t fired, 1 attempts, .
59 EF EXCL 172/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 141748 m, 739 m/sec, 147535 t fired, .
81 EF FNDP 138/1364 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 628553 t fired, 1 attempts, .
82 EF STEQ 138/1364 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 744 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 35/932 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 143922 t fired, 1 attempts, .
59 EF EXCL 177/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 144628 m, 576 m/sec, 150602 t fired, .
81 EF FNDP 143/1359 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 653266 t fired, 1 attempts, .
82 EF STEQ 143/1359 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 749 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 40/927 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 153512 t fired, 1 attempts, .
59 EF EXCL 182/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 146415 m, 357 m/sec, 152458 t fired, .
81 EF FNDP 148/1354 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 682467 t fired, 1 attempts, .
82 EF STEQ 148/1354 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 754 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 45/922 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 167848 t fired, 1 attempts, .
59 EF EXCL 187/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 149144 m, 545 m/sec, 155342 t fired, .
81 EF FNDP 153/1349 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 704803 t fired, 1 attempts, .
82 EF STEQ 153/1349 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 759 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 50/917 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 184119 t fired, 1 attempts, .
59 EF EXCL 192/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 152043 m, 579 m/sec, 158389 t fired, .
81 EF FNDP 158/1344 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 727679 t fired, 1 attempts, .
82 EF STEQ 158/1344 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 764 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 55/912 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 197544 t fired, 1 attempts, .
59 EF EXCL 197/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 154520 m, 495 m/sec, 160986 t fired, .
81 EF FNDP 163/1339 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 747445 t fired, 1 attempts, .
82 EF STEQ 163/1339 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 769 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 60/907 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 216483 t fired, 1 attempts, .
59 EF EXCL 202/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 158473 m, 790 m/sec, 165174 t fired, .
81 EF FNDP 168/1334 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 769863 t fired, 1 attempts, .
82 EF STEQ 168/1334 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 774 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 65/902 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 231722 t fired, 1 attempts, .
59 EF EXCL 207/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 161295 m, 564 m/sec, 168143 t fired, .
81 EF FNDP 173/1329 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 785745 t fired, 1 attempts, .
82 EF STEQ 173/1329 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 779 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 70/897 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 249080 t fired, 1 attempts, .
59 EF EXCL 212/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 165086 m, 758 m/sec, 172016 t fired, .
81 EF FNDP 178/1324 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 807867 t fired, 1 attempts, .
82 EF STEQ 178/1324 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 784 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 75/892 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 259140 t fired, 1 attempts, .
59 EF EXCL 217/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 166897 m, 362 m/sec, 173901 t fired, .
81 EF FNDP 183/1319 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 818093 t fired, 1 attempts, .
82 EF STEQ 183/1319 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 789 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PolyORBLF-PT-S04J06T10-ReachabilityFireability-00: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-01: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-02: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-03: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-04: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-05: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-06: AG false tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-07: EF true tandem / insertion
PolyORBLF-PT-S04J06T10-ReachabilityFireability-08: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-09: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-11: AG false findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-12: INITIAL false preprocessing
PolyORBLF-PT-S04J06T10-ReachabilityFireability-13: EF true findpath
PolyORBLF-PT-S04J06T10-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PolyORBLF-PT-S04J06T10-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0
PolyORBLF-PT-S04J06T10-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 83/887 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 274139 t fired, 1 attempts, .
59 EF EXCL 225/1514 2/32 PolyORBLF-PT-S04J06T10-ReachabilityFireability-10 169409 m, 502 m/sec, 176485 t fired, .
81 EF FNDP 191/1314 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 841670 t fired, 1 attempts, .
82 EF STEQ 191/1314 0/5 PolyORBLF-PT-S04J06T10-ReachabilityFireability-14 sara is running.
Time elapsed: 797 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
/home/mcc/BenchKit/bin//../lola/bin//../BenchKit_head.sh: line 63: 377 Killed lola --conf=$BIN_DIR/configfiles/reachabilityfireabilityconf --formula=$DIR/ReachabilityFireability.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S04J06T10"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is PolyORBLF-PT-S04J06T10, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r294-tall-167873946800583"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S04J06T10.tgz
mv PolyORBLF-PT-S04J06T10 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;