Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2024-input.r291-tajo-171654447900263.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2024-input.qcow2' backing_fmt='qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is PolyORBLF-PT-S02J06T10, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r291-tajo-171654447900263
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 34K Apr 11 17:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 179K Apr 11 17:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 35K Apr 11 17:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 170K Apr 11 17:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 18 16:43 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 14K Apr 23 07:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Apr 23 07:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 26K Apr 23 07:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 92K Apr 23 07:43 LTLFireability.xml
-rw-r--r-- 1 mcc users 48K Apr 11 17:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 223K Apr 11 17:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 38K Apr 11 17:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 191K Apr 11 17:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 23 07:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.2K Apr 23 07:43 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 10 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 1.1M May 18 16:43 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 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14
FORMULA_NAME PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717060162497

FORMULA PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1717060325645

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

[lola][I] LoLA will run for 3600 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] Reading formula.
[lola][I] Using XML format (--xmlformula)
[lola][I] reading XML formula
[lola][I] reading formula from ReachabilityFireability.xml
[lola][I] Rule S: 0 transitions removed,0 places removed
[lola][I] LAUNCH task # 50 (type EXCL) for 45 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15
[lola][I] time limit : 223 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 48 (type FNDP) for 45 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 49 (type EQUN) for 45 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 51 (type FNDP) for 0 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 50 (type EXCL) for PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15
[lola][I] result : true
[lola][I] markings : 110
[lola][I] fired transitions : 109
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 48 (type FNDP) for PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15 (obsolete)
[lola][W] CANCELED task # 49 (type EQUN) for PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15 (obsolete)
[lola][I] LAUNCH task # 62 (type EXCL) for 9 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03
[lola][I] time limit : 238 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 57 (type FNDP) for 15 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 58 (type EQUN) for 15 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 57 (type FNDP) for PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 58 (type EQUN) for PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05 (obsolete)
[lola][I] LAUNCH task # 67 (type FNDP) for 12 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 68 (type EQUN) for 12 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 62 (type EXCL) for PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03
[lola][I] result : true
[lola][I] markings : 13
[lola][I] fired transitions : 12
[lola][I] time used : 1
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 76 (type EXCL) for 33 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11
[lola][I] time limit : 275 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 48 (type FNDP) for PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 76 (type EXCL) for PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11
[lola][I] result : true
[lola][I] markings : 139
[lola][I] fired transitions : 138
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 93 (type EXCL) for 24 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08
[lola][I] time limit : 298 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 93 (type EXCL) for PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08
[lola][I] result : true
[lola][I] markings : 135
[lola][I] fired transitions : 134
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 72 (type EXCL) for 27 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09
[lola][I] time limit : 325 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 72 (type EXCL) for PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09
[lola][I] result : true
[lola][I] markings : 1143
[lola][I] fired transitions : 1169
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 86 (type EXCL) for 36 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12
[lola][I] time limit : 358 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 86 (type EXCL) for PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12
[lola][I] result : true
[lola][I] markings : 178
[lola][I] fired transitions : 177
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 90 (type EXCL) for 30 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10
[lola][I] time limit : 397 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 4/595 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 74 attempts, .
[lola][.] 67 EF FNDP 4/595 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 1 attempts, .
[lola][.] 68 EF STEQ 4/595 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 3/397 1/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 40780 m, 8156 m/sec, 45324 t fired, .
[lola][.]
[lola][.] Time elapsed: 23 secs. Pages in use: 1
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 9/592 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 121 attempts, .
[lola][.] 67 EF FNDP 9/592 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 1 attempts, .
[lola][.] 68 EF STEQ 9/592 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 8/397 2/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 105658 m, 12975 m/sec, 116322 t fired, .
[lola][.]
[lola][.] Time elapsed: 28 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 14/587 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 173 attempts, .
[lola][.] 67 EF FNDP 14/587 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 1 attempts, .
[lola][.] 68 EF STEQ 14/587 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 13/397 3/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 207101 m, 20288 m/sec, 225355 t fired, .
[lola][.]
[lola][.] Time elapsed: 33 secs. Pages in use: 3
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 19/582 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 207 attempts, .
[lola][.] 67 EF FNDP 19/582 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 1 attempts, .
[lola][.] 68 EF STEQ 19/582 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 18/397 4/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 322589 m, 23097 m/sec, 351462 t fired, .
[lola][.]
[lola][.] Time elapsed: 38 secs. Pages in use: 4
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 24/577 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 272 attempts, .
[lola][.] 67 EF FNDP 24/577 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 2 attempts, .
[lola][.] 68 EF STEQ 24/577 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 23/397 5/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 414386 m, 18359 m/sec, 450008 t fired, .
[lola][.]
[lola][.] Time elapsed: 43 secs. Pages in use: 5
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 29/572 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 342 attempts, .
[lola][.] 67 EF FNDP 29/572 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 2 attempts, .
[lola][.] 68 EF STEQ 29/572 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 28/397 6/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 513266 m, 19776 m/sec, 555435 t fired, .
[lola][.]
[lola][.] Time elapsed: 48 secs. Pages in use: 6
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 34/567 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 392 attempts, .
[lola][.] 67 EF FNDP 34/567 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 7 attempts, .
[lola][.] 68 EF STEQ 34/567 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 33/397 7/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 602671 m, 17881 m/sec, 652318 t fired, .
[lola][.]
[lola][.] Time elapsed: 53 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 39/562 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 443 attempts, .
[lola][.] 67 EF FNDP 39/562 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 9 attempts, .
[lola][.] 68 EF STEQ 39/562 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 38/397 8/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 681362 m, 15738 m/sec, 739392 t fired, .
[lola][.]
[lola][.] Time elapsed: 58 secs. Pages in use: 8
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 44/557 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 497 attempts, .
[lola][.] 67 EF FNDP 44/557 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 15 attempts, .
[lola][.] 68 EF STEQ 44/557 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 43/397 9/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 772056 m, 18138 m/sec, 838761 t fired, .
[lola][.]
[lola][.] Time elapsed: 63 secs. Pages in use: 9
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 49/552 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 539 attempts, .
[lola][.] 67 EF FNDP 49/552 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 19 attempts, .
[lola][.] 68 EF STEQ 49/552 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 48/397 10/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 867333 m, 19055 m/sec, 942184 t fired, .
[lola][.]
[lola][.] Time elapsed: 68 secs. Pages in use: 10
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 54/547 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 586 attempts, .
[lola][.] 67 EF FNDP 54/547 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 33 attempts, .
[lola][.] 68 EF STEQ 54/547 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 53/397 10/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 959581 m, 18449 m/sec, 1042518 t fired, .
[lola][.]
[lola][.] Time elapsed: 73 secs. Pages in use: 10
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 59/542 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 618 attempts, .
[lola][.] 67 EF FNDP 59/542 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 43 attempts, .
[lola][.] 68 EF STEQ 59/542 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 58/397 11/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 1047044 m, 17492 m/sec, 1135873 t fired, .
[lola][.]
[lola][.] Time elapsed: 78 secs. Pages in use: 11
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 64/537 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 645 attempts, .
[lola][.] 67 EF FNDP 64/537 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 54 attempts, .
[lola][.] 68 EF STEQ 64/537 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 63/397 12/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 1120086 m, 14608 m/sec, 1214034 t fired, .
[lola][.]
[lola][.] Time elapsed: 83 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 69/532 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 704 attempts, .
[lola][.] 67 EF FNDP 69/532 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 61 attempts, .
[lola][.] 68 EF STEQ 69/532 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 68/397 13/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 1201827 m, 16348 m/sec, 1302141 t fired, .
[lola][.]
[lola][.] Time elapsed: 88 secs. Pages in use: 13
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 74/527 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 747 attempts, .
[lola][.] 67 EF FNDP 74/527 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 83 attempts, .
[lola][.] 68 EF STEQ 74/527 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 73/397 14/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 1328574 m, 25349 m/sec, 1437806 t fired, .
[lola][.]
[lola][.] Time elapsed: 93 secs. Pages in use: 14
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 79/522 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 787 attempts, .
[lola][.] 67 EF FNDP 79/522 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 117 attempts, .
[lola][.] 68 EF STEQ 79/522 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 78/397 15/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 1468508 m, 27986 m/sec, 1587966 t fired, .
[lola][.]
[lola][.] Time elapsed: 98 secs. Pages in use: 15
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 84/517 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 843 attempts, .
[lola][.] 67 EF FNDP 84/517 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 138 attempts, .
[lola][.] 68 EF STEQ 84/517 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 83/397 17/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 1605866 m, 27471 m/sec, 1735690 t fired, .
[lola][.]
[lola][.] Time elapsed: 103 secs. Pages in use: 17
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 89/512 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 887 attempts, .
[lola][.] 67 EF FNDP 89/512 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 173 attempts, .
[lola][.] 68 EF STEQ 89/512 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 88/397 18/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 1736171 m, 26061 m/sec, 1876614 t fired, .
[lola][.]
[lola][.] Time elapsed: 108 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 94/507 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 933 attempts, .
[lola][.] 67 EF FNDP 94/507 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 207 attempts, .
[lola][.] 68 EF STEQ 94/507 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 93/397 20/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 1868415 m, 26448 m/sec, 2019360 t fired, .
[lola][.]
[lola][.] Time elapsed: 113 secs. Pages in use: 20
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 99/502 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 970 attempts, .
[lola][.] 67 EF FNDP 99/502 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 241 attempts, .
[lola][.] 68 EF STEQ 99/502 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 98/397 21/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 2003265 m, 26970 m/sec, 2168788 t fired, .
[lola][.]
[lola][.] Time elapsed: 118 secs. Pages in use: 21
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 104/497 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 1011 attempts, .
[lola][.] 67 EF FNDP 104/497 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 278 attempts, .
[lola][.] 68 EF STEQ 104/497 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 103/397 22/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 2126693 m, 24685 m/sec, 2304648 t fired, .
[lola][.]
[lola][.] Time elapsed: 123 secs. Pages in use: 22
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 109/492 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 1059 attempts, .
[lola][.] 67 EF FNDP 109/492 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 318 attempts, .
[lola][.] 68 EF STEQ 109/492 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 108/397 23/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 2258812 m, 26423 m/sec, 2449789 t fired, .
[lola][.]
[lola][.] Time elapsed: 128 secs. Pages in use: 23
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 114/487 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 1112 attempts, .
[lola][.] 67 EF FNDP 114/487 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 344 attempts, .
[lola][.] 68 EF STEQ 114/487 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 113/397 25/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 2394543 m, 27146 m/sec, 2597659 t fired, .
[lola][.]
[lola][.] Time elapsed: 133 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 119/482 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 1161 attempts, .
[lola][.] 67 EF FNDP 119/482 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 371 attempts, .
[lola][.] 68 EF STEQ 119/482 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 118/397 26/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 2481276 m, 17346 m/sec, 2694345 t fired, .
[lola][.]
[lola][.] Time elapsed: 138 secs. Pages in use: 26
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 124/477 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 1186 attempts, .
[lola][.] 67 EF FNDP 124/477 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 401 attempts, .
[lola][.] 68 EF STEQ 124/477 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 123/397 27/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 2581833 m, 20111 m/sec, 2806868 t fired, .
[lola][.]
[lola][.] Time elapsed: 143 secs. Pages in use: 27
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 129/472 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 1224 attempts, .
[lola][.] 67 EF FNDP 129/472 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 438 attempts, .
[lola][.] 68 EF STEQ 129/472 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 128/397 27/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 2668418 m, 17317 m/sec, 2902219 t fired, .
[lola][.]
[lola][.] Time elapsed: 148 secs. Pages in use: 27
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 134/467 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 1264 attempts, .
[lola][.] 67 EF FNDP 134/467 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 474 attempts, .
[lola][.] 68 EF STEQ 134/467 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 133/397 28/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 2761521 m, 18620 m/sec, 3007764 t fired, .
[lola][.]
[lola][.] Time elapsed: 153 secs. Pages in use: 28
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-03: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-05: EF true findpath
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-08: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-09: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-11: AG false state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-12: EF true state space
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-01: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04: AG 0 1 2 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-07: AG 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[lola][.] PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 51 EF FNDP 139/462 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-00 1295 attempts, .
[lola][.] 67 EF FNDP 139/462 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 501 attempts, .
[lola][.] 68 EF STEQ 139/462 0/5 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-04 sara not yet started (preprocessing).
[lola][.] 90 EF EXCL 138/397 29/2000 PolyORBLF-PT-S02J06T10-ReachabilityFireability-2024-10 2856589 m, 19013 m/sec, 3116889 t fired, .
[lola][.]
[lola][.] Time elapsed: 158 secs. Pages in use: 29
[lola][.] # running tasks: 4 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 413 Segmentation fault $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S02J06T10"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool lola"
echo " Input is PolyORBLF-PT-S02J06T10, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r291-tajo-171654447900263"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S02J06T10.tgz
mv PolyORBLF-PT-S02J06T10 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;