About the Execution of LoLA for DLCround-PT-10a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16207.407 | 456636.00 | 587510.00 | 17744.50 | ?????T?????????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r102-tall-167814477300729.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 DLCround-PT-10a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r102-tall-167814477300729
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.3K Feb 25 19:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 19:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 19:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 19:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 25 20:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 20:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 115K Feb 25 20:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 660K 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 DLCround-PT-10a-CTLCardinality-00
FORMULA_NAME DLCround-PT-10a-CTLCardinality-01
FORMULA_NAME DLCround-PT-10a-CTLCardinality-02
FORMULA_NAME DLCround-PT-10a-CTLCardinality-03
FORMULA_NAME DLCround-PT-10a-CTLCardinality-04
FORMULA_NAME DLCround-PT-10a-CTLCardinality-05
FORMULA_NAME DLCround-PT-10a-CTLCardinality-06
FORMULA_NAME DLCround-PT-10a-CTLCardinality-07
FORMULA_NAME DLCround-PT-10a-CTLCardinality-08
FORMULA_NAME DLCround-PT-10a-CTLCardinality-09
FORMULA_NAME DLCround-PT-10a-CTLCardinality-10
FORMULA_NAME DLCround-PT-10a-CTLCardinality-11
FORMULA_NAME DLCround-PT-10a-CTLCardinality-12
FORMULA_NAME DLCround-PT-10a-CTLCardinality-13
FORMULA_NAME DLCround-PT-10a-CTLCardinality-14
FORMULA_NAME DLCround-PT-10a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1678321005966
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=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-10a
Not applying reductions.
Model is PT
CTLCardinality PT
starting LoLA
BK_INPUT DLCround-PT-10a
BK_EXAMINATION: CTLCardinality
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
FORMULA DLCround-PT-10a-CTLCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678321462602
--------------------
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/CTLCardinality.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:153
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:168
lola: rewrite Frontend/Parser/formula_rewrite.k:469
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:451
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:400
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:388
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:165
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:114
lola: rewrite Frontend/Parser/formula_rewrite.k:397
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:340
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:168
lola: rewrite Frontend/Parser/formula_rewrite.k:448
lola: rewrite Frontend/Parser/formula_rewrite.k:472
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:553
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:168
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:472
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:457
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:165
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:114
lola: rewrite Frontend/Parser/formula_rewrite.k:388
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:168
lola: rewrite Frontend/Parser/formula_rewrite.k:439
lola: rewrite Frontend/Parser/formula_rewrite.k:454
lola: rewrite Frontend/Parser/formula_rewrite.k:400
lola: Created skeleton in 0.000000 secs.
lola: NOTDEADLOCKFREE
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: NOTDEADLOCKFREE
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: LAUNCH task # 48 (type SKEL/SRCH) for 21 DLCround-PT-10a-CTLCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Created skeleton in 0.000000 secs.
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:753
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 50 (type SKEL/SRCH) for 15 DLCround-PT-10a-CTLCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 50 (type SKEL/SRCH) for DLCround-PT-10a-CTLCardinality-05
lola: result : false
lola: markings : 10
lola: fired transitions : 39
lola: time used : 0.000000
lola: memory pages used : 1
lola: planning for DLCround-PT-10a-CTLCardinality-05 stopped (result already fixed).
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: LAUNCH task # 10 (type EXCL) for 9 DLCround-PT-10a-CTLCardinality-03
lola: time limit : 239 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:810
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 4/239 1/32 DLCround-PT-10a-CTLCardinality-03 147520 m, 29504 m/sec, 9136282 t fired, .
48 CTL SRCH 5/3600 1/5 DLCround-PT-10a-CTLCardinality-07 692586 m, 138517 m/sec, 7529010 t fired, .
Time elapsed: 5 secs. Pages in use: 2
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 9/239 2/32 DLCround-PT-10a-CTLCardinality-03 312966 m, 33089 m/sec, 19402946 t fired, .
48 CTL SRCH 10/3600 1/5 DLCround-PT-10a-CTLCardinality-07 1365431 m, 134569 m/sec, 15255598 t fired, .
Time elapsed: 10 secs. Pages in use: 3
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 14/239 2/32 DLCround-PT-10a-CTLCardinality-03 470855 m, 31577 m/sec, 29470271 t fired, .
48 CTL SRCH 15/3600 1/5 DLCround-PT-10a-CTLCardinality-07 2032179 m, 133349 m/sec, 23033717 t fired, .
Time elapsed: 15 secs. Pages in use: 3
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 19/239 3/32 DLCround-PT-10a-CTLCardinality-03 624590 m, 30747 m/sec, 39368448 t fired, .
48 CTL SRCH 20/3600 1/5 DLCround-PT-10a-CTLCardinality-07 2684136 m, 130391 m/sec, 30686950 t fired, .
Time elapsed: 20 secs. Pages in use: 4
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 24/239 4/32 DLCround-PT-10a-CTLCardinality-03 778051 m, 30692 m/sec, 49331089 t fired, .
48 CTL SRCH 25/3600 1/5 DLCround-PT-10a-CTLCardinality-07 3326244 m, 128421 m/sec, 38352264 t fired, .
Time elapsed: 25 secs. Pages in use: 5
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 29/239 4/32 DLCround-PT-10a-CTLCardinality-03 928181 m, 30026 m/sec, 59249512 t fired, .
48 CTL SRCH 30/3600 1/5 DLCround-PT-10a-CTLCardinality-07 3948992 m, 124549 m/sec, 45786683 t fired, .
Time elapsed: 30 secs. Pages in use: 5
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 34/239 5/32 DLCround-PT-10a-CTLCardinality-03 1087589 m, 31881 m/sec, 69286956 t fired, .
48 CTL SRCH 35/3600 1/5 DLCround-PT-10a-CTLCardinality-07 4565361 m, 123273 m/sec, 53159395 t fired, .
Time elapsed: 35 secs. Pages in use: 6
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 39/239 6/32 DLCround-PT-10a-CTLCardinality-03 1244357 m, 31353 m/sec, 79159000 t fired, .
48 CTL SRCH 40/3600 1/5 DLCround-PT-10a-CTLCardinality-07 5184190 m, 123765 m/sec, 60597364 t fired, .
Time elapsed: 40 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 44/239 6/32 DLCround-PT-10a-CTLCardinality-03 1396582 m, 30445 m/sec, 88953566 t fired, .
48 CTL SRCH 45/3600 1/5 DLCround-PT-10a-CTLCardinality-07 5803813 m, 123924 m/sec, 68107119 t fired, .
Time elapsed: 45 secs. Pages in use: 7
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 49/239 7/32 DLCround-PT-10a-CTLCardinality-03 1548306 m, 30344 m/sec, 98893398 t fired, .
48 CTL SRCH 50/3600 1/5 DLCround-PT-10a-CTLCardinality-07 6408142 m, 120865 m/sec, 75428097 t fired, .
Time elapsed: 50 secs. Pages in use: 8
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 54/239 8/32 DLCround-PT-10a-CTLCardinality-03 1720798 m, 34498 m/sec, 109568434 t fired, .
48 CTL SRCH 55/3600 1/5 DLCround-PT-10a-CTLCardinality-07 6999524 m, 118276 m/sec, 82607972 t fired, .
Time elapsed: 55 secs. Pages in use: 9
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 59/239 8/32 DLCround-PT-10a-CTLCardinality-03 1884446 m, 32729 m/sec, 119886029 t fired, .
48 CTL SRCH 60/3600 1/5 DLCround-PT-10a-CTLCardinality-07 7578297 m, 115754 m/sec, 89647307 t fired, .
Time elapsed: 60 secs. Pages in use: 9
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 64/239 9/32 DLCround-PT-10a-CTLCardinality-03 2048902 m, 32891 m/sec, 130063484 t fired, .
48 CTL SRCH 65/3600 1/5 DLCround-PT-10a-CTLCardinality-07 8153329 m, 115006 m/sec, 96665138 t fired, .
Time elapsed: 65 secs. Pages in use: 10
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 69/239 10/32 DLCround-PT-10a-CTLCardinality-03 2207264 m, 31672 m/sec, 139911120 t fired, .
48 CTL SRCH 70/3600 1/5 DLCround-PT-10a-CTLCardinality-07 8742058 m, 117745 m/sec, 103840595 t fired, .
Time elapsed: 70 secs. Pages in use: 11
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 74/239 10/32 DLCround-PT-10a-CTLCardinality-03 2358769 m, 30301 m/sec, 149710962 t fired, .
48 CTL SRCH 75/3600 1/5 DLCround-PT-10a-CTLCardinality-07 9325473 m, 116683 m/sec, 110982752 t fired, .
Time elapsed: 75 secs. Pages in use: 11
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 79/239 11/32 DLCround-PT-10a-CTLCardinality-03 2515454 m, 31337 m/sec, 160048522 t fired, .
48 CTL SRCH 80/3600 1/5 DLCround-PT-10a-CTLCardinality-07 9922062 m, 119317 m/sec, 118342982 t fired, .
Time elapsed: 80 secs. Pages in use: 12
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 84/239 11/32 DLCround-PT-10a-CTLCardinality-03 2677204 m, 32350 m/sec, 170214294 t fired, .
48 CTL SRCH 85/3600 1/5 DLCround-PT-10a-CTLCardinality-07 10515189 m, 118625 m/sec, 125662707 t fired, .
Time elapsed: 85 secs. Pages in use: 12
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 89/239 12/32 DLCround-PT-10a-CTLCardinality-03 2837632 m, 32085 m/sec, 180333647 t fired, .
48 CTL SRCH 90/3600 1/5 DLCround-PT-10a-CTLCardinality-07 11091964 m, 115355 m/sec, 132747445 t fired, .
Time elapsed: 90 secs. Pages in use: 13
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 94/239 13/32 DLCround-PT-10a-CTLCardinality-03 2990028 m, 30479 m/sec, 190077945 t fired, .
48 CTL SRCH 95/3600 1/5 DLCround-PT-10a-CTLCardinality-07 11676394 m, 116886 m/sec, 139898585 t fired, .
Time elapsed: 95 secs. Pages in use: 14
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 99/239 13/32 DLCround-PT-10a-CTLCardinality-03 3135716 m, 29137 m/sec, 199736389 t fired, .
48 CTL SRCH 100/3600 2/5 DLCround-PT-10a-CTLCardinality-07 12255613 m, 115843 m/sec, 146998353 t fired, .
Time elapsed: 100 secs. Pages in use: 15
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 1 0 0 0 0 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 104/239 14/32 DLCround-PT-10a-CTLCardinality-03 3287732 m, 30403 m/sec, 209494796 t fired, .
48 CTL SRCH 105/3600 4/5 DLCround-PT-10a-CTLCardinality-07 12821369 m, 113151 m/sec, 153905427 t fired, .
Time elapsed: 105 secs. Pages in use: 18
# running tasks: 2 of 4 Visible: 16
lola: CANCELED task # 48 (type SRCH) for DLCround-PT-10a-CTLCardinality-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 109/239 15/32 DLCround-PT-10a-CTLCardinality-03 3440365 m, 30526 m/sec, 219130961 t fired, .
Time elapsed: 110 secs. Pages in use: 19
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 114/239 15/32 DLCround-PT-10a-CTLCardinality-03 3585918 m, 29110 m/sec, 228868745 t fired, .
Time elapsed: 115 secs. Pages in use: 19
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 119/239 16/32 DLCround-PT-10a-CTLCardinality-03 3742158 m, 31248 m/sec, 239058996 t fired, .
Time elapsed: 120 secs. Pages in use: 19
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 124/239 16/32 DLCround-PT-10a-CTLCardinality-03 3890781 m, 29724 m/sec, 248799463 t fired, .
Time elapsed: 125 secs. Pages in use: 19
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 129/239 17/32 DLCround-PT-10a-CTLCardinality-03 4035312 m, 28906 m/sec, 258363008 t fired, .
Time elapsed: 130 secs. Pages in use: 19
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 134/239 18/32 DLCround-PT-10a-CTLCardinality-03 4185328 m, 30003 m/sec, 268250845 t fired, .
Time elapsed: 135 secs. Pages in use: 19
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 139/239 18/32 DLCround-PT-10a-CTLCardinality-03 4336260 m, 30186 m/sec, 278213909 t fired, .
Time elapsed: 140 secs. Pages in use: 19
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 144/239 19/32 DLCround-PT-10a-CTLCardinality-03 4480501 m, 28848 m/sec, 287967939 t fired, .
Time elapsed: 145 secs. Pages in use: 19
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 149/239 19/32 DLCround-PT-10a-CTLCardinality-03 4621089 m, 28117 m/sec, 297664327 t fired, .
Time elapsed: 150 secs. Pages in use: 19
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 154/239 20/32 DLCround-PT-10a-CTLCardinality-03 4765968 m, 28975 m/sec, 307489107 t fired, .
Time elapsed: 155 secs. Pages in use: 20
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 159/239 21/32 DLCround-PT-10a-CTLCardinality-03 4912708 m, 29348 m/sec, 317587323 t fired, .
Time elapsed: 160 secs. Pages in use: 21
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 164/239 21/32 DLCround-PT-10a-CTLCardinality-03 5064540 m, 30366 m/sec, 328288279 t fired, .
Time elapsed: 165 secs. Pages in use: 21
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 169/239 22/32 DLCround-PT-10a-CTLCardinality-03 5227215 m, 32535 m/sec, 338486639 t fired, .
Time elapsed: 170 secs. Pages in use: 22
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 175/239 22/32 DLCround-PT-10a-CTLCardinality-03 5378792 m, 30315 m/sec, 348488979 t fired, .
Time elapsed: 176 secs. Pages in use: 22
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 180/239 23/32 DLCround-PT-10a-CTLCardinality-03 5532110 m, 30663 m/sec, 358740243 t fired, .
Time elapsed: 181 secs. Pages in use: 23
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 185/239 24/32 DLCround-PT-10a-CTLCardinality-03 5686174 m, 30812 m/sec, 368720884 t fired, .
Time elapsed: 186 secs. Pages in use: 24
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 190/239 24/32 DLCround-PT-10a-CTLCardinality-03 5836218 m, 30008 m/sec, 378683683 t fired, .
Time elapsed: 191 secs. Pages in use: 24
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 195/239 25/32 DLCround-PT-10a-CTLCardinality-03 5984069 m, 29570 m/sec, 388648182 t fired, .
Time elapsed: 196 secs. Pages in use: 25
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 200/239 26/32 DLCround-PT-10a-CTLCardinality-03 6134357 m, 30057 m/sec, 398922467 t fired, .
Time elapsed: 201 secs. Pages in use: 26
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 205/239 26/32 DLCround-PT-10a-CTLCardinality-03 6292566 m, 31641 m/sec, 409319513 t fired, .
Time elapsed: 206 secs. Pages in use: 26
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 210/239 27/32 DLCround-PT-10a-CTLCardinality-03 6440226 m, 29532 m/sec, 419401046 t fired, .
Time elapsed: 211 secs. Pages in use: 27
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 215/239 27/32 DLCround-PT-10a-CTLCardinality-03 6586111 m, 29177 m/sec, 429328056 t fired, .
Time elapsed: 216 secs. Pages in use: 27
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 220/239 28/32 DLCround-PT-10a-CTLCardinality-03 6731962 m, 29170 m/sec, 439426827 t fired, .
Time elapsed: 221 secs. Pages in use: 28
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 225/239 29/32 DLCround-PT-10a-CTLCardinality-03 6871416 m, 27890 m/sec, 449029761 t fired, .
Time elapsed: 226 secs. Pages in use: 29
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 230/239 29/32 DLCround-PT-10a-CTLCardinality-03 7019229 m, 29562 m/sec, 459487622 t fired, .
Time elapsed: 231 secs. Pages in use: 29
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 235/239 30/32 DLCround-PT-10a-CTLCardinality-03 7160166 m, 28187 m/sec, 469792229 t fired, .
Time elapsed: 236 secs. Pages in use: 30
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 10 (type EXCL) for DLCround-PT-10a-CTLCardinality-03 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 1 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 241 secs. Pages in use: 30
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 37 (type EXCL) for 36 DLCround-PT-10a-CTLCardinality-12
lola: time limit : 239 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 10 (type EXCL) for 9 DLCround-PT-10a-CTLCardinality-03
lola: time limit : 3359 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 5/3359 1/5 DLCround-PT-10a-CTLCardinality-03 176638 m, -1396705 m/sec, 10912070 t fired, .
37 CTL EXCL 5/239 1/32 DLCround-PT-10a-CTLCardinality-12 200063 m, 40012 m/sec, 7652351 t fired, .
Time elapsed: 246 secs. Pages in use: 32
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 10/3359 2/5 DLCround-PT-10a-CTLCardinality-03 339721 m, 32616 m/sec, 21047366 t fired, .
37 CTL EXCL 10/223 2/32 DLCround-PT-10a-CTLCardinality-12 381576 m, 36302 m/sec, 14868125 t fired, .
Time elapsed: 251 secs. Pages in use: 34
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 15/3359 3/5 DLCround-PT-10a-CTLCardinality-03 490173 m, 30090 m/sec, 30738040 t fired, .
37 CTL EXCL 15/223 3/32 DLCround-PT-10a-CTLCardinality-12 559406 m, 35566 m/sec, 22037095 t fired, .
Time elapsed: 256 secs. Pages in use: 36
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 20/3359 3/5 DLCround-PT-10a-CTLCardinality-03 643548 m, 30675 m/sec, 40639782 t fired, .
37 CTL EXCL 20/223 4/32 DLCround-PT-10a-CTLCardinality-12 732425 m, 34603 m/sec, 29017544 t fired, .
Time elapsed: 261 secs. Pages in use: 37
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 25/3359 4/5 DLCround-PT-10a-CTLCardinality-03 801864 m, 31663 m/sec, 50912542 t fired, .
37 CTL EXCL 25/223 4/32 DLCround-PT-10a-CTLCardinality-12 898120 m, 33139 m/sec, 35698671 t fired, .
Time elapsed: 266 secs. Pages in use: 38
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 30/3359 4/5 DLCround-PT-10a-CTLCardinality-03 957816 m, 31190 m/sec, 61185234 t fired, .
37 CTL EXCL 30/223 5/32 DLCround-PT-10a-CTLCardinality-12 1062246 m, 32825 m/sec, 42348849 t fired, .
Time elapsed: 271 secs. Pages in use: 39
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
10 CTL EXCL 35/3359 5/5 DLCround-PT-10a-CTLCardinality-03 1123106 m, 33058 m/sec, 71509704 t fired, .
37 CTL EXCL 35/223 6/32 DLCround-PT-10a-CTLCardinality-12 1224432 m, 32437 m/sec, 48994733 t fired, .
Time elapsed: 276 secs. Pages in use: 41
# running tasks: 2 of 4 Visible: 16
lola: CANCELED task # 10 (type EXCL) for DLCround-PT-10a-CTLCardinality-03 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 40/223 6/32 DLCround-PT-10a-CTLCardinality-12 1385153 m, 32144 m/sec, 55668203 t fired, .
Time elapsed: 281 secs. Pages in use: 41
# running tasks: 2 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 45/239 7/32 DLCround-PT-10a-CTLCardinality-12 1546948 m, 32359 m/sec, 62380682 t fired, .
Time elapsed: 286 secs. Pages in use: 41
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 50/239 8/32 DLCround-PT-10a-CTLCardinality-12 1709534 m, 32517 m/sec, 69050552 t fired, .
Time elapsed: 291 secs. Pages in use: 41
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 55/239 8/32 DLCround-PT-10a-CTLCardinality-12 1872736 m, 32640 m/sec, 75700319 t fired, .
Time elapsed: 296 secs. Pages in use: 41
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 60/239 9/32 DLCround-PT-10a-CTLCardinality-12 2029679 m, 31388 m/sec, 82284670 t fired, .
Time elapsed: 301 secs. Pages in use: 41
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 65/239 10/32 DLCround-PT-10a-CTLCardinality-12 2188379 m, 31740 m/sec, 88880429 t fired, .
Time elapsed: 306 secs. Pages in use: 41
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 70/239 10/32 DLCround-PT-10a-CTLCardinality-12 2351216 m, 32567 m/sec, 95541964 t fired, .
Time elapsed: 311 secs. Pages in use: 41
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 75/239 11/32 DLCround-PT-10a-CTLCardinality-12 2510148 m, 31786 m/sec, 102129452 t fired, .
Time elapsed: 316 secs. Pages in use: 41
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 80/239 12/32 DLCround-PT-10a-CTLCardinality-12 2676725 m, 33315 m/sec, 109046346 t fired, .
Time elapsed: 321 secs. Pages in use: 42
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 85/239 12/32 DLCround-PT-10a-CTLCardinality-12 2831317 m, 30918 m/sec, 115566366 t fired, .
Time elapsed: 326 secs. Pages in use: 42
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 90/239 13/32 DLCround-PT-10a-CTLCardinality-12 2987695 m, 31275 m/sec, 122050421 t fired, .
Time elapsed: 331 secs. Pages in use: 43
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 95/239 14/32 DLCround-PT-10a-CTLCardinality-12 3149018 m, 32264 m/sec, 128777616 t fired, .
Time elapsed: 336 secs. Pages in use: 44
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 100/239 14/32 DLCround-PT-10a-CTLCardinality-12 3290489 m, 28294 m/sec, 134553882 t fired, .
Time elapsed: 341 secs. Pages in use: 44
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 105/239 15/32 DLCround-PT-10a-CTLCardinality-12 3418316 m, 25565 m/sec, 139865085 t fired, .
Time elapsed: 346 secs. Pages in use: 45
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 110/239 15/32 DLCround-PT-10a-CTLCardinality-12 3540103 m, 24357 m/sec, 144957917 t fired, .
Time elapsed: 351 secs. Pages in use: 45
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 115/239 16/32 DLCround-PT-10a-CTLCardinality-12 3643493 m, 20678 m/sec, 149288894 t fired, .
Time elapsed: 356 secs. Pages in use: 46
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 120/239 16/32 DLCround-PT-10a-CTLCardinality-12 3762332 m, 23767 m/sec, 154243559 t fired, .
Time elapsed: 361 secs. Pages in use: 46
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 125/239 17/32 DLCround-PT-10a-CTLCardinality-12 3877516 m, 23036 m/sec, 159058831 t fired, .
Time elapsed: 366 secs. Pages in use: 47
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 130/239 17/32 DLCround-PT-10a-CTLCardinality-12 3976217 m, 19740 m/sec, 163210003 t fired, .
Time elapsed: 371 secs. Pages in use: 47
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 135/239 17/32 DLCround-PT-10a-CTLCardinality-12 4093451 m, 23446 m/sec, 168149983 t fired, .
Time elapsed: 376 secs. Pages in use: 47
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 140/239 18/32 DLCround-PT-10a-CTLCardinality-12 4215154 m, 24340 m/sec, 173386448 t fired, .
Time elapsed: 381 secs. Pages in use: 48
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 146/239 19/32 DLCround-PT-10a-CTLCardinality-12 4360623 m, 29093 m/sec, 179420799 t fired, .
Time elapsed: 387 secs. Pages in use: 49
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 151/239 19/32 DLCround-PT-10a-CTLCardinality-12 4484365 m, 24748 m/sec, 184574601 t fired, .
Time elapsed: 392 secs. Pages in use: 49
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 156/239 20/32 DLCround-PT-10a-CTLCardinality-12 4614498 m, 26026 m/sec, 189955688 t fired, .
Time elapsed: 397 secs. Pages in use: 50
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 161/239 20/32 DLCround-PT-10a-CTLCardinality-12 4745360 m, 26172 m/sec, 195509096 t fired, .
Time elapsed: 402 secs. Pages in use: 50
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 167/239 21/32 DLCround-PT-10a-CTLCardinality-12 4862821 m, 23492 m/sec, 200396824 t fired, .
Time elapsed: 408 secs. Pages in use: 51
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 172/239 21/32 DLCround-PT-10a-CTLCardinality-12 4999419 m, 27319 m/sec, 205993306 t fired, .
Time elapsed: 413 secs. Pages in use: 51
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 177/239 22/32 DLCround-PT-10a-CTLCardinality-12 5092600 m, 18636 m/sec, 209945790 t fired, .
Time elapsed: 418 secs. Pages in use: 52
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 182/239 22/32 DLCround-PT-10a-CTLCardinality-12 5218667 m, 25213 m/sec, 215231393 t fired, .
Time elapsed: 423 secs. Pages in use: 52
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 187/239 23/32 DLCround-PT-10a-CTLCardinality-12 5323228 m, 20912 m/sec, 219558900 t fired, .
Time elapsed: 428 secs. Pages in use: 53
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 192/239 23/32 DLCround-PT-10a-CTLCardinality-12 5448806 m, 25115 m/sec, 224854252 t fired, .
Time elapsed: 433 secs. Pages in use: 53
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 197/239 23/32 DLCround-PT-10a-CTLCardinality-12 5548352 m, 19909 m/sec, 228941785 t fired, .
Time elapsed: 438 secs. Pages in use: 53
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 202/239 24/32 DLCround-PT-10a-CTLCardinality-12 5583676 m, 7064 m/sec, 230455319 t fired, .
Time elapsed: 443 secs. Pages in use: 54
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DLCround-PT-10a-CTLCardinality-05: AXAG true skeleton: state space /EXEF
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DLCround-PT-10a-CTLCardinality-00: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-01: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-02: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-03: CTL 0 0 0 0 1 0 1 0
DLCround-PT-10a-CTLCardinality-04: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-06: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-07: CTL 0 1 0 0 0 0 1 0
DLCround-PT-10a-CTLCardinality-08: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-09: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-10: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-11: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-12: CTL 0 0 1 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-13: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-14: CTL 0 1 0 0 1 0 0 0
DLCround-PT-10a-CTLCardinality-15: AGEF 0 1 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
37 CTL EXCL 214/239 24/32 DLCround-PT-10a-CTLCardinality-12 5597301 m, 2725 m/sec, 231014754 t fired, .
Time elapsed: 455 secs. Pages in use: 54
# running tasks: 1 of 4 Visible: 16
/home/mcc/BenchKit/bin//../lola/bin//../BenchKit_head.sh: line 63: 375 Killed lola --conf=$BIN_DIR/configfiles/ctlcardinalityconf --formula=$DIR/CTLCardinality.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
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="DLCround-PT-10a"
export BK_EXAMINATION="CTLCardinality"
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 DLCround-PT-10a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r102-tall-167814477300729"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-10a.tgz
mv DLCround-PT-10a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;