fond
Model Checking Contest 2024
14th edition, Geneva, Switzerland, June 25, 2024
Execution of r203-smll-171649588600226
Last Updated
July 7, 2024

About the Execution of LoLA for HouseConstruction-PT-04000

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
0.000 610443.00 0.00 0.00 [undef] Cannot compute

Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r203-smll-171649588600226.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 HouseConstruction-PT-04000, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-171649588600226
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 424K
-rw-r--r-- 1 mcc users 6.1K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K May 19 07:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 19 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 19 07:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 18:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Apr 11 18:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K Apr 11 18:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Apr 11 18:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Apr 11 18:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 22 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 22 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 6 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 13K May 18 16:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2024-00
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2024-01
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2024-02
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2024-03
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2024-04
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2024-05
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2024-06
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2024-07
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2024-08
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2024-09
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2024-10
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2024-11
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2023-12
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2023-13
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2023-14
FORMULA_NAME HouseConstruction-PT-04000-CTLFireability-2023-15

=== Now, execution of the tool begins

BK_START 1717124165562


BK_STOP 1717124776005

--------------------
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 CTLFireability.xml
[lola][I] Rule S: 0 transitions removed,0 places removed
[lola][I] LAUNCH task # 56 (type CNST) for 29 HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 56 (type CNST) for HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] result : true
[lola][I] LAUNCH task # 50 (type CNST) for 29 HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 50 (type CNST) for HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] result : false
[lola][I] LAUNCH task # 91 (type EXCL) for 90 HouseConstruction-PT-04000-CTLFireability-2023-14
[lola][I] time limit : 100 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 100 (type EQUN) for 0 HouseConstruction-PT-04000-CTLFireability-2024-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 100 (type EQUN) for HouseConstruction-PT-04000-CTLFireability-2024-00
[lola][I] result : true
[lola][I] LAUNCH task # 102 (type FNDP) for 29 HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 103 (type EQUN) for 29 HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 102 (type FNDP) for HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 103 (type EQUN) for HouseConstruction-PT-04000-CTLFireability-2024-07 (obsolete)
[lola][I] LAUNCH task # 105 (type FNDP) for 29 HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 106 (type EQUN) for 29 HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 105 (type FNDP) for HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 106 (type EQUN) for HouseConstruction-PT-04000-CTLFireability-2024-07 (obsolete)
[lola][I] LAUNCH task # 113 (type EQUN) for 75 HouseConstruction-PT-04000-CTLFireability-2024-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 115 (type FNDP) for 29 HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 119 (type EQUN) for 29 HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 106 (type EQUN) for HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] result : true
[lola][I] FINISHED task # 103 (type EQUN) for HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] result : true
[lola][I] FINISHED task # 119 (type EQUN) for HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] result : true
[lola][W] CANCELED task # 115 (type FNDP) for HouseConstruction-PT-04000-CTLFireability-2024-07 (obsolete)
[lola][I] LAUNCH task # 125 (type EQUN) for 29 HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 127 (type EQUN) for 29 HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 115 (type FNDP) for HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 113 (type EQUN) for HouseConstruction-PT-04000-CTLFireability-2024-09
[lola][I] result : true
[lola][I] LAUNCH task # 118 (type EQUN) for 84 HouseConstruction-PT-04000-CTLFireability-2023-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 118 (type EQUN) for HouseConstruction-PT-04000-CTLFireability-2023-12
[lola][I] result : true
[lola][I] FINISHED task # 127 (type EQUN) for HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] result : unknown
[lola][I] FINISHED task # 125 (type EQUN) for HouseConstruction-PT-04000-CTLFireability-2024-07
[lola][I] result : true
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 5/163 19/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 4434211 m, 886842 m/sec, 5112806 t fired, .
[lola][.]
[lola][.] Time elapsed: 5 secs. Pages in use: 19
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 10/163 39/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 9105291 m, 934216 m/sec, 10422170 t fired, .
[lola][.]
[lola][.] Time elapsed: 10 secs. Pages in use: 39
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 15/163 56/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 13161126 m, 811167 m/sec, 14969178 t fired, .
[lola][.]
[lola][.] Time elapsed: 15 secs. Pages in use: 56
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 20/163 76/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 17978118 m, 963398 m/sec, 20313220 t fired, .
[lola][.]
[lola][.] Time elapsed: 20 secs. Pages in use: 76
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 25/163 96/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 22673676 m, 939111 m/sec, 25469302 t fired, .
[lola][.]
[lola][.] Time elapsed: 25 secs. Pages in use: 96
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 30/163 116/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 27259669 m, 917198 m/sec, 30464669 t fired, .
[lola][.]
[lola][.] Time elapsed: 30 secs. Pages in use: 116
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 35/163 135/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 31914980 m, 931062 m/sec, 35499737 t fired, .
[lola][.]
[lola][.] Time elapsed: 35 secs. Pages in use: 135
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 40/163 155/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 36522616 m, 921527 m/sec, 40454468 t fired, .
[lola][.]
[lola][.] Time elapsed: 40 secs. Pages in use: 155
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 45/163 174/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 41061635 m, 907803 m/sec, 45309598 t fired, .
[lola][.]
[lola][.] Time elapsed: 45 secs. Pages in use: 174
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 50/163 193/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 45551575 m, 897988 m/sec, 50088043 t fired, .
[lola][.]
[lola][.] Time elapsed: 50 secs. Pages in use: 193
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 55/163 213/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 50036503 m, 896985 m/sec, 54839557 t fired, .
[lola][.]
[lola][.] Time elapsed: 55 secs. Pages in use: 213
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 60/163 232/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 54536675 m, 900034 m/sec, 59590973 t fired, .
[lola][.]
[lola][.] Time elapsed: 60 secs. Pages in use: 232
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 65/163 249/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 58640840 m, 820833 m/sec, 63907977 t fired, .
[lola][.]
[lola][.] Time elapsed: 65 secs. Pages in use: 249
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 70/163 268/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 63021756 m, 876183 m/sec, 68503108 t fired, .
[lola][.]
[lola][.] Time elapsed: 70 secs. Pages in use: 268
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 75/163 287/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 67348583 m, 865365 m/sec, 73028362 t fired, .
[lola][.]
[lola][.] Time elapsed: 75 secs. Pages in use: 287
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 80/163 305/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 71680205 m, 866324 m/sec, 77545675 t fired, .
[lola][.]
[lola][.] Time elapsed: 80 secs. Pages in use: 305
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 85/163 324/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 76139301 m, 891819 m/sec, 82183971 t fired, .
[lola][.]
[lola][.] Time elapsed: 85 secs. Pages in use: 324
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 90/163 344/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 80601959 m, 892531 m/sec, 86813201 t fired, .
[lola][.]
[lola][.] Time elapsed: 90 secs. Pages in use: 344
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 95/163 363/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 85004121 m, 880432 m/sec, 91370791 t fired, .
[lola][.]
[lola][.] Time elapsed: 95 secs. Pages in use: 363
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 100/163 381/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 89367149 m, 872605 m/sec, 95878963 t fired, .
[lola][.]
[lola][.] Time elapsed: 100 secs. Pages in use: 381
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 105/163 400/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 93714083 m, 869386 m/sec, 100359585 t fired, .
[lola][.]
[lola][.] Time elapsed: 105 secs. Pages in use: 400
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 110/163 419/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 98026427 m, 862468 m/sec, 104798044 t fired, .
[lola][.]
[lola][.] Time elapsed: 110 secs. Pages in use: 419
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 115/163 438/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 102348782 m, 864471 m/sec, 109237659 t fired, .
[lola][.]
[lola][.] Time elapsed: 115 secs. Pages in use: 438
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 120/163 457/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 106750821 m, 880407 m/sec, 113752932 t fired, .
[lola][.]
[lola][.] Time elapsed: 120 secs. Pages in use: 457
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 125/163 476/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 111115124 m, 872860 m/sec, 118220675 t fired, .
[lola][.]
[lola][.] Time elapsed: 125 secs. Pages in use: 476
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 130/163 494/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 115401823 m, 857339 m/sec, 122602959 t fired, .
[lola][.]
[lola][.] Time elapsed: 130 secs. Pages in use: 494
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 135/163 513/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 119704891 m, 860613 m/sec, 126995455 t fired, .
[lola][.]
[lola][.] Time elapsed: 135 secs. Pages in use: 513
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 140/163 532/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 124011656 m, 861353 m/sec, 131386862 t fired, .
[lola][.]
[lola][.] Time elapsed: 140 secs. Pages in use: 532
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 145/163 551/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 128336151 m, 864899 m/sec, 135789027 t fired, .
[lola][.]
[lola][.] Time elapsed: 145 secs. Pages in use: 551
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 150/163 569/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 132613884 m, 855546 m/sec, 140138862 t fired, .
[lola][.]
[lola][.] Time elapsed: 150 secs. Pages in use: 569
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 155/163 589/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 137099539 m, 897131 m/sec, 144694251 t fired, .
[lola][.]
[lola][.] Time elapsed: 155 secs. Pages in use: 589
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 91 CTL EXCL 160/163 608/2000 HouseConstruction-PT-04000-CTLFireability-2023-14 141586793 m, 897450 m/sec, 149245691 t fired, .
[lola][.]
[lola][.] Time elapsed: 160 secs. Pages in use: 608
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][W] CANCELED task # 91 (type EXCL) for HouseConstruction-PT-04000-CTLFireability-2023-14 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 1 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 165 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I] LAUNCH task # 94 (type EXCL) for 93 HouseConstruction-PT-04000-CTLFireability-2023-15
[lola][I] time limit : 163 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 91 (type EXCL) for 90 HouseConstruction-PT-04000-CTLFireability-2023-14
[lola][I] time limit : 3435 sec
[lola][I] memory limit: 5 pages
[lola][I] CANCELED task # 91 (type EXCL) for HouseConstruction-PT-04000-CTLFireability-2023-14 (memory limit exceeded)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 5/163 14/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 3232886 m, 646577 m/sec, 4847549 t fired, .
[lola][.]
[lola][.] Time elapsed: 170 secs. Pages in use: 628
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 10/163 27/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 6251489 m, 603720 m/sec, 9374742 t fired, .
[lola][.]
[lola][.] Time elapsed: 175 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 15/163 38/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 9036706 m, 557043 m/sec, 13552059 t fired, .
[lola][.]
[lola][.] Time elapsed: 180 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 20/163 50/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 11791658 m, 550990 m/sec, 17684058 t fired, .
[lola][.]
[lola][.] Time elapsed: 185 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 25/163 61/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 14517574 m, 545183 m/sec, 21772553 t fired, .
[lola][.]
[lola][.] Time elapsed: 190 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 30/163 73/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 17162439 m, 528973 m/sec, 26280799 t fired, .
[lola][.]
[lola][.] Time elapsed: 195 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 35/163 82/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 19494077 m, 466327 m/sec, 30942456 t fired, .
[lola][.]
[lola][.] Time elapsed: 200 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 40/163 92/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 21721942 m, 445573 m/sec, 35397127 t fired, .
[lola][.]
[lola][.] Time elapsed: 205 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 45/163 100/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 23779505 m, 411512 m/sec, 39511452 t fired, .
[lola][.]
[lola][.] Time elapsed: 210 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 50/163 108/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 25690502 m, 382199 m/sec, 43332796 t fired, .
[lola][.]
[lola][.] Time elapsed: 215 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 55/163 116/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 27494390 m, 360777 m/sec, 46940015 t fired, .
[lola][.]
[lola][.] Time elapsed: 220 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 60/163 123/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 29240246 m, 349171 m/sec, 50431228 t fired, .
[lola][.]
[lola][.] Time elapsed: 225 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 65/163 130/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 30966963 m, 345343 m/sec, 53884202 t fired, .
[lola][.]
[lola][.] Time elapsed: 230 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 70/163 139/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 32978969 m, 402401 m/sec, 57902034 t fired, .
[lola][.]
[lola][.] Time elapsed: 235 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 75/163 148/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 35229843 m, 450174 m/sec, 62402126 t fired, .
[lola][.]
[lola][.] Time elapsed: 240 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 80/163 157/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 37387633 m, 431558 m/sec, 66716648 t fired, .
[lola][.]
[lola][.] Time elapsed: 245 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 85/163 166/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 39391577 m, 400788 m/sec, 70723734 t fired, .
[lola][.]
[lola][.] Time elapsed: 250 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 90/163 174/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 41255167 m, 372718 m/sec, 74450262 t fired, .
[lola][.]
[lola][.] Time elapsed: 255 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 95/163 181/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 43007179 m, 350402 m/sec, 77953733 t fired, .
[lola][.]
[lola][.] Time elapsed: 260 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 100/163 188/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 44692693 m, 337102 m/sec, 81324273 t fired, .
[lola][.]
[lola][.] Time elapsed: 265 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 105/163 195/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 46356788 m, 332819 m/sec, 84652007 t fired, .
[lola][.]
[lola][.] Time elapsed: 270 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 110/163 202/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 48037703 m, 336183 m/sec, 88013404 t fired, .
[lola][.]
[lola][.] Time elapsed: 275 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 115/163 210/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 49935769 m, 379613 m/sec, 92737324 t fired, .
[lola][.]
[lola][.] Time elapsed: 280 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 120/163 217/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 51695546 m, 351955 m/sec, 97135152 t fired, .
[lola][.]
[lola][.] Time elapsed: 285 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 125/163 225/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 53383610 m, 337612 m/sec, 101354103 t fired, .
[lola][.]
[lola][.] Time elapsed: 290 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 130/163 231/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 54851936 m, 293665 m/sec, 105024024 t fired, .
[lola][.]
[lola][.] Time elapsed: 295 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 135/163 236/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 56127908 m, 255194 m/sec, 108213248 t fired, .
[lola][.]
[lola][.] Time elapsed: 300 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 140/163 241/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 57371512 m, 248720 m/sec, 111321625 t fired, .
[lola][.]
[lola][.] Time elapsed: 305 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 145/163 247/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 58781692 m, 282036 m/sec, 114846407 t fired, .
[lola][.]
[lola][.] Time elapsed: 310 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 150/163 252/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 59909176 m, 225496 m/sec, 117664613 t fired, .
[lola][.]
[lola][.] Time elapsed: 315 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 155/163 257/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 61141120 m, 246388 m/sec, 120743948 t fired, .
[lola][.]
[lola][.] Time elapsed: 320 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 94 CTL EXCL 160/163 263/2000 HouseConstruction-PT-04000-CTLFireability-2023-15 62519364 m, 275648 m/sec, 124189000 t fired, .
[lola][.]
[lola][.] Time elapsed: 325 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][W] CANCELED task # 94 (type EXCL) for HouseConstruction-PT-04000-CTLFireability-2023-15 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 1 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 330 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I] LAUNCH task # 82 (type EXCL) for 81 HouseConstruction-PT-04000-CTLFireability-2024-11
[lola][I] time limit : 163 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 94 (type EXCL) for 93 HouseConstruction-PT-04000-CTLFireability-2023-15
[lola][I] time limit : 3270 sec
[lola][I] memory limit: 5 pages
[lola][I] CANCELED task # 94 (type EXCL) for HouseConstruction-PT-04000-CTLFireability-2023-15 (memory limit exceeded)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 5/163 12/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 2698024 m, 539604 m/sec, 4486998 t fired, .
[lola][.]
[lola][.] Time elapsed: 335 secs. Pages in use: 628
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 10/163 21/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 4864726 m, 433340 m/sec, 9258163 t fired, .
[lola][.]
[lola][.] Time elapsed: 340 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 15/163 29/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 6916031 m, 410261 m/sec, 14101923 t fired, .
[lola][.]
[lola][.] Time elapsed: 345 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 20/163 37/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 8794935 m, 375780 m/sec, 19021688 t fired, .
[lola][.]
[lola][.] Time elapsed: 350 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 25/163 45/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 10823122 m, 405637 m/sec, 23775830 t fired, .
[lola][.]
[lola][.] Time elapsed: 355 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 30/163 54/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 12978341 m, 431043 m/sec, 28627424 t fired, .
[lola][.]
[lola][.] Time elapsed: 360 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 35/163 61/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 14719242 m, 348180 m/sec, 33526792 t fired, .
[lola][.]
[lola][.] Time elapsed: 365 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 40/163 68/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 16409401 m, 338031 m/sec, 38283223 t fired, .
[lola][.]
[lola][.] Time elapsed: 370 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 45/163 75/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 18110914 m, 340302 m/sec, 43071827 t fired, .
[lola][.]
[lola][.] Time elapsed: 375 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 50/163 82/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 19815479 m, 340913 m/sec, 47868819 t fired, .
[lola][.]
[lola][.] Time elapsed: 380 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 55/163 89/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 21532988 m, 343501 m/sec, 52702360 t fired, .
[lola][.]
[lola][.] Time elapsed: 385 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 60/163 97/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 23393442 m, 372090 m/sec, 57180422 t fired, .
[lola][.]
[lola][.] Time elapsed: 390 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 65/163 104/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 25297812 m, 380874 m/sec, 61878252 t fired, .
[lola][.]
[lola][.] Time elapsed: 395 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 70/163 113/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 27328515 m, 406140 m/sec, 66542872 t fired, .
[lola][.]
[lola][.] Time elapsed: 400 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 75/163 119/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 28983841 m, 331065 m/sec, 71463714 t fired, .
[lola][.]
[lola][.] Time elapsed: 405 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 80/163 126/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 30516376 m, 306507 m/sec, 76019860 t fired, .
[lola][.]
[lola][.] Time elapsed: 410 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 85/163 131/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 31844562 m, 265637 m/sec, 79968299 t fired, .
[lola][.]
[lola][.] Time elapsed: 415 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 90/163 137/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 33386290 m, 308345 m/sec, 84551452 t fired, .
[lola][.]
[lola][.] Time elapsed: 420 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 95/163 144/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 34973796 m, 317501 m/sec, 89270900 t fired, .
[lola][.]
[lola][.] Time elapsed: 425 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 100/163 150/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 36573656 m, 319972 m/sec, 94026545 t fired, .
[lola][.]
[lola][.] Time elapsed: 430 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 105/163 157/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 38155054 m, 316279 m/sec, 98728105 t fired, .
[lola][.]
[lola][.] Time elapsed: 435 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 110/163 163/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 39731439 m, 315277 m/sec, 103414027 t fired, .
[lola][.]
[lola][.] Time elapsed: 440 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 115/163 170/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 41298949 m, 313502 m/sec, 108074071 t fired, .
[lola][.]
[lola][.] Time elapsed: 445 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 120/163 176/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 42881299 m, 316470 m/sec, 112778168 t fired, .
[lola][.]
[lola][.] Time elapsed: 450 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 125/163 183/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 44465027 m, 316745 m/sec, 117486261 t fired, .
[lola][.]
[lola][.] Time elapsed: 455 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 130/163 189/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 46130161 m, 333026 m/sec, 122188445 t fired, .
[lola][.]
[lola][.] Time elapsed: 460 secs. Pages in use: 628
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 135/163 197/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 47839205 m, 341808 m/sec, 126573844 t fired, .
[lola][.]
[lola][.] Time elapsed: 465 secs. Pages in use: 635
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 82 CTL EXCL 186/163 201/2000 HouseConstruction-PT-04000-CTLFireability-2024-11 48831083 m, 198375 m/sec, 129190018 t fired, .
[lola][.]
[lola][.] Time elapsed: 519 secs. Pages in use: 642
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][W] CANCELED task # 82 (type EXCL) for HouseConstruction-PT-04000-CTLFireability-2024-11 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 0 0 1 1 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 540 secs. Pages in use: 642
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I] LAUNCH task # 79 (type EXCL) for 78 HouseConstruction-PT-04000-CTLFireability-2024-10
[lola][I] time limit : 161 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 82 (type EXCL) for 81 HouseConstruction-PT-04000-CTLFireability-2024-11
[lola][I] time limit : 3053 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-00: CONJ 0 2 0 0 3 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-01: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-02: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-03: DISJ 0 2 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-04: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-05: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-06: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-07: DISJ 0 5 0 0 17 0 0 4
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-08: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-09: F 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-10: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2024-11: CTL 0 0 1 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-12: EG 0 1 0 0 2 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-13: CTL 0 1 0 0 1 0 0 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-14: CTL 0 0 0 0 1 0 1 0
[lola][.] HouseConstruction-PT-04000-CTLFireability-2023-15: CTL 0 0 0 0 1 0 1 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 79 CTL EXCL 54/161 1/2000 HouseConstruction-PT-04000-CTLFireability-2024-10 16007 m, 3201 m/sec, 16008 t fired, .
[lola][.] 82 CTL EXCL 47/3053 0/5 HouseConstruction-PT-04000-CTLFireability-2024-11 --
[lola][.]
[lola][.] Time elapsed: 606 secs. Pages in use: 642
[lola][.] # running tasks: 2 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 408 Killed $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="HouseConstruction-PT-04000"
export BK_EXAMINATION="CTLFireability"
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 HouseConstruction-PT-04000, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-smll-171649588600226"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/HouseConstruction-PT-04000.tgz
mv HouseConstruction-PT-04000 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;