MCC'2023- Execution of r102-tall-167814477500950

About the Execution of LoLA for DNAwalker-PT-10ringRL

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
535.888	184177.00	732453.00	7.50	TFTFTTFFTTTFTFTT	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r102-tall-16781
Waiting for the VM to be ready (probing ssh)
.................................................
===========================
Generated by BenchKit 2-5348
Executing tool lola
Input is DNAwalker-PT-10ringRL, examination
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r102-tall-167814477500950
=================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 580K
-rw-r--r-- 1 mcc users 6.4K Feb 25 13:03
-rw-r--r-- 1 mcc users 68K Feb 25 13:03
-rw-r--r-- 1 mcc users 6.9K Feb 25 13:02
-rw-r--r-- 1 mcc users 64K Feb 25 13:02
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40
-rw-r--r-- 1 mcc users 6.0K Jan 29 11:40
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:55
-rw-r--r-- 1 mcc users 27K Feb 25 15:55
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:55
-rw-r--r-- 1 mcc users 16K Feb 25 15:55
-rw-r--r-- 1 mcc users 12K Feb 25 13:04
-rw-r--r-- 1 mcc users 130K Feb 25 13:04
-rw-r--r-- 1 mcc users 9.0K Feb 25 13:03
-rw-r--r-- 1 mcc users 76K Feb 25 13:03
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:55
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:55
-rw-r--r-- 1 mcc users 6 Mar 5 18:22
-rw-r--r-- 1 mcc users 9 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22
-rw-r--r-- 1 mcc users 112K Mar 5 18:22

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

=== Data for post analysis generated by

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityCa

=== Now, execution of the tool begins

BK_START 1678354889012

bash -c /home/mcc/BenchKit/BenchKit_head.sh
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DNAwalker-PT-10ringRL
Not applying reductions.
Model is PT
ReachabilityCardinality PT
starting LoLA
BK_INPUT DNAwalker-PT-10ringRL
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../lola/bi
current directory: /home/mcc/execution
ReachabilityCardinality

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-01

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-03

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-10

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-12

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-00

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-06

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-05

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-04

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-07

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-11

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-09

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-13

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-15

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-14

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-08

FORMULA DNAwalker-PT-10ringRL-ReachabilityCardinality-02

BK_STOP 1678355073189

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/mode
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0
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: LAUNCH INITIAL
lola: LAUNCH task # 4 (type CNST) for
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 4 (type CNST) for
lola: result : false
lola: LAUNCH INITIAL
lola: LAUNCH task # 10 (type CNST) for
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 10 (type CNST) for
lola: result : false
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: LAUNCH task # 58 (type EXCL) for
lola: time limit : 200 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 54 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 55 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 57 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: FINISHED task # 57 (type SRCH) for
lola: result : true
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 54 (type FNDP) for
lola: CANCELED task # 55 (type EQUN) for
lola: CANCELED task # 58 (type EXCL) for
lola: LAUNCH task # 77 (type EXCL) for
lola: time limit : 211 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 72 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 73 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 76 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: FINISHED task # 76 (type SRCH) for
lola: result : true
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 72 (type FNDP) for
lola: CANCELED task # 73 (type EQUN) for
lola: LAUNCH task # 61 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 62 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/executio
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH task # 65 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 73 (type EQUN) for
lola: result : unknown
sara: error: :5: error: syntax error, unexpected
sara: error while reading Petri net from
sara: see manual for a documentation of
sara: last error message: No such file or
lola: FINISHED task # 55 (type EQUN) for
lola: result : unknown
lola: FINISHED task # 54 (type FNDP) for
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: Created skeleton in 0.000000 secs.
sara: try reading problem file /home/mcc/executio
lola: LAUNCH INITIAL
lola: LAUNCH task # 1 (type CNST) for
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 1 (type CNST) for
lola: result : true
sara: place or transition ordering is non-determi
lola: FINISHED task # 72 (type FNDP) for
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 5/240 0/5
62 EF STEQ 5/240 0/5
65 EF SRCH 5/257 4/5
77 EF EXCL 5/327 2/32

Time elapsed: 5 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 65 (type SRCH) for
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 10/235 0/5
62 EF STEQ 10/235 0/5
77 EF EXCL 10/327 3/32

Time elapsed: 10 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 108 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 15/247 0/5
62 EF STEQ 15/247 0/5
77 EF EXCL 15/327 5/32
108 EF FNDP 5/239 0/5

Time elapsed: 15 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 20/242 0/5
62 EF STEQ 20/242 0/5
77 EF EXCL 20/327 6/32
108 EF FNDP 10/234 0/5

Time elapsed: 20 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 25/237 0/5
62 EF STEQ 25/237 0/5
77 EF EXCL 25/327 7/32
108 EF FNDP 15/229 0/5

Time elapsed: 25 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 30/232 0/5
62 EF STEQ 30/232 0/5
77 EF EXCL 30/327 8/32
108 EF FNDP 20/224 0/5

Time elapsed: 30 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 77 (type EXCL) for
lola: result : false
lola: markings : 2268051
lola: fired transitions : 11505358
lola: time used : 31.000000
lola: memory pages used : 9
lola: LAUNCH task # 106 (type EXCL) for
lola: time limit : 356 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 35/245 0/5
62 EF STEQ 35/245 0/5
106 EF EXCL 4/356 1/32
108 EF FNDP 25/255 0/5

Time elapsed: 35 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 40/241 0/5
62 EF STEQ 40/241 0/5
106 EF EXCL 9/356 3/32
108 EF FNDP 30/251 0/5

Time elapsed: 40 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 45/236 0/5
62 EF STEQ 45/236 0/5
106 EF EXCL 14/356 4/32
108 EF FNDP 35/246 0/5

Time elapsed: 45 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 50/231 0/5
62 EF STEQ 50/231 0/5
106 EF EXCL 19/356 5/32
108 EF FNDP 40/241 0/5

Time elapsed: 50 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 55/226 0/5
62 EF STEQ 55/226 0/5
106 EF EXCL 24/356 7/32
108 EF FNDP 45/236 0/5

Time elapsed: 55 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 60/221 0/5
62 EF STEQ 60/221 0/5
106 EF EXCL 29/356 8/32
108 EF FNDP 50/231 0/5

Time elapsed: 60 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 106 (type EXCL)
lola: result : false
lola: markings : 2268051
lola: fired transitions : 11505358
lola: time used : 33.000000
lola: memory pages used : 9
lola: LAUNCH task # 53 (type EXCL) for
lola: time limit : 392 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
53 EF EXCL 1/392 1/32
61 EF FNDP 65/263 0/5
62 EF STEQ 65/236 0/5
108 EF FNDP 55/245 0/5

Time elapsed: 65 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
53 EF EXCL 6/392 2/32
61 EF FNDP 70/262 0/5
62 EF STEQ 70/235 0/5
108 EF FNDP 60/244 0/5

Time elapsed: 70 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
53 EF EXCL 11/392 4/32
61 EF FNDP 75/257 0/5
62 EF STEQ 75/230 0/5
108 EF FNDP 65/239 0/5

Time elapsed: 75 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
53 EF EXCL 16/392 5/32
61 EF FNDP 80/252 0/5
62 EF STEQ 80/225 0/5
108 EF FNDP 70/234 0/5

Time elapsed: 80 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
53 EF EXCL 21/392 6/32
61 EF FNDP 85/247 0/5
62 EF STEQ 85/220 0/5
108 EF FNDP 75/229 0/5

Time elapsed: 85 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
53 EF EXCL 26/392 7/32
61 EF FNDP 90/242 0/5
62 EF STEQ 90/215 0/5
108 EF FNDP 80/224 0/5

Time elapsed: 90 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
53 EF EXCL 31/392 9/32
61 EF FNDP 95/237 0/5
62 EF STEQ 95/210 0/5
108 EF FNDP 85/219 0/5

Time elapsed: 95 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 53 (type EXCL) for
lola: result : false
lola: markings : 2268051
lola: fired transitions : 11505358
lola: time used : 31.000000
lola: memory pages used : 9
lola: LAUNCH task # 84 (type EXCL) for
lola: time limit : 438 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 100/265 0/5
62 EF STEQ 100/265 0/5
84 EF EXCL 5/438 2/32
108 EF FNDP 90/241 0/5

Time elapsed: 100 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 105/260 0/5
62 EF STEQ 105/260 0/5
84 EF EXCL 10/438 4/32
108 EF FNDP 95/236 0/5

Time elapsed: 105 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 110/255 0/5
62 EF STEQ 110/255 0/5
84 EF EXCL 15/438 5/32
108 EF FNDP 100/231 0/5

Time elapsed: 110 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 115/250 0/5
62 EF STEQ 115/250 0/5
84 EF EXCL 20/438 7/32
108 EF FNDP 105/226 0/5

Time elapsed: 115 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 120/245 0/5
62 EF STEQ 120/245 0/5
84 EF EXCL 25/438 8/32
108 EF FNDP 110/221 0/5

Time elapsed: 120 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 125/240 0/5
62 EF STEQ 125/240 0/5
84 EF EXCL 30/438 9/32
108 EF FNDP 115/216 0/5

Time elapsed: 125 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 130/235 0/5
62 EF STEQ 130/235 0/5
84 EF EXCL 35/438 10/32
108 EF FNDP 120/211 0/5

Time elapsed: 130 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 135/230 0/5
62 EF STEQ 135/230 0/5
84 EF EXCL 40/438 12/32
108 EF FNDP 125/206 0/5

Time elapsed: 135 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 84 (type EXCL) for
lola: result : false
lola: markings : 3166942
lola: fired transitions : 14816037
lola: time used : 41.000000
lola: memory pages used : 12
lola: LAUNCH task # 114 (type EXCL) for
lola: time limit : 494 sec
lola: memory limit: 32 pages
lola: FINISHED task # 114 (type EXCL)
lola: result : true
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 66 (type EXCL) for
lola: time limit : 577 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 140/378 0/5
62 EF STEQ 140/314 0/5
66 EF EXCL 4/577 2/32
108 EF FNDP 130/322 0/5

Time elapsed: 140 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 145/374 0/5
62 EF STEQ 145/310 0/5
66 EF EXCL 9/577 3/32
108 EF FNDP 135/318 0/5

Time elapsed: 145 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 150/369 0/5
62 EF STEQ 150/305 0/5
66 EF EXCL 14/577 4/32
108 EF FNDP 140/313 0/5

Time elapsed: 150 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 155/364 0/5
62 EF STEQ 155/300 0/5
66 EF EXCL 19/577 5/32
108 EF FNDP 145/308 0/5

Time elapsed: 155 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 160/359 0/5
62 EF STEQ 160/295 0/5
66 EF EXCL 24/577 7/32
108 EF FNDP 150/303 0/5

Time elapsed: 160 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 165/354 0/5
62 EF STEQ 165/290 0/5
66 EF EXCL 29/577 8/32
108 EF FNDP 155/298 0/5

Time elapsed: 165 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 170/349 0/5
62 EF STEQ 170/285 0/5
66 EF EXCL 34/577 9/32
108 EF FNDP 160/293 0/5

Time elapsed: 170 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 175/344 0/5
62 EF STEQ 175/280 0/5
66 EF EXCL 39/577 10/32
108 EF FNDP 165/288 0/5

Time elapsed: 175 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-00: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-01: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-03: INITIAL
DNAwalker-PT-10ringRL-ReachabilityCardinality-04:
DNAwalker-PT-10ringRL-ReachabilityCardinality-05:
DNAwalker-PT-10ringRL-ReachabilityCardinality-06:
DNAwalker-PT-10ringRL-ReachabilityCardinality-07:
DNAwalker-PT-10ringRL-ReachabilityCardinality-10:
DNAwalker-PT-10ringRL-ReachabilityCardinality-11:
DNAwalker-PT-10ringRL-ReachabilityCardinality-12:

PENDING FORMULAS: CATEGORY
DNAwalker-PT-10ringRL-ReachabilityCardinality-02:
DNAwalker-PT-10ringRL-ReachabilityCardinality-08:
DNAwalker-PT-10ringRL-ReachabilityCardinality-09:
DNAwalker-PT-10ringRL-ReachabilityCardinality-13:
DNAwalker-PT-10ringRL-ReachabilityCardinality-14:
DNAwalker-PT-10ringRL-ReachabilityCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA
61 EF FNDP 180/339 0/5
62 EF STEQ 180/275 0/5
66 EF EXCL 44/577 11/32
108 EF FNDP 170/283 0/5

Time elapsed: 180 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 66 (type EXCL) for
lola: result : false
lola: markings : 3040251
lola: fired transitions : 14687197
lola: time used : 46.000000
lola: memory pages used : 12
lola: CANCELED task # 61 (type FNDP) for
lola: CANCELED task # 62 (type EQUN) for
lola: LAUNCH task # 131 (type EXCL) for
lola: time limit : 683 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 116 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 118 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: FINISHED task # 61 (type FNDP) for
lola: result : unknown
lola: fired transitions : 26125522
lola: tried executions : 3790572
lola: time used : 182.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: FINISHED task # 62 (type EQUN) for
lola: result : unknown
lola: FINISHED task # 116 (type FNDP)
lola: result : true
lola: fired transitions : 73
lola: tried executions : 14
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 118 (type EQUN)
lola: LAUNCH task # 92 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 93 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: FINISHED task # 92 (type FNDP) for
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 93 (type EQUN) for
lola: LAUNCH task # 98 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 103 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 98 (type FNDP) for
lola: result : true
lola: fired transitions : 5
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 103 (type EQUN)
lola: LAUNCH task # 109 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: LAUNCH task # 111 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
sara: try reading problem file /home/mcc/executio
sara: place or transition ordering is non-determi
sara: try reading problem file /home/mcc/executio
sara: try reading problem file /home/mcc/executio
sara: place or transition ordering is non-determi
sara: place or transition ordering is non-determi
sara: try reading problem file /home/mcc/executio
sara: place or transition ordering is non-determi

lola: FINISHED task # 109 (type EQUN)
lola: result : false
lola: CANCELED task # 108 (type FNDP)
lola: CANCELED task # 111 (type SRCH)
lola: LAUNCH task # 127 (type FNDP) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 128 (type EQUN) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 130 (type SRCH) for
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 108 (type FNDP)
lola: result : unknown
lola: fired transitions : 22120865
lola: tried executions : 3107509
lola: time used : 174.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: rewrite Frontend/Parser/formula_rewrite.k
lola: FINISHED task # 128 (type EQUN)
lola: result : false
lola: CANCELED task # 127 (type FNDP)
lola: CANCELED task # 130 (type SRCH)
lola: CANCELED task # 131 (type EXCL)
lola: Portfolio finished: no open formulas

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

Time elapsed: 184 secs. Pages in use: 12
4477500950.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ========================================== is ReachabilityCardinality ==================== CTLCardinality.txt CTLCardinality.xml CTLFireability.txt CTLFireability.xml GenericPropertiesDefinition.xml GenericPropertiesVerdict.xml LTLCardinality.txt LTLCardinality.xml LTLFireability.txt LTLFireability.xml ReachabilityCardinality.txt ReachabilityCardinality.xml ReachabilityFireability.txt ReachabilityFireability.xml UpperBounds.txt UpperBounds.xml equiv_col iscolored model.pnml BenchKit (invocation template) vector(from text file) rdinality-00 rdinality-01 rdinality-02 rdinality-03 rdinality-04 rdinality-05 rdinality-06 rdinality-07 rdinality-08 rdinality-09 rdinality-10 rdinality-11 rdinality-12 rdinality-13 rdinality-14 rdinality-15 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N n/ 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 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 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 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT l.pnml .pnml ReachabilityCardinality.xml :98 :159 :150 :96 :156 :147 :96 :156 :147 places removed 3 DNAwalker-PT-10ringRL-ReachabilityCardinality-01 DNAwalker-PT-10ringRL-ReachabilityCardinality-01 9 DNAwalker-PT-10ringRL-ReachabilityCardinality-03 DNAwalker-PT-10ringRL-ReachabilityCardinality-03 :721 :787 :721 :787 :711 :711 :711 :711 30 DNAwalker-PT-10ringRL-ReachabilityCardinality-10 30 DNAwalker-PT-10ringRL-ReachabilityCardinality-10 30 DNAwalker-PT-10ringRL-ReachabilityCardinality-10 30 DNAwalker-PT-10ringRL-ReachabilityCardinality-10 :721 :787 :721 :787 :721 :787 :721 :787 :721 :787 :721 :787 :711 :711 :711 :711 :711 :711 :711 :711 :711 :711 :711 :711 :711 DNAwalker-PT-10ringRL-ReachabilityCardinality-10 DNAwalker-PT-10ringRL-ReachabilityCardinality-10 (obsolete) DNAwalker-PT-10ringRL-ReachabilityCardinality-10 (obsolete) DNAwalker-PT-10ringRL-ReachabilityCardinality-10 (obsolete) 18 DNAwalker-PT-10ringRL-ReachabilityCardinality-06 36 DNAwalker-PT-10ringRL-ReachabilityCardinality-12 36 DNAwalker-PT-10ringRL-ReachabilityCardinality-12 36 DNAwalker-PT-10ringRL-ReachabilityCardinality-12 :711 DNAwalker-PT-10ringRL-ReachabilityCardinality-12 DNAwalker-PT-10ringRL-ReachabilityCardinality-12 (obsolete) DNAwalker-PT-10ringRL-ReachabilityCardinality-12 (obsolete) 27 DNAwalker-PT-10ringRL-ReachabilityCardinality-09 27 DNAwalker-PT-10ringRL-ReachabilityCardinality-09 n/ReachabilityCardinality-55.sara. :721 :787 27 DNAwalker-PT-10ringRL-ReachabilityCardinality-09 DNAwalker-PT-10ringRL-ReachabilityCardinality-12 $end, expecting KEY_TRANSITION file -- aborting [#04] this error directory DNAwalker-PT-10ringRL-ReachabilityCardinality-10 DNAwalker-PT-10ringRL-ReachabilityCardinality-10 n/ReachabilityCardinality-62.sara. 0 DNAwalker-PT-10ringRL-ReachabilityCardinality-00 DNAwalker-PT-10ringRL-ReachabilityCardinality-00 nistic DNAwalker-PT-10ringRL-ReachabilityCardinality-12 :711 :711 :711 :711 :711 :721 :787 :721 :787 :721 :787 :721 :787 :721 :787 :721 :787 :721 :787 :721 :787 :721 :787 :721 :787 :721 :787 :721 :787 :721 :787 :711 :711 :721 :787 :711 :721 :787 :721 :787 :721 :787 :721 :787 :721 :787 :721 :787 VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 2 3 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 747971 t fired, 116409 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-09 1095322 m, 219064 m/sec, 2536010 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-06 394364 m, 78872 m/sec, 1743848 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 (memory limit exceeded) VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 1510083 t fired, 230301 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-06 771321 m, 75391 m/sec, 3547351 t fired, . 24 DNAwalker-PT-10ringRL-ReachabilityCardinality-08 VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 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 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 2234965 t fired, 337613 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-06 1129682 m, 71672 m/sec, 5369665 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 648791 t fired, 90964 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 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 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 2956186 t fired, 443388 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-06 1489780 m, 72019 m/sec, 7140493 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 1294300 t fired, 182470 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 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 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 3674665 t fired, 548775 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-06 1830608 m, 68165 m/sec, 8931555 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 1937355 t fired, 273408 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 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 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 4393448 t fired, 653797 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-06 2159103 m, 65699 m/sec, 10808734 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 2578562 t fired, 364100 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-06 15 DNAwalker-PT-10ringRL-ReachabilityCardinality-05 VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 5112237 t fired, 758679 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-05 252770 m, 50554 m/sec, 1073875 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 3220419 t fired, 454870 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 5830630 t fired, 863080 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-05 615354 m, 72516 m/sec, 2787657 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 3862319 t fired, 545666 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 6548847 t fired, 967839 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-05 966628 m, 70254 m/sec, 4548690 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 4503204 t fired, 636336 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 7266122 t fired, 1071987 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-05 1318456 m, 70365 m/sec, 6269427 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 5142997 t fired, 726706 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 7982359 t fired, 1175902 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-05 1659660 m, 68240 m/sec, 8027129 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 5781795 t fired, 816733 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 8698318 t fired, 1279907 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-05 1995271 m, 67122 m/sec, 9825615 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 6420193 t fired, 906882 attempts, . for DNAwalker-PT-10ringRL-ReachabilityCardinality-05 12 DNAwalker-PT-10ringRL-ReachabilityCardinality-04 VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 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 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-04 71247 m, 14249 m/sec, 264902 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 9414055 t fired, 1383552 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-08 7059342 t fired, 996863 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 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 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-04 466409 m, 79032 m/sec, 2123558 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 10130270 t fired, 1487448 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-08 7697931 t fired, 1086722 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 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 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-04 849107 m, 76539 m/sec, 3939457 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 10846559 t fired, 1591269 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-08 8336889 t fired, 1176694 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 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 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-04 1210817 m, 72342 m/sec, 5757874 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 11561516 t fired, 1694627 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-08 8974223 t fired, 1266472 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 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 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-04 1550368 m, 67910 m/sec, 7491701 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 12275870 t fired, 1797811 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-08 9611786 t fired, 1356148 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 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 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-04 1893109 m, 68548 m/sec, 9261109 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 12988971 t fired, 1900823 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-08 10248508 t fired, 1445369 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 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 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-04 2230036 m, 67385 m/sec, 11268191 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 13703171 t fired, 2004015 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-08 10886572 t fired, 1534859 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-04 21 DNAwalker-PT-10ringRL-ReachabilityCardinality-07 VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 14418583 t fired, 2107436 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-07 395422 m, 79084 m/sec, 1582805 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 11525252 t fired, 1624551 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 15133614 t fired, 2210447 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-07 806198 m, 82155 m/sec, 3395796 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 12162879 t fired, 1714060 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 15848748 t fired, 2313369 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-07 1205561 m, 79872 m/sec, 5181205 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 12800899 t fired, 1803598 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 16562349 t fired, 2416237 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-07 1592928 m, 77473 m/sec, 6979350 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 13437681 t fired, 1892906 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 17275571 t fired, 2519006 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-07 1985997 m, 78613 m/sec, 8722955 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 14074404 t fired, 1982231 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 17987534 t fired, 2621552 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-07 2357312 m, 74263 m/sec, 10529139 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 14709253 t fired, 2071217 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 18699215 t fired, 2723884 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-07 2727455 m, 74028 m/sec, 12331721 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 15344654 t fired, 2160113 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF true tandem / insertion EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 EF 0 4 1 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 2 2 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 19410047 t fired, 2825777 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-07 3075934 m, 69695 m/sec, 14296263 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 15977899 t fired, 2248719 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-07 33 DNAwalker-PT-10ringRL-ReachabilityCardinality-11 for DNAwalker-PT-10ringRL-ReachabilityCardinality-11 27 DNAwalker-PT-10ringRL-ReachabilityCardinality-09 VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF false tandem / relaxed EF true tandem / insertion AG false tandem / relaxed EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 1 3 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 20123477 t fired, 2928435 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-09 282148 m, 56429 m/sec, 1168796 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 16614384 t fired, 2337903 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF false tandem / relaxed EF true tandem / insertion AG false tandem / relaxed EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 1 3 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 20836583 t fired, 3031076 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-09 624113 m, 68393 m/sec, 2738059 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 17250218 t fired, 2427129 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF false tandem / relaxed EF true tandem / insertion AG false tandem / relaxed EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 1 3 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 21549154 t fired, 3133182 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-09 963117 m, 67800 m/sec, 4267752 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 17886437 t fired, 2516142 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF false tandem / relaxed EF true tandem / insertion AG false tandem / relaxed EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 1 3 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 22261785 t fired, 3235614 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-09 1306974 m, 68771 m/sec, 5959620 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 18522336 t fired, 2604985 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF false tandem / relaxed EF true tandem / insertion AG false tandem / relaxed EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 1 3 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 22973342 t fired, 3337804 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-09 1638154 m, 66236 m/sec, 7472920 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 19158026 t fired, 2693852 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF false tandem / relaxed EF true tandem / insertion AG false tandem / relaxed EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 1 3 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 23684642 t fired, 3439848 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-09 1970064 m, 66382 m/sec, 9051887 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 19792781 t fired, 2782241 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF false tandem / relaxed EF true tandem / insertion AG false tandem / relaxed EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 1 3 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 24396259 t fired, 3541951 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-09 2284350 m, 62857 m/sec, 10683528 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 20428397 t fired, 2870952 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF false tandem / relaxed EF true tandem / insertion AG false tandem / relaxed EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 1 3 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 25107323 t fired, 3644091 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-09 2599294 m, 62988 m/sec, 12295879 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 21063097 t fired, 2959911 attempts, . VALUE PRODUCED BY true preprocessing false preprocessing false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF false tandem / relaxed EF true tandem / insertion AG false tandem / relaxed EF true tandem / insertion IDL ACT RUN SUS FIN C/T C/M OBS AG 0 5 0 0 1 0 0 0 AG 0 4 1 0 1 0 0 0 AG 0 1 3 0 1 0 1 0 AG 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 EF 0 5 0 0 1 0 0 0 STATUS DNAwalker-PT-10ringRL-ReachabilityCardinality-09 25818693 t fired, 3746419 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 sara is running. DNAwalker-PT-10ringRL-ReachabilityCardinality-09 2905761 m, 61293 m/sec, 13977449 t fired, . DNAwalker-PT-10ringRL-ReachabilityCardinality-08 21698368 t fired, 3048447 attempts, . DNAwalker-PT-10ringRL-ReachabilityCardinality-09 DNAwalker-PT-10ringRL-ReachabilityCardinality-09 (obsolete) DNAwalker-PT-10ringRL-ReachabilityCardinality-09 (obsolete) 6 DNAwalker-PT-10ringRL-ReachabilityCardinality-02 39 DNAwalker-PT-10ringRL-ReachabilityCardinality-13 39 DNAwalker-PT-10ringRL-ReachabilityCardinality-13 :721 DNAwalker-PT-10ringRL-ReachabilityCardinality-09 :787 DNAwalker-PT-10ringRL-ReachabilityCardinality-09 for DNAwalker-PT-10ringRL-ReachabilityCardinality-13 for DNAwalker-PT-10ringRL-ReachabilityCardinality-13 (obsolete) 45 DNAwalker-PT-10ringRL-ReachabilityCardinality-15 45 DNAwalker-PT-10ringRL-ReachabilityCardinality-15 :711 DNAwalker-PT-10ringRL-ReachabilityCardinality-15 DNAwalker-PT-10ringRL-ReachabilityCardinality-15 (obsolete) 42 DNAwalker-PT-10ringRL-ReachabilityCardinality-14 42 DNAwalker-PT-10ringRL-ReachabilityCardinality-14 DNAwalker-PT-10ringRL-ReachabilityCardinality-14 for DNAwalker-PT-10ringRL-ReachabilityCardinality-14 (obsolete) 24 DNAwalker-PT-10ringRL-ReachabilityCardinality-08 :711 24 DNAwalker-PT-10ringRL-ReachabilityCardinality-08 :721 :787 n/ReachabilityCardinality-118.sara. nistic n/ReachabilityCardinality-93.sara. n/ReachabilityCardinality-103.sara. nistic nistic n/ReachabilityCardinality-109.sara. nistic for DNAwalker-PT-10ringRL-ReachabilityCardinality-08 for DNAwalker-PT-10ringRL-ReachabilityCardinality-08 (obsolete) for DNAwalker-PT-10ringRL-ReachabilityCardinality-08 (obsolete) 6 DNAwalker-PT-10ringRL-ReachabilityCardinality-02 6 DNAwalker-PT-10ringRL-ReachabilityCardinality-02 6 DNAwalker-PT-10ringRL-ReachabilityCardinality-02 for DNAwalker-PT-10ringRL-ReachabilityCardinality-08 :721 :787 for DNAwalker-PT-10ringRL-ReachabilityCardinality-02 for DNAwalker-PT-10ringRL-ReachabilityCardinality-02 (obsolete) for DNAwalker-PT-10ringRL-ReachabilityCardinality-02 (obsolete) for DNAwalker-PT-10ringRL-ReachabilityCardinality-02 (obsolete) VALUE PRODUCED BY true preprocessing false preprocessing AG true state equation false preprocessing AG true tandem / relaxed AG true tandem / relaxed EF false tandem / relaxed EF false tandem / relaxed AG true state equation AG true tandem / relaxed EF true tandem / insertion AG false tandem / relaxed EF true tandem / insertion AG false findpath EF true findpath EF true 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="DNAwalker-PT-10ringRL"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is DNAwalker-PT-10ringRL, 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 r102-tall-167814477500950"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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