About the Execution of LoLA for SimpleLoadBal-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1989.735 | 286550.00 | 1059736.00 | 17.60 | FFTFTFFTFFTFFTFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2023-input.r422-tajo-167905976100519.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is SimpleLoadBal-PT-10, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r422-tajo-167905976100519
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 976K
-rw-r--r-- 1 mcc users 8.8K Feb 26 03:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 03:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 03:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 03:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.8K Jan 29 11:41 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 17:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 17:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 03:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 03:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 03:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 03:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 535K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-00
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-01
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-02
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-03
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-04
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-05
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-06
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-07
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-08
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-09
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-10
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-11
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-12
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-13
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-14
FORMULA_NAME SimpleLoadBal-PT-10-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1679227459408
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SimpleLoadBal-PT-10
Not applying reductions.
Model is PT
ReachabilityFireability PT
starting LoLA
BK_INPUT SimpleLoadBal-PT-10
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SimpleLoadBal-PT-10-ReachabilityFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1679227745958
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityFireability.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 19 (type CNST) for 18 SimpleLoadBal-PT-10-ReachabilityFireability-06
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 19 (type CNST) for SimpleLoadBal-PT-10-ReachabilityFireability-06
lola: result : false
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 1 (type CNST) for 0 SimpleLoadBal-PT-10-ReachabilityFireability-00
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 1 (type CNST) for SimpleLoadBal-PT-10-ReachabilityFireability-00
lola: result : false
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 75 (type EXCL) for 33 SimpleLoadBal-PT-10-ReachabilityFireability-11
lola: time limit : 299 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 51 (type FNDP) for 6 SimpleLoadBal-PT-10-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type EQUN) for 6 SimpleLoadBal-PT-10-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 68 (type SRCH) for 6 SimpleLoadBal-PT-10-ReachabilityFireability-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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
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: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: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:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 75 (type EXCL) for SimpleLoadBal-PT-10-ReachabilityFireability-11
lola: result : true
lola: markings : 326
lola: fired transitions : 346
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 129 (type EXCL) for 39 SimpleLoadBal-PT-10-ReachabilityFireability-13
lola: time limit : 276 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 129 (type EXCL) for SimpleLoadBal-PT-10-ReachabilityFireability-13
lola: result : true
lola: markings : 127
lola: fired transitions : 130
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 121 (type EXCL) for 45 SimpleLoadBal-PT-10-ReachabilityFireability-15
lola: time limit : 299 sec
lola: memory limit: 32 pages
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-52.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 121 (type EXCL) for SimpleLoadBal-PT-10-ReachabilityFireability-15
lola: result : true
lola: markings : 27510
lola: fired transitions : 36231
lola: time used : 2.000000
lola: memory pages used : 1
lola: LAUNCH task # 119 (type EXCL) for 12 SimpleLoadBal-PT-10-ReachabilityFireability-04
lola: time limit : 327 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 3 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 5/237 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 214526 t fired, 1 attempts, .
52 EF STEQ 5/237 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
68 EF SRCH 5/255 1/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 187864 m, 37572 m/sec, 318411 t fired, .
119 EF EXCL 3/327 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-04 85688 m, 17137 m/sec, 121601 t fired, .
Time elapsed: 6 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 3 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 10/234 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 439863 t fired, 1 attempts, .
52 EF STEQ 10/234 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
68 EF SRCH 10/252 2/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 388394 m, 40106 m/sec, 796289 t fired, .
119 EF EXCL 8/327 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-04 276497 m, 38161 m/sec, 425333 t fired, .
Time elapsed: 11 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 3 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 15/229 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 661943 t fired, 1 attempts, .
52 EF STEQ 15/229 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
68 EF SRCH 15/247 2/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 578380 m, 37997 m/sec, 1327535 t fired, .
119 EF EXCL 13/327 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-04 477050 m, 40110 m/sec, 942020 t fired, .
Time elapsed: 16 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 3 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 20/224 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 881173 t fired, 1 attempts, .
52 EF STEQ 20/224 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
68 EF SRCH 20/242 3/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 765826 m, 37489 m/sec, 1873524 t fired, .
119 EF EXCL 18/327 3/32 SimpleLoadBal-PT-10-ReachabilityFireability-04 692134 m, 43016 m/sec, 1853243 t fired, .
Time elapsed: 21 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 119 (type EXCL) for SimpleLoadBal-PT-10-ReachabilityFireability-04
lola: result : false
lola: markings : 781484
lola: fired transitions : 2336910
lola: time used : 20.000000
lola: memory pages used : 3
lola: LAUNCH task # 112 (type EXCL) for 30 SimpleLoadBal-PT-10-ReachabilityFireability-10
lola: time limit : 357 sec
lola: memory limit: 32 pages
lola: FINISHED task # 112 (type EXCL) for SimpleLoadBal-PT-10-ReachabilityFireability-10
lola: result : true
lola: markings : 45712
lola: fired transitions : 61962
lola: time used : 1.000000
lola: memory pages used : 1
lola: LAUNCH task # 108 (type EXCL) for 24 SimpleLoadBal-PT-10-ReachabilityFireability-08
lola: time limit : 397 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 3 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 25/276 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 1098919 t fired, 2 attempts, .
52 EF STEQ 25/276 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
68 EF SRCH 25/276 4/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 949982 m, 36831 m/sec, 2434417 t fired, .
108 EF EXCL 2/397 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-08 48644 m, 9728 m/sec, 66218 t fired, .
Time elapsed: 26 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 3 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 30/274 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 1315224 t fired, 2 attempts, .
52 EF STEQ 30/274 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
68 EF SRCH 30/274 4/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 1129032 m, 35810 m/sec, 3028572 t fired, .
108 EF EXCL 7/397 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-08 227080 m, 35687 m/sec, 345250 t fired, .
Time elapsed: 31 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 3 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 35/269 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 1529862 t fired, 2 attempts, .
52 EF STEQ 35/269 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
68 EF SRCH 35/269 5/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 1305229 m, 35239 m/sec, 3654575 t fired, .
108 EF EXCL 12/397 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-08 400021 m, 34588 m/sec, 682600 t fired, .
Time elapsed: 36 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 68 (type SRCH) for SimpleLoadBal-PT-10-ReachabilityFireability-02 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 40/264 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 1744196 t fired, 2 attempts, .
52 EF STEQ 40/264 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
108 EF EXCL 17/397 3/32 SimpleLoadBal-PT-10-ReachabilityFireability-08 594125 m, 38820 m/sec, 1415428 t fired, .
Time elapsed: 41 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 55 (type FNDP) for 21 SimpleLoadBal-PT-10-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 55 (type FNDP) for SimpleLoadBal-PT-10-ReachabilityFireability-07
lola: result : true
lola: fired transitions : 96
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 87 (type FNDP) for 42 SimpleLoadBal-PT-10-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 87 (type FNDP) for SimpleLoadBal-PT-10-ReachabilityFireability-14
lola: result : true
lola: fired transitions : 351
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 53 (type FNDP) for 9 SimpleLoadBal-PT-10-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 108 (type EXCL) for SimpleLoadBal-PT-10-ReachabilityFireability-08
lola: result : false
lola: markings : 781484
lola: fired transitions : 2336910
lola: time used : 21.000000
lola: memory pages used : 3
lola: LAUNCH task # 101 (type EXCL) for 36 SimpleLoadBal-PT-10-ReachabilityFireability-12
lola: time limit : 592 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 45/470 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 1957639 t fired, 2 attempts, .
52 EF STEQ 45/405 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 5/440 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 1542437 t fired, 1542438 attempts, .
101 EF EXCL 1/592 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-12 10863 m, 2172 m/sec, 13861 t fired, .
Time elapsed: 46 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 50/469 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 2170334 t fired, 3 attempts, .
52 EF STEQ 50/404 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 10/439 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 3089710 t fired, 3089712 attempts, .
101 EF EXCL 6/592 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-12 200874 m, 38002 m/sec, 302088 t fired, .
Time elapsed: 51 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 55/464 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 2383020 t fired, 3 attempts, .
52 EF STEQ 55/399 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 15/434 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 4636103 t fired, 4636105 attempts, .
101 EF EXCL 11/592 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-12 388923 m, 37609 m/sec, 648086 t fired, .
Time elapsed: 56 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 60/459 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 2594652 t fired, 3 attempts, .
52 EF STEQ 60/394 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 20/429 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 6184587 t fired, 6184589 attempts, .
101 EF EXCL 16/592 3/32 SimpleLoadBal-PT-10-ReachabilityFireability-12 597372 m, 41689 m/sec, 1430293 t fired, .
Time elapsed: 61 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 101 (type EXCL) for SimpleLoadBal-PT-10-ReachabilityFireability-12
lola: result : false
lola: markings : 781484
lola: fired transitions : 2336910
lola: time used : 20.000000
lola: memory pages used : 3
lola: LAUNCH task # 91 (type EXCL) for 15 SimpleLoadBal-PT-10-ReachabilityFireability-05
lola: time limit : 707 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 65/535 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 2805828 t fired, 3 attempts, .
52 EF STEQ 65/535 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 25/484 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 7733105 t fired, 7733107 attempts, .
91 EF EXCL 1/707 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-05 11849 m, 2369 m/sec, 15176 t fired, .
Time elapsed: 66 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 70/534 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 3016731 t fired, 4 attempts, .
52 EF STEQ 70/534 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 30/483 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 9279126 t fired, 9279127 attempts, .
91 EF EXCL 6/707 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-05 90026 m, 15635 m/sec, 128159 t fired, .
Time elapsed: 71 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 75/529 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 3207112 t fired, 4 attempts, .
52 EF STEQ 75/529 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 35/478 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 10690649 t fired, 10690651 attempts, .
91 EF EXCL 11/707 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-05 169486 m, 15892 m/sec, 251036 t fired, .
Time elapsed: 76 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 80/524 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 3395745 t fired, 4 attempts, .
52 EF STEQ 80/524 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 40/473 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 12139605 t fired, 12139607 attempts, .
91 EF EXCL 16/707 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-05 246621 m, 15427 m/sec, 376105 t fired, .
Time elapsed: 81 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 85/519 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 3580707 t fired, 4 attempts, .
52 EF STEQ 85/519 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 45/468 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 13687199 t fired, 13687201 attempts, .
91 EF EXCL 21/707 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-05 317374 m, 14150 m/sec, 496111 t fired, .
Time elapsed: 86 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 90/514 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 3763073 t fired, 4 attempts, .
52 EF STEQ 90/514 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 50/463 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 15055891 t fired, 15055892 attempts, .
91 EF EXCL 26/707 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-05 398265 m, 16178 m/sec, 677006 t fired, .
Time elapsed: 91 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 95/509 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 3947910 t fired, 4 attempts, .
52 EF STEQ 95/509 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 55/458 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 16526168 t fired, 16526170 attempts, .
91 EF EXCL 31/707 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-05 487142 m, 17775 m/sec, 978482 t fired, .
Time elapsed: 96 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 100/504 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 4133962 t fired, 5 attempts, .
52 EF STEQ 100/504 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 60/453 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 18041816 t fired, 18041818 attempts, .
91 EF EXCL 36/707 3/32 SimpleLoadBal-PT-10-ReachabilityFireability-05 574591 m, 17489 m/sec, 1334198 t fired, .
Time elapsed: 101 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 105/499 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 4334771 t fired, 5 attempts, .
52 EF STEQ 105/499 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 65/448 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 19589787 t fired, 19589789 attempts, .
91 EF EXCL 41/707 3/32 SimpleLoadBal-PT-10-ReachabilityFireability-05 671762 m, 19434 m/sec, 1755866 t fired, .
Time elapsed: 106 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 110/494 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 4544199 t fired, 5 attempts, .
52 EF STEQ 110/494 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 70/443 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 21136381 t fired, 21136382 attempts, .
91 EF EXCL 46/707 3/32 SimpleLoadBal-PT-10-ReachabilityFireability-05 770031 m, 19653 m/sec, 2261864 t fired, .
Time elapsed: 111 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 91 (type EXCL) for SimpleLoadBal-PT-10-ReachabilityFireability-05
lola: result : false
lola: markings : 781484
lola: fired transitions : 2336910
lola: time used : 46.000000
lola: memory pages used : 3
lola: LAUNCH task # 89 (type EXCL) for 27 SimpleLoadBal-PT-10-ReachabilityFireability-09
lola: time limit : 872 sec
lola: memory limit: 32 pages
lola: FINISHED task # 89 (type EXCL) for SimpleLoadBal-PT-10-ReachabilityFireability-09
lola: result : true
lola: markings : 43320
lola: fired transitions : 58524
lola: time used : 2.000000
lola: memory pages used : 1
lola: LAUNCH task # 136 (type EXCL) for 3 SimpleLoadBal-PT-10-ReachabilityFireability-01
lola: time limit : 1162 sec
lola: memory limit: 32 pages
lola: FINISHED task # 136 (type EXCL) for SimpleLoadBal-PT-10-ReachabilityFireability-01
lola: result : true
lola: markings : 2159
lola: fired transitions : 2453
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 77 (type EXCL) for 9 SimpleLoadBal-PT-10-ReachabilityFireability-03
lola: time limit : 1743 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 115/1687 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 4754084 t fired, 5 attempts, .
52 EF STEQ 115/1687 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 75/1114 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 22683498 t fired, 22683500 attempts, .
77 EF EXCL 3/1743 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 29715 m, 5943 m/sec, 38154 t fired, .
Time elapsed: 116 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 120/1684 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 4963400 t fired, 5 attempts, .
52 EF STEQ 120/1684 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 80/1111 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 24230086 t fired, 24230088 attempts, .
77 EF EXCL 8/1743 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 88678 m, 11792 m/sec, 124962 t fired, .
Time elapsed: 121 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 125/1679 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 5172657 t fired, 6 attempts, .
52 EF STEQ 125/1679 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 85/1106 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 25776890 t fired, 25776892 attempts, .
77 EF EXCL 13/1743 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 147275 m, 11719 m/sec, 214817 t fired, .
Time elapsed: 126 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 130/1674 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 5382086 t fired, 6 attempts, .
52 EF STEQ 130/1674 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 90/1101 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 27330654 t fired, 27330653 attempts, .
77 EF EXCL 18/1743 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 205015 m, 11548 m/sec, 307510 t fired, .
Time elapsed: 131 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 135/1669 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 5591158 t fired, 6 attempts, .
52 EF STEQ 135/1669 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 95/1096 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 28880626 t fired, 28880628 attempts, .
77 EF EXCL 23/1743 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 262021 m, 11401 m/sec, 402320 t fired, .
Time elapsed: 136 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 140/1664 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 5800455 t fired, 6 attempts, .
52 EF STEQ 140/1664 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 100/1091 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 30428392 t fired, 30428394 attempts, .
77 EF EXCL 28/1743 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 319470 m, 11489 m/sec, 497725 t fired, .
Time elapsed: 141 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 145/1659 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 6009591 t fired, 7 attempts, .
52 EF STEQ 145/1659 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 105/1086 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 31974736 t fired, 31974738 attempts, .
77 EF EXCL 33/1743 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 375394 m, 11184 m/sec, 591792 t fired, .
Time elapsed: 146 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 150/1654 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 6219739 t fired, 7 attempts, .
52 EF STEQ 150/1654 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 110/1081 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 33521517 t fired, 33521519 attempts, .
77 EF EXCL 38/1743 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 433915 m, 11704 m/sec, 691663 t fired, .
Time elapsed: 151 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 155/1649 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 6429700 t fired, 7 attempts, .
52 EF STEQ 155/1649 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 115/1076 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 35069169 t fired, 35069171 attempts, .
77 EF EXCL 43/1743 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 493459 m, 11908 m/sec, 800865 t fired, .
Time elapsed: 156 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 160/1644 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 6638964 t fired, 7 attempts, .
52 EF STEQ 160/1644 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 120/1071 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 36618963 t fired, 36618965 attempts, .
77 EF EXCL 48/1743 3/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 552147 m, 11737 m/sec, 914691 t fired, .
Time elapsed: 161 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 165/1639 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 6847735 t fired, 7 attempts, .
52 EF STEQ 165/1639 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 125/1066 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 38166831 t fired, 38166833 attempts, .
77 EF EXCL 53/1743 3/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 617409 m, 13052 m/sec, 1084945 t fired, .
Time elapsed: 166 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 170/1634 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 7057236 t fired, 8 attempts, .
52 EF STEQ 170/1634 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 130/1061 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 39716846 t fired, 39716848 attempts, .
77 EF EXCL 58/1743 3/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 687081 m, 13934 m/sec, 1324231 t fired, .
Time elapsed: 171 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 175/1629 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 7266661 t fired, 8 attempts, .
52 EF STEQ 175/1629 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 135/1056 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 41265810 t fired, 41265812 attempts, .
77 EF EXCL 63/1743 3/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 755555 m, 13694 m/sec, 1581698 t fired, .
Time elapsed: 176 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 180/1624 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 7476465 t fired, 8 attempts, .
52 EF STEQ 180/1624 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 140/1051 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 42813562 t fired, 42813564 attempts, .
77 EF EXCL 68/1743 4/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 823449 m, 13578 m/sec, 1864212 t fired, .
Time elapsed: 181 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 185/1619 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 7686091 t fired, 8 attempts, .
52 EF STEQ 185/1619 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 145/1046 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 44360891 t fired, 44360893 attempts, .
77 EF EXCL 73/1743 4/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 888642 m, 13038 m/sec, 2144333 t fired, .
Time elapsed: 186 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 190/1614 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 7895645 t fired, 8 attempts, .
52 EF STEQ 190/1614 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 150/1041 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 45909821 t fired, 45909823 attempts, .
77 EF EXCL 78/1743 4/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 949571 m, 12185 m/sec, 2419462 t fired, .
Time elapsed: 191 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 195/1609 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 8105673 t fired, 9 attempts, .
52 EF STEQ 195/1609 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 155/1036 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 47459514 t fired, 47459515 attempts, .
77 EF EXCL 83/1743 4/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 1012330 m, 12551 m/sec, 2717835 t fired, .
Time elapsed: 196 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 2 2 0 1 0 1 0
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 200/1604 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 8315608 t fired, 9 attempts, .
52 EF STEQ 200/1604 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
53 EF FNDP 160/1031 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-03 49008917 t fired, 49008919 attempts, .
77 EF EXCL 88/1743 5/32 SimpleLoadBal-PT-10-ReachabilityFireability-03 1079213 m, 13376 m/sec, 3041611 t fired, .
Time elapsed: 201 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 77 (type EXCL) for SimpleLoadBal-PT-10-ReachabilityFireability-03
lola: result : false
lola: markings : 1116545
lola: fired transitions : 3251813
lola: time used : 91.000000
lola: memory pages used : 5
lola: CANCELED task # 53 (type FNDP) for SimpleLoadBal-PT-10-ReachabilityFireability-03 (obsolete)
lola: LAUNCH task # 69 (type EXCL) for 6 SimpleLoadBal-PT-10-ReachabilityFireability-02
lola: time limit : 3396 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 78 (type SRCH) for 6 SimpleLoadBal-PT-10-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 53 (type FNDP) for SimpleLoadBal-PT-10-ReachabilityFireability-03
lola: result : unknown
lola: fired transitions : 49907073
lola: tried executions : 49907074
lola: time used : 163.000000
lola: memory pages used : 0
lola: FINISHED task # 78 (type SRCH) for SimpleLoadBal-PT-10-ReachabilityFireability-02
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 205/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 8525512 t fired, 9 attempts, .
52 EF STEQ 205/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 2/3396 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 31072 m, 6214 m/sec, 40423 t fired, .
Time elapsed: 206 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 210/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 8735318 t fired, 9 attempts, .
52 EF STEQ 210/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 7/3396 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 106711 m, 15127 m/sec, 151671 t fired, .
Time elapsed: 211 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 215/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 8912276 t fired, 9 attempts, .
52 EF STEQ 215/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 12/3396 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 179892 m, 14636 m/sec, 269292 t fired, .
Time elapsed: 216 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 220/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 9120143 t fired, 10 attempts, .
52 EF STEQ 220/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 17/3396 1/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 252014 m, 14424 m/sec, 390751 t fired, .
Time elapsed: 221 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 225/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 9328160 t fired, 10 attempts, .
52 EF STEQ 225/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 22/3396 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 324041 m, 14405 m/sec, 511826 t fired, .
Time elapsed: 226 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 230/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 9536077 t fired, 10 attempts, .
52 EF STEQ 230/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 27/3396 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 394330 m, 14057 m/sec, 635256 t fired, .
Time elapsed: 231 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 235/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 9744384 t fired, 10 attempts, .
52 EF STEQ 235/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 32/3396 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 458687 m, 12871 m/sec, 752699 t fired, .
Time elapsed: 236 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 240/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 9952239 t fired, 10 attempts, .
52 EF STEQ 240/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 37/3396 2/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 524036 m, 13069 m/sec, 880030 t fired, .
Time elapsed: 241 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 245/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 10159547 t fired, 11 attempts, .
52 EF STEQ 245/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 42/3396 3/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 594589 m, 14110 m/sec, 1061203 t fired, .
Time elapsed: 246 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 250/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 10366989 t fired, 11 attempts, .
52 EF STEQ 250/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 47/3396 3/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 678730 m, 16828 m/sec, 1342626 t fired, .
Time elapsed: 251 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 255/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 10575469 t fired, 11 attempts, .
52 EF STEQ 255/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 52/3396 3/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 766937 m, 17641 m/sec, 1647763 t fired, .
Time elapsed: 256 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 260/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 10783716 t fired, 11 attempts, .
52 EF STEQ 260/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 57/3396 4/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 862292 m, 19071 m/sec, 1983849 t fired, .
Time elapsed: 261 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 265/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 10992076 t fired, 11 attempts, .
52 EF STEQ 265/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 62/3396 4/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 959566 m, 19454 m/sec, 2323971 t fired, .
Time elapsed: 266 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 270/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 11189909 t fired, 12 attempts, .
52 EF STEQ 270/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 67/3396 4/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 1052203 m, 18527 m/sec, 2656014 t fired, .
Time elapsed: 271 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 275/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 11387899 t fired, 12 attempts, .
52 EF STEQ 275/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 72/3396 5/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 1141451 m, 17849 m/sec, 2996246 t fired, .
Time elapsed: 276 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 280/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 11580830 t fired, 12 attempts, .
52 EF STEQ 280/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 77/3396 5/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 1233551 m, 18420 m/sec, 3365628 t fired, .
Time elapsed: 281 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 285/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 11788885 t fired, 12 attempts, .
52 EF STEQ 285/3599 0/5 SimpleLoadBal-PT-10-ReachabilityFireability-02 sara is running.
69 EF EXCL 82/3396 6/32 SimpleLoadBal-PT-10-ReachabilityFireability-02 1328498 m, 18989 m/sec, 3737880 t fired, .
Time elapsed: 286 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
lola: FINISHED task # 69 (type EXCL) for SimpleLoadBal-PT-10-ReachabilityFireability-02
lola: result : false
lola: markings : 1343164
lola: fired transitions : 3815794
lola: time used : 82.000000
lola: memory pages used : 6
lola: CANCELED task # 51 (type FNDP) for SimpleLoadBal-PT-10-ReachabilityFireability-02 (obsolete)
lola: CANCELED task # 52 (type EQUN) for SimpleLoadBal-PT-10-ReachabilityFireability-02 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
SimpleLoadBal-PT-10-ReachabilityFireability-00: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-01: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-02: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-03: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-04: AG true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-05: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-06: INITIAL false preprocessing
SimpleLoadBal-PT-10-ReachabilityFireability-07: EF true findpath
SimpleLoadBal-PT-10-ReachabilityFireability-08: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-09: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-10: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-11: AG false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-12: EF false tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-13: EF true tandem / relaxed
SimpleLoadBal-PT-10-ReachabilityFireability-14: AG false findpath
SimpleLoadBal-PT-10-ReachabilityFireability-15: EF true tandem / relaxed
Time elapsed: 286 secs. Pages in use: 8
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="SimpleLoadBal-PT-10"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is SimpleLoadBal-PT-10, 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 r422-tajo-167905976100519"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SimpleLoadBal-PT-10.tgz
mv SimpleLoadBal-PT-10 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 ;