About the Execution of LoLA for PGCD-COL-D04N050
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r247-tall-171654354000725.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 PGCD-COL-D04N050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r247-tall-171654354000725
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 368K
-rw-r--r-- 1 mcc users 6.0K Apr 11 15:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Apr 11 15:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Apr 11 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Apr 11 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 6 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 6 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 6 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 6 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Apr 11 15:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 92K Apr 11 15:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Apr 11 15:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Apr 11 15:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 6 10:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 6 10:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:43 equiv_pt
-rw-r--r-- 1 mcc users 8 May 18 16:43 instance
-rw-r--r-- 1 mcc users 5 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 11K 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 PGCD-COL-D04N050-UpperBounds-00
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-01
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-02
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-03
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-04
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-05
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-06
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-07
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-08
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-09
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-10
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-11
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-12
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-13
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-14
FORMULA_NAME PGCD-COL-D04N050-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1717103119839
FORMULA PGCD-COL-D04N050-UpperBounds-15 255 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PGCD-COL-D04N050-UpperBounds-01 255 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PGCD-COL-D04N050-UpperBounds-02 255 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PGCD-COL-D04N050-UpperBounds-14 255 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PGCD-COL-D04N050-UpperBounds-10 255 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1717103507075
--------------------
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 High-Level net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading HL formula in XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mUpperBounds.xml[0m
[[35mlola[0m][I] Places: 15, Transitions: 15
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] Structural Bound for (p5 + p6 + p7 + p8 + p9 <= 0) is 255
[[35mlola[0m][I] LAUNCH task # 50 (type EXCL) for 45 PGCD-COL-D04N050-UpperBounds-15
[[35mlola[0m][I] time limit : 224 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 45 PGCD-COL-D04N050-UpperBounds-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 45 PGCD-COL-D04N050-UpperBounds-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 50 (type EXCL) for PGCD-COL-D04N050-UpperBounds-15
[[35mlola[0m][I] markings : 251
[[35mlola[0m][I] fired transitions : 250
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for PGCD-COL-D04N050-UpperBounds-15 (obsolete)
[[35mlola[0m][W] CANCELED task # 49 (type EQUN) for PGCD-COL-D04N050-UpperBounds-15 (obsolete)
[[35mlola[0m][I] FINISHED task # 49 (type EQUN) for PGCD-COL-D04N050-UpperBounds-15
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] Structural@Findpath: 255 (upper 255 threshold 0
[[35mlola[0m][I] FINISHED task # 48 (type FNDP) for PGCD-COL-D04N050-UpperBounds-15
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] Structural Bound for (p10 + p11 + p12 + p13 + p14 <= 0) is 255
[[35mlola[0m][I] LAUNCH task # 53 (type EXCL) for 3 PGCD-COL-D04N050-UpperBounds-01
[[35mlola[0m][I] time limit : 239 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 51 (type FNDP) for 3 PGCD-COL-D04N050-UpperBounds-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural@Findpath: 255 (upper 255 threshold 0
[[35mlola[0m][I] LAUNCH task # 52 (type EQUN) for 3 PGCD-COL-D04N050-UpperBounds-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 51 (type FNDP) for PGCD-COL-D04N050-UpperBounds-01
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][W] CANCELED task # 52 (type EQUN) for PGCD-COL-D04N050-UpperBounds-01 (obsolete)
[[35mlola[0m][W] CANCELED task # 53 (type EXCL) for PGCD-COL-D04N050-UpperBounds-01 (obsolete)
[[35mlola[0m][I] Structural Bound for (p10 + p11 + p12 + p13 + p14 <= 0) is 255
[[35mlola[0m][I] LAUNCH task # 56 (type EXCL) for 6 PGCD-COL-D04N050-UpperBounds-02
[[35mlola[0m][I] time limit : 256 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 54 (type FNDP) for 6 PGCD-COL-D04N050-UpperBounds-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 55 (type EQUN) for 6 PGCD-COL-D04N050-UpperBounds-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural Bound for (p5 + p6 + p7 + p8 + p9 <= 0) is 255
[[35mlola[0m][I] LAUNCH task # 57 (type FNDP) for 42 PGCD-COL-D04N050-UpperBounds-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural Bound for (p0 + p1 + p2 + p3 + p4 <= 0) is 1073741824
[[35mlola[0m][I] FINISHED task # 56 (type EXCL) for PGCD-COL-D04N050-UpperBounds-02
[[35mlola[0m][I] markings : 251
[[35mlola[0m][I] fired transitions : 250
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 54 (type FNDP) for PGCD-COL-D04N050-UpperBounds-02 (obsolete)
[[35mlola[0m][W] CANCELED task # 55 (type EQUN) for PGCD-COL-D04N050-UpperBounds-02 (obsolete)
[[35mlola[0m][I] LAUNCH task # 62 (type EXCL) for 21 PGCD-COL-D04N050-UpperBounds-07
[[35mlola[0m][I] time limit : 276 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 60 (type FNDP) for 21 PGCD-COL-D04N050-UpperBounds-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 61 (type EQUN) for 21 PGCD-COL-D04N050-UpperBounds-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 61 (type EQUN) for PGCD-COL-D04N050-UpperBounds-07
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 58 (type EQUN) for 42 PGCD-COL-D04N050-UpperBounds-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 52 (type EQUN) for PGCD-COL-D04N050-UpperBounds-01
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] FINISHED task # 58 (type EQUN) for PGCD-COL-D04N050-UpperBounds-14
[[35mlola[0m][I] time used : 0
[[35mlola[0m][W] CANCELED task # 57 (type FNDP) for PGCD-COL-D04N050-UpperBounds-14 (obsolete)
[[35mlola[0m][I] FINISHED task # 55 (type EQUN) for PGCD-COL-D04N050-UpperBounds-02
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] Structural@Findpath: 255 (upper 255 threshold 0
[[35mlola[0m][I] FINISHED task # 57 (type FNDP) for PGCD-COL-D04N050-UpperBounds-14
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] Structural@Findpath: 255 (upper 255 threshold 0
[[35mlola[0m][I] FINISHED task # 54 (type FNDP) for PGCD-COL-D04N050-UpperBounds-02
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] Structural Bound for (p5 + p6 + p7 + p8 + p9 <= 0) is 255
[[35mlola[0m][I] LAUNCH task # 63 (type FNDP) for 30 PGCD-COL-D04N050-UpperBounds-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 64 (type EQUN) for 30 PGCD-COL-D04N050-UpperBounds-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural@Findpath: 255 (upper 255 threshold 0
[[35mlola[0m][I] FINISHED task # 63 (type FNDP) for PGCD-COL-D04N050-UpperBounds-10
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][W] CANCELED task # 64 (type EQUN) for PGCD-COL-D04N050-UpperBounds-10 (obsolete)
[[35mlola[0m][I] Structural Bound for (p0 + p1 + p2 + p3 + p4 <= 0) is 1073741824
[[35mlola[0m][I] LAUNCH task # 66 (type FNDP) for 9 PGCD-COL-D04N050-UpperBounds-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 67 (type EQUN) for 9 PGCD-COL-D04N050-UpperBounds-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 67 (type EQUN) for PGCD-COL-D04N050-UpperBounds-03
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 64 (type EQUN) for PGCD-COL-D04N050-UpperBounds-10
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] Structural Bound for (p0 + p1 + p2 + p3 + p4 <= 0) is 1073741824
[[35mlola[0m][I] LAUNCH task # 69 (type FNDP) for 27 PGCD-COL-D04N050-UpperBounds-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural Bound for (p0 + p1 + p2 + p3 + p4 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p10 + p11 + p12 + p13 + p14 <= 0) is 255
[[35mlola[0m][I] Structural Bound for (p5 + p6 + p7 + p8 + p9 <= 0) is 255
[[35mlola[0m][I] Structural Bound for (p0 + p1 + p2 + p3 + p4 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p0 + p1 + p2 + p3 + p4 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p5 + p6 + p7 + p8 + p9 <= 0) is 255
[[35mlola[0m][I] Structural Bound for (p0 + p1 + p2 + p3 + p4 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (p0 + p1 + p2 + p3 + p4 <= 0) is 1073741824
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 2/513 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 2/326 5/2000 PGCD-COL-D04N050-UpperBounds-07 1297979 m, 259595 m/sec, 2706997 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 2/513 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 2/599 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 6 secs. Pages in use: 5
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 7/511 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 7/326 16/2000 PGCD-COL-D04N050-UpperBounds-07 4593234 m, 659051 m/sec, 10079313 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 7/511 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 7/597 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 11 secs. Pages in use: 16
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 12/506 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 12/326 26/2000 PGCD-COL-D04N050-UpperBounds-07 7469298 m, 575212 m/sec, 16826459 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 12/506 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 12/592 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 16 secs. Pages in use: 26
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 17/501 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 17/326 36/2000 PGCD-COL-D04N050-UpperBounds-07 10198314 m, 545803 m/sec, 23352556 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 17/501 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 17/587 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 21 secs. Pages in use: 36
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 22/496 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 22/326 45/2000 PGCD-COL-D04N050-UpperBounds-07 12876751 m, 535687 m/sec, 29788034 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 22/496 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 22/582 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 26 secs. Pages in use: 45
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 27/491 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 27/326 54/2000 PGCD-COL-D04N050-UpperBounds-07 15492645 m, 523178 m/sec, 36086099 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 27/491 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 27/577 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 31 secs. Pages in use: 54
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 32/486 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 32/326 62/2000 PGCD-COL-D04N050-UpperBounds-07 18020089 m, 505488 m/sec, 42300995 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 32/486 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 32/572 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 36 secs. Pages in use: 62
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 37/481 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 37/326 71/2000 PGCD-COL-D04N050-UpperBounds-07 20622236 m, 520429 m/sec, 48568592 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 37/481 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 37/567 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 41 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[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 42/476 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 42/326 80/2000 PGCD-COL-D04N050-UpperBounds-07 23093366 m, 494226 m/sec, 54677103 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 42/476 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 42/562 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 46 secs. Pages in use: 80
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 47/471 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 47/326 88/2000 PGCD-COL-D04N050-UpperBounds-07 25567287 m, 494784 m/sec, 60746393 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 47/471 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 47/557 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 51 secs. Pages in use: 88
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 52/466 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 52/326 97/2000 PGCD-COL-D04N050-UpperBounds-07 27969704 m, 480483 m/sec, 66710677 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 52/466 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 52/552 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 56 secs. Pages in use: 97
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 57/461 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 57/326 104/2000 PGCD-COL-D04N050-UpperBounds-07 30246727 m, 455404 m/sec, 72481418 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 57/461 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 57/547 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 61 secs. Pages in use: 104
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 62/456 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 62/326 112/2000 PGCD-COL-D04N050-UpperBounds-07 32561995 m, 463053 m/sec, 78271160 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 62/456 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 62/542 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 66 secs. Pages in use: 112
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 67/451 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 67/326 120/2000 PGCD-COL-D04N050-UpperBounds-07 34856500 m, 458901 m/sec, 84050097 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 67/451 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 67/537 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 71 secs. Pages in use: 120
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 72/446 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 72/326 128/2000 PGCD-COL-D04N050-UpperBounds-07 37102862 m, 449272 m/sec, 89736682 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 72/446 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 72/532 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 76 secs. Pages in use: 128
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 77/441 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 77/326 136/2000 PGCD-COL-D04N050-UpperBounds-07 39379557 m, 455339 m/sec, 95479074 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 77/441 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 77/527 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 81 secs. Pages in use: 136
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 82/436 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 82/326 143/2000 PGCD-COL-D04N050-UpperBounds-07 41588236 m, 441735 m/sec, 101078606 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 82/436 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 82/522 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 86 secs. Pages in use: 143
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 87/431 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 87/326 151/2000 PGCD-COL-D04N050-UpperBounds-07 43746776 m, 431708 m/sec, 106651479 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 87/431 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 87/517 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 91 secs. Pages in use: 151
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 92/426 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 92/326 158/2000 PGCD-COL-D04N050-UpperBounds-07 45949456 m, 440536 m/sec, 112218718 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 92/426 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 92/512 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 96 secs. Pages in use: 158
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 97/421 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 97/326 166/2000 PGCD-COL-D04N050-UpperBounds-07 48161654 m, 442439 m/sec, 117848043 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 97/421 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 97/507 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 101 secs. Pages in use: 166
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 102/416 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 102/326 174/2000 PGCD-COL-D04N050-UpperBounds-07 50391501 m, 445969 m/sec, 123498595 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 102/416 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 102/502 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 106 secs. Pages in use: 174
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 107/411 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 107/326 181/2000 PGCD-COL-D04N050-UpperBounds-07 52540955 m, 429890 m/sec, 129032085 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 107/411 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 107/497 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 111 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[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 112/406 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 112/326 188/2000 PGCD-COL-D04N050-UpperBounds-07 54737745 m, 439358 m/sec, 134628477 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 112/406 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 112/492 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 116 secs. Pages in use: 188
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 117/401 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 117/326 196/2000 PGCD-COL-D04N050-UpperBounds-07 56943621 m, 441175 m/sec, 140210527 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 117/401 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 117/487 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 121 secs. Pages in use: 196
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 122/396 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 122/326 204/2000 PGCD-COL-D04N050-UpperBounds-07 59145992 m, 440474 m/sec, 145818650 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 122/396 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 122/482 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 126 secs. Pages in use: 204
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 127/391 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 127/326 211/2000 PGCD-COL-D04N050-UpperBounds-07 61252208 m, 421243 m/sec, 151261541 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 127/391 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 127/477 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 131 secs. Pages in use: 211
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 132/386 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 132/326 218/2000 PGCD-COL-D04N050-UpperBounds-07 63341183 m, 417795 m/sec, 156661735 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 132/386 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 132/472 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 136 secs. Pages in use: 218
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 137/381 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 137/326 225/2000 PGCD-COL-D04N050-UpperBounds-07 65393650 m, 410493 m/sec, 161979262 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 137/381 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 137/467 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 141 secs. Pages in use: 225
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 142/376 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 142/326 232/2000 PGCD-COL-D04N050-UpperBounds-07 67393526 m, 399975 m/sec, 167223171 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 142/376 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 142/462 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 146 secs. Pages in use: 232
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 147/371 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 147/326 239/2000 PGCD-COL-D04N050-UpperBounds-07 69453824 m, 412059 m/sec, 172530200 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 147/371 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 147/457 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 151 secs. Pages in use: 239
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 152/366 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 152/326 246/2000 PGCD-COL-D04N050-UpperBounds-07 71542014 m, 417638 m/sec, 177884293 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 152/366 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 152/452 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 156 secs. Pages in use: 246
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 157/361 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 157/326 253/2000 PGCD-COL-D04N050-UpperBounds-07 73616554 m, 414908 m/sec, 183208534 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 157/361 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 157/447 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 161 secs. Pages in use: 253
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 162/356 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 162/326 260/2000 PGCD-COL-D04N050-UpperBounds-07 75667328 m, 410154 m/sec, 188524829 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 162/356 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 162/442 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 166 secs. Pages in use: 260
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 167/351 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 167/326 267/2000 PGCD-COL-D04N050-UpperBounds-07 77732212 m, 412976 m/sec, 193819720 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 167/351 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 167/437 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 171 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[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 172/346 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 172/326 274/2000 PGCD-COL-D04N050-UpperBounds-07 79720375 m, 397632 m/sec, 199006818 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 172/346 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 172/432 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 176 secs. Pages in use: 274
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 177/341 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 177/326 281/2000 PGCD-COL-D04N050-UpperBounds-07 81689848 m, 393894 m/sec, 204176744 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 177/341 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 177/427 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 181 secs. Pages in use: 281
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 182/336 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 182/326 288/2000 PGCD-COL-D04N050-UpperBounds-07 83672042 m, 396438 m/sec, 209336688 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 182/336 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 182/422 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 186 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[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 187/331 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 187/326 295/2000 PGCD-COL-D04N050-UpperBounds-07 85659275 m, 397446 m/sec, 214514181 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 187/331 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 187/417 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 191 secs. Pages in use: 295
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 192/326 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 192/326 302/2000 PGCD-COL-D04N050-UpperBounds-07 87678773 m, 403899 m/sec, 219715415 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 192/326 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 192/412 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 196 secs. Pages in use: 302
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 197/321 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 197/326 309/2000 PGCD-COL-D04N050-UpperBounds-07 89716332 m, 407511 m/sec, 224943137 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 197/321 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 197/407 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 201 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[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 202/316 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 202/326 315/2000 PGCD-COL-D04N050-UpperBounds-07 91644447 m, 385623 m/sec, 230017413 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 202/316 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 202/402 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 206 secs. Pages in use: 315
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 207/311 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 207/326 322/2000 PGCD-COL-D04N050-UpperBounds-07 93675622 m, 406235 m/sec, 235226305 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 207/311 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 207/397 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 211 secs. Pages in use: 322
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 212/306 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 212/326 329/2000 PGCD-COL-D04N050-UpperBounds-07 95651696 m, 395214 m/sec, 240377368 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 212/306 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 212/392 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 216 secs. Pages in use: 329
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 217/301 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 217/326 336/2000 PGCD-COL-D04N050-UpperBounds-07 97630044 m, 395669 m/sec, 245499839 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 217/301 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 217/387 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 221 secs. Pages in use: 336
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 222/296 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 222/326 342/2000 PGCD-COL-D04N050-UpperBounds-07 99583200 m, 390631 m/sec, 250613332 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 222/296 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 222/382 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 226 secs. Pages in use: 342
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 227/291 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 227/326 349/2000 PGCD-COL-D04N050-UpperBounds-07 101530850 m, 389530 m/sec, 255713031 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 227/291 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 227/377 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 231 secs. Pages in use: 349
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 232/286 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 232/326 356/2000 PGCD-COL-D04N050-UpperBounds-07 103415231 m, 376876 m/sec, 260748752 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 232/286 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 232/372 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 236 secs. Pages in use: 356
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 237/281 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 237/326 362/2000 PGCD-COL-D04N050-UpperBounds-07 105304207 m, 377795 m/sec, 265754404 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 237/281 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 237/367 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 241 secs. Pages in use: 362
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 242/276 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 242/326 369/2000 PGCD-COL-D04N050-UpperBounds-07 107197495 m, 378657 m/sec, 270796742 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 242/276 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 242/362 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 246 secs. Pages in use: 369
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 247/271 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 247/326 375/2000 PGCD-COL-D04N050-UpperBounds-07 109079186 m, 376338 m/sec, 275810574 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 247/271 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 247/357 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 251 secs. Pages in use: 375
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 252/266 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 252/326 381/2000 PGCD-COL-D04N050-UpperBounds-07 110959662 m, 376095 m/sec, 280820761 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 252/266 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 252/352 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 256 secs. Pages in use: 381
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 60 BOUND FNDP 257/261 0/5 PGCD-COL-D04N050-UpperBounds-07 .
[[35mlola[0m][.] 62 BOUND EXCL 257/326 388/2000 PGCD-COL-D04N050-UpperBounds-07 112883288 m, 384725 m/sec, 285852828 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 66 BOUND FNDP 257/261 0/5 PGCD-COL-D04N050-UpperBounds-03 .
[[35mlola[0m][.] 69 BOUND FNDP 257/347 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 261 secs. Pages in use: 388
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 60 (type FNDP) for PGCD-COL-D04N050-UpperBounds-07 (local timeout)
[[35mlola[0m][W] CANCELED task # 66 (type FNDP) for PGCD-COL-D04N050-UpperBounds-03 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-00: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: 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][.] 62 BOUND EXCL 262/326 395/2000 PGCD-COL-D04N050-UpperBounds-07 114835713 m, 390485 m/sec, 290919762 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 262/342 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 266 secs. Pages in use: 395
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 72 (type FNDP) for 39 PGCD-COL-D04N050-UpperBounds-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 73 (type EQUN) for 39 PGCD-COL-D04N050-UpperBounds-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 73 (type EQUN) for PGCD-COL-D04N050-UpperBounds-13
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 75 (type FNDP) for 0 PGCD-COL-D04N050-UpperBounds-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural@Findpath: 255 (upper 255 threshold 0
[[35mlola[0m][I] FINISHED task # 75 (type FNDP) for PGCD-COL-D04N050-UpperBounds-00
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] LAUNCH task # 78 (type FNDP) for 12 PGCD-COL-D04N050-UpperBounds-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural@Findpath: 255 (upper 255 threshold 0
[[35mlola[0m][I] FINISHED task # 78 (type FNDP) for PGCD-COL-D04N050-UpperBounds-04
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] LAUNCH task # 81 (type FNDP) for 15 PGCD-COL-D04N050-UpperBounds-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 267/399 401/2000 PGCD-COL-D04N050-UpperBounds-07 116775557 m, 387968 m/sec, 295976803 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 267/637 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 5/833 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 5/666 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 271 secs. Pages in use: 401
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 272/399 408/2000 PGCD-COL-D04N050-UpperBounds-07 118597119 m, 364312 m/sec, 300865102 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 272/632 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 10/828 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 10/661 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 276 secs. Pages in use: 408
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 277/399 414/2000 PGCD-COL-D04N050-UpperBounds-07 120519686 m, 384513 m/sec, 305885097 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 277/627 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 15/823 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 15/656 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 281 secs. Pages in use: 414
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 282/399 421/2000 PGCD-COL-D04N050-UpperBounds-07 122363848 m, 368832 m/sec, 310784713 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 282/622 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 20/818 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 20/651 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 286 secs. Pages in use: 421
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 287/399 427/2000 PGCD-COL-D04N050-UpperBounds-07 124310678 m, 389366 m/sec, 315800279 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 287/617 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 25/813 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 25/646 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 291 secs. Pages in use: 427
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 292/399 434/2000 PGCD-COL-D04N050-UpperBounds-07 126136647 m, 365193 m/sec, 320651482 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 292/612 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 30/808 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 30/641 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 296 secs. Pages in use: 434
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 297/399 440/2000 PGCD-COL-D04N050-UpperBounds-07 127974836 m, 367637 m/sec, 325527485 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 297/607 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 35/803 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 35/636 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 301 secs. Pages in use: 440
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 302/399 446/2000 PGCD-COL-D04N050-UpperBounds-07 129802629 m, 365558 m/sec, 330392699 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 302/602 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 40/798 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 40/631 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 306 secs. Pages in use: 446
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 307/399 452/2000 PGCD-COL-D04N050-UpperBounds-07 131629171 m, 365308 m/sec, 335282740 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 307/597 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 45/793 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 45/626 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 311 secs. Pages in use: 452
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 312/399 459/2000 PGCD-COL-D04N050-UpperBounds-07 133439866 m, 362139 m/sec, 340145367 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 312/592 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 50/788 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 50/621 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 316 secs. Pages in use: 459
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 317/399 465/2000 PGCD-COL-D04N050-UpperBounds-07 135235479 m, 359122 m/sec, 344986168 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 317/587 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 55/783 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 55/616 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 321 secs. Pages in use: 465
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 322/399 471/2000 PGCD-COL-D04N050-UpperBounds-07 137131423 m, 379188 m/sec, 349939810 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 322/582 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 60/778 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 60/611 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 326 secs. Pages in use: 471
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 327/399 478/2000 PGCD-COL-D04N050-UpperBounds-07 138982292 m, 370173 m/sec, 354829310 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 327/577 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 65/773 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 65/606 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 331 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[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 332/399 484/2000 PGCD-COL-D04N050-UpperBounds-07 140787060 m, 360953 m/sec, 359685284 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 332/572 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 70/768 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 70/601 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 336 secs. Pages in use: 484
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 337/399 490/2000 PGCD-COL-D04N050-UpperBounds-07 142627609 m, 368109 m/sec, 364536822 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 337/567 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 75/763 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 75/596 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 341 secs. Pages in use: 490
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 342/399 497/2000 PGCD-COL-D04N050-UpperBounds-07 144608631 m, 396204 m/sec, 369584004 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 342/562 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 80/758 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 80/591 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 346 secs. Pages in use: 497
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 347/399 503/2000 PGCD-COL-D04N050-UpperBounds-07 146487985 m, 375870 m/sec, 374520157 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 347/557 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 85/753 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 85/586 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 351 secs. Pages in use: 503
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 352/399 509/2000 PGCD-COL-D04N050-UpperBounds-07 148241923 m, 350787 m/sec, 379281062 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 352/552 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 90/748 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 90/581 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 356 secs. Pages in use: 509
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 357/399 516/2000 PGCD-COL-D04N050-UpperBounds-07 150105820 m, 372779 m/sec, 384160801 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 357/547 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 95/743 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 95/576 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 361 secs. Pages in use: 516
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 362/399 522/2000 PGCD-COL-D04N050-UpperBounds-07 151938658 m, 366567 m/sec, 389048109 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 362/542 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 100/738 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 100/571 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 366 secs. Pages in use: 522
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 367/399 528/2000 PGCD-COL-D04N050-UpperBounds-07 153761538 m, 364576 m/sec, 393897572 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 367/537 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 105/733 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 105/566 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 371 secs. Pages in use: 528
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 372/399 535/2000 PGCD-COL-D04N050-UpperBounds-07 155639939 m, 375680 m/sec, 398850371 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 372/532 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 110/728 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 110/561 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 376 secs. Pages in use: 535
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 377/399 541/2000 PGCD-COL-D04N050-UpperBounds-07 157523077 m, 376627 m/sec, 403791989 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 377/527 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 115/723 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 115/556 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 381 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[33mPGCD-COL-D04N050-UpperBounds-00: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-01: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-02: BOUND 255 state space[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-04: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-10: BOUND 255 findpath[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-14: BOUND 255 state equation[0m
[[35mlola[0m][.] [1m[33mPGCD-COL-D04N050-UpperBounds-15: BOUND 255 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-03: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-05: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-06: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-07: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-11: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-12: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PGCD-COL-D04N050-UpperBounds-13: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 62 BOUND EXCL 383/399 547/2000 PGCD-COL-D04N050-UpperBounds-07 159150662 m, 325517 m/sec, 408130748 t fired, result in [253,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 383/522 0/5 PGCD-COL-D04N050-UpperBounds-09 .
[[35mlola[0m][.] 72 BOUND FNDP 121/718 0/5 PGCD-COL-D04N050-UpperBounds-13 .
[[35mlola[0m][.] 81 BOUND FNDP 121/551 0/5 PGCD-COL-D04N050-UpperBounds-05 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 387 secs. Pages in use: 547
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 410 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="PGCD-COL-D04N050"
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 PGCD-COL-D04N050, 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 r247-tall-171654354000725"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PGCD-COL-D04N050.tgz
mv PGCD-COL-D04N050 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 '
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 ;