MCC'2021- Execution of r080-tall-162048871300678

About the Execution of LoLA for EnergyBus-PT-none

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
8820.676	494051.00	1966620.00	34.80	FFFFTFTFTFTFFFFF	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r080-tall-1
Waiting for the VM to be ready (probing ssh)
.............................................
=======================
Generated by BenchKit 2-4028
Executing tool lola
Input is EnergyBus-PT-none, examination
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r080-tall-1620488713006
=============================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.6M
-rw-r--r-- 1 mcc users 15K May 5 16:58
-rw-r--r-- 1 mcc users 151K May 5 16:58
-rw-r--r-- 1 mcc users 9.9K May 5 16:58
-rw-r--r-- 1 mcc users 87K May 5 16:58
-rw-r--r-- 1 mcc users 4.2K May 6 14:48
-rw-r--r-- 1 mcc users 6.2K May 6 14:48
-rw-r--r-- 1 mcc users 3.1K Mar 28 16:07
-rw-r--r-- 1 mcc users 23K Mar 28 16:07
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:07
-rw-r--r-- 1 mcc users 16K Mar 28 16:07
-rw-r--r-- 1 mcc users 3.4K Mar 23 10:42
-rw-r--r-- 1 mcc users 18K Mar 23 10:42
-rw-r--r-- 1 mcc users 2.2K Mar 22 18:44
-rw-r--r-- 1 mcc users 11K Mar 22 18:44
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:11
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:11
-rw-r--r-- 1 mcc users 6 May 5 16:51
-rw-r--r-- 1 mcc users 5 May 5 16:51
-rw-r--r-- 1 mcc users 6 May 5 16:51
-rw-r--r-- 1 mcc users 3.2M May 5 16:51

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

=== Data for post analysis generated

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa
FORMULA_NAME EnergyBus-PT-none-ReachabilityCa

=== Now, execution of the tool begins

BK_START 1620556320888

starting LoLA
BK_INPUT EnergyBus-PT-none
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
ReachabilityCardinality

FORMULA EnergyBus-PT-none-ReachabilityCardinality-03

FORMULA EnergyBus-PT-none-ReachabilityCardinality-05

FORMULA EnergyBus-PT-none-ReachabilityCardinality-09

FORMULA EnergyBus-PT-none-ReachabilityCardinality-06

FORMULA EnergyBus-PT-none-ReachabilityCardinality-04

FORMULA EnergyBus-PT-none-ReachabilityCardinality-07

FORMULA EnergyBus-PT-none-ReachabilityCardinality-14

FORMULA EnergyBus-PT-none-ReachabilityCardinality-15

FORMULA EnergyBus-PT-none-ReachabilityCardinality-01

FORMULA EnergyBus-PT-none-ReachabilityCardinality-13

FORMULA EnergyBus-PT-none-ReachabilityCardinality-10

FORMULA EnergyBus-PT-none-ReachabilityCardinality-00

FORMULA EnergyBus-PT-none-ReachabilityCardinality-02

FORMULA EnergyBus-PT-none-ReachabilityCardinality-12

FORMULA EnergyBus-PT-none-ReachabilityCardinality-11

FORMULA EnergyBus-PT-none-ReachabilityCardinality-08

BK_STOP 1620556814939

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/
lola: reading pnml
lola: PNML file contains place/transition
lola: finished parsing
lola: closed net file /home/mcc/execution/m
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execut
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Rule S: 825 transitions removed,4
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: LAUNCH task # 52 (type EXCL)
lola: time limit : 199 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 48 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewri
lola: LAUNCH task # 51 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
sara: try reading problem file /home/mcc/exec
sara: place or transition ordering is

lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: FINISHED task # 49 (type EQUN)
lola: result : false
lola: CANCELED task # 48 (type FNDP)
lola: CANCELED task # 51 (type SRCH)
lola: CANCELED task # 52 (type EXCL)
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: LAUNCH task # 74 (type EXCL)
lola: time limit : 299 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 55 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 56 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: FINISHED task # 48 (type FNDP)
lola: result : unknown
lola: fired transitions : 14243
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: FINISHED task # 58 (type SRCH)
lola: result : true
lola: markings : 13
lola: fired transitions : 12
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 55 (type FNDP)
lola: CANCELED task # 56 (type EQUN)
lola: LAUNCH task # 86 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 105 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 124 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: FINISHED task # 56 (type EQUN)
lola: result : unknown
lola: FINISHED task # 55 (type FNDP)
lola: result : true
lola: fired transitions : 11
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 86 (type FNDP)
lola: result : true
lola: fired transitions : 29
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 105 (type EQUN)
lola: CANCELED task # 124 (type SRCH)
lola: LAUNCH task # 89 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 96 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 98 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewri
lola: FINISHED task # 98 (type SRCH)
lola: result : true
lola: markings : 77
lola: fired transitions : 96
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 89 (type FNDP)
lola: CANCELED task # 96 (type EQUN)
lola: LAUNCH task # 102 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 109 (type EQUN)
lola: rewrite Frontend/Parser/formula_rew
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/exec
lola: LAUNCH task # 120 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 89 (type FNDP)
lola: result : unknown
lola: fired transitions : 667
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/exec
sara: try reading problem file /home/mcc/exec
lola: Created skeleton in 1.000000 secs.
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
sara: place or transition ordering is
sara: place or transition ordering is

sara: place or transition ordering is

lola: FINISHED task # 105 (type EQUN)
lola: result : true
lola: FINISHED task # 96 (type EQUN)
lola: result : true
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 2/299
102 EF FNDP 2/223 0/5
109 EF STEQ 2/223 0/5
120 EF SRCH 2/223 1/5

Time elapsed: 6 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 7/299
102 EF FNDP 7/222 0/5
109 EF STEQ 7/222 0/5
120 EF SRCH 7/222 2/5

Time elapsed: 11 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 12/299
102 EF FNDP 12/217 0/5
109 EF STEQ 12/217 0/5
120 EF SRCH 12/217 3/5

Time elapsed: 16 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 17/299
102 EF FNDP 17/212 0/5
109 EF STEQ 17/212 0/5
120 EF SRCH 17/212 3/5

Time elapsed: 21 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 22/299
102 EF FNDP 22/207 0/5
109 EF STEQ 22/207 0/5
120 EF SRCH 22/207 4/5

Time elapsed: 26 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 27/299
102 EF FNDP 27/202 0/5
109 EF STEQ 27/202 0/5
120 EF SRCH 27/202 5/5

Time elapsed: 31 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 120 (type SRCH)
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 32/299
102 EF FNDP 32/197 0/5
109 EF STEQ 32/197 0/5

Time elapsed: 36 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 131 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 131 (type FNDP)
lola: result : true
lola: fired transitions : 991
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 93 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 37/326
93 EF FNDP 5/237 0/5
102 EF FNDP 37/224 0/5
109 EF STEQ 37/224 0/5

Time elapsed: 41 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 42/326
93 EF FNDP 10/232 0/5
102 EF FNDP 42/219 0/5
109 EF STEQ 42/219 0/5

Time elapsed: 46 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 47/326
93 EF FNDP 15/227 0/5
102 EF FNDP 47/214 0/5
109 EF STEQ 47/214 0/5

Time elapsed: 51 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 52/326
93 EF FNDP 20/222 0/5
102 EF FNDP 52/209 0/5
109 EF STEQ 52/209 0/5

Time elapsed: 56 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
sara: warning, failure of lp_solve (at
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 57/326
93 EF FNDP 25/217 0/5
102 EF FNDP 57/204 0/5
109 EF STEQ 57/204 0/5

Time elapsed: 61 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 62/326
93 EF FNDP 30/212 0/5
102 EF FNDP 62/199 0/5
109 EF STEQ 62/199 0/5

Time elapsed: 66 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 67/326
93 EF FNDP 35/207 0/5
102 EF FNDP 67/194 0/5
109 EF STEQ 67/194 0/5

Time elapsed: 71 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 72/326
93 EF FNDP 40/202 0/5
102 EF FNDP 72/189 0/5
109 EF STEQ 72/189 0/5

Time elapsed: 76 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 77/326
93 EF FNDP 45/197 0/5
102 EF FNDP 77/184 0/5
109 EF STEQ 77/184 0/5

Time elapsed: 81 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 82/326
93 EF FNDP 50/192 0/5
102 EF FNDP 82/179 0/5
109 EF STEQ 82/179 0/5

Time elapsed: 86 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 87/326
93 EF FNDP 55/187 0/5
102 EF FNDP 87/174 0/5
109 EF STEQ 87/174 0/5

Time elapsed: 91 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 92/326
93 EF FNDP 60/182 0/5
102 EF FNDP 92/169 0/5
109 EF STEQ 92/169 0/5

Time elapsed: 96 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 97/326
93 EF FNDP 65/177 0/5
102 EF FNDP 97/164 0/5
109 EF STEQ 97/164 0/5

Time elapsed: 101 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 102/326
93 EF FNDP 70/172 0/5
102 EF FNDP 102/159 0/5
109 EF STEQ 102/159 0/5

Time elapsed: 106 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 107/326
93 EF FNDP 75/167 0/5
102 EF FNDP 107/154 0/5
109 EF STEQ 107/154 0/5

Time elapsed: 111 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 112/326
93 EF FNDP 80/162 0/5
102 EF FNDP 112/149 0/5
109 EF STEQ 112/149 0/5

Time elapsed: 116 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 117/326
93 EF FNDP 85/157 0/5
102 EF FNDP 117/144 0/5
109 EF STEQ 117/144 0/5

Time elapsed: 121 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 122/326
93 EF FNDP 90/152 0/5
102 EF FNDP 122/139 0/5
109 EF STEQ 122/139 0/5

Time elapsed: 126 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 127/326
93 EF FNDP 95/147 0/5
102 EF FNDP 127/134 0/5
109 EF STEQ 127/134 0/5

Time elapsed: 131 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 102 (type FNDP)
lola: CANCELED task # 109 (type EQUN)
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-09:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
74 EF EXCL 132/326
93 EF FNDP 100/142 0/5

Time elapsed: 136 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 78 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 84 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: FINISHED task # 102 (type FNDP)
lola: result : unknown
lola: fired transitions : 7455933
lola: tried executions : 11
lola: time used : 132.000000
lola: memory pages used : 0
lola: FINISHED task # 109 (type EQUN)
lola: result : unknown
sara: try reading problem file /home/mcc/exec
lola: FINISHED task # 78 (type FNDP)
lola: result : true
lola: fired transitions : 7156
lola: tried executions : 128
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 84 (type EQUN)
lola: LAUNCH task # 69 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 79 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 84 (type EQUN)
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: FINISHED task # 69 (type FNDP)
lola: result : true
lola: fired transitions : 1602
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 79 (type EQUN)
lola: LAUNCH task # 94 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 95 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/exec
lola: rewrite Frontend/Parser/formula_rewri
sara: try reading problem file /home/mcc/exec
sara: place or transition ordering is
sara: place or transition ordering is

lola: FINISHED task # 95 (type EQUN)
lola: result : false
lola: CANCELED task # 94 (type FNDP)
lola: LAUNCH task # 137 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 140 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 94 (type FNDP)
lola: result : unknown
lola: fired transitions : 39954
lola: tried executions : 2
lola: time used : 1.000000
lola: memory pages used : 0
lola: FINISHED task # 137 (type FNDP)
lola: result : true
lola: fired transitions : 7
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 140 (type EQUN)
lola: LAUNCH task # 65 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 67 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: FINISHED task # 65 (type FNDP)
lola: result : true
lola: fired transitions : 24
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 67 (type EQUN)
lola: LAUNCH task # 80 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 82 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewri
lola: FINISHED task # 80 (type FNDP)
lola: result : true
lola: fired transitions : 16
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 82 (type EQUN)
lola: LAUNCH task # 138 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 142 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewri
sara: try reading problem file /home/mcc/exec
sara: try reading problem file /home/mcc/exec
sara: try reading problem file /home/mcc/exec
sara: try reading problem file /home/mcc/exec
sara: place or transition ordering is
sara: place or transition ordering is
sara: place or transition ordering is

sara: place or transition ordering is

lola: FINISHED task # 140 (type EQUN)
lola: result : true
lola: FINISHED task # 142 (type EQUN)
lola: result : false
lola: CANCELED task # 138 (type FNDP)
lola: LAUNCH task # 61 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 63 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 138 (type FNDP)
lola: result : unknown
lola: fired transitions : 16519
lola: tried executions : 97
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewri
sara: try reading problem file /home/mcc/exec
sara: place or transition ordering is

lola: FINISHED task # 63 (type EQUN)
lola: result : false
lola: CANCELED task # 61 (type FNDP)
lola: LAUNCH task # 129 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 103 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 61 (type FNDP)
lola: result : unknown
lola: fired transitions : 12394
lola: tried executions : 2
lola: time used : 1.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewri
lola: FINISHED task # 129 (type SRCH)
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 70 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/exec
sara: place or transition ordering is

lola: FINISHED task # 103 (type EQUN)
lola: result : false
lola: CANCELED task # 93 (type FNDP)
lola: LAUNCH task # 71 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 73 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 93 (type FNDP)
lola: result : unknown
lola: fired transitions : 6554113
lola: tried executions : 8
lola: time used : 102.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewri
sara: try reading problem file /home/mcc/exec
sara: place or transition ordering is

lola: FINISHED task # 71 (type EQUN)
lola: result : false
lola: CANCELED task # 70 (type FNDP)
lola: CANCELED task # 73 (type SRCH)
lola: CANCELED task # 74 (type EXCL)
lola: LAUNCH task # 121 (type EXCL)
lola: time limit : 3462 sec
lola: memory limit: 32 pages
lola: FINISHED task # 70 (type FNDP)
lola: result : unknown
lola: fired transitions : 20808
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 3/3462

Time elapsed: 141 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
sara: warning, failure of lp_solve (at
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 8/3462

Time elapsed: 146 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
sara: warning, failure of lp_solve (at
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 13/3462

Time elapsed: 151 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 18/3462

Time elapsed: 156 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 23/3462

Time elapsed: 161 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 28/3462

Time elapsed: 166 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 33/3462

Time elapsed: 171 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 38/3462

Time elapsed: 176 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 43/3462

Time elapsed: 181 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 48/3462

Time elapsed: 186 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 53/3462

Time elapsed: 191 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 58/3462

Time elapsed: 196 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 63/3462

Time elapsed: 201 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 68/3462

Time elapsed: 206 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 73/3462

Time elapsed: 211 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 78/3462

Time elapsed: 216 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 83/3462

Time elapsed: 221 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 88/3462

Time elapsed: 226 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 93/3462

Time elapsed: 231 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 98/3462

Time elapsed: 236 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 103/3462

Time elapsed: 241 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 108/3462

Time elapsed: 246 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 113/3462

Time elapsed: 251 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 118/3462

Time elapsed: 256 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 123/3462

Time elapsed: 261 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 128/3462

Time elapsed: 266 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 133/3462

Time elapsed: 271 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 138/3462

Time elapsed: 276 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 143/3462

Time elapsed: 281 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 148/3462

Time elapsed: 286 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 153/3462

Time elapsed: 291 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 158/3462

Time elapsed: 296 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 163/3462

Time elapsed: 301 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 168/3462

Time elapsed: 306 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 173/3462

Time elapsed: 311 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 178/3462

Time elapsed: 316 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 183/3462

Time elapsed: 321 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 188/3462

Time elapsed: 326 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 193/3462

Time elapsed: 331 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 198/3462

Time elapsed: 336 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 203/3462

Time elapsed: 341 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 208/3462

Time elapsed: 346 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 213/3462

Time elapsed: 351 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 218/3462

Time elapsed: 356 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 223/3462

Time elapsed: 361 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
sara: warning, failure of lp_solve (at
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 228/3462

Time elapsed: 366 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 233/3462

Time elapsed: 371 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 238/3462

Time elapsed: 376 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 243/3462

Time elapsed: 381 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 248/3462

Time elapsed: 386 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 253/3462

Time elapsed: 391 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 258/3462

Time elapsed: 396 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 263/3462

Time elapsed: 401 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 268/3462

Time elapsed: 406 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 273/3462

Time elapsed: 411 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 278/3462

Time elapsed: 416 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 283/3462

Time elapsed: 421 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 288/3462

Time elapsed: 426 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 293/3462

Time elapsed: 431 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 298/3462

Time elapsed: 436 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 303/3462

Time elapsed: 441 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 308/3462

Time elapsed: 446 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 313/3462

Time elapsed: 451 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 318/3462

Time elapsed: 456 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 323/3462

Time elapsed: 461 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 328/3462

Time elapsed: 466 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 333/3462

Time elapsed: 471 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 338/3462

Time elapsed: 476 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 343/3462

Time elapsed: 481 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 348/3462

Time elapsed: 486 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-08:

TASK CATEGORY TYPE TIME/TLIMIT
121 EF EXCL 353/3462

Time elapsed: 491 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 121 (type EXCL)
lola: result : true
lola: markings : 1090150
lola: fired transitions : 2312293
lola: time used : 356.000000
lola: memory pages used : 5
lola: Portfolio finished: no open formulas

FINAL RESULTS
FINISHED FORMULA: CATEGORY
EnergyBus-PT-none-ReachabilityCardinality-00:
EnergyBus-PT-none-ReachabilityCardinality-01:
EnergyBus-PT-none-ReachabilityCardinality-02:
EnergyBus-PT-none-ReachabilityCardinality-03:
EnergyBus-PT-none-ReachabilityCardinality-04:
EnergyBus-PT-none-ReachabilityCardinality-05:
EnergyBus-PT-none-ReachabilityCardinality-06:
EnergyBus-PT-none-ReachabilityCardinality-07:
EnergyBus-PT-none-ReachabilityCardinality-08:
EnergyBus-PT-none-ReachabilityCardinality-09:
EnergyBus-PT-none-ReachabilityCardinality-10:
EnergyBus-PT-none-ReachabilityCardinality-11:
EnergyBus-PT-none-ReachabilityCardinality-12:
EnergyBus-PT-none-ReachabilityCardinality-13:
EnergyBus-PT-none-ReachabilityCardinality-14:
EnergyBus-PT-none-ReachabilityCardinality-15:

Time elapsed: 494 secs. Pages in use: 7
62048871300678.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ============================================== is ReachabilityCardinality 78 ======================== CTLCardinality.txt CTLCardinality.xml CTLFireability.txt CTLFireability.xml GenericPropertiesDefinition.xml GenericPropertiesVerdict.xml LTLCardinality.txt LTLCardinality.xml LTLFireability.txt LTLFireability.xml ReachabilityCardinality.txt ReachabilityCardinality.xml ReachabilityFireability.txt ReachabilityFireability.xml UpperBounds.txt UpperBounds.xml equiv_col instance iscolored model.pnml by BenchKit (invocation template) result vector(from text file) rdinality-00 rdinality-01 rdinality-02 rdinality-03 rdinality-04 rdinality-05 rdinality-06 rdinality-07 rdinality-08 rdinality-09 rdinality-10 rdinality-11 rdinality-12 rdinality-13 rdinality-14 rdinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT model.pnml net odel.pnml ion/ReachabilityCardinality.xml places removed te.k:711 te.k:711 te.k:711 te.k:711 for 9 EnergyBus-PT-none-ReachabilityCardinality-03 for 9 EnergyBus-PT-none-ReachabilityCardinality-03 for 9 EnergyBus-PT-none-ReachabilityCardinality-03 te.k:711 for 9 EnergyBus-PT-none-ReachabilityCardinality-03 te.k:721 te.k:787 te.k:721 te.k:787 te.k:721 te.k:787 te.k:721 te.k:787 ution/ReachabilityCardinality-49.sara. non-deterministic te.k:711 te.k:721 te.k:787 te.k:711 te.k:711 te.k:711 te.k:711 te.k:721 te.k:787 te.k:721 te.k:787 te.k:711 te.k:711 te.k:711 te.k:711 te.k:711 te.k:711 te.k:711 te.k:711 for EnergyBus-PT-none-ReachabilityCardinality-03 for EnergyBus-PT-none-ReachabilityCardinality-03 (obsolete) for EnergyBus-PT-none-ReachabilityCardinality-03 (obsolete) for EnergyBus-PT-none-ReachabilityCardinality-03 (obsolete) te.k:711 te.k:711 te.k:721 te.k:787 te.k:721 te.k:787 for 33 EnergyBus-PT-none-ReachabilityCardinality-11 for 15 EnergyBus-PT-none-ReachabilityCardinality-05 for 15 EnergyBus-PT-none-ReachabilityCardinality-05 for 15 EnergyBus-PT-none-ReachabilityCardinality-05 te.k:721 te.k:787 te.k:711 for EnergyBus-PT-none-ReachabilityCardinality-03 te.k:721 te.k:787 te.k:721 te.k:787 te.k:711 te.k:711 te.k:711 te.k:711 te.k:711 te.k:711 te.k:721 te.k:787 te.k:711 te.k:711 te.k:721 te.k:787 te.k:711 te.k:711 te.k:721 te.k:787 te.k:711 te.k:721 te.k:787 te.k:721 te.k:787 te.k:721 te.k:787 te.k:721 te.k:787 te.k:721 te.k:787 te.k:711 te.k:721 te.k:787 for EnergyBus-PT-none-ReachabilityCardinality-05 for EnergyBus-PT-none-ReachabilityCardinality-05 (obsolete) for EnergyBus-PT-none-ReachabilityCardinality-05 (obsolete) for 27 EnergyBus-PT-none-ReachabilityCardinality-09 for 27 EnergyBus-PT-none-ReachabilityCardinality-09 for 27 EnergyBus-PT-none-ReachabilityCardinality-09 te.k:721 te.k:787 for EnergyBus-PT-none-ReachabilityCardinality-05 for EnergyBus-PT-none-ReachabilityCardinality-05 for EnergyBus-PT-none-ReachabilityCardinality-09 for EnergyBus-PT-none-ReachabilityCardinality-09 (obsolete) for EnergyBus-PT-none-ReachabilityCardinality-09 (obsolete) for 18 EnergyBus-PT-none-ReachabilityCardinality-06 for 18 EnergyBus-PT-none-ReachabilityCardinality-06 for 18 EnergyBus-PT-none-ReachabilityCardinality-06 te.k:711 for EnergyBus-PT-none-ReachabilityCardinality-06 for EnergyBus-PT-none-ReachabilityCardinality-06 (obsolete) for EnergyBus-PT-none-ReachabilityCardinality-06 (obsolete) for 24 EnergyBus-PT-none-ReachabilityCardinality-08 for 24 EnergyBus-PT-none-ReachabilityCardinality-08 rite.k:711 ution/ReachabilityCardinality-105.sara. for 24 EnergyBus-PT-none-ReachabilityCardinality-08 for EnergyBus-PT-none-ReachabilityCardinality-06 ution/ReachabilityCardinality-96.sara. ution/ReachabilityCardinality-109.sara. te.k:711 te.k:711 te.k:711 te.k:711 te.k:721 te.k:787 te.k:711 te.k:721 te.k:787 te.k:711 te.k:721 te.k:787 te.k:711 te.k:721 te.k:787 te.k:711 non-deterministic non-deterministic non-deterministic for EnergyBus-PT-none-ReachabilityCardinality-09 for EnergyBus-PT-none-ReachabilityCardinality-06 VALUE PRODUCED BY EF false state equation AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 3 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-11 17143 m, 3428 m/sec, 28276 t fired, . EnergyBus-PT-none-ReachabilityCardinality-08 75076 t fired, 1 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. EnergyBus-PT-none-ReachabilityCardinality-08 76374 m, 15274 m/sec, 202362 t fired, . VALUE PRODUCED BY EF false state equation AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 3 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-11 67898 m, 10151 m/sec, 133046 t fired, . EnergyBus-PT-none-ReachabilityCardinality-08 363220 t fired, 1 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. EnergyBus-PT-none-ReachabilityCardinality-08 333871 m, 51499 m/sec, 996678 t fired, . VALUE PRODUCED BY EF false state equation AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 3 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-11 125935 m, 11607 m/sec, 250072 t fired, . EnergyBus-PT-none-ReachabilityCardinality-08 650634 t fired, 1 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. EnergyBus-PT-none-ReachabilityCardinality-08 594303 m, 52086 m/sec, 1811514 t fired, . VALUE PRODUCED BY EF false state equation AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 3 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-11 176394 m, 10091 m/sec, 360303 t fired, . EnergyBus-PT-none-ReachabilityCardinality-08 939864 t fired, 1 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. EnergyBus-PT-none-ReachabilityCardinality-08 848235 m, 50786 m/sec, 2669029 t fired, . VALUE PRODUCED BY EF false state equation AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 3 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-11 232558 m, 11232 m/sec, 478409 t fired, . EnergyBus-PT-none-ReachabilityCardinality-08 1230000 t fired, 3 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. EnergyBus-PT-none-ReachabilityCardinality-08 1101599 m, 50672 m/sec, 3516720 t fired, . VALUE PRODUCED BY EF false state equation AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 3 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-11 290649 m, 11618 m/sec, 600919 t fired, . EnergyBus-PT-none-ReachabilityCardinality-08 1520047 t fired, 3 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. EnergyBus-PT-none-ReachabilityCardinality-08 1351192 m, 49918 m/sec, 4325454 t fired, . for EnergyBus-PT-none-ReachabilityCardinality-08 (memory limit exceeded) VALUE PRODUCED BY EF false state equation AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-11 340848 m, 10039 m/sec, 713649 t fired, . EnergyBus-PT-none-ReachabilityCardinality-08 1809159 t fired, 3 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. for 12 EnergyBus-PT-none-ReachabilityCardinality-04 for EnergyBus-PT-none-ReachabilityCardinality-04 for 36 EnergyBus-PT-none-ReachabilityCardinality-12 VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-11 386475 m, 9125 m/sec, 811697 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 351761 t fired, 1 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 2095291 t fired, 5 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-11 414703 m, 5645 m/sec, 865268 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 689099 t fired, 1 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 2381734 t fired, 5 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-11 443755 m, 5810 m/sec, 922067 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 1020172 t fired, 2 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 2668049 t fired, 5 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-11 473172 m, 5883 m/sec, 980025 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 1350281 t fired, 2 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 2954067 t fired, 5 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. job 19085) VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-11 500538 m, 5473 m/sec, 1036652 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 1676568 t fired, 2 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 3241465 t fired, 6 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-11 541619 m, 8216 m/sec, 1124688 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 2001001 t fired, 3 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 3528781 t fired, 6 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-11 579338 m, 7543 m/sec, 1213008 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 2323783 t fired, 3 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 3816718 t fired, 6 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-11 610815 m, 6295 m/sec, 1278081 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 2646405 t fired, 3 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 4095393 t fired, 7 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-11 640333 m, 5903 m/sec, 1345712 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 2967726 t fired, 3 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 4355243 t fired, 7 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-11 670940 m, 6121 m/sec, 1412660 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 3288651 t fired, 4 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 4615237 t fired, 7 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-11 702633 m, 6338 m/sec, 1476597 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 3608674 t fired, 4 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 4875227 t fired, 7 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-11 735052 m, 6483 m/sec, 1542659 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 3929467 t fired, 4 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 5149942 t fired, 8 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-11 759624 m, 4914 m/sec, 1594231 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 4248421 t fired, 5 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 5438142 t fired, 8 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-11 782185 m, 4512 m/sec, 1640829 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 4568155 t fired, 5 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 5726585 t fired, 8 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-11 803044 m, 4171 m/sec, 1688077 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 4887340 t fired, 5 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 6014815 t fired, 9 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-11 822742 m, 3939 m/sec, 1733349 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 5206128 t fired, 6 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 6302997 t fired, 9 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-11 841968 m, 3845 m/sec, 1779871 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 5524842 t fired, 6 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 6591378 t fired, 9 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-11 870711 m, 5748 m/sec, 1847009 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 5843137 t fired, 6 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 6879625 t fired, 9 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 2 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-11 899369 m, 5731 m/sec, 1916706 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 6161434 t fired, 7 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 7167719 t fired, 10 attempts, . EnergyBus-PT-none-ReachabilityCardinality-08 sara is running. for EnergyBus-PT-none-ReachabilityCardinality-08 (local timeout) for EnergyBus-PT-none-ReachabilityCardinality-08 (local timeout) VALUE PRODUCED BY EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 2 0 0 1 2 1 0 EF 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-11 936100 m, 7346 m/sec, 1996860 t fired, . EnergyBus-PT-none-ReachabilityCardinality-12 6478725 t fired, 7 attempts, . for 21 EnergyBus-PT-none-ReachabilityCardinality-07 for 21 EnergyBus-PT-none-ReachabilityCardinality-07 te.k:721 te.k:787 for EnergyBus-PT-none-ReachabilityCardinality-08 for EnergyBus-PT-none-ReachabilityCardinality-08 ution/ReachabilityCardinality-84.sara. for EnergyBus-PT-none-ReachabilityCardinality-07 for EnergyBus-PT-none-ReachabilityCardinality-07 (obsolete) for 42 EnergyBus-PT-none-ReachabilityCardinality-14 for 42 EnergyBus-PT-none-ReachabilityCardinality-14 for EnergyBus-PT-none-ReachabilityCardinality-07 te.k:721 te.k:787 for EnergyBus-PT-none-ReachabilityCardinality-14 for EnergyBus-PT-none-ReachabilityCardinality-14 (obsolete) for 45 EnergyBus-PT-none-ReachabilityCardinality-15 for 45 EnergyBus-PT-none-ReachabilityCardinality-15 ution/ReachabilityCardinality-79.sara. te.k:711 ution/ReachabilityCardinality-95.sara. non-deterministic non-deterministic for EnergyBus-PT-none-ReachabilityCardinality-15 for EnergyBus-PT-none-ReachabilityCardinality-15 (obsolete) for 3 EnergyBus-PT-none-ReachabilityCardinality-01 for 3 EnergyBus-PT-none-ReachabilityCardinality-01 for EnergyBus-PT-none-ReachabilityCardinality-15 for EnergyBus-PT-none-ReachabilityCardinality-01 for EnergyBus-PT-none-ReachabilityCardinality-01 (obsolete) for 39 EnergyBus-PT-none-ReachabilityCardinality-13 for 39 EnergyBus-PT-none-ReachabilityCardinality-13 te.k:721 te.k:787 te.k:721 te.k:787 for EnergyBus-PT-none-ReachabilityCardinality-13 for EnergyBus-PT-none-ReachabilityCardinality-13 (obsolete) for 30 EnergyBus-PT-none-ReachabilityCardinality-10 for 30 EnergyBus-PT-none-ReachabilityCardinality-10 te.k:711 for EnergyBus-PT-none-ReachabilityCardinality-10 for EnergyBus-PT-none-ReachabilityCardinality-10 (obsolete) for 0 EnergyBus-PT-none-ReachabilityCardinality-00 for 0 EnergyBus-PT-none-ReachabilityCardinality-00 te.k:711 ution/ReachabilityCardinality-140.sara. ution/ReachabilityCardinality-67.sara. ution/ReachabilityCardinality-82.sara. ution/ReachabilityCardinality-142.sara. non-deterministic non-deterministic non-deterministic non-deterministic for EnergyBus-PT-none-ReachabilityCardinality-01 for EnergyBus-PT-none-ReachabilityCardinality-00 for EnergyBus-PT-none-ReachabilityCardinality-00 (obsolete) for 6 EnergyBus-PT-none-ReachabilityCardinality-02 for 6 EnergyBus-PT-none-ReachabilityCardinality-02 for EnergyBus-PT-none-ReachabilityCardinality-00 te.k:711 ution/ReachabilityCardinality-63.sara. non-deterministic for EnergyBus-PT-none-ReachabilityCardinality-02 for EnergyBus-PT-none-ReachabilityCardinality-02 (obsolete) for 24 EnergyBus-PT-none-ReachabilityCardinality-08 for 36 EnergyBus-PT-none-ReachabilityCardinality-12 for EnergyBus-PT-none-ReachabilityCardinality-02 te.k:711 for EnergyBus-PT-none-ReachabilityCardinality-08 for 33 EnergyBus-PT-none-ReachabilityCardinality-11 ution/ReachabilityCardinality-103.sara. non-deterministic for EnergyBus-PT-none-ReachabilityCardinality-12 for EnergyBus-PT-none-ReachabilityCardinality-12 (obsolete) for 33 EnergyBus-PT-none-ReachabilityCardinality-11 for 33 EnergyBus-PT-none-ReachabilityCardinality-11 for EnergyBus-PT-none-ReachabilityCardinality-12 te.k:711 ution/ReachabilityCardinality-71.sara. non-deterministic for EnergyBus-PT-none-ReachabilityCardinality-11 for EnergyBus-PT-none-ReachabilityCardinality-11 (obsolete) for EnergyBus-PT-none-ReachabilityCardinality-11 (obsolete) for EnergyBus-PT-none-ReachabilityCardinality-11 (obsolete) for 24 EnergyBus-PT-none-ReachabilityCardinality-08 for EnergyBus-PT-none-ReachabilityCardinality-11 VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 7475 m, 1495 m/sec, 12018 t fired, . job 2605) VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 21831 m, 2871 m/sec, 37030 t fired, . job 5076) VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 37723 m, 3178 m/sec, 69131 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 54412 m, 3337 m/sec, 107127 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 70408 m, 3199 m/sec, 143488 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 89609 m, 3840 m/sec, 189086 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 107159 m, 3510 m/sec, 225844 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 123044 m, 3177 m/sec, 249703 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 138850 m, 3161 m/sec, 274477 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 152491 m, 2728 m/sec, 297898 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 166759 m, 2853 m/sec, 323776 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 182898 m, 3227 m/sec, 354531 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 198153 m, 3051 m/sec, 383658 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 213653 m, 3100 m/sec, 417576 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 228827 m, 3034 m/sec, 449626 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 243156 m, 2865 m/sec, 479144 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 EnergyBus-PT-none-ReachabilityCardinality-08 256730 m, 2714 m/sec, 509481 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 276255 m, 3905 m/sec, 552793 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 293543 m, 3457 m/sec, 589513 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 308990 m, 3089 m/sec, 616360 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 322993 m, 2800 m/sec, 641993 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 337069 m, 2815 m/sec, 670566 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 352091 m, 3004 m/sec, 699201 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 366414 m, 2864 m/sec, 729094 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 381156 m, 2948 m/sec, 762400 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 395759 m, 2920 m/sec, 797118 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 409548 m, 2757 m/sec, 827105 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 422765 m, 2643 m/sec, 858900 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 439361 m, 3319 m/sec, 898488 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 456982 m, 3524 m/sec, 941813 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 473978 m, 3399 m/sec, 974597 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 486212 m, 2446 m/sec, 996351 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 498681 m, 2493 m/sec, 1020045 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 EnergyBus-PT-none-ReachabilityCardinality-08 512623 m, 2788 m/sec, 1047761 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 527231 m, 2921 m/sec, 1078682 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 543087 m, 3171 m/sec, 1113750 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 558356 m, 3053 m/sec, 1146770 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 579119 m, 4152 m/sec, 1191931 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 594922 m, 3160 m/sec, 1226279 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 608358 m, 2687 m/sec, 1252079 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 620854 m, 2499 m/sec, 1276937 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 633956 m, 2620 m/sec, 1304597 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 649396 m, 3088 m/sec, 1339218 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 664032 m, 2927 m/sec, 1371525 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 679275 m, 3048 m/sec, 1406728 t fired, . job 10226) VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 698251 m, 3795 m/sec, 1450748 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 714734 m, 3296 m/sec, 1485979 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 728997 m, 2852 m/sec, 1510336 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 745233 m, 3247 m/sec, 1544671 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 762131 m, 3379 m/sec, 1583209 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 EnergyBus-PT-none-ReachabilityCardinality-08 777968 m, 3167 m/sec, 1617038 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 796885 m, 3783 m/sec, 1661952 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 813513 m, 3325 m/sec, 1698394 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 826972 m, 2691 m/sec, 1723435 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 841270 m, 2859 m/sec, 1754160 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 855775 m, 2901 m/sec, 1788240 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 870608 m, 2966 m/sec, 1823561 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 884839 m, 2846 m/sec, 1858208 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 903823 m, 3796 m/sec, 1904569 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 919008 m, 3037 m/sec, 1939097 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 930567 m, 2311 m/sec, 1959919 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 943033 m, 2493 m/sec, 1985219 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 957577 m, 2908 m/sec, 2018962 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 974279 m, 3340 m/sec, 2057303 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 991852 m, 3514 m/sec, 2097347 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 1004082 m, 2446 m/sec, 2120697 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 1016376 m, 2458 m/sec, 2145878 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 1029444 m, 2613 m/sec, 2177923 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 EnergyBus-PT-none-ReachabilityCardinality-08 1044718 m, 3054 m/sec, 2215399 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 EnergyBus-PT-none-ReachabilityCardinality-08 1063222 m, 3700 m/sec, 2259849 t fired, . VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS EF 0 0 1 0 4 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 EnergyBus-PT-none-ReachabilityCardinality-08 1079172 m, 3190 m/sec, 2292119 t fired, . for EnergyBus-PT-none-ReachabilityCardinality-08 VALUE PRODUCED BY EF false state equation AG false findpath EF false state equation EF false state equation EF true findpath AG false tandem / insertion EF true tandem / insertion AG false findpath EF true tandem / relaxed AG false findpath EF true findpath EF false state equation EF false state equation AG false findpath AG false findpath EF false state equation

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="EnergyBus-PT-none"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is EnergyBus-PT-none, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r080-tall-162048871300678"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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