MCC'2024- Execution of r373-tall-171683788800244

About the Execution of 2023-gold for ShieldPPPs-PT-003A

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
663.632	378935.00	1405567.00	462.10	FFTTTTTTFFTTTFTF	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r373-tall-1716837
Waiting for the VM to be ready (probing ssh)
...................................................
=============================
Generated by BenchKit 2-5568
Executing tool gold2023
Input is ShieldPPPs-PT-003A, examination
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r373-tall-171683788800244
===================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 9.2K May 14 13:22 CTLCardina
-rw-r--r-- 1 mcc users 110K May 14 13:22 CTLCardina
-rw-r--r-- 1 mcc users 6.4K May 14 13:22 CTLFireabi
-rw-r--r-- 1 mcc users 64K May 14 13:22 CTLFireabi
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPro
-rw-r--r-- 1 mcc users 6.5K May 18 16:43 GenericPro
-rw-r--r-- 1 mcc users 3.6K Apr 23 07:53 LTLCardina
-rw-r--r-- 1 mcc users 24K Apr 23 07:53 LTLCardina
-rw-r--r-- 1 mcc users 2.2K Apr 23 07:53 LTLFireabi
-rw-r--r-- 1 mcc users 18K Apr 23 07:53 LTLFireabi
-rw-r--r-- 1 mcc users 14K Apr 13 12:01 Reachabili
-rw-r--r-- 1 mcc users 161K Apr 13 12:01 Reachabili
-rw-r--r-- 1 mcc users 7.6K Apr 13 11:59 Reachabili
-rw-r--r-- 1 mcc users 66K Apr 13 11:59 Reachabili
-rw-r--r-- 1 mcc users 1.6K Apr 23 07:53 UpperBound
-rw-r--r-- 1 mcc users 3.7K Apr 23 07:53 UpperBound
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 5 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 27K May 18 16:43 model.pnml

--------------------
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 ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina
FORMULA_NAME ShieldPPPs-PT-003A-ReachabilityCardina

=== Now, execution of the tool begins

BK_START 1716960715251

bash -c /home/mcc/BenchKit/BenchKit_head.sh
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPs-PT-003A
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-29 05:31:57] [INFO ] Running its-tools
[2024-05-29 05:31:57] [INFO ] Parsing pnml
[2024-05-29 05:31:57] [INFO ] Load time
[2024-05-29 05:31:57] [INFO ] Transformed
[2024-05-29 05:31:57] [INFO ] Transformed
[2024-05-29 05:31:57] [INFO ] Found NUPN
[2024-05-29 05:31:57] [INFO ] Parsed PT
Parsed 16 properties from file /home/mcc/execution/
Working with output stream class java.io.PrintStrea
FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00
FORMULA ShieldPPPs-PT-003A-ReachabilityCardi
FORMULA ShieldPPPs-PT-003A-ReachabilityCardi
FORMULA ShieldPPPs-PT-003A-ReachabilityCardi
FORMULA ShieldPPPs-PT-003A-ReachabilityCardi
FORMULA ShieldPPPs-PT-003A-ReachabilityCardi
FORMULA ShieldPPPs-PT-003A-ReachabilityCardi
Incomplete random walk after 10000 steps,
FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15
FORMULA ShieldPPPs-PT-003A-ReachabilityCardi
FORMULA ShieldPPPs-PT-003A-ReachabilityCardi
FORMULA ShieldPPPs-PT-003A-ReachabilityCardi
FORMULA ShieldPPPs-PT-003A-ReachabilityCardi
FORMULA ShieldPPPs-PT-003A-ReachabilityCardi
FORMULA ShieldPPPs-PT-003A-ReachabilityCardi
FORMULA ShieldPPPs-PT-003A-ReachabilityCardi
Finished Best-First random walk after 734
FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06
Parikh walk visited 0 properties in 0 ms.
All properties solved without resorting to
Total runtime 413 ms.
starting LoLA
BK_INPUT ShieldPPPs-PT-003A
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../reducer/b
current directory: /home/mcc/execution
ReachabilityCardinality

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00

FORMULA ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05

BK_STOP 1716961094186

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pyl
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstool
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylib
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../..
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../its
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.p
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/Re
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: 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: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: LAUNCH task # 62 (type EXCL) for 27
lola: time limit : 200 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 58 (type FNDP) for 27
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 59 (type EQUN) for 27
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: LAUNCH task # 61 (type SRCH) for 27
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 61 (type SRCH) for
lola: result : true
lola: markings : 38
lola: fired transitions : 37
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 58 (type FNDP) for
lola: CANCELED task # 59 (type EQUN) for
lola: CANCELED task # 62 (type EXCL) for
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: FINISHED task # 62 (type EXCL) for
lola: result : true
lola: markings : 211
lola: fired transitions : 210
lola: time used : 0.000000
lola: memory pages used : 1
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: LAUNCH task # 69 (type EXCL) for 15
lola: time limit : 211 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 55 (type FNDP) for 6
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 56 (type EQUN) for 6
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 71 (type SRCH) for 6
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 58 (type FNDP) for
lola: result : true
lola: fired transitions : 36
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: FINISHED task # 55 (type FNDP) for
lola: result : true
lola: fired transitions : 38
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 56 (type EQUN) for
lola: CANCELED task # 71 (type SRCH) for
lola: LAUNCH task # 53 (type FNDP) for 18
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 54 (type EQUN) for 18
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 74 (type SRCH) for 18
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: Created skeleton in 0.000000 secs.
sara: try reading problem file /home/mcc/execution/
sara: place or transition ordering is non-determini
lola: FINISHED task # 74 (type SRCH) for
lola: result : true
lola: markings : 66
lola: fired transitions : 65
lola: time used : 1.000000
lola: memory pages used : 1
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: FINISHED task # 53 (type FNDP) for
lola: result : true
lola: fired transitions : 64
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
lola: Created skeleton in 0.000000 secs.
lola: CANCELED task # 54 (type EQUN) for
lola: LAUNCH task # 78 (type FNDP) for 45
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 79 (type EQUN) for 45
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 81 (type SRCH) for 45
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: FINISHED task # 78 (type FNDP) for
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:7
sara: try reading problem file /home/mcc/execution/
sara: try reading problem file /home/mcc/execution/
sara: place or transition ordering is non-determini
sara: place or transition ordering is non-determini

lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: CANCELED task # 79 (type EQUN) for
lola: CANCELED task # 81 (type SRCH) for
lola: LAUNCH task # 93 (type FNDP) for 12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 94 (type EQUN) for 12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: LAUNCH task # 96 (type SRCH) for 12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 79 (type EQUN) for
lola: result : unknown
lola: FINISHED task # 93 (type FNDP) for
lola: result : true
lola: fired transitions : 26
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 94 (type EQUN) for
lola: CANCELED task # 96 (type SRCH) for
lola: LAUNCH task # 51 (type FNDP) for 21
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type EQUN) for 21
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 84 (type SRCH) for 21
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 59 (type EQUN) for
lola: result : true
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: FINISHED task # 84 (type SRCH) for
lola: result : true
lola: markings : 34
lola: fired transitions : 33
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 51 (type FNDP) for
lola: CANCELED task # 52 (type EQUN) for
lola: LAUNCH task # 99 (type FNDP) for 9
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 100 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 103 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 51 (type FNDP) for
lola: result : unknown
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 103 (type SRCH) for
lola: result : true
lola: markings : 22
lola: fired transitions : 21
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 99 (type FNDP) for
lola: CANCELED task # 100 (type EQUN) for
lola: LAUNCH task # 87 (type FNDP) for 3
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 88 (type EQUN) for 3
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 90 (type SRCH) for 3
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 99 (type FNDP) for
lola: result : true
lola: fired transitions : 20
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
sara: try reading problem file /home/mcc/execution/
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
sara: place or transition ordering is non-determini
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
sara: try reading problem file /home/mcc/execution/
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
sara: place or transition ordering is non-determini
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
sara: try reading problem file /home/mcc/execution/
sara: try reading problem file /home/mcc/execution/
sara: place or transition ordering is non-determini
sara: place or transition ordering is non-determini

lola: FINISHED task # 100 (type EQUN) for
lola: result : true
lola: FINISHED task # 56 (type EQUN) for
lola: result : true
sara: try reading problem file /home/mcc/execution/
lola: FINISHED task # 88 (type EQUN) for
lola: result : false
lola: CANCELED task # 87 (type FNDP) for
lola: CANCELED task # 90 (type SRCH) for
lola: LAUNCH task # 123 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 124 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 141 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 87 (type FNDP) for
lola: result : unknown
lola: fired transitions : 34813
lola: tried executions : 99
lola: time used : 0.000000
lola: memory pages used : 0

lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
sara: place or transition ordering is non-determini
lola: FINISHED task # 52 (type EQUN) for
lola: result : true
sara: try reading problem file /home/mcc/execution/
sara: place or transition ordering is non-determini

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

lola: FINISHED task # 54 (type EQUN) for
lola: result : true
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
69 EF EXCL 5/450 3/32
123 EF FNDP 4/324 0/5
124 EF STEQ 4/324 0/5
141 EF SRCH 4/356 5/5

Time elapsed: 5 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 141 (type SRCH) for
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
69 EF EXCL 10/450 7/32
123 EF FNDP 9/323 0/5
124 EF STEQ 9/323 0/5

Time elapsed: 10 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 107 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 107 (type FNDP) for
lola: result : true
lola: fired transitions : 56
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 133 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages

lola: FINISHED task # 124 (type EQUN) for
lola: result : false
lola: CANCELED task # 123 (type FNDP) for
lola: LAUNCH task # 108 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 113 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 123 (type FNDP) for
lola: result : unknown
lola: fired transitions : 10132187
lola: tried executions : 32193
lola: time used : 10.000000
lola: memory pages used : 0
lola: FINISHED task # 108 (type FNDP) for
lola: result : true
lola: fired transitions : 74
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 113 (type EQUN) for
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: LAUNCH task # 110 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: LAUNCH task # 122 (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-determini

lola: FINISHED task # 113 (type EQUN) for
lola: result : true
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
69 EF EXCL 15/720 10/32
110 EF FNDP 4/512 0/5
122 EF FNDP 4/512 0/5
133 EF FNDP 5/597 0/5

Time elapsed: 15 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
69 EF EXCL 20/720 13/32
110 EF FNDP 9/508 0/5
122 EF FNDP 9/508 0/5
133 EF FNDP 10/593 0/5

Time elapsed: 20 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
69 EF EXCL 25/720 17/32
110 EF FNDP 14/503 0/5
122 EF FNDP 14/503 0/5
133 EF FNDP 15/588 0/5

Time elapsed: 25 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
69 EF EXCL 30/720 20/32
110 EF FNDP 19/498 0/5
122 EF FNDP 19/498 0/5
133 EF FNDP 20/583 0/5

Time elapsed: 30 secs. Pages in use: 20
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
69 EF EXCL 35/720 24/32
110 EF FNDP 24/493 0/5
122 EF FNDP 24/493 0/5
133 EF FNDP 25/578 0/5

Time elapsed: 35 secs. Pages in use: 24
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
69 EF EXCL 40/720 27/32
110 EF FNDP 29/488 0/5
122 EF FNDP 29/488 0/5
133 EF FNDP 30/573 0/5

Time elapsed: 40 secs. Pages in use: 27
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
69 EF EXCL 45/720 30/32
110 EF FNDP 34/483 0/5
122 EF FNDP 34/483 0/5
133 EF FNDP 35/568 0/5

Time elapsed: 45 secs. Pages in use: 30
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 69 (type EXCL) for
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 39/478 0/5
122 EF FNDP 39/478 0/5
133 EF FNDP 40/563 0/5

Time elapsed: 50 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 147 (type EXCL) for
lola: time limit : 887 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 44/473 0/5
122 EF FNDP 44/473 0/5
133 EF FNDP 45/558 0/5
147 EF EXCL 5/887 6/32

Time elapsed: 55 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 49/468 0/5
122 EF FNDP 49/468 0/5
133 EF FNDP 50/553 0/5
147 EF EXCL 10/887 11/32

Time elapsed: 60 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 54/463 0/5
122 EF FNDP 54/463 0/5
133 EF FNDP 55/548 0/5
147 EF EXCL 15/887 17/32

Time elapsed: 65 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 59/458 0/5
122 EF FNDP 59/458 0/5
133 EF FNDP 60/543 0/5
147 EF EXCL 20/887 22/32

Time elapsed: 70 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 64/453 0/5
122 EF FNDP 64/453 0/5
133 EF FNDP 65/538 0/5
147 EF EXCL 25/887 26/32

Time elapsed: 75 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 69/448 0/5
122 EF FNDP 69/448 0/5
133 EF FNDP 70/533 0/5
147 EF EXCL 30/887 32/32

Time elapsed: 80 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 147 (type EXCL) for
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 74/443 0/5
122 EF FNDP 74/443 0/5
133 EF FNDP 75/528 0/5

Time elapsed: 85 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 144 (type EXCL) for
lola: time limit : 1171 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 79/438 0/5
122 EF FNDP 79/438 0/5
133 EF FNDP 80/523 0/5
144 EF EXCL 5/1171 7/32

Time elapsed: 90 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 84/433 0/5
122 EF FNDP 84/433 0/5
133 EF FNDP 85/518 0/5
144 EF EXCL 10/1171 13/32

Time elapsed: 95 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 89/428 0/5
122 EF FNDP 89/428 0/5
133 EF FNDP 90/513 0/5
144 EF EXCL 15/1171 20/32

Time elapsed: 100 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 94/423 0/5
122 EF FNDP 94/423 0/5
133 EF FNDP 95/508 0/5
144 EF EXCL 20/1171 25/32

Time elapsed: 105 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 99/418 0/5
122 EF FNDP 99/418 0/5
133 EF FNDP 100/503 0/5
144 EF EXCL 25/1171 31/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
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 104/413 0/5
122 EF FNDP 104/413 0/5
133 EF FNDP 105/498 0/5

Time elapsed: 115 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 130 (type EXCL) for
lola: time limit : 1742 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 109/408 0/5
122 EF FNDP 109/408 0/5
130 EF EXCL 5/1742 7/32
133 EF FNDP 110/493 0/5

Time elapsed: 120 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 114/403 0/5
122 EF FNDP 114/403 0/5
130 EF EXCL 10/1742 14/32
133 EF FNDP 115/488 0/5

Time elapsed: 125 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 119/398 0/5
122 EF FNDP 119/398 0/5
130 EF EXCL 15/1742 20/32
133 EF FNDP 120/483 0/5

Time elapsed: 130 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 124/393 0/5
122 EF FNDP 124/393 0/5
130 EF EXCL 20/1742 25/32
133 EF FNDP 125/478 0/5

Time elapsed: 135 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 129/388 0/5
122 EF FNDP 129/388 0/5
130 EF EXCL 25/1742 31/32
133 EF FNDP 130/473 0/5

Time elapsed: 140 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 130 (type EXCL) for
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 134/383 0/5
122 EF FNDP 134/383 0/5
133 EF FNDP 135/468 0/5

Time elapsed: 145 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 137 (type EXCL) for
lola: time limit : 3455 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 139/378 0/5
122 EF FNDP 139/378 0/5
133 EF FNDP 140/463 0/5
137 EF EXCL 5/3455 4/32

Time elapsed: 150 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 144/373 0/5
122 EF FNDP 144/373 0/5
133 EF FNDP 145/458 0/5
137 EF EXCL 10/3455 8/32

Time elapsed: 155 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 149/368 0/5
122 EF FNDP 149/368 0/5
133 EF FNDP 150/453 0/5
137 EF EXCL 15/3455 11/32

Time elapsed: 160 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 154/363 0/5
122 EF FNDP 154/363 0/5
133 EF FNDP 155/448 0/5
137 EF EXCL 20/3455 15/32

Time elapsed: 165 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 159/358 0/5
122 EF FNDP 159/358 0/5
133 EF FNDP 160/443 0/5
137 EF EXCL 25/3455 18/32

Time elapsed: 170 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 164/353 0/5
122 EF FNDP 164/353 0/5
133 EF FNDP 165/438 0/5
137 EF EXCL 30/3455 22/32

Time elapsed: 175 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 169/348 0/5
122 EF FNDP 169/348 0/5
133 EF FNDP 170/433 0/5
137 EF EXCL 35/3455 25/32

Time elapsed: 180 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 174/343 0/5
122 EF FNDP 174/343 0/5
133 EF FNDP 175/428 0/5
137 EF EXCL 40/3455 28/32

Time elapsed: 185 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 179/338 0/5
122 EF FNDP 179/338 0/5
133 EF FNDP 180/423 0/5
137 EF EXCL 45/3455 31/32

Time elapsed: 190 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 184/333 0/5
122 EF FNDP 184/333 0/5
133 EF FNDP 185/418 0/5
137 EF EXCL 50/3455 32/32

Time elapsed: 195 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 137 (type EXCL) for
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
110 EF FNDP 189/328 0/5
122 EF FNDP 189/328 0/5
133 EF FNDP 190/413 0/5

Time elapsed: 200 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 49 (type FNDP) for 15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 5/680 0/5
110 EF FNDP 194/528 0/5
122 EF FNDP 194/528 0/5
133 EF FNDP 195/528 0/5

Time elapsed: 205 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 10/675 0/5
110 EF FNDP 199/523 0/5
122 EF FNDP 199/523 0/5
133 EF FNDP 200/523 0/5

Time elapsed: 210 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 15/670 0/5
110 EF FNDP 204/518 0/5
122 EF FNDP 204/518 0/5
133 EF FNDP 205/518 0/5

Time elapsed: 215 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 20/665 0/5
110 EF FNDP 209/513 0/5
122 EF FNDP 209/513 0/5
133 EF FNDP 210/513 0/5

Time elapsed: 220 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 25/660 0/5
110 EF FNDP 214/508 0/5
122 EF FNDP 214/508 0/5
133 EF FNDP 215/508 0/5

Time elapsed: 225 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 30/655 0/5
110 EF FNDP 219/503 0/5
122 EF FNDP 219/503 0/5
133 EF FNDP 220/503 0/5

Time elapsed: 230 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 35/650 0/5
110 EF FNDP 224/498 0/5
122 EF FNDP 224/498 0/5
133 EF FNDP 225/498 0/5

Time elapsed: 235 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 40/645 0/5
110 EF FNDP 229/493 0/5
122 EF FNDP 229/493 0/5
133 EF FNDP 230/493 0/5

Time elapsed: 240 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 45/640 0/5
110 EF FNDP 234/488 0/5
122 EF FNDP 234/488 0/5
133 EF FNDP 235/488 0/5

Time elapsed: 245 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 50/635 0/5
110 EF FNDP 239/483 0/5
122 EF FNDP 239/483 0/5
133 EF FNDP 240/483 0/5

Time elapsed: 250 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 56/630 0/5
110 EF FNDP 245/478 0/5
122 EF FNDP 245/478 0/5
133 EF FNDP 246/478 0/5

Time elapsed: 256 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 61/624 0/5
110 EF FNDP 250/472 0/5
122 EF FNDP 250/472 0/5
133 EF FNDP 251/472 0/5

Time elapsed: 261 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 66/619 0/5
110 EF FNDP 255/467 0/5
122 EF FNDP 255/467 0/5
133 EF FNDP 256/467 0/5

Time elapsed: 266 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 71/614 0/5
110 EF FNDP 260/462 0/5
122 EF FNDP 260/462 0/5
133 EF FNDP 261/462 0/5

Time elapsed: 271 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 76/609 0/5
110 EF FNDP 265/457 0/5
122 EF FNDP 265/457 0/5
133 EF FNDP 266/457 0/5

Time elapsed: 276 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 81/604 0/5
110 EF FNDP 270/452 0/5
122 EF FNDP 270/452 0/5
133 EF FNDP 271/452 0/5

Time elapsed: 281 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 86/599 0/5
110 EF FNDP 275/447 0/5
122 EF FNDP 275/447 0/5
133 EF FNDP 276/447 0/5

Time elapsed: 286 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 91/594 0/5
110 EF FNDP 280/442 0/5
122 EF FNDP 280/442 0/5
133 EF FNDP 281/442 0/5

Time elapsed: 291 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 96/589 0/5
110 EF FNDP 285/437 0/5
122 EF FNDP 285/437 0/5
133 EF FNDP 286/437 0/5

Time elapsed: 296 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 101/584 0/5
110 EF FNDP 290/432 0/5
122 EF FNDP 290/432 0/5
133 EF FNDP 291/432 0/5

Time elapsed: 301 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 106/579 0/5
110 EF FNDP 295/427 0/5
122 EF FNDP 295/427 0/5
133 EF FNDP 296/427 0/5

Time elapsed: 306 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 111/574 0/5
110 EF FNDP 300/422 0/5
122 EF FNDP 300/422 0/5
133 EF FNDP 301/422 0/5

Time elapsed: 311 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 116/569 0/5
110 EF FNDP 305/417 0/5
122 EF FNDP 305/417 0/5
133 EF FNDP 306/417 0/5

Time elapsed: 316 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 121/564 0/5
110 EF FNDP 310/412 0/5
122 EF FNDP 310/412 0/5
133 EF FNDP 311/412 0/5

Time elapsed: 321 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 126/559 0/5
110 EF FNDP 315/407 0/5
122 EF FNDP 315/407 0/5
133 EF FNDP 316/407 0/5

Time elapsed: 326 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 131/554 0/5
110 EF FNDP 320/402 0/5
122 EF FNDP 320/402 0/5
133 EF FNDP 321/402 0/5

Time elapsed: 331 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 136/549 0/5
110 EF FNDP 325/397 0/5
122 EF FNDP 325/397 0/5
133 EF FNDP 326/397 0/5

Time elapsed: 336 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 141/544 0/5
110 EF FNDP 330/392 0/5
122 EF FNDP 330/392 0/5
133 EF FNDP 331/392 0/5

Time elapsed: 341 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 146/539 0/5
110 EF FNDP 335/387 0/5
122 EF FNDP 335/387 0/5
133 EF FNDP 336/387 0/5

Time elapsed: 346 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 151/534 0/5
110 EF FNDP 340/382 0/5
122 EF FNDP 340/382 0/5
133 EF FNDP 341/382 0/5

Time elapsed: 351 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 156/529 0/5
110 EF FNDP 345/377 0/5
122 EF FNDP 345/377 0/5
133 EF FNDP 346/377 0/5

Time elapsed: 356 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 161/524 0/5
110 EF FNDP 350/372 0/5
122 EF FNDP 350/372 0/5
133 EF FNDP 351/372 0/5

Time elapsed: 361 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 166/519 0/5
110 EF FNDP 355/367 0/5
122 EF FNDP 355/367 0/5
133 EF FNDP 356/367 0/5

Time elapsed: 366 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 171/514 0/5
110 EF FNDP 360/362 0/5
122 EF FNDP 360/362 0/5
133 EF FNDP 361/362 0/5

Time elapsed: 371 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 110 (type FNDP) for
lola: CANCELED task # 122 (type FNDP) for
lola: CANCELED task # 133 (type FNDP) for
FINISHED FORMULA: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15:

PENDING FORMULAS: CATEGORY
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13:
ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
49 EF FNDP 176/509 0/5

Time elapsed: 376 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 126 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 127 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 129 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 133 (type FNDP) for
lola: result : unknown
lola: fired transitions : 87867057
lola: tried executions : 351114
lola: time used : 366.000000
lola: memory pages used : 0
lola: FINISHED task # 122 (type FNDP) for
lola: result : unknown
lola: fired transitions : 100483493
lola: tried executions : 507809
lola: time used : 365.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: FINISHED task # 110 (type FNDP) for
lola: result : unknown
lola: fired transitions : 96564485
lola: tried executions : 382234
lola: time used : 365.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/
sara: place or transition ordering is non-determini

lola: FINISHED task # 127 (type EQUN) for
lola: result : false
lola: CANCELED task # 126 (type FNDP) for
lola: CANCELED task # 129 (type SRCH) for
lola: LAUNCH task # 134 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: LAUNCH task # 136 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 138 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 126 (type FNDP) for
lola: result : unknown
lola: fired transitions : 8502
lola: tried executions : 30
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 138 (type SRCH) for
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 132 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
sara: try reading problem file /home/mcc/execution/
sara: try reading problem file /home/mcc/execution/
sara: place or transition ordering is non-determini
sara: place or transition ordering is non-determini

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

lola: FINISHED task # 140 (type EQUN) for
lola: result : false
lola: LAUNCH task # 50 (type EQUN) for 15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:7
lola: rewrite Frontend/Parser/formula_rewrite.k:7
sara: try reading problem file /home/mcc/execution/
sara: place or transition ordering is non-determini

lola: FINISHED task # 134 (type EQUN) for
lola: result : false
lola: CANCELED task # 136 (type SRCH) for
lola: LAUNCH task # 68 (type SRCH) for 15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 70 (type SRCH) for 15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 70 (type SRCH) for
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: FINISHED task # 50 (type EQUN) for
lola: result : false
lola: CANCELED task # 49 (type FNDP) for
lola: CANCELED task # 68 (type SRCH) for
lola: Portfolio finished: no open formulas

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

Time elapsed: 376 secs. Pages in use: 32
88800244.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ======================================== is ReachabilityCardinality ================== lity.txt lity.xml lity.txt lity.xml pertiesDefinition.xml pertiesVerdict.xml lity.txt lity.xml lity.txt lity.xml tyCardinality.txt tyCardinality.xml tyFireability.txt tyFireability.xml s.txt s.xml (invocation template) vector(from text file) lity-2024-00 lity-2024-01 lity-2024-02 lity-2024-03 lity-2024-04 lity-2024-05 lity-2024-06 lity-2024-07 lity-2024-08 lity-2024-09 lity-2024-10 lity-2024-11 lity-2024-12 lity-2024-13 lity-2024-14 lity-2024-15 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -timeout, 360, -rebuildPNML] file : /home/mcc/execution/model.pnml of PNML (sax parser for PT used): 47 ms 96 places. 81 transitions. structural information; model containing 96 places and 81 transitions and 306 arcs in 128 ms. ReachabilityCardinality.xml in 20 ms. m FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE nality-2024-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE nality-2024-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE nality-2024-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE nality-2024-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE nality-2024-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE nality-2024-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE including 42 resets, run finished after 145 ms. (steps per millisecond=68 ) properties (out of 9) seen :8 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK nality-2024-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK nality-2024-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK nality-2024-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK nality-2024-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK nality-2024-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK nality-2024-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK nality-2024-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK steps, including 0 resets, run visited all 1 properties in 13 ms. (steps per millisecond=56 ) TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK model-checking. in//../../lola/bin/ FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT 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 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT ibs s/pylibs: s: /itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar tools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -timeout 360 -rebuildPNML pnml nml achabilityCardinality.xml removed 21 87 11 11 11 21 87 21 87 21 87 21 87 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09 21 87 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09 (obsolete) 21 87 21 87 21 87 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09 11 11 11 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09 11 11 11 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06 11 11 ReachabilityCardinality-59.sara. stic ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06 21 87 21 87 21 87 21 87 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15 11 11 11 21 87 11 11 11 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15 11 ReachabilityCardinality-56.sara. ReachabilityCardinality-79.sara. stic stic 11 11 11 11 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04 11 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-15 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-09 11 11 11 11 11 11 21 87 21 87 21 87 11 11 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03 9 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03 9 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03 21 87 ReachabilityCardinality-52.sara. 21 87 11 11 11 11 11 11 11 stic 21 87 21 87 ReachabilityCardinality-100.sara. 11 11 11 11 21 87 21 87 21 87 21 87 stic 21 87 21 87 21 87 21 87 21 87 ReachabilityCardinality-94.sara. ReachabilityCardinality-88.sara. stic stic ShieldPPPs-PT-003A-ReachabilityCardinality-2024-03 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-02 ReachabilityCardinality-54.sara. ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01 (obsolete) 33 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11 33 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11 33 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-01 21 87 stic ShieldPPPs-PT-003A-ReachabilityCardinality-2024-07 ReachabilityCardinality-124.sara. stic ShieldPPPs-PT-003A-ReachabilityCardinality-2024-04 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-06 VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 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 AG 0 2 3 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 761640 m, 152328 m/sec, 1215771 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11 4219932 t fired, 12423 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11 sara is running. ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11 1360867 m, 272173 m/sec, 3610592 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11 (memory limit exceeded) VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false tandem / insertion AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 5 0 0 1 0 0 0 AG 0 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 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 1660943 m, 179860 m/sec, 2725289 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11 9733720 t fired, 30841 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11 sara is running. 30 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-10 0 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11 (obsolete) 24 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08 24 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-11 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08 (obsolete) 21 36 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 87 42 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 ReachabilityCardinality-113.sara. stic ShieldPPPs-PT-003A-ReachabilityCardinality-2024-08 VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 2516158 m, 171043 m/sec, 4177795 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 2025671 t fired, 7049 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 2200044 t fired, 11150 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 2502253 t fired, 8487 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 3374615 m, 171691 m/sec, 5693658 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 4100510 t fired, 14967 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 4452121 t fired, 22567 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 4391910 t fired, 15836 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 4300627 m, 185202 m/sec, 7243242 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 6032141 t fired, 22527 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 6487794 t fired, 32879 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 6130650 t fired, 22703 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 5224010 m, 184676 m/sec, 8838373 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 7873609 t fired, 29769 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 8467039 t fired, 42884 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 7810372 t fired, 29411 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 6111861 m, 177570 m/sec, 10359337 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 9738520 t fired, 37147 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 10433154 t fired, 52815 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 9430120 t fired, 35875 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 7007160 m, 179059 m/sec, 11964342 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 11587898 t fired, 44489 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 12372430 t fired, 62655 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 11035712 t fired, 42305 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 7855751 m, 169718 m/sec, 13407197 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 13396699 t fired, 51646 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 14277515 t fired, 72285 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 12636908 t fired, 48713 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 (memory limit exceeded) VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 15189781 t fired, 58777 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 16171928 t fired, 81845 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 14232652 t fired, 55093 attempts, . 36 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 2 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 16964721 t fired, 65838 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 18052588 t fired, 91334 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 15811136 t fired, 61423 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 1496770 m, 299354 m/sec, 2095869 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 2 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 18722287 t fired, 72820 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 19920340 t fired, 100779 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 17397763 t fired, 67815 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 2864274 m, 273500 m/sec, 4013993 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 2 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 20512973 t fired, 79937 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 21789221 t fired, 110230 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 18941690 t fired, 74025 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 4195405 m, 266226 m/sec, 5891065 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 2 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 22297090 t fired, 87055 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 23646999 t fired, 119643 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 20486443 t fired, 80214 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 5526741 m, 266267 m/sec, 7782811 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 2 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 24072444 t fired, 94145 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 25499988 t fired, 129006 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 22027382 t fired, 86414 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 6813567 m, 257365 m/sec, 9603877 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 2 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 25845969 t fired, 101209 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 27343929 t fired, 138349 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 23562243 t fired, 92589 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 8266680 m, 290622 m/sec, 11618812 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 (memory limit exceeded) VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 27543963 t fired, 107970 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 29098958 t fired, 147230 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 25064383 t fired, 98634 attempts, . 42 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 AG 0 3 2 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 29300915 t fired, 114935 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 30941346 t fired, 156551 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 26590457 t fired, 104759 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 1773727 m, 354745 m/sec, 2590473 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 AG 0 3 2 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 31054860 t fired, 121899 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 32779455 t fired, 165849 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 28116349 t fired, 110902 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 3381954 m, 321645 m/sec, 4922763 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 AG 0 3 2 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 32804333 t fired, 128837 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 34609872 t fired, 175124 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 29635082 t fired, 117018 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 4994707 m, 322550 m/sec, 7240837 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 AG 0 3 2 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 34543477 t fired, 135739 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 36437865 t fired, 184353 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 31150910 t fired, 123122 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 6519038 m, 304866 m/sec, 9407782 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 AG 0 3 2 0 1 0 0 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 36275631 t fired, 142636 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 38266519 t fired, 193585 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 32663646 t fired, 129203 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 8062207 m, 308633 m/sec, 11597127 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 (memory limit exceeded) VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 5 0 0 1 0 0 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 38009225 t fired, 149499 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 40092983 t fired, 202786 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 34178659 t fired, 135281 attempts, . 39 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13 VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 39736556 t fired, 156360 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 41919631 t fired, 212050 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13 1779577 m, 355915 m/sec, 2557829 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 35689340 t fired, 141338 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 41463459 t fired, 163228 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 43740382 t fired, 221276 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13 3425694 m, 329223 m/sec, 4898119 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 37199219 t fired, 147421 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 43186573 t fired, 170097 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 45557973 t fired, 230440 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13 5001029 m, 315067 m/sec, 7121591 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 38707797 t fired, 153476 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 44909294 t fired, 176945 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 47375330 t fired, 239618 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13 6557855 m, 311365 m/sec, 9264672 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 40216133 t fired, 159538 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 1 0 1 0 0 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 46627866 t fired, 183790 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 49190741 t fired, 248766 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13 8020215 m, 292472 m/sec, 11266221 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 41722254 t fired, 165567 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13 (memory limit exceeded) VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 4 1 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 48063344 t fired, 189488 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 50725257 t fired, 256509 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 43126135 t fired, 171230 attempts, . 0 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 2 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 49203304 t fired, 194003 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 51979051 t fired, 262845 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 44504180 t fired, 176739 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 932622 m, 186524 m/sec, 1384506 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 2 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 50444141 t fired, 198914 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 53254622 t fired, 269297 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 45789603 t fired, 181893 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 1863957 m, 186267 m/sec, 2720986 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 2 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 51681784 t fired, 203835 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 54521085 t fired, 275692 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 47089140 t fired, 187124 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 2781985 m, 183605 m/sec, 4047745 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 2 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 52914957 t fired, 208748 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 55781577 t fired, 282070 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 48434830 t fired, 192510 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 3735848 m, 190772 m/sec, 5403466 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 2 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 54136111 t fired, 213608 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 57038690 t fired, 288409 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 49752669 t fired, 197809 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 4667195 m, 186269 m/sec, 6745330 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 2 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 55356028 t fired, 218457 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 58288246 t fired, 294708 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 51059880 t fired, 203061 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 5603925 m, 187346 m/sec, 8144331 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 2 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 56562202 t fired, 223234 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 59557321 t fired, 301105 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 52401605 t fired, 208474 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 6441918 m, 167598 m/sec, 9422026 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 2 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 57779908 t fired, 228065 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 60810074 t fired, 307426 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 53707773 t fired, 213701 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 7297401 m, 171096 m/sec, 10733800 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 2 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 59239032 t fired, 233884 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 62349216 t fired, 315181 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 54639478 t fired, 217443 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 7894637 m, 119447 m/sec, 11680987 t fired, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 2 0 1 0 0 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 60942027 t fired, 240659 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 64071115 t fired, 323877 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 55278815 t fired, 220016 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 8297324 m, 80537 m/sec, 12294820 t fired, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 (memory limit exceeded) VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 62272509 t fired, 245955 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 65464309 t fired, 330917 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 56407355 t fired, 224551 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 1174211 t fired, 3326 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 63294244 t fired, 250035 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 66495417 t fired, 336123 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 57367469 t fired, 228408 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 2049023 t fired, 6281 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 64535645 t fired, 254967 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 67788551 t fired, 342641 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 58023851 t fired, 231057 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 2869431 t fired, 9180 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 65834864 t fired, 260136 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 69075068 t fired, 349158 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 58658844 t fired, 233615 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 3635725 t fired, 11952 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 67090007 t fired, 265134 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 70397131 t fired, 355828 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 59309429 t fired, 236228 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 4727921 t fired, 15969 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 68066290 t fired, 269013 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 71425193 t fired, 361019 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 60021559 t fired, 239097 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 5875630 t fired, 20264 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 68981061 t fired, 272636 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 72356799 t fired, 365717 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 60773293 t fired, 242125 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 7002241 t fired, 24500 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 69893453 t fired, 276272 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 73292357 t fired, 370444 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 61530723 t fired, 245171 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 7714912 t fired, 27184 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 71077307 t fired, 280955 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 74528898 t fired, 376690 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 62165088 t fired, 247712 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 8396284 t fired, 29769 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 72345972 t fired, 285984 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 75722427 t fired, 382718 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 62802732 t fired, 250277 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 9089750 t fired, 32413 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 73581241 t fired, 290908 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 76903078 t fired, 388665 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 63438692 t fired, 252841 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 9749713 t fired, 34929 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 74788322 t fired, 295704 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 78090872 t fired, 394665 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 64092506 t fired, 255465 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 10420623 t fired, 37495 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 76005747 t fired, 300528 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 79275737 t fired, 400644 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 64773348 t fired, 258193 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 11485796 t fired, 41552 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 76913537 t fired, 304126 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 80189968 t fired, 405244 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 65503208 t fired, 261133 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 12291464 t fired, 44620 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 77822162 t fired, 307730 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 81092469 t fired, 409786 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 66449833 t fired, 264946 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 12985689 t fired, 47289 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 78726099 t fired, 311322 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 81995669 t fired, 414354 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 67482478 t fired, 269084 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 13684769 t fired, 49959 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 79629140 t fired, 314896 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 82942540 t fired, 419133 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 68478115 t fired, 273109 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 14386182 t fired, 52652 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 80552677 t fired, 318560 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 83880845 t fired, 423890 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 69470042 t fired, 277090 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 15087555 t fired, 55355 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 81454921 t fired, 322150 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 84808294 t fired, 428580 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 70473481 t fired, 281124 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 15777212 t fired, 58008 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 82372597 t fired, 325784 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 85737464 t fired, 433271 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 71464789 t fired, 285090 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 16473207 t fired, 60671 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 83268162 t fired, 329344 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 86675803 t fired, 438007 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 72462809 t fired, 289092 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 17161989 t fired, 63334 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 84161516 t fired, 332890 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 87609799 t fired, 442735 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 73471681 t fired, 293139 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 17851710 t fired, 66000 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 85076744 t fired, 336538 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 88536512 t fired, 447396 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 74468167 t fired, 297170 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 18535676 t fired, 68633 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 85987193 t fired, 340150 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 89458887 t fired, 452073 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 75466936 t fired, 301206 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 19219124 t fired, 71284 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 86858035 t fired, 343613 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 90386889 t fired, 456763 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 76500086 t fired, 305384 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 19901524 t fired, 73905 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 87730680 t fired, 347085 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 91293726 t fired, 461343 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 77549375 t fired, 309606 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 20572849 t fired, 76475 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 88582551 t fired, 350486 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 92187391 t fired, 465865 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 78641214 t fired, 313996 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 21243951 t fired, 79056 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 89451171 t fired, 353942 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 93092727 t fired, 470442 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 79716265 t fired, 318326 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 21920415 t fired, 81677 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 90317002 t fired, 357382 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 93998055 t fired, 475012 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 80764534 t fired, 322534 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 22590882 t fired, 84273 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 91193515 t fired, 360871 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 94893134 t fired, 479557 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 81809577 t fired, 326743 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 23275811 t fired, 86883 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 92085398 t fired, 364409 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 95803017 t fired, 484159 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 82835659 t fired, 330865 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 23952023 t fired, 89492 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 92982946 t fired, 367994 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 96737747 t fired, 488896 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 83840056 t fired, 334898 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 24632259 t fired, 92115 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 93885963 t fired, 371582 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 97665651 t fired, 493591 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 84850342 t fired, 338957 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 25320953 t fired, 94762 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 94781189 t fired, 375136 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 98600743 t fired, 498326 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 85859590 t fired, 343024 attempts, . VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 1 0 1 0 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 26000186 t fired, 97369 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 95668304 t fired, 378664 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 99552685 t fired, 503121 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 86862181 t fired, 347053 attempts, . ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 (local timeout) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 (local timeout) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 (local timeout) VALUE PRODUCED BY EF false state equation EF true findpath EF true tandem / insertion EF true findpath EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS EF 0 3 0 0 1 1 1 0 AG 0 3 1 0 1 0 1 0 AG 0 3 0 0 1 1 1 0 EF 0 4 0 0 1 0 1 0 AG 0 3 0 0 1 1 1 0 STATUS ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 26683371 t fired, 100000 attempts, . 39 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13 39 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13 39 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 11 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 ReachabilityCardinality-127.sara. stic ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13 (obsolete) 0 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 11 0 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 0 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-13 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 42 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 21 87 ReachabilityCardinality-134.sara. ReachabilityCardinality-132.sara. stic stic ShieldPPPs-PT-003A-ReachabilityCardinality-2024-14 36 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 21 87 ReachabilityCardinality-140.sara. stic ShieldPPPs-PT-003A-ReachabilityCardinality-2024-12 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 21 87 ReachabilityCardinality-50.sara. stic ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-00 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 (obsolete) ShieldPPPs-PT-003A-ReachabilityCardinality-2024-05 (obsolete) VALUE PRODUCED BY EF false state equation EF false state equation EF true findpath EF true tandem / insertion EF true findpath AG true state equation EF true findpath EF true tandem / insertion AG false findpath AG false tandem / insertion EF true findpath AG true state equation AG true state equation EF false state equation AG true state equation AG false findpath

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool gold2023"
echo " Input is ShieldPPPs-PT-003A, 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 r373-tall-171683788800244"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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