MCC'2024- Execution of r335-tall-171679082400557

About the Execution of LoLA for SemanticWebServices-PT-S128P15

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
0.000	218763.00	0.00	0.00	? ? ? ? ? 1 ? ? ? ? ? ? ? ? ? ?	normal

Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r335-tall-171679082400557.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is SemanticWebServices-PT-S128P15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r335-tall-171679082400557
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 576K
-rw-r--r-- 1 mcc users 5.8K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 23 07:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 23 07:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 23 07:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 23 07:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Apr 12 02:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 92K Apr 12 02:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Apr 12 02:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Apr 12 02:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 19 07:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 19 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 8 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 227K May 18 16:43 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1717110727871

FORMULA SemanticWebServices-PT-S128P15-UpperBounds-05 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1717110946634

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

[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mUpperBounds.xml[0m
[[35mlola[0m][I] Rule S: 2 transitions removed,2 places removed
[[35mlola[0m][I] Structural Bound for (p90 <= 0) is 1073741824
[[35mlola[0m][I] LAUNCH task # 50 (type EXCL) for 9 SemanticWebServices-PT-S128P15-UpperBounds-03
[[35mlola[0m][I] time limit : 224 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 9 SemanticWebServices-PT-S128P15-UpperBounds-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 9 SemanticWebServices-PT-S128P15-UpperBounds-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 49 (type EQUN) for SemanticWebServices-PT-S128P15-UpperBounds-03
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] Structural Bound for (p168 <= 0) is 1073741824
[[35mlola[0m][I] LAUNCH task # 51 (type FNDP) for 39 SemanticWebServices-PT-S128P15-UpperBounds-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 52 (type EQUN) for 39 SemanticWebServices-PT-S128P15-UpperBounds-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 52 (type EQUN) for SemanticWebServices-PT-S128P15-UpperBounds-13
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] Structural Bound for (p5 <= 0) is 1
[[35mlola[0m][I] LAUNCH task # 54 (type FNDP) for 15 SemanticWebServices-PT-S128P15-UpperBounds-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural Bound for (p124 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p163 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p160 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p62 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (0 <= 0) is 0
[[35mlola[0m][I] Structural Bound for (p16 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p78 <= 0) is 1
[[35mlola[0m][I] Structural Bound for (p14 <= 0) is 1073741824
[[35mlola[0m][I] Structural@Findpath: 1 (upper 1 threshold 0
[[35mlola[0m][I] FINISHED task # 54 (type FNDP) for SemanticWebServices-PT-S128P15-UpperBounds-05
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] Structural Bound for (p141 <= 0) is 1073741824
[[35mlola[0m][I] LAUNCH task # 57 (type FNDP) for 3 SemanticWebServices-PT-S128P15-UpperBounds-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural Bound for (p11 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p35 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p42 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p169 <= 0) is 1073741824
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 4/359 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 4/239 25/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 7444213 m, 1488842 m/sec, 7444213 t fired, result in [7444212,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 4/399 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 4/399 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 5 secs. Pages in use: 25
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 9/355 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 9/239 48/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 14656743 m, 1442506 m/sec, 14656743 t fired, result in [14656742,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 9/395 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 9/395 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 10 secs. Pages in use: 48
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 14/350 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 14/239 71/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 21723537 m, 1413358 m/sec, 21723537 t fired, result in [21723536,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 14/390 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 14/390 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 15 secs. Pages in use: 71
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 19/345 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 19/239 94/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 28702757 m, 1395844 m/sec, 28702757 t fired, result in [28702756,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 19/385 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 19/385 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 20 secs. Pages in use: 94
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 24/340 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 24/239 116/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 35495414 m, 1358531 m/sec, 35495414 t fired, result in [35495413,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 24/380 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 24/380 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 25 secs. Pages in use: 116
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 29/335 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 29/239 137/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 42184893 m, 1337895 m/sec, 42184893 t fired, result in [42184892,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 29/375 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 29/375 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 30 secs. Pages in use: 137
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 34/330 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 34/239 159/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 48888740 m, 1340769 m/sec, 48888740 t fired, result in [48888739,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 34/370 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 34/370 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 35 secs. Pages in use: 159
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 39/325 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 39/239 181/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 55562070 m, 1334666 m/sec, 55562070 t fired, result in [55562069,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 39/365 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 39/365 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 40 secs. Pages in use: 181
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 44/320 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 44/239 202/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 62199352 m, 1327456 m/sec, 62199352 t fired, result in [62199351,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 44/360 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 44/360 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 45 secs. Pages in use: 202
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 49/315 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 49/239 224/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 68882104 m, 1336550 m/sec, 68882104 t fired, result in [68882103,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 49/355 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 49/355 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 50 secs. Pages in use: 224
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 54/310 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 54/239 245/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 75549657 m, 1333510 m/sec, 75549657 t fired, result in [75549656,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 54/350 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 54/350 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 55 secs. Pages in use: 245
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 59/305 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 59/239 267/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 82180309 m, 1326130 m/sec, 82180309 t fired, result in [82180308,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 59/345 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 59/345 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 60 secs. Pages in use: 267
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 65/299 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 65/239 288/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 88759128 m, 1315763 m/sec, 88759128 t fired, result in [88759127,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 65/339 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 65/339 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 66 secs. Pages in use: 288
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 70/294 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 70/239 309/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 95263338 m, 1300842 m/sec, 95263338 t fired, result in [95263337,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 70/334 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 70/334 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 71 secs. Pages in use: 309
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 75/289 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 75/239 330/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 101769089 m, 1301150 m/sec, 101769089 t fired, result in [101769088,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 75/329 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 75/329 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 76 secs. Pages in use: 330
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 80/284 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 80/239 352/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 108330058 m, 1312193 m/sec, 108330058 t fired, result in [108330057,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 80/324 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 80/324 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 81 secs. Pages in use: 352
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 85/279 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 85/239 373/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 114849205 m, 1303829 m/sec, 114849205 t fired, result in [114849204,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 85/319 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 85/319 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 86 secs. Pages in use: 373
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 90/274 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 90/239 394/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 121351695 m, 1300498 m/sec, 121351695 t fired, result in [121351694,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 90/314 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 90/314 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 91 secs. Pages in use: 394
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 95/269 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 95/239 415/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 127816056 m, 1292872 m/sec, 127816055 t fired, result in [127816055,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 95/309 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 95/309 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 96 secs. Pages in use: 415
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 100/264 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 100/239 436/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 134230737 m, 1282936 m/sec, 134230737 t fired, result in [134230736,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 100/304 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 100/304 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 101 secs. Pages in use: 436
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 105/259 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 105/239 457/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 140827675 m, 1319387 m/sec, 140827674 t fired, result in [140827674,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 105/299 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 105/299 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 106 secs. Pages in use: 457
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 110/254 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 110/239 478/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 147289786 m, 1292422 m/sec, 147289786 t fired, result in [147289785,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 110/294 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 110/294 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 111 secs. Pages in use: 478
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 115/249 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 115/239 499/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 153792508 m, 1300544 m/sec, 153792508 t fired, result in [153792507,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 115/289 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 115/289 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 116 secs. Pages in use: 499
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 120/244 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 120/239 520/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 160185107 m, 1278519 m/sec, 160185107 t fired, result in [160185106,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 120/284 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 120/284 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 121 secs. Pages in use: 520
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 125/239 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 125/239 541/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 166558915 m, 1274761 m/sec, 166558915 t fired, result in [166558914,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 125/279 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 125/279 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 126 secs. Pages in use: 541
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 130/234 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 130/239 561/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 172995661 m, 1287349 m/sec, 172995661 t fired, result in [172995660,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 130/274 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 130/274 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 131 secs. Pages in use: 561
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 135/229 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 135/239 582/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 179391857 m, 1279239 m/sec, 179391857 t fired, result in [179391856,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 135/269 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 135/269 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 136 secs. Pages in use: 582
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 140/224 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 140/239 603/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 185785172 m, 1278663 m/sec, 185785171 t fired, result in [185785171,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 140/264 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 140/264 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 141 secs. Pages in use: 603
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 145/219 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 145/239 624/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 192252480 m, 1293461 m/sec, 192252480 t fired, result in [192252479,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 145/259 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 145/259 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 146 secs. Pages in use: 624
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 150/214 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 150/239 645/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 198686053 m, 1286714 m/sec, 198686053 t fired, result in [198686052,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 150/254 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 150/254 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 151 secs. Pages in use: 645
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 155/209 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 155/239 649/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 200077522 m, 278293 m/sec, 200077521 t fired, result in [200077521,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 155/249 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 155/249 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 156 secs. Pages in use: 649
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 171/204 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 171/239 650/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 200339717 m, 52439 m/sec, 200339717 t fired, result in [200339716,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 172/244 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 172/244 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 174 secs. Pages in use: 650
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 BOUND FNDP 190/186 0/5 SemanticWebServices-PT-S128P15-UpperBounds-03 .
[[35mlola[0m][.] 50 BOUND EXCL 190/239 650/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 200341367 m, 330 m/sec, 200341367 t fired, result in [200341366,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 191/226 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 191/226 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 193 secs. Pages in use: 650
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for SemanticWebServices-PT-S128P15-UpperBounds-03 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mSemanticWebServices-PT-S128P15-UpperBounds-05: BOUND 1 findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-03: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-09: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-14: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] SemanticWebServices-PT-S128P15-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 BOUND EXCL 213/239 650/2000 SemanticWebServices-PT-S128P15-UpperBounds-03 200344012 m, 529 m/sec, 200344011 t fired, result in [200344011,1073741824] .
[[35mlola[0m][.] 51 BOUND FNDP 214/207 0/5 SemanticWebServices-PT-S128P15-UpperBounds-13 .
[[35mlola[0m][.] 57 BOUND FNDP 214/207 0/5 SemanticWebServices-PT-S128P15-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 217 secs. Pages in use: 650
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 66 (type FNDP) for 30 SemanticWebServices-PT-S128P15-UpperBounds-10
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 409 Killed $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT 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="SemanticWebServices-PT-S128P15"
export BK_EXAMINATION="UpperBounds"
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-5568"
echo " Executing tool lola"
echo " Input is SemanticWebServices-PT-S128P15, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r335-tall-171679082400557"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S128P15.tgz
mv SemanticWebServices-PT-S128P15 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;