About the Execution of LoLA for BridgeAndVehicles-PT-V80P50N10
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16213.815 | 429534.00 | 1100872.00 | 5031.40 | ??FFF?T?TTFFFFFT | 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.r038-tajo-167813691300303.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 BridgeAndVehicles-PT-V80P50N10, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-tajo-167813691300303
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.5M
-rw-r--r-- 1 mcc users 21K Feb 25 12:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 131K Feb 25 12:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 180K Feb 25 12:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 696K Feb 25 12:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 13K Feb 25 15:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Feb 25 15:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 123K Feb 25 15:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 352K Feb 25 15:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 69K Feb 25 12:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 357K Feb 25 12:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 791K Feb 25 12:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 3.0M Feb 25 12:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 15:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 11K Feb 25 15:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.7M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1678421420703
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=BridgeAndVehicles-PT-V80P50N10
Not applying reductions.
Model is PT
ReachabilityFireability PT
starting LoLA
BK_INPUT BridgeAndVehicles-PT-V80P50N10
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678421850237
--------------------
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
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: 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 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.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: LAUNCH INITIAL
lola: LAUNCH task # 19 (type CNST) for 18 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 34 (type CNST) for 33 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 37 (type CNST) for 36 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 19 (type CNST) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06
lola: result : true
lola: FINISHED task # 34 (type CNST) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11
lola: result : false
lola: LAUNCH INITIAL
lola: LAUNCH task # 31 (type CNST) for 30 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 40 (type CNST) for 39 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 37 (type CNST) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12
lola: result : false
lola: FINISHED task # 31 (type CNST) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10
lola: result : false
lola: FINISHED task # 40 (type CNST) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13
lola: result : false
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 57 (type EXCL) for 3 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01
lola: time limit : 309 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 53 (type FNDP) for 3 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 54 (type EQUN) for 3 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 56 (type SRCH) for 3 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k: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: 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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 5 0 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 0 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 0 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 0 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 2/423 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 --
54 EF STEQ 2/423 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 sara not yet started (preprocessing).
56 EF SRCH 2/423 1/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 --
57 EF EXCL 2/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 --
Time elapsed: 198 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 7/223 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 48975 t fired, 72 attempts, .
54 EF STEQ 7/223 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 sara not yet started (preprocessing).
56 EF SRCH 7/240 1/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 60000 m, 12000 m/sec, 160356 t fired, .
57 EF EXCL 7/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 1571 m, 314 m/sec, 1966 t fired, .
Time elapsed: 203 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 12/219 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 130440 t fired, 190 attempts, .
54 EF STEQ 12/219 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 sara not yet started (preprocessing).
56 EF SRCH 12/236 1/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 155728 m, 19145 m/sec, 418922 t fired, .
57 EF EXCL 12/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 3692 m, 424 m/sec, 5560 t fired, .
Time elapsed: 208 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 17/214 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 218893 t fired, 319 attempts, .
54 EF STEQ 17/214 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 sara not yet started (preprocessing).
56 EF SRCH 17/231 2/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 257743 m, 20403 m/sec, 695110 t fired, .
57 EF EXCL 17/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 5966 m, 454 m/sec, 9328 t fired, .
Time elapsed: 213 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 4 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 22/209 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 308436 t fired, 450 attempts, .
54 EF STEQ 22/209 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 sara not yet started (preprocessing).
56 EF SRCH 22/226 2/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 359178 m, 20287 m/sec, 967753 t fired, .
57 EF EXCL 22/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 8227 m, 452 m/sec, 13078 t fired, .
Time elapsed: 218 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 54 (type EQUN) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01
lola: result : unknown
lola: LAUNCH task # 92 (type FNDP) for 21 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 27/221 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 395433 t fired, 577 attempts, .
56 EF SRCH 27/221 3/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 455399 m, 19244 m/sec, 1229873 t fired, .
57 EF EXCL 27/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 10397 m, 434 m/sec, 16654 t fired, .
92 EF FNDP 5/225 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 76236 t fired, 153 attempts, .
Time elapsed: 223 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 32/216 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 477694 t fired, 698 attempts, .
56 EF SRCH 32/216 3/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 548806 m, 18681 m/sec, 1485444 t fired, .
57 EF EXCL 32/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 12631 m, 446 m/sec, 20359 t fired, .
92 EF FNDP 10/220 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 161335 t fired, 296 attempts, .
Time elapsed: 228 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 37/211 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 560155 t fired, 819 attempts, .
56 EF SRCH 37/211 4/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 633091 m, 16857 m/sec, 1716473 t fired, .
57 EF EXCL 37/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 14885 m, 450 m/sec, 23853 t fired, .
92 EF FNDP 15/215 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 246369 t fired, 430 attempts, .
Time elapsed: 233 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 42/206 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 646853 t fired, 947 attempts, .
56 EF SRCH 42/206 4/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 723194 m, 18020 m/sec, 1962512 t fired, .
57 EF EXCL 42/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 17141 m, 451 m/sec, 27668 t fired, .
92 EF FNDP 20/210 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 329191 t fired, 560 attempts, .
Time elapsed: 238 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 47/201 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 735127 t fired, 1077 attempts, .
56 EF SRCH 47/201 5/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 821869 m, 19735 m/sec, 2232720 t fired, .
57 EF EXCL 47/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 19588 m, 489 m/sec, 31819 t fired, .
92 EF FNDP 25/205 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 416161 t fired, 694 attempts, .
Time elapsed: 243 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 3 0 2 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 52/196 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 823159 t fired, 1207 attempts, .
56 EF SRCH 52/196 5/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 919954 m, 19617 m/sec, 2501206 t fired, .
57 EF EXCL 52/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 22015 m, 485 m/sec, 35965 t fired, .
92 EF FNDP 30/200 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 500226 t fired, 823 attempts, .
Time elapsed: 248 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 56 (type SRCH) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 57/191 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 911495 t fired, 1338 attempts, .
57 EF EXCL 57/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 24428 m, 482 m/sec, 40049 t fired, .
92 EF FNDP 35/195 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 585261 t fired, 953 attempts, .
Time elapsed: 253 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 87 (type FNDP) for 15 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 62/186 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 996790 t fired, 1464 attempts, .
57 EF EXCL 62/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 26790 m, 472 m/sec, 43988 t fired, .
87 EF FNDP 5/239 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 77476 t fired, 170 attempts, .
92 EF FNDP 40/206 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 666400 t fired, 1078 attempts, .
Time elapsed: 258 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 67/181 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 1087031 t fired, 1597 attempts, .
57 EF EXCL 67/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 29262 m, 494 m/sec, 48160 t fired, .
87 EF FNDP 10/234 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 169089 t fired, 351 attempts, .
92 EF FNDP 45/201 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 749610 t fired, 1206 attempts, .
Time elapsed: 263 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 72/176 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 1176793 t fired, 1730 attempts, .
57 EF EXCL 72/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 31735 m, 494 m/sec, 52308 t fired, .
87 EF FNDP 15/229 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 262162 t fired, 524 attempts, .
92 EF FNDP 50/196 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 831968 t fired, 1332 attempts, .
Time elapsed: 268 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 77/171 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 1267028 t fired, 1863 attempts, .
57 EF EXCL 77/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 34182 m, 489 m/sec, 56496 t fired, .
87 EF FNDP 20/224 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 356743 t fired, 696 attempts, .
92 EF FNDP 55/191 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 915120 t fired, 1459 attempts, .
Time elapsed: 273 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 82/166 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 1356831 t fired, 1996 attempts, .
57 EF EXCL 82/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 36642 m, 492 m/sec, 60634 t fired, .
87 EF FNDP 25/219 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 452802 t fired, 860 attempts, .
92 EF FNDP 60/186 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 996291 t fired, 1582 attempts, .
Time elapsed: 278 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 87/161 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 1446139 t fired, 2128 attempts, .
57 EF EXCL 87/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 39084 m, 488 m/sec, 64842 t fired, .
87 EF FNDP 30/214 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 549429 t fired, 1019 attempts, .
92 EF FNDP 65/181 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 1077569 t fired, 1706 attempts, .
Time elapsed: 283 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 92/156 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 1535980 t fired, 2261 attempts, .
57 EF EXCL 92/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 41523 m, 487 m/sec, 68981 t fired, .
87 EF FNDP 35/209 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 647101 t fired, 1175 attempts, .
92 EF FNDP 70/176 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 1158301 t fired, 1828 attempts, .
Time elapsed: 288 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 97/151 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 1624608 t fired, 2392 attempts, .
57 EF EXCL 97/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 43867 m, 468 m/sec, 72943 t fired, .
87 EF FNDP 40/204 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 745609 t fired, 1328 attempts, .
92 EF FNDP 75/171 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 1239577 t fired, 1952 attempts, .
Time elapsed: 293 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 102/146 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 1713712 t fired, 2524 attempts, .
57 EF EXCL 102/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 46259 m, 478 m/sec, 77176 t fired, .
87 EF FNDP 45/199 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 844149 t fired, 1480 attempts, .
92 EF FNDP 80/166 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 1319789 t fired, 2074 attempts, .
Time elapsed: 298 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 107/141 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 1803719 t fired, 2658 attempts, .
57 EF EXCL 107/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 48688 m, 485 m/sec, 81193 t fired, .
87 EF FNDP 50/194 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 943431 t fired, 1631 attempts, .
92 EF FNDP 85/161 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 1400130 t fired, 2196 attempts, .
Time elapsed: 303 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 112/136 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 1893548 t fired, 2791 attempts, .
57 EF EXCL 112/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 51151 m, 492 m/sec, 85601 t fired, .
87 EF FNDP 55/189 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 1043157 t fired, 1783 attempts, .
92 EF FNDP 90/156 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 1479520 t fired, 2317 attempts, .
Time elapsed: 308 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 117/131 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 1982653 t fired, 2922 attempts, .
57 EF EXCL 117/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 53511 m, 472 m/sec, 89356 t fired, .
87 EF FNDP 60/184 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 1143085 t fired, 1937 attempts, .
92 EF FNDP 95/151 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 1559264 t fired, 2437 attempts, .
Time elapsed: 313 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 2 0 2 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
53 EF FNDP 122/126 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 2072009 t fired, 3055 attempts, .
57 EF EXCL 122/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 55927 m, 483 m/sec, 93615 t fired, .
87 EF FNDP 65/179 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 1242298 t fired, 2088 attempts, .
92 EF FNDP 100/146 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 1639973 t fired, 2560 attempts, .
Time elapsed: 318 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 53 (type FNDP) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 2 1 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
57 EF EXCL 127/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 58341 m, 482 m/sec, 97635 t fired, .
87 EF FNDP 70/174 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 1341289 t fired, 2239 attempts, .
92 EF FNDP 105/141 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 1719416 t fired, 2680 attempts, .
Time elapsed: 323 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 48 (type FNDP) for 0 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 53 (type FNDP) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01
lola: result : unknown
lola: fired transitions : 2161089
lola: tried executions : 3188
lola: time used : 127.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 5/234 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 87460 t fired, 214 attempts, .
57 EF EXCL 132/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 60634 m, 458 m/sec, 101481 t fired, .
87 EF FNDP 75/169 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 1438961 t fired, 2388 attempts, .
92 EF FNDP 110/155 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 1796180 t fired, 2796 attempts, .
Time elapsed: 328 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 10/229 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 185045 t fired, 503 attempts, .
57 EF EXCL 137/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 63080 m, 489 m/sec, 105987 t fired, .
87 EF FNDP 80/164 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 1539342 t fired, 2540 attempts, .
92 EF FNDP 115/150 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 1873429 t fired, 2914 attempts, .
Time elapsed: 333 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 15/224 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 280218 t fired, 780 attempts, .
57 EF EXCL 142/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 65461 m, 476 m/sec, 109734 t fired, .
87 EF FNDP 85/159 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 1640109 t fired, 2694 attempts, .
92 EF FNDP 120/145 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 1950839 t fired, 3031 attempts, .
Time elapsed: 338 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 20/219 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 377614 t fired, 1078 attempts, .
57 EF EXCL 147/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 67853 m, 478 m/sec, 113925 t fired, .
87 EF FNDP 90/154 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 1739979 t fired, 2845 attempts, .
92 EF FNDP 125/140 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 2027720 t fired, 3147 attempts, .
Time elapsed: 343 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 25/214 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 475043 t fired, 1379 attempts, .
57 EF EXCL 152/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 70325 m, 494 m/sec, 118108 t fired, .
87 EF FNDP 95/149 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 1840260 t fired, 2997 attempts, .
92 EF FNDP 130/135 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 2104238 t fired, 3263 attempts, .
Time elapsed: 348 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 92 (type FNDP) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 4 0 0 1 1 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 30/209 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 572918 t fired, 1675 attempts, .
57 EF EXCL 157/309 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 72702 m, 475 m/sec, 122093 t fired, .
87 EF FNDP 100/144 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 1939339 t fired, 3148 attempts, .
Time elapsed: 353 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 81 (type FNDP) for 12 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 92 (type FNDP) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07
lola: result : unknown
lola: fired transitions : 2180601
lola: tried executions : 3380
lola: time used : 135.000000
lola: memory pages used : 0
lola: FINISHED task # 81 (type FNDP) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04
lola: result : true
lola: fired transitions : 79
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 61 (type FNDP) for 6 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 61 (type FNDP) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02
lola: result : true
lola: fired transitions : 79
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 68 (type FNDP) for 9 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 68 (type FNDP) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03
lola: result : true
lola: fired transitions : 79
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 100 (type FNDP) for 42 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 100 (type FNDP) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14
lola: result : true
lola: fired transitions : 1125
lola: tried executions : 4
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 74 (type FNDP) for 24 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 74 (type FNDP) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08
lola: result : true
lola: fired transitions : 29
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
lola: LAUNCH task # 106 (type FNDP) for 27 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 106 (type FNDP) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09
lola: result : true
lola: fired transitions : 5327
lola: tried executions : 29
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 112 (type FNDP) for 45 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 112 (type FNDP) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15
lola: result : true
lola: fired transitions : 520
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 94 (type EQUN) for 21 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 35/788 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 644567 t fired, 1900 attempts, .
57 EF EXCL 162/851 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 74391 m, 337 m/sec, 125086 t fired, .
87 EF FNDP 105/735 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 2009461 t fired, 3255 attempts, .
94 EF STEQ 4/811 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 358 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 94 (type EQUN) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07
lola: result : unknown
lola: LAUNCH task # 96 (type SRCH) for 21 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 2 1 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 40/779 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 724330 t fired, 2145 attempts, .
57 EF EXCL 167/851 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 76019 m, 325 m/sec, 128097 t fired, .
87 EF FNDP 110/1005 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 2094824 t fired, 3385 attempts, .
96 EF SRCH 0/809 1/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 4718 m, 943 m/sec, 11838 t fired, .
Time elapsed: 363 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 2 1 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 45/779 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 818993 t fired, 2435 attempts, .
57 EF EXCL 172/851 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 78436 m, 483 m/sec, 131894 t fired, .
87 EF FNDP 115/1005 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 2193414 t fired, 3534 attempts, .
96 EF SRCH 5/809 1/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 97482 m, 18552 m/sec, 263788 t fired, .
Time elapsed: 368 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 2 1 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 50/774 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 913099 t fired, 2731 attempts, .
57 EF EXCL 177/851 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 80857 m, 484 m/sec, 136092 t fired, .
87 EF FNDP 120/1000 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 2289525 t fired, 3680 attempts, .
96 EF SRCH 10/804 2/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 200891 m, 20681 m/sec, 546607 t fired, .
Time elapsed: 373 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 2 1 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 55/769 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 1006146 t fired, 3030 attempts, .
57 EF EXCL 182/851 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 83239 m, 476 m/sec, 140352 t fired, .
87 EF FNDP 125/995 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 2386910 t fired, 3829 attempts, .
96 EF SRCH 15/799 2/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 301463 m, 20114 m/sec, 820988 t fired, .
Time elapsed: 378 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 2 1 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 60/764 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 1100052 t fired, 3330 attempts, .
57 EF EXCL 187/851 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 85641 m, 480 m/sec, 144175 t fired, .
87 EF FNDP 130/990 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 2484883 t fired, 3978 attempts, .
96 EF SRCH 20/794 3/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 408304 m, 21368 m/sec, 1112255 t fired, .
Time elapsed: 383 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 2 1 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 65/759 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 1194555 t fired, 3633 attempts, .
57 EF EXCL 192/851 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 88070 m, 485 m/sec, 148434 t fired, .
87 EF FNDP 135/985 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 2583311 t fired, 4128 attempts, .
96 EF SRCH 25/789 3/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 510675 m, 20474 m/sec, 1391872 t fired, .
Time elapsed: 388 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 2 1 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 70/754 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 1289119 t fired, 3942 attempts, .
57 EF EXCL 197/851 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 90471 m, 480 m/sec, 152656 t fired, .
87 EF FNDP 140/980 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 2680806 t fired, 4276 attempts, .
96 EF SRCH 30/784 4/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 610148 m, 19894 m/sec, 1663739 t fired, .
Time elapsed: 393 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 2 1 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 75/749 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 1370954 t fired, 4209 attempts, .
57 EF EXCL 202/851 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 92603 m, 426 m/sec, 156082 t fired, .
87 EF FNDP 145/975 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 2768016 t fired, 4408 attempts, .
96 EF SRCH 35/779 4/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 699990 m, 17968 m/sec, 1908947 t fired, .
Time elapsed: 398 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 2 1 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 80/744 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 1457162 t fired, 4494 attempts, .
57 EF EXCL 207/851 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 94820 m, 443 m/sec, 159896 t fired, .
87 EF FNDP 150/970 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 2862278 t fired, 4552 attempts, .
96 EF SRCH 40/774 4/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 799715 m, 19945 m/sec, 2181185 t fired, .
Time elapsed: 403 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 2 1 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 85/739 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 1549719 t fired, 4804 attempts, .
57 EF EXCL 212/851 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 97179 m, 471 m/sec, 164210 t fired, .
87 EF FNDP 155/965 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 2961905 t fired, 4704 attempts, .
96 EF SRCH 45/769 5/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 898857 m, 19828 m/sec, 2452444 t fired, .
Time elapsed: 408 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 2 1 0 3 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 90/734 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 1643191 t fired, 5121 attempts, .
57 EF EXCL 217/851 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 99550 m, 474 m/sec, 168023 t fired, .
87 EF FNDP 160/960 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 3059910 t fired, 4852 attempts, .
96 EF SRCH 50/764 5/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 996003 m, 19429 m/sec, 2717968 t fired, .
Time elapsed: 413 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 96 (type SRCH) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 2 0 0 3 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 95/729 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 1731616 t fired, 5416 attempts, .
57 EF EXCL 222/851 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 101997 m, 489 m/sec, 172087 t fired, .
87 EF FNDP 165/955 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 3158388 t fired, 5002 attempts, .
Time elapsed: 418 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 98 (type SRCH) for 21 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 98 (type SRCH) for BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07
lola: result : unknown
lola: time used : 1.000000
lola: memory pages used : 1
lola: LAUNCH task # 88 (type EQUN) for 15 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-02: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-03: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-04: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-06: INITIAL true preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-08: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-09: EF true findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-10: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-11: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-12: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-13: INITIAL false preprocessing
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-14: AG false findpath
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-15: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01: EF 0 1 1 0 3 0 1 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05: EF 0 3 2 0 1 0 0 0
BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-07: EF 0 1 0 0 4 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 101/996 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-00 1801922 t fired, 5647 attempts, .
57 EF EXCL 228/851 1/32 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-01 103531 m, 306 m/sec, 174631 t fired, .
87 EF FNDP 171/949 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 3231938 t fired, 5114 attempts, .
88 EF STEQ 5/1060 0/5 BridgeAndVehicles-PT-V80P50N10-ReachabilityFireability-05 sara not yet started (preprocessing).
Time elapsed: 424 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
/home/mcc/BenchKit/bin//../lola/bin//../BenchKit_head.sh: line 63: 380 Killed lola --conf=$BIN_DIR/configfiles/reachabilityfireabilityconf --formula=$DIR/ReachabilityFireability.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-PT-V80P50N10"
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 BridgeAndVehicles-PT-V80P50N10, 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 r038-tajo-167813691300303"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V80P50N10.tgz
mv BridgeAndVehicles-PT-V80P50N10 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 ;