About the Execution of LoLA for FunctionPointer-PT-a128
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16202.651 | 302798.00 | 306908.00 | 1331.80 | 0 ? ? ? ? 0 ? ? ? ? ? 1 ? ? 0 ? | normal |
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.r181-tall-171640604800213.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 FunctionPointer-PT-a128, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-tall-171640604800213
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 8.9K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 22 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 22 14:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 19 07:18 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 18:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 71K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Apr 11 16:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Apr 11 16:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 19 07:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 19 15:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 34K May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-00
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-01
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-02
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-03
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-04
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-05
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-06
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-07
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-08
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-09
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-10
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-11
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-12
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-13
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-14
FORMULA_NAME FunctionPointer-PT-a128-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1717029996208
FORMULA FunctionPointer-PT-a128-UpperBounds-00 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-UpperBounds-05 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-UpperBounds-14 0 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a128-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1717030299006
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mUpperBounds.xml[0m
[[35mlola[0m][I] Rule S: 4 transitions removed,6 places removed
[[35mlola[0m][I] Structural Bound for (0 <= 0) is 0
[[35mlola[0m][I] LAUNCH task # 50 (type EXCL) for 0 FunctionPointer-PT-a128-UpperBounds-00
[[35mlola[0m][I] time limit : 225 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 0 FunctionPointer-PT-a128-UpperBounds-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 0 FunctionPointer-PT-a128-UpperBounds-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 50 (type EXCL) for FunctionPointer-PT-a128-UpperBounds-00
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for FunctionPointer-PT-a128-UpperBounds-00 (obsolete)
[[35mlola[0m][W] CANCELED task # 49 (type EQUN) for FunctionPointer-PT-a128-UpperBounds-00 (obsolete)
[[35mlola[0m][I] Structural Bound for (0 <= 0) is 0
[[35mlola[0m][I] Structural Bound for (0 <= 0) is 0
[[35mlola[0m][I] LAUNCH task # 53 (type EXCL) for 15 FunctionPointer-PT-a128-UpperBounds-05
[[35mlola[0m][I] time limit : 240 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 51 (type FNDP) for 15 FunctionPointer-PT-a128-UpperBounds-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 52 (type EQUN) for 15 FunctionPointer-PT-a128-UpperBounds-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 53 (type EXCL) for FunctionPointer-PT-a128-UpperBounds-05
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 51 (type FNDP) for FunctionPointer-PT-a128-UpperBounds-05 (obsolete)
[[35mlola[0m][W] CANCELED task # 52 (type EQUN) for FunctionPointer-PT-a128-UpperBounds-05 (obsolete)
[[35mlola[0m][I] Structural Bound for (l11 <= 0) is 1073741824
[[35mlola[0m][I] LAUNCH task # 56 (type EXCL) for 42 FunctionPointer-PT-a128-UpperBounds-14
[[35mlola[0m][I] time limit : 257 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 54 (type FNDP) for 42 FunctionPointer-PT-a128-UpperBounds-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 55 (type EQUN) for 42 FunctionPointer-PT-a128-UpperBounds-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 56 (type EXCL) for FunctionPointer-PT-a128-UpperBounds-14
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] FINISHED task # 52 (type EQUN) for FunctionPointer-PT-a128-UpperBounds-05
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 54 (type FNDP) for FunctionPointer-PT-a128-UpperBounds-14 (obsolete)
[[35mlola[0m][W] CANCELED task # 55 (type EQUN) for FunctionPointer-PT-a128-UpperBounds-14 (obsolete)
[[35mlola[0m][I] LAUNCH task # 59 (type EXCL) for 18 FunctionPointer-PT-a128-UpperBounds-06
[[35mlola[0m][I] time limit : 276 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 57 (type FNDP) for 18 FunctionPointer-PT-a128-UpperBounds-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 58 (type EQUN) for 18 FunctionPointer-PT-a128-UpperBounds-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural Bound for (l3 <= 0) is 1073741824
[[35mlola[0m][I] LAUNCH task # 60 (type FNDP) for 36 FunctionPointer-PT-a128-UpperBounds-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] Structural@Findpath: 0 (upper 0 threshold 0
[[35mlola[0m][I] FINISHED task # 58 (type EQUN) for FunctionPointer-PT-a128-UpperBounds-06
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 61 (type EQUN) for 36 FunctionPointer-PT-a128-UpperBounds-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 54 (type FNDP) for FunctionPointer-PT-a128-UpperBounds-14
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] FINISHED task # 61 (type EQUN) for FunctionPointer-PT-a128-UpperBounds-12
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] Structural Bound for (l15 <= 0) is 1
[[35mlola[0m][I] LAUNCH task # 63 (type FNDP) for 33 FunctionPointer-PT-a128-UpperBounds-11
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 49 (type EQUN) for FunctionPointer-PT-a128-UpperBounds-00
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] Structural Bound for (l5 <= 0) is 1073741824
[[35mlola[0m][I] Structural@Findpath: 0 (upper 0 threshold 0
[[35mlola[0m][I] FINISHED task # 51 (type FNDP) for FunctionPointer-PT-a128-UpperBounds-05
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] Structural@Findpath: 0 (upper 0 threshold 0
[[35mlola[0m][I] FINISHED task # 48 (type FNDP) for FunctionPointer-PT-a128-UpperBounds-00
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] Structural Bound for (l12 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (l18 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (l20 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (l13 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (l14 <= 0) is 1
[[35mlola[0m][I] Structural Bound for (l16 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (l26 <= 0) is 1073741824
[[35mlola[0m][I] Structural@Findpath: 1 (upper 1 threshold 0
[[35mlola[0m][I] FINISHED task # 63 (type FNDP) for FunctionPointer-PT-a128-UpperBounds-11
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] LAUNCH task # 66 (type FNDP) for 27 FunctionPointer-PT-a128-UpperBounds-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 55 (type EQUN) for FunctionPointer-PT-a128-UpperBounds-14
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] Structural Bound for (l16 <= 0) is 1073741824
[[35mlola[0m][I] Structural Bound for (s2 <= 0) is 1073741824
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 5/450 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 5/300 12/2000 FunctionPointer-PT-a128-UpperBounds-06 3414994 m, 682998 m/sec, 3414994 t fired, result in [682972,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 5/514 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 5/514 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 5 secs. Pages in use: 12
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 10/445 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 10/300 24/2000 FunctionPointer-PT-a128-UpperBounds-06 6827849 m, 682571 m/sec, 6827848 t fired, result in [1365543,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 10/509 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 10/509 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 10 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 15/440 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 15/300 36/2000 FunctionPointer-PT-a128-UpperBounds-06 10204421 m, 675314 m/sec, 10204421 t fired, result in [2040858,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 15/504 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 15/504 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 15 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[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 20/435 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 20/300 47/2000 FunctionPointer-PT-a128-UpperBounds-06 13584431 m, 676002 m/sec, 13584431 t fired, result in [2716860,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 20/499 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 20/499 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 20 secs. Pages in use: 47
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 25/430 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 25/300 59/2000 FunctionPointer-PT-a128-UpperBounds-06 16939369 m, 670987 m/sec, 16939369 t fired, result in [3387847,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 25/494 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 25/494 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 25 secs. Pages in use: 59
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 30/425 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 30/300 70/2000 FunctionPointer-PT-a128-UpperBounds-06 20271272 m, 666380 m/sec, 20271271 t fired, result in [4054228,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 30/489 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 30/489 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 30 secs. Pages in use: 70
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 35/420 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 35/300 82/2000 FunctionPointer-PT-a128-UpperBounds-06 23607539 m, 667253 m/sec, 23607539 t fired, result in [4721481,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 35/484 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 35/484 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 35 secs. Pages in use: 82
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 40/415 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 40/300 93/2000 FunctionPointer-PT-a128-UpperBounds-06 26918037 m, 662099 m/sec, 26918036 t fired, result in [5383581,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 40/479 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 40/479 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 40 secs. Pages in use: 93
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 45/410 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 45/300 104/2000 FunctionPointer-PT-a128-UpperBounds-06 30203912 m, 657175 m/sec, 30203911 t fired, result in [6040756,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 45/474 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 45/474 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 45 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[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 50/405 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 50/300 116/2000 FunctionPointer-PT-a128-UpperBounds-06 33519213 m, 663060 m/sec, 33519212 t fired, result in [6703816,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 50/469 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 50/469 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 50 secs. Pages in use: 116
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 55/400 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 55/300 127/2000 FunctionPointer-PT-a128-UpperBounds-06 36816621 m, 659481 m/sec, 36816620 t fired, result in [7363298,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 55/464 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 55/464 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 55 secs. Pages in use: 127
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 60/395 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 60/300 138/2000 FunctionPointer-PT-a128-UpperBounds-06 40104989 m, 657673 m/sec, 40104989 t fired, result in [8020971,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 60/459 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 60/459 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 60 secs. Pages in use: 138
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 65/390 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 65/300 150/2000 FunctionPointer-PT-a128-UpperBounds-06 43406071 m, 660216 m/sec, 43406071 t fired, result in [8681188,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 65/454 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 65/454 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 65 secs. Pages in use: 150
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 70/385 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 70/300 161/2000 FunctionPointer-PT-a128-UpperBounds-06 46725266 m, 663839 m/sec, 46725265 t fired, result in [9345027,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 70/449 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 70/449 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 70 secs. Pages in use: 161
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 75/380 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 75/300 172/2000 FunctionPointer-PT-a128-UpperBounds-06 50022405 m, 659427 m/sec, 50022405 t fired, result in [10004455,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 75/444 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 75/444 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 75 secs. Pages in use: 172
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 80/375 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 80/300 184/2000 FunctionPointer-PT-a128-UpperBounds-06 53313244 m, 658167 m/sec, 53313243 t fired, result in [10662622,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 80/439 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 80/439 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 80 secs. Pages in use: 184
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 85/370 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 85/300 195/2000 FunctionPointer-PT-a128-UpperBounds-06 56599267 m, 657204 m/sec, 56599267 t fired, result in [11319827,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 85/434 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 85/434 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 85 secs. Pages in use: 195
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 90/365 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 90/300 206/2000 FunctionPointer-PT-a128-UpperBounds-06 59858012 m, 651749 m/sec, 59858011 t fired, result in [11971576,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 90/429 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 90/429 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 90 secs. Pages in use: 206
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 95/360 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 95/300 217/2000 FunctionPointer-PT-a128-UpperBounds-06 63110668 m, 650531 m/sec, 63110667 t fired, result in [12622107,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 95/424 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 95/424 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 95 secs. Pages in use: 217
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 100/355 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 100/300 229/2000 FunctionPointer-PT-a128-UpperBounds-06 66411300 m, 660126 m/sec, 66411300 t fired, result in [13282233,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 100/419 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 100/419 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 100 secs. Pages in use: 229
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 105/350 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 105/300 240/2000 FunctionPointer-PT-a128-UpperBounds-06 69685632 m, 654866 m/sec, 69685631 t fired, result in [13937100,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 105/414 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 105/414 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 105 secs. Pages in use: 240
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 110/345 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 110/300 251/2000 FunctionPointer-PT-a128-UpperBounds-06 72931135 m, 649100 m/sec, 72931135 t fired, result in [14586200,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 110/409 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 110/409 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 110 secs. Pages in use: 251
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 115/340 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 115/300 262/2000 FunctionPointer-PT-a128-UpperBounds-06 76196021 m, 652977 m/sec, 76196020 t fired, result in [15239178,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 115/404 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 115/404 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 115 secs. Pages in use: 262
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 120/335 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 120/300 273/2000 FunctionPointer-PT-a128-UpperBounds-06 79407375 m, 642270 m/sec, 79407375 t fired, result in [15881449,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 120/399 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 120/399 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 120 secs. Pages in use: 273
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 125/330 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 125/300 284/2000 FunctionPointer-PT-a128-UpperBounds-06 82602551 m, 639035 m/sec, 82602551 t fired, result in [16520484,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 125/394 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 125/394 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 125 secs. Pages in use: 284
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 130/325 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 130/300 295/2000 FunctionPointer-PT-a128-UpperBounds-06 85898570 m, 659203 m/sec, 85898569 t fired, result in [17179687,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 130/389 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 130/389 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 130 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[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 135/320 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 135/300 307/2000 FunctionPointer-PT-a128-UpperBounds-06 89186287 m, 657543 m/sec, 89186287 t fired, result in [17837231,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 135/384 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 135/384 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 135 secs. Pages in use: 307
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 140/315 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 140/300 318/2000 FunctionPointer-PT-a128-UpperBounds-06 92471584 m, 657059 m/sec, 92471584 t fired, result in [18494290,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 140/379 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 140/379 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 140 secs. Pages in use: 318
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 145/310 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 145/300 329/2000 FunctionPointer-PT-a128-UpperBounds-06 95744837 m, 654650 m/sec, 95744837 t fired, result in [19148941,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 145/374 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 145/374 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 145 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[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 150/305 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 150/300 341/2000 FunctionPointer-PT-a128-UpperBounds-06 99012298 m, 653492 m/sec, 99012298 t fired, result in [19802433,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 150/369 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 150/369 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 150 secs. Pages in use: 341
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 155/300 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 155/300 352/2000 FunctionPointer-PT-a128-UpperBounds-06 102264926 m, 650525 m/sec, 102264926 t fired, result in [20452959,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 155/364 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 155/364 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 155 secs. Pages in use: 352
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 160/295 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 160/300 363/2000 FunctionPointer-PT-a128-UpperBounds-06 105418012 m, 630617 m/sec, 105418011 t fired, result in [21083576,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 160/359 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 160/359 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 160 secs. Pages in use: 363
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 165/290 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 165/300 374/2000 FunctionPointer-PT-a128-UpperBounds-06 108687260 m, 653849 m/sec, 108687259 t fired, result in [21737425,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 165/354 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 165/354 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 165 secs. Pages in use: 374
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 170/285 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 170/300 385/2000 FunctionPointer-PT-a128-UpperBounds-06 111916212 m, 645790 m/sec, 111916212 t fired, result in [22383216,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 170/349 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 170/349 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 170 secs. Pages in use: 385
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 175/280 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 175/300 396/2000 FunctionPointer-PT-a128-UpperBounds-06 115131254 m, 643008 m/sec, 115131254 t fired, result in [23026224,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 175/344 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 175/344 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 175 secs. Pages in use: 396
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 180/275 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 180/300 407/2000 FunctionPointer-PT-a128-UpperBounds-06 118380199 m, 649789 m/sec, 118380199 t fired, result in [23676013,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 180/339 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 180/339 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 180 secs. Pages in use: 407
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 185/270 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 185/300 418/2000 FunctionPointer-PT-a128-UpperBounds-06 121570955 m, 638151 m/sec, 121570955 t fired, result in [24314164,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 185/334 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 185/334 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 185 secs. Pages in use: 418
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 190/265 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 190/300 429/2000 FunctionPointer-PT-a128-UpperBounds-06 124744141 m, 634637 m/sec, 124744141 t fired, result in [24948802,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 190/329 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 190/329 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 190 secs. Pages in use: 429
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 195/260 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 195/300 440/2000 FunctionPointer-PT-a128-UpperBounds-06 127912043 m, 633580 m/sec, 127912042 t fired, result in [25582382,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 195/324 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 195/324 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 195 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[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 200/255 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 200/300 450/2000 FunctionPointer-PT-a128-UpperBounds-06 131039801 m, 625551 m/sec, 131039800 t fired, result in [26207934,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 200/319 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 200/319 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 200 secs. Pages in use: 450
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 205/250 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 205/300 461/2000 FunctionPointer-PT-a128-UpperBounds-06 134221351 m, 636310 m/sec, 134221351 t fired, result in [26844244,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 205/314 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 205/314 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 205 secs. Pages in use: 461
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 210/245 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 210/300 472/2000 FunctionPointer-PT-a128-UpperBounds-06 137449056 m, 645541 m/sec, 137449056 t fired, result in [27489785,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 210/309 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 210/309 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 210 secs. Pages in use: 472
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 215/240 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 215/300 484/2000 FunctionPointer-PT-a128-UpperBounds-06 140655356 m, 641260 m/sec, 140655356 t fired, result in [28131045,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 215/304 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 215/304 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 215 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[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 220/235 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 220/300 494/2000 FunctionPointer-PT-a128-UpperBounds-06 143836646 m, 636258 m/sec, 143836646 t fired, result in [28767303,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 220/299 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 220/299 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 220 secs. Pages in use: 494
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 2 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 BOUND FNDP 225/230 0/5 FunctionPointer-PT-a128-UpperBounds-06 .
[[35mlola[0m][.] 59 BOUND EXCL 225/300 505/2000 FunctionPointer-PT-a128-UpperBounds-06 147013269 m, 635324 m/sec, 147013268 t fired, result in [29402627,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 225/294 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 225/294 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 225 secs. Pages in use: 505
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 57 (type FNDP) for FunctionPointer-PT-a128-UpperBounds-06 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 230/300 516/2000 FunctionPointer-PT-a128-UpperBounds-06 150231329 m, 643612 m/sec, 150231328 t fired, result in [30046239,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 230/289 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 230/289 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 230 secs. Pages in use: 516
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 69 (type FNDP) for 3 FunctionPointer-PT-a128-UpperBounds-01
[[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[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 235/300 527/2000 FunctionPointer-PT-a128-UpperBounds-06 153429250 m, 639584 m/sec, 153429250 t fired, result in [30685823,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 235/284 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 235/284 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.] 69 BOUND FNDP 5/481 0/5 FunctionPointer-PT-a128-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 235 secs. Pages in use: 527
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 240/300 538/2000 FunctionPointer-PT-a128-UpperBounds-06 156632058 m, 640561 m/sec, 156632058 t fired, result in [31326385,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 240/279 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 240/279 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.] 69 BOUND FNDP 10/476 0/5 FunctionPointer-PT-a128-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 240 secs. Pages in use: 538
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 245/300 549/2000 FunctionPointer-PT-a128-UpperBounds-06 159860768 m, 645742 m/sec, 159860768 t fired, result in [31972127,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 245/274 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 245/274 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.] 69 BOUND FNDP 15/471 0/5 FunctionPointer-PT-a128-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 245 secs. Pages in use: 549
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 250/300 560/2000 FunctionPointer-PT-a128-UpperBounds-06 163075118 m, 642870 m/sec, 163075118 t fired, result in [32614997,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 250/269 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 250/269 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.] 69 BOUND FNDP 20/466 0/5 FunctionPointer-PT-a128-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 250 secs. Pages in use: 560
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 255/300 571/2000 FunctionPointer-PT-a128-UpperBounds-06 166272573 m, 639491 m/sec, 166272572 t fired, result in [33254488,1073741824] .
[[35mlola[0m][.] 60 BOUND FNDP 255/264 0/5 FunctionPointer-PT-a128-UpperBounds-12 .
[[35mlola[0m][.] 66 BOUND FNDP 255/264 0/5 FunctionPointer-PT-a128-UpperBounds-09 .
[[35mlola[0m][.] 69 BOUND FNDP 25/461 0/5 FunctionPointer-PT-a128-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 255 secs. Pages in use: 571
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 60 (type FNDP) for FunctionPointer-PT-a128-UpperBounds-12 (local timeout)
[[35mlola[0m][W] CANCELED task # 66 (type FNDP) for FunctionPointer-PT-a128-UpperBounds-09 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 260/300 583/2000 FunctionPointer-PT-a128-UpperBounds-06 169526261 m, 650737 m/sec, 169526261 t fired, result in [33905226,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 30/456 0/5 FunctionPointer-PT-a128-UpperBounds-01 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 260 secs. Pages in use: 583
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 72 (type FNDP) for 6 FunctionPointer-PT-a128-UpperBounds-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 73 (type EQUN) for 6 FunctionPointer-PT-a128-UpperBounds-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 73 (type EQUN) for FunctionPointer-PT-a128-UpperBounds-02
[[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 39 FunctionPointer-PT-a128-UpperBounds-13
[[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[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 265/300 594/2000 FunctionPointer-PT-a128-UpperBounds-06 172804507 m, 655649 m/sec, 172804507 t fired, result in [34560875,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 35/531 0/5 FunctionPointer-PT-a128-UpperBounds-01 .
[[35mlola[0m][.] 72 BOUND FNDP 5/556 0/5 FunctionPointer-PT-a128-UpperBounds-02 .
[[35mlola[0m][.] 75 BOUND FNDP 5/556 0/5 FunctionPointer-PT-a128-UpperBounds-13 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 265 secs. Pages in use: 594
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 270/300 605/2000 FunctionPointer-PT-a128-UpperBounds-06 176064047 m, 651908 m/sec, 176064047 t fired, result in [35212783,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 40/526 0/5 FunctionPointer-PT-a128-UpperBounds-01 .
[[35mlola[0m][.] 72 BOUND FNDP 10/551 0/5 FunctionPointer-PT-a128-UpperBounds-02 .
[[35mlola[0m][.] 75 BOUND FNDP 10/551 0/5 FunctionPointer-PT-a128-UpperBounds-13 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 270 secs. Pages in use: 605
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 275/300 616/2000 FunctionPointer-PT-a128-UpperBounds-06 179315029 m, 650196 m/sec, 179315029 t fired, result in [35862979,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 45/521 0/5 FunctionPointer-PT-a128-UpperBounds-01 .
[[35mlola[0m][.] 72 BOUND FNDP 15/546 0/5 FunctionPointer-PT-a128-UpperBounds-02 .
[[35mlola[0m][.] 75 BOUND FNDP 15/546 0/5 FunctionPointer-PT-a128-UpperBounds-13 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 275 secs. Pages in use: 616
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 280/300 627/2000 FunctionPointer-PT-a128-UpperBounds-06 182566734 m, 650341 m/sec, 182566734 t fired, result in [36513320,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 50/516 0/5 FunctionPointer-PT-a128-UpperBounds-01 .
[[35mlola[0m][.] 72 BOUND FNDP 20/541 0/5 FunctionPointer-PT-a128-UpperBounds-02 .
[[35mlola[0m][.] 75 BOUND FNDP 20/541 0/5 FunctionPointer-PT-a128-UpperBounds-13 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 280 secs. Pages in use: 627
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 285/300 639/2000 FunctionPointer-PT-a128-UpperBounds-06 185800282 m, 646709 m/sec, 185800282 t fired, result in [37160030,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 55/511 0/5 FunctionPointer-PT-a128-UpperBounds-01 .
[[35mlola[0m][.] 72 BOUND FNDP 25/536 0/5 FunctionPointer-PT-a128-UpperBounds-02 .
[[35mlola[0m][.] 75 BOUND FNDP 25/536 0/5 FunctionPointer-PT-a128-UpperBounds-13 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 285 secs. Pages in use: 639
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 290/300 650/2000 FunctionPointer-PT-a128-UpperBounds-06 189025526 m, 645048 m/sec, 189025526 t fired, result in [37805079,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 60/506 0/5 FunctionPointer-PT-a128-UpperBounds-01 .
[[35mlola[0m][.] 72 BOUND FNDP 30/531 0/5 FunctionPointer-PT-a128-UpperBounds-02 .
[[35mlola[0m][.] 75 BOUND FNDP 30/531 0/5 FunctionPointer-PT-a128-UpperBounds-13 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 290 secs. Pages in use: 650
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 295/300 661/2000 FunctionPointer-PT-a128-UpperBounds-06 192290773 m, 653049 m/sec, 192290773 t fired, result in [38458128,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 65/501 0/5 FunctionPointer-PT-a128-UpperBounds-01 .
[[35mlola[0m][.] 72 BOUND FNDP 35/526 0/5 FunctionPointer-PT-a128-UpperBounds-02 .
[[35mlola[0m][.] 75 BOUND FNDP 35/526 0/5 FunctionPointer-PT-a128-UpperBounds-13 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 295 secs. Pages in use: 661
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-00: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-05: BOUND 0 state space[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-11: BOUND 1 findpath[0m
[[35mlola[0m][.] [1m[33mFunctionPointer-PT-a128-UpperBounds-14: BOUND 0 state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-01: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-02: BOUND 0 1 1 0 2 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-03: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-04: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-06: BOUND 0 0 1 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-07: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-08: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-09: BOUND 0 2 0 0 1 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-10: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-12: BOUND 0 1 0 0 2 1 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-13: BOUND 0 2 1 0 1 0 0 0
[[35mlola[0m][.] FunctionPointer-PT-a128-UpperBounds-15: BOUND 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 59 BOUND EXCL 302/300 670/2000 FunctionPointer-PT-a128-UpperBounds-06 194818818 m, 505609 m/sec, 194818818 t fired, result in [38963737,1073741824] .
[[35mlola[0m][.] 69 BOUND FNDP 72/496 0/5 FunctionPointer-PT-a128-UpperBounds-01 .
[[35mlola[0m][.] 72 BOUND FNDP 42/521 0/5 FunctionPointer-PT-a128-UpperBounds-02 .
[[35mlola[0m][.] 75 BOUND FNDP 42/521 0/5 FunctionPointer-PT-a128-UpperBounds-13 .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 302 secs. Pages in use: 670
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 412 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="FunctionPointer-PT-a128"
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 FunctionPointer-PT-a128, 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 r181-tall-171640604800213"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FunctionPointer-PT-a128.tgz
mv FunctionPointer-PT-a128 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 ;