About the Execution of LoLA for FireWire-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2009.283 | 313233.00 | 1012019.00 | 484.60 | FTTFTTFTTFFTFFFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r551-tall-171734899700246.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is FireWire-PT-10, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r551-tall-171734899700246
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 620K
-rw-r--r-- 1 mcc users 7.2K Jun 2 17:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Jun 2 17:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Jun 2 17:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Jun 2 17:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Jun 2 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Jun 2 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Jun 2 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Jun 2 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 2 16:33 NewModel
-rw-r--r-- 1 mcc users 15K Jun 2 17:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 178K Jun 2 17:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Jun 2 17:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Jun 2 17:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Jun 2 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Jun 2 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 2 16:33 equiv_col
-rw-r--r-- 1 mcc users 3 Jun 2 16:33 instance
-rw-r--r-- 1 mcc users 6 Jun 2 16:33 iscolored
-rw-r--r-- 1 mcc users 101K Jun 2 16:33 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 FireWire-PT-10-ReachabilityCardinality-2024-00
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-01
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-02
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-03
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-04
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-05
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-06
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-07
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-08
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-09
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-10
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-11
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-12
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-13
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-14
FORMULA_NAME FireWire-PT-10-ReachabilityCardinality-2024-15
=== Now, execution of the tool begins
BK_START 1717416527235
starting LoLA
BK_EXAMINATION: ReachabilityCardinality
BK_TIME_CONFINEMENT: 3600
BK_MEMORY_CONFINEMENT: 16384
BK_BIN_PATH: /home/mcc/BenchKit/bin/
current directory: /home/mcc/execution
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FireWire-PT-10-ReachabilityCardinality-2024-02 TRUE 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-02: AG true state space[0m
[[35mlola[0m] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m]
[[35mlola[0m] Time elapsed: 313 secs. Pages in use: 34
BK_STOP 1717416840468
--------------------
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[34mReachabilityCardinality.xml[0m
[[35mlola[0m][I] LAUNCH task # 13 (type CNST) for 12 FireWire-PT-10-ReachabilityCardinality-2024-04
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 34 (type CNST) for 33 FireWire-PT-10-ReachabilityCardinality-2024-11
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 1 (type CNST) for 0 FireWire-PT-10-ReachabilityCardinality-2024-00
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 4 (type CNST) for 3 FireWire-PT-10-ReachabilityCardinality-2024-01
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 13 (type CNST) for FireWire-PT-10-ReachabilityCardinality-2024-04
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 34 (type CNST) for FireWire-PT-10-ReachabilityCardinality-2024-11
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 4 (type CNST) for FireWire-PT-10-ReachabilityCardinality-2024-01
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 1 (type CNST) for FireWire-PT-10-ReachabilityCardinality-2024-00
[[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 21 FireWire-PT-10-ReachabilityCardinality-2024-07
[[35mlola[0m][I] time limit : 295 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 21 FireWire-PT-10-ReachabilityCardinality-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 21 FireWire-PT-10-ReachabilityCardinality-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 52 (type FNDP) for 27 FireWire-PT-10-ReachabilityCardinality-2024-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 49 (type EQUN) for FireWire-PT-10-ReachabilityCardinality-2024-07
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] LAUNCH task # 63 (type FNDP) for 9 FireWire-PT-10-ReachabilityCardinality-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 63 (type FNDP) for FireWire-PT-10-ReachabilityCardinality-2024-03
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 2356
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 70 (type FNDP) for 24 FireWire-PT-10-ReachabilityCardinality-2024-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 52 (type FNDP) for FireWire-PT-10-ReachabilityCardinality-2024-09
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 952
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 55 (type FNDP) for 18 FireWire-PT-10-ReachabilityCardinality-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 FireWire-PT-10-ReachabilityCardinality-2024-07
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 3620
[[35mlola[0m][I] time used : 2
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 50 (type EXCL) for FireWire-PT-10-ReachabilityCardinality-2024-07 (obsolete)
[[35mlola[0m][I] LAUNCH task # 76 (type EXCL) for 39 FireWire-PT-10-ReachabilityCardinality-2024-13
[[35mlola[0m][I] time limit : 394 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 59 (type FNDP) for 6 FireWire-PT-10-ReachabilityCardinality-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 70 (type FNDP) for FireWire-PT-10-ReachabilityCardinality-2024-08
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 21060
[[35mlola[0m][I] time used : 3
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 85 (type FNDP) for 36 FireWire-PT-10-ReachabilityCardinality-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 85 (type FNDP) for FireWire-PT-10-ReachabilityCardinality-2024-12
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1736
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 89 (type FNDP) for 45 FireWire-PT-10-ReachabilityCardinality-2024-15
[[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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: 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][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-10: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-13: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 4/885 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 9403 attempts, .
[[35mlola[0m][.] 59 EF FNDP 3/708 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 8595 attempts, .
[[35mlola[0m][.] 76 EF EXCL 3/506 2/2000 FireWire-PT-10-ReachabilityCardinality-2024-13 282291 m, 56458 m/sec, 885452 t fired, .
[[35mlola[0m][.] 89 EF FNDP 2/709 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 12734 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 56 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 76 (type EXCL) for FireWire-PT-10-ReachabilityCardinality-2024-13
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 501838
[[35mlola[0m][I] fired transitions : 1567714
[[35mlola[0m][I] time used : 5
[[35mlola[0m][I] memory pages used : 2
[[35mlola[0m][I] LAUNCH task # 69 (type EXCL) for 42 FireWire-PT-10-ReachabilityCardinality-2024-14
[[35mlola[0m][I] time limit : 590 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 69 (type EXCL) for FireWire-PT-10-ReachabilityCardinality-2024-14
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 27
[[35mlola[0m][I] fired transitions : 27
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 80 (type EXCL) for 30 FireWire-PT-10-ReachabilityCardinality-2024-10
[[35mlola[0m][I] time limit : 708 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 80 (type EXCL) for FireWire-PT-10-ReachabilityCardinality-2024-10
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 1232
[[35mlola[0m][I] fired transitions : 2239
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 83 (type EXCL) for 15 FireWire-PT-10-ReachabilityCardinality-2024-05
[[35mlola[0m][I] time limit : 885 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-05: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 9/1768 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 19668 attempts, .
[[35mlola[0m][.] 59 EF FNDP 8/1177 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 22463 attempts, .
[[35mlola[0m][.] 83 EF EXCL 3/885 1/2000 FireWire-PT-10-ReachabilityCardinality-2024-05 252218 m, 50443 m/sec, 792015 t fired, .
[[35mlola[0m][.] 89 EF FNDP 7/1178 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 51438 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 61 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 83 (type EXCL) for FireWire-PT-10-ReachabilityCardinality-2024-05
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 501837
[[35mlola[0m][I] fired transitions : 1567790
[[35mlola[0m][I] time used : 7
[[35mlola[0m][I] memory pages used : 2
[[35mlola[0m][I] LAUNCH task # 91 (type EXCL) for 45 FireWire-PT-10-ReachabilityCardinality-2024-15
[[35mlola[0m][I] time limit : 1178 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 14/1761 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 30231 attempts, .
[[35mlola[0m][.] 59 EF FNDP 13/1761 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 36512 attempts, .
[[35mlola[0m][.] 89 EF FNDP 12/1762 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 70300 attempts, .
[[35mlola[0m][.] 91 EF EXCL 1/1178 1/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 70728 m, 14145 m/sec, 226104 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 66 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 19/1760 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 40865 attempts, .
[[35mlola[0m][.] 59 EF FNDP 18/1760 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 51192 attempts, .
[[35mlola[0m][.] 89 EF FNDP 17/1761 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 78960 attempts, .
[[35mlola[0m][.] 91 EF EXCL 6/1178 2/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 309110 m, 47676 m/sec, 958934 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 71 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 24/1755 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 51726 attempts, .
[[35mlola[0m][.] 59 EF FNDP 23/1755 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 65531 attempts, .
[[35mlola[0m][.] 89 EF FNDP 22/1756 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 87294 attempts, .
[[35mlola[0m][.] 91 EF EXCL 11/1178 2/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 542181 m, 46614 m/sec, 1684998 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 76 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 29/1750 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 62349 attempts, .
[[35mlola[0m][.] 59 EF FNDP 28/1750 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 79653 attempts, .
[[35mlola[0m][.] 89 EF FNDP 27/1751 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 95714 attempts, .
[[35mlola[0m][.] 91 EF EXCL 16/1178 3/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 768813 m, 45326 m/sec, 2458139 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 81 secs. Pages in use: 3
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 34/1745 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 72918 attempts, .
[[35mlola[0m][.] 59 EF FNDP 33/1745 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 93760 attempts, .
[[35mlola[0m][.] 89 EF FNDP 32/1746 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 103811 attempts, .
[[35mlola[0m][.] 91 EF EXCL 21/1178 4/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 976923 m, 41622 m/sec, 3243208 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 86 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 39/1740 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 83294 attempts, .
[[35mlola[0m][.] 59 EF FNDP 38/1740 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 108053 attempts, .
[[35mlola[0m][.] 89 EF FNDP 37/1741 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 111874 attempts, .
[[35mlola[0m][.] 91 EF EXCL 26/1178 5/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 1198814 m, 44378 m/sec, 4040223 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 91 secs. Pages in use: 5
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 44/1735 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 93387 attempts, .
[[35mlola[0m][.] 59 EF FNDP 43/1735 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 122321 attempts, .
[[35mlola[0m][.] 89 EF FNDP 42/1736 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 119774 attempts, .
[[35mlola[0m][.] 91 EF EXCL 31/1178 5/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 1435663 m, 47369 m/sec, 4879968 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 96 secs. Pages in use: 5
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 49/1730 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 104051 attempts, .
[[35mlola[0m][.] 59 EF FNDP 48/1730 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 136666 attempts, .
[[35mlola[0m][.] 89 EF FNDP 47/1731 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 127846 attempts, .
[[35mlola[0m][.] 91 EF EXCL 36/1178 6/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 1646124 m, 42092 m/sec, 5791596 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 101 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 54/1725 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 114570 attempts, .
[[35mlola[0m][.] 59 EF FNDP 53/1725 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 150996 attempts, .
[[35mlola[0m][.] 89 EF FNDP 52/1726 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 135948 attempts, .
[[35mlola[0m][.] 91 EF EXCL 41/1178 7/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 1872318 m, 45238 m/sec, 6529359 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 106 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 59/1720 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 125250 attempts, .
[[35mlola[0m][.] 59 EF FNDP 58/1720 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 165255 attempts, .
[[35mlola[0m][.] 89 EF FNDP 57/1721 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 144249 attempts, .
[[35mlola[0m][.] 91 EF EXCL 46/1178 8/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 2075506 m, 40637 m/sec, 7318682 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 111 secs. Pages in use: 8
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 64/1715 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 135772 attempts, .
[[35mlola[0m][.] 59 EF FNDP 63/1715 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 179300 attempts, .
[[35mlola[0m][.] 89 EF FNDP 62/1716 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 152642 attempts, .
[[35mlola[0m][.] 91 EF EXCL 51/1178 8/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 2284664 m, 41831 m/sec, 8129270 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 116 secs. Pages in use: 8
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 69/1710 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 146572 attempts, .
[[35mlola[0m][.] 59 EF FNDP 68/1710 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 193569 attempts, .
[[35mlola[0m][.] 89 EF FNDP 67/1711 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 160741 attempts, .
[[35mlola[0m][.] 91 EF EXCL 56/1178 9/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 2511623 m, 45391 m/sec, 8809260 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 121 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 74/1705 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 156731 attempts, .
[[35mlola[0m][.] 59 EF FNDP 73/1705 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 207248 attempts, .
[[35mlola[0m][.] 89 EF FNDP 72/1706 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 169313 attempts, .
[[35mlola[0m][.] 91 EF EXCL 61/1178 10/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 2740829 m, 45841 m/sec, 9499905 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 126 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 79/1700 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 167376 attempts, .
[[35mlola[0m][.] 59 EF FNDP 78/1700 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 221136 attempts, .
[[35mlola[0m][.] 89 EF FNDP 77/1701 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 177432 attempts, .
[[35mlola[0m][.] 91 EF EXCL 66/1178 11/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 2969456 m, 45725 m/sec, 10249274 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 131 secs. Pages in use: 11
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 84/1695 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 177596 attempts, .
[[35mlola[0m][.] 59 EF FNDP 83/1695 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 235387 attempts, .
[[35mlola[0m][.] 89 EF FNDP 82/1696 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 185485 attempts, .
[[35mlola[0m][.] 91 EF EXCL 71/1178 12/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 3176760 m, 41460 m/sec, 11021907 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 136 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 89/1690 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 188177 attempts, .
[[35mlola[0m][.] 59 EF FNDP 88/1690 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 249484 attempts, .
[[35mlola[0m][.] 89 EF FNDP 87/1691 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 193688 attempts, .
[[35mlola[0m][.] 91 EF EXCL 76/1178 12/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 3401714 m, 44990 m/sec, 11695415 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 141 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 94/1685 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 198629 attempts, .
[[35mlola[0m][.] 59 EF FNDP 93/1685 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 263622 attempts, .
[[35mlola[0m][.] 89 EF FNDP 92/1686 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 201642 attempts, .
[[35mlola[0m][.] 91 EF EXCL 81/1178 13/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 3628691 m, 45395 m/sec, 12378907 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 146 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 99/1680 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 209355 attempts, .
[[35mlola[0m][.] 59 EF FNDP 98/1680 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 277719 attempts, .
[[35mlola[0m][.] 89 EF FNDP 97/1681 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 209897 attempts, .
[[35mlola[0m][.] 91 EF EXCL 86/1178 14/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 3841151 m, 42492 m/sec, 13142804 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 151 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 104/1675 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 219855 attempts, .
[[35mlola[0m][.] 59 EF FNDP 103/1675 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 291951 attempts, .
[[35mlola[0m][.] 89 EF FNDP 102/1676 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 217866 attempts, .
[[35mlola[0m][.] 91 EF EXCL 91/1178 15/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 4061923 m, 44154 m/sec, 13853902 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 156 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 109/1670 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 230654 attempts, .
[[35mlola[0m][.] 59 EF FNDP 108/1670 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 306272 attempts, .
[[35mlola[0m][.] 89 EF FNDP 107/1671 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 225994 attempts, .
[[35mlola[0m][.] 91 EF EXCL 96/1178 15/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 4283668 m, 44349 m/sec, 14520171 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 161 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 114/1665 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 241328 attempts, .
[[35mlola[0m][.] 59 EF FNDP 113/1665 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 320702 attempts, .
[[35mlola[0m][.] 89 EF FNDP 112/1666 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 233642 attempts, .
[[35mlola[0m][.] 91 EF EXCL 101/1178 16/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 4497412 m, 42748 m/sec, 15311366 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 166 secs. Pages in use: 16
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 119/1660 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 251736 attempts, .
[[35mlola[0m][.] 59 EF FNDP 118/1660 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 334599 attempts, .
[[35mlola[0m][.] 89 EF FNDP 117/1661 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 241735 attempts, .
[[35mlola[0m][.] 91 EF EXCL 106/1178 17/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 4705113 m, 41540 m/sec, 16122820 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 171 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 124/1655 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 261789 attempts, .
[[35mlola[0m][.] 59 EF FNDP 123/1655 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 354186 attempts, .
[[35mlola[0m][.] 89 EF FNDP 122/1656 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 253213 attempts, .
[[35mlola[0m][.] 91 EF EXCL 111/1178 18/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 5100276 m, 79032 m/sec, 17478717 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 176 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 129/1650 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 271674 attempts, .
[[35mlola[0m][.] 59 EF FNDP 128/1650 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 381157 attempts, .
[[35mlola[0m][.] 89 EF FNDP 127/1651 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 260959 attempts, .
[[35mlola[0m][.] 91 EF EXCL 116/1178 19/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 5476400 m, 75224 m/sec, 18902476 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 181 secs. Pages in use: 19
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 134/1645 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 281564 attempts, .
[[35mlola[0m][.] 59 EF FNDP 133/1645 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 408765 attempts, .
[[35mlola[0m][.] 89 EF FNDP 132/1646 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 268457 attempts, .
[[35mlola[0m][.] 91 EF EXCL 121/1178 21/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 5888415 m, 82403 m/sec, 20399845 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 186 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 139/1640 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 291405 attempts, .
[[35mlola[0m][.] 59 EF FNDP 138/1640 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 436053 attempts, .
[[35mlola[0m][.] 89 EF FNDP 137/1641 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 275922 attempts, .
[[35mlola[0m][.] 91 EF EXCL 126/1178 22/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 6327944 m, 87905 m/sec, 21766756 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 191 secs. Pages in use: 22
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 144/1635 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 301326 attempts, .
[[35mlola[0m][.] 59 EF FNDP 143/1635 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 463627 attempts, .
[[35mlola[0m][.] 89 EF FNDP 142/1636 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 283500 attempts, .
[[35mlola[0m][.] 91 EF EXCL 131/1178 24/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 6762108 m, 86832 m/sec, 23125555 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 196 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[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 149/1630 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 311245 attempts, .
[[35mlola[0m][.] 59 EF FNDP 148/1630 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 490849 attempts, .
[[35mlola[0m][.] 89 EF FNDP 147/1631 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 290972 attempts, .
[[35mlola[0m][.] 91 EF EXCL 136/1178 25/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 7168660 m, 81310 m/sec, 24709769 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 201 secs. Pages in use: 25
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 154/1625 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 321165 attempts, .
[[35mlola[0m][.] 59 EF FNDP 153/1625 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 517928 attempts, .
[[35mlola[0m][.] 89 EF FNDP 152/1626 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 298774 attempts, .
[[35mlola[0m][.] 91 EF EXCL 141/1178 27/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 7599128 m, 86093 m/sec, 26125670 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 206 secs. Pages in use: 27
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 159/1620 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 331071 attempts, .
[[35mlola[0m][.] 59 EF FNDP 158/1620 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 544905 attempts, .
[[35mlola[0m][.] 89 EF FNDP 157/1621 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 306267 attempts, .
[[35mlola[0m][.] 91 EF EXCL 146/1178 28/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 8012028 m, 82580 m/sec, 27769974 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 211 secs. Pages in use: 28
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 164/1615 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 341259 attempts, .
[[35mlola[0m][.] 59 EF FNDP 163/1615 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 571537 attempts, .
[[35mlola[0m][.] 89 EF FNDP 162/1616 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 313939 attempts, .
[[35mlola[0m][.] 91 EF EXCL 151/1178 30/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 8418417 m, 81277 m/sec, 29340410 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 216 secs. Pages in use: 30
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 169/1610 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 351252 attempts, .
[[35mlola[0m][.] 59 EF FNDP 168/1610 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 598687 attempts, .
[[35mlola[0m][.] 89 EF FNDP 167/1611 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 321736 attempts, .
[[35mlola[0m][.] 91 EF EXCL 156/1178 31/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 8816024 m, 79521 m/sec, 30831034 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 221 secs. Pages in use: 31
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 174/1605 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 361026 attempts, .
[[35mlola[0m][.] 59 EF FNDP 173/1605 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 625669 attempts, .
[[35mlola[0m][.] 89 EF FNDP 172/1606 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 329460 attempts, .
[[35mlola[0m][.] 91 EF EXCL 161/1178 32/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 9235420 m, 83879 m/sec, 32213512 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 226 secs. Pages in use: 32
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-15: AG 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][.] 55 EF FNDP 179/1600 0/5 FireWire-PT-10-ReachabilityCardinality-2024-06 371104 attempts, .
[[35mlola[0m][.] 59 EF FNDP 178/1600 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 652734 attempts, .
[[35mlola[0m][.] 89 EF FNDP 177/1601 0/5 FireWire-PT-10-ReachabilityCardinality-2024-15 337068 attempts, .
[[35mlola[0m][.] 91 EF EXCL 166/1178 34/2000 FireWire-PT-10-ReachabilityCardinality-2024-15 9634001 m, 79716 m/sec, 33738030 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 231 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 91 (type EXCL) for FireWire-PT-10-ReachabilityCardinality-2024-15
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 9801599
[[35mlola[0m][I] fired transitions : 34329313
[[35mlola[0m][I] time used : 168
[[35mlola[0m][I] memory pages used : 34
[[35mlola[0m][W] CANCELED task # 89 (type FNDP) for FireWire-PT-10-ReachabilityCardinality-2024-15 (obsolete)
[[35mlola[0m][I] LAUNCH task # 61 (type EXCL) for 6 FireWire-PT-10-ReachabilityCardinality-2024-02
[[35mlola[0m][I] time limit : 1683 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 56 (type EQUN) for 18 FireWire-PT-10-ReachabilityCardinality-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 89 (type FNDP) for FireWire-PT-10-ReachabilityCardinality-2024-15
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 340302
[[35mlola[0m][I] time used : 179
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 56 (type EQUN) for FireWire-PT-10-ReachabilityCardinality-2024-06
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 55 (type FNDP) for FireWire-PT-10-ReachabilityCardinality-2024-06 (obsolete)
[[35mlola[0m][I] LAUNCH task # 60 (type EQUN) for 6 FireWire-PT-10-ReachabilityCardinality-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 55 (type FNDP) for FireWire-PT-10-ReachabilityCardinality-2024-06
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 375791
[[35mlola[0m][I] time used : 181
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 183/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 680831 attempts, .
[[35mlola[0m][.] 60 EF STEQ 3/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 3/3367 1/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 240008 m, 48001 m/sec, 772290 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 236 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 188/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 710350 attempts, .
[[35mlola[0m][.] 60 EF STEQ 8/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 8/3367 3/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 669941 m, 85986 m/sec, 2123881 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 241 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 193/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 739156 attempts, .
[[35mlola[0m][.] 60 EF STEQ 13/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 13/3367 4/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 1080899 m, 82191 m/sec, 3628309 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 246 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 198/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 768580 attempts, .
[[35mlola[0m][.] 60 EF STEQ 18/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 18/3367 6/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 1519046 m, 87629 m/sec, 5067261 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 251 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 203/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 797832 attempts, .
[[35mlola[0m][.] 60 EF STEQ 23/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 23/3367 7/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 1936627 m, 83516 m/sec, 6440557 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 256 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 208/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 827379 attempts, .
[[35mlola[0m][.] 60 EF STEQ 28/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 28/3367 9/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 2362710 m, 85216 m/sec, 7740940 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 261 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 213/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 857100 attempts, .
[[35mlola[0m][.] 60 EF STEQ 33/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 33/3367 10/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 2787913 m, 85040 m/sec, 9077840 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 266 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 218/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 886553 attempts, .
[[35mlola[0m][.] 60 EF STEQ 38/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 38/3367 12/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 3213718 m, 85161 m/sec, 10382222 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 271 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 223/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 916068 attempts, .
[[35mlola[0m][.] 60 EF STEQ 43/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 43/3367 13/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 3628626 m, 82981 m/sec, 11797797 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 276 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 228/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 945463 attempts, .
[[35mlola[0m][.] 60 EF STEQ 48/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 48/3367 14/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 4013215 m, 76917 m/sec, 13205383 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 281 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 233/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 974817 attempts, .
[[35mlola[0m][.] 60 EF STEQ 53/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 53/3367 16/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 4427750 m, 82907 m/sec, 14636882 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 286 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 238/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 1003937 attempts, .
[[35mlola[0m][.] 60 EF STEQ 58/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 58/3367 17/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 4870511 m, 88552 m/sec, 16119789 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 291 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 243/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 1033109 attempts, .
[[35mlola[0m][.] 60 EF STEQ 63/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 63/3367 19/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 5294449 m, 84787 m/sec, 17422625 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 296 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 248/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 1062021 attempts, .
[[35mlola[0m][.] 60 EF STEQ 68/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 68/3367 20/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 5709784 m, 83067 m/sec, 18771931 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 301 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 253/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 1090955 attempts, .
[[35mlola[0m][.] 60 EF STEQ 73/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 73/3367 22/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 6170837 m, 92210 m/sec, 20060807 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 306 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-03: AG false findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-04: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-05: EF true state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-06: EF false state equation[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-07: EF true findpath[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-08: EF true findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-09: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-10: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-11: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mFireWire-PT-10-ReachabilityCardinality-2024-14: AG false state space[0m
[[35mlola[0m][.] [1m[32mFireWire-PT-10-ReachabilityCardinality-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FireWire-PT-10-ReachabilityCardinality-2024-02: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 EF FNDP 258/3547 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 1119943 attempts, .
[[35mlola[0m][.] 60 EF STEQ 78/3367 0/5 FireWire-PT-10-ReachabilityCardinality-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 61 EF EXCL 78/3367 23/2000 FireWire-PT-10-ReachabilityCardinality-2024-02 6561688 m, 78170 m/sec, 21466350 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 311 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 61 (type EXCL) for FireWire-PT-10-ReachabilityCardinality-2024-02
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 6715773
[[35mlola[0m][I] fired transitions : 21991537
[[35mlola[0m][I] time used : 80
[[35mlola[0m][I] memory pages used : 24
[[35mlola[0m][W] CANCELED task # 59 (type FNDP) for FireWire-PT-10-ReachabilityCardinality-2024-02 (obsolete)
[[35mlola[0m][W] CANCELED task # 60 (type EQUN) for FireWire-PT-10-ReachabilityCardinality-2024-02 (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="FireWire-PT-10"
export BK_EXAMINATION="ReachabilityCardinality"
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 FireWire-PT-10, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r551-tall-171734899700246"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FireWire-PT-10.tgz
mv FireWire-PT-10 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;