Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r131-smll-171624288700284.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool gold2023
Input is DNAwalker-PT-11ringRR, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r131-smll-171624288700284
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 620K
-rw-r--r-- 1 mcc users 7.0K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 22 14:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 22 14:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 22 14:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 22 14:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 13 13:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K Apr 13 13:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 13 13:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 106K Apr 13 13:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 22 14:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 9 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 112K May 18 16:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1716447869219

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DNAwalker-PT-11ringRR
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-23 07:04:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -timeout, 360, -rebuildPNML]
[2024-05-23 07:04:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-23 07:04:31] [INFO ] Load time of PNML (sax parser for PT used): 98 ms
[2024-05-23 07:04:31] [INFO ] Transformed 27 places.
[2024-05-23 07:04:31] [INFO ] Transformed 260 transitions.
[2024-05-23 07:04:31] [INFO ] Parsed PT model containing 27 places and 260 transitions and 760 arcs in 193 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 26 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 801 resets, run finished after 899 ms. (steps per millisecond=11 ) properties (out of 16) seen :5
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-12 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 60 resets, run finished after 45 ms. (steps per millisecond=222 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 50 resets, run finished after 57 ms. (steps per millisecond=175 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 64 resets, run finished after 60 ms. (steps per millisecond=166 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 59 resets, run finished after 45 ms. (steps per millisecond=222 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 54 resets, run finished after 113 ms. (steps per millisecond=88 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 46 resets, run finished after 56 ms. (steps per millisecond=178 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 53 resets, run finished after 48 ms. (steps per millisecond=208 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 74 resets, run finished after 49 ms. (steps per millisecond=204 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10000 steps, including 56 resets, run finished after 50 ms. (steps per millisecond=200 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 57 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 50 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 11) seen :0
Running SMT prover for 11 properties.
[2024-05-23 07:04:33] [INFO ] Flow matrix only has 259 transitions (discarded 1 similar events)
// Phase 1: matrix 259 rows 27 cols
[2024-05-23 07:04:33] [INFO ] Computed 0 invariants in 9 ms
[2024-05-23 07:04:33] [INFO ] After 220ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :0 real:10
[2024-05-23 07:04:57] [INFO ] After 23537ms SMT Verify possible using state equation in natural domain returned unsat :8 sat :1
[2024-05-23 07:04:57] [INFO ] State equation strengthened by 70 read => feed constraints.
[2024-05-23 07:04:58] [INFO ] After 1357ms SMT Verify possible using 70 Read/Feed constraints in natural domain returned unsat :8 sat :0
[2024-05-23 07:04:58] [INFO ] After 25010ms SMT Verify possible using all constraints in natural domain returned unsat :8 sat :0
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-11 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-09 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-08 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-07 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-05 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-03 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-02 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-00 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 11 Parikh solutions to 2 different solutions.
Parikh walk visited 0 properties in 4 ms.
Support contains 26 out of 27 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 27/27 places, 260/260 transitions.
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 27 transition count 258
Applied a total of 2 rules in 28 ms. Remains 27 /27 variables (removed 0) and now considering 258/260 (removed 2) transitions.
// Phase 1: matrix 258 rows 27 cols
[2024-05-23 07:04:58] [INFO ] Computed 0 invariants in 6 ms
[2024-05-23 07:04:59] [INFO ] Dead Transitions using invariants and state equation in 212 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 244 ms. Remains : 27/27 places, 258/260 transitions.
Incomplete random walk after 10000 steps, including 786 resets, run finished after 285 ms. (steps per millisecond=35 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 48 resets, run finished after 44 ms. (steps per millisecond=227 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 57 resets, run finished after 44 ms. (steps per millisecond=227 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 56 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 3) seen :0
Interrupted probabilistic random walk after 748974 steps, run timeout after 3001 ms. (steps per millisecond=249 ) properties seen :{}
Probabilistic random walk after 748974 steps, saw 102616 distinct states, run finished after 3006 ms. (steps per millisecond=249 ) properties seen :0
Running SMT prover for 3 properties.
[2024-05-23 07:05:02] [INFO ] Invariant cache hit.
[2024-05-23 07:05:02] [INFO ] After 38ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2024-05-23 07:05:21] [INFO ] After 18889ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2024-05-23 07:05:21] [INFO ] State equation strengthened by 69 read => feed constraints.
[2024-05-23 07:05:27] [INFO ] After 6079ms SMT Verify possible using 69 Read/Feed constraints in natural domain returned unsat :0 sat :0
[2024-05-23 07:05:27] [INFO ] After 25007ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :0
Fused 3 Parikh solutions to 2 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 26 out of 27 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 27/27 places, 258/258 transitions.
Applied a total of 0 rules in 11 ms. Remains 27 /27 variables (removed 0) and now considering 258/258 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 11 ms. Remains : 27/27 places, 258/258 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 27/27 places, 258/258 transitions.
Applied a total of 0 rules in 10 ms. Remains 27 /27 variables (removed 0) and now considering 258/258 (removed 0) transitions.
[2024-05-23 07:05:27] [INFO ] Invariant cache hit.
[2024-05-23 07:05:27] [INFO ] Implicit Places using invariants in 26 ms returned []
[2024-05-23 07:05:27] [INFO ] Invariant cache hit.
[2024-05-23 07:05:27] [INFO ] State equation strengthened by 69 read => feed constraints.
[2024-05-23 07:05:27] [INFO ] Implicit Places using invariants and state equation in 142 ms returned []
Implicit Place search using SMT with State Equation took 178 ms to find 0 implicit places.
[2024-05-23 07:05:27] [INFO ] Redundant transitions in 17 ms returned []
[2024-05-23 07:05:27] [INFO ] Invariant cache hit.
[2024-05-23 07:05:28] [INFO ] Dead Transitions using invariants and state equation in 139 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 352 ms. Remains : 27/27 places, 258/258 transitions.
Applied a total of 0 rules in 9 ms. Remains 27 /27 variables (removed 0) and now considering 258/258 (removed 0) transitions.
Running SMT prover for 3 properties.
[2024-05-23 07:05:28] [INFO ] Invariant cache hit.
[2024-05-23 07:05:28] [INFO ] After 49ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2024-05-23 07:05:47] [INFO ] After 18882ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2024-05-23 07:05:47] [INFO ] State equation strengthened by 69 read => feed constraints.
[2024-05-23 07:05:53] [INFO ] After 6669ms SMT Verify possible using 69 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2024-05-23 07:05:54] [INFO ] After 7171ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 597 ms.
[2024-05-23 07:05:54] [INFO ] After 26697ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
[2024-05-23 07:05:54] [INFO ] Export to MCC of 3 properties in file /home/mcc/execution/ReachabilityCardinality.sr.xml took 8 ms.
[2024-05-23 07:05:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 27 places, 258 transitions and 756 arcs took 4 ms.
[2024-05-23 07:05:55] [INFO ] Flatten gal took : 64 ms
Total runtime 83536 ms.
There are residual formulas that ITS could not solve within timeout
starting LoLA
BK_INPUT DNAwalker-PT-11ringRR
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution/368
ReachabilityCardinality

FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1716448407307

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/368/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/368/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/368/ReachabilityCardinality.xml
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 19 (type EXCL) for 6 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06
lola: time limit : 1200 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 14 (type FNDP) for 6 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 15 (type EQUN) for 6 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 18 (type SRCH) for 6 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/368/ReachabilityCardinality-15.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG 0 1 4 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 5/900 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 559401 t fired, 62323 attempts, .
15 EF STEQ 5/900 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 sara is running.
18 EF SRCH 5/900 2/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 431923 m, 86384 m/sec, 1556305 t fired, .
19 EF EXCL 5/1200 2/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 277634 m, 55526 m/sec, 1199350 t fired, .

Time elapsed: 5 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG 0 1 4 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 10/895 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 1109286 t fired, 117744 attempts, .
15 EF STEQ 10/895 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 sara is running.
18 EF SRCH 10/895 3/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 837117 m, 81038 m/sec, 3439962 t fired, .
19 EF EXCL 10/1200 3/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 542466 m, 52966 m/sec, 2460765 t fired, .

Time elapsed: 10 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG 0 1 4 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 15/890 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 1651565 t fired, 170314 attempts, .
15 EF STEQ 15/890 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 sara is running.
18 EF SRCH 15/890 5/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 1202812 m, 73139 m/sec, 4938520 t fired, .
19 EF EXCL 15/1200 4/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 801555 m, 51817 m/sec, 3697143 t fired, .

Time elapsed: 15 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
lola: CANCELED task # 18 (type SRCH) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG 0 1 3 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
14 EF FNDP 20/885 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 2191745 t fired, 221203 attempts, .
15 EF STEQ 20/885 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 sara is running.
19 EF EXCL 20/1200 4/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 1049508 m, 49590 m/sec, 5021879 t fired, .

Time elapsed: 20 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
lola: LAUNCH task # 9 (type FNDP) for 3 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG 0 1 3 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 5/895 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 498341 t fired, 52589 attempts, .
14 EF FNDP 25/880 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 2700249 t fired, 268204 attempts, .
15 EF STEQ 25/1180 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 sara is running.
19 EF EXCL 25/1200 5/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 1308333 m, 51765 m/sec, 6242787 t fired, .

Time elapsed: 25 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG 0 1 3 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 10/890 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 989644 t fired, 102098 attempts, .
14 EF FNDP 30/875 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 3206723 t fired, 314408 attempts, .
15 EF STEQ 30/1175 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 sara is running.
19 EF EXCL 30/1200 6/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 1555247 m, 49382 m/sec, 7523798 t fired, .

Time elapsed: 30 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG 0 1 3 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 15/885 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 1474202 t fired, 149995 attempts, .
14 EF FNDP 35/870 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 3713119 t fired, 360006 attempts, .
15 EF STEQ 35/1170 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 sara is running.
19 EF EXCL 35/1200 7/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 1807220 m, 50394 m/sec, 8811423 t fired, .

Time elapsed: 35 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG 0 1 3 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 20/880 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 1962733 t fired, 198056 attempts, .
14 EF FNDP 40/865 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 4220831 t fired, 405108 attempts, .
15 EF STEQ 40/1165 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 sara is running.
19 EF EXCL 40/1200 8/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 2050447 m, 48645 m/sec, 10147189 t fired, .

Time elapsed: 40 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
lola: FINISHED task # 19 (type EXCL) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06
lola: result : false
lola: markings : 2268052
lola: fired transitions : 11505359
lola: time used : 45.000000
lola: memory pages used : 9
lola: CANCELED task # 14 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 (obsolete)
lola: CANCELED task # 15 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06 (obsolete)
lola: LAUNCH task # 22 (type EXCL) for 0 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01
lola: time limit : 1777 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 11 (type FNDP) for 0 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 12 (type EQUN) for 0 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 14 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06
lola: result : unknown
lola: fired transitions : 4688455
lola: tried executions : 446398
lola: time used : 45.000000
lola: memory pages used : 0
lola: FINISHED task # 15 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/368/ReachabilityCardinality-12.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 25/1765 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 2449261 t fired, 245586 attempts, .
11 EF FNDP 0/1185 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 35363 t fired, 4970 attempts, .
12 EF STEQ 0/1185 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 0/1777 1/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 18636 m, 3727 m/sec, 49521 t fired, .

Time elapsed: 45 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 30/1765 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 2945627 t fired, 293700 attempts, .
11 EF FNDP 5/1185 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 496071 t fired, 59692 attempts, .
12 EF STEQ 5/1185 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 5/1777 1/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 231208 m, 42514 m/sec, 799732 t fired, .

Time elapsed: 50 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 35/1760 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 3441102 t fired, 341542 attempts, .
11 EF FNDP 10/1180 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 956343 t fired, 109957 attempts, .
12 EF STEQ 10/1180 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 10/1777 2/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 425218 m, 38802 m/sec, 1596789 t fired, .

Time elapsed: 55 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 40/1755 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 3936132 t fired, 389213 attempts, .
11 EF FNDP 15/1175 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 1414448 t fired, 157848 attempts, .
12 EF STEQ 15/1175 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 15/1777 3/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 613601 m, 37676 m/sec, 2433442 t fired, .

Time elapsed: 60 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 45/1750 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 4431353 t fired, 436932 attempts, .
11 EF FNDP 20/1170 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 1871205 t fired, 204269 attempts, .
12 EF STEQ 20/1170 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 20/1777 3/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 799055 m, 37090 m/sec, 3312669 t fired, .

Time elapsed: 65 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 50/1745 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 4930245 t fired, 484848 attempts, .
11 EF FNDP 25/1165 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 2330747 t fired, 249737 attempts, .
12 EF STEQ 25/1165 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 25/1777 4/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 975692 m, 35327 m/sec, 4215216 t fired, .

Time elapsed: 70 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 55/1740 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 5427672 t fired, 532345 attempts, .
11 EF FNDP 30/1160 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 2790103 t fired, 294029 attempts, .
12 EF STEQ 30/1160 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 30/1777 5/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 1147437 m, 34349 m/sec, 5057903 t fired, .

Time elapsed: 75 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 60/1735 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 5925144 t fired, 579862 attempts, .
11 EF FNDP 35/1155 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 3249684 t fired, 337634 attempts, .
12 EF STEQ 35/1155 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 35/1777 5/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 1326479 m, 35808 m/sec, 5895415 t fired, .

Time elapsed: 80 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 65/1730 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 6420697 t fired, 627259 attempts, .
11 EF FNDP 40/1150 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 3707513 t fired, 380239 attempts, .
12 EF STEQ 40/1150 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 40/1777 6/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 1498111 m, 34326 m/sec, 6842938 t fired, .

Time elapsed: 85 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 70/1725 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 6915195 t fired, 674414 attempts, .
11 EF FNDP 45/1145 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 4161404 t fired, 421675 attempts, .
12 EF STEQ 45/1145 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 45/1777 7/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 1703516 m, 41081 m/sec, 7621012 t fired, .

Time elapsed: 90 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 75/1720 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 7407015 t fired, 721198 attempts, .
11 EF FNDP 50/1140 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 4613783 t fired, 462330 attempts, .
12 EF STEQ 50/1140 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 50/1777 8/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 1896501 m, 38597 m/sec, 8446475 t fired, .

Time elapsed: 95 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 80/1715 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 7900953 t fired, 768100 attempts, .
11 EF FNDP 55/1135 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 5069773 t fired, 502751 attempts, .
12 EF STEQ 55/1135 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 55/1777 8/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 2077890 m, 36277 m/sec, 9290976 t fired, .

Time elapsed: 100 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 85/1710 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 8394004 t fired, 814876 attempts, .
11 EF FNDP 60/1130 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 5525249 t fired, 542704 attempts, .
12 EF STEQ 60/1130 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 60/1777 9/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 2258247 m, 36071 m/sec, 10181600 t fired, .

Time elapsed: 105 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 90/1705 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 8887955 t fired, 861856 attempts, .
11 EF FNDP 65/1125 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 5981082 t fired, 582193 attempts, .
12 EF STEQ 65/1125 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 65/1777 10/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 2433516 m, 35053 m/sec, 11106311 t fired, .

Time elapsed: 110 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 95/1700 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 9381002 t fired, 908702 attempts, .
11 EF FNDP 70/1120 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 6436312 t fired, 621122 attempts, .
12 EF STEQ 70/1120 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 70/1777 10/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 2602585 m, 33813 m/sec, 12034484 t fired, .

Time elapsed: 115 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 100/1695 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 9873427 t fired, 955283 attempts, .
11 EF FNDP 75/1115 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 6891715 t fired, 659822 attempts, .
12 EF STEQ 75/1115 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 75/1777 11/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 2765510 m, 32585 m/sec, 12906379 t fired, .

Time elapsed: 120 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 105/1690 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 10365292 t fired, 1001922 attempts, .
11 EF FNDP 80/1110 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 7347327 t fired, 698253 attempts, .
12 EF STEQ 80/1110 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 80/1777 11/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 2940784 m, 35054 m/sec, 13767420 t fired, .

Time elapsed: 125 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 110/1685 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 10856946 t fired, 1048577 attempts, .
11 EF FNDP 85/1105 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 7802805 t fired, 736174 attempts, .
12 EF STEQ 85/1105 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 85/1777 12/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 3109816 m, 33806 m/sec, 14692374 t fired, .

Time elapsed: 130 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 115/1680 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 11347860 t fired, 1095096 attempts, .
11 EF FNDP 90/1100 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 8258544 t fired, 774012 attempts, .
12 EF STEQ 90/1100 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 90/1777 13/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 3291723 m, 36381 m/sec, 15595766 t fired, .

Time elapsed: 135 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 120/1675 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 11839211 t fired, 1141599 attempts, .
11 EF FNDP 95/1095 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 8714405 t fired, 811610 attempts, .
12 EF STEQ 95/1095 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 95/1777 13/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 3489064 m, 39468 m/sec, 16394605 t fired, .

Time elapsed: 140 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 125/1670 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 12332907 t fired, 1188394 attempts, .
11 EF FNDP 100/1090 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 9169046 t fired, 848893 attempts, .
12 EF STEQ 100/1090 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 100/1777 14/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 3674319 m, 37051 m/sec, 17241118 t fired, .

Time elapsed: 145 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 130/1665 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 12826167 t fired, 1235156 attempts, .
11 EF FNDP 105/1085 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 9623689 t fired, 885876 attempts, .
12 EF STEQ 105/1085 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 105/1777 15/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 3854121 m, 35960 m/sec, 18104528 t fired, .

Time elapsed: 150 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 135/1660 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 13319106 t fired, 1281812 attempts, .
11 EF FNDP 110/1080 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 10078204 t fired, 922760 attempts, .
12 EF STEQ 110/1080 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 110/1777 15/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 4031653 m, 35506 m/sec, 19021615 t fired, .

Time elapsed: 155 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 140/1655 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 13812864 t fired, 1328602 attempts, .
11 EF FNDP 115/1075 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 10533428 t fired, 959691 attempts, .
12 EF STEQ 115/1075 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 115/1777 16/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 4203582 m, 34385 m/sec, 19974004 t fired, .

Time elapsed: 160 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 145/1650 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 14304754 t fired, 1374966 attempts, .
11 EF FNDP 120/1070 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 10987682 t fired, 996440 attempts, .
12 EF STEQ 120/1070 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 120/1777 17/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 4364429 m, 32169 m/sec, 20851868 t fired, .

Time elapsed: 165 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 150/1645 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 14796776 t fired, 1421556 attempts, .
11 EF FNDP 125/1065 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 11441873 t fired, 1032984 attempts, .
12 EF STEQ 125/1065 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 125/1777 17/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 4535967 m, 34307 m/sec, 21714521 t fired, .

Time elapsed: 170 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 155/1640 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 15289337 t fired, 1468384 attempts, .
11 EF FNDP 130/1060 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 11896056 t fired, 1069435 attempts, .
12 EF STEQ 130/1060 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 130/1777 18/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 4705891 m, 33984 m/sec, 22589885 t fired, .

Time elapsed: 175 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 160/1635 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 15780809 t fired, 1514923 attempts, .
11 EF FNDP 135/1055 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 12349791 t fired, 1105862 attempts, .
12 EF STEQ 135/1055 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 135/1777 19/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 4871638 m, 33149 m/sec, 23592261 t fired, .

Time elapsed: 180 secs. Pages in use: 19
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 165/1630 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 16272370 t fired, 1561514 attempts, .
11 EF FNDP 140/1050 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 12803429 t fired, 1142111 attempts, .
12 EF STEQ 140/1050 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 140/1777 19/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 5064335 m, 38539 m/sec, 24415953 t fired, .

Time elapsed: 185 secs. Pages in use: 19
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 170/1625 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 16762928 t fired, 1607918 attempts, .
11 EF FNDP 145/1045 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 13256307 t fired, 1178085 attempts, .
12 EF STEQ 145/1045 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 145/1777 20/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 5249183 m, 36969 m/sec, 25279038 t fired, .

Time elapsed: 190 secs. Pages in use: 20
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 175/1620 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 17254061 t fired, 1654286 attempts, .
11 EF FNDP 150/1040 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 13709777 t fired, 1214082 attempts, .
12 EF STEQ 150/1040 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 150/1777 21/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 5422433 m, 34650 m/sec, 26161241 t fired, .

Time elapsed: 195 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 180/1615 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 17745998 t fired, 1700899 attempts, .
11 EF FNDP 155/1035 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 14163993 t fired, 1250230 attempts, .
12 EF STEQ 155/1035 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 155/1777 21/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 5596557 m, 34824 m/sec, 27078856 t fired, .

Time elapsed: 200 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 185/1610 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 18238803 t fired, 1747689 attempts, .
11 EF FNDP 160/1030 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 14620088 t fired, 1286401 attempts, .
12 EF STEQ 160/1030 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 160/1777 22/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 5767325 m, 34153 m/sec, 28039516 t fired, .

Time elapsed: 205 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 190/1605 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 18734187 t fired, 1794612 attempts, .
11 EF FNDP 165/1025 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 15072689 t fired, 1322185 attempts, .
12 EF STEQ 165/1025 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 165/1777 22/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 5931740 m, 32883 m/sec, 29023071 t fired, .

Time elapsed: 210 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 195/1600 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 19229852 t fired, 1841522 attempts, .
11 EF FNDP 170/1020 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 15523775 t fired, 1357747 attempts, .
12 EF STEQ 170/1020 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 170/1777 23/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 6093299 m, 32311 m/sec, 29996815 t fired, .

Time elapsed: 215 secs. Pages in use: 23
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 200/1595 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 19724413 t fired, 1888272 attempts, .
11 EF FNDP 175/1015 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 15979044 t fired, 1393526 attempts, .
12 EF STEQ 175/1015 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 175/1777 24/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 6243895 m, 30119 m/sec, 30911139 t fired, .

Time elapsed: 220 secs. Pages in use: 24
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 205/1590 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 20220139 t fired, 1935332 attempts, .
11 EF FNDP 180/1010 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 16439755 t fired, 1429736 attempts, .
12 EF STEQ 180/1010 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 180/1777 24/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 6416305 m, 34482 m/sec, 31790416 t fired, .

Time elapsed: 225 secs. Pages in use: 24
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 210/1585 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 20714848 t fired, 1982224 attempts, .
11 EF FNDP 185/1005 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 16900241 t fired, 1465951 attempts, .
12 EF STEQ 185/1005 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 185/1777 25/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 6580099 m, 32758 m/sec, 32708147 t fired, .

Time elapsed: 230 secs. Pages in use: 25
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF 0 2 3 0 1 0 0 0
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 215/1580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 21208935 t fired, 2028997 attempts, .
11 EF FNDP 190/1000 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 17360551 t fired, 1502139 attempts, .
12 EF STEQ 190/1000 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 sara is running.
22 EF EXCL 190/1777 25/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 6741840 m, 32348 m/sec, 33743310 t fired, .

Time elapsed: 235 secs. Pages in use: 25
# running tasks: 4 of 4 Visible: 3
lola: FINISHED task # 22 (type EXCL) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01
lola: result : false
lola: markings : 6798257
lola: fired transitions : 34132972
lola: time used : 192.000000
lola: memory pages used : 26
lola: CANCELED task # 11 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 (obsolete)
lola: CANCELED task # 12 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01 (obsolete)
lola: LAUNCH task # 24 (type EXCL) for 3 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04
lola: time limit : 3363 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 10 (type EQUN) for 3 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 23 (type SRCH) for 3 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 11 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01
lola: result : unknown
lola: fired transitions : 17528306
lola: tried executions : 1515352
lola: time used : 192.000000
lola: memory pages used : 0
lola: FINISHED task # 12 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01
lola: result : unknown
sara: try reading problem file /home/mcc/execution/368/ReachabilityCardinality-10.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 1 4 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 220/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 21708080 t fired, 2076235 attempts, .
10 EF STEQ 3/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
23 EF SRCH 3/1681 2/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 322719 m, 64543 m/sec, 1005521 t fired, .
24 EF EXCL 3/3363 1/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 128255 m, 25651 m/sec, 440870 t fired, .

Time elapsed: 240 secs. Pages in use: 26
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 1 4 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 225/3360 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 22214007 t fired, 2124143 attempts, .
10 EF STEQ 8/3360 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
23 EF SRCH 8/1678 3/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 781930 m, 91842 m/sec, 2705775 t fired, .
24 EF EXCL 8/3363 2/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 317512 m, 37851 m/sec, 1151744 t fired, .

Time elapsed: 245 secs. Pages in use: 26
# running tasks: 4 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 1 4 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 230/3355 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 22718369 t fired, 2171956 attempts, .
10 EF STEQ 13/3355 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
23 EF SRCH 13/1673 5/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 1244281 m, 92470 m/sec, 4508456 t fired, .
24 EF EXCL 13/3363 2/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 498486 m, 36194 m/sec, 1892335 t fired, .

Time elapsed: 250 secs. Pages in use: 26
# running tasks: 4 of 4 Visible: 3
lola: CANCELED task # 23 (type SRCH) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 1 3 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 235/3350 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 23223119 t fired, 2219819 attempts, .
10 EF STEQ 18/3350 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 18/3363 3/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 682364 m, 36775 m/sec, 2636683 t fired, .

Time elapsed: 255 secs. Pages in use: 26
# running tasks: 4 of 4 Visible: 3
lola: LAUNCH task # 27 (type SRCH) for 3 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 27 (type SRCH) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04
lola: result : unknown
lola: markings : 24
lola: fired transitions : 52
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 240/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 23727785 t fired, 2267863 attempts, .
10 EF STEQ 23/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 23/3363 4/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 856848 m, 34896 m/sec, 3389037 t fired, .

Time elapsed: 260 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 245/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 24232697 t fired, 2315778 attempts, .
10 EF STEQ 28/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 28/3363 4/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 1035126 m, 35655 m/sec, 4149715 t fired, .

Time elapsed: 265 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 250/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 24733858 t fired, 2363383 attempts, .
10 EF STEQ 33/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 33/3363 5/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 1199392 m, 32853 m/sec, 4984156 t fired, .

Time elapsed: 270 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 255/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 25240417 t fired, 2411464 attempts, .
10 EF STEQ 38/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 38/3363 6/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 1385721 m, 37265 m/sec, 5732945 t fired, .

Time elapsed: 275 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 260/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 25745399 t fired, 2459538 attempts, .
10 EF STEQ 43/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 43/3363 6/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 1563943 m, 35644 m/sec, 6443514 t fired, .

Time elapsed: 280 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 265/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 26248259 t fired, 2507106 attempts, .
10 EF STEQ 48/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 48/3363 7/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 1739543 m, 35120 m/sec, 7234105 t fired, .

Time elapsed: 285 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 270/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 26751369 t fired, 2554903 attempts, .
10 EF STEQ 53/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 53/3363 7/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 1906792 m, 33449 m/sec, 8076104 t fired, .

Time elapsed: 290 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 275/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 27254039 t fired, 2602649 attempts, .
10 EF STEQ 58/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 58/3363 8/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 2071480 m, 32937 m/sec, 8925128 t fired, .

Time elapsed: 295 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 280/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 27754040 t fired, 2650062 attempts, .
10 EF STEQ 63/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 63/3363 9/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 2231784 m, 32060 m/sec, 9804377 t fired, .

Time elapsed: 300 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 285/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 28254083 t fired, 2697329 attempts, .
10 EF STEQ 68/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 68/3363 9/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 2392071 m, 32057 m/sec, 10660343 t fired, .

Time elapsed: 305 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 290/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 28757151 t fired, 2745113 attempts, .
10 EF STEQ 73/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 73/3363 10/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 2550513 m, 31688 m/sec, 11514472 t fired, .

Time elapsed: 310 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 295/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 29256715 t fired, 2792576 attempts, .
10 EF STEQ 78/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 78/3363 10/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 2707143 m, 31326 m/sec, 12392728 t fired, .

Time elapsed: 315 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 300/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 29754951 t fired, 2839851 attempts, .
10 EF STEQ 83/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 83/3363 11/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 2861900 m, 30951 m/sec, 13289899 t fired, .

Time elapsed: 320 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 305/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 30253921 t fired, 2887216 attempts, .
10 EF STEQ 88/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 88/3363 11/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 3011371 m, 29894 m/sec, 14225474 t fired, .

Time elapsed: 325 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 310/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 30753704 t fired, 2934709 attempts, .
10 EF STEQ 93/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 93/3363 12/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 3171862 m, 32098 m/sec, 15124637 t fired, .

Time elapsed: 330 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 315/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 31252532 t fired, 2981985 attempts, .
10 EF STEQ 98/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 98/3363 13/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 3329897 m, 31607 m/sec, 15835166 t fired, .

Time elapsed: 335 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 320/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 31750833 t fired, 3029220 attempts, .
10 EF STEQ 103/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 103/3363 13/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 3481664 m, 30353 m/sec, 16549975 t fired, .

Time elapsed: 340 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 325/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 32250117 t fired, 3076582 attempts, .
10 EF STEQ 108/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 108/3363 14/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 3631810 m, 30029 m/sec, 17336607 t fired, .

Time elapsed: 345 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 330/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 32752360 t fired, 3124289 attempts, .
10 EF STEQ 113/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 113/3363 14/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 3790356 m, 31709 m/sec, 18089243 t fired, .

Time elapsed: 350 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 335/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 33252669 t fired, 3171957 attempts, .
10 EF STEQ 118/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 118/3363 15/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 3940813 m, 30091 m/sec, 18837507 t fired, .

Time elapsed: 355 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 340/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 33752721 t fired, 3219407 attempts, .
10 EF STEQ 123/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 123/3363 15/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 4090362 m, 29909 m/sec, 19599068 t fired, .

Time elapsed: 360 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 345/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 34252730 t fired, 3266892 attempts, .
10 EF STEQ 128/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 128/3363 16/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 4238444 m, 29616 m/sec, 20362390 t fired, .

Time elapsed: 365 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 350/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 34753713 t fired, 3314429 attempts, .
10 EF STEQ 133/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 133/3363 16/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 4386026 m, 29516 m/sec, 21152207 t fired, .

Time elapsed: 370 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 355/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 35253324 t fired, 3361865 attempts, .
10 EF STEQ 138/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 138/3363 17/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 4528846 m, 28564 m/sec, 22008783 t fired, .

Time elapsed: 375 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 360/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 35755350 t fired, 3409543 attempts, .
10 EF STEQ 143/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 143/3363 18/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 4683386 m, 30908 m/sec, 22842567 t fired, .

Time elapsed: 380 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 365/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 36259043 t fired, 3457374 attempts, .
10 EF STEQ 148/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 148/3363 18/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 4831186 m, 29560 m/sec, 23695538 t fired, .

Time elapsed: 385 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 370/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 36763343 t fired, 3505197 attempts, .
10 EF STEQ 153/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 153/3363 19/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 4992437 m, 32250 m/sec, 24472249 t fired, .

Time elapsed: 390 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 375/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 37267082 t fired, 3552998 attempts, .
10 EF STEQ 158/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 158/3363 19/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 5167367 m, 34986 m/sec, 25150093 t fired, .

Time elapsed: 395 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 380/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 37771270 t fired, 3600970 attempts, .
10 EF STEQ 163/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 163/3363 20/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 5332613 m, 33049 m/sec, 25860617 t fired, .

Time elapsed: 400 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 385/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 38275143 t fired, 3648944 attempts, .
10 EF STEQ 168/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 168/3363 20/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 5491402 m, 31757 m/sec, 26574966 t fired, .

Time elapsed: 405 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 390/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 38778180 t fired, 3696653 attempts, .
10 EF STEQ 173/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 173/3363 21/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 5647502 m, 31220 m/sec, 27260051 t fired, .

Time elapsed: 410 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 395/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 39280416 t fired, 3744327 attempts, .
10 EF STEQ 178/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 178/3363 22/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 5797735 m, 30046 m/sec, 27964100 t fired, .

Time elapsed: 415 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 400/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 39781479 t fired, 3791854 attempts, .
10 EF STEQ 183/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 183/3363 22/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 5942193 m, 28891 m/sec, 28683418 t fired, .

Time elapsed: 420 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 405/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 40282875 t fired, 3839466 attempts, .
10 EF STEQ 188/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 188/3363 23/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 6090672 m, 29695 m/sec, 29438509 t fired, .

Time elapsed: 425 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 410/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 40784265 t fired, 3887040 attempts, .
10 EF STEQ 193/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 193/3363 23/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 6234994 m, 28864 m/sec, 30202499 t fired, .

Time elapsed: 430 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 415/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 41286245 t fired, 3934758 attempts, .
10 EF STEQ 198/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 198/3363 24/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 6388036 m, 30608 m/sec, 31008431 t fired, .

Time elapsed: 435 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 420/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 41788212 t fired, 3982565 attempts, .
10 EF STEQ 203/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 203/3363 24/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 6540005 m, 30393 m/sec, 31830556 t fired, .

Time elapsed: 440 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 425/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 42289141 t fired, 4030197 attempts, .
10 EF STEQ 208/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 208/3363 25/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 6686576 m, 29314 m/sec, 32682980 t fired, .

Time elapsed: 445 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
9 EF FNDP 430/3580 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 42790969 t fired, 4078031 attempts, .
10 EF STEQ 213/3363 0/5 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 sara is running.
24 EF EXCL 213/3363 25/32 DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 6835400 m, 29764 m/sec, 33575038 t fired, .

Time elapsed: 450 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 3
lola: FINISHED task # 24 (type EXCL) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04
lola: result : false
lola: markings : 6857292
lola: fired transitions : 33703229
lola: time used : 214.000000
lola: memory pages used : 25
lola: CANCELED task # 9 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 (obsolete)
lola: CANCELED task # 10 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04 (obsolete)
lola: Portfolio finished: no open formulas

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-01: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-04: EF false tandem / relaxed
DNAwalker-PT-11ringRR-ReachabilityCardinality-2024-06: AG true tandem / relaxed


Time elapsed: 451 secs. Pages in use: 26

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool gold2023"
echo " Input is DNAwalker-PT-11ringRR, 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 r131-smll-171624288700284"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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