About the Execution of LoLA for DES-PT-20b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2430.079 | 547302.00 | 2180062.00 | 17.50 | FTFTTTFTFFTTFTTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r102-tall-167814476900439.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is DES-PT-20b, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r102-tall-167814476900439
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 548K
-rw-r--r-- 1 mcc users 7.6K Feb 26 15:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 15:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 26 15:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 15:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 91K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DES-PT-20b-ReachabilityFireability-00
FORMULA_NAME DES-PT-20b-ReachabilityFireability-01
FORMULA_NAME DES-PT-20b-ReachabilityFireability-02
FORMULA_NAME DES-PT-20b-ReachabilityFireability-03
FORMULA_NAME DES-PT-20b-ReachabilityFireability-04
FORMULA_NAME DES-PT-20b-ReachabilityFireability-05
FORMULA_NAME DES-PT-20b-ReachabilityFireability-06
FORMULA_NAME DES-PT-20b-ReachabilityFireability-07
FORMULA_NAME DES-PT-20b-ReachabilityFireability-08
FORMULA_NAME DES-PT-20b-ReachabilityFireability-09
FORMULA_NAME DES-PT-20b-ReachabilityFireability-10
FORMULA_NAME DES-PT-20b-ReachabilityFireability-11
FORMULA_NAME DES-PT-20b-ReachabilityFireability-12
FORMULA_NAME DES-PT-20b-ReachabilityFireability-13
FORMULA_NAME DES-PT-20b-ReachabilityFireability-14
FORMULA_NAME DES-PT-20b-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1678284267747
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DES-PT-20b
Not applying reductions.
Model is PT
ReachabilityFireability PT
starting LoLA
BK_INPUT DES-PT-20b
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA DES-PT-20b-ReachabilityFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DES-PT-20b-ReachabilityFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678284815049
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityFireability.xml
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 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: Created skeleton in 0.000000 secs.
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: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: LAUNCH task # 53 (type EXCL) for 21 DES-PT-20b-ReachabilityFireability-07
lola: time limit : 189 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 48 (type FNDP) for 21 DES-PT-20b-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN) for 21 DES-PT-20b-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type SRCH) for 21 DES-PT-20b-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 53 (type EXCL) for DES-PT-20b-ReachabilityFireability-07
lola: result : true
lola: markings : 7
lola: fired transitions : 6
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 48 (type FNDP) for DES-PT-20b-ReachabilityFireability-07 (obsolete)
lola: CANCELED task # 49 (type EQUN) for DES-PT-20b-ReachabilityFireability-07 (obsolete)
lola: CANCELED task # 52 (type SRCH) for DES-PT-20b-ReachabilityFireability-07 (obsolete)
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 # 59 (type EXCL) for 18 DES-PT-20b-ReachabilityFireability-06
lola: time limit : 199 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 54 (type FNDP) for 18 DES-PT-20b-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 55 (type EQUN) for 18 DES-PT-20b-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type SRCH) for 18 DES-PT-20b-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 54 (type FNDP) for DES-PT-20b-ReachabilityFireability-06
lola: result : true
lola: fired transitions : 12
lola: tried executions : 1
lola: Created skeleton in 0.000000 secs.
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 48 (type FNDP) for DES-PT-20b-ReachabilityFireability-07
lola: result : true
lola: fired transitions : 6
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 58 (type SRCH) for DES-PT-20b-ReachabilityFireability-06
lola: result : true
lola: markings : 14
lola: fired transitions : 13
lola: time used : 0.000000
lola: memory pages used : 1
lola: FINISHED task # 59 (type EXCL) for DES-PT-20b-ReachabilityFireability-06
lola: result : true
lola: markings : 3981
lola: fired transitions : 4296
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 55 (type EQUN) for DES-PT-20b-ReachabilityFireability-06 (obsolete)
lola: LAUNCH task # 66 (type EXCL) for 27 DES-PT-20b-ReachabilityFireability-09
lola: time limit : 224 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 62 (type FNDP) for 27 DES-PT-20b-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 63 (type EQUN) for 27 DES-PT-20b-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 65 (type SRCH) for 27 DES-PT-20b-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 55 (type EQUN) for DES-PT-20b-ReachabilityFireability-06
lola: result : unknown
lola: FINISHED task # 65 (type SRCH) for DES-PT-20b-ReachabilityFireability-09
lola: result : true
lola: markings : 118
lola: fired transitions : 118
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 62 (type FNDP) for DES-PT-20b-ReachabilityFireability-09 (obsolete)
lola: CANCELED task # 63 (type EQUN) for DES-PT-20b-ReachabilityFireability-09 (obsolete)
lola: CANCELED task # 66 (type EXCL) for DES-PT-20b-ReachabilityFireability-09 (obsolete)
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: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: Created skeleton in 0.000000 secs.
lola: LAUNCH task # 73 (type EXCL) for 6 DES-PT-20b-ReachabilityFireability-02
lola: time limit : 276 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 69 (type FNDP) for 6 DES-PT-20b-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 70 (type EQUN) for 6 DES-PT-20b-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 72 (type SRCH) for 6 DES-PT-20b-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-63.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-49.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: FINISHED task # 62 (type FNDP) for DES-PT-20b-ReachabilityFireability-09
lola: result : true
lola: fired transitions : 839
lola: tried executions : 25
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k: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: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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 69 (type FNDP) for DES-PT-20b-ReachabilityFireability-02
lola: result : true
lola: fired transitions : 126
lola: tried executions : 4
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 70 (type EQUN) for DES-PT-20b-ReachabilityFireability-02 (obsolete)
lola: CANCELED task # 72 (type SRCH) for DES-PT-20b-ReachabilityFireability-02 (obsolete)
lola: CANCELED task # 73 (type EXCL) for DES-PT-20b-ReachabilityFireability-02 (obsolete)
lola: LAUNCH task # 137 (type EXCL) for 0 DES-PT-20b-ReachabilityFireability-00
lola: time limit : 299 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 91 (type FNDP) for 3 DES-PT-20b-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 95 (type EQUN) for 3 DES-PT-20b-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 98 (type SRCH) for 3 DES-PT-20b-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-70.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
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 137 (type EXCL) for DES-PT-20b-ReachabilityFireability-00
lola: result : true
lola: markings : 3981
lola: fired transitions : 4296
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 135 (type EXCL) for 42 DES-PT-20b-ReachabilityFireability-14
lola: time limit : 327 sec
lola: memory limit: 32 pages
lola: FINISHED task # 135 (type EXCL) for DES-PT-20b-ReachabilityFireability-14
lola: result : true
lola: markings : 4005
lola: fired transitions : 4329
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 122 (type EXCL) for 36 DES-PT-20b-ReachabilityFireability-12
lola: time limit : 359 sec
lola: memory limit: 32 pages
lola: FINISHED task # 122 (type EXCL) for DES-PT-20b-ReachabilityFireability-12
lola: result : true
lola: markings : 49
lola: fired transitions : 48
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 113 (type EXCL) for 45 DES-PT-20b-ReachabilityFireability-15
lola: time limit : 399 sec
lola: memory limit: 32 pages
lola: FINISHED task # 113 (type EXCL) for DES-PT-20b-ReachabilityFireability-15
lola: result : true
lola: markings : 87
lola: fired transitions : 86
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 151 (type EXCL) for 15 DES-PT-20b-ReachabilityFireability-05
lola: time limit : 449 sec
lola: memory limit: 32 pages
lola: FINISHED task # 151 (type EXCL) for DES-PT-20b-ReachabilityFireability-05
lola: result : true
lola: markings : 4
lola: fired transitions : 3
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 132 (type EXCL) for 33 DES-PT-20b-ReachabilityFireability-11
lola: time limit : 514 sec
lola: memory limit: 32 pages
lola: FINISHED task # 132 (type EXCL) for DES-PT-20b-ReachabilityFireability-11
lola: result : true
lola: markings : 8
lola: fired transitions : 7
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 88 (type EXCL) for 9 DES-PT-20b-ReachabilityFireability-03
lola: time limit : 599 sec
lola: memory limit: 32 pages
lola: FINISHED task # 88 (type EXCL) for DES-PT-20b-ReachabilityFireability-03
lola: result : true
lola: markings : 3967
lola: fired transitions : 4282
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 94 (type EXCL) for 30 DES-PT-20b-ReachabilityFireability-10
lola: time limit : 719 sec
lola: memory limit: 32 pages
lola: FINISHED task # 63 (type EQUN) for DES-PT-20b-ReachabilityFireability-09
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 3 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 5/514 0/5 DES-PT-20b-ReachabilityFireability-01 2524484 t fired, 48970 attempts, .
94 EF EXCL 5/719 4/32 DES-PT-20b-ReachabilityFireability-10 741338 m, 148267 m/sec, 823511 t fired, .
95 EF STEQ 5/514 0/5 DES-PT-20b-ReachabilityFireability-01 sara not yet started (preprocessing).
98 EF SRCH 5/599 4/5 DES-PT-20b-ReachabilityFireability-01 1041775 m, 208355 m/sec, 2922121 t fired, .
Time elapsed: 7 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-95.sara.
sara: place or transition ordering is non-deterministic
lola: CANCELED task # 98 (type SRCH) for DES-PT-20b-ReachabilityFireability-01 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 10/509 0/5 DES-PT-20b-ReachabilityFireability-01 5361894 t fired, 106004 attempts, .
94 EF EXCL 10/719 8/32 DES-PT-20b-ReachabilityFireability-10 1728121 m, 197356 m/sec, 1904552 t fired, .
95 EF STEQ 10/509 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 12 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 104 (type FNDP) for 39 DES-PT-20b-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 104 (type FNDP) for DES-PT-20b-ReachabilityFireability-13
lola: result : true
lola: fired transitions : 7
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 76 (type FNDP) for 12 DES-PT-20b-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 5/717 0/5 DES-PT-20b-ReachabilityFireability-04 2091833 t fired, 47950 attempts, .
91 EF FNDP 15/709 0/5 DES-PT-20b-ReachabilityFireability-01 7402821 t fired, 147342 attempts, .
94 EF EXCL 15/899 11/32 DES-PT-20b-ReachabilityFireability-10 2569430 m, 168261 m/sec, 2813782 t fired, .
95 EF STEQ 15/709 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 17 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 10/712 0/5 DES-PT-20b-ReachabilityFireability-04 4527559 t fired, 102338 attempts, .
91 EF FNDP 20/704 0/5 DES-PT-20b-ReachabilityFireability-01 9166154 t fired, 183322 attempts, .
94 EF EXCL 20/899 14/32 DES-PT-20b-ReachabilityFireability-10 3366428 m, 159399 m/sec, 3676383 t fired, .
95 EF STEQ 20/704 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 22 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 15/707 0/5 DES-PT-20b-ReachabilityFireability-04 6612308 t fired, 149209 attempts, .
91 EF FNDP 25/699 0/5 DES-PT-20b-ReachabilityFireability-01 11018803 t fired, 221319 attempts, .
94 EF EXCL 25/899 17/32 DES-PT-20b-ReachabilityFireability-10 4110890 m, 148892 m/sec, 4507229 t fired, .
95 EF STEQ 25/699 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 27 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 20/702 0/5 DES-PT-20b-ReachabilityFireability-04 8712971 t fired, 196578 attempts, .
91 EF FNDP 30/694 0/5 DES-PT-20b-ReachabilityFireability-01 12817996 t fired, 258304 attempts, .
94 EF EXCL 30/899 20/32 DES-PT-20b-ReachabilityFireability-10 4701352 m, 118092 m/sec, 5221850 t fired, .
95 EF STEQ 30/694 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 32 secs. Pages in use: 20
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 25/697 0/5 DES-PT-20b-ReachabilityFireability-04 10864121 t fired, 245336 attempts, .
91 EF FNDP 35/689 0/5 DES-PT-20b-ReachabilityFireability-01 14627204 t fired, 295330 attempts, .
94 EF EXCL 35/899 22/32 DES-PT-20b-ReachabilityFireability-10 5328536 m, 125436 m/sec, 5982071 t fired, .
95 EF STEQ 35/689 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 37 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 30/692 0/5 DES-PT-20b-ReachabilityFireability-04 12921286 t fired, 291714 attempts, .
91 EF FNDP 40/684 0/5 DES-PT-20b-ReachabilityFireability-01 16611642 t fired, 336130 attempts, .
94 EF EXCL 40/899 25/32 DES-PT-20b-ReachabilityFireability-10 6133648 m, 161022 m/sec, 6897840 t fired, .
95 EF STEQ 40/684 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 42 secs. Pages in use: 25
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 35/687 0/5 DES-PT-20b-ReachabilityFireability-04 15402755 t fired, 347964 attempts, .
91 EF FNDP 45/679 0/5 DES-PT-20b-ReachabilityFireability-01 18238270 t fired, 369713 attempts, .
94 EF EXCL 45/899 29/32 DES-PT-20b-ReachabilityFireability-10 7019162 m, 177102 m/sec, 7857072 t fired, .
95 EF STEQ 45/679 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 47 secs. Pages in use: 29
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 40/682 0/5 DES-PT-20b-ReachabilityFireability-04 17647199 t fired, 398926 attempts, .
91 EF FNDP 50/674 0/5 DES-PT-20b-ReachabilityFireability-01 20022556 t fired, 406373 attempts, .
94 EF EXCL 50/899 32/32 DES-PT-20b-ReachabilityFireability-10 7868053 m, 169778 m/sec, 8777926 t fired, .
95 EF STEQ 50/674 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 52 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 94 (type EXCL) for DES-PT-20b-ReachabilityFireability-10 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 45/677 0/5 DES-PT-20b-ReachabilityFireability-04 20049053 t fired, 453780 attempts, .
91 EF FNDP 55/669 0/5 DES-PT-20b-ReachabilityFireability-01 21994009 t fired, 447037 attempts, .
95 EF STEQ 55/669 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 57 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 145 (type EXCL) for 24 DES-PT-20b-ReachabilityFireability-08
lola: time limit : 1181 sec
lola: memory limit: 32 pages
lola: FINISHED task # 145 (type EXCL) for DES-PT-20b-ReachabilityFireability-08
lola: result : true
lola: markings : 4740
lola: fired transitions : 5060
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 81 (type EXCL) for 12 DES-PT-20b-ReachabilityFireability-04
lola: time limit : 1771 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 50/852 0/5 DES-PT-20b-ReachabilityFireability-04 22178555 t fired, 502631 attempts, .
81 EF EXCL 5/1771 3/32 DES-PT-20b-ReachabilityFireability-04 641664 m, 128332 m/sec, 699920 t fired, .
91 EF FNDP 60/844 0/5 DES-PT-20b-ReachabilityFireability-01 23869957 t fired, 485724 attempts, .
95 EF STEQ 60/1144 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 62 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 55/847 0/5 DES-PT-20b-ReachabilityFireability-04 24409167 t fired, 553408 attempts, .
81 EF EXCL 10/1771 6/32 DES-PT-20b-ReachabilityFireability-04 1271119 m, 125891 m/sec, 1387027 t fired, .
91 EF FNDP 65/839 0/5 DES-PT-20b-ReachabilityFireability-01 25650073 t fired, 522538 attempts, .
95 EF STEQ 65/1139 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 67 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 60/842 0/5 DES-PT-20b-ReachabilityFireability-04 26643320 t fired, 604286 attempts, .
81 EF EXCL 15/1771 9/32 DES-PT-20b-ReachabilityFireability-04 1870410 m, 119858 m/sec, 2098625 t fired, .
91 EF FNDP 70/834 0/5 DES-PT-20b-ReachabilityFireability-01 27456819 t fired, 560063 attempts, .
95 EF STEQ 70/1134 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 72 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 65/837 0/5 DES-PT-20b-ReachabilityFireability-04 29038298 t fired, 659204 attempts, .
81 EF EXCL 20/1771 11/32 DES-PT-20b-ReachabilityFireability-04 2431775 m, 112273 m/sec, 2804169 t fired, .
91 EF FNDP 75/829 0/5 DES-PT-20b-ReachabilityFireability-01 29057462 t fired, 593162 attempts, .
95 EF STEQ 75/1129 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 77 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 70/832 0/5 DES-PT-20b-ReachabilityFireability-04 31323085 t fired, 711504 attempts, .
81 EF EXCL 25/1771 14/32 DES-PT-20b-ReachabilityFireability-04 3000956 m, 113836 m/sec, 3534677 t fired, .
91 EF FNDP 80/824 0/5 DES-PT-20b-ReachabilityFireability-01 30751637 t fired, 628326 attempts, .
95 EF STEQ 80/1124 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 82 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 75/827 0/5 DES-PT-20b-ReachabilityFireability-04 33360142 t fired, 758135 attempts, .
81 EF EXCL 30/1771 16/32 DES-PT-20b-ReachabilityFireability-04 3577641 m, 115337 m/sec, 4275677 t fired, .
91 EF FNDP 85/819 0/5 DES-PT-20b-ReachabilityFireability-01 32650194 t fired, 667678 attempts, .
95 EF STEQ 85/1119 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 87 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 80/822 0/5 DES-PT-20b-ReachabilityFireability-04 35480517 t fired, 806639 attempts, .
81 EF EXCL 35/1771 19/32 DES-PT-20b-ReachabilityFireability-04 4104682 m, 105408 m/sec, 4950174 t fired, .
91 EF FNDP 90/814 0/5 DES-PT-20b-ReachabilityFireability-01 34572171 t fired, 707500 attempts, .
95 EF STEQ 90/1114 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 92 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 85/817 0/5 DES-PT-20b-ReachabilityFireability-04 37643741 t fired, 856211 attempts, .
81 EF EXCL 40/1771 21/32 DES-PT-20b-ReachabilityFireability-04 4659982 m, 111060 m/sec, 5662040 t fired, .
91 EF FNDP 95/809 0/5 DES-PT-20b-ReachabilityFireability-01 36414498 t fired, 745717 attempts, .
95 EF STEQ 95/1109 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 97 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 90/812 0/5 DES-PT-20b-ReachabilityFireability-04 39866737 t fired, 907033 attempts, .
81 EF EXCL 45/1771 24/32 DES-PT-20b-ReachabilityFireability-04 5302029 m, 128409 m/sec, 6454285 t fired, .
91 EF FNDP 100/804 0/5 DES-PT-20b-ReachabilityFireability-01 38201149 t fired, 782661 attempts, .
95 EF STEQ 100/1104 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 102 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 95/807 0/5 DES-PT-20b-ReachabilityFireability-04 41736784 t fired, 949718 attempts, .
81 EF EXCL 50/1771 26/32 DES-PT-20b-ReachabilityFireability-04 5911135 m, 121821 m/sec, 7200766 t fired, .
91 EF FNDP 105/799 0/5 DES-PT-20b-ReachabilityFireability-01 40306713 t fired, 826121 attempts, .
95 EF STEQ 105/1099 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 107 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 100/802 0/5 DES-PT-20b-ReachabilityFireability-04 44026396 t fired, 1002146 attempts, .
81 EF EXCL 55/1771 29/32 DES-PT-20b-ReachabilityFireability-04 6469885 m, 111750 m/sec, 7882357 t fired, .
91 EF FNDP 110/794 0/5 DES-PT-20b-ReachabilityFireability-01 41930136 t fired, 859661 attempts, .
95 EF STEQ 110/1094 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 112 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 2 0 1 0 0 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 105/797 0/5 DES-PT-20b-ReachabilityFireability-04 45958605 t fired, 1046313 attempts, .
81 EF EXCL 60/1771 31/32 DES-PT-20b-ReachabilityFireability-04 7046615 m, 115346 m/sec, 8575631 t fired, .
91 EF FNDP 115/789 0/5 DES-PT-20b-ReachabilityFireability-01 43714401 t fired, 896618 attempts, .
95 EF STEQ 115/1089 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 117 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 81 (type EXCL) for DES-PT-20b-ReachabilityFireability-04 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 110/792 0/5 DES-PT-20b-ReachabilityFireability-04 48095876 t fired, 1095242 attempts, .
91 EF FNDP 120/784 0/5 DES-PT-20b-ReachabilityFireability-01 45651711 t fired, 936763 attempts, .
95 EF STEQ 120/1084 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 122 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 99 (type EXCL) for 3 DES-PT-20b-ReachabilityFireability-01
lola: time limit : 3478 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 115/787 0/5 DES-PT-20b-ReachabilityFireability-04 50346823 t fired, 1146697 attempts, .
91 EF FNDP 125/779 0/5 DES-PT-20b-ReachabilityFireability-01 47304512 t fired, 971130 attempts, .
95 EF STEQ 125/1079 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
99 EF EXCL 5/3478 3/32 DES-PT-20b-ReachabilityFireability-01 610529 m, 122105 m/sec, 707699 t fired, .
Time elapsed: 127 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 120/782 0/5 DES-PT-20b-ReachabilityFireability-04 52610023 t fired, 1198786 attempts, .
91 EF FNDP 130/774 0/5 DES-PT-20b-ReachabilityFireability-01 49120743 t fired, 1008842 attempts, .
95 EF STEQ 130/1074 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
99 EF EXCL 10/3478 5/32 DES-PT-20b-ReachabilityFireability-01 1173037 m, 112501 m/sec, 1345124 t fired, .
Time elapsed: 132 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 125/777 0/5 DES-PT-20b-ReachabilityFireability-04 54746772 t fired, 1247704 attempts, .
91 EF FNDP 135/769 0/5 DES-PT-20b-ReachabilityFireability-01 50875094 t fired, 1045334 attempts, .
95 EF STEQ 135/1069 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
99 EF EXCL 15/3478 8/32 DES-PT-20b-ReachabilityFireability-01 1717533 m, 108899 m/sec, 1975658 t fired, .
Time elapsed: 137 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 130/772 0/5 DES-PT-20b-ReachabilityFireability-04 56716008 t fired, 1292519 attempts, .
91 EF FNDP 140/764 0/5 DES-PT-20b-ReachabilityFireability-01 52838390 t fired, 1086080 attempts, .
95 EF STEQ 140/1064 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
99 EF EXCL 20/3478 10/32 DES-PT-20b-ReachabilityFireability-01 2235276 m, 103548 m/sec, 2573877 t fired, .
Time elapsed: 142 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 135/767 0/5 DES-PT-20b-ReachabilityFireability-04 58916257 t fired, 1342804 attempts, .
91 EF FNDP 145/759 0/5 DES-PT-20b-ReachabilityFireability-01 54598418 t fired, 1122798 attempts, .
95 EF STEQ 145/1059 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
99 EF EXCL 25/3478 12/32 DES-PT-20b-ReachabilityFireability-01 2763249 m, 105594 m/sec, 3192477 t fired, .
Time elapsed: 147 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 140/762 0/5 DES-PT-20b-ReachabilityFireability-04 61119295 t fired, 1393172 attempts, .
91 EF FNDP 150/754 0/5 DES-PT-20b-ReachabilityFireability-01 56247006 t fired, 1156994 attempts, .
95 EF STEQ 150/1054 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
99 EF EXCL 30/3478 14/32 DES-PT-20b-ReachabilityFireability-01 3292107 m, 105771 m/sec, 3814149 t fired, .
Time elapsed: 152 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 145/757 0/5 DES-PT-20b-ReachabilityFireability-04 63135203 t fired, 1439363 attempts, .
91 EF FNDP 155/749 0/5 DES-PT-20b-ReachabilityFireability-01 58118231 t fired, 1195855 attempts, .
95 EF STEQ 155/1049 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
99 EF EXCL 35/3478 17/32 DES-PT-20b-ReachabilityFireability-01 3868445 m, 115267 m/sec, 4478961 t fired, .
Time elapsed: 157 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 150/752 0/5 DES-PT-20b-ReachabilityFireability-04 65235708 t fired, 1487381 attempts, .
91 EF FNDP 160/744 0/5 DES-PT-20b-ReachabilityFireability-01 59928030 t fired, 1233468 attempts, .
95 EF STEQ 160/1044 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
99 EF EXCL 40/3478 19/32 DES-PT-20b-ReachabilityFireability-01 4427830 m, 111877 m/sec, 5134447 t fired, .
Time elapsed: 162 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 155/747 0/5 DES-PT-20b-ReachabilityFireability-04 67120032 t fired, 1530334 attempts, .
91 EF FNDP 165/739 0/5 DES-PT-20b-ReachabilityFireability-01 61752153 t fired, 1271298 attempts, .
95 EF STEQ 165/1039 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
99 EF EXCL 45/3478 21/32 DES-PT-20b-ReachabilityFireability-01 4972116 m, 108857 m/sec, 5766109 t fired, .
Time elapsed: 167 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 160/742 0/5 DES-PT-20b-ReachabilityFireability-04 69326143 t fired, 1580801 attempts, .
91 EF FNDP 170/734 0/5 DES-PT-20b-ReachabilityFireability-01 63452615 t fired, 1306593 attempts, .
95 EF STEQ 170/1034 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
99 EF EXCL 50/3478 24/32 DES-PT-20b-ReachabilityFireability-01 5515377 m, 108652 m/sec, 6399923 t fired, .
Time elapsed: 172 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 165/737 0/5 DES-PT-20b-ReachabilityFireability-04 71538483 t fired, 1631380 attempts, .
91 EF FNDP 175/729 0/5 DES-PT-20b-ReachabilityFireability-01 65242447 t fired, 1343758 attempts, .
95 EF STEQ 175/1029 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
99 EF EXCL 55/3478 26/32 DES-PT-20b-ReachabilityFireability-01 6105916 m, 118107 m/sec, 7048783 t fired, .
Time elapsed: 177 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 170/732 0/5 DES-PT-20b-ReachabilityFireability-04 73667184 t fired, 1680151 attempts, .
91 EF FNDP 180/724 0/5 DES-PT-20b-ReachabilityFireability-01 67069795 t fired, 1381712 attempts, .
95 EF STEQ 180/1024 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
99 EF EXCL 60/3478 29/32 DES-PT-20b-ReachabilityFireability-01 6714188 m, 121654 m/sec, 7688037 t fired, .
Time elapsed: 182 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 175/727 0/5 DES-PT-20b-ReachabilityFireability-04 76165784 t fired, 1737440 attempts, .
91 EF FNDP 185/719 0/5 DES-PT-20b-ReachabilityFireability-01 68582333 t fired, 1413071 attempts, .
95 EF STEQ 185/1019 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
99 EF EXCL 65/3478 31/32 DES-PT-20b-ReachabilityFireability-01 7341516 m, 125465 m/sec, 8345220 t fired, .
Time elapsed: 187 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 99 (type EXCL) for DES-PT-20b-ReachabilityFireability-01 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 3 1 0 1 0 1 0
DES-PT-20b-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 180/722 0/5 DES-PT-20b-ReachabilityFireability-04 78444704 t fired, 1789761 attempts, .
91 EF FNDP 190/714 0/5 DES-PT-20b-ReachabilityFireability-01 70500079 t fired, 1452844 attempts, .
95 EF STEQ 190/1014 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 192 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 86 (type FNDP) for 30 DES-PT-20b-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 86 (type FNDP) for DES-PT-20b-ReachabilityFireability-10
lola: result : true
lola: fired transitions : 14573
lola: tried executions : 415
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 77 (type EQUN) for 12 DES-PT-20b-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-77.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 185/1614 0/5 DES-PT-20b-ReachabilityFireability-04 80408728 t fired, 1834613 attempts, .
77 EF STEQ 5/1704 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 195/1609 0/5 DES-PT-20b-ReachabilityFireability-01 72317670 t fired, 1490720 attempts, .
95 EF STEQ 195/3408 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 197 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 190/1609 0/5 DES-PT-20b-ReachabilityFireability-04 82308072 t fired, 1877935 attempts, .
77 EF STEQ 10/1699 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 200/1604 0/5 DES-PT-20b-ReachabilityFireability-01 74077461 t fired, 1527353 attempts, .
95 EF STEQ 200/3403 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 202 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 195/1604 0/5 DES-PT-20b-ReachabilityFireability-04 84414606 t fired, 1926366 attempts, .
77 EF STEQ 15/1694 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 205/1599 0/5 DES-PT-20b-ReachabilityFireability-01 75892038 t fired, 1565051 attempts, .
95 EF STEQ 205/3398 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 207 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 200/1599 0/5 DES-PT-20b-ReachabilityFireability-04 86529058 t fired, 1974885 attempts, .
77 EF STEQ 20/1689 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 210/1594 0/5 DES-PT-20b-ReachabilityFireability-01 77623135 t fired, 1600953 attempts, .
95 EF STEQ 210/3393 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 212 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 205/1594 0/5 DES-PT-20b-ReachabilityFireability-04 88613643 t fired, 2022423 attempts, .
77 EF STEQ 25/1684 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 215/1589 0/5 DES-PT-20b-ReachabilityFireability-01 79548971 t fired, 1640989 attempts, .
95 EF STEQ 215/3388 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 217 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 210/1589 0/5 DES-PT-20b-ReachabilityFireability-04 90772639 t fired, 2072112 attempts, .
77 EF STEQ 30/1679 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 220/1584 0/5 DES-PT-20b-ReachabilityFireability-01 81504042 t fired, 1681730 attempts, .
95 EF STEQ 220/3383 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 222 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 215/1584 0/5 DES-PT-20b-ReachabilityFireability-04 92877829 t fired, 2120404 attempts, .
77 EF STEQ 35/1674 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 225/1579 0/5 DES-PT-20b-ReachabilityFireability-01 83158974 t fired, 1716161 attempts, .
95 EF STEQ 225/3378 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 227 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 220/1579 0/5 DES-PT-20b-ReachabilityFireability-04 95187700 t fired, 2173292 attempts, .
77 EF STEQ 40/1669 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 230/1574 0/5 DES-PT-20b-ReachabilityFireability-01 84843461 t fired, 1751152 attempts, .
95 EF STEQ 230/3373 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 232 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 225/1574 0/5 DES-PT-20b-ReachabilityFireability-04 97146469 t fired, 2218279 attempts, .
77 EF STEQ 45/1664 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 235/1569 0/5 DES-PT-20b-ReachabilityFireability-01 86735568 t fired, 1790476 attempts, .
95 EF STEQ 235/3368 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 237 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 230/1569 0/5 DES-PT-20b-ReachabilityFireability-04 99291392 t fired, 2267451 attempts, .
77 EF STEQ 50/1659 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 240/1564 0/5 DES-PT-20b-ReachabilityFireability-01 88411050 t fired, 1825438 attempts, .
95 EF STEQ 240/3363 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 242 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 235/1564 0/5 DES-PT-20b-ReachabilityFireability-04 101645252 t fired, 2321324 attempts, .
77 EF STEQ 55/1654 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 245/1559 0/5 DES-PT-20b-ReachabilityFireability-01 90005732 t fired, 1858679 attempts, .
95 EF STEQ 245/3358 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 247 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 240/1559 0/5 DES-PT-20b-ReachabilityFireability-04 104007450 t fired, 2375464 attempts, .
77 EF STEQ 60/1649 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 250/1554 0/5 DES-PT-20b-ReachabilityFireability-01 91665519 t fired, 1893294 attempts, .
95 EF STEQ 250/3353 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 252 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 245/1554 0/5 DES-PT-20b-ReachabilityFireability-04 106192271 t fired, 2425747 attempts, .
77 EF STEQ 65/1644 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 255/1549 0/5 DES-PT-20b-ReachabilityFireability-01 93349484 t fired, 1928158 attempts, .
95 EF STEQ 255/3348 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 257 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 250/1549 0/5 DES-PT-20b-ReachabilityFireability-04 108319782 t fired, 2474420 attempts, .
77 EF STEQ 70/1639 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 260/1544 0/5 DES-PT-20b-ReachabilityFireability-01 95116209 t fired, 1964808 attempts, .
95 EF STEQ 260/3343 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 262 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 255/1544 0/5 DES-PT-20b-ReachabilityFireability-04 110345389 t fired, 2520780 attempts, .
77 EF STEQ 75/1634 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 265/1539 0/5 DES-PT-20b-ReachabilityFireability-01 96885508 t fired, 2001640 attempts, .
95 EF STEQ 265/3338 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 267 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 260/1539 0/5 DES-PT-20b-ReachabilityFireability-04 112438266 t fired, 2568530 attempts, .
77 EF STEQ 80/1629 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 270/1534 0/5 DES-PT-20b-ReachabilityFireability-01 98718023 t fired, 2039549 attempts, .
95 EF STEQ 270/3333 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 272 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 265/1534 0/5 DES-PT-20b-ReachabilityFireability-04 114424002 t fired, 2614231 attempts, .
77 EF STEQ 85/1624 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 275/1529 0/5 DES-PT-20b-ReachabilityFireability-01 100432816 t fired, 2075256 attempts, .
95 EF STEQ 275/3328 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 277 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 270/1529 0/5 DES-PT-20b-ReachabilityFireability-04 116621857 t fired, 2664747 attempts, .
77 EF STEQ 90/1619 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 280/1524 0/5 DES-PT-20b-ReachabilityFireability-01 102092290 t fired, 2109888 attempts, .
95 EF STEQ 280/3323 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 282 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 275/1524 0/5 DES-PT-20b-ReachabilityFireability-04 118559204 t fired, 2709066 attempts, .
77 EF STEQ 95/1614 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 285/1519 0/5 DES-PT-20b-ReachabilityFireability-01 104050978 t fired, 2150656 attempts, .
95 EF STEQ 285/3318 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 287 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 280/1519 0/5 DES-PT-20b-ReachabilityFireability-04 120698694 t fired, 2758246 attempts, .
77 EF STEQ 100/1609 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 290/1514 0/5 DES-PT-20b-ReachabilityFireability-01 105845947 t fired, 2187928 attempts, .
95 EF STEQ 290/3313 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 292 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 285/1514 0/5 DES-PT-20b-ReachabilityFireability-04 122730427 t fired, 2804785 attempts, .
77 EF STEQ 105/1604 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 295/1509 0/5 DES-PT-20b-ReachabilityFireability-01 107723447 t fired, 2226876 attempts, .
95 EF STEQ 295/3308 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 297 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 290/1509 0/5 DES-PT-20b-ReachabilityFireability-04 124951307 t fired, 2855716 attempts, .
77 EF STEQ 110/1599 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 300/1504 0/5 DES-PT-20b-ReachabilityFireability-01 109396676 t fired, 2261848 attempts, .
95 EF STEQ 300/3303 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 302 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 295/1504 0/5 DES-PT-20b-ReachabilityFireability-04 127054755 t fired, 2903840 attempts, .
77 EF STEQ 115/1594 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 305/1499 0/5 DES-PT-20b-ReachabilityFireability-01 111114936 t fired, 2297792 attempts, .
95 EF STEQ 305/3298 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 307 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 300/1499 0/5 DES-PT-20b-ReachabilityFireability-04 129258234 t fired, 2954388 attempts, .
77 EF STEQ 120/1589 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 310/1494 0/5 DES-PT-20b-ReachabilityFireability-01 112829893 t fired, 2333427 attempts, .
95 EF STEQ 310/3293 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 312 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 305/1494 0/5 DES-PT-20b-ReachabilityFireability-04 131151607 t fired, 2998000 attempts, .
77 EF STEQ 125/1584 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 315/1489 0/5 DES-PT-20b-ReachabilityFireability-01 114617453 t fired, 2370636 attempts, .
95 EF STEQ 315/3288 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 317 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 310/1489 0/5 DES-PT-20b-ReachabilityFireability-04 133107751 t fired, 3042953 attempts, .
77 EF STEQ 130/1579 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 320/1484 0/5 DES-PT-20b-ReachabilityFireability-01 116496295 t fired, 2409628 attempts, .
95 EF STEQ 320/3283 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 322 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 315/1484 0/5 DES-PT-20b-ReachabilityFireability-04 135177240 t fired, 3090483 attempts, .
77 EF STEQ 135/1574 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 325/1479 0/5 DES-PT-20b-ReachabilityFireability-01 118365306 t fired, 2448473 attempts, .
95 EF STEQ 325/3278 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 327 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 320/1479 0/5 DES-PT-20b-ReachabilityFireability-04 137223264 t fired, 3137381 attempts, .
77 EF STEQ 140/1569 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 330/1474 0/5 DES-PT-20b-ReachabilityFireability-01 120300158 t fired, 2488721 attempts, .
95 EF STEQ 330/3273 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 332 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 325/1474 0/5 DES-PT-20b-ReachabilityFireability-04 139329948 t fired, 3185690 attempts, .
77 EF STEQ 145/1564 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 335/1469 0/5 DES-PT-20b-ReachabilityFireability-01 122018982 t fired, 2524388 attempts, .
95 EF STEQ 335/3268 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 337 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 330/1469 0/5 DES-PT-20b-ReachabilityFireability-04 141421346 t fired, 3233531 attempts, .
77 EF STEQ 150/1559 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 340/1464 0/5 DES-PT-20b-ReachabilityFireability-01 123734381 t fired, 2559934 attempts, .
95 EF STEQ 340/3263 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 342 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 335/1464 0/5 DES-PT-20b-ReachabilityFireability-04 143546705 t fired, 3282397 attempts, .
77 EF STEQ 155/1554 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 345/1459 0/5 DES-PT-20b-ReachabilityFireability-01 125565240 t fired, 2597984 attempts, .
95 EF STEQ 345/3258 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 347 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 340/1459 0/5 DES-PT-20b-ReachabilityFireability-04 145790150 t fired, 3333635 attempts, .
77 EF STEQ 160/1549 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 350/1454 0/5 DES-PT-20b-ReachabilityFireability-01 127293932 t fired, 2633997 attempts, .
95 EF STEQ 350/3253 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 352 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 345/1454 0/5 DES-PT-20b-ReachabilityFireability-04 148022465 t fired, 3384815 attempts, .
77 EF STEQ 165/1544 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 355/1449 0/5 DES-PT-20b-ReachabilityFireability-01 128922503 t fired, 2667855 attempts, .
95 EF STEQ 355/3248 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 357 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 350/1449 0/5 DES-PT-20b-ReachabilityFireability-04 150068629 t fired, 3431644 attempts, .
77 EF STEQ 170/1539 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 360/1444 0/5 DES-PT-20b-ReachabilityFireability-01 130620228 t fired, 2703217 attempts, .
95 EF STEQ 360/3243 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 362 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 355/1444 0/5 DES-PT-20b-ReachabilityFireability-04 152159625 t fired, 3479717 attempts, .
77 EF STEQ 175/1534 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 365/1439 0/5 DES-PT-20b-ReachabilityFireability-01 132431417 t fired, 2740965 attempts, .
95 EF STEQ 365/3238 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 367 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 360/1439 0/5 DES-PT-20b-ReachabilityFireability-04 154168783 t fired, 3525799 attempts, .
77 EF STEQ 180/1529 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 370/1434 0/5 DES-PT-20b-ReachabilityFireability-01 134141801 t fired, 2776515 attempts, .
95 EF STEQ 370/3233 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 372 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 365/1434 0/5 DES-PT-20b-ReachabilityFireability-04 156167939 t fired, 3571796 attempts, .
77 EF STEQ 185/1524 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 375/1429 0/5 DES-PT-20b-ReachabilityFireability-01 135879614 t fired, 2812640 attempts, .
95 EF STEQ 375/3228 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 377 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 370/1429 0/5 DES-PT-20b-ReachabilityFireability-04 158127224 t fired, 3616469 attempts, .
77 EF STEQ 190/1519 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 380/1424 0/5 DES-PT-20b-ReachabilityFireability-01 137676650 t fired, 2850080 attempts, .
95 EF STEQ 380/3223 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 382 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 375/1424 0/5 DES-PT-20b-ReachabilityFireability-04 160135950 t fired, 3662768 attempts, .
77 EF STEQ 195/1514 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 385/1419 0/5 DES-PT-20b-ReachabilityFireability-01 139436709 t fired, 2886775 attempts, .
95 EF STEQ 385/3218 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 387 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 380/1419 0/5 DES-PT-20b-ReachabilityFireability-04 162425861 t fired, 3715317 attempts, .
77 EF STEQ 200/1509 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 390/1414 0/5 DES-PT-20b-ReachabilityFireability-01 141009345 t fired, 2919513 attempts, .
95 EF STEQ 390/3213 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 392 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 385/1414 0/5 DES-PT-20b-ReachabilityFireability-04 164518491 t fired, 3763314 attempts, .
77 EF STEQ 205/1504 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 395/1409 0/5 DES-PT-20b-ReachabilityFireability-01 142713156 t fired, 2954806 attempts, .
95 EF STEQ 395/3208 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 397 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 390/1409 0/5 DES-PT-20b-ReachabilityFireability-04 166603382 t fired, 3810817 attempts, .
77 EF STEQ 210/1499 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 400/1404 0/5 DES-PT-20b-ReachabilityFireability-01 144491126 t fired, 2991778 attempts, .
95 EF STEQ 400/3203 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 402 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 395/1404 0/5 DES-PT-20b-ReachabilityFireability-04 168737493 t fired, 3859951 attempts, .
77 EF STEQ 215/1494 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 405/1399 0/5 DES-PT-20b-ReachabilityFireability-01 145986769 t fired, 3022876 attempts, .
95 EF STEQ 405/3198 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 407 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 400/1399 0/5 DES-PT-20b-ReachabilityFireability-04 171108319 t fired, 3914717 attempts, .
77 EF STEQ 220/1489 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 410/1394 0/5 DES-PT-20b-ReachabilityFireability-01 147621187 t fired, 3056929 attempts, .
95 EF STEQ 410/3193 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 412 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 405/1394 0/5 DES-PT-20b-ReachabilityFireability-04 173079092 t fired, 3959948 attempts, .
77 EF STEQ 225/1484 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 415/1389 0/5 DES-PT-20b-ReachabilityFireability-01 149391526 t fired, 3093678 attempts, .
95 EF STEQ 415/3188 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 417 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 410/1389 0/5 DES-PT-20b-ReachabilityFireability-04 175137451 t fired, 4007062 attempts, .
77 EF STEQ 230/1479 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 420/1384 0/5 DES-PT-20b-ReachabilityFireability-01 151195945 t fired, 3131281 attempts, .
95 EF STEQ 420/3183 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 422 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 415/1384 0/5 DES-PT-20b-ReachabilityFireability-04 177184898 t fired, 4054056 attempts, .
77 EF STEQ 235/1474 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 425/1379 0/5 DES-PT-20b-ReachabilityFireability-01 152910469 t fired, 3167075 attempts, .
95 EF STEQ 425/3178 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 427 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 420/1379 0/5 DES-PT-20b-ReachabilityFireability-04 179321059 t fired, 4103136 attempts, .
77 EF STEQ 240/1469 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 430/1374 0/5 DES-PT-20b-ReachabilityFireability-01 154664587 t fired, 3203451 attempts, .
95 EF STEQ 430/3173 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 432 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 425/1374 0/5 DES-PT-20b-ReachabilityFireability-04 181380947 t fired, 4150753 attempts, .
77 EF STEQ 245/1464 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 435/1369 0/5 DES-PT-20b-ReachabilityFireability-01 156458474 t fired, 3240573 attempts, .
95 EF STEQ 435/3168 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 437 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 430/1369 0/5 DES-PT-20b-ReachabilityFireability-04 183515322 t fired, 4199532 attempts, .
77 EF STEQ 250/1459 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 440/1364 0/5 DES-PT-20b-ReachabilityFireability-01 158126358 t fired, 3275305 attempts, .
95 EF STEQ 440/3163 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 442 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 435/1364 0/5 DES-PT-20b-ReachabilityFireability-04 185801310 t fired, 4252075 attempts, .
77 EF STEQ 255/1454 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 445/1359 0/5 DES-PT-20b-ReachabilityFireability-01 159688533 t fired, 3307810 attempts, .
95 EF STEQ 445/3158 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 447 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 440/1359 0/5 DES-PT-20b-ReachabilityFireability-04 187941078 t fired, 4300948 attempts, .
77 EF STEQ 260/1449 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 450/1354 0/5 DES-PT-20b-ReachabilityFireability-01 161356118 t fired, 3342566 attempts, .
95 EF STEQ 450/3153 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 452 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 445/1354 0/5 DES-PT-20b-ReachabilityFireability-04 190080964 t fired, 4349999 attempts, .
77 EF STEQ 265/1444 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 455/1349 0/5 DES-PT-20b-ReachabilityFireability-01 163167677 t fired, 3380246 attempts, .
95 EF STEQ 455/3148 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 457 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 450/1349 0/5 DES-PT-20b-ReachabilityFireability-04 192229932 t fired, 4399379 attempts, .
77 EF STEQ 270/1439 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 460/1344 0/5 DES-PT-20b-ReachabilityFireability-01 164803248 t fired, 3414373 attempts, .
95 EF STEQ 460/3143 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 462 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 455/1344 0/5 DES-PT-20b-ReachabilityFireability-04 194432126 t fired, 4449979 attempts, .
77 EF STEQ 275/1434 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 465/1339 0/5 DES-PT-20b-ReachabilityFireability-01 166427285 t fired, 3448237 attempts, .
95 EF STEQ 465/3138 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 467 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 460/1339 0/5 DES-PT-20b-ReachabilityFireability-04 196356821 t fired, 4494243 attempts, .
77 EF STEQ 280/1429 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 470/1334 0/5 DES-PT-20b-ReachabilityFireability-01 168264642 t fired, 3486584 attempts, .
95 EF STEQ 470/3133 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 472 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 465/1334 0/5 DES-PT-20b-ReachabilityFireability-04 198309596 t fired, 4538943 attempts, .
77 EF STEQ 285/1424 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 475/1329 0/5 DES-PT-20b-ReachabilityFireability-01 170075875 t fired, 3524469 attempts, .
95 EF STEQ 475/3128 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 477 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 470/1329 0/5 DES-PT-20b-ReachabilityFireability-04 200465655 t fired, 4588504 attempts, .
77 EF STEQ 290/1419 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 480/1324 0/5 DES-PT-20b-ReachabilityFireability-01 171866402 t fired, 3561817 attempts, .
95 EF STEQ 480/3123 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 482 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 475/1324 0/5 DES-PT-20b-ReachabilityFireability-04 202637812 t fired, 4638495 attempts, .
77 EF STEQ 295/1414 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 485/1319 0/5 DES-PT-20b-ReachabilityFireability-01 173598378 t fired, 3597895 attempts, .
95 EF STEQ 485/3118 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 487 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 1 2 0 1 0 2 0
DES-PT-20b-ReachabilityFireability-04: AG 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 480/1319 0/5 DES-PT-20b-ReachabilityFireability-04 204789149 t fired, 4687802 attempts, .
77 EF STEQ 300/1409 0/5 DES-PT-20b-ReachabilityFireability-04 sara is running.
91 EF FNDP 490/1314 0/5 DES-PT-20b-ReachabilityFireability-01 175243106 t fired, 3632242 attempts, .
95 EF STEQ 490/3113 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 492 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 77 (type EQUN) for DES-PT-20b-ReachabilityFireability-04
lola: result : false
lola: CANCELED task # 76 (type FNDP) for DES-PT-20b-ReachabilityFireability-04 (obsolete)
lola: LAUNCH task # 117 (type SRCH) for 3 DES-PT-20b-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 76 (type FNDP) for DES-PT-20b-ReachabilityFireability-04
lola: result : unknown
lola: fired transitions : 204878889
lola: tried executions : 4689854
lola: time used : 480.000000
lola: memory pages used : 0
lola: FINISHED task # 117 (type SRCH) for DES-PT-20b-ReachabilityFireability-01
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-04: AG true state equation
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 495/3598 0/5 DES-PT-20b-ReachabilityFireability-01 178978954 t fired, 3709977 attempts, .
95 EF STEQ 495/3598 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 497 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-04: AG true state equation
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 500/3598 0/5 DES-PT-20b-ReachabilityFireability-01 182810694 t fired, 3789947 attempts, .
95 EF STEQ 500/3598 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 502 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-04: AG true state equation
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 505/3598 0/5 DES-PT-20b-ReachabilityFireability-01 186645231 t fired, 3869835 attempts, .
95 EF STEQ 505/3598 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 507 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-04: AG true state equation
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 510/3598 0/5 DES-PT-20b-ReachabilityFireability-01 190465165 t fired, 3949329 attempts, .
95 EF STEQ 510/3598 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 512 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-04: AG true state equation
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 515/3598 0/5 DES-PT-20b-ReachabilityFireability-01 194293550 t fired, 4029221 attempts, .
95 EF STEQ 515/3598 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 517 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-04: AG true state equation
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 520/3598 0/5 DES-PT-20b-ReachabilityFireability-01 198113867 t fired, 4108809 attempts, .
95 EF STEQ 520/3598 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 522 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-04: AG true state equation
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 525/3598 0/5 DES-PT-20b-ReachabilityFireability-01 201912339 t fired, 4188076 attempts, .
95 EF STEQ 525/3598 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 527 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-04: AG true state equation
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 530/3598 0/5 DES-PT-20b-ReachabilityFireability-01 205680468 t fired, 4266620 attempts, .
95 EF STEQ 530/3598 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 532 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-04: AG true state equation
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 535/3598 0/5 DES-PT-20b-ReachabilityFireability-01 209461730 t fired, 4345595 attempts, .
95 EF STEQ 535/3598 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 537 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-04: AG true state equation
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 540/3598 0/5 DES-PT-20b-ReachabilityFireability-01 213258632 t fired, 4424587 attempts, .
95 EF STEQ 540/3598 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 542 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-04: AG true state equation
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DES-PT-20b-ReachabilityFireability-01: AG 0 0 2 0 2 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
91 EF FNDP 545/3598 0/5 DES-PT-20b-ReachabilityFireability-01 217054115 t fired, 4503679 attempts, .
95 EF STEQ 545/3598 0/5 DES-PT-20b-ReachabilityFireability-01 sara is running.
Time elapsed: 547 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 16
lola: FINISHED task # 95 (type EQUN) for DES-PT-20b-ReachabilityFireability-01
lola: result : false
lola: CANCELED task # 91 (type FNDP) for DES-PT-20b-ReachabilityFireability-01 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DES-PT-20b-ReachabilityFireability-00: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-01: AG true state equation
DES-PT-20b-ReachabilityFireability-02: AG false findpath
DES-PT-20b-ReachabilityFireability-03: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-04: AG true state equation
DES-PT-20b-ReachabilityFireability-05: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-06: AG false findpath
DES-PT-20b-ReachabilityFireability-07: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-08: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-09: AG false tandem / insertion
DES-PT-20b-ReachabilityFireability-10: EF true findpath
DES-PT-20b-ReachabilityFireability-11: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-12: AG false tandem / relaxed
DES-PT-20b-ReachabilityFireability-13: EF true findpath
DES-PT-20b-ReachabilityFireability-14: EF true tandem / relaxed
DES-PT-20b-ReachabilityFireability-15: AG false tandem / relaxed
Time elapsed: 547 secs. Pages in use: 32
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="DES-PT-20b"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is DES-PT-20b, 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 r102-tall-167814476900439"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-20b.tgz
mv DES-PT-20b 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 ;