About the Execution of LoLA for BridgeAndVehicles-PT-V20P10N10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1505.844 | 337437.00 | 1093414.00 | 32.70 | TFFFFFTTFFTFTTFF | 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-171620400300183.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-PT-V20P10N10, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-tajo-171620400300183
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 14K Apr 13 01:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 98K Apr 13 01:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 84K Apr 13 01:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 347K Apr 13 01:24 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 5.6K Apr 22 14:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Apr 22 14:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 16K Apr 22 14:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 54K Apr 22 14:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 13 01:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 87K Apr 13 01:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 207K Apr 13 01:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 842K Apr 13 01:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.8K Apr 22 14:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.8K Apr 22 14:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 10 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 434K 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-PT-V20P10N10-ReachabilityFireability-2024-00
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14
FORMULA_NAME BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1717009232558
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
[[35mlola[0m] [1mFINAL RESULTS[0m
[[35mlola[0m] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF false state space[0m
[[35mlola[0m] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m]
[[35mlola[0m] Time elapsed: 337 secs. Pages in use: 24
BK_STOP 1717009569995
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mReachabilityFireability.xml[0m
[[35mlola[0m][I] LAUNCH task # 28 (type CNST) for 27 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 28 (type CNST) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09
[[35mlola[0m][I] result : false
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] LAUNCH task # 50 (type EXCL) for 9 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 239 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 9 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 9 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 53 (type FNDP) for 0 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 5/358 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 6945 attempts, .
[[35mlola[0m][.] 49 EF STEQ 5/358 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 5/239 2/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 360556 m, 72111 m/sec, 865912 t fired, .
[[35mlola[0m][.] 53 EF FNDP 5/358 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 2606 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 6 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 10/354 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 14401 attempts, .
[[35mlola[0m][.] 49 EF STEQ 10/354 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 10/239 4/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 836808 m, 95250 m/sec, 2296951 t fired, .
[[35mlola[0m][.] 53 EF FNDP 10/354 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 7569 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 11 secs. Pages in use: 4
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 15/349 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 21664 attempts, .
[[35mlola[0m][.] 49 EF STEQ 15/349 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 50 EF EXCL 15/239 5/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 1307056 m, 94049 m/sec, 3742644 t fired, .
[[35mlola[0m][.] 53 EF FNDP 15/349 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 12781 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 16 secs. Pages in use: 5
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 49 (type EQUN) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] LAUNCH task # 54 (type FNDP) for 6 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 54 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 69 (type FNDP) for 12 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 20/380 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 29021 attempts, .
[[35mlola[0m][.] 50 EF EXCL 20/257 6/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 1597760 m, 58140 m/sec, 4643989 t fired, .
[[35mlola[0m][.] 53 EF FNDP 20/380 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 16237 attempts, .
[[35mlola[0m][.] 69 EF FNDP 1/397 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 925 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 21 secs. Pages in use: 6
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 25/379 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 34901 attempts, .
[[35mlola[0m][.] 50 EF EXCL 25/257 7/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 1894215 m, 59291 m/sec, 5563080 t fired, .
[[35mlola[0m][.] 53 EF FNDP 25/379 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 19540 attempts, .
[[35mlola[0m][.] 69 EF FNDP 6/396 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 3430 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 26 secs. Pages in use: 7
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 30/374 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 38482 attempts, .
[[35mlola[0m][.] 50 EF EXCL 30/257 9/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 2343303 m, 89817 m/sec, 6975504 t fired, .
[[35mlola[0m][.] 53 EF FNDP 30/374 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 23191 attempts, .
[[35mlola[0m][.] 69 EF FNDP 11/391 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 5841 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 31 secs. Pages in use: 9
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 35/369 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 44573 attempts, .
[[35mlola[0m][.] 50 EF EXCL 35/257 10/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 2800702 m, 91479 m/sec, 8426120 t fired, .
[[35mlola[0m][.] 53 EF FNDP 35/369 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 26725 attempts, .
[[35mlola[0m][.] 69 EF FNDP 16/386 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 7275 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 36 secs. Pages in use: 10
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 40/364 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 51544 attempts, .
[[35mlola[0m][.] 50 EF EXCL 40/257 12/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 3248482 m, 89556 m/sec, 9857416 t fired, .
[[35mlola[0m][.] 53 EF FNDP 40/364 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 30611 attempts, .
[[35mlola[0m][.] 69 EF FNDP 21/381 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 9149 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 41 secs. Pages in use: 12
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 45/359 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 58140 attempts, .
[[35mlola[0m][.] 50 EF EXCL 45/257 14/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 3689852 m, 88274 m/sec, 11280052 t fired, .
[[35mlola[0m][.] 53 EF FNDP 45/359 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 35138 attempts, .
[[35mlola[0m][.] 69 EF FNDP 26/376 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 11710 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 46 secs. Pages in use: 14
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 50/354 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 64588 attempts, .
[[35mlola[0m][.] 50 EF EXCL 50/257 15/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 4134797 m, 88989 m/sec, 12719569 t fired, .
[[35mlola[0m][.] 53 EF FNDP 50/354 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 39640 attempts, .
[[35mlola[0m][.] 69 EF FNDP 31/371 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 14241 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 51 secs. Pages in use: 15
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 55/349 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 70962 attempts, .
[[35mlola[0m][.] 50 EF EXCL 55/257 17/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 4593601 m, 91760 m/sec, 14230338 t fired, .
[[35mlola[0m][.] 53 EF FNDP 55/349 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 44446 attempts, .
[[35mlola[0m][.] 69 EF FNDP 36/366 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 16741 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 56 secs. Pages in use: 17
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 60/344 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 77205 attempts, .
[[35mlola[0m][.] 50 EF EXCL 60/257 18/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 5022736 m, 85827 m/sec, 15579777 t fired, .
[[35mlola[0m][.] 53 EF FNDP 60/344 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 49061 attempts, .
[[35mlola[0m][.] 69 EF FNDP 41/361 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 19194 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 61 secs. Pages in use: 18
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 65/339 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 83636 attempts, .
[[35mlola[0m][.] 50 EF EXCL 65/257 20/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 5465026 m, 88458 m/sec, 17091759 t fired, .
[[35mlola[0m][.] 53 EF FNDP 65/339 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 53536 attempts, .
[[35mlola[0m][.] 69 EF FNDP 46/356 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 21696 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 66 secs. Pages in use: 20
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 70/334 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 90050 attempts, .
[[35mlola[0m][.] 50 EF EXCL 70/257 21/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 5897828 m, 86560 m/sec, 18526999 t fired, .
[[35mlola[0m][.] 53 EF FNDP 70/334 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 58163 attempts, .
[[35mlola[0m][.] 69 EF FNDP 51/351 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 24177 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 71 secs. Pages in use: 21
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 75/329 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 96581 attempts, .
[[35mlola[0m][.] 50 EF EXCL 75/257 23/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 6339737 m, 88381 m/sec, 19971429 t fired, .
[[35mlola[0m][.] 53 EF FNDP 75/329 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 63025 attempts, .
[[35mlola[0m][.] 69 EF FNDP 56/346 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 26716 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 76 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 50 (type EXCL) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 6372846
[[35mlola[0m][I] fired transitions : 20083200
[[35mlola[0m][I] time used : 76
[[35mlola[0m][I] memory pages used : 23
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03 (obsolete)
[[35mlola[0m][I] LAUNCH task # 64 (type EXCL) for 30 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 271 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 96 (type FNDP) for 18 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 48 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 97090
[[35mlola[0m][I] time used : 76
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 96 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 72 (type FNDP) for 21 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 72 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 66 (type FNDP) for 3 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 66 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 84 (type FNDP) for 15 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 84 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 90 (type FNDP) for 36 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 90 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 6
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 80 (type FNDP) for 45 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 80 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 13
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 76 (type FNDP) for 42 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 76 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 247
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 93 (type FNDP) for 33 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 80/823 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 67679 attempts, .
[[35mlola[0m][.] 64 EF EXCL 4/587 2/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10 406224 m, 81244 m/sec, 963890 t fired, .
[[35mlola[0m][.] 69 EF FNDP 61/838 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 29203 attempts, .
[[35mlola[0m][.] 93 EF FNDP 4/880 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 3360 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 81 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 64 (type EXCL) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 555648
[[35mlola[0m][I] fired transitions : 1349419
[[35mlola[0m][I] time used : 6
[[35mlola[0m][I] memory pages used : 2
[[35mlola[0m][I] LAUNCH task # 61 (type EXCL) for 39 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13
[[35mlola[0m][I] time limit : 703 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 61 (type EXCL) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 22
[[35mlola[0m][I] fired transitions : 21
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 89 (type EXCL) for 24 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08
[[35mlola[0m][I] time limit : 879 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 85/1717 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 72526 attempts, .
[[35mlola[0m][.] 69 EF FNDP 66/1130 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 31610 attempts, .
[[35mlola[0m][.] 89 EF EXCL 3/879 1/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08 233163 m, 46632 m/sec, 568816 t fired, .
[[35mlola[0m][.] 93 EF FNDP 9/1168 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 7214 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 86 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 90/1714 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 76950 attempts, .
[[35mlola[0m][.] 69 EF FNDP 71/1127 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 34070 attempts, .
[[35mlola[0m][.] 89 EF EXCL 8/879 3/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08 600624 m, 73492 m/sec, 1546790 t fired, .
[[35mlola[0m][.] 93 EF FNDP 14/1165 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 10955 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 91 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 95/1709 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 81625 attempts, .
[[35mlola[0m][.] 69 EF FNDP 76/1122 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 36722 attempts, .
[[35mlola[0m][.] 89 EF EXCL 13/879 4/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08 991823 m, 78239 m/sec, 2615434 t fired, .
[[35mlola[0m][.] 93 EF FNDP 19/1160 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 14578 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 96 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 89 (type EXCL) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 1179587
[[35mlola[0m][I] fired transitions : 3128488
[[35mlola[0m][I] time used : 16
[[35mlola[0m][I] memory pages used : 5
[[35mlola[0m][I] LAUNCH task # 95 (type EXCL) for 33 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11
[[35mlola[0m][I] time limit : 1167 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 100/1701 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 86583 attempts, .
[[35mlola[0m][.] 69 EF FNDP 81/1711 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 39355 attempts, .
[[35mlola[0m][.] 93 EF FNDP 24/1739 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 18107 attempts, .
[[35mlola[0m][.] 95 EF EXCL 2/1167 1/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 252251 m, 50450 m/sec, 732447 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 101 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 105/1699 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 91596 attempts, .
[[35mlola[0m][.] 69 EF FNDP 86/1709 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 41977 attempts, .
[[35mlola[0m][.] 93 EF FNDP 29/1737 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 21954 attempts, .
[[35mlola[0m][.] 95 EF EXCL 7/1167 3/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 699104 m, 89370 m/sec, 2133530 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 106 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 110/1694 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 96587 attempts, .
[[35mlola[0m][.] 69 EF FNDP 91/1704 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 44625 attempts, .
[[35mlola[0m][.] 93 EF FNDP 34/1732 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 25386 attempts, .
[[35mlola[0m][.] 95 EF EXCL 12/1167 5/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 1143097 m, 88798 m/sec, 3575529 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 111 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 115/1689 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 101550 attempts, .
[[35mlola[0m][.] 69 EF FNDP 96/1699 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 47256 attempts, .
[[35mlola[0m][.] 93 EF FNDP 39/1727 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 29190 attempts, .
[[35mlola[0m][.] 95 EF EXCL 17/1167 6/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 1583361 m, 88052 m/sec, 5036013 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 116 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 120/1684 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 106462 attempts, .
[[35mlola[0m][.] 69 EF FNDP 101/1694 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 49873 attempts, .
[[35mlola[0m][.] 93 EF FNDP 44/1722 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 33020 attempts, .
[[35mlola[0m][.] 95 EF EXCL 22/1167 8/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 2038455 m, 91018 m/sec, 6540874 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 121 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 125/1679 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 111433 attempts, .
[[35mlola[0m][.] 69 EF FNDP 106/1689 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 52498 attempts, .
[[35mlola[0m][.] 93 EF FNDP 49/1717 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 36690 attempts, .
[[35mlola[0m][.] 95 EF EXCL 27/1167 9/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 2500810 m, 92471 m/sec, 8089177 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 126 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 130/1674 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 116404 attempts, .
[[35mlola[0m][.] 69 EF FNDP 111/1684 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 55133 attempts, .
[[35mlola[0m][.] 93 EF FNDP 54/1712 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 40376 attempts, .
[[35mlola[0m][.] 95 EF EXCL 32/1167 11/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 2963061 m, 92450 m/sec, 9646209 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 131 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 135/1669 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 121360 attempts, .
[[35mlola[0m][.] 69 EF FNDP 116/1679 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 57747 attempts, .
[[35mlola[0m][.] 93 EF FNDP 59/1707 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 44131 attempts, .
[[35mlola[0m][.] 95 EF EXCL 37/1167 13/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 3421370 m, 91661 m/sec, 11204615 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 136 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 140/1664 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 126357 attempts, .
[[35mlola[0m][.] 69 EF FNDP 121/1674 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 60385 attempts, .
[[35mlola[0m][.] 93 EF FNDP 64/1702 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 47972 attempts, .
[[35mlola[0m][.] 95 EF EXCL 42/1167 14/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 3880423 m, 91810 m/sec, 12767196 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 141 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 145/1659 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 131318 attempts, .
[[35mlola[0m][.] 69 EF FNDP 126/1669 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 62982 attempts, .
[[35mlola[0m][.] 93 EF FNDP 69/1697 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 51664 attempts, .
[[35mlola[0m][.] 95 EF EXCL 47/1167 16/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 4346815 m, 93278 m/sec, 14367494 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 146 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 150/1654 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 136257 attempts, .
[[35mlola[0m][.] 69 EF FNDP 131/1664 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 65607 attempts, .
[[35mlola[0m][.] 93 EF FNDP 74/1692 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 55112 attempts, .
[[35mlola[0m][.] 95 EF EXCL 52/1167 18/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 4817416 m, 94120 m/sec, 15976751 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 151 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 155/1649 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 141273 attempts, .
[[35mlola[0m][.] 69 EF FNDP 136/1659 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 68229 attempts, .
[[35mlola[0m][.] 93 EF FNDP 79/1687 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 58955 attempts, .
[[35mlola[0m][.] 95 EF EXCL 57/1167 19/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 5260827 m, 88682 m/sec, 17460583 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 156 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 160/1644 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 146230 attempts, .
[[35mlola[0m][.] 69 EF FNDP 141/1654 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 70850 attempts, .
[[35mlola[0m][.] 93 EF FNDP 84/1682 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 62785 attempts, .
[[35mlola[0m][.] 95 EF EXCL 62/1167 21/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 5715972 m, 91029 m/sec, 19049414 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 161 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 165/1639 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 151134 attempts, .
[[35mlola[0m][.] 69 EF FNDP 146/1649 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 73482 attempts, .
[[35mlola[0m][.] 93 EF FNDP 89/1677 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 66365 attempts, .
[[35mlola[0m][.] 95 EF EXCL 67/1167 22/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 6208069 m, 98419 m/sec, 20729973 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 166 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 95 (type EXCL) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 6534180
[[35mlola[0m][I] fired transitions : 21836007
[[35mlola[0m][I] time used : 71
[[35mlola[0m][I] memory pages used : 24
[[35mlola[0m][W] CANCELED task # 93 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11 (obsolete)
[[35mlola[0m][I] LAUNCH task # 56 (type EXCL) for 0 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 1715 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 70 (type EQUN) for 12 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 93 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 69211
[[35mlola[0m][I] time used : 93
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 170/3430 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 156188 attempts, .
[[35mlola[0m][.] 56 EF EXCL 1/1715 1/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 89722 m, 17944 m/sec, 232555 t fired, .
[[35mlola[0m][.] 69 EF FNDP 151/3430 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 76155 attempts, .
[[35mlola[0m][.] 70 EF STEQ 1/1715 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 171 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 175/3429 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 161435 attempts, .
[[35mlola[0m][.] 56 EF EXCL 6/1715 2/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 477933 m, 77642 m/sec, 1343226 t fired, .
[[35mlola[0m][.] 69 EF FNDP 156/3429 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 78940 attempts, .
[[35mlola[0m][.] 70 EF STEQ 6/1714 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 176 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 70 (type EQUN) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] LAUNCH task # 55 (type EQUN) for 0 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 55 (type EQUN) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 180/3599 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 166728 attempts, .
[[35mlola[0m][.] 56 EF EXCL 11/1715 4/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 863019 m, 77017 m/sec, 2485823 t fired, .
[[35mlola[0m][.] 69 EF FNDP 161/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 81733 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 181 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 185/3599 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 172046 attempts, .
[[35mlola[0m][.] 56 EF EXCL 16/1715 5/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 1264211 m, 80238 m/sec, 3703443 t fired, .
[[35mlola[0m][.] 69 EF FNDP 166/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 84540 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 186 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 190/3599 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 177363 attempts, .
[[35mlola[0m][.] 56 EF EXCL 21/1715 6/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 1660863 m, 79330 m/sec, 4936214 t fired, .
[[35mlola[0m][.] 69 EF FNDP 171/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 87356 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 191 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 195/3599 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 182600 attempts, .
[[35mlola[0m][.] 56 EF EXCL 26/1715 8/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 2059867 m, 79800 m/sec, 6182023 t fired, .
[[35mlola[0m][.] 69 EF FNDP 176/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 90160 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 196 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 200/3599 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 187893 attempts, .
[[35mlola[0m][.] 56 EF EXCL 31/1715 9/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 2462523 m, 80531 m/sec, 7462378 t fired, .
[[35mlola[0m][.] 69 EF FNDP 181/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 92959 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 201 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 205/3599 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 193161 attempts, .
[[35mlola[0m][.] 56 EF EXCL 36/1715 11/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 2878690 m, 83233 m/sec, 8784547 t fired, .
[[35mlola[0m][.] 69 EF FNDP 186/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 95771 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 206 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 210/3599 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 198365 attempts, .
[[35mlola[0m][.] 56 EF EXCL 41/1715 12/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 3288264 m, 81914 m/sec, 10048342 t fired, .
[[35mlola[0m][.] 69 EF FNDP 191/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 98584 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 211 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 215/3599 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 203610 attempts, .
[[35mlola[0m][.] 56 EF EXCL 46/1715 13/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 3658204 m, 73988 m/sec, 11192038 t fired, .
[[35mlola[0m][.] 69 EF FNDP 196/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 101250 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 216 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 220/3599 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 208521 attempts, .
[[35mlola[0m][.] 56 EF EXCL 51/1715 15/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 4051014 m, 78562 m/sec, 12442662 t fired, .
[[35mlola[0m][.] 69 EF FNDP 201/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 104076 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 221 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 225/3599 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 213758 attempts, .
[[35mlola[0m][.] 56 EF EXCL 56/1715 16/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 4437010 m, 77199 m/sec, 13695616 t fired, .
[[35mlola[0m][.] 69 EF FNDP 206/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 106902 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 226 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 230/3599 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 218932 attempts, .
[[35mlola[0m][.] 56 EF EXCL 61/1715 18/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 4837779 m, 80153 m/sec, 14894771 t fired, .
[[35mlola[0m][.] 69 EF FNDP 211/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 109720 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 231 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 235/3599 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 224164 attempts, .
[[35mlola[0m][.] 56 EF EXCL 66/1715 19/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 5236240 m, 79692 m/sec, 16108703 t fired, .
[[35mlola[0m][.] 69 EF FNDP 216/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 112541 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 236 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 240/3599 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 229293 attempts, .
[[35mlola[0m][.] 56 EF EXCL 71/1715 20/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 5596313 m, 72014 m/sec, 17301944 t fired, .
[[35mlola[0m][.] 69 EF FNDP 221/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 115361 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 241 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 53 EF FNDP 245/3599 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 234521 attempts, .
[[35mlola[0m][.] 56 EF EXCL 76/1715 22/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 5952824 m, 71302 m/sec, 18491044 t fired, .
[[35mlola[0m][.] 69 EF FNDP 226/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 118174 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 246 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 56 (type EXCL) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 6006937
[[35mlola[0m][I] fired transitions : 18662028
[[35mlola[0m][I] time used : 77
[[35mlola[0m][I] memory pages used : 22
[[35mlola[0m][W] CANCELED task # 53 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00 (obsolete)
[[35mlola[0m][I] LAUNCH task # 71 (type EXCL) for 12 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 3353 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 53 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 235276
[[35mlola[0m][I] time used : 246
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 231/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 121107 attempts, .
[[35mlola[0m][.] 71 EF EXCL 4/3353 2/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 308982 m, 61796 m/sec, 938410 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 251 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 236/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 124033 attempts, .
[[35mlola[0m][.] 71 EF EXCL 9/3353 3/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 648417 m, 67887 m/sec, 2015312 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 256 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 241/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 126978 attempts, .
[[35mlola[0m][.] 71 EF EXCL 14/3353 4/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 1013182 m, 72953 m/sec, 3194905 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 261 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 246/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 129919 attempts, .
[[35mlola[0m][.] 71 EF EXCL 19/3353 5/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 1391505 m, 75664 m/sec, 4404238 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 266 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 251/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 132866 attempts, .
[[35mlola[0m][.] 71 EF EXCL 24/3353 7/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 1777228 m, 77144 m/sec, 5660201 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 271 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 256/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 135642 attempts, .
[[35mlola[0m][.] 71 EF EXCL 29/3353 8/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 2129665 m, 70487 m/sec, 6807606 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 276 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 261/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 138501 attempts, .
[[35mlola[0m][.] 71 EF EXCL 34/3353 9/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 2488754 m, 71817 m/sec, 7972389 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 281 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 266/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 141329 attempts, .
[[35mlola[0m][.] 71 EF EXCL 39/3353 10/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 2824476 m, 67144 m/sec, 9086028 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 286 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 271/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 144216 attempts, .
[[35mlola[0m][.] 71 EF EXCL 44/3353 12/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 3181652 m, 71435 m/sec, 10250013 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 291 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 276/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 146901 attempts, .
[[35mlola[0m][.] 71 EF EXCL 49/3353 13/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 3515909 m, 66851 m/sec, 11326703 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 296 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 281/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 149575 attempts, .
[[35mlola[0m][.] 71 EF EXCL 54/3353 14/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 3848007 m, 66419 m/sec, 12432326 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 301 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 286/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 152228 attempts, .
[[35mlola[0m][.] 71 EF EXCL 59/3353 15/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 4214426 m, 73283 m/sec, 13616267 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 306 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 291/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 154928 attempts, .
[[35mlola[0m][.] 71 EF EXCL 64/3353 17/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 4543226 m, 65760 m/sec, 14683110 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 311 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 296/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 157777 attempts, .
[[35mlola[0m][.] 71 EF EXCL 69/3353 18/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 4920499 m, 75454 m/sec, 15942067 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 316 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 301/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 160627 attempts, .
[[35mlola[0m][.] 71 EF EXCL 74/3353 19/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 5300775 m, 76055 m/sec, 17163042 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 321 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 306/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 163367 attempts, .
[[35mlola[0m][.] 71 EF EXCL 79/3353 20/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 5658501 m, 71545 m/sec, 18367132 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 326 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 311/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 166300 attempts, .
[[35mlola[0m][.] 71 EF EXCL 84/3353 22/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 6057148 m, 79729 m/sec, 19643573 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 331 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-02: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-03: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-05: AG false findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-08: EF false state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-09: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-11: EF false state space[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-12: EF true findpath[0m
[[35mlola[0m][.] [1m[32mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[31mBridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-15: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 69 EF FNDP 316/3580 0/5 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 169239 attempts, .
[[35mlola[0m][.] 71 EF EXCL 89/3353 23/2000 BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 6408482 m, 70266 m/sec, 20820021 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 336 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 71 (type EXCL) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 6501257
[[35mlola[0m][I] fired transitions : 21106602
[[35mlola[0m][I] time used : 90
[[35mlola[0m][I] memory pages used : 23
[[35mlola[0m][W] CANCELED task # 69 (type FNDP) for BridgeAndVehicles-PT-V20P10N10-ReachabilityFireability-2024-04 (obsolete)
[[35mlola[0m][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-PT-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-PT-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-171620400300183"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V20P10N10.tgz
mv BridgeAndVehicles-PT-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 '
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 ;