About the Execution of 2023-gold for ASLink-PT-01a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3107.903 | 621766.00 | 2010330.00 | 964.60 | FFFFFFFFFTTFTFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r021-smll-171620127700010.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool gold2023
Input is ASLink-PT-01a, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r021-smll-171620127700010
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 684K
-rw-r--r-- 1 mcc users 6.2K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K Apr 22 14:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 22 14:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 19 07:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 19 17:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 11 18:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 130K Apr 11 18:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Apr 11 18:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Apr 11 18:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 22 14:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 201K May 18 16:42 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 ASLink-PT-01a-ReachabilityFireability-2024-00
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-01
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-02
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-03
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-04
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-05
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-06
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-07
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-08
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-09
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-10
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-11
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-12
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-13
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-14
FORMULA_NAME ASLink-PT-01a-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1716364296550
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=gold2023
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-01a
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-22 07:51:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2024-05-22 07:51:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-22 07:51:39] [INFO ] Load time of PNML (sax parser for PT used): 142 ms
[2024-05-22 07:51:39] [INFO ] Transformed 431 places.
[2024-05-22 07:51:39] [INFO ] Transformed 735 transitions.
[2024-05-22 07:51:39] [INFO ] Found NUPN structural information;
[2024-05-22 07:51:39] [INFO ] Parsed PT model containing 431 places and 735 transitions and 2801 arcs in 261 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 20 ms.
Working with output stream class java.io.PrintStream
Ensure Unique test removed 7 transitions
Reduce redundant transitions removed 7 transitions.
Incomplete random walk after 10000 steps, including 184 resets, run finished after 680 ms. (steps per millisecond=14 ) properties (out of 16) seen :3
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10000 steps, including 79 resets, run finished after 146 ms. (steps per millisecond=68 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 75 resets, run finished after 127 ms. (steps per millisecond=78 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10000 steps, including 70 resets, run finished after 153 ms. (steps per millisecond=65 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10000 steps, including 67 resets, run finished after 189 ms. (steps per millisecond=52 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10000 steps, including 92 resets, run finished after 163 ms. (steps per millisecond=61 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 79 resets, run finished after 119 ms. (steps per millisecond=84 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 72 resets, run finished after 140 ms. (steps per millisecond=71 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10000 steps, including 63 resets, run finished after 131 ms. (steps per millisecond=76 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 80 resets, run finished after 141 ms. (steps per millisecond=70 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10000 steps, including 64 resets, run finished after 111 ms. (steps per millisecond=90 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 79 resets, run finished after 74 ms. (steps per millisecond=135 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 75 resets, run finished after 101 ms. (steps per millisecond=99 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 10001 steps, including 106 resets, run finished after 144 ms. (steps per millisecond=69 ) properties (out of 13) seen :0
Running SMT prover for 13 properties.
// Phase 1: matrix 728 rows 431 cols
[2024-05-22 07:51:41] [INFO ] Computed 80 invariants in 47 ms
[2024-05-22 07:51:42] [INFO ] After 576ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:13
[2024-05-22 07:51:43] [INFO ] [Nat]Absence check using 19 positive place invariants in 12 ms returned sat
[2024-05-22 07:51:43] [INFO ] [Nat]Absence check using 19 positive and 61 generalized place invariants in 30 ms returned sat
[2024-05-22 07:52:07] [INFO ] After 25010ms SMT Verify possible using all constraints in natural domain returned unsat :11 sat :0
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-14 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-13 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-11 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-10 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-09 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-08 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-05 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-04 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-03 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-02 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-00 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 13 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 51 out of 431 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 431/431 places, 728/728 transitions.
Ensure Unique test removed 4 places
Discarding 2 places :
Implicit places reduction removed 2 places
Drop transitions removed 27 transitions
Trivial Post-agglo rules discarded 27 transitions
Performed 27 trivial Post agglomeration. Transition count delta: 27
Iterating post reduction 0 with 33 rules applied. Total rules applied 33 place count 425 transition count 701
Reduce places removed 27 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 29 rules applied. Total rules applied 62 place count 398 transition count 699
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 64 place count 396 transition count 699
Performed 25 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 25 Pre rules applied. Total rules applied 64 place count 396 transition count 674
Deduced a syphon composed of 25 places in 3 ms
Ensure Unique test removed 8 places
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 3 with 58 rules applied. Total rules applied 122 place count 363 transition count 674
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 3 with 1 rules applied. Total rules applied 123 place count 363 transition count 673
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 124 place count 362 transition count 673
Discarding 3 places :
Symmetric choice reduction at 5 with 3 rule applications. Total rules 127 place count 359 transition count 665
Ensure Unique test removed 1 places
Iterating global reduction 5 with 4 rules applied. Total rules applied 131 place count 358 transition count 665
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 5 with 5 rules applied. Total rules applied 136 place count 357 transition count 661
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 138 place count 355 transition count 661
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 3 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 7 with 14 rules applied. Total rules applied 152 place count 348 transition count 654
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 7 with 2 rules applied. Total rules applied 154 place count 348 transition count 654
Applied a total of 154 rules in 216 ms. Remains 348 /431 variables (removed 83) and now considering 654/728 (removed 74) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 217 ms. Remains : 348/431 places, 654/728 transitions.
Incomplete random walk after 10000 steps, including 203 resets, run finished after 171 ms. (steps per millisecond=58 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10000 steps, including 80 resets, run finished after 57 ms. (steps per millisecond=175 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10000 steps, including 127 resets, run finished after 72 ms. (steps per millisecond=138 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 310793 steps, run timeout after 3001 ms. (steps per millisecond=103 ) properties seen :{}
Probabilistic random walk after 310793 steps, saw 117920 distinct states, run finished after 3003 ms. (steps per millisecond=103 ) properties seen :0
Running SMT prover for 2 properties.
// Phase 1: matrix 654 rows 348 cols
[2024-05-22 07:52:11] [INFO ] Computed 64 invariants in 27 ms
[2024-05-22 07:52:11] [INFO ] [Real]Absence check using 17 positive place invariants in 7 ms returned sat
[2024-05-22 07:52:11] [INFO ] [Real]Absence check using 17 positive and 47 generalized place invariants in 22 ms returned sat
[2024-05-22 07:52:12] [INFO ] After 470ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2024-05-22 07:52:12] [INFO ] [Nat]Absence check using 17 positive place invariants in 7 ms returned sat
[2024-05-22 07:52:12] [INFO ] [Nat]Absence check using 17 positive and 47 generalized place invariants in 20 ms returned sat
[2024-05-22 07:52:14] [INFO ] After 2506ms SMT Verify possible using all constraints in natural domain returned unsat :2 sat :0
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-15 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-07 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 2 Parikh solutions to 0 different solutions.
Parikh walk visited 0 properties in 0 ms.
All properties solved without resorting to model-checking.
Total runtime 35519 ms.
starting LoLA
BK_INPUT ASLink-PT-01a
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability
spx_run: Lost feasibility 10 times - iter 5767 and 731 nodes.
spx_run: Lost feasibility 10 times - iter 17813 and 2254 nodes.
check_solution: Constraint R1 = 4.57594905623e-317 is above its equality of -1
check_solution: Constraint R507 = 0 is below its lower bound 1
check_solution: Constraint R508 = 0 is below its lower bound 1
Seriously low accuracy found ||*|| = 1 (rel. error 1)
spx_run: Lost feasibility 10 times - iter 5915 and 816 nodes.
spx_run: Lost feasibility 10 times - iter 9985 and 1292 nodes.
spx_run: Lost feasibility 10 times - iter 10479 and 1361 nodes.
spx_run: Lost feasibility 10 times - iter 11692 and 1477 nodes.
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-01a-ReachabilityFireability-2024-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1716364918316
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityFireability.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 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: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 34 (type CNST) for 33 ASLink-PT-01a-ReachabilityFireability-2024-11
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 34 (type CNST) for ASLink-PT-01a-ReachabilityFireability-2024-11
lola: result : false
lola: LAUNCH INITIAL
lola: LAUNCH task # 25 (type CNST) for 24 ASLink-PT-01a-ReachabilityFireability-2024-08
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 25 (type CNST) for ASLink-PT-01a-ReachabilityFireability-2024-08
lola: result : false
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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 53 (type EXCL) for 3 ASLink-PT-01a-ReachabilityFireability-2024-01
lola: time limit : 231 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 49 (type FNDP) for 3 ASLink-PT-01a-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 50 (type EQUN) for 3 ASLink-PT-01a-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type SRCH) for 3 ASLink-PT-01a-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 52 (type SRCH) for ASLink-PT-01a-ReachabilityFireability-2024-01
lola: result : true
lola: markings : 20
lola: fired transitions : 19
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 49 (type FNDP) for ASLink-PT-01a-ReachabilityFireability-2024-01 (obsolete)
lola: CANCELED task # 50 (type EQUN) for ASLink-PT-01a-ReachabilityFireability-2024-01 (obsolete)
lola: CANCELED task # 53 (type EXCL) for ASLink-PT-01a-ReachabilityFireability-2024-01 (obsolete)
lola: LAUNCH task # 59 (type EXCL) for 6 ASLink-PT-01a-ReachabilityFireability-2024-02
lola: time limit : 248 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 55 (type FNDP) for 6 ASLink-PT-01a-ReachabilityFireability-2024-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 56 (type EQUN) for 6 ASLink-PT-01a-ReachabilityFireability-2024-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type SRCH) for 6 ASLink-PT-01a-ReachabilityFireability-2024-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: 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 # 49 (type FNDP) for ASLink-PT-01a-ReachabilityFireability-2024-01
lola: result : true
lola: fired transitions : 18
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-56.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-50.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: place or transition ordering is non-deterministic
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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-02: EF 0 1 4 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-06: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-12: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 5/192 0/5 ASLink-PT-01a-ReachabilityFireability-2024-02 264829 t fired, 6800 attempts, .
56 EF STEQ 5/203 0/5 ASLink-PT-01a-ReachabilityFireability-2024-02 sara is running.
58 EF SRCH 5/203 1/5 ASLink-PT-01a-ReachabilityFireability-2024-02 215908 m, 43181 m/sec, 334377 t fired, .
59 EF EXCL 5/267 1/32 ASLink-PT-01a-ReachabilityFireability-2024-02 226835 m, 45367 m/sec, 243459 t fired, .
Time elapsed: 129 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-02: EF 0 1 4 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-06: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-12: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 10/188 0/5 ASLink-PT-01a-ReachabilityFireability-2024-02 569401 t fired, 15077 attempts, .
56 EF STEQ 10/199 0/5 ASLink-PT-01a-ReachabilityFireability-2024-02 sara is running.
58 EF SRCH 10/199 2/5 ASLink-PT-01a-ReachabilityFireability-2024-02 441150 m, 45048 m/sec, 668561 t fired, .
59 EF EXCL 10/267 2/32 ASLink-PT-01a-ReachabilityFireability-2024-02 407762 m, 36185 m/sec, 448185 t fired, .
Time elapsed: 134 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 59 (type EXCL) for ASLink-PT-01a-ReachabilityFireability-2024-02
lola: result : false
lola: markings : 534231
lola: fired transitions : 592176
lola: time used : 14.000000
lola: memory pages used : 3
lola: CANCELED task # 55 (type FNDP) for ASLink-PT-01a-ReachabilityFireability-2024-02 (obsolete)
lola: CANCELED task # 56 (type EQUN) for ASLink-PT-01a-ReachabilityFireability-2024-02 (obsolete)
lola: CANCELED task # 58 (type SRCH) for ASLink-PT-01a-ReachabilityFireability-2024-02 (obsolete)
lola: LAUNCH task # 71 (type EXCL) for 12 ASLink-PT-01a-ReachabilityFireability-2024-04
lola: time limit : 288 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 105 (type FNDP) for 36 ASLink-PT-01a-ReachabilityFireability-2024-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 106 (type EQUN) for 36 ASLink-PT-01a-ReachabilityFireability-2024-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 110 (type SRCH) for 36 ASLink-PT-01a-ReachabilityFireability-2024-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 71 (type EXCL) for ASLink-PT-01a-ReachabilityFireability-2024-04
lola: result : false
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 96 (type EXCL) for 18 ASLink-PT-01a-ReachabilityFireability-2024-06
lola: time limit : 314 sec
lola: memory limit: 32 pages
lola: FINISHED task # 55 (type FNDP) for ASLink-PT-01a-ReachabilityFireability-2024-02
lola: result : unknown
lola: fired transitions : 760660
lola: tried executions : 20459
lola: time used : 14.000000
lola: memory pages used : 0
lola: FINISHED task # 56 (type EQUN) for ASLink-PT-01a-ReachabilityFireability-2024-02
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 105 (type FNDP) for ASLink-PT-01a-ReachabilityFireability-2024-12
lola: result : true
lola: fired transitions : 11
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 106 (type EQUN) for ASLink-PT-01a-ReachabilityFireability-2024-12 (obsolete)
lola: CANCELED task # 110 (type SRCH) for ASLink-PT-01a-ReachabilityFireability-2024-12 (obsolete)
lola: LAUNCH task # 72 (type FNDP) for 15 ASLink-PT-01a-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 73 (type EQUN) for 15 ASLink-PT-01a-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 76 (type SRCH) for 15 ASLink-PT-01a-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 96 (type EXCL) for ASLink-PT-01a-ReachabilityFireability-2024-06
lola: result : true
lola: markings : 471
lola: fired transitions : 475
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 83 (type EXCL) for 9 ASLink-PT-01a-ReachabilityFireability-2024-03
lola: time limit : 384 sec
lola: memory limit: 32 pages
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-73.sara.
sara: place or transition ordering is non-deterministic
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-106.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-03: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 3 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 1/288 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 56000 t fired, 1084 attempts, .
73 EF STEQ 1/288 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
76 EF SRCH 1/288 1/5 ASLink-PT-01a-ReachabilityFireability-2024-05 46266 m, 9253 m/sec, 73742 t fired, .
83 EF EXCL 1/384 1/32 ASLink-PT-01a-ReachabilityFireability-2024-03 96298 m, 19259 m/sec, 100508 t fired, .
Time elapsed: 139 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-03: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 3 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 6/287 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 255319 t fired, 5758 attempts, .
73 EF STEQ 6/287 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
76 EF SRCH 6/287 1/5 ASLink-PT-01a-ReachabilityFireability-2024-05 203887 m, 31524 m/sec, 334263 t fired, .
83 EF EXCL 6/384 2/32 ASLink-PT-01a-ReachabilityFireability-2024-03 258352 m, 32410 m/sec, 279628 t fired, .
Time elapsed: 144 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-03: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 3 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 11/282 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 455488 t fired, 10630 attempts, .
73 EF STEQ 11/282 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
76 EF SRCH 11/282 2/5 ASLink-PT-01a-ReachabilityFireability-2024-05 379801 m, 35182 m/sec, 619317 t fired, .
83 EF EXCL 11/384 2/32 ASLink-PT-01a-ReachabilityFireability-2024-03 399537 m, 28237 m/sec, 439804 t fired, .
Time elapsed: 149 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-03: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 3 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 16/277 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 645250 t fired, 15123 attempts, .
73 EF STEQ 16/277 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
76 EF SRCH 16/277 3/5 ASLink-PT-01a-ReachabilityFireability-2024-05 551992 m, 34438 m/sec, 912509 t fired, .
83 EF EXCL 16/384 3/32 ASLink-PT-01a-ReachabilityFireability-2024-03 515067 m, 23106 m/sec, 573709 t fired, .
Time elapsed: 154 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 83 (type EXCL) for ASLink-PT-01a-ReachabilityFireability-2024-03
lola: result : false
lola: markings : 565750
lola: fired transitions : 632431
lola: time used : 18.000000
lola: memory pages used : 3
lola: LAUNCH task # 114 (type EXCL) for 21 ASLink-PT-01a-ReachabilityFireability-2024-07
lola: time limit : 430 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 3 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-07: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 21/296 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 832396 t fired, 19735 attempts, .
73 EF STEQ 21/296 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
76 EF SRCH 21/328 3/5 ASLink-PT-01a-ReachabilityFireability-2024-05 725974 m, 34796 m/sec, 1271817 t fired, .
114 EF EXCL 3/430 1/32 ASLink-PT-01a-ReachabilityFireability-2024-07 159326 m, 31865 m/sec, 168348 t fired, .
Time elapsed: 159 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 3 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-07: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 26/293 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 1035699 t fired, 24744 attempts, .
73 EF STEQ 26/293 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
76 EF SRCH 26/325 4/5 ASLink-PT-01a-ReachabilityFireability-2024-05 868262 m, 28457 m/sec, 1544508 t fired, .
114 EF EXCL 8/430 2/32 ASLink-PT-01a-ReachabilityFireability-2024-07 334879 m, 35110 m/sec, 364538 t fired, .
Time elapsed: 164 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 3 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-07: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 31/288 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 1226911 t fired, 29194 attempts, .
73 EF STEQ 31/288 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
76 EF SRCH 31/320 5/5 ASLink-PT-01a-ReachabilityFireability-2024-05 1029660 m, 32279 m/sec, 1884912 t fired, .
114 EF EXCL 13/430 2/32 ASLink-PT-01a-ReachabilityFireability-2024-07 480567 m, 29137 m/sec, 531013 t fired, .
Time elapsed: 169 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 114 (type EXCL) for ASLink-PT-01a-ReachabilityFireability-2024-07
lola: result : false
lola: markings : 534231
lola: fired transitions : 592176
lola: time used : 15.000000
lola: memory pages used : 3
lola: LAUNCH task # 102 (type EXCL) for 39 ASLink-PT-01a-ReachabilityFireability-2024-13
lola: time limit : 489 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 3 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-13: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 36/313 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 1409194 t fired, 33469 attempts, .
73 EF STEQ 36/351 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
76 EF SRCH 36/351 5/5 ASLink-PT-01a-ReachabilityFireability-2024-05 1205299 m, 35127 m/sec, 2300605 t fired, .
102 EF EXCL 3/489 1/32 ASLink-PT-01a-ReachabilityFireability-2024-13 159708 m, 31941 m/sec, 168449 t fired, .
Time elapsed: 174 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 76 (type SRCH) for ASLink-PT-01a-ReachabilityFireability-2024-05 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-13: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 41/310 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 1624091 t fired, 38707 attempts, .
73 EF STEQ 41/348 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
102 EF EXCL 8/489 2/32 ASLink-PT-01a-ReachabilityFireability-2024-13 338526 m, 35763 m/sec, 368862 t fired, .
Time elapsed: 179 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 130 (type FNDP) for 45 ASLink-PT-01a-ReachabilityFireability-2024-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-13: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 46/343 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 1827430 t fired, 43780 attempts, .
73 EF STEQ 46/343 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
102 EF EXCL 13/489 3/32 ASLink-PT-01a-ReachabilityFireability-2024-13 498016 m, 31898 m/sec, 551528 t fired, .
130 EF FNDP 5/380 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 168394 t fired, 3758 attempts, .
Time elapsed: 184 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 102 (type EXCL) for ASLink-PT-01a-ReachabilityFireability-2024-13
lola: result : false
lola: markings : 530559
lola: fired transitions : 588398
lola: time used : 14.000000
lola: memory pages used : 3
lola: LAUNCH task # 89 (type EXCL) for 0 ASLink-PT-01a-ReachabilityFireability-2024-00
lola: time limit : 569 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 51/447 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 2023363 t fired, 48624 attempts, .
73 EF STEQ 51/385 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
89 EF EXCL 4/569 1/32 ASLink-PT-01a-ReachabilityFireability-2024-00 182714 m, 36542 m/sec, 193489 t fired, .
130 EF FNDP 10/421 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 346327 t fired, 7763 attempts, .
Time elapsed: 189 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 56/443 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 2206901 t fired, 52950 attempts, .
73 EF STEQ 56/381 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
89 EF EXCL 9/569 2/32 ASLink-PT-01a-ReachabilityFireability-2024-00 345690 m, 32595 m/sec, 377539 t fired, .
130 EF FNDP 15/417 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 511526 t fired, 11492 attempts, .
Time elapsed: 194 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-00: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 61/438 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 2390826 t fired, 57339 attempts, .
73 EF STEQ 61/376 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
89 EF EXCL 14/569 3/32 ASLink-PT-01a-ReachabilityFireability-2024-00 498471 m, 30556 m/sec, 552065 t fired, .
130 EF FNDP 20/412 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 699791 t fired, 15759 attempts, .
Time elapsed: 199 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 89 (type EXCL) for ASLink-PT-01a-ReachabilityFireability-2024-00
lola: result : false
lola: markings : 530559
lola: fired transitions : 588398
lola: time used : 15.000000
lola: memory pages used : 3
lola: LAUNCH task # 128 (type EXCL) for 30 ASLink-PT-01a-ReachabilityFireability-2024-10
lola: time limit : 680 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 66/515 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 2570217 t fired, 61640 attempts, .
73 EF STEQ 66/515 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 4/680 1/32 ASLink-PT-01a-ReachabilityFireability-2024-10 56200 m, 11240 m/sec, 58265 t fired, .
130 EF FNDP 25/467 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 873001 t fired, 19654 attempts, .
Time elapsed: 204 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 71/511 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 2753791 t fired, 66053 attempts, .
73 EF STEQ 71/511 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 9/680 1/32 ASLink-PT-01a-ReachabilityFireability-2024-10 113988 m, 11557 m/sec, 120087 t fired, .
130 EF FNDP 30/463 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 1044605 t fired, 23581 attempts, .
Time elapsed: 209 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 76/506 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 2933991 t fired, 70380 attempts, .
73 EF STEQ 76/506 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 14/680 1/32 ASLink-PT-01a-ReachabilityFireability-2024-10 178430 m, 12888 m/sec, 188841 t fired, .
130 EF FNDP 35/458 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 1213885 t fired, 27545 attempts, .
Time elapsed: 214 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 81/501 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 3113844 t fired, 74747 attempts, .
73 EF STEQ 81/501 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 19/680 2/32 ASLink-PT-01a-ReachabilityFireability-2024-10 232487 m, 10811 m/sec, 247264 t fired, .
130 EF FNDP 40/453 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 1383430 t fired, 31409 attempts, .
Time elapsed: 219 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 86/496 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 3320384 t fired, 79971 attempts, .
73 EF STEQ 86/496 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 24/680 2/32 ASLink-PT-01a-ReachabilityFireability-2024-10 286346 m, 10771 m/sec, 306216 t fired, .
130 EF FNDP 45/448 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 1557273 t fired, 35331 attempts, .
Time elapsed: 224 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 91/491 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 3498407 t fired, 84328 attempts, .
73 EF STEQ 91/491 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 29/680 2/32 ASLink-PT-01a-ReachabilityFireability-2024-10 348300 m, 12390 m/sec, 374525 t fired, .
130 EF FNDP 50/443 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 1734266 t fired, 39326 attempts, .
Time elapsed: 229 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 96/486 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 3689943 t fired, 88961 attempts, .
73 EF STEQ 96/486 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 34/680 2/32 ASLink-PT-01a-ReachabilityFireability-2024-10 424782 m, 15296 m/sec, 459500 t fired, .
130 EF FNDP 55/438 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 1900551 t fired, 43127 attempts, .
Time elapsed: 234 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 101/481 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 3895049 t fired, 94075 attempts, .
73 EF STEQ 101/481 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 39/680 3/32 ASLink-PT-01a-ReachabilityFireability-2024-10 498602 m, 14764 m/sec, 543817 t fired, .
130 EF FNDP 60/433 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 2070629 t fired, 47130 attempts, .
Time elapsed: 239 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 106/476 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 4086349 t fired, 98600 attempts, .
73 EF STEQ 106/476 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 44/680 3/32 ASLink-PT-01a-ReachabilityFireability-2024-10 582410 m, 16761 m/sec, 638817 t fired, .
130 EF FNDP 65/428 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 2258061 t fired, 51521 attempts, .
Time elapsed: 244 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 111/471 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 4292461 t fired, 103687 attempts, .
73 EF STEQ 111/471 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 49/680 3/32 ASLink-PT-01a-ReachabilityFireability-2024-10 635340 m, 10586 m/sec, 700501 t fired, .
130 EF FNDP 70/423 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 2422851 t fired, 55367 attempts, .
Time elapsed: 249 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 116/466 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 4492456 t fired, 108492 attempts, .
73 EF STEQ 116/466 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 54/680 3/32 ASLink-PT-01a-ReachabilityFireability-2024-10 683570 m, 9646 m/sec, 757983 t fired, .
130 EF FNDP 75/418 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 2596611 t fired, 59303 attempts, .
Time elapsed: 254 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 121/461 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 4685411 t fired, 113289 attempts, .
73 EF STEQ 121/461 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 59/680 4/32 ASLink-PT-01a-ReachabilityFireability-2024-10 735709 m, 10427 m/sec, 818755 t fired, .
130 EF FNDP 80/413 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 2759866 t fired, 63087 attempts, .
Time elapsed: 259 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
sara: warning, failure of lp_solve (at job 8045)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 126/456 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 4878338 t fired, 118205 attempts, .
73 EF STEQ 126/456 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 64/680 4/32 ASLink-PT-01a-ReachabilityFireability-2024-10 787287 m, 10315 m/sec, 878717 t fired, .
130 EF FNDP 85/408 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 2927414 t fired, 67033 attempts, .
Time elapsed: 264 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 131/451 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 5068358 t fired, 122858 attempts, .
73 EF STEQ 131/451 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 69/680 4/32 ASLink-PT-01a-ReachabilityFireability-2024-10 829937 m, 8530 m/sec, 927639 t fired, .
130 EF FNDP 90/403 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 3110029 t fired, 71315 attempts, .
Time elapsed: 269 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 136/446 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 5270371 t fired, 127686 attempts, .
73 EF STEQ 136/446 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 74/680 4/32 ASLink-PT-01a-ReachabilityFireability-2024-10 885480 m, 11108 m/sec, 992756 t fired, .
130 EF FNDP 95/398 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 3282087 t fired, 75270 attempts, .
Time elapsed: 274 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 141/441 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 5441340 t fired, 131747 attempts, .
73 EF STEQ 141/441 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 79/680 5/32 ASLink-PT-01a-ReachabilityFireability-2024-10 936885 m, 10281 m/sec, 1052911 t fired, .
130 EF FNDP 100/393 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 3454284 t fired, 79284 attempts, .
Time elapsed: 279 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 146/436 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 5629817 t fired, 136293 attempts, .
73 EF STEQ 146/436 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 84/680 5/32 ASLink-PT-01a-ReachabilityFireability-2024-10 990410 m, 10705 m/sec, 1115672 t fired, .
130 EF FNDP 105/388 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 3627812 t fired, 83316 attempts, .
Time elapsed: 284 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 151/431 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 5852215 t fired, 141800 attempts, .
73 EF STEQ 151/431 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 89/680 5/32 ASLink-PT-01a-ReachabilityFireability-2024-10 1052171 m, 12352 m/sec, 1188797 t fired, .
130 EF FNDP 110/383 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 3795340 t fired, 87073 attempts, .
Time elapsed: 289 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-10: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 156/426 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 6051280 t fired, 146470 attempts, .
73 EF STEQ 156/426 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
128 EF EXCL 94/680 5/32 ASLink-PT-01a-ReachabilityFireability-2024-10 1089673 m, 7500 m/sec, 1236167 t fired, .
130 EF FNDP 115/378 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 3975617 t fired, 91198 attempts, .
Time elapsed: 294 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 128 (type EXCL) for ASLink-PT-01a-ReachabilityFireability-2024-10
lola: result : false
lola: markings : 1098421
lola: fired transitions : 1246906
lola: time used : 95.000000
lola: memory pages used : 5
lola: LAUNCH task # 65 (type EXCL) for 42 ASLink-PT-01a-ReachabilityFireability-2024-14
lola: time limit : 826 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
65 EF EXCL 4/826 1/32 ASLink-PT-01a-ReachabilityFireability-2024-14 111649 m, 22329 m/sec, 117357 t fired, .
72 EF FNDP 161/535 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 6271688 t fired, 152006 attempts, .
73 EF STEQ 161/535 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 120/568 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 4148123 t fired, 95099 attempts, .
Time elapsed: 299 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
65 EF EXCL 9/826 1/32 ASLink-PT-01a-ReachabilityFireability-2024-14 216106 m, 20891 m/sec, 230801 t fired, .
72 EF FNDP 166/531 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 6455742 t fired, 156512 attempts, .
73 EF STEQ 166/531 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 125/564 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 4333293 t fired, 99306 attempts, .
Time elapsed: 304 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
65 EF EXCL 14/826 2/32 ASLink-PT-01a-ReachabilityFireability-2024-14 291660 m, 15110 m/sec, 316579 t fired, .
72 EF FNDP 171/526 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 6668445 t fired, 161644 attempts, .
73 EF STEQ 171/526 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 130/559 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 4508275 t fired, 103267 attempts, .
Time elapsed: 309 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
65 EF EXCL 19/826 2/32 ASLink-PT-01a-ReachabilityFireability-2024-14 389186 m, 19505 m/sec, 426029 t fired, .
72 EF FNDP 176/521 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 6868782 t fired, 166551 attempts, .
73 EF STEQ 176/521 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 135/554 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 4689112 t fired, 107431 attempts, .
Time elapsed: 314 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-14: EF 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
65 EF EXCL 24/826 2/32 ASLink-PT-01a-ReachabilityFireability-2024-14 481374 m, 18437 m/sec, 532627 t fired, .
72 EF FNDP 181/516 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 7079564 t fired, 171921 attempts, .
73 EF STEQ 181/516 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 140/549 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 4862525 t fired, 111454 attempts, .
Time elapsed: 319 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 65 (type EXCL) for ASLink-PT-01a-ReachabilityFireability-2024-14
lola: result : false
lola: markings : 534120
lola: fired transitions : 593120
lola: time used : 27.000000
lola: memory pages used : 3
lola: LAUNCH task # 121 (type EXCL) for 27 ASLink-PT-01a-ReachabilityFireability-2024-09
lola: time limit : 1092 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 186/970 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 7270439 t fired, 176585 attempts, .
73 EF STEQ 186/681 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
121 EF EXCL 2/1092 1/32 ASLink-PT-01a-ReachabilityFireability-2024-09 40460 m, 8092 m/sec, 41457 t fired, .
130 EF FNDP 145/712 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 5026924 t fired, 115203 attempts, .
Time elapsed: 324 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 191/968 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 7480915 t fired, 181828 attempts, .
73 EF STEQ 191/679 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
121 EF EXCL 7/1092 1/32 ASLink-PT-01a-ReachabilityFireability-2024-09 134201 m, 18748 m/sec, 142649 t fired, .
130 EF FNDP 150/710 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 5194552 t fired, 119095 attempts, .
Time elapsed: 329 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 196/963 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 7688207 t fired, 186889 attempts, .
73 EF STEQ 196/674 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
121 EF EXCL 12/1092 1/32 ASLink-PT-01a-ReachabilityFireability-2024-09 216160 m, 16391 m/sec, 232726 t fired, .
130 EF FNDP 155/705 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 5354970 t fired, 122859 attempts, .
Time elapsed: 334 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 201/958 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 7883482 t fired, 191678 attempts, .
73 EF STEQ 201/669 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
121 EF EXCL 17/1092 2/32 ASLink-PT-01a-ReachabilityFireability-2024-09 295195 m, 15807 m/sec, 321807 t fired, .
130 EF FNDP 160/700 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 5523854 t fired, 126796 attempts, .
Time elapsed: 339 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 206/953 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 8082652 t fired, 196669 attempts, .
73 EF STEQ 206/664 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
121 EF EXCL 22/1092 2/32 ASLink-PT-01a-ReachabilityFireability-2024-09 362392 m, 13439 m/sec, 401907 t fired, .
130 EF FNDP 165/695 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 5699310 t fired, 130870 attempts, .
Time elapsed: 344 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 211/948 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 8288530 t fired, 201785 attempts, .
73 EF STEQ 211/659 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
121 EF EXCL 27/1092 2/32 ASLink-PT-01a-ReachabilityFireability-2024-09 440234 m, 15568 m/sec, 494067 t fired, .
130 EF FNDP 170/690 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 5878074 t fired, 134981 attempts, .
Time elapsed: 349 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 216/943 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 8512024 t fired, 207401 attempts, .
73 EF STEQ 216/654 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
121 EF EXCL 32/1092 3/32 ASLink-PT-01a-ReachabilityFireability-2024-09 535662 m, 19085 m/sec, 605767 t fired, .
130 EF FNDP 175/685 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 6050664 t fired, 138976 attempts, .
Time elapsed: 354 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 221/938 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 8691538 t fired, 211542 attempts, .
73 EF STEQ 221/649 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
121 EF EXCL 37/1092 3/32 ASLink-PT-01a-ReachabilityFireability-2024-09 606225 m, 14112 m/sec, 692134 t fired, .
130 EF FNDP 180/680 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 6223102 t fired, 143039 attempts, .
Time elapsed: 359 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 226/933 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 8901735 t fired, 216560 attempts, .
73 EF STEQ 226/644 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
121 EF EXCL 42/1092 3/32 ASLink-PT-01a-ReachabilityFireability-2024-09 671920 m, 13139 m/sec, 774405 t fired, .
130 EF FNDP 185/675 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 6407253 t fired, 147288 attempts, .
Time elapsed: 364 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-09: AG 0 4 1 0 1 0 0 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 231/928 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 9098389 t fired, 221286 attempts, .
73 EF STEQ 231/639 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
121 EF EXCL 47/1092 4/32 ASLink-PT-01a-ReachabilityFireability-2024-09 740586 m, 13733 m/sec, 863159 t fired, .
130 EF FNDP 190/670 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 6571874 t fired, 151055 attempts, .
Time elapsed: 369 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 121 (type EXCL) for ASLink-PT-01a-ReachabilityFireability-2024-09
lola: result : false
lola: markings : 767881
lola: fired transitions : 903917
lola: time used : 50.000000
lola: memory pages used : 4
lola: LAUNCH task # 134 (type EXCL) for 45 ASLink-PT-01a-ReachabilityFireability-2024-15
lola: time limit : 1614 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 236/1497 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 9283629 t fired, 225575 attempts, .
73 EF STEQ 236/1497 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 195/947 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 6731258 t fired, 154636 attempts, .
134 EF EXCL 2/1614 1/32 ASLink-PT-01a-ReachabilityFireability-2024-15 31788 m, 6357 m/sec, 33254 t fired, .
Time elapsed: 374 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 241/1495 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 9478269 t fired, 230197 attempts, .
73 EF STEQ 241/1495 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 200/945 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 6903311 t fired, 158576 attempts, .
134 EF EXCL 7/1614 1/32 ASLink-PT-01a-ReachabilityFireability-2024-15 95940 m, 12830 m/sec, 103900 t fired, .
Time elapsed: 379 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 246/1490 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 9669481 t fired, 235091 attempts, .
73 EF STEQ 246/1490 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 205/940 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 7077617 t fired, 162582 attempts, .
134 EF EXCL 12/1614 1/32 ASLink-PT-01a-ReachabilityFireability-2024-15 159063 m, 12624 m/sec, 180104 t fired, .
Time elapsed: 384 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 251/1485 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 9865325 t fired, 239999 attempts, .
73 EF STEQ 251/1485 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 210/935 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 7248637 t fired, 166469 attempts, .
134 EF EXCL 17/1614 2/32 ASLink-PT-01a-ReachabilityFireability-2024-15 230192 m, 14225 m/sec, 268350 t fired, .
Time elapsed: 389 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 256/1480 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 10065729 t fired, 244852 attempts, .
73 EF STEQ 256/1480 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 215/930 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 7411456 t fired, 170151 attempts, .
134 EF EXCL 22/1614 2/32 ASLink-PT-01a-ReachabilityFireability-2024-15 308187 m, 15599 m/sec, 366350 t fired, .
Time elapsed: 394 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 261/1475 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 10284914 t fired, 250424 attempts, .
73 EF STEQ 261/1475 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 220/925 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 7573280 t fired, 173778 attempts, .
134 EF EXCL 27/1614 2/32 ASLink-PT-01a-ReachabilityFireability-2024-15 383303 m, 15023 m/sec, 459371 t fired, .
Time elapsed: 399 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 266/1470 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 10482845 t fired, 255416 attempts, .
73 EF STEQ 266/1470 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 225/920 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 7753204 t fired, 177970 attempts, .
134 EF EXCL 32/1614 2/32 ASLink-PT-01a-ReachabilityFireability-2024-15 448162 m, 12971 m/sec, 545508 t fired, .
Time elapsed: 404 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 271/1465 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 10703595 t fired, 261086 attempts, .
73 EF STEQ 271/1465 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 230/915 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 7921649 t fired, 181803 attempts, .
134 EF EXCL 37/1614 3/32 ASLink-PT-01a-ReachabilityFireability-2024-15 510953 m, 12558 m/sec, 626583 t fired, .
Time elapsed: 409 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 276/1460 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 10898730 t fired, 265947 attempts, .
73 EF STEQ 276/1460 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 235/910 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 8095983 t fired, 185875 attempts, .
134 EF EXCL 42/1614 3/32 ASLink-PT-01a-ReachabilityFireability-2024-15 574110 m, 12631 m/sec, 714395 t fired, .
Time elapsed: 414 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 281/1455 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 11085750 t fired, 270541 attempts, .
73 EF STEQ 281/1455 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 240/905 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 8276160 t fired, 190035 attempts, .
134 EF EXCL 47/1614 3/32 ASLink-PT-01a-ReachabilityFireability-2024-15 660560 m, 17290 m/sec, 826126 t fired, .
Time elapsed: 419 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 286/1450 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 11278285 t fired, 275482 attempts, .
73 EF STEQ 286/1450 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 245/900 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 8456832 t fired, 194279 attempts, .
134 EF EXCL 52/1614 4/32 ASLink-PT-01a-ReachabilityFireability-2024-15 734886 m, 14865 m/sec, 925539 t fired, .
Time elapsed: 424 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 291/1445 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 11494814 t fired, 280996 attempts, .
73 EF STEQ 291/1445 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 250/895 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 8634920 t fired, 198439 attempts, .
134 EF EXCL 57/1614 4/32 ASLink-PT-01a-ReachabilityFireability-2024-15 797314 m, 12485 m/sec, 1002642 t fired, .
Time elapsed: 429 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 296/1440 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 11695548 t fired, 285994 attempts, .
73 EF STEQ 296/1440 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 255/890 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 8805929 t fired, 202436 attempts, .
134 EF EXCL 62/1614 4/32 ASLink-PT-01a-ReachabilityFireability-2024-15 867732 m, 14083 m/sec, 1094860 t fired, .
Time elapsed: 434 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 301/1435 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 11909368 t fired, 291370 attempts, .
73 EF STEQ 301/1435 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 260/885 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 8987700 t fired, 206534 attempts, .
134 EF EXCL 67/1614 5/32 ASLink-PT-01a-ReachabilityFireability-2024-15 933500 m, 13153 m/sec, 1178677 t fired, .
Time elapsed: 439 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 306/1430 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 12096756 t fired, 295918 attempts, .
73 EF STEQ 306/1430 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 265/880 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 9154023 t fired, 210269 attempts, .
134 EF EXCL 72/1614 5/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1009284 m, 15156 m/sec, 1277488 t fired, .
Time elapsed: 444 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 311/1425 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 12283819 t fired, 300463 attempts, .
73 EF STEQ 311/1425 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 270/875 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 9323544 t fired, 214190 attempts, .
134 EF EXCL 77/1614 5/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1074155 m, 12974 m/sec, 1363493 t fired, .
Time elapsed: 449 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 316/1420 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 12479101 t fired, 305541 attempts, .
73 EF STEQ 316/1420 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 275/870 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 9500256 t fired, 218194 attempts, .
134 EF EXCL 82/1614 5/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1138514 m, 12871 m/sec, 1450930 t fired, .
Time elapsed: 454 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 321/1415 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 12672472 t fired, 310419 attempts, .
73 EF STEQ 321/1415 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 280/865 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 9669036 t fired, 222084 attempts, .
134 EF EXCL 87/1614 6/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1209650 m, 14227 m/sec, 1547726 t fired, .
Time elapsed: 459 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 326/1410 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 12865619 t fired, 315010 attempts, .
73 EF STEQ 326/1410 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 285/860 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 9831316 t fired, 225881 attempts, .
134 EF EXCL 92/1614 6/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1286865 m, 15443 m/sec, 1649830 t fired, .
Time elapsed: 464 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 331/1405 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 13056570 t fired, 319838 attempts, .
73 EF STEQ 331/1405 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 290/855 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 10003482 t fired, 229836 attempts, .
134 EF EXCL 97/1614 6/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1366848 m, 15996 m/sec, 1755532 t fired, .
Time elapsed: 469 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 336/1400 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 13261578 t fired, 325172 attempts, .
73 EF STEQ 336/1400 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 295/850 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 10174050 t fired, 233812 attempts, .
134 EF EXCL 102/1614 6/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1431533 m, 12937 m/sec, 1843754 t fired, .
Time elapsed: 474 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 341/1395 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 13458050 t fired, 330114 attempts, .
73 EF STEQ 341/1395 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 300/845 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 10344915 t fired, 237749 attempts, .
134 EF EXCL 107/1614 7/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1487864 m, 11266 m/sec, 1919278 t fired, .
Time elapsed: 479 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 346/1390 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 13649703 t fired, 335056 attempts, .
73 EF STEQ 346/1390 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 305/840 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 10519233 t fired, 241742 attempts, .
134 EF EXCL 112/1614 7/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1546787 m, 11784 m/sec, 1998930 t fired, .
Time elapsed: 484 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 351/1385 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 13826740 t fired, 339166 attempts, .
73 EF STEQ 351/1385 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 310/835 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 10702583 t fired, 245918 attempts, .
134 EF EXCL 117/1614 7/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1604539 m, 11550 m/sec, 2076415 t fired, .
Time elapsed: 489 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 356/1380 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 14029664 t fired, 344347 attempts, .
73 EF STEQ 356/1380 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 315/830 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 10880691 t fired, 250138 attempts, .
134 EF EXCL 122/1614 7/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1669309 m, 12954 m/sec, 2164617 t fired, .
Time elapsed: 494 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 361/1375 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 14212188 t fired, 348726 attempts, .
73 EF STEQ 361/1375 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 320/825 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 11054246 t fired, 254064 attempts, .
134 EF EXCL 127/1614 8/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1733337 m, 12805 m/sec, 2254277 t fired, .
Time elapsed: 499 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 366/1370 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 14405213 t fired, 353409 attempts, .
73 EF STEQ 366/1370 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 325/820 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 11241761 t fired, 258381 attempts, .
134 EF EXCL 132/1614 8/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1805749 m, 14482 m/sec, 2357379 t fired, .
Time elapsed: 504 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 371/1365 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 14597882 t fired, 358118 attempts, .
73 EF STEQ 371/1365 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 330/815 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 11409155 t fired, 262243 attempts, .
134 EF EXCL 137/1614 8/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1886265 m, 16103 m/sec, 2466494 t fired, .
Time elapsed: 509 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 2 2 0 1 0 1 0
ASLink-PT-01a-ReachabilityFireability-2024-15: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 376/1360 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 14795943 t fired, 363015 attempts, .
73 EF STEQ 376/1360 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
130 EF FNDP 335/810 0/5 ASLink-PT-01a-ReachabilityFireability-2024-15 11591814 t fired, 266415 attempts, .
134 EF EXCL 142/1614 8/32 ASLink-PT-01a-ReachabilityFireability-2024-15 1945416 m, 11830 m/sec, 2552719 t fired, .
Time elapsed: 514 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 134 (type EXCL) for ASLink-PT-01a-ReachabilityFireability-2024-15
lola: result : false
lola: markings : 2002401
lola: fired transitions : 2636524
lola: time used : 147.000000
lola: memory pages used : 9
lola: CANCELED task # 130 (type FNDP) for ASLink-PT-01a-ReachabilityFireability-2024-15 (obsolete)
lola: LAUNCH task # 77 (type EXCL) for 15 ASLink-PT-01a-ReachabilityFireability-2024-05
lola: time limit : 3081 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 78 (type SRCH) for 15 ASLink-PT-01a-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 130 (type FNDP) for ASLink-PT-01a-ReachabilityFireability-2024-15
lola: result : unknown
lola: fired transitions : 11734180
lola: tried executions : 269763
lola: time used : 340.000000
lola: memory pages used : 0
lola: FINISHED task # 78 (type SRCH) for ASLink-PT-01a-ReachabilityFireability-2024-05
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-15: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 381/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 15007647 t fired, 368423 attempts, .
73 EF STEQ 381/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
77 EF EXCL 0/3081 1/32 ASLink-PT-01a-ReachabilityFireability-2024-05 11449 m, 2289 m/sec, 11574 t fired, .
Time elapsed: 519 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-15: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 386/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 15252062 t fired, 374436 attempts, .
73 EF STEQ 386/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
77 EF EXCL 5/3081 1/32 ASLink-PT-01a-ReachabilityFireability-2024-05 96834 m, 17077 m/sec, 102469 t fired, .
Time elapsed: 524 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-15: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 391/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 15499191 t fired, 380466 attempts, .
73 EF STEQ 391/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
77 EF EXCL 10/3081 1/32 ASLink-PT-01a-ReachabilityFireability-2024-05 174775 m, 15588 m/sec, 190473 t fired, .
Time elapsed: 529 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-15: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 396/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 15720098 t fired, 385677 attempts, .
73 EF STEQ 396/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
77 EF EXCL 15/3081 2/32 ASLink-PT-01a-ReachabilityFireability-2024-05 255778 m, 16200 m/sec, 280161 t fired, .
Time elapsed: 534 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-15: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 401/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 15953419 t fired, 391379 attempts, .
73 EF STEQ 401/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
77 EF EXCL 20/3081 2/32 ASLink-PT-01a-ReachabilityFireability-2024-05 344672 m, 17778 m/sec, 381582 t fired, .
Time elapsed: 539 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-15: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 406/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 16123286 t fired, 395432 attempts, .
73 EF STEQ 406/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
77 EF EXCL 25/3081 2/32 ASLink-PT-01a-ReachabilityFireability-2024-05 415680 m, 14201 m/sec, 463928 t fired, .
Time elapsed: 544 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-15: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 411/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 16308901 t fired, 400296 attempts, .
73 EF STEQ 411/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
77 EF EXCL 30/3081 3/32 ASLink-PT-01a-ReachabilityFireability-2024-05 511786 m, 19221 m/sec, 572343 t fired, .
Time elapsed: 549 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-15: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 416/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 16488590 t fired, 404778 attempts, .
73 EF STEQ 416/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
77 EF EXCL 35/3081 3/32 ASLink-PT-01a-ReachabilityFireability-2024-05 562212 m, 10085 m/sec, 630328 t fired, .
Time elapsed: 554 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-15: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 421/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 16709171 t fired, 410299 attempts, .
73 EF STEQ 421/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
77 EF EXCL 40/3081 3/32 ASLink-PT-01a-ReachabilityFireability-2024-05 628592 m, 13276 m/sec, 707879 t fired, .
Time elapsed: 559 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-15: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 426/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 16921342 t fired, 415704 attempts, .
73 EF STEQ 426/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
77 EF EXCL 45/3081 3/32 ASLink-PT-01a-ReachabilityFireability-2024-05 687972 m, 11876 m/sec, 775897 t fired, .
Time elapsed: 564 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-15: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 431/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 17125056 t fired, 420733 attempts, .
73 EF STEQ 431/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
77 EF EXCL 50/3081 4/32 ASLink-PT-01a-ReachabilityFireability-2024-05 758613 m, 14128 m/sec, 857107 t fired, .
Time elapsed: 569 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-15: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 436/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 17310611 t fired, 425189 attempts, .
73 EF STEQ 436/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
77 EF EXCL 55/3081 4/32 ASLink-PT-01a-ReachabilityFireability-2024-05 811720 m, 10621 m/sec, 918374 t fired, .
Time elapsed: 574 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-15: EF false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ASLink-PT-01a-ReachabilityFireability-2024-05: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
72 EF FNDP 441/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 17482040 t fired, 429331 attempts, .
73 EF STEQ 441/3462 0/5 ASLink-PT-01a-ReachabilityFireability-2024-05 sara is running.
77 EF EXCL 60/3081 4/32 ASLink-PT-01a-ReachabilityFireability-2024-05 884652 m, 14586 m/sec, 1002516 t fired, .
Time elapsed: 579 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
lola: FINISHED task # 77 (type EXCL) for ASLink-PT-01a-ReachabilityFireability-2024-05
lola: result : false
lola: markings : 911847
lola: fired transitions : 1034748
lola: time used : 64.000000
lola: memory pages used : 4
lola: CANCELED task # 72 (type FNDP) for ASLink-PT-01a-ReachabilityFireability-2024-05 (obsolete)
lola: CANCELED task # 73 (type EQUN) for ASLink-PT-01a-ReachabilityFireability-2024-05 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ASLink-PT-01a-ReachabilityFireability-2024-00: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-01: AG false tandem / insertion
ASLink-PT-01a-ReachabilityFireability-2024-02: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-03: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-04: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-05: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-06: AG false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-07: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-08: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-09: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-10: AG true tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-11: INITIAL false preprocessing
ASLink-PT-01a-ReachabilityFireability-2024-12: EF true findpath
ASLink-PT-01a-ReachabilityFireability-2024-13: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-14: EF false tandem / relaxed
ASLink-PT-01a-ReachabilityFireability-2024-15: EF false tandem / relaxed
Time elapsed: 583 secs. Pages in use: 9
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="ASLink-PT-01a"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="gold2023"
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-5568"
echo " Executing tool gold2023"
echo " Input is ASLink-PT-01a, 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 r021-smll-171620127700010"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-01a.tgz
mv ASLink-PT-01a 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 ;