About the Execution of LoLA for Medical-PT-24
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8312.271 | 605856.00 | 2390763.00 | 51.80 | FFFFTTTTFTFFFFTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r230-tall-167856415100742.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is Medical-PT-24, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r230-tall-167856415100742
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.6M
-rw-r--r-- 1 mcc users 7.4K Feb 25 14:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 14:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 14:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 14:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 14:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M Mar 5 18:22 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 Medical-PT-24-ReachabilityCardinality-00
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-01
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-02
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-03
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-04
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-05
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-06
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-07
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-08
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-09
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-10
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-11
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-12
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-13
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-14
FORMULA_NAME Medical-PT-24-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1679516020129
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=lola
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Medical-PT-24
Not applying reductions.
Model is PT
ReachabilityCardinality PT
starting LoLA
BK_INPUT Medical-PT-24
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityCardinality
FORMULA Medical-PT-24-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Medical-PT-24-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1679516625985
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityCardinality.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Rule S: 5204 transitions removed,242 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:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 52 (type EXCL) for 0 Medical-PT-24-ReachabilityCardinality-00
lola: time limit : 128 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 48 (type FNDP) for 0 Medical-PT-24-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN) for 0 Medical-PT-24-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 51 (type SRCH) for 0 Medical-PT-24-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
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: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH INITIAL
lola: LAUNCH task # 37 (type CNST) for 36 Medical-PT-24-ReachabilityCardinality-12
lola: time limit : 0 sec
lola: memory limit: 0 pages
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/ReachabilityCardinality-49.sara.
lola: LAUNCH INITIAL
lola: LAUNCH task # 7 (type CNST) for 6 Medical-PT-24-ReachabilityCardinality-02
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 37 (type CNST) for Medical-PT-24-ReachabilityCardinality-12
lola: result : false
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 7 (type CNST) for Medical-PT-24-ReachabilityCardinality-02
lola: result : false
lola: LAUNCH INITIAL
lola: LAUNCH task # 34 (type CNST) for 33 Medical-PT-24-ReachabilityCardinality-11
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 4 (type CNST) for 3 Medical-PT-24-ReachabilityCardinality-01
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 34 (type CNST) for Medical-PT-24-ReachabilityCardinality-11
lola: result : false
lola: FINISHED task # 49 (type EQUN) for Medical-PT-24-ReachabilityCardinality-00
lola: result : false
lola: LAUNCH INITIAL
lola: LAUNCH task # 16 (type CNST) for 15 Medical-PT-24-ReachabilityCardinality-05
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 22 (type CNST) for 21 Medical-PT-24-ReachabilityCardinality-07
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 28 (type CNST) for 27 Medical-PT-24-ReachabilityCardinality-09
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 43 (type CNST) for 42 Medical-PT-24-ReachabilityCardinality-14
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: CANCELED task # 48 (type FNDP) for Medical-PT-24-ReachabilityCardinality-00 (obsolete)
lola: CANCELED task # 51 (type SRCH) for Medical-PT-24-ReachabilityCardinality-00 (obsolete)
lola: CANCELED task # 52 (type EXCL) for Medical-PT-24-ReachabilityCardinality-00 (obsolete)
lola: FINISHED task # 4 (type CNST) for Medical-PT-24-ReachabilityCardinality-01
lola: result : false
lola: FINISHED task # 48 (type FNDP) for Medical-PT-24-ReachabilityCardinality-00
lola: result : unknown
lola: fired transitions : 9859
lola: tried executions : 627
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH INITIAL
lola: LAUNCH task # 25 (type CNST) for 24 Medical-PT-24-ReachabilityCardinality-08
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 31 (type CNST) for 30 Medical-PT-24-ReachabilityCardinality-10
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 28 (type CNST) for Medical-PT-24-ReachabilityCardinality-09
lola: result : true
lola: FINISHED task # 43 (type CNST) for Medical-PT-24-ReachabilityCardinality-14
lola: result : true
lola: FINISHED task # 22 (type CNST) for Medical-PT-24-ReachabilityCardinality-07
lola: result : true
lola: LAUNCH task # 71 (type EXCL) for 45 Medical-PT-24-ReachabilityCardinality-15
lola: time limit : 399 sec
lola: memory limit: 32 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 40 (type CNST) for 39 Medical-PT-24-ReachabilityCardinality-13
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 25 (type CNST) for Medical-PT-24-ReachabilityCardinality-08
lola: result : false
lola: FINISHED task # 31 (type CNST) for Medical-PT-24-ReachabilityCardinality-10
lola: result : false
lola: LAUNCH task # 55 (type FNDP) for 12 Medical-PT-24-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 40 (type CNST) for Medical-PT-24-ReachabilityCardinality-13
lola: result : false
lola: LAUNCH task # 61 (type FNDP) for 9 Medical-PT-24-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 16 (type CNST) for Medical-PT-24-ReachabilityCardinality-05
lola: result : true
lola: LAUNCH task # 56 (type EQUN) for 12 Medical-PT-24-ReachabilityCardinality-04
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
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-56.sara.
sara: place or transition ordering is non-deterministic
sara: warning, failure of lp_solve (at job 4032)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 4 1 0 1 0 0 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 3 2 0 1 0 0 0
Medical-PT-24-ReachabilityCardinality-06: INITIAL 0 0 0 0 0 0 0 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 4/899 0/5 Medical-PT-24-ReachabilityCardinality-04 2166522 t fired, 481177 attempts, .
56 EF STEQ 4/899 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 4/899 0/5 Medical-PT-24-ReachabilityCardinality-03 1435393 t fired, 148423 attempts, .
71 EF EXCL 4/899 15/32 Medical-PT-24-ReachabilityCardinality-15 3217313 m, 643462 m/sec, 3217324 t fired, .
Time elapsed: 5 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH INITIAL
lola: LAUNCH task # 19 (type CNST) for 18 Medical-PT-24-ReachabilityCardinality-06
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 19 (type CNST) for Medical-PT-24-ReachabilityCardinality-06
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 4 1 0 1 0 0 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 3 2 0 1 0 0 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 9/895 0/5 Medical-PT-24-ReachabilityCardinality-04 4724200 t fired, 1049294 attempts, .
56 EF STEQ 9/895 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 9/895 0/5 Medical-PT-24-ReachabilityCardinality-03 3160221 t fired, 326982 attempts, .
71 EF EXCL 9/1199 32/32 Medical-PT-24-ReachabilityCardinality-15 6787382 m, 714013 m/sec, 6787393 t fired, .
Time elapsed: 10 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 71 (type EXCL) for Medical-PT-24-ReachabilityCardinality-15 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 4 1 0 1 0 0 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 3 2 0 1 0 0 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 14/890 0/5 Medical-PT-24-ReachabilityCardinality-04 7271894 t fired, 1615065 attempts, .
56 EF STEQ 14/890 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 14/890 0/5 Medical-PT-24-ReachabilityCardinality-03 4891744 t fired, 505775 attempts, .
Time elapsed: 15 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 65 (type EXCL) for 9 Medical-PT-24-ReachabilityCardinality-03
lola: time limit : 1792 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 2 0 1 0 0 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 3 2 0 1 0 0 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 19/885 0/5 Medical-PT-24-ReachabilityCardinality-04 9825196 t fired, 2182453 attempts, .
56 EF STEQ 19/885 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 19/885 0/5 Medical-PT-24-ReachabilityCardinality-03 6627002 t fired, 684921 attempts, .
65 EF EXCL 5/1792 19/32 Medical-PT-24-ReachabilityCardinality-03 4056872 m, 811374 m/sec, 4056883 t fired, .
Time elapsed: 20 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 65 (type EXCL) for Medical-PT-24-ReachabilityCardinality-03 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 3 2 0 1 0 0 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 24/880 0/5 Medical-PT-24-ReachabilityCardinality-04 12376177 t fired, 2749038 attempts, .
56 EF STEQ 24/880 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 24/880 0/5 Medical-PT-24-ReachabilityCardinality-03 8363486 t fired, 864090 attempts, .
Time elapsed: 25 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 59 (type EXCL) for 12 Medical-PT-24-ReachabilityCardinality-04
lola: time limit : 3575 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 3 0 1 0 0 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 29/875 0/5 Medical-PT-24-ReachabilityCardinality-04 14920760 t fired, 3314206 attempts, .
56 EF STEQ 29/875 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
59 EF EXCL 5/3575 19/32 Medical-PT-24-ReachabilityCardinality-04 4005092 m, 801018 m/sec, 4005103 t fired, .
61 EF FNDP 29/875 0/5 Medical-PT-24-ReachabilityCardinality-03 10093813 t fired, 1042852 attempts, .
Time elapsed: 30 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 59 (type EXCL) for Medical-PT-24-ReachabilityCardinality-04 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 34/870 0/5 Medical-PT-24-ReachabilityCardinality-04 17470772 t fired, 3881000 attempts, .
56 EF STEQ 34/870 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 34/870 0/5 Medical-PT-24-ReachabilityCardinality-03 11827839 t fired, 1222145 attempts, .
Time elapsed: 35 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 67 (type FNDP) for 45 Medical-PT-24-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 39/1165 0/5 Medical-PT-24-ReachabilityCardinality-04 19419877 t fired, 4313709 attempts, .
56 EF STEQ 39/1165 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 39/1165 0/5 Medical-PT-24-ReachabilityCardinality-03 13317427 t fired, 1375957 attempts, .
67 EF FNDP 5/1188 0/5 Medical-PT-24-ReachabilityCardinality-15 885010 t fired, 10906 attempts, .
Time elapsed: 40 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 44/1160 0/5 Medical-PT-24-ReachabilityCardinality-04 21346947 t fired, 4741949 attempts, .
56 EF STEQ 44/1160 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 44/1160 0/5 Medical-PT-24-ReachabilityCardinality-03 14794061 t fired, 1528270 attempts, .
67 EF FNDP 10/1183 0/5 Medical-PT-24-ReachabilityCardinality-15 1735445 t fired, 21702 attempts, .
Time elapsed: 45 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 49/1155 0/5 Medical-PT-24-ReachabilityCardinality-04 23262361 t fired, 5167407 attempts, .
56 EF STEQ 49/1155 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 49/1155 0/5 Medical-PT-24-ReachabilityCardinality-03 16268513 t fired, 1680313 attempts, .
67 EF FNDP 15/1178 0/5 Medical-PT-24-ReachabilityCardinality-15 2576741 t fired, 31849 attempts, .
Time elapsed: 50 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 54/1150 0/5 Medical-PT-24-ReachabilityCardinality-04 25173903 t fired, 5592013 attempts, .
56 EF STEQ 54/1150 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 54/1150 0/5 Medical-PT-24-ReachabilityCardinality-03 17741815 t fired, 1832268 attempts, .
67 EF FNDP 20/1173 0/5 Medical-PT-24-ReachabilityCardinality-15 3412866 t fired, 41953 attempts, .
Time elapsed: 55 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 59/1145 0/5 Medical-PT-24-ReachabilityCardinality-04 27083277 t fired, 6016016 attempts, .
56 EF STEQ 59/1145 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 59/1145 0/5 Medical-PT-24-ReachabilityCardinality-03 19209308 t fired, 1983663 attempts, .
67 EF FNDP 25/1168 0/5 Medical-PT-24-ReachabilityCardinality-15 4249994 t fired, 51855 attempts, .
Time elapsed: 60 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 64/1140 0/5 Medical-PT-24-ReachabilityCardinality-04 28991161 t fired, 6439886 attempts, .
56 EF STEQ 64/1140 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 64/1140 0/5 Medical-PT-24-ReachabilityCardinality-03 20674086 t fired, 2134501 attempts, .
67 EF FNDP 30/1163 0/5 Medical-PT-24-ReachabilityCardinality-15 5083427 t fired, 61513 attempts, .
Time elapsed: 65 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 69/1135 0/5 Medical-PT-24-ReachabilityCardinality-04 30899185 t fired, 6863616 attempts, .
56 EF STEQ 69/1135 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 69/1135 0/5 Medical-PT-24-ReachabilityCardinality-03 22144814 t fired, 2286098 attempts, .
67 EF FNDP 35/1158 0/5 Medical-PT-24-ReachabilityCardinality-15 5915683 t fired, 71231 attempts, .
Time elapsed: 70 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 74/1130 0/5 Medical-PT-24-ReachabilityCardinality-04 32804067 t fired, 7286815 attempts, .
56 EF STEQ 74/1130 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 74/1130 0/5 Medical-PT-24-ReachabilityCardinality-03 23612557 t fired, 2437327 attempts, .
67 EF FNDP 40/1153 0/5 Medical-PT-24-ReachabilityCardinality-15 6745150 t fired, 80839 attempts, .
Time elapsed: 75 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 79/1125 0/5 Medical-PT-24-ReachabilityCardinality-04 34707266 t fired, 7709485 attempts, .
56 EF STEQ 79/1125 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 79/1125 0/5 Medical-PT-24-ReachabilityCardinality-03 25077734 t fired, 2588755 attempts, .
67 EF FNDP 45/1148 0/5 Medical-PT-24-ReachabilityCardinality-15 7574467 t fired, 90314 attempts, .
Time elapsed: 80 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 84/1120 0/5 Medical-PT-24-ReachabilityCardinality-04 36604774 t fired, 8130867 attempts, .
56 EF STEQ 84/1120 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 84/1120 0/5 Medical-PT-24-ReachabilityCardinality-03 26543378 t fired, 2739985 attempts, .
67 EF FNDP 50/1143 0/5 Medical-PT-24-ReachabilityCardinality-15 8401950 t fired, 99807 attempts, .
Time elapsed: 85 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 89/1115 0/5 Medical-PT-24-ReachabilityCardinality-04 38461807 t fired, 8543622 attempts, .
56 EF STEQ 89/1115 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 89/1115 0/5 Medical-PT-24-ReachabilityCardinality-03 27990565 t fired, 2889088 attempts, .
67 EF FNDP 55/1138 0/5 Medical-PT-24-ReachabilityCardinality-15 9231738 t fired, 109252 attempts, .
Time elapsed: 90 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 94/1110 0/5 Medical-PT-24-ReachabilityCardinality-04 40369602 t fired, 8967467 attempts, .
56 EF STEQ 94/1110 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 94/1110 0/5 Medical-PT-24-ReachabilityCardinality-03 29457993 t fired, 3040266 attempts, .
67 EF FNDP 60/1133 0/5 Medical-PT-24-ReachabilityCardinality-15 10059040 t fired, 118696 attempts, .
Time elapsed: 95 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 99/1105 0/5 Medical-PT-24-ReachabilityCardinality-04 42276706 t fired, 9390942 attempts, .
56 EF STEQ 99/1105 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 99/1105 0/5 Medical-PT-24-ReachabilityCardinality-03 30921986 t fired, 3191474 attempts, .
67 EF FNDP 65/1128 0/5 Medical-PT-24-ReachabilityCardinality-15 10886490 t fired, 127875 attempts, .
Time elapsed: 100 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 104/1100 0/5 Medical-PT-24-ReachabilityCardinality-04 44186082 t fired, 9815402 attempts, .
56 EF STEQ 104/1100 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 104/1100 0/5 Medical-PT-24-ReachabilityCardinality-03 32386615 t fired, 3342638 attempts, .
67 EF FNDP 70/1123 0/5 Medical-PT-24-ReachabilityCardinality-15 11713626 t fired, 137194 attempts, .
Time elapsed: 105 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 109/1095 0/5 Medical-PT-24-ReachabilityCardinality-04 46097311 t fired, 10239964 attempts, .
56 EF STEQ 109/1095 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 109/1095 0/5 Medical-PT-24-ReachabilityCardinality-03 33836670 t fired, 3492303 attempts, .
67 EF FNDP 75/1118 0/5 Medical-PT-24-ReachabilityCardinality-15 12542153 t fired, 146350 attempts, .
Time elapsed: 110 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 114/1090 0/5 Medical-PT-24-ReachabilityCardinality-04 48009070 t fired, 10664304 attempts, .
56 EF STEQ 114/1090 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 114/1090 0/5 Medical-PT-24-ReachabilityCardinality-03 35285202 t fired, 3641802 attempts, .
67 EF FNDP 80/1113 0/5 Medical-PT-24-ReachabilityCardinality-15 13368145 t fired, 155532 attempts, .
Time elapsed: 115 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 119/1085 0/5 Medical-PT-24-ReachabilityCardinality-04 49919038 t fired, 11088520 attempts, .
56 EF STEQ 119/1085 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 119/1085 0/5 Medical-PT-24-ReachabilityCardinality-03 36726297 t fired, 3790886 attempts, .
67 EF FNDP 85/1108 0/5 Medical-PT-24-ReachabilityCardinality-15 14195311 t fired, 164751 attempts, .
Time elapsed: 120 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 124/1080 0/5 Medical-PT-24-ReachabilityCardinality-04 51832069 t fired, 11513548 attempts, .
56 EF STEQ 124/1080 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 124/1080 0/5 Medical-PT-24-ReachabilityCardinality-03 38167435 t fired, 3939450 attempts, .
67 EF FNDP 90/1103 0/5 Medical-PT-24-ReachabilityCardinality-15 15020395 t fired, 173895 attempts, .
Time elapsed: 125 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 129/1075 0/5 Medical-PT-24-ReachabilityCardinality-04 53744388 t fired, 11938258 attempts, .
56 EF STEQ 129/1075 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 129/1075 0/5 Medical-PT-24-ReachabilityCardinality-03 39605823 t fired, 4087914 attempts, .
67 EF FNDP 95/1098 0/5 Medical-PT-24-ReachabilityCardinality-15 15846596 t fired, 182918 attempts, .
Time elapsed: 130 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 134/1070 0/5 Medical-PT-24-ReachabilityCardinality-04 55657111 t fired, 12363138 attempts, .
56 EF STEQ 134/1070 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 134/1070 0/5 Medical-PT-24-ReachabilityCardinality-03 41043323 t fired, 4236262 attempts, .
67 EF FNDP 100/1093 0/5 Medical-PT-24-ReachabilityCardinality-15 16672953 t fired, 191991 attempts, .
Time elapsed: 135 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 139/1065 0/5 Medical-PT-24-ReachabilityCardinality-04 57570239 t fired, 12787913 attempts, .
56 EF STEQ 139/1065 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 139/1065 0/5 Medical-PT-24-ReachabilityCardinality-03 42479075 t fired, 4384513 attempts, .
67 EF FNDP 105/1088 0/5 Medical-PT-24-ReachabilityCardinality-15 17501252 t fired, 201143 attempts, .
Time elapsed: 140 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 144/1060 0/5 Medical-PT-24-ReachabilityCardinality-04 59488688 t fired, 13214306 attempts, .
56 EF STEQ 144/1060 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 144/1060 0/5 Medical-PT-24-ReachabilityCardinality-03 43915541 t fired, 4532976 attempts, .
67 EF FNDP 110/1083 0/5 Medical-PT-24-ReachabilityCardinality-15 18331042 t fired, 210227 attempts, .
Time elapsed: 145 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 149/1055 0/5 Medical-PT-24-ReachabilityCardinality-04 61402074 t fired, 13639129 attempts, .
56 EF STEQ 149/1055 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 149/1055 0/5 Medical-PT-24-ReachabilityCardinality-03 45351271 t fired, 4681066 attempts, .
67 EF FNDP 115/1078 0/5 Medical-PT-24-ReachabilityCardinality-15 19157045 t fired, 219323 attempts, .
Time elapsed: 150 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 154/1050 0/5 Medical-PT-24-ReachabilityCardinality-04 63316849 t fired, 14064416 attempts, .
56 EF STEQ 154/1050 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 154/1050 0/5 Medical-PT-24-ReachabilityCardinality-03 46787710 t fired, 4829718 attempts, .
67 EF FNDP 120/1073 0/5 Medical-PT-24-ReachabilityCardinality-15 19983170 t fired, 228414 attempts, .
Time elapsed: 155 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 159/1045 0/5 Medical-PT-24-ReachabilityCardinality-04 65231175 t fired, 14489414 attempts, .
56 EF STEQ 159/1045 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 159/1045 0/5 Medical-PT-24-ReachabilityCardinality-03 48226090 t fired, 4978303 attempts, .
67 EF FNDP 125/1068 0/5 Medical-PT-24-ReachabilityCardinality-15 20810112 t fired, 237471 attempts, .
Time elapsed: 160 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 164/1040 0/5 Medical-PT-24-ReachabilityCardinality-04 67143596 t fired, 14913964 attempts, .
56 EF STEQ 164/1040 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 164/1040 0/5 Medical-PT-24-ReachabilityCardinality-03 49664082 t fired, 5126550 attempts, .
67 EF FNDP 130/1063 0/5 Medical-PT-24-ReachabilityCardinality-15 21636528 t fired, 246468 attempts, .
Time elapsed: 165 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 169/1035 0/5 Medical-PT-24-ReachabilityCardinality-04 69052142 t fired, 15338068 attempts, .
56 EF STEQ 169/1035 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 169/1035 0/5 Medical-PT-24-ReachabilityCardinality-03 51126071 t fired, 5277314 attempts, .
67 EF FNDP 135/1058 0/5 Medical-PT-24-ReachabilityCardinality-15 22461492 t fired, 255488 attempts, .
Time elapsed: 170 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 174/1030 0/5 Medical-PT-24-ReachabilityCardinality-04 70958751 t fired, 15761472 attempts, .
56 EF STEQ 174/1030 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 174/1030 0/5 Medical-PT-24-ReachabilityCardinality-03 52586715 t fired, 5428094 attempts, .
67 EF FNDP 140/1053 0/5 Medical-PT-24-ReachabilityCardinality-15 23286406 t fired, 264520 attempts, .
Time elapsed: 175 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 179/1025 0/5 Medical-PT-24-ReachabilityCardinality-04 72864921 t fired, 16184902 attempts, .
56 EF STEQ 179/1025 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 179/1025 0/5 Medical-PT-24-ReachabilityCardinality-03 54052979 t fired, 5579300 attempts, .
67 EF FNDP 145/1048 0/5 Medical-PT-24-ReachabilityCardinality-15 24108816 t fired, 273440 attempts, .
Time elapsed: 180 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 184/1020 0/5 Medical-PT-24-ReachabilityCardinality-04 74766241 t fired, 16607573 attempts, .
56 EF STEQ 184/1020 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 184/1020 0/5 Medical-PT-24-ReachabilityCardinality-03 55519622 t fired, 5730694 attempts, .
67 EF FNDP 150/1043 0/5 Medical-PT-24-ReachabilityCardinality-15 24929690 t fired, 282409 attempts, .
Time elapsed: 185 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 189/1015 0/5 Medical-PT-24-ReachabilityCardinality-04 76665870 t fired, 17029737 attempts, .
56 EF STEQ 189/1015 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 189/1015 0/5 Medical-PT-24-ReachabilityCardinality-03 56989951 t fired, 5882400 attempts, .
67 EF FNDP 155/1038 0/5 Medical-PT-24-ReachabilityCardinality-15 25749792 t fired, 291380 attempts, .
Time elapsed: 190 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 194/1010 0/5 Medical-PT-24-ReachabilityCardinality-04 78562691 t fired, 17451324 attempts, .
56 EF STEQ 194/1010 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 194/1010 0/5 Medical-PT-24-ReachabilityCardinality-03 58461305 t fired, 6034001 attempts, .
67 EF FNDP 160/1033 0/5 Medical-PT-24-ReachabilityCardinality-15 26569649 t fired, 300305 attempts, .
Time elapsed: 195 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 199/1005 0/5 Medical-PT-24-ReachabilityCardinality-04 80466156 t fired, 17874160 attempts, .
56 EF STEQ 199/1005 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 199/1005 0/5 Medical-PT-24-ReachabilityCardinality-03 59927549 t fired, 6185394 attempts, .
67 EF FNDP 165/1028 0/5 Medical-PT-24-ReachabilityCardinality-15 27391755 t fired, 309195 attempts, .
Time elapsed: 200 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 204/1000 0/5 Medical-PT-24-ReachabilityCardinality-04 82371503 t fired, 18297004 attempts, .
56 EF STEQ 204/1000 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 204/1000 0/5 Medical-PT-24-ReachabilityCardinality-03 61390395 t fired, 6336413 attempts, .
67 EF FNDP 170/1023 0/5 Medical-PT-24-ReachabilityCardinality-15 28215205 t fired, 318085 attempts, .
Time elapsed: 205 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 209/995 0/5 Medical-PT-24-ReachabilityCardinality-04 84276412 t fired, 18720272 attempts, .
56 EF STEQ 209/995 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 209/995 0/5 Medical-PT-24-ReachabilityCardinality-03 62859654 t fired, 6488009 attempts, .
67 EF FNDP 175/1018 0/5 Medical-PT-24-ReachabilityCardinality-15 29036202 t fired, 326947 attempts, .
Time elapsed: 210 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 214/990 0/5 Medical-PT-24-ReachabilityCardinality-04 86174370 t fired, 19141665 attempts, .
56 EF STEQ 214/990 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 214/990 0/5 Medical-PT-24-ReachabilityCardinality-03 64329675 t fired, 6639549 attempts, .
67 EF FNDP 180/1013 0/5 Medical-PT-24-ReachabilityCardinality-15 29856502 t fired, 335788 attempts, .
Time elapsed: 215 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 219/985 0/5 Medical-PT-24-ReachabilityCardinality-04 88071774 t fired, 19562980 attempts, .
56 EF STEQ 219/985 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 219/985 0/5 Medical-PT-24-ReachabilityCardinality-03 65799871 t fired, 6791124 attempts, .
67 EF FNDP 185/1008 0/5 Medical-PT-24-ReachabilityCardinality-15 30675562 t fired, 344631 attempts, .
Time elapsed: 220 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 224/980 0/5 Medical-PT-24-ReachabilityCardinality-04 89967367 t fired, 19983924 attempts, .
56 EF STEQ 224/980 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 224/980 0/5 Medical-PT-24-ReachabilityCardinality-03 67267086 t fired, 6942453 attempts, .
67 EF FNDP 190/1003 0/5 Medical-PT-24-ReachabilityCardinality-15 31494695 t fired, 353496 attempts, .
Time elapsed: 225 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 229/975 0/5 Medical-PT-24-ReachabilityCardinality-04 91864472 t fired, 20405120 attempts, .
56 EF STEQ 229/975 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 229/975 0/5 Medical-PT-24-ReachabilityCardinality-03 68726965 t fired, 7093093 attempts, .
67 EF FNDP 195/998 0/5 Medical-PT-24-ReachabilityCardinality-15 32312797 t fired, 362485 attempts, .
Time elapsed: 230 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 234/970 0/5 Medical-PT-24-ReachabilityCardinality-04 93767276 t fired, 20827633 attempts, .
56 EF STEQ 234/970 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 234/970 0/5 Medical-PT-24-ReachabilityCardinality-03 70186700 t fired, 7243871 attempts, .
67 EF FNDP 200/993 0/5 Medical-PT-24-ReachabilityCardinality-15 33134620 t fired, 371355 attempts, .
Time elapsed: 235 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 239/965 0/5 Medical-PT-24-ReachabilityCardinality-04 95664233 t fired, 21249346 attempts, .
56 EF STEQ 239/965 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 239/965 0/5 Medical-PT-24-ReachabilityCardinality-03 71653650 t fired, 7395180 attempts, .
67 EF FNDP 205/988 0/5 Medical-PT-24-ReachabilityCardinality-15 33953502 t fired, 380253 attempts, .
Time elapsed: 240 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 244/960 0/5 Medical-PT-24-ReachabilityCardinality-04 97559575 t fired, 21670524 attempts, .
56 EF STEQ 244/960 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 244/960 0/5 Medical-PT-24-ReachabilityCardinality-03 73117366 t fired, 7546258 attempts, .
67 EF FNDP 210/983 0/5 Medical-PT-24-ReachabilityCardinality-15 34772586 t fired, 389138 attempts, .
Time elapsed: 245 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 249/955 0/5 Medical-PT-24-ReachabilityCardinality-04 99454441 t fired, 22091504 attempts, .
56 EF STEQ 249/955 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 249/955 0/5 Medical-PT-24-ReachabilityCardinality-03 74580952 t fired, 7697206 attempts, .
67 EF FNDP 215/978 0/5 Medical-PT-24-ReachabilityCardinality-15 35591922 t fired, 397949 attempts, .
Time elapsed: 250 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 254/950 0/5 Medical-PT-24-ReachabilityCardinality-04 101360439 t fired, 22514856 attempts, .
56 EF STEQ 254/950 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 254/950 0/5 Medical-PT-24-ReachabilityCardinality-03 76036210 t fired, 7847520 attempts, .
67 EF FNDP 220/973 0/5 Medical-PT-24-ReachabilityCardinality-15 36414839 t fired, 406771 attempts, .
Time elapsed: 255 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 259/945 0/5 Medical-PT-24-ReachabilityCardinality-04 103268615 t fired, 22938704 attempts, .
56 EF STEQ 259/945 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 259/945 0/5 Medical-PT-24-ReachabilityCardinality-03 77497300 t fired, 7998123 attempts, .
67 EF FNDP 225/968 0/5 Medical-PT-24-ReachabilityCardinality-15 37238571 t fired, 415582 attempts, .
Time elapsed: 260 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 264/940 0/5 Medical-PT-24-ReachabilityCardinality-04 105172211 t fired, 23361400 attempts, .
56 EF STEQ 264/940 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 264/940 0/5 Medical-PT-24-ReachabilityCardinality-03 78962255 t fired, 8149317 attempts, .
67 EF FNDP 230/963 0/5 Medical-PT-24-ReachabilityCardinality-15 38060370 t fired, 424418 attempts, .
Time elapsed: 265 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 269/935 0/5 Medical-PT-24-ReachabilityCardinality-04 107073365 t fired, 23784007 attempts, .
56 EF STEQ 269/935 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 269/935 0/5 Medical-PT-24-ReachabilityCardinality-03 80425190 t fired, 8300353 attempts, .
67 EF FNDP 235/958 0/5 Medical-PT-24-ReachabilityCardinality-15 38880952 t fired, 433223 attempts, .
Time elapsed: 270 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 274/930 0/5 Medical-PT-24-ReachabilityCardinality-04 108980426 t fired, 24207559 attempts, .
56 EF STEQ 274/930 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 274/930 0/5 Medical-PT-24-ReachabilityCardinality-03 81875903 t fired, 8450151 attempts, .
67 EF FNDP 240/953 0/5 Medical-PT-24-ReachabilityCardinality-15 39704449 t fired, 442092 attempts, .
Time elapsed: 275 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 279/925 0/5 Medical-PT-24-ReachabilityCardinality-04 110884795 t fired, 24630552 attempts, .
56 EF STEQ 279/925 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 279/925 0/5 Medical-PT-24-ReachabilityCardinality-03 83334151 t fired, 8600613 attempts, .
67 EF FNDP 245/948 0/5 Medical-PT-24-ReachabilityCardinality-15 40527043 t fired, 450975 attempts, .
Time elapsed: 280 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 284/920 0/5 Medical-PT-24-ReachabilityCardinality-04 112789772 t fired, 25053589 attempts, .
56 EF STEQ 284/920 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 284/920 0/5 Medical-PT-24-ReachabilityCardinality-03 84797194 t fired, 8751582 attempts, .
67 EF FNDP 250/943 0/5 Medical-PT-24-ReachabilityCardinality-15 41349445 t fired, 459741 attempts, .
Time elapsed: 285 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 289/915 0/5 Medical-PT-24-ReachabilityCardinality-04 114701390 t fired, 25478196 attempts, .
56 EF STEQ 289/915 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 289/915 0/5 Medical-PT-24-ReachabilityCardinality-03 86257970 t fired, 8902343 attempts, .
67 EF FNDP 255/938 0/5 Medical-PT-24-ReachabilityCardinality-15 42173702 t fired, 468663 attempts, .
Time elapsed: 290 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 294/910 0/5 Medical-PT-24-ReachabilityCardinality-04 116609211 t fired, 25902013 attempts, .
56 EF STEQ 294/910 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 294/910 0/5 Medical-PT-24-ReachabilityCardinality-03 87719793 t fired, 9053295 attempts, .
67 EF FNDP 260/933 0/5 Medical-PT-24-ReachabilityCardinality-15 42997496 t fired, 477559 attempts, .
Time elapsed: 295 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 299/905 0/5 Medical-PT-24-ReachabilityCardinality-04 118520801 t fired, 26326419 attempts, .
56 EF STEQ 299/905 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 299/905 0/5 Medical-PT-24-ReachabilityCardinality-03 89169356 t fired, 9202683 attempts, .
67 EF FNDP 265/928 0/5 Medical-PT-24-ReachabilityCardinality-15 43823286 t fired, 486407 attempts, .
Time elapsed: 300 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 304/900 0/5 Medical-PT-24-ReachabilityCardinality-04 120436899 t fired, 26752315 attempts, .
56 EF STEQ 304/900 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 304/900 0/5 Medical-PT-24-ReachabilityCardinality-03 90604805 t fired, 9350982 attempts, .
67 EF FNDP 270/923 0/5 Medical-PT-24-ReachabilityCardinality-15 44650490 t fired, 495255 attempts, .
Time elapsed: 305 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 309/895 0/5 Medical-PT-24-ReachabilityCardinality-04 122360437 t fired, 27179759 attempts, .
56 EF STEQ 309/895 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 309/895 0/5 Medical-PT-24-ReachabilityCardinality-03 92040680 t fired, 9499135 attempts, .
67 EF FNDP 275/918 0/5 Medical-PT-24-ReachabilityCardinality-15 45481134 t fired, 504222 attempts, .
Time elapsed: 310 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 314/890 0/5 Medical-PT-24-ReachabilityCardinality-04 124278415 t fired, 27605463 attempts, .
56 EF STEQ 314/890 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 314/890 0/5 Medical-PT-24-ReachabilityCardinality-03 93474581 t fired, 9646982 attempts, .
67 EF FNDP 280/913 0/5 Medical-PT-24-ReachabilityCardinality-15 46309526 t fired, 513128 attempts, .
Time elapsed: 315 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 319/885 0/5 Medical-PT-24-ReachabilityCardinality-04 126200182 t fired, 28032462 attempts, .
56 EF STEQ 319/885 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 319/885 0/5 Medical-PT-24-ReachabilityCardinality-03 94908455 t fired, 9794834 attempts, .
67 EF FNDP 285/908 0/5 Medical-PT-24-ReachabilityCardinality-15 47139359 t fired, 522104 attempts, .
Time elapsed: 320 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 324/880 0/5 Medical-PT-24-ReachabilityCardinality-04 128121540 t fired, 28459056 attempts, .
56 EF STEQ 324/880 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 324/880 0/5 Medical-PT-24-ReachabilityCardinality-03 96335448 t fired, 9942220 attempts, .
67 EF FNDP 290/903 0/5 Medical-PT-24-ReachabilityCardinality-15 47969911 t fired, 530955 attempts, .
Time elapsed: 325 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 329/875 0/5 Medical-PT-24-ReachabilityCardinality-04 130037636 t fired, 28884612 attempts, .
56 EF STEQ 329/875 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 329/875 0/5 Medical-PT-24-ReachabilityCardinality-03 97768841 t fired, 10089980 attempts, .
67 EF FNDP 295/898 0/5 Medical-PT-24-ReachabilityCardinality-15 48798640 t fired, 539857 attempts, .
Time elapsed: 330 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 334/870 0/5 Medical-PT-24-ReachabilityCardinality-04 131947070 t fired, 29308625 attempts, .
56 EF STEQ 334/870 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 334/870 0/5 Medical-PT-24-ReachabilityCardinality-03 99213004 t fired, 10239023 attempts, .
67 EF FNDP 300/893 0/5 Medical-PT-24-ReachabilityCardinality-15 49623696 t fired, 548701 attempts, .
Time elapsed: 335 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 339/865 0/5 Medical-PT-24-ReachabilityCardinality-04 133849053 t fired, 29731224 attempts, .
56 EF STEQ 339/865 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 339/865 0/5 Medical-PT-24-ReachabilityCardinality-03 100672011 t fired, 10389712 attempts, .
67 EF FNDP 305/888 0/5 Medical-PT-24-ReachabilityCardinality-15 50445637 t fired, 557485 attempts, .
Time elapsed: 340 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 344/860 0/5 Medical-PT-24-ReachabilityCardinality-04 135754134 t fired, 30154515 attempts, .
56 EF STEQ 344/860 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 344/860 0/5 Medical-PT-24-ReachabilityCardinality-03 102130079 t fired, 10540092 attempts, .
67 EF FNDP 310/883 0/5 Medical-PT-24-ReachabilityCardinality-15 51268826 t fired, 566253 attempts, .
Time elapsed: 345 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 349/855 0/5 Medical-PT-24-ReachabilityCardinality-04 137659776 t fired, 30577672 attempts, .
56 EF STEQ 349/855 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 349/855 0/5 Medical-PT-24-ReachabilityCardinality-03 103589677 t fired, 10690709 attempts, .
67 EF FNDP 315/878 0/5 Medical-PT-24-ReachabilityCardinality-15 52092742 t fired, 575023 attempts, .
Time elapsed: 350 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 354/850 0/5 Medical-PT-24-ReachabilityCardinality-04 139566876 t fired, 31001327 attempts, .
56 EF STEQ 354/850 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 354/850 0/5 Medical-PT-24-ReachabilityCardinality-03 105046146 t fired, 10840924 attempts, .
67 EF FNDP 320/873 0/5 Medical-PT-24-ReachabilityCardinality-15 52917282 t fired, 583858 attempts, .
Time elapsed: 355 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 359/845 0/5 Medical-PT-24-ReachabilityCardinality-04 141476173 t fired, 31425609 attempts, .
56 EF STEQ 359/845 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 359/845 0/5 Medical-PT-24-ReachabilityCardinality-03 106505039 t fired, 10991545 attempts, .
67 EF FNDP 325/868 0/5 Medical-PT-24-ReachabilityCardinality-15 53741020 t fired, 592694 attempts, .
Time elapsed: 360 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 364/840 0/5 Medical-PT-24-ReachabilityCardinality-04 143376834 t fired, 31847641 attempts, .
56 EF STEQ 364/840 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 364/840 0/5 Medical-PT-24-ReachabilityCardinality-03 107963300 t fired, 11141706 attempts, .
67 EF FNDP 330/863 0/5 Medical-PT-24-ReachabilityCardinality-15 54562819 t fired, 601374 attempts, .
Time elapsed: 365 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 369/835 0/5 Medical-PT-24-ReachabilityCardinality-04 145274968 t fired, 32269534 attempts, .
56 EF STEQ 369/835 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 369/835 0/5 Medical-PT-24-ReachabilityCardinality-03 109419733 t fired, 11291784 attempts, .
67 EF FNDP 335/858 0/5 Medical-PT-24-ReachabilityCardinality-15 55384713 t fired, 610067 attempts, .
Time elapsed: 370 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 374/830 0/5 Medical-PT-24-ReachabilityCardinality-04 147170004 t fired, 32690596 attempts, .
56 EF STEQ 374/830 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 374/830 0/5 Medical-PT-24-ReachabilityCardinality-03 110874645 t fired, 11441853 attempts, .
67 EF FNDP 340/853 0/5 Medical-PT-24-ReachabilityCardinality-15 56205774 t fired, 618911 attempts, .
Time elapsed: 375 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 379/825 0/5 Medical-PT-24-ReachabilityCardinality-04 149063495 t fired, 33111261 attempts, .
56 EF STEQ 379/825 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 379/825 0/5 Medical-PT-24-ReachabilityCardinality-03 112334682 t fired, 11592364 attempts, .
67 EF FNDP 345/848 0/5 Medical-PT-24-ReachabilityCardinality-15 57026328 t fired, 627534 attempts, .
Time elapsed: 380 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 384/820 0/5 Medical-PT-24-ReachabilityCardinality-04 150958240 t fired, 33532022 attempts, .
56 EF STEQ 384/820 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 384/820 0/5 Medical-PT-24-ReachabilityCardinality-03 113796125 t fired, 11743103 attempts, .
67 EF FNDP 350/843 0/5 Medical-PT-24-ReachabilityCardinality-15 57845688 t fired, 636217 attempts, .
Time elapsed: 385 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 389/815 0/5 Medical-PT-24-ReachabilityCardinality-04 152854793 t fired, 33952938 attempts, .
56 EF STEQ 389/815 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 389/815 0/5 Medical-PT-24-ReachabilityCardinality-03 115254106 t fired, 11893748 attempts, .
67 EF FNDP 355/838 0/5 Medical-PT-24-ReachabilityCardinality-15 58668353 t fired, 645032 attempts, .
Time elapsed: 390 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 394/810 0/5 Medical-PT-24-ReachabilityCardinality-04 154744532 t fired, 34372818 attempts, .
56 EF STEQ 394/810 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 394/810 0/5 Medical-PT-24-ReachabilityCardinality-03 116713883 t fired, 12044148 attempts, .
67 EF FNDP 360/833 0/5 Medical-PT-24-ReachabilityCardinality-15 59488708 t fired, 653797 attempts, .
Time elapsed: 395 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 399/805 0/5 Medical-PT-24-ReachabilityCardinality-04 156642578 t fired, 34794283 attempts, .
56 EF STEQ 399/805 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 399/805 0/5 Medical-PT-24-ReachabilityCardinality-03 118165909 t fired, 12193918 attempts, .
67 EF FNDP 365/828 0/5 Medical-PT-24-ReachabilityCardinality-15 60312217 t fired, 662535 attempts, .
Time elapsed: 400 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 404/800 0/5 Medical-PT-24-ReachabilityCardinality-04 158548277 t fired, 35217338 attempts, .
56 EF STEQ 404/800 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 404/800 0/5 Medical-PT-24-ReachabilityCardinality-03 119626590 t fired, 12344614 attempts, .
67 EF FNDP 370/823 0/5 Medical-PT-24-ReachabilityCardinality-15 61136270 t fired, 671329 attempts, .
Time elapsed: 405 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 409/795 0/5 Medical-PT-24-ReachabilityCardinality-04 160455654 t fired, 35640816 attempts, .
56 EF STEQ 409/795 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 409/795 0/5 Medical-PT-24-ReachabilityCardinality-03 121084040 t fired, 12494959 attempts, .
67 EF FNDP 375/818 0/5 Medical-PT-24-ReachabilityCardinality-15 61959417 t fired, 680052 attempts, .
Time elapsed: 410 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 414/790 0/5 Medical-PT-24-ReachabilityCardinality-04 162361999 t fired, 36064289 attempts, .
56 EF STEQ 414/790 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 414/790 0/5 Medical-PT-24-ReachabilityCardinality-03 122543768 t fired, 12645473 attempts, .
67 EF FNDP 380/813 0/5 Medical-PT-24-ReachabilityCardinality-15 62782974 t fired, 688735 attempts, .
Time elapsed: 415 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 419/785 0/5 Medical-PT-24-ReachabilityCardinality-04 164261471 t fired, 36485993 attempts, .
56 EF STEQ 419/785 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 419/785 0/5 Medical-PT-24-ReachabilityCardinality-03 124000692 t fired, 12795863 attempts, .
67 EF FNDP 385/808 0/5 Medical-PT-24-ReachabilityCardinality-15 63603894 t fired, 697492 attempts, .
Time elapsed: 420 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 424/780 0/5 Medical-PT-24-ReachabilityCardinality-04 166167493 t fired, 36909538 attempts, .
56 EF STEQ 424/780 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 424/780 0/5 Medical-PT-24-ReachabilityCardinality-03 125457644 t fired, 12946438 attempts, .
67 EF FNDP 390/803 0/5 Medical-PT-24-ReachabilityCardinality-15 64426335 t fired, 706239 attempts, .
Time elapsed: 425 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 429/775 0/5 Medical-PT-24-ReachabilityCardinality-04 168067214 t fired, 37331807 attempts, .
56 EF STEQ 429/775 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 429/775 0/5 Medical-PT-24-ReachabilityCardinality-03 126918700 t fired, 13097115 attempts, .
67 EF FNDP 395/798 0/5 Medical-PT-24-ReachabilityCardinality-15 65245302 t fired, 715008 attempts, .
Time elapsed: 430 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 434/770 0/5 Medical-PT-24-ReachabilityCardinality-04 169967867 t fired, 37753851 attempts, .
56 EF STEQ 434/770 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 434/770 0/5 Medical-PT-24-ReachabilityCardinality-03 128382445 t fired, 13248078 attempts, .
67 EF FNDP 400/793 0/5 Medical-PT-24-ReachabilityCardinality-15 66066492 t fired, 723739 attempts, .
Time elapsed: 435 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 439/765 0/5 Medical-PT-24-ReachabilityCardinality-04 171865097 t fired, 38175183 attempts, .
56 EF STEQ 439/765 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 439/765 0/5 Medical-PT-24-ReachabilityCardinality-03 129846457 t fired, 13398969 attempts, .
67 EF FNDP 405/788 0/5 Medical-PT-24-ReachabilityCardinality-15 66886576 t fired, 732430 attempts, .
Time elapsed: 440 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 444/760 0/5 Medical-PT-24-ReachabilityCardinality-04 173766219 t fired, 38597442 attempts, .
56 EF STEQ 444/760 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 444/760 0/5 Medical-PT-24-ReachabilityCardinality-03 131307094 t fired, 13549662 attempts, .
67 EF FNDP 410/783 0/5 Medical-PT-24-ReachabilityCardinality-15 67706542 t fired, 741149 attempts, .
Time elapsed: 445 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 449/755 0/5 Medical-PT-24-ReachabilityCardinality-04 175659039 t fired, 39017370 attempts, .
56 EF STEQ 449/755 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 449/755 0/5 Medical-PT-24-ReachabilityCardinality-03 132772484 t fired, 13700694 attempts, .
67 EF FNDP 415/778 0/5 Medical-PT-24-ReachabilityCardinality-15 68523133 t fired, 749906 attempts, .
Time elapsed: 450 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 454/750 0/5 Medical-PT-24-ReachabilityCardinality-04 177676074 t fired, 39465528 attempts, .
56 EF STEQ 454/750 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 454/750 0/5 Medical-PT-24-ReachabilityCardinality-03 133942590 t fired, 13821269 attempts, .
67 EF FNDP 420/773 0/5 Medical-PT-24-ReachabilityCardinality-15 69364827 t fired, 758817 attempts, .
Time elapsed: 455 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 459/745 0/5 Medical-PT-24-ReachabilityCardinality-04 179920752 t fired, 39964132 attempts, .
56 EF STEQ 459/745 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 459/745 0/5 Medical-PT-24-ReachabilityCardinality-03 134657585 t fired, 13894977 attempts, .
67 EF FNDP 425/768 0/5 Medical-PT-24-ReachabilityCardinality-15 70292963 t fired, 768597 attempts, .
Time elapsed: 460 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 464/740 0/5 Medical-PT-24-ReachabilityCardinality-04 182287530 t fired, 40489797 attempts, .
56 EF STEQ 464/740 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 464/740 0/5 Medical-PT-24-ReachabilityCardinality-03 135366913 t fired, 13968280 attempts, .
67 EF FNDP 430/763 0/5 Medical-PT-24-ReachabilityCardinality-15 71243431 t fired, 778650 attempts, .
Time elapsed: 465 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 469/735 0/5 Medical-PT-24-ReachabilityCardinality-04 184583588 t fired, 40999802 attempts, .
56 EF STEQ 469/735 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 469/735 0/5 Medical-PT-24-ReachabilityCardinality-03 136067621 t fired, 14040398 attempts, .
67 EF FNDP 435/758 0/5 Medical-PT-24-ReachabilityCardinality-15 72164488 t fired, 788387 attempts, .
Time elapsed: 470 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 474/730 0/5 Medical-PT-24-ReachabilityCardinality-04 186872784 t fired, 41508668 attempts, .
56 EF STEQ 474/730 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 474/730 0/5 Medical-PT-24-ReachabilityCardinality-03 136781144 t fired, 14114188 attempts, .
67 EF FNDP 440/753 0/5 Medical-PT-24-ReachabilityCardinality-15 73082986 t fired, 798143 attempts, .
Time elapsed: 475 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 479/725 0/5 Medical-PT-24-ReachabilityCardinality-04 189151415 t fired, 42015149 attempts, .
56 EF STEQ 479/725 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 479/725 0/5 Medical-PT-24-ReachabilityCardinality-03 137500216 t fired, 14188254 attempts, .
67 EF FNDP 445/748 0/5 Medical-PT-24-ReachabilityCardinality-15 74020467 t fired, 808109 attempts, .
Time elapsed: 480 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 484/720 0/5 Medical-PT-24-ReachabilityCardinality-04 191419983 t fired, 42519301 attempts, .
56 EF STEQ 484/720 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 484/720 0/5 Medical-PT-24-ReachabilityCardinality-03 138218674 t fired, 14262544 attempts, .
67 EF FNDP 450/743 0/5 Medical-PT-24-ReachabilityCardinality-15 74939156 t fired, 817842 attempts, .
Time elapsed: 485 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 489/715 0/5 Medical-PT-24-ReachabilityCardinality-04 193690345 t fired, 43024064 attempts, .
56 EF STEQ 489/715 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 489/715 0/5 Medical-PT-24-ReachabilityCardinality-03 138927119 t fired, 14335683 attempts, .
67 EF FNDP 455/738 0/5 Medical-PT-24-ReachabilityCardinality-15 75850838 t fired, 827489 attempts, .
Time elapsed: 490 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 494/710 0/5 Medical-PT-24-ReachabilityCardinality-04 196014979 t fired, 43540733 attempts, .
56 EF STEQ 494/710 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 494/710 0/5 Medical-PT-24-ReachabilityCardinality-03 139640938 t fired, 14409365 attempts, .
67 EF FNDP 460/733 0/5 Medical-PT-24-ReachabilityCardinality-15 76787422 t fired, 837366 attempts, .
Time elapsed: 495 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 499/705 0/5 Medical-PT-24-ReachabilityCardinality-04 198356016 t fired, 44060828 attempts, .
56 EF STEQ 499/705 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 499/705 0/5 Medical-PT-24-ReachabilityCardinality-03 140349585 t fired, 14482475 attempts, .
67 EF FNDP 465/728 0/5 Medical-PT-24-ReachabilityCardinality-15 77727028 t fired, 847330 attempts, .
Time elapsed: 500 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 504/700 0/5 Medical-PT-24-ReachabilityCardinality-04 200610282 t fired, 44561651 attempts, .
56 EF STEQ 504/700 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 504/700 0/5 Medical-PT-24-ReachabilityCardinality-03 141064560 t fired, 14556155 attempts, .
67 EF FNDP 470/723 0/5 Medical-PT-24-ReachabilityCardinality-15 78636781 t fired, 857008 attempts, .
Time elapsed: 505 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 509/695 0/5 Medical-PT-24-ReachabilityCardinality-04 202798654 t fired, 45047524 attempts, .
56 EF STEQ 509/695 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 509/695 0/5 Medical-PT-24-ReachabilityCardinality-03 141970635 t fired, 14649656 attempts, .
67 EF FNDP 475/718 0/5 Medical-PT-24-ReachabilityCardinality-15 79538323 t fired, 866489 attempts, .
Time elapsed: 510 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 514/690 0/5 Medical-PT-24-ReachabilityCardinality-04 204696070 t fired, 45469106 attempts, .
56 EF STEQ 514/690 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 514/690 0/5 Medical-PT-24-ReachabilityCardinality-03 143426424 t fired, 14799736 attempts, .
67 EF FNDP 480/713 0/5 Medical-PT-24-ReachabilityCardinality-15 80357055 t fired, 875303 attempts, .
Time elapsed: 515 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 519/685 0/5 Medical-PT-24-ReachabilityCardinality-04 206598836 t fired, 45891594 attempts, .
56 EF STEQ 519/685 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 519/685 0/5 Medical-PT-24-ReachabilityCardinality-03 144884680 t fired, 14950291 attempts, .
67 EF FNDP 485/708 0/5 Medical-PT-24-ReachabilityCardinality-15 81178037 t fired, 883913 attempts, .
Time elapsed: 520 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 524/680 0/5 Medical-PT-24-ReachabilityCardinality-04 208501607 t fired, 46313807 attempts, .
56 EF STEQ 524/680 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 524/680 0/5 Medical-PT-24-ReachabilityCardinality-03 146342700 t fired, 15100654 attempts, .
67 EF FNDP 490/703 0/5 Medical-PT-24-ReachabilityCardinality-15 81998031 t fired, 892699 attempts, .
Time elapsed: 525 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 529/675 0/5 Medical-PT-24-ReachabilityCardinality-04 210406119 t fired, 46736793 attempts, .
56 EF STEQ 529/675 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 529/675 0/5 Medical-PT-24-ReachabilityCardinality-03 147803655 t fired, 15251446 attempts, .
67 EF FNDP 495/698 0/5 Medical-PT-24-ReachabilityCardinality-15 82817273 t fired, 901411 attempts, .
Time elapsed: 530 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 534/670 0/5 Medical-PT-24-ReachabilityCardinality-04 212308636 t fired, 47159495 attempts, .
56 EF STEQ 534/670 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 534/670 0/5 Medical-PT-24-ReachabilityCardinality-03 149267539 t fired, 15402414 attempts, .
67 EF FNDP 500/693 0/5 Medical-PT-24-ReachabilityCardinality-15 83638769 t fired, 910101 attempts, .
Time elapsed: 535 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 539/665 0/5 Medical-PT-24-ReachabilityCardinality-04 214215245 t fired, 47583243 attempts, .
56 EF STEQ 539/665 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 539/665 0/5 Medical-PT-24-ReachabilityCardinality-03 150730275 t fired, 15553427 attempts, .
67 EF FNDP 505/688 0/5 Medical-PT-24-ReachabilityCardinality-15 84459443 t fired, 918833 attempts, .
Time elapsed: 540 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 544/660 0/5 Medical-PT-24-ReachabilityCardinality-04 216118693 t fired, 48006253 attempts, .
56 EF STEQ 544/660 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 544/660 0/5 Medical-PT-24-ReachabilityCardinality-03 152192274 t fired, 15704170 attempts, .
67 EF FNDP 510/683 0/5 Medical-PT-24-ReachabilityCardinality-15 85278074 t fired, 927457 attempts, .
Time elapsed: 545 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 549/655 0/5 Medical-PT-24-ReachabilityCardinality-04 218015968 t fired, 48427485 attempts, .
56 EF STEQ 549/655 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 549/655 0/5 Medical-PT-24-ReachabilityCardinality-03 153661168 t fired, 15855683 attempts, .
67 EF FNDP 515/678 0/5 Medical-PT-24-ReachabilityCardinality-15 86093489 t fired, 936010 attempts, .
Time elapsed: 550 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 554/650 0/5 Medical-PT-24-ReachabilityCardinality-04 219917152 t fired, 48849833 attempts, .
56 EF STEQ 554/650 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 554/650 0/5 Medical-PT-24-ReachabilityCardinality-03 155120936 t fired, 16006244 attempts, .
67 EF FNDP 520/673 0/5 Medical-PT-24-ReachabilityCardinality-15 86912365 t fired, 944646 attempts, .
Time elapsed: 555 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 559/645 0/5 Medical-PT-24-ReachabilityCardinality-04 221808215 t fired, 49269890 attempts, .
56 EF STEQ 559/645 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 559/645 0/5 Medical-PT-24-ReachabilityCardinality-03 156585361 t fired, 16157387 attempts, .
67 EF FNDP 525/668 0/5 Medical-PT-24-ReachabilityCardinality-15 87726243 t fired, 953261 attempts, .
Time elapsed: 560 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 564/640 0/5 Medical-PT-24-ReachabilityCardinality-04 223708110 t fired, 49692097 attempts, .
56 EF STEQ 564/640 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 564/640 0/5 Medical-PT-24-ReachabilityCardinality-03 158047995 t fired, 16308101 attempts, .
67 EF FNDP 530/663 0/5 Medical-PT-24-ReachabilityCardinality-15 88545506 t fired, 961947 attempts, .
Time elapsed: 565 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 569/635 0/5 Medical-PT-24-ReachabilityCardinality-04 225610761 t fired, 50114858 attempts, .
56 EF STEQ 569/635 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 569/635 0/5 Medical-PT-24-ReachabilityCardinality-03 159509336 t fired, 16458543 attempts, .
67 EF FNDP 535/658 0/5 Medical-PT-24-ReachabilityCardinality-15 89363642 t fired, 970623 attempts, .
Time elapsed: 570 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 574/630 0/5 Medical-PT-24-ReachabilityCardinality-04 227510643 t fired, 50536773 attempts, .
56 EF STEQ 574/630 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 574/630 0/5 Medical-PT-24-ReachabilityCardinality-03 160973161 t fired, 16609566 attempts, .
67 EF FNDP 540/653 0/5 Medical-PT-24-ReachabilityCardinality-15 90183747 t fired, 979287 attempts, .
Time elapsed: 575 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 579/625 0/5 Medical-PT-24-ReachabilityCardinality-04 229414632 t fired, 50959663 attempts, .
56 EF STEQ 579/625 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 579/625 0/5 Medical-PT-24-ReachabilityCardinality-03 162432106 t fired, 16759788 attempts, .
67 EF FNDP 545/648 0/5 Medical-PT-24-ReachabilityCardinality-15 91002216 t fired, 988048 attempts, .
Time elapsed: 580 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 584/620 0/5 Medical-PT-24-ReachabilityCardinality-04 231308347 t fired, 51380545 attempts, .
56 EF STEQ 584/620 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 584/620 0/5 Medical-PT-24-ReachabilityCardinality-03 163900304 t fired, 16911117 attempts, .
67 EF FNDP 550/643 0/5 Medical-PT-24-ReachabilityCardinality-15 91817204 t fired, 996624 attempts, .
Time elapsed: 585 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 589/615 0/5 Medical-PT-24-ReachabilityCardinality-04 233205131 t fired, 51801969 attempts, .
56 EF STEQ 589/615 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 589/615 0/5 Medical-PT-24-ReachabilityCardinality-03 165367465 t fired, 17062770 attempts, .
67 EF FNDP 555/638 0/5 Medical-PT-24-ReachabilityCardinality-15 92634377 t fired, 1005288 attempts, .
Time elapsed: 590 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 594/610 0/5 Medical-PT-24-ReachabilityCardinality-04 235106352 t fired, 52224519 attempts, .
56 EF STEQ 594/610 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 594/610 0/5 Medical-PT-24-ReachabilityCardinality-03 166828594 t fired, 17213240 attempts, .
67 EF FNDP 560/633 0/5 Medical-PT-24-ReachabilityCardinality-15 93452535 t fired, 1013976 attempts, .
Time elapsed: 595 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 1 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 2 0 1 0 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 599/605 0/5 Medical-PT-24-ReachabilityCardinality-04 237005065 t fired, 52646420 attempts, .
56 EF STEQ 599/605 0/5 Medical-PT-24-ReachabilityCardinality-04 sara is running.
61 EF FNDP 599/605 0/5 Medical-PT-24-ReachabilityCardinality-03 168296072 t fired, 17364730 attempts, .
67 EF FNDP 565/628 0/5 Medical-PT-24-ReachabilityCardinality-15 94269614 t fired, 1022654 attempts, .
Time elapsed: 600 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 55 (type FNDP) for Medical-PT-24-ReachabilityCardinality-04 (local timeout)
lola: CANCELED task # 56 (type EQUN) for Medical-PT-24-ReachabilityCardinality-04 (local timeout)
lola: CANCELED task # 61 (type FNDP) for Medical-PT-24-ReachabilityCardinality-03 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
Medical-PT-24-ReachabilityCardinality-03: EF 0 3 0 0 1 1 1 0
Medical-PT-24-ReachabilityCardinality-04: AG 0 2 0 0 1 2 1 0
Medical-PT-24-ReachabilityCardinality-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF FNDP 570/623 0/5 Medical-PT-24-ReachabilityCardinality-15 95087608 t fired, 1031355 attempts, .
Time elapsed: 605 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 62 (type EQUN) for 9 Medical-PT-24-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 64 (type SRCH) for 9 Medical-PT-24-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 66 (type SRCH) for 9 Medical-PT-24-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 61 (type FNDP) for Medical-PT-24-ReachabilityCardinality-03
lola: result : unknown
lola: fired transitions : 169748765
lola: tried executions : 17514615
lola: time used : 604.000000
lola: memory pages used : 0
lola: FINISHED task # 55 (type FNDP) for Medical-PT-24-ReachabilityCardinality-04
lola: result : unknown
lola: fired transitions : 238902212
lola: tried executions : 53067884
lola: time used : 604.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-62.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 62 (type EQUN) for Medical-PT-24-ReachabilityCardinality-03
lola: result : false
lola: CANCELED task # 64 (type SRCH) for Medical-PT-24-ReachabilityCardinality-03 (obsolete)
lola: CANCELED task # 66 (type SRCH) for Medical-PT-24-ReachabilityCardinality-03 (obsolete)
lola: LAUNCH task # 58 (type SRCH) for 12 Medical-PT-24-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 60 (type SRCH) for 12 Medical-PT-24-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 68 (type EQUN) for 45 Medical-PT-24-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 58 (type SRCH) for Medical-PT-24-ReachabilityCardinality-04
lola: result : false
lola: markings : 163
lola: fired transitions : 163
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 60 (type SRCH) for Medical-PT-24-ReachabilityCardinality-04 (obsolete)
lola: LAUNCH task # 70 (type SRCH) for 45 Medical-PT-24-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 72 (type SRCH) for 45 Medical-PT-24-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 60 (type SRCH) for Medical-PT-24-ReachabilityCardinality-04
lola: result : unknown
lola: markings : 4
lola: fired transitions : 3
lola: time used : 0.000000
lola: memory pages used : 1
lola: FINISHED task # 56 (type EQUN) for Medical-PT-24-ReachabilityCardinality-04
lola: result : unknown
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-68.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 68 (type EQUN) for Medical-PT-24-ReachabilityCardinality-15
lola: result : false
lola: CANCELED task # 67 (type FNDP) for Medical-PT-24-ReachabilityCardinality-15 (obsolete)
lola: CANCELED task # 70 (type SRCH) for Medical-PT-24-ReachabilityCardinality-15 (obsolete)
lola: CANCELED task # 72 (type SRCH) for Medical-PT-24-ReachabilityCardinality-15 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Medical-PT-24-ReachabilityCardinality-00: EF false state equation
Medical-PT-24-ReachabilityCardinality-01: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-02: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-03: EF false state equation
Medical-PT-24-ReachabilityCardinality-04: AG true tandem / insertion
Medical-PT-24-ReachabilityCardinality-05: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-06: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-07: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-08: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-09: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-10: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-11: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-12: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-13: INITIAL false preprocessing
Medical-PT-24-ReachabilityCardinality-14: INITIAL true preprocessing
Medical-PT-24-ReachabilityCardinality-15: EF false state equation
Time elapsed: 605 secs. Pages in use: 32
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="Medical-PT-24"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is Medical-PT-24, 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 r230-tall-167856415100742"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Medical-PT-24.tgz
mv Medical-PT-24 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 '
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 ;