fond
Model Checking Contest 2024
14th edition, Geneva, Switzerland, June 25, 2024
Execution of r049-tajo-171620399900023
Last Updated
July 7, 2024

About the Execution of LoLA for BridgeAndVehicles-COL-V20P10N10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2015.243 374935.00 1357788.00 25.00 TFFFFFTTFFFTTTTT 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/mcc2024-input.r049-tajo-171620399900023.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2024-input.qcow2' backing_fmt='qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is BridgeAndVehicles-COL-V20P10N10, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-tajo-171620399900023
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 9.2K Apr 13 01:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Apr 13 01:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Apr 13 01:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Apr 13 01:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.5K Apr 22 14:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 22 14:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 22 14:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 22 14:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.7K Apr 13 01:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 73K Apr 13 01:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 13 01:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Apr 13 01:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 22 14:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 22 14:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:42 equiv_pt
-rw-r--r-- 1 mcc users 10 May 18 16:42 instance
-rw-r--r-- 1 mcc users 5 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 39K May 18 16:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717001209982

FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
[lola] FINAL RESULTS
[lola]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG true state space
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG true state space
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola]
[lola] Time elapsed: 374 secs. Pages in use: 25

BK_STOP 1717001584917

--------------------
content from stderr:

[lola][I] LoLA will run for 3600 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains High-Level net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] Reading HL formula in XML format (--xmlformula)
[lola][I] reading formula from ReachabilityFireability.xml
[lola][I] LAUNCH task # 11 (type SKEL/CNST) for 9 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 38 (type SKEL/CNST) for 36 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 11 (type SKEL/CNST) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03
[lola][I] result : false
[lola][I] FINISHED task # 38 (type SKEL/CNST) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12
[lola][I] result : true
[lola][I] LAUNCH task # 49 (type SKEL/FNDP) for 39 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 50 (type SKEL/EQUN) for 39 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 51 (type SKEL/SRCH) for 39 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 51 (type SKEL/SRCH) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13
[lola][I] result : true
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 49 (type FNDP) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13 (obsolete)
[lola][W] CANCELED task # 50 (type EQUN) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13 (obsolete)
[lola][I] FINISHED task # 49 (type SKEL/FNDP) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] Places: 68, Transitions: 548
[lola][I] FINISHED task # 50 (type SKEL/EQUN) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13
[lola][I] result : unknown
[lola][I] Rule S: 0 transitions removed,0 places removed
[lola][I] LAUNCH task # 54 (type EXCL) for 12 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04
[lola][I] time limit : 257 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 52 (type FNDP) for 12 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 53 (type EQUN) for 12 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 56 (type FNDP) for 42 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 3 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 5/360 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 3067 attempts, .
[lola][.] 53 EF STEQ 5/400 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 54 EF EXCL 5/257 2/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 294790 m, 58958 m/sec, 894851 t fired, .
[lola][.] 56 EF FNDP 5/400 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 2592 attempts, .
[lola][.]
[lola][.] Time elapsed: 5 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 53 (type EQUN) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04
[lola][I] result : unknown
[lola][I] LAUNCH task # 68 (type FNDP) for 33 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 10/392 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 6308 attempts, .
[lola][.] 54 EF EXCL 10/257 3/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 621804 m, 65402 m/sec, 1943379 t fired, .
[lola][.] 56 EF FNDP 10/392 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 5403 attempts, .
[lola][.] 68 EF FNDP 2/399 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 963 attempts, .
[lola][.]
[lola][.] Time elapsed: 10 secs. Pages in use: 3
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 15/390 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 9475 attempts, .
[lola][.] 54 EF EXCL 15/257 4/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 953081 m, 66255 m/sec, 3027252 t fired, .
[lola][.] 56 EF FNDP 15/390 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 8128 attempts, .
[lola][.] 68 EF FNDP 7/397 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 3270 attempts, .
[lola][.]
[lola][.] Time elapsed: 15 secs. Pages in use: 4
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 20/385 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 12686 attempts, .
[lola][.] 54 EF EXCL 20/257 5/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 1297443 m, 68872 m/sec, 4147295 t fired, .
[lola][.] 56 EF FNDP 20/385 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 10901 attempts, .
[lola][.] 68 EF FNDP 12/392 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 5684 attempts, .
[lola][.]
[lola][.] Time elapsed: 20 secs. Pages in use: 5
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 25/380 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 15816 attempts, .
[lola][.] 54 EF EXCL 25/257 7/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 1642499 m, 69011 m/sec, 5296042 t fired, .
[lola][.] 56 EF FNDP 25/380 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 13629 attempts, .
[lola][.] 68 EF FNDP 17/387 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 8062 attempts, .
[lola][.]
[lola][.] Time elapsed: 25 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 30/375 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 19284 attempts, .
[lola][.] 54 EF EXCL 30/257 8/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 2034934 m, 78487 m/sec, 6615436 t fired, .
[lola][.] 56 EF FNDP 30/375 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 16424 attempts, .
[lola][.] 68 EF FNDP 22/382 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 10748 attempts, .
[lola][.]
[lola][.] Time elapsed: 30 secs. Pages in use: 8
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 35/370 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 22539 attempts, .
[lola][.] 54 EF EXCL 35/257 10/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 2393406 m, 71694 m/sec, 7824683 t fired, .
[lola][.] 56 EF FNDP 35/370 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 19268 attempts, .
[lola][.] 68 EF FNDP 27/377 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 13245 attempts, .
[lola][.]
[lola][.] Time elapsed: 35 secs. Pages in use: 10
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 40/365 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 25888 attempts, .
[lola][.] 54 EF EXCL 40/257 11/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 2766977 m, 74714 m/sec, 9104027 t fired, .
[lola][.] 56 EF FNDP 40/365 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 22000 attempts, .
[lola][.] 68 EF FNDP 32/372 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 15846 attempts, .
[lola][.]
[lola][.] Time elapsed: 40 secs. Pages in use: 11
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 45/360 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 29289 attempts, .
[lola][.] 54 EF EXCL 45/257 13/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 3165059 m, 79616 m/sec, 10465114 t fired, .
[lola][.] 56 EF FNDP 45/360 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 24811 attempts, .
[lola][.] 68 EF FNDP 37/367 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 18475 attempts, .
[lola][.]
[lola][.] Time elapsed: 45 secs. Pages in use: 13
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 50/355 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 32416 attempts, .
[lola][.] 54 EF EXCL 50/257 14/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 3527987 m, 72585 m/sec, 11700303 t fired, .
[lola][.] 56 EF FNDP 50/355 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 27613 attempts, .
[lola][.] 68 EF FNDP 42/362 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 20905 attempts, .
[lola][.]
[lola][.] Time elapsed: 50 secs. Pages in use: 14
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 55/350 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 35731 attempts, .
[lola][.] 54 EF EXCL 55/257 15/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 3884914 m, 71385 m/sec, 12899508 t fired, .
[lola][.] 56 EF FNDP 55/350 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 30426 attempts, .
[lola][.] 68 EF FNDP 47/357 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 23486 attempts, .
[lola][.]
[lola][.] Time elapsed: 55 secs. Pages in use: 15
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 60/345 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 38997 attempts, .
[lola][.] 54 EF EXCL 60/257 17/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 4261924 m, 75402 m/sec, 14215073 t fired, .
[lola][.] 56 EF FNDP 60/345 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 33283 attempts, .
[lola][.] 68 EF FNDP 52/352 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 26028 attempts, .
[lola][.]
[lola][.] Time elapsed: 60 secs. Pages in use: 17
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 65/340 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 42477 attempts, .
[lola][.] 54 EF EXCL 65/257 18/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 4669693 m, 81553 m/sec, 15612921 t fired, .
[lola][.] 56 EF FNDP 65/340 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 36034 attempts, .
[lola][.] 68 EF FNDP 57/347 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 28735 attempts, .
[lola][.]
[lola][.] Time elapsed: 65 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 70/335 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 45880 attempts, .
[lola][.] 54 EF EXCL 70/257 20/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 5032102 m, 72481 m/sec, 16844146 t fired, .
[lola][.] 56 EF FNDP 70/335 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 38780 attempts, .
[lola][.] 68 EF FNDP 62/342 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 31349 attempts, .
[lola][.]
[lola][.] Time elapsed: 70 secs. Pages in use: 20
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 75/330 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 49443 attempts, .
[lola][.] 54 EF EXCL 75/257 21/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 5457318 m, 85043 m/sec, 18324827 t fired, .
[lola][.] 56 EF FNDP 75/330 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 41525 attempts, .
[lola][.] 68 EF FNDP 67/337 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 34107 attempts, .
[lola][.]
[lola][.] Time elapsed: 75 secs. Pages in use: 21
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 80/325 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 52959 attempts, .
[lola][.] 54 EF EXCL 80/257 23/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 5853363 m, 79209 m/sec, 19667686 t fired, .
[lola][.] 56 EF FNDP 80/325 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 44527 attempts, .
[lola][.] 68 EF FNDP 72/332 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 36849 attempts, .
[lola][.]
[lola][.] Time elapsed: 80 secs. Pages in use: 23
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 3 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 85/320 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 56478 attempts, .
[lola][.] 54 EF EXCL 85/257 24/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 6253466 m, 80020 m/sec, 21070354 t fired, .
[lola][.] 56 EF FNDP 85/320 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 47676 attempts, .
[lola][.] 68 EF FNDP 77/327 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 39567 attempts, .
[lola][.]
[lola][.] Time elapsed: 85 secs. Pages in use: 24
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 54 (type EXCL) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04
[lola][I] result : false
[lola][I] markings : 6432305
[lola][I] fired transitions : 21662881
[lola][I] time used : 87
[lola][I] memory pages used : 25
[lola][W] CANCELED task # 52 (type FNDP) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04 (obsolete)
[lola][I] LAUNCH task # 102 (type EXCL) for 39 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13
[lola][I] time limit : 270 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 83 (type FNDP) for 18 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 52 (type FNDP) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04
[lola][I] result : unknown
[lola][I] tried executions : 58063
[lola][I] time used : 87
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 102 (type EXCL) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13
[lola][I] result : true
[lola][I] markings : 31
[lola][I] fired transitions : 30
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 99 (type EXCL) for 15 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05
[lola][I] time limit : 292 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 99 (type EXCL) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05
[lola][I] result : true
[lola][I] markings : 21
[lola][I] fired transitions : 20
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 92 (type EXCL) for 27 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09
[lola][I] time limit : 319 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 92 (type EXCL) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09
[lola][I] result : true
[lola][I] markings : 21
[lola][I] fired transitions : 20
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 82 (type EXCL) for 30 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10
[lola][I] time limit : 351 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 82 (type EXCL) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10
[lola][I] result : true
[lola][I] markings : 21
[lola][I] fired transitions : 20
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 88 (type EXCL) for 21 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07
[lola][I] time limit : 390 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 83 (type FNDP) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 60 (type FNDP) for 0 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 88 (type EXCL) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07
[lola][I] result : true
[lola][I] markings : 21
[lola][I] fired transitions : 20
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 95 (type EXCL) for 24 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08
[lola][I] time limit : 501 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 90/813 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 50831 attempts, .
[lola][.] 60 EF FNDP 3/702 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 2087 attempts, .
[lola][.] 68 EF FNDP 82/639 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 42302 attempts, .
[lola][.] 95 EF EXCL 3/501 1/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 251045 m, 50209 m/sec, 751566 t fired, .
[lola][.]
[lola][.] Time elapsed: 90 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 95/810 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 53988 attempts, .
[lola][.] 60 EF FNDP 8/699 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 6540 attempts, .
[lola][.] 68 EF FNDP 87/636 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 45046 attempts, .
[lola][.] 95 EF EXCL 8/501 3/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 704416 m, 90674 m/sec, 2202610 t fired, .
[lola][.]
[lola][.] Time elapsed: 95 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 100/805 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 56938 attempts, .
[lola][.] 60 EF FNDP 13/694 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 10845 attempts, .
[lola][.] 68 EF FNDP 92/631 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 47595 attempts, .
[lola][.] 95 EF EXCL 13/501 5/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 1118720 m, 82860 m/sec, 3559446 t fired, .
[lola][.]
[lola][.] Time elapsed: 100 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 105/800 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 59938 attempts, .
[lola][.] 60 EF FNDP 18/689 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 15524 attempts, .
[lola][.] 68 EF FNDP 97/626 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 50306 attempts, .
[lola][.] 95 EF EXCL 18/501 6/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 1556326 m, 87521 m/sec, 5017150 t fired, .
[lola][.]
[lola][.] Time elapsed: 105 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 110/795 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 62918 attempts, .
[lola][.] 60 EF FNDP 23/684 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 20011 attempts, .
[lola][.] 68 EF FNDP 102/621 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 52898 attempts, .
[lola][.] 95 EF EXCL 23/501 8/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 1965382 m, 81811 m/sec, 6389689 t fired, .
[lola][.]
[lola][.] Time elapsed: 110 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 115/790 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 65913 attempts, .
[lola][.] 60 EF FNDP 28/679 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 24713 attempts, .
[lola][.] 68 EF FNDP 107/616 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 55649 attempts, .
[lola][.] 95 EF EXCL 28/501 10/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 2403012 m, 87526 m/sec, 7875351 t fired, .
[lola][.]
[lola][.] Time elapsed: 115 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 120/785 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 68981 attempts, .
[lola][.] 60 EF FNDP 33/674 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 29378 attempts, .
[lola][.] 68 EF FNDP 112/611 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 58395 attempts, .
[lola][.] 95 EF EXCL 33/501 11/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 2839890 m, 87375 m/sec, 9360015 t fired, .
[lola][.]
[lola][.] Time elapsed: 120 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 125/780 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 72137 attempts, .
[lola][.] 60 EF FNDP 38/669 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 34117 attempts, .
[lola][.] 68 EF FNDP 117/606 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 61124 attempts, .
[lola][.] 95 EF EXCL 38/501 13/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 3276757 m, 87373 m/sec, 10854667 t fired, .
[lola][.]
[lola][.] Time elapsed: 125 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 130/775 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 75295 attempts, .
[lola][.] 60 EF FNDP 43/664 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 38777 attempts, .
[lola][.] 68 EF FNDP 122/601 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 63862 attempts, .
[lola][.] 95 EF EXCL 43/501 15/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 3712175 m, 87083 m/sec, 12358201 t fired, .
[lola][.]
[lola][.] Time elapsed: 130 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 135/770 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 78447 attempts, .
[lola][.] 60 EF FNDP 48/659 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 43472 attempts, .
[lola][.] 68 EF FNDP 127/596 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 66603 attempts, .
[lola][.] 95 EF EXCL 48/501 16/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 4147369 m, 87038 m/sec, 13846899 t fired, .
[lola][.]
[lola][.] Time elapsed: 135 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 140/765 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 81607 attempts, .
[lola][.] 60 EF FNDP 53/654 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 48118 attempts, .
[lola][.] 68 EF FNDP 132/591 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 69342 attempts, .
[lola][.] 95 EF EXCL 53/501 18/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 4582358 m, 86997 m/sec, 15341577 t fired, .
[lola][.]
[lola][.] Time elapsed: 140 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 145/760 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 84758 attempts, .
[lola][.] 60 EF FNDP 58/649 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 52825 attempts, .
[lola][.] 68 EF FNDP 137/586 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 72084 attempts, .
[lola][.] 95 EF EXCL 58/501 20/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 5017058 m, 86940 m/sec, 16836762 t fired, .
[lola][.]
[lola][.] Time elapsed: 145 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 150/755 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 87919 attempts, .
[lola][.] 60 EF FNDP 63/644 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 57632 attempts, .
[lola][.] 68 EF FNDP 142/581 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 74823 attempts, .
[lola][.] 95 EF EXCL 63/501 21/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 5450912 m, 86770 m/sec, 18344628 t fired, .
[lola][.]
[lola][.] Time elapsed: 150 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 155/750 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 91065 attempts, .
[lola][.] 60 EF FNDP 68/639 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 62267 attempts, .
[lola][.] 68 EF FNDP 147/576 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 77544 attempts, .
[lola][.] 95 EF EXCL 68/501 23/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 5882657 m, 86349 m/sec, 19830085 t fired, .
[lola][.]
[lola][.] Time elapsed: 155 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 160/745 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 93896 attempts, .
[lola][.] 60 EF FNDP 73/634 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 66797 attempts, .
[lola][.] 68 EF FNDP 152/571 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 80162 attempts, .
[lola][.] 95 EF EXCL 73/501 25/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08 6298191 m, 83106 m/sec, 21278155 t fired, .
[lola][.]
[lola][.] Time elapsed: 160 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 95 (type EXCL) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08
[lola][I] result : false
[lola][I] markings : 6404527
[lola][I] fired transitions : 21634151
[lola][I] time used : 74
[lola][I] memory pages used : 25
[lola][I] LAUNCH task # 66 (type EXCL) for 6 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02
[lola][I] time limit : 573 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 66 (type EXCL) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02
[lola][I] result : true
[lola][I] markings : 62
[lola][I] fired transitions : 61
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 74 (type EXCL) for 45 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15
[lola][I] time limit : 687 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 165/1039 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 96803 attempts, .
[lola][.] 60 EF FNDP 78/1097 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 71357 attempts, .
[lola][.] 68 EF FNDP 157/745 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 82826 attempts, .
[lola][.] 74 EF EXCL 4/687 2/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15 379857 m, 75971 m/sec, 1090167 t fired, .
[lola][.]
[lola][.] Time elapsed: 165 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 170/1035 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 99542 attempts, .
[lola][.] 60 EF FNDP 83/1093 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 76012 attempts, .
[lola][.] 68 EF FNDP 162/741 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 85582 attempts, .
[lola][.] 74 EF EXCL 9/687 4/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15 939260 m, 111880 m/sec, 2772184 t fired, .
[lola][.]
[lola][.] Time elapsed: 170 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 175/1030 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 102312 attempts, .
[lola][.] 60 EF FNDP 88/1088 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 80306 attempts, .
[lola][.] 68 EF FNDP 167/736 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 88087 attempts, .
[lola][.] 74 EF EXCL 14/687 6/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15 1452906 m, 102729 m/sec, 4291472 t fired, .
[lola][.]
[lola][.] Time elapsed: 175 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 180/1025 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 105062 attempts, .
[lola][.] 60 EF FNDP 93/1083 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 84834 attempts, .
[lola][.] 68 EF FNDP 172/731 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 90726 attempts, .
[lola][.] 74 EF EXCL 19/687 8/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15 1998506 m, 109120 m/sec, 5920851 t fired, .
[lola][.]
[lola][.] Time elapsed: 180 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 185/1020 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 107876 attempts, .
[lola][.] 60 EF FNDP 98/1078 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 89448 attempts, .
[lola][.] 68 EF FNDP 177/726 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 93382 attempts, .
[lola][.] 74 EF EXCL 24/687 10/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15 2549434 m, 110185 m/sec, 7572987 t fired, .
[lola][.]
[lola][.] Time elapsed: 185 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 190/1015 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 110697 attempts, .
[lola][.] 60 EF FNDP 103/1073 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 94031 attempts, .
[lola][.] 68 EF FNDP 182/721 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 96022 attempts, .
[lola][.] 74 EF EXCL 29/687 12/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15 3102114 m, 110536 m/sec, 9248528 t fired, .
[lola][.]
[lola][.] Time elapsed: 190 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 195/1010 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 113648 attempts, .
[lola][.] 60 EF FNDP 108/1068 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 98732 attempts, .
[lola][.] 68 EF FNDP 187/716 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 98761 attempts, .
[lola][.] 74 EF EXCL 34/687 15/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15 3679358 m, 115448 m/sec, 10958760 t fired, .
[lola][.]
[lola][.] Time elapsed: 195 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 74 (type EXCL) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15
[lola][I] result : false
[lola][I] markings : 3964232
[lola][I] fired transitions : 11820794
[lola][I] time used : 37
[lola][I] memory pages used : 16
[lola][I] LAUNCH task # 78 (type EXCL) for 3 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01
[lola][I] time limit : 850 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 78 (type EXCL) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01
[lola][I] result : true
[lola][I] markings : 21
[lola][I] fired transitions : 20
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 58 (type EXCL) for 42 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14
[lola][I] time limit : 1134 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 200/1602 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 116449 attempts, .
[lola][.] 58 EF EXCL 2/1134 1/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 236251 m, 47250 m/sec, 669810 t fired, .
[lola][.] 60 EF FNDP 113/1645 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 103351 attempts, .
[lola][.] 68 EF FNDP 192/1606 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 101445 attempts, .
[lola][.]
[lola][.] Time elapsed: 200 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 205/1600 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 119278 attempts, .
[lola][.] 58 EF EXCL 7/1134 3/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 710850 m, 94919 m/sec, 2087981 t fired, .
[lola][.] 60 EF FNDP 118/1643 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 107698 attempts, .
[lola][.] 68 EF FNDP 197/1604 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 103960 attempts, .
[lola][.]
[lola][.] Time elapsed: 205 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 210/1595 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 122100 attempts, .
[lola][.] 58 EF EXCL 12/1134 5/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 1213287 m, 100487 m/sec, 3640003 t fired, .
[lola][.] 60 EF FNDP 123/1638 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 112339 attempts, .
[lola][.] 68 EF FNDP 202/1599 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 106652 attempts, .
[lola][.]
[lola][.] Time elapsed: 210 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 215/1590 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 124971 attempts, .
[lola][.] 58 EF EXCL 17/1134 7/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 1694467 m, 96236 m/sec, 5167317 t fired, .
[lola][.] 60 EF FNDP 128/1633 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 116696 attempts, .
[lola][.] 68 EF FNDP 207/1594 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 109190 attempts, .
[lola][.]
[lola][.] Time elapsed: 215 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 220/1585 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 127757 attempts, .
[lola][.] 58 EF EXCL 22/1134 9/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 2188962 m, 98899 m/sec, 6726646 t fired, .
[lola][.] 60 EF FNDP 133/1628 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 121151 attempts, .
[lola][.] 68 EF FNDP 212/1589 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 111818 attempts, .
[lola][.]
[lola][.] Time elapsed: 220 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 225/1580 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 130556 attempts, .
[lola][.] 58 EF EXCL 27/1134 11/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 2655634 m, 93334 m/sec, 8209543 t fired, .
[lola][.] 60 EF FNDP 138/1623 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 125420 attempts, .
[lola][.] 68 EF FNDP 217/1584 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 114287 attempts, .
[lola][.]
[lola][.] Time elapsed: 225 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 230/1575 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 133448 attempts, .
[lola][.] 58 EF EXCL 32/1134 12/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 3128063 m, 94485 m/sec, 9716114 t fired, .
[lola][.] 60 EF FNDP 143/1618 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 129734 attempts, .
[lola][.] 68 EF FNDP 222/1579 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 116801 attempts, .
[lola][.]
[lola][.] Time elapsed: 230 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 235/1570 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 136340 attempts, .
[lola][.] 58 EF EXCL 37/1134 14/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 3629509 m, 100289 m/sec, 11317772 t fired, .
[lola][.] 60 EF FNDP 148/1613 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 134279 attempts, .
[lola][.] 68 EF FNDP 227/1574 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 119433 attempts, .
[lola][.]
[lola][.] Time elapsed: 235 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 240/1565 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 139384 attempts, .
[lola][.] 58 EF EXCL 42/1134 16/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 4153182 m, 104734 m/sec, 12996772 t fired, .
[lola][.] 60 EF FNDP 153/1608 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 138979 attempts, .
[lola][.] 68 EF FNDP 232/1569 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 122161 attempts, .
[lola][.]
[lola][.] Time elapsed: 240 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 245/1560 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 142172 attempts, .
[lola][.] 58 EF EXCL 47/1134 18/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 4620354 m, 93434 m/sec, 14501605 t fired, .
[lola][.] 60 EF FNDP 158/1603 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 143187 attempts, .
[lola][.] 68 EF FNDP 237/1564 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 124625 attempts, .
[lola][.]
[lola][.] Time elapsed: 245 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 250/1555 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 145040 attempts, .
[lola][.] 58 EF EXCL 52/1134 20/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 5147345 m, 105398 m/sec, 16187732 t fired, .
[lola][.] 60 EF FNDP 163/1598 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 147887 attempts, .
[lola][.] 68 EF FNDP 242/1559 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 127389 attempts, .
[lola][.]
[lola][.] Time elapsed: 250 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 255/1550 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 147858 attempts, .
[lola][.] 58 EF EXCL 57/1134 22/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 5642764 m, 99083 m/sec, 17767945 t fired, .
[lola][.] 60 EF FNDP 168/1593 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 152424 attempts, .
[lola][.] 68 EF FNDP 247/1554 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 129984 attempts, .
[lola][.]
[lola][.] Time elapsed: 255 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 56 EF FNDP 260/1545 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 150738 attempts, .
[lola][.] 58 EF EXCL 62/1134 24/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 6172870 m, 106021 m/sec, 19463447 t fired, .
[lola][.] 60 EF FNDP 173/1588 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 157150 attempts, .
[lola][.] 68 EF FNDP 252/1549 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 132749 attempts, .
[lola][.]
[lola][.] Time elapsed: 260 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 58 (type EXCL) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14
[lola][I] result : false
[lola][I] markings : 6264092
[lola][I] fired transitions : 19755889
[lola][I] time used : 63
[lola][I] memory pages used : 24
[lola][W] CANCELED task # 56 (type FNDP) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14 (obsolete)
[lola][I] LAUNCH task # 62 (type EXCL) for 0 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00
[lola][I] time limit : 1669 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 69 (type EQUN) for 33 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 56 (type FNDP) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14
[lola][I] result : unknown
[lola][I] tried executions : 151222
[lola][I] time used : 261
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 1 2 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 60 EF FNDP 178/3339 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 162057 attempts, .
[lola][.] 62 EF EXCL 4/1669 2/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 387615 m, 77523 m/sec, 1088455 t fired, .
[lola][.] 68 EF FNDP 257/3339 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 135641 attempts, .
[lola][.] 69 EF STEQ 4/1669 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 265 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 1 2 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 60 EF FNDP 183/3335 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 167073 attempts, .
[lola][.] 62 EF EXCL 9/1669 4/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 864407 m, 95358 m/sec, 2525898 t fired, .
[lola][.] 68 EF FNDP 262/3335 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 138565 attempts, .
[lola][.] 69 EF STEQ 9/1665 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 270 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 1 2 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 60 EF FNDP 188/3330 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 172114 attempts, .
[lola][.] 62 EF EXCL 14/1669 5/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 1303631 m, 87844 m/sec, 3913982 t fired, .
[lola][.] 68 EF FNDP 267/3330 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 141467 attempts, .
[lola][.] 69 EF STEQ 14/1660 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 275 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 1 2 0 1 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 60 EF FNDP 193/3325 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 177185 attempts, .
[lola][.] 62 EF EXCL 19/1669 6/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 1525354 m, 44344 m/sec, 4653983 t fired, .
[lola][.] 68 EF FNDP 272/3325 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 144414 attempts, .
[lola][.] 69 EF STEQ 19/1655 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 280 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 69 (type EQUN) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11
[lola][I] result : unknown
[lola][I] LAUNCH task # 61 (type EQUN) for 0 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 61 (type EQUN) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00
[lola][I] result : unknown
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 60 EF FNDP 198/3513 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 182346 attempts, .
[lola][.] 62 EF EXCL 24/1669 8/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 1898379 m, 74605 m/sec, 5888770 t fired, .
[lola][.] 68 EF FNDP 277/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 147355 attempts, .
[lola][.]
[lola][.] Time elapsed: 285 secs. Pages in use: 25
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 60 EF FNDP 203/3513 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 187431 attempts, .
[lola][.] 62 EF EXCL 29/1669 9/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 2327080 m, 85740 m/sec, 7306768 t fired, .
[lola][.] 68 EF FNDP 282/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 150288 attempts, .
[lola][.]
[lola][.] Time elapsed: 290 secs. Pages in use: 25
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 60 EF FNDP 208/3513 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 192470 attempts, .
[lola][.] 62 EF EXCL 34/1669 11/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 2759713 m, 86526 m/sec, 8751937 t fired, .
[lola][.] 68 EF FNDP 287/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 153229 attempts, .
[lola][.]
[lola][.] Time elapsed: 295 secs. Pages in use: 25
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 60 EF FNDP 213/3513 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 197485 attempts, .
[lola][.] 62 EF EXCL 39/1669 13/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 3189546 m, 85966 m/sec, 10203594 t fired, .
[lola][.] 68 EF FNDP 292/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 156170 attempts, .
[lola][.]
[lola][.] Time elapsed: 300 secs. Pages in use: 25
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 60 EF FNDP 218/3513 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 202535 attempts, .
[lola][.] 62 EF EXCL 44/1669 14/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 3617676 m, 85626 m/sec, 11638939 t fired, .
[lola][.] 68 EF FNDP 297/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 159105 attempts, .
[lola][.]
[lola][.] Time elapsed: 305 secs. Pages in use: 25
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 60 EF FNDP 223/3513 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 207626 attempts, .
[lola][.] 62 EF EXCL 49/1669 16/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 4044711 m, 85407 m/sec, 13071746 t fired, .
[lola][.] 68 EF FNDP 302/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 162053 attempts, .
[lola][.]
[lola][.] Time elapsed: 310 secs. Pages in use: 25
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 60 EF FNDP 228/3513 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 212715 attempts, .
[lola][.] 62 EF EXCL 54/1669 18/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 4471692 m, 85396 m/sec, 14506799 t fired, .
[lola][.] 68 EF FNDP 307/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 164987 attempts, .
[lola][.]
[lola][.] Time elapsed: 315 secs. Pages in use: 25
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 60 EF FNDP 233/3513 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 217829 attempts, .
[lola][.] 62 EF EXCL 59/1669 19/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 4898405 m, 85342 m/sec, 15954725 t fired, .
[lola][.] 68 EF FNDP 312/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 167930 attempts, .
[lola][.]
[lola][.] Time elapsed: 320 secs. Pages in use: 25
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 60 EF FNDP 238/3513 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 222666 attempts, .
[lola][.] 62 EF EXCL 64/1669 21/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 5305050 m, 81329 m/sec, 17336266 t fired, .
[lola][.] 68 EF FNDP 317/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 170706 attempts, .
[lola][.]
[lola][.] Time elapsed: 325 secs. Pages in use: 25
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I] FINISHED task # 62 (type EXCL) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00
[lola][I] result : false
[lola][I] markings : 5572520
[lola][I] fired transitions : 18235407
[lola][I] time used : 67
[lola][I] memory pages used : 22
[lola][W] CANCELED task # 60 (type FNDP) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00 (obsolete)
[lola][I] LAUNCH task # 70 (type EXCL) for 33 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11
[lola][I] time limit : 3272 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 60 (type FNDP) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00
[lola][I] result : unknown
[lola][I] tried executions : 225830
[lola][I] time used : 241
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 68 EF FNDP 322/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 173528 attempts, .
[lola][.] 70 EF EXCL 2/3272 1/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 143206 m, 28641 m/sec, 333277 t fired, .
[lola][.]
[lola][.] Time elapsed: 330 secs. Pages in use: 25
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 68 EF FNDP 327/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 176145 attempts, .
[lola][.] 70 EF EXCL 7/3272 3/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 557838 m, 82926 m/sec, 1473119 t fired, .
[lola][.]
[lola][.] Time elapsed: 335 secs. Pages in use: 25
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 68 EF FNDP 332/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 179015 attempts, .
[lola][.] 70 EF EXCL 12/3272 4/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 1008246 m, 90081 m/sec, 2765732 t fired, .
[lola][.]
[lola][.] Time elapsed: 340 secs. Pages in use: 25
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 68 EF FNDP 337/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 181655 attempts, .
[lola][.] 70 EF EXCL 17/3272 6/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 1419090 m, 82168 m/sec, 3985976 t fired, .
[lola][.]
[lola][.] Time elapsed: 345 secs. Pages in use: 25
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 68 EF FNDP 342/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 184410 attempts, .
[lola][.] 70 EF EXCL 22/3272 8/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 1846701 m, 85522 m/sec, 5265554 t fired, .
[lola][.]
[lola][.] Time elapsed: 350 secs. Pages in use: 25
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 68 EF FNDP 347/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 187254 attempts, .
[lola][.] 70 EF EXCL 27/3272 9/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 2286565 m, 87972 m/sec, 6569390 t fired, .
[lola][.]
[lola][.] Time elapsed: 355 secs. Pages in use: 25
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 68 EF FNDP 352/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 190154 attempts, .
[lola][.] 70 EF EXCL 32/3272 11/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 2738561 m, 90399 m/sec, 7943206 t fired, .
[lola][.]
[lola][.] Time elapsed: 360 secs. Pages in use: 25
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 68 EF FNDP 357/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 192871 attempts, .
[lola][.] 70 EF EXCL 37/3272 13/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 3158519 m, 83991 m/sec, 9225193 t fired, .
[lola][.]
[lola][.] Time elapsed: 365 secs. Pages in use: 25
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-00: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-01: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-02: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-03: INITIAL false skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-04: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-05: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-06: EF true findpath
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-07: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-08: EF false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-09: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-10: AG false state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-12: INITIAL true skeleton: preprocessing
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-13: EF true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-14: AG true state space
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-15: AG true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 68 EF FNDP 362/3592 0/5 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 195842 attempts, .
[lola][.] 70 EF EXCL 42/3272 14/2000 BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 3618241 m, 91944 m/sec, 10602855 t fired, .
[lola][.]
[lola][.] Time elapsed: 370 secs. Pages in use: 25
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I] FINISHED task # 70 (type EXCL) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11
[lola][I] result : false
[lola][I] markings : 3990998
[lola][I] fired transitions : 11734946
[lola][I] time used : 46
[lola][I] memory pages used : 16
[lola][W] CANCELED task # 68 (type FNDP) for BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2024-11 (obsolete)
[lola][I] Portfolio finished: no open formulas

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-COL-V20P10N10"
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-5568"
echo " Executing tool lola"
echo " Input is BridgeAndVehicles-COL-V20P10N10, 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 r049-tajo-171620399900023"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V20P10N10.tgz
mv BridgeAndVehicles-COL-V20P10N10 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 '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;