About the Execution of LoLA for PermAdmissibility-PT-02
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1903.651 | 331470.00 | 714915.00 | 395.00 | TTTTTTTTFFFFTTFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r137-tall-162089122300519.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is PermAdmissibility-PT-02, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r137-tall-162089122300519
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 31K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 229K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 190K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 959K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.7K Mar 28 16:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Mar 28 16:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 15K Mar 28 16:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 63K Mar 28 16:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.0K Mar 27 06:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 27 06:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 28K Mar 25 08:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K Mar 25 08:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.4K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 481K May 5 16:51 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 PermAdmissibility-PT-02-ReachabilityFireability-00
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-01
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-02
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-03
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-04
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-05
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-06
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-07
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-08
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-09
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-10
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-11
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-12
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-13
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-14
FORMULA_NAME PermAdmissibility-PT-02-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1620952664097
starting LoLA
BK_INPUT PermAdmissibility-PT-02
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PermAdmissibility-PT-02-ReachabilityFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1620952995567
--------------------
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: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 49 (type SKEL/FNDP) for 12 PermAdmissibility-PT-02-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 50 (type SKEL/EQUN) for 12 PermAdmissibility-PT-02-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type SKEL/SRCH) for 12 PermAdmissibility-PT-02-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 53 (type SKEL/SRCH) for 12 PermAdmissibility-PT-02-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 52 (type SKEL/SRCH) for PermAdmissibility-PT-02-ReachabilityFireability-04
lola: result : true
lola: markings : 9
lola: fired transitions : 8
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 49 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-04 (obsolete)
lola: CANCELED task # 50 (type EQUN) for PermAdmissibility-PT-02-ReachabilityFireability-04 (obsolete)
lola: CANCELED task # 53 (type SRCH) for PermAdmissibility-PT-02-ReachabilityFireability-04 (obsolete)
lola: Created skeleton in 0.000000 secs.
lola: FINISHED task # 50 (type SKEL/EQUN) for PermAdmissibility-PT-02-ReachabilityFireability-04
lola: result : unknown
lola: FINISHED task # 49 (type SKEL/FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-04
lola: result : true
lola: fired transitions : 7
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 56 (type SKEL/FNDP) for 9 PermAdmissibility-PT-02-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 57 (type SKEL/EQUN) for 9 PermAdmissibility-PT-02-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 59 (type SKEL/SRCH) for 9 PermAdmissibility-PT-02-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 60 (type SKEL/SRCH) for 9 PermAdmissibility-PT-02-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 56 (type SKEL/FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-03
lola: result : true
lola: fired transitions : 13
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 59 (type SKEL/SRCH) for PermAdmissibility-PT-02-ReachabilityFireability-03
lola: result : true
lola: markings : 15
lola: fired transitions : 14
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 57 (type EQUN) for PermAdmissibility-PT-02-ReachabilityFireability-03 (obsolete)
lola: CANCELED task # 60 (type SRCH) for PermAdmissibility-PT-02-ReachabilityFireability-03 (obsolete)
lola: FINISHED task # 60 (type SKEL/SRCH) for PermAdmissibility-PT-02-ReachabilityFireability-03
lola: result : true
lola: markings : 27
lola: fired transitions : 26
lola: time used : 0.000000
lola: memory pages used : 1
lola: FINISHED task # 57 (type SKEL/EQUN) for PermAdmissibility-PT-02-ReachabilityFireability-03
lola: result : unknown
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: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 43 (type CNST) for 42 PermAdmissibility-PT-02-ReachabilityFireability-14
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 43 (type CNST) for PermAdmissibility-PT-02-ReachabilityFireability-14
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: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 69 (type EXCL) for 3 PermAdmissibility-PT-02-ReachabilityFireability-01
lola: time limit : 171 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 65 (type FNDP) for 3 PermAdmissibility-PT-02-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 66 (type EQUN) for 3 PermAdmissibility-PT-02-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 68 (type SRCH) for 3 PermAdmissibility-PT-02-ReachabilityFireability-01
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:711
lola: FINISHED task # 69 (type EXCL) for PermAdmissibility-PT-02-ReachabilityFireability-01
lola: result : true
lola: markings : 18
lola: fired transitions : 17
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 65 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-01 (obsolete)
lola: CANCELED task # 66 (type EQUN) for PermAdmissibility-PT-02-ReachabilityFireability-01 (obsolete)
lola: CANCELED task # 68 (type SRCH) for PermAdmissibility-PT-02-ReachabilityFireability-01 (obsolete)
lola: LAUNCH task # 72 (type EXCL) for 9 PermAdmissibility-PT-02-ReachabilityFireability-03
lola: time limit : 189 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 74 (type FNDP) for 0 PermAdmissibility-PT-02-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 75 (type EQUN) for 0 PermAdmissibility-PT-02-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 77 (type SRCH) for 0 PermAdmissibility-PT-02-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 65 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-01
lola: result : true
lola: fired transitions : 8
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-66.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: place or transition ordering is non-deterministic
lola: Created skeleton in 0.000000 secs.
lola: FINISHED task # 74 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-00
lola: result : true
lola: fired transitions : 27
lola: tried executions : 4
lola: time used : 1.000000
lola: memory pages used : 0
lola: CANCELED task # 75 (type EQUN) for PermAdmissibility-PT-02-ReachabilityFireability-00 (obsolete)
lola: CANCELED task # 77 (type SRCH) for PermAdmissibility-PT-02-ReachabilityFireability-00 (obsolete)
lola: LAUNCH task # 62 (type FNDP) for 9 PermAdmissibility-PT-02-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 63 (type EQUN) for 9 PermAdmissibility-PT-02-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 71 (type SRCH) for 9 PermAdmissibility-PT-02-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 72 (type EXCL) for PermAdmissibility-PT-02-ReachabilityFireability-03
lola: result : true
lola: markings : 27
lola: fired transitions : 26
lola: time used : 1.000000
lola: memory pages used : 1
lola: CANCELED task # 62 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-03 (obsolete)
lola: CANCELED task # 63 (type EQUN) for PermAdmissibility-PT-02-ReachabilityFireability-03 (obsolete)
lola: CANCELED task # 71 (type SRCH) for PermAdmissibility-PT-02-ReachabilityFireability-03 (obsolete)
lola: Created skeleton in 0.000000 secs.
lola: FINISHED task # 62 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-03
lola: result : true
lola: fired transitions : 21
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: Created skeleton in 0.000000 secs.
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: LAUNCH task # 95 (type EXCL) for 21 PermAdmissibility-PT-02-ReachabilityFireability-07
lola: time limit : 256 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 91 (type FNDP) for 21 PermAdmissibility-PT-02-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 92 (type EQUN) for 21 PermAdmissibility-PT-02-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 94 (type SRCH) for 21 PermAdmissibility-PT-02-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-63.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 66 (type EQUN) for PermAdmissibility-PT-02-ReachabilityFireability-01
lola: result : true
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: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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
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: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: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
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
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 63 (type EQUN) for PermAdmissibility-PT-02-ReachabilityFireability-03
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-04: EF 0 5 0 0 3 0 0 2
PermAdmissibility-PT-02-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 1 4 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 4/220 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 459000 t fired, 21858 attempts, .
92 EF STEQ 4/220 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 sara not yet started (preprocessing).
94 EF SRCH 4/220 2/5 PermAdmissibility-PT-02-ReachabilityFireability-07 390806 m, 78161 m/sec, 1586760 t fired, .
95 EF EXCL 4/299 1/32 PermAdmissibility-PT-02-ReachabilityFireability-07 75395 m, 15079 m/sec, 336963 t fired, .
Time elapsed: 7 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-04: EF 0 5 0 0 3 0 0 2
PermAdmissibility-PT-02-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 1 4 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 9/220 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 1293611 t fired, 61601 attempts, .
92 EF STEQ 9/220 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 sara not yet started (preprocessing).
94 EF SRCH 9/220 3/5 PermAdmissibility-PT-02-ReachabilityFireability-07 816767 m, 85192 m/sec, 3317582 t fired, .
95 EF EXCL 9/299 1/32 PermAdmissibility-PT-02-ReachabilityFireability-07 173795 m, 19680 m/sec, 735869 t fired, .
Time elapsed: 12 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-04: EF 0 5 0 0 3 0 0 2
PermAdmissibility-PT-02-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 1 4 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 14/215 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 2002348 t fired, 95350 attempts, .
92 EF STEQ 14/215 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 sara not yet started (preprocessing).
94 EF SRCH 14/215 5/5 PermAdmissibility-PT-02-ReachabilityFireability-07 1243574 m, 85361 m/sec, 5108065 t fired, .
95 EF EXCL 14/299 1/32 PermAdmissibility-PT-02-ReachabilityFireability-07 259602 m, 17161 m/sec, 1084460 t fired, .
Time elapsed: 17 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 94 (type SRCH) for PermAdmissibility-PT-02-ReachabilityFireability-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-04: EF 0 5 0 0 3 0 0 2
PermAdmissibility-PT-02-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 1 3 0 1 0 1 0
PermAdmissibility-PT-02-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
PermAdmissibility-PT-02-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 19/210 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 2750274 t fired, 130966 attempts, .
92 EF STEQ 19/210 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 sara not yet started (preprocessing).
95 EF EXCL 19/299 2/32 PermAdmissibility-PT-02-ReachabilityFireability-07 358942 m, 19868 m/sec, 1472250 t fired, .
Time elapsed: 22 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 99 (type FNDP) for 15 PermAdmissibility-PT-02-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 99 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-05
lola: result : true
lola: fired transitions : 19
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 102 (type FNDP) for 6 PermAdmissibility-PT-02-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 102 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-02
lola: result : true
lola: fired transitions : 8
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 87 (type FNDP) for 12 PermAdmissibility-PT-02-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 87 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-04
lola: result : true
lola: fired transitions : 7
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 153 (type FNDP) for 18 PermAdmissibility-PT-02-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 153 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-06
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 125 (type FNDP) for 27 PermAdmissibility-PT-02-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 125 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-09
lola: result : true
lola: fired transitions : 117
lola: tried executions : 8
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 126 (type FNDP) for 30 PermAdmissibility-PT-02-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 126 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-10
lola: result : true
lola: fired transitions : 374
lola: tried executions : 21
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 121 (type FNDP) for 39 PermAdmissibility-PT-02-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 121 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-13
lola: result : true
lola: fired transitions : 978
lola: tried executions : 82
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 109 (type FNDP) for 45 PermAdmissibility-PT-02-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 109 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-15
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 152 (type FNDP) for 33 PermAdmissibility-PT-02-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 152 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-11
lola: result : true
lola: fired transitions : 25
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 107 (type FNDP) for 24 PermAdmissibility-PT-02-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 107 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-08
lola: result : true
lola: fired transitions : 18
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 108 (type FNDP) for 36 PermAdmissibility-PT-02-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 108 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-12
lola: result : true
lola: fired transitions : 478
lola: tried executions : 38
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 96 (type SRCH) for 21 PermAdmissibility-PT-02-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 96 (type SRCH) for PermAdmissibility-PT-02-ReachabilityFireability-07
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 24/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 3687268 t fired, 175585 attempts, .
92 EF STEQ 24/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 sara not yet started (preprocessing).
95 EF EXCL 24/3597 2/32 PermAdmissibility-PT-02-ReachabilityFireability-07 461879 m, 20587 m/sec, 1914611 t fired, .
Time elapsed: 27 secs. Pages in use: 7
# running tasks: 3 of 4 Visible: 16
lola: FINISHED task # 75 (type EQUN) for PermAdmissibility-PT-02-ReachabilityFireability-00
lola: result : unknown
lola: FINISHED task # 92 (type EQUN) for PermAdmissibility-PT-02-ReachabilityFireability-07
lola: result : unknown
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 29/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 4631185 t fired, 220533 attempts, .
95 EF EXCL 29/3597 3/32 PermAdmissibility-PT-02-ReachabilityFireability-07 564019 m, 20428 m/sec, 2342079 t fired, .
Time elapsed: 32 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 34/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 5572435 t fired, 265355 attempts, .
95 EF EXCL 34/3597 3/32 PermAdmissibility-PT-02-ReachabilityFireability-07 667365 m, 20669 m/sec, 2763117 t fired, .
Time elapsed: 37 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 39/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 6514316 t fired, 310206 attempts, .
95 EF EXCL 39/3597 3/32 PermAdmissibility-PT-02-ReachabilityFireability-07 771509 m, 20828 m/sec, 3201152 t fired, .
Time elapsed: 42 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 44/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 7452570 t fired, 354885 attempts, .
95 EF EXCL 44/3597 4/32 PermAdmissibility-PT-02-ReachabilityFireability-07 875409 m, 20780 m/sec, 3628961 t fired, .
Time elapsed: 47 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 49/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 8393500 t fired, 399691 attempts, .
95 EF EXCL 49/3597 4/32 PermAdmissibility-PT-02-ReachabilityFireability-07 980628 m, 21043 m/sec, 4111244 t fired, .
Time elapsed: 52 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 54/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 9332490 t fired, 444405 attempts, .
95 EF EXCL 54/3597 5/32 PermAdmissibility-PT-02-ReachabilityFireability-07 1085062 m, 20886 m/sec, 4529554 t fired, .
Time elapsed: 57 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 59/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 10269155 t fired, 489008 attempts, .
95 EF EXCL 59/3597 5/32 PermAdmissibility-PT-02-ReachabilityFireability-07 1189518 m, 20891 m/sec, 4953594 t fired, .
Time elapsed: 62 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 64/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 11205909 t fired, 533615 attempts, .
95 EF EXCL 64/3597 5/32 PermAdmissibility-PT-02-ReachabilityFireability-07 1296038 m, 21304 m/sec, 5369321 t fired, .
Time elapsed: 67 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 69/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 12140685 t fired, 578128 attempts, .
95 EF EXCL 69/3597 6/32 PermAdmissibility-PT-02-ReachabilityFireability-07 1400103 m, 20813 m/sec, 5784613 t fired, .
Time elapsed: 72 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 74/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 13077703 t fired, 622748 attempts, .
95 EF EXCL 74/3597 6/32 PermAdmissibility-PT-02-ReachabilityFireability-07 1504330 m, 20845 m/sec, 6208672 t fired, .
Time elapsed: 77 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 79/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 14015957 t fired, 667427 attempts, .
95 EF EXCL 79/3597 7/32 PermAdmissibility-PT-02-ReachabilityFireability-07 1611084 m, 21350 m/sec, 6619727 t fired, .
Time elapsed: 82 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 84/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 14953603 t fired, 712077 attempts, .
95 EF EXCL 84/3597 7/32 PermAdmissibility-PT-02-ReachabilityFireability-07 1720779 m, 21939 m/sec, 6992864 t fired, .
Time elapsed: 87 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 89/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 15891481 t fired, 756738 attempts, .
95 EF EXCL 89/3597 7/32 PermAdmissibility-PT-02-ReachabilityFireability-07 1824865 m, 20817 m/sec, 7418545 t fired, .
Time elapsed: 92 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 94/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 16827466 t fired, 801308 attempts, .
95 EF EXCL 94/3597 8/32 PermAdmissibility-PT-02-ReachabilityFireability-07 1928629 m, 20752 m/sec, 7843812 t fired, .
Time elapsed: 97 secs. Pages in use: 8
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 99/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 17760664 t fired, 845746 attempts, .
95 EF EXCL 99/3597 8/32 PermAdmissibility-PT-02-ReachabilityFireability-07 2033749 m, 21024 m/sec, 8271403 t fired, .
Time elapsed: 102 secs. Pages in use: 8
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 104/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 18691565 t fired, 890075 attempts, .
95 EF EXCL 104/3597 9/32 PermAdmissibility-PT-02-ReachabilityFireability-07 2139279 m, 21106 m/sec, 8679578 t fired, .
Time elapsed: 107 secs. Pages in use: 9
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 109/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 19625471 t fired, 934547 attempts, .
95 EF EXCL 109/3597 9/32 PermAdmissibility-PT-02-ReachabilityFireability-07 2242211 m, 20586 m/sec, 9103642 t fired, .
Time elapsed: 112 secs. Pages in use: 9
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 114/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 20559916 t fired, 979044 attempts, .
95 EF EXCL 114/3597 9/32 PermAdmissibility-PT-02-ReachabilityFireability-07 2346299 m, 20817 m/sec, 9524832 t fired, .
Time elapsed: 117 secs. Pages in use: 9
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 119/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 21495131 t fired, 1023578 attempts, .
95 EF EXCL 119/3597 10/32 PermAdmissibility-PT-02-ReachabilityFireability-07 2451167 m, 20973 m/sec, 9956013 t fired, .
Time elapsed: 122 secs. Pages in use: 10
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 124/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 22428324 t fired, 1068016 attempts, .
95 EF EXCL 124/3597 10/32 PermAdmissibility-PT-02-ReachabilityFireability-07 2557431 m, 21252 m/sec, 10363463 t fired, .
Time elapsed: 127 secs. Pages in use: 10
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 129/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 23357317 t fired, 1112254 attempts, .
95 EF EXCL 129/3597 11/32 PermAdmissibility-PT-02-ReachabilityFireability-07 2662095 m, 20932 m/sec, 10782975 t fired, .
Time elapsed: 132 secs. Pages in use: 11
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 134/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 24290282 t fired, 1156681 attempts, .
95 EF EXCL 134/3597 11/32 PermAdmissibility-PT-02-ReachabilityFireability-07 2765888 m, 20758 m/sec, 11205920 t fired, .
Time elapsed: 137 secs. Pages in use: 11
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 139/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 25221996 t fired, 1201048 attempts, .
95 EF EXCL 139/3597 11/32 PermAdmissibility-PT-02-ReachabilityFireability-07 2869650 m, 20752 m/sec, 11631139 t fired, .
Time elapsed: 142 secs. Pages in use: 11
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 144/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 26156036 t fired, 1245526 attempts, .
95 EF EXCL 144/3597 12/32 PermAdmissibility-PT-02-ReachabilityFireability-07 2975103 m, 21090 m/sec, 12066866 t fired, .
Time elapsed: 147 secs. Pages in use: 12
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 149/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 27087910 t fired, 1289901 attempts, .
95 EF EXCL 149/3597 12/32 PermAdmissibility-PT-02-ReachabilityFireability-07 3080764 m, 21132 m/sec, 12480176 t fired, .
Time elapsed: 152 secs. Pages in use: 12
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 154/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 28021900 t fired, 1334377 attempts, .
95 EF EXCL 154/3597 13/32 PermAdmissibility-PT-02-ReachabilityFireability-07 3187946 m, 21436 m/sec, 12880680 t fired, .
Time elapsed: 157 secs. Pages in use: 13
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 159/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 28955120 t fired, 1378816 attempts, .
95 EF EXCL 159/3597 13/32 PermAdmissibility-PT-02-ReachabilityFireability-07 3293640 m, 21138 m/sec, 13298756 t fired, .
Time elapsed: 162 secs. Pages in use: 13
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 164/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 29887205 t fired, 1423201 attempts, .
95 EF EXCL 164/3597 14/32 PermAdmissibility-PT-02-ReachabilityFireability-07 3398528 m, 20977 m/sec, 13714795 t fired, .
Time elapsed: 167 secs. Pages in use: 14
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 169/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 30820451 t fired, 1467641 attempts, .
95 EF EXCL 169/3597 14/32 PermAdmissibility-PT-02-ReachabilityFireability-07 3503587 m, 21011 m/sec, 14128978 t fired, .
Time elapsed: 172 secs. Pages in use: 14
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 174/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 31758379 t fired, 1512304 attempts, .
95 EF EXCL 174/3597 14/32 PermAdmissibility-PT-02-ReachabilityFireability-07 3606818 m, 20646 m/sec, 14557312 t fired, .
Time elapsed: 177 secs. Pages in use: 14
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 179/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 32693730 t fired, 1556845 attempts, .
95 EF EXCL 179/3597 15/32 PermAdmissibility-PT-02-ReachabilityFireability-07 3711254 m, 20887 m/sec, 14978868 t fired, .
Time elapsed: 182 secs. Pages in use: 15
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 184/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 33628315 t fired, 1601349 attempts, .
95 EF EXCL 184/3597 15/32 PermAdmissibility-PT-02-ReachabilityFireability-07 3815936 m, 20936 m/sec, 15407240 t fired, .
Time elapsed: 187 secs. Pages in use: 15
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 189/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 34555811 t fired, 1645515 attempts, .
95 EF EXCL 189/3597 16/32 PermAdmissibility-PT-02-ReachabilityFireability-07 3920446 m, 20902 m/sec, 15810100 t fired, .
Time elapsed: 192 secs. Pages in use: 16
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 194/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 35476106 t fired, 1689339 attempts, .
95 EF EXCL 194/3597 16/32 PermAdmissibility-PT-02-ReachabilityFireability-07 4024963 m, 20903 m/sec, 16213588 t fired, .
Time elapsed: 197 secs. Pages in use: 16
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 199/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 36396477 t fired, 1733166 attempts, .
95 EF EXCL 199/3597 16/32 PermAdmissibility-PT-02-ReachabilityFireability-07 4129605 m, 20928 m/sec, 16620662 t fired, .
Time elapsed: 202 secs. Pages in use: 16
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 204/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 37315612 t fired, 1776934 attempts, .
95 EF EXCL 204/3597 17/32 PermAdmissibility-PT-02-ReachabilityFireability-07 4233901 m, 20859 m/sec, 17027757 t fired, .
Time elapsed: 207 secs. Pages in use: 17
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 209/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 38236095 t fired, 1820767 attempts, .
95 EF EXCL 209/3597 17/32 PermAdmissibility-PT-02-ReachabilityFireability-07 4337736 m, 20767 m/sec, 17443172 t fired, .
Time elapsed: 212 secs. Pages in use: 17
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 214/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 39159117 t fired, 1864720 attempts, .
95 EF EXCL 214/3597 18/32 PermAdmissibility-PT-02-ReachabilityFireability-07 4443560 m, 21164 m/sec, 17839242 t fired, .
Time elapsed: 217 secs. Pages in use: 18
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 219/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 40079926 t fired, 1908568 attempts, .
95 EF EXCL 219/3597 18/32 PermAdmissibility-PT-02-ReachabilityFireability-07 4548177 m, 20923 m/sec, 18242390 t fired, .
Time elapsed: 222 secs. Pages in use: 18
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 224/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 41002296 t fired, 1952491 attempts, .
95 EF EXCL 224/3597 18/32 PermAdmissibility-PT-02-ReachabilityFireability-07 4651433 m, 20651 m/sec, 18661905 t fired, .
Time elapsed: 227 secs. Pages in use: 18
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 229/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 41934857 t fired, 1996898 attempts, .
95 EF EXCL 229/3597 19/32 PermAdmissibility-PT-02-ReachabilityFireability-07 4754326 m, 20578 m/sec, 19084393 t fired, .
Time elapsed: 232 secs. Pages in use: 19
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 234/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 42868129 t fired, 2041340 attempts, .
95 EF EXCL 234/3597 19/32 PermAdmissibility-PT-02-ReachabilityFireability-07 4859078 m, 20950 m/sec, 19518440 t fired, .
Time elapsed: 237 secs. Pages in use: 19
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 239/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 43802022 t fired, 2085811 attempts, .
95 EF EXCL 239/3597 20/32 PermAdmissibility-PT-02-ReachabilityFireability-07 4963922 m, 20968 m/sec, 19932724 t fired, .
Time elapsed: 242 secs. Pages in use: 20
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 244/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 44731990 t fired, 2130095 attempts, .
95 EF EXCL 244/3597 20/32 PermAdmissibility-PT-02-ReachabilityFireability-07 5070619 m, 21339 m/sec, 20333384 t fired, .
Time elapsed: 247 secs. Pages in use: 20
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 249/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 45661941 t fired, 2174379 attempts, .
95 EF EXCL 249/3597 20/32 PermAdmissibility-PT-02-ReachabilityFireability-07 5175594 m, 20995 m/sec, 20751651 t fired, .
Time elapsed: 252 secs. Pages in use: 20
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 254/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 46595085 t fired, 2218814 attempts, .
95 EF EXCL 254/3597 21/32 PermAdmissibility-PT-02-ReachabilityFireability-07 5280826 m, 21046 m/sec, 21164067 t fired, .
Time elapsed: 257 secs. Pages in use: 21
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 259/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 47528852 t fired, 2263279 attempts, .
95 EF EXCL 259/3597 21/32 PermAdmissibility-PT-02-ReachabilityFireability-07 5385194 m, 20873 m/sec, 21582460 t fired, .
Time elapsed: 262 secs. Pages in use: 21
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 264/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 48462627 t fired, 2307745 attempts, .
95 EF EXCL 264/3597 22/32 PermAdmissibility-PT-02-ReachabilityFireability-07 5490517 m, 21064 m/sec, 21987573 t fired, .
Time elapsed: 267 secs. Pages in use: 22
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 269/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 49394804 t fired, 2352134 attempts, .
95 EF EXCL 269/3597 22/32 PermAdmissibility-PT-02-ReachabilityFireability-07 5594586 m, 20813 m/sec, 22404422 t fired, .
Time elapsed: 272 secs. Pages in use: 22
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 274/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 50328213 t fired, 2396582 attempts, .
95 EF EXCL 274/3597 22/32 PermAdmissibility-PT-02-ReachabilityFireability-07 5698836 m, 20850 m/sec, 22825836 t fired, .
Time elapsed: 277 secs. Pages in use: 22
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 279/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 51261540 t fired, 2441026 attempts, .
95 EF EXCL 279/3597 23/32 PermAdmissibility-PT-02-ReachabilityFireability-07 5802874 m, 20807 m/sec, 23258254 t fired, .
Time elapsed: 282 secs. Pages in use: 23
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 284/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 52192873 t fired, 2485375 attempts, .
95 EF EXCL 284/3597 23/32 PermAdmissibility-PT-02-ReachabilityFireability-07 5907925 m, 21010 m/sec, 23688169 t fired, .
Time elapsed: 287 secs. Pages in use: 23
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 289/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 53125647 t fired, 2529793 attempts, .
95 EF EXCL 289/3597 24/32 PermAdmissibility-PT-02-ReachabilityFireability-07 6013224 m, 21059 m/sec, 24101717 t fired, .
Time elapsed: 292 secs. Pages in use: 24
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 294/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 54057394 t fired, 2574162 attempts, .
95 EF EXCL 294/3597 24/32 PermAdmissibility-PT-02-ReachabilityFireability-07 6119486 m, 21252 m/sec, 24504935 t fired, .
Time elapsed: 297 secs. Pages in use: 24
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 299/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 54989917 t fired, 2618568 attempts, .
95 EF EXCL 299/3597 24/32 PermAdmissibility-PT-02-ReachabilityFireability-07 6224564 m, 21015 m/sec, 24923489 t fired, .
Time elapsed: 302 secs. Pages in use: 24
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 304/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 55922829 t fired, 2662992 attempts, .
95 EF EXCL 304/3597 25/32 PermAdmissibility-PT-02-ReachabilityFireability-07 6330381 m, 21163 m/sec, 25337779 t fired, .
Time elapsed: 307 secs. Pages in use: 25
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 309/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 56855017 t fired, 2707382 attempts, .
95 EF EXCL 309/3597 25/32 PermAdmissibility-PT-02-ReachabilityFireability-07 6435097 m, 20943 m/sec, 25760370 t fired, .
Time elapsed: 312 secs. Pages in use: 25
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 314/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 57785578 t fired, 2751695 attempts, .
95 EF EXCL 314/3597 26/32 PermAdmissibility-PT-02-ReachabilityFireability-07 6541237 m, 21228 m/sec, 26165991 t fired, .
Time elapsed: 317 secs. Pages in use: 26
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 319/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 58717732 t fired, 2796083 attempts, .
95 EF EXCL 319/3597 26/32 PermAdmissibility-PT-02-ReachabilityFireability-07 6646690 m, 21090 m/sec, 26582633 t fired, .
Time elapsed: 322 secs. Pages in use: 26
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
PermAdmissibility-PT-02-ReachabilityFireability-07: AG 0 0 2 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 324/3597 0/5 PermAdmissibility-PT-02-ReachabilityFireability-07 59650320 t fired, 2840492 attempts, .
95 EF EXCL 324/3597 26/32 PermAdmissibility-PT-02-ReachabilityFireability-07 6752425 m, 21147 m/sec, 26994793 t fired, .
Time elapsed: 327 secs. Pages in use: 26
# running tasks: 2 of 4 Visible: 16
lola: FINISHED task # 95 (type EXCL) for PermAdmissibility-PT-02-ReachabilityFireability-07
lola: result : false
lola: markings : 6830104
lola: fired transitions : 27291784
lola: time used : 328.000000
lola: memory pages used : 27
lola: CANCELED task # 91 (type FNDP) for PermAdmissibility-PT-02-ReachabilityFireability-07 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PermAdmissibility-PT-02-ReachabilityFireability-00: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-01: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-02: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-03: EF true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-04: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-05: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-06: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-07: AG true tandem / relaxed
PermAdmissibility-PT-02-ReachabilityFireability-08: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-09: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-10: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-11: AG false findpath
PermAdmissibility-PT-02-ReachabilityFireability-12: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-13: EF true findpath
PermAdmissibility-PT-02-ReachabilityFireability-14: INITIAL false preprocessing
PermAdmissibility-PT-02-ReachabilityFireability-15: EF true findpath
Time elapsed: 331 secs. Pages in use: 27
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="PermAdmissibility-PT-02"
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-4028"
echo " Executing tool lola"
echo " Input is PermAdmissibility-PT-02, 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 r137-tall-162089122300519"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-02.tgz
mv PermAdmissibility-PT-02 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 ;