MCC'2021- Execution of r270-smll-162123877300182

About the Execution of LoLA for TriangularGrid-PT-4022

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
509.684	265584.00	1009477.00	54.90	TFFTFFFFFTFFFTFF	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.r270-smll-162123
Waiting for the VM to be ready (probing ssh)
..................................................
============================
Generated by BenchKit 2-4028
Executing tool lola
Input is TriangularGrid-PT-4022, examination
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r270-smll-162123877300182
==================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 19K May 5 16:58
-rw-r--r-- 1 mcc users 151K May 10 09:44
-rw-r--r-- 1 mcc users 13K May 5 16:58
-rw-r--r-- 1 mcc users 93K May 10 09:44
-rw-r--r-- 1 mcc users 4.2K May 6 14:48
-rw-r--r-- 1 mcc users 6.4K May 6 14:48
-rw-r--r-- 1 mcc users 4.2K Apr 26 07:43
-rw-r--r-- 1 mcc users 27K Apr 26 07:43
-rw-r--r-- 1 mcc users 2.2K Apr 26 07:43
-rw-r--r-- 1 mcc users 15K Apr 26 07:43
-rw-r--r-- 1 mcc users 3.6K Mar 27 14:36
-rw-r--r-- 1 mcc users 17K Mar 27 14:36
-rw-r--r-- 1 mcc users 3.6K Mar 26 05:34
-rw-r--r-- 1 mcc users 22K Mar 26 05:34
-rw-r--r-- 1 mcc users 1.8K Mar 22 08:16
-rw-r--r-- 1 mcc users 3.8K Mar 22 08:16
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rwxr-xr-x 1 mcc users 121K May 5 16:52

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

=== Data for post analysis generated by BenchKit

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa
FORMULA_NAME TriangularGrid-PT-4022-ReachabilityCa

=== Now, execution of the tool begins

BK_START 1621390062748

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

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-04

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-07

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-14

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-00

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-02

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-01

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-08

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-09

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-12

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-11

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-15

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-13

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-10

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-06

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-03

FORMULA TriangularGrid-PT-4022-ReachabilityCardinality-05

BK_STOP 1621390328332

--------------------
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/model
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/R
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 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 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: Rule S: 0 transitions removed,0 places
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: LAUNCH task # 53 (type EXCL) for
lola: time limit : 225 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 49 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 50 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: FINISHED task # 52 (type SRCH) for
lola: result : true
lola: markings : 5
lola: fired transitions : 4
lola: time used : 0.000000
lola: memory pages used : 1
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: CANCELED task # 49 (type FNDP) for
lola: CANCELED task # 50 (type EQUN) for
lola: CANCELED task # 53 (type EXCL) for
lola: LAUNCH task # 75 (type EXCL) for
lola: time limit : 600 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: LAUNCH task # 63 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: LAUNCH task # 64 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 66 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 53 (type EXCL) for
lola: result : true
lola: markings : 152
lola: fired transitions : 151
lola: time used : 0.000000
lola: memory pages used : 1
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: FINISHED task # 49 (type FNDP) for
lola: result : unknown
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
sara: try reading problem file /home/mcc/execution
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: FINISHED task # 75 (type EXCL) for
lola: result : true
lola: markings : 68
lola: fired transitions : 67
lola: time used : 0.000000
lola: memory pages used : 1
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: LAUNCH task # 121 (type EXCL) for
lola: time limit : 360 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
sara: try reading problem file /home/mcc/execution
sara: place or transition ordering is non-determin
sara: place or transition ordering is non-determin

lola: FINISHED task # 50 (type EQUN) for
lola: result : true

lola: FINISHED task # 64 (type EQUN) for
lola: result : false
lola: CANCELED task # 63 (type FNDP) for
lola: CANCELED task # 66 (type SRCH) for
lola: LAUNCH task # 73 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 82 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 84 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: FINISHED task # 63 (type FNDP) for
lola: result : unknown
lola: fired transitions : 22976
lola: tried executions : 22
lola: time used : 1.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:
sara: try reading problem file /home/mcc/execution
sara: place or transition ordering is non-determin

lola: FINISHED task # 82 (type EQUN) for
lola: result : false
lola: CANCELED task # 73 (type FNDP) for
lola: CANCELED task # 84 (type SRCH) for
lola: LAUNCH task # 71 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 77 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 91 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 73 (type FNDP) for
lola: result : unknown
lola: fired transitions : 29322
lola: tried executions : 127
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: FINISHED task # 77 (type FNDP) for
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 91 (type EQUN) for
lola: LAUNCH task # 94 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 104 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 71 (type FNDP) for
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 98 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution
sara: place or transition ordering is non-determin

lola: FINISHED task # 91 (type EQUN) for
lola: result : true
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 4/257 0/5
98 EF FNDP 4/276 0/5
104 EF FNDP 4/276 0/5
121 EF EXCL 5/360 3/32

Time elapsed: 5 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 9/253 0/5
98 EF FNDP 9/272 0/5
104 EF FNDP 9/272 0/5
121 EF EXCL 10/360 6/32

Time elapsed: 10 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 14/248 0/5
98 EF FNDP 14/267 0/5
104 EF FNDP 14/267 0/5
121 EF EXCL 15/360 9/32

Time elapsed: 15 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 19/243 0/5
98 EF FNDP 19/262 0/5
104 EF FNDP 19/262 0/5
121 EF EXCL 20/360 12/32

Time elapsed: 20 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 24/238 0/5
98 EF FNDP 24/257 0/5
104 EF FNDP 24/257 0/5
121 EF EXCL 25/360 15/32

Time elapsed: 25 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 29/233 0/5
98 EF FNDP 29/252 0/5
104 EF FNDP 29/252 0/5
121 EF EXCL 30/360 18/32

Time elapsed: 30 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 34/228 0/5
98 EF FNDP 34/247 0/5
104 EF FNDP 34/247 0/5
121 EF EXCL 35/360 21/32

Time elapsed: 35 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 39/223 0/5
98 EF FNDP 39/242 0/5
104 EF FNDP 39/242 0/5
121 EF EXCL 40/360 24/32

Time elapsed: 40 secs. Pages in use: 24
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 44/218 0/5
98 EF FNDP 44/237 0/5
104 EF FNDP 44/237 0/5
121 EF EXCL 45/360 27/32

Time elapsed: 45 secs. Pages in use: 27
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 49/213 0/5
98 EF FNDP 49/232 0/5
104 EF FNDP 49/232 0/5
121 EF EXCL 50/360 30/32

Time elapsed: 50 secs. Pages in use: 30
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 121 (type EXCL) for
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 54/208 0/5
98 EF FNDP 54/227 0/5
104 EF FNDP 54/227 0/5

Time elapsed: 55 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 148 (type EXCL) for
lola: time limit : 393 sec
lola: memory limit: 32 pages
lola: FINISHED task # 148 (type EXCL) for
lola: result : true
lola: markings : 142
lola: fired transitions : 141
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 146 (type EXCL) for
lola: time limit : 443 sec
lola: memory limit: 32 pages
lola: FINISHED task # 146 (type EXCL) for
lola: result : true
lola: markings : 612
lola: fired transitions : 622
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 144 (type EXCL) for
lola: time limit : 506 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 59/273 0/5
98 EF FNDP 59/273 0/5
104 EF FNDP 59/305 0/5
144 EF EXCL 5/506 3/32

Time elapsed: 60 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 64/268 0/5
98 EF FNDP 64/268 0/5
104 EF FNDP 64/300 0/5
144 EF EXCL 10/506 6/32

Time elapsed: 65 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 69/263 0/5
98 EF FNDP 69/263 0/5
104 EF FNDP 69/295 0/5
144 EF EXCL 15/506 9/32

Time elapsed: 70 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 74/258 0/5
98 EF FNDP 74/258 0/5
104 EF FNDP 74/290 0/5
144 EF EXCL 20/506 11/32

Time elapsed: 75 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 79/253 0/5
98 EF FNDP 79/253 0/5
104 EF FNDP 79/285 0/5
144 EF EXCL 25/506 14/32

Time elapsed: 80 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 84/248 0/5
98 EF FNDP 84/248 0/5
104 EF FNDP 84/280 0/5
144 EF EXCL 30/506 16/32

Time elapsed: 85 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 89/243 0/5
98 EF FNDP 89/243 0/5
104 EF FNDP 89/275 0/5
144 EF EXCL 35/506 19/32

Time elapsed: 90 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 94/238 0/5
98 EF FNDP 94/238 0/5
104 EF FNDP 94/270 0/5
144 EF EXCL 40/506 22/32

Time elapsed: 95 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 99/233 0/5
98 EF FNDP 99/233 0/5
104 EF FNDP 99/265 0/5
144 EF EXCL 45/506 24/32

Time elapsed: 100 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 104/228 0/5
98 EF FNDP 104/228 0/5
104 EF FNDP 104/260 0/5
144 EF EXCL 50/506 27/32

Time elapsed: 105 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 109/223 0/5
98 EF FNDP 109/223 0/5
104 EF FNDP 109/255 0/5
144 EF EXCL 55/506 30/32

Time elapsed: 110 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 144 (type EXCL) for
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-14:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-13:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 114/218 0/5
98 EF FNDP 114/218 0/5
104 EF FNDP 114/250 0/5

Time elapsed: 115 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 139 (type EXCL) for
lola: time limit : 580 sec
lola: memory limit: 32 pages
lola: FINISHED task # 139 (type EXCL) for
lola: result : true
lola: markings : 121
lola: fired transitions : 120
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 103 (type EXCL) for
lola: time limit : 697 sec
lola: memory limit: 32 pages
lola: FINISHED task # 103 (type EXCL) for
lola: result : true
lola: markings : 330
lola: fired transitions : 329
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 100 (type EXCL) for
lola: time limit : 871 sec
lola: memory limit: 32 pages
lola: FINISHED task # 100 (type EXCL) for
lola: result : true
lola: markings : 75
lola: fired transitions : 74
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 133 (type EXCL) for
lola: time limit : 1161 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 119/400 0/5
98 EF FNDP 119/400 0/5
104 EF FNDP 119/485 0/5
133 EF EXCL 5/1161 3/32

Time elapsed: 120 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 124/395 0/5
98 EF FNDP 124/395 0/5
104 EF FNDP 124/480 0/5
133 EF EXCL 10/1161 6/32

Time elapsed: 125 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 129/390 0/5
98 EF FNDP 129/390 0/5
104 EF FNDP 129/475 0/5
133 EF EXCL 15/1161 9/32

Time elapsed: 130 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 134/385 0/5
98 EF FNDP 134/385 0/5
104 EF FNDP 134/470 0/5
133 EF EXCL 20/1161 12/32

Time elapsed: 135 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 139/380 0/5
98 EF FNDP 139/380 0/5
104 EF FNDP 139/465 0/5
133 EF EXCL 25/1161 14/32

Time elapsed: 140 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 144/375 0/5
98 EF FNDP 144/375 0/5
104 EF FNDP 144/460 0/5
133 EF EXCL 30/1161 17/32

Time elapsed: 145 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 149/370 0/5
98 EF FNDP 149/370 0/5
104 EF FNDP 149/455 0/5
133 EF EXCL 35/1161 21/32

Time elapsed: 150 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 154/365 0/5
98 EF FNDP 154/365 0/5
104 EF FNDP 154/450 0/5
133 EF EXCL 40/1161 24/32

Time elapsed: 155 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 159/360 0/5
98 EF FNDP 159/360 0/5
104 EF FNDP 159/445 0/5
133 EF EXCL 45/1161 27/32

Time elapsed: 160 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 164/355 0/5
98 EF FNDP 164/355 0/5
104 EF FNDP 164/440 0/5
133 EF EXCL 50/1161 30/32

Time elapsed: 165 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 169/350 0/5
98 EF FNDP 169/350 0/5
104 EF FNDP 169/435 0/5
133 EF EXCL 55/1161 32/32

Time elapsed: 170 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 133 (type EXCL) for
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 174/345 0/5
98 EF FNDP 174/345 0/5
104 EF FNDP 174/430 0/5

Time elapsed: 175 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 136 (type EXCL) for
lola: time limit : 1712 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 179/340 0/5
98 EF FNDP 179/340 0/5
104 EF FNDP 179/425 0/5
136 EF EXCL 5/1712 4/32

Time elapsed: 180 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 184/335 0/5
98 EF FNDP 184/335 0/5
104 EF FNDP 184/420 0/5
136 EF EXCL 10/1712 7/32

Time elapsed: 185 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 189/330 0/5
98 EF FNDP 189/330 0/5
104 EF FNDP 189/415 0/5
136 EF EXCL 15/1712 10/32

Time elapsed: 190 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 194/325 0/5
98 EF FNDP 194/325 0/5
104 EF FNDP 194/410 0/5
136 EF EXCL 20/1712 14/32

Time elapsed: 195 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 199/320 0/5
98 EF FNDP 199/320 0/5
104 EF FNDP 199/405 0/5
136 EF EXCL 25/1712 17/32

Time elapsed: 200 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 204/315 0/5
98 EF FNDP 204/315 0/5
104 EF FNDP 204/400 0/5
136 EF EXCL 30/1712 20/32

Time elapsed: 205 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 209/310 0/5
98 EF FNDP 209/310 0/5
104 EF FNDP 209/395 0/5
136 EF EXCL 35/1712 23/32

Time elapsed: 210 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 214/305 0/5
98 EF FNDP 214/305 0/5
104 EF FNDP 214/390 0/5
136 EF EXCL 40/1712 25/32

Time elapsed: 215 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 219/300 0/5
98 EF FNDP 219/300 0/5
104 EF FNDP 219/385 0/5
136 EF EXCL 45/1712 28/32

Time elapsed: 220 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 224/295 0/5
98 EF FNDP 224/295 0/5
104 EF FNDP 224/380 0/5
136 EF EXCL 50/1712 30/32

Time elapsed: 225 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 229/290 0/5
98 EF FNDP 229/290 0/5
104 EF FNDP 229/375 0/5
136 EF EXCL 55/1712 32/32

Time elapsed: 230 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 136 (type EXCL) for
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 234/285 0/5
98 EF FNDP 234/285 0/5
104 EF FNDP 234/370 0/5

Time elapsed: 235 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 113 (type EXCL) for
lola: time limit : 3365 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 239/280 0/5
98 EF FNDP 239/280 0/5
104 EF FNDP 239/365 0/5
113 EF EXCL 5/3365 3/32

Time elapsed: 240 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 244/275 0/5
98 EF FNDP 244/275 0/5
104 EF FNDP 244/360 0/5
113 EF EXCL 10/3365 5/32

Time elapsed: 245 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 249/270 0/5
98 EF FNDP 249/270 0/5
104 EF FNDP 249/355 0/5
113 EF EXCL 15/3365 7/32

Time elapsed: 250 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 254/265 0/5
98 EF FNDP 254/265 0/5
104 EF FNDP 254/350 0/5
113 EF EXCL 20/3365 9/32

Time elapsed: 255 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
94 EF FNDP 259/260 0/5
98 EF FNDP 259/260 0/5
104 EF FNDP 259/345 0/5
113 EF EXCL 25/3365 11/32

Time elapsed: 260 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 94 (type FNDP) for
lola: CANCELED task # 98 (type FNDP) for
FINISHED FORMULA: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-00:
TriangularGrid-PT-4022-ReachabilityCardinality-01:
TriangularGrid-PT-4022-ReachabilityCardinality-02:
TriangularGrid-PT-4022-ReachabilityCardinality-04:
TriangularGrid-PT-4022-ReachabilityCardinality-07:
TriangularGrid-PT-4022-ReachabilityCardinality-08:
TriangularGrid-PT-4022-ReachabilityCardinality-09:
TriangularGrid-PT-4022-ReachabilityCardinality-11:
TriangularGrid-PT-4022-ReachabilityCardinality-12:
TriangularGrid-PT-4022-ReachabilityCardinality-14:
TriangularGrid-PT-4022-ReachabilityCardinality-15:

PENDING FORMULAS: CATEGORY
TriangularGrid-PT-4022-ReachabilityCardinality-03:
TriangularGrid-PT-4022-ReachabilityCardinality-05:
TriangularGrid-PT-4022-ReachabilityCardinality-06:
TriangularGrid-PT-4022-ReachabilityCardinality-10:
TriangularGrid-PT-4022-ReachabilityCardinality-13:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
104 EF FNDP 264/340 0/5
113 EF EXCL 30/3365 13/32

Time elapsed: 265 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 117 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 128 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 94 (type FNDP) for
lola: result : unknown
lola: fired transitions : 46561370
lola: tried executions : 37065
lola: time used : 264.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: FINISHED task # 98 (type FNDP) for
lola: result : unknown
lola: fired transitions : 38308010
lola: tried executions : 11435
lola: time used : 264.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution
sara: place or transition ordering is non-determin

lola: FINISHED task # 128 (type EQUN) for
lola: result : false
lola: CANCELED task # 117 (type FNDP) for
lola: LAUNCH task # 72 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 106 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: FINISHED task # 117 (type FNDP) for
lola: result : unknown
lola: fired transitions : 14483
lola: tried executions : 7
lola: time used : 1.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution
sara: place or transition ordering is non-determin

lola: FINISHED task # 106 (type EQUN) for
lola: result : false
lola: CANCELED task # 72 (type FNDP) for
lola: LAUNCH task # 105 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 135 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: FINISHED task # 72 (type FNDP) for
lola: result : unknown
lola: fired transitions : 24984
lola: tried executions : 177
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution
sara: place or transition ordering is non-determin

lola: FINISHED task # 105 (type EQUN) for
lola: result : false
lola: CANCELED task # 135 (type SRCH) for
lola: LAUNCH task # 115 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 132 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:
lola: rewrite Frontend/Parser/formula_rewrite.k:
sara: try reading problem file /home/mcc/execution
sara: place or transition ordering is non-determin

lola: FINISHED task # 115 (type EQUN) for
lola: result : false
lola: CANCELED task # 132 (type SRCH) for
lola: LAUNCH task # 110 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 112 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:
sara: try reading problem file /home/mcc/execution
sara: place or transition ordering is non-determin

lola: FINISHED task # 110 (type EQUN) for
lola: result : false
lola: CANCELED task # 104 (type FNDP) for
lola: CANCELED task # 112 (type SRCH) for
lola: CANCELED task # 113 (type EXCL) for
lola: Portfolio finished: no open formulas

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

Time elapsed: 266 secs. Pages in use: 32
877300182.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ========================================= is ReachabilityCardinality =================== 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 model.pnml (invocation template) 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 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 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 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 .pnml pnml eachabilityCardinality.xml removed 721 787 721 787 721 787 721 787 12 TriangularGrid-PT-4022-ReachabilityCardinality-04 12 TriangularGrid-PT-4022-ReachabilityCardinality-04 12 TriangularGrid-PT-4022-ReachabilityCardinality-04 12 TriangularGrid-PT-4022-ReachabilityCardinality-04 721 787 721 787 711 711 711 711 721 787 721 787 721 787 721 787 721 787 721 787 721 787 721 787 721 787 721 787 721 787 721 787 711 721 787 TriangularGrid-PT-4022-ReachabilityCardinality-04 711 TriangularGrid-PT-4022-ReachabilityCardinality-04 (obsolete) TriangularGrid-PT-4022-ReachabilityCardinality-04 (obsolete) TriangularGrid-PT-4022-ReachabilityCardinality-04 (obsolete) 21 TriangularGrid-PT-4022-ReachabilityCardinality-07 721 787 42 TriangularGrid-PT-4022-ReachabilityCardinality-14 721 787 42 TriangularGrid-PT-4022-ReachabilityCardinality-14 42 TriangularGrid-PT-4022-ReachabilityCardinality-14 TriangularGrid-PT-4022-ReachabilityCardinality-04 711 TriangularGrid-PT-4022-ReachabilityCardinality-04 721 787 721 787 711 711 711 711 711 721 787 721 787 /ReachabilityCardinality-50.sara. 721 787 711 711 711 TriangularGrid-PT-4022-ReachabilityCardinality-07 721 787 721 787 30 TriangularGrid-PT-4022-ReachabilityCardinality-10 721 787 721 787 721 787 721 787 721 787 721 787 721 787 711 711 721 787 721 787 721 787 721 787 721 787 721 787 721 787 721 787 721 787 721 787 711 711 711 711 /ReachabilityCardinality-64.sara. istic istic TriangularGrid-PT-4022-ReachabilityCardinality-04 TriangularGrid-PT-4022-ReachabilityCardinality-14 TriangularGrid-PT-4022-ReachabilityCardinality-14 (obsolete) TriangularGrid-PT-4022-ReachabilityCardinality-14 (obsolete) 0 TriangularGrid-PT-4022-ReachabilityCardinality-00 0 TriangularGrid-PT-4022-ReachabilityCardinality-00 0 TriangularGrid-PT-4022-ReachabilityCardinality-00 721 TriangularGrid-PT-4022-ReachabilityCardinality-14 787 /ReachabilityCardinality-82.sara. istic TriangularGrid-PT-4022-ReachabilityCardinality-00 TriangularGrid-PT-4022-ReachabilityCardinality-00 (obsolete) TriangularGrid-PT-4022-ReachabilityCardinality-00 (obsolete) 3 TriangularGrid-PT-4022-ReachabilityCardinality-01 6 TriangularGrid-PT-4022-ReachabilityCardinality-02 6 TriangularGrid-PT-4022-ReachabilityCardinality-02 TriangularGrid-PT-4022-ReachabilityCardinality-00 721 787 TriangularGrid-PT-4022-ReachabilityCardinality-02 TriangularGrid-PT-4022-ReachabilityCardinality-02 (obsolete) 18 TriangularGrid-PT-4022-ReachabilityCardinality-06 15 TriangularGrid-PT-4022-ReachabilityCardinality-05 TriangularGrid-PT-4022-ReachabilityCardinality-01 9 TriangularGrid-PT-4022-ReachabilityCardinality-03 /ReachabilityCardinality-91.sara. istic TriangularGrid-PT-4022-ReachabilityCardinality-02 VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 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 EF 0 5 0 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 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 1972064 t fired, 16558 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 1303610 t fired, 1234 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 1306859 t fired, 1308 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-10 607445 m, 121489 m/sec, 954903 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 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 EF 0 5 0 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 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 3460478 t fired, 19527 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 2457168 t fired, 1621 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 2532529 t fired, 1854 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-10 1312810 m, 141073 m/sec, 2099059 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 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 EF 0 5 0 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 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 4675277 t fired, 20504 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 3504231 t fired, 1881 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 3642529 t fired, 2230 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-10 2006657 m, 138769 m/sec, 3211600 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 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 EF 0 5 0 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 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 5790031 t fired, 21099 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 4492048 t fired, 2107 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 4672511 t fired, 2521 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-10 2697488 m, 138166 m/sec, 4317471 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 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 EF 0 5 0 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 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 6835200 t fired, 21582 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 5429076 t fired, 2334 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 5636997 t fired, 2774 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-10 3309507 m, 122403 m/sec, 5197453 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 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 EF 0 5 0 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 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 7893618 t fired, 22030 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 6357686 t fired, 2546 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 6576900 t fired, 3004 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-10 4045607 m, 147220 m/sec, 6364193 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 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 EF 0 5 0 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 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 8975188 t fired, 22466 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 7203999 t fired, 2749 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 7433018 t fired, 3206 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-10 4802720 m, 151422 m/sec, 7732064 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 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 EF 0 5 0 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 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 10023860 t fired, 22879 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 8020191 t fired, 2951 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 8262522 t fired, 3421 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-10 5483111 m, 136078 m/sec, 8837825 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 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 EF 0 5 0 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 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 11038788 t fired, 23278 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 8842703 t fired, 3156 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 9064066 t fired, 3626 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-10 6209918 m, 145361 m/sec, 10055255 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 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 EF 0 5 0 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 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 12045946 t fired, 23666 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 9678936 t fired, 3366 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 9885483 t fired, 3836 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-10 6887542 m, 135524 m/sec, 11144733 t fired, . TriangularGrid-PT-4022-ReachabilityCardinality-10 (memory limit exceeded) VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 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 EF 0 5 0 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 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 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 12868737 t fired, 23970 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 10512690 t fired, 3578 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 10680579 t fired, 4045 attempts, . 24 TriangularGrid-PT-4022-ReachabilityCardinality-08 TriangularGrid-PT-4022-ReachabilityCardinality-08 27 TriangularGrid-PT-4022-ReachabilityCardinality-09 TriangularGrid-PT-4022-ReachabilityCardinality-09 39 TriangularGrid-PT-4022-ReachabilityCardinality-13 VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 13899072 t fired, 24361 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 11364402 t fired, 3802 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 11543102 t fired, 4273 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-13 586883 m, 117376 m/sec, 1017803 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 14888072 t fired, 24740 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 12085187 t fired, 3988 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 12290598 t fired, 4463 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-13 1194316 m, 121486 m/sec, 2074185 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 15876147 t fired, 25109 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 12823397 t fired, 4178 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 13020674 t fired, 4652 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-13 1847849 m, 130706 m/sec, 3205865 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 16856108 t fired, 25486 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 13537524 t fired, 4365 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 13745173 t fired, 4835 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-13 2471486 m, 124727 m/sec, 4299822 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 17822353 t fired, 25841 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 14250083 t fired, 4550 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 14452828 t fired, 5024 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-13 3083826 m, 122468 m/sec, 5341252 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 18776623 t fired, 26207 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 14940345 t fired, 4735 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 15172235 t fired, 5212 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-13 3677007 m, 118636 m/sec, 6398389 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 19691553 t fired, 26566 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 15605793 t fired, 4913 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 15875746 t fired, 5396 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-13 4279795 m, 120557 m/sec, 7479939 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 20627632 t fired, 26929 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 16246917 t fired, 5088 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 16549046 t fired, 5572 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-13 4895694 m, 123179 m/sec, 8566391 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 21561875 t fired, 27297 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 16880976 t fired, 5263 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 17219277 t fired, 5752 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-13 5512546 m, 123370 m/sec, 9635065 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 22476496 t fired, 27650 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 17518569 t fired, 5441 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 17893957 t fired, 5937 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-13 6140953 m, 125681 m/sec, 10794186 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 23325413 t fired, 27984 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 18218808 t fired, 5633 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 18532588 t fired, 6116 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-13 6749881 m, 121785 m/sec, 11866247 t fired, . TriangularGrid-PT-4022-ReachabilityCardinality-13 (memory limit exceeded) VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS AG 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 24071142 t fired, 28269 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 18849723 t fired, 5805 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 19296173 t fired, 6328 attempts, . 36 TriangularGrid-PT-4022-ReachabilityCardinality-12 TriangularGrid-PT-4022-ReachabilityCardinality-12 33 TriangularGrid-PT-4022-ReachabilityCardinality-11 TriangularGrid-PT-4022-ReachabilityCardinality-11 45 TriangularGrid-PT-4022-ReachabilityCardinality-15 TriangularGrid-PT-4022-ReachabilityCardinality-15 9 TriangularGrid-PT-4022-ReachabilityCardinality-03 VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 2 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 24760972 t fired, 28542 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 19470211 t fired, 5977 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 20187801 t fired, 6565 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 647042 m, 129408 m/sec, 1008550 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 2 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 25438403 t fired, 28806 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 20075024 t fired, 6145 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 21043260 t fired, 6803 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 1331563 m, 136904 m/sec, 2122591 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 2 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 26115340 t fired, 29077 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 20702313 t fired, 6324 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 21867315 t fired, 7028 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 2006092 m, 134905 m/sec, 3208060 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 2 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 26808917 t fired, 29350 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 21314815 t fired, 6493 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 22678857 t fired, 7251 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 2674227 m, 133627 m/sec, 4278965 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 2 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 27690150 t fired, 29695 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 21934534 t fired, 6670 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 23289052 t fired, 7421 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 3249922 m, 115139 m/sec, 5106427 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 2 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 28549953 t fired, 30018 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 22571201 t fired, 6853 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 23898365 t fired, 7593 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 3931727 m, 136361 m/sec, 6170647 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 2 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 29406741 t fired, 30351 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 23188710 t fired, 7030 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 24502108 t fired, 7758 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 4722823 m, 158219 m/sec, 7547851 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 2 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 30309133 t fired, 30702 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 23809927 t fired, 7207 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 25114865 t fired, 7931 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 5472781 m, 149991 m/sec, 8732904 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 2 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 31050062 t fired, 30997 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 24392923 t fired, 7384 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 25816724 t fired, 8125 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 6135950 m, 132633 m/sec, 9785499 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 2 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 31926329 t fired, 31338 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 24995553 t fired, 7559 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 26429370 t fired, 8291 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 6819104 m, 136630 m/sec, 10884958 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 2 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 32810402 t fired, 31683 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 25598868 t fired, 7731 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 27042127 t fired, 8462 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 7432464 m, 122672 m/sec, 11790162 t fired, . TriangularGrid-PT-4022-ReachabilityCardinality-03 (memory limit exceeded) VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 33663294 t fired, 32022 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 26315889 t fired, 7934 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 27800805 t fired, 8676 attempts, . 18 TriangularGrid-PT-4022-ReachabilityCardinality-06 VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 EF 0 3 2 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 34580928 t fired, 32387 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 26929832 t fired, 8113 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 28437375 t fired, 8862 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-06 744921 m, 148984 m/sec, 1188528 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 EF 0 3 2 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 35412097 t fired, 32700 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 27667771 t fired, 8326 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 29152125 t fired, 9070 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-06 1466094 m, 144234 m/sec, 2312024 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 EF 0 3 2 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 36251671 t fired, 33035 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 28399253 t fired, 8536 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 29850880 t fired, 9263 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-06 2152694 m, 137320 m/sec, 3389477 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 EF 0 3 2 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 36890694 t fired, 33280 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 29193488 t fired, 8771 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 30505901 t fired, 9450 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-06 2899974 m, 149456 m/sec, 4596377 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 EF 0 3 2 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 37652278 t fired, 33588 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 29863295 t fired, 8961 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 31122393 t fired, 9622 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-06 3575711 m, 135147 m/sec, 5686643 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 EF 0 3 2 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 38441417 t fired, 33888 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 30482045 t fired, 9142 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 31799071 t fired, 9811 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-06 4212544 m, 127366 m/sec, 6663076 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 EF 0 3 2 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 39199337 t fired, 34162 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 31081243 t fired, 9314 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 32423473 t fired, 9992 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-06 4863115 m, 130114 m/sec, 7731077 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 EF 0 3 2 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 39851074 t fired, 34423 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 31761778 t fired, 9511 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 33072418 t fired, 10178 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-06 5399817 m, 107340 m/sec, 8564189 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 EF 0 3 2 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 40437189 t fired, 34646 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 32579379 t fired, 9753 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 33653335 t fired, 10341 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-06 5962840 m, 112604 m/sec, 9471248 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 EF 0 3 2 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 41047295 t fired, 34890 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 33383722 t fired, 9983 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 34242534 t fired, 10507 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-06 6531945 m, 113821 m/sec, 10423618 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 EF 0 3 2 0 1 0 0 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 41747508 t fired, 35172 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 34052141 t fired, 10178 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 34911188 t fired, 10699 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-06 7061556 m, 105922 m/sec, 11239446 t fired, . TriangularGrid-PT-4022-ReachabilityCardinality-06 (memory limit exceeded) VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 EF 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 42429418 t fired, 35440 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 34597322 t fired, 10337 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 35703067 t fired, 10926 attempts, . 15 TriangularGrid-PT-4022-ReachabilityCardinality-05 VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 3 2 0 1 0 0 0 EF 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 43206944 t fired, 35745 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 35248964 t fired, 10526 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 36443770 t fired, 11139 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 542486 m, 108497 m/sec, 803033 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 3 2 0 1 0 0 0 EF 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 43975077 t fired, 36045 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 35893194 t fired, 10719 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 37171033 t fired, 11342 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 1001887 m, 91880 m/sec, 1605755 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 3 2 0 1 0 0 0 EF 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 44616713 t fired, 36287 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 36497595 t fired, 10900 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 38015748 t fired, 11583 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 1490263 m, 97675 m/sec, 2471527 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 3 2 0 1 0 0 0 EF 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 45265718 t fired, 36547 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 37104631 t fired, 11078 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 38838388 t fired, 11821 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 1975140 m, 96975 m/sec, 3336814 t fired, . VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 1 0 1 0 1 0 EF 0 3 2 0 1 0 0 0 EF 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-06 45919770 t fired, 36796 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-03 37699367 t fired, 11251 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 39664649 t fired, 12057 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 2449132 m, 94798 m/sec, 4179596 t fired, . TriangularGrid-PT-4022-ReachabilityCardinality-06 (local timeout) TriangularGrid-PT-4022-ReachabilityCardinality-03 (local timeout) VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG false tandem / insertion AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed AG false tandem / relaxed AG false tandem / relaxed EF false state equation AG false tandem / relaxed IDL ACT RUN SUS FIN C/T C/M OBS AG 0 3 0 0 1 1 1 0 EF 0 3 2 0 1 0 0 0 EF 0 3 0 0 1 1 1 0 EF 0 4 0 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 STATUS TriangularGrid-PT-4022-ReachabilityCardinality-05 40467566 t fired, 12279 attempts, . TriangularGrid-PT-4022-ReachabilityCardinality-05 2899863 m, 90146 m/sec, 4951991 t fired, . 39 TriangularGrid-PT-4022-ReachabilityCardinality-13 39 TriangularGrid-PT-4022-ReachabilityCardinality-13 TriangularGrid-PT-4022-ReachabilityCardinality-06 721 787 TriangularGrid-PT-4022-ReachabilityCardinality-03 /ReachabilityCardinality-128.sara. istic TriangularGrid-PT-4022-ReachabilityCardinality-13 TriangularGrid-PT-4022-ReachabilityCardinality-13 (obsolete) 30 TriangularGrid-PT-4022-ReachabilityCardinality-10 30 TriangularGrid-PT-4022-ReachabilityCardinality-10 711 TriangularGrid-PT-4022-ReachabilityCardinality-13 /ReachabilityCardinality-106.sara. istic TriangularGrid-PT-4022-ReachabilityCardinality-10 TriangularGrid-PT-4022-ReachabilityCardinality-10 (obsolete) 18 TriangularGrid-PT-4022-ReachabilityCardinality-06 18 TriangularGrid-PT-4022-ReachabilityCardinality-06 711 TriangularGrid-PT-4022-ReachabilityCardinality-10 /ReachabilityCardinality-105.sara. istic TriangularGrid-PT-4022-ReachabilityCardinality-06 TriangularGrid-PT-4022-ReachabilityCardinality-06 (obsolete) 9 TriangularGrid-PT-4022-ReachabilityCardinality-03 9 TriangularGrid-PT-4022-ReachabilityCardinality-03 721 787 /ReachabilityCardinality-115.sara. istic TriangularGrid-PT-4022-ReachabilityCardinality-03 TriangularGrid-PT-4022-ReachabilityCardinality-03 (obsolete) 15 TriangularGrid-PT-4022-ReachabilityCardinality-05 15 TriangularGrid-PT-4022-ReachabilityCardinality-05 711 /ReachabilityCardinality-110.sara. istic TriangularGrid-PT-4022-ReachabilityCardinality-05 TriangularGrid-PT-4022-ReachabilityCardinality-05 (obsolete) TriangularGrid-PT-4022-ReachabilityCardinality-05 (obsolete) TriangularGrid-PT-4022-ReachabilityCardinality-05 (obsolete) VALUE PRODUCED BY AG true state equation AG false findpath AG false findpath AG true state equation AG false tandem / insertion EF false state equation EF false state equation AG false tandem / relaxed AG false tandem / relaxed EF true tandem / relaxed EF false state equation AG false tandem / relaxed AG false tandem / relaxed AG true state equation EF false state equation AG false tandem / relaxed

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="TriangularGrid-PT-4022"
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 TriangularGrid-PT-4022, 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 r270-smll-162123877300182"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TriangularGrid-PT-4022.tgz
mv TriangularGrid-PT-4022 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 ;