Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...................
/home/mcc/execution
total 848K
-rw-r--r-- 1 mcc users 3.3K May 29 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 29 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 28 11:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 28 11:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 28 09:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 28 09:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 28 07:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 6.8K May 28 07:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.8K May 27 05:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 27 05:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 26 06:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 26 06:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 4 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 677K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ASLink-PT-07a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145300110
=====================================================================

--------------------
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 ASLink-PT-07a-UpperBounds-00
FORMULA_NAME ASLink-PT-07a-UpperBounds-01
FORMULA_NAME ASLink-PT-07a-UpperBounds-02
FORMULA_NAME ASLink-PT-07a-UpperBounds-03
FORMULA_NAME ASLink-PT-07a-UpperBounds-04
FORMULA_NAME ASLink-PT-07a-UpperBounds-05
FORMULA_NAME ASLink-PT-07a-UpperBounds-06
FORMULA_NAME ASLink-PT-07a-UpperBounds-07
FORMULA_NAME ASLink-PT-07a-UpperBounds-08
FORMULA_NAME ASLink-PT-07a-UpperBounds-09
FORMULA_NAME ASLink-PT-07a-UpperBounds-10
FORMULA_NAME ASLink-PT-07a-UpperBounds-11
FORMULA_NAME ASLink-PT-07a-UpperBounds-12
FORMULA_NAME ASLink-PT-07a-UpperBounds-13
FORMULA_NAME ASLink-PT-07a-UpperBounds-14
FORMULA_NAME ASLink-PT-07a-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1527867150765

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-07a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-07a formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-07a @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3974/65536 symbol table entries, 44 collisions
lola: preprocessing...
lola: Size of bit vector: 1601
lola: finding significant places
lola: 1601 places, 2373 transitions, 1293 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2678 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-07a-UpperBounds.task
lola: MAX(p1055) : MAX(p704) : MAX(p1342) : MAX(p1399) : MAX(p1488) : MAX(p218) : MAX(p1077) : MAX(p601) : MAX(p300) : MAX(p151) : MAX(p1026) : MAX(p425) : MAX(p216) : MAX(p407) : MAX(p130) : MAX(p270)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1055)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1055)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 121351 markings, 133206 edges, 24270 markings/sec, 30 secs
lola: 230448 markings, 275615 edges, 21819 markings/sec, 35 secs
lola: 342797 markings, 416016 edges, 22470 markings/sec, 40 secs
lola: 451683 markings, 561456 edges, 21777 markings/sec, 45 secs
lola: 554703 markings, 701215 edges, 20604 markings/sec, 50 secs
lola: 668111 markings, 843091 edges, 22682 markings/sec, 55 secs
lola: 777925 markings, 993068 edges, 21963 markings/sec, 60 secs
lola: 905864 markings, 1133516 edges, 25588 markings/sec, 65 secs
lola: 1018240 markings, 1279055 edges, 22475 markings/sec, 70 secs
lola: 1118090 markings, 1431630 edges, 19970 markings/sec, 75 secs
lola: 1245777 markings, 1571525 edges, 25537 markings/sec, 80 secs
lola: 1358591 markings, 1717517 edges, 22563 markings/sec, 85 secs
lola: 1472975 markings, 1859789 edges, 22877 markings/sec, 90 secs
lola: 1583988 markings, 2007701 edges, 22203 markings/sec, 95 secs
lola: 1710755 markings, 2146859 edges, 25353 markings/sec, 100 secs
lola: 1798087 markings, 2296613 edges, 17466 markings/sec, 105 secs
lola: 1921243 markings, 2431393 edges, 24631 markings/sec, 110 secs
lola: 2052092 markings, 2566005 edges, 26170 markings/sec, 115 secs
lola: 2185280 markings, 2704526 edges, 26638 markings/sec, 120 secs
lola: 2299055 markings, 2844215 edges, 22755 markings/sec, 125 secs
lola: 2425641 markings, 2980101 edges, 25317 markings/sec, 130 secs
lola: 2551221 markings, 3118730 edges, 25116 markings/sec, 135 secs
lola: 2676289 markings, 3256789 edges, 25014 markings/sec, 140 secs
lola: 2803680 markings, 3393375 edges, 25478 markings/sec, 145 secs
lola: 2935274 markings, 3530756 edges, 26319 markings/sec, 150 secs
lola: 3063887 markings, 3672024 edges, 25723 markings/sec, 155 secs
lola: 3192210 markings, 3812969 edges, 25665 markings/sec, 160 secs
lola: 3320411 markings, 3953759 edges, 25640 markings/sec, 165 secs
lola: 3448257 markings, 4094189 edges, 25569 markings/sec, 170 secs
lola: 3577010 markings, 4235358 edges, 25751 markings/sec, 175 secs
lola: 3704925 markings, 4375785 edges, 25583 markings/sec, 180 secs
lola: 3832515 markings, 4515928 edges, 25518 markings/sec, 185 secs
lola: 3959876 markings, 4655816 edges, 25472 markings/sec, 190 secs
lola: 4087503 markings, 4796044 edges, 25525 markings/sec, 195 secs
lola: 4210869 markings, 4938700 edges, 24673 markings/sec, 200 secs
lola: 4304649 markings, 5106329 edges, 18756 markings/sec, 205 secs
lola: 4397303 markings, 5273714 edges, 18531 markings/sec, 210 secs
lola: 4504381 markings, 5425653 edges, 21416 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 424012 KB
lola: time consumption: 240 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p704)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p704)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 343 markings, 342 edges
lola: ========================================

FORMULA ASLink-PT-07a-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1342)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1342)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 103740 markings, 110724 edges, 20748 markings/sec, 0 secs
lola: 217999 markings, 232258 edges, 22852 markings/sec, 5 secs
lola: 332304 markings, 354375 edges, 22861 markings/sec, 10 secs
lola: 441967 markings, 479279 edges, 21933 markings/sec, 15 secs
lola: 545624 markings, 605424 edges, 20731 markings/sec, 20 secs
lola: 650662 markings, 730673 edges, 21008 markings/sec, 25 secs
lola: 753475 markings, 857275 edges, 20563 markings/sec, 30 secs
lola: 861939 markings, 980940 edges, 21693 markings/sec, 35 secs
lola: 968762 markings, 1104276 edges, 21365 markings/sec, 40 secs
lola: 1071852 markings, 1230465 edges, 20618 markings/sec, 45 secs
lola: 1179533 markings, 1356119 edges, 21536 markings/sec, 50 secs
lola: 1285432 markings, 1480953 edges, 21180 markings/sec, 55 secs
lola: 1393843 markings, 1605395 edges, 21682 markings/sec, 60 secs
lola: 1501160 markings, 1730264 edges, 21463 markings/sec, 65 secs
lola: 1605132 markings, 1855459 edges, 20794 markings/sec, 70 secs
lola: 1715179 markings, 1978758 edges, 22009 markings/sec, 75 secs
lola: 1819151 markings, 2109252 edges, 20794 markings/sec, 80 secs
lola: 1934235 markings, 2230806 edges, 23017 markings/sec, 85 secs
lola: 2040850 markings, 2356504 edges, 21323 markings/sec, 90 secs
lola: 2154808 markings, 2478165 edges, 22792 markings/sec, 95 secs
lola: 2269970 markings, 2600089 edges, 23032 markings/sec, 100 secs
lola: 2365557 markings, 2731647 edges, 19117 markings/sec, 105 secs
lola: 2480056 markings, 2852887 edges, 22900 markings/sec, 110 secs
lola: 2592194 markings, 2974935 edges, 22428 markings/sec, 115 secs
lola: 2699945 markings, 3099159 edges, 21550 markings/sec, 120 secs
lola: 2815137 markings, 3221266 edges, 23038 markings/sec, 125 secs
lola: 2918077 markings, 3345530 edges, 20588 markings/sec, 130 secs
lola: 3024608 markings, 3473323 edges, 21306 markings/sec, 135 secs
lola: 3138257 markings, 3593642 edges, 22730 markings/sec, 140 secs
lola: 3246633 markings, 3723706 edges, 21675 markings/sec, 145 secs
lola: 3377974 markings, 3858925 edges, 26268 markings/sec, 150 secs
lola: 3509013 markings, 3993642 edges, 26208 markings/sec, 155 secs
lola: 3635971 markings, 4124806 edges, 25392 markings/sec, 160 secs
lola: 3767637 markings, 4262109 edges, 26333 markings/sec, 165 secs
lola: 3897702 markings, 4397505 edges, 26013 markings/sec, 170 secs
lola: 4027706 markings, 4531245 edges, 26001 markings/sec, 175 secs
lola: 4157771 markings, 4665255 edges, 26013 markings/sec, 180 secs
lola: 4288800 markings, 4799848 edges, 26206 markings/sec, 185 secs
lola: 4418982 markings, 4934058 edges, 26036 markings/sec, 190 secs
lola: 4548878 markings, 5068034 edges, 25979 markings/sec, 195 secs
lola: 4678754 markings, 5201958 edges, 25975 markings/sec, 200 secs
lola: 4810964 markings, 5338968 edges, 26442 markings/sec, 205 secs
lola: 4941909 markings, 5474165 edges, 26189 markings/sec, 210 secs
lola: 5073849 markings, 5610995 edges, 26388 markings/sec, 215 secs
lola: 5204374 markings, 5745654 edges, 26105 markings/sec, 220 secs
lola: 5336082 markings, 5882397 edges, 26342 markings/sec, 225 secs
lola: 5467837 markings, 6017572 edges, 26351 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 760312 KB
lola: time consumption: 478 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1399)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1399)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================

FORMULA ASLink-PT-07a-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1488)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1488)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 61252 markings, 87991 edges
lola: ========================================

FORMULA ASLink-PT-07a-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p218)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p218)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 6 markings, 5 edges

FORMULA ASLink-PT-07a-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1077)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1077)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 230833 markings, 268810 edges, 46167 markings/sec, 0 secs
lola: 486363 markings, 566427 edges, 51106 markings/sec, 5 secs
lola: 741107 markings, 863123 edges, 50949 markings/sec, 10 secs
lola: 995921 markings, 1159897 edges, 50963 markings/sec, 15 secs
lola: 1250830 markings, 1456789 edges, 50982 markings/sec, 20 secs
lola: 1506144 markings, 1754159 edges, 51063 markings/sec, 25 secs
lola: 1760878 markings, 2050841 edges, 50947 markings/sec, 30 secs
lola: 2014429 markings, 2346148 edges, 50710 markings/sec, 35 secs
lola: 2268212 markings, 2641725 edges, 50757 markings/sec, 40 secs
lola: 2522135 markings, 2937464 edges, 50785 markings/sec, 45 secs
lola: 2776224 markings, 3233407 edges, 50818 markings/sec, 50 secs
lola: 3031278 markings, 3530469 edges, 51011 markings/sec, 55 secs
lola: 3284936 markings, 3825896 edges, 50732 markings/sec, 60 secs
lola: 3538258 markings, 4120938 edges, 50664 markings/sec, 65 secs
lola: 3791789 markings, 4416220 edges, 50706 markings/sec, 70 secs
lola: 4045970 markings, 4712271 edges, 50836 markings/sec, 75 secs
lola: 4300857 markings, 5009149 edges, 50977 markings/sec, 80 secs
lola: 4555176 markings, 5305364 edges, 50864 markings/sec, 85 secs
lola: 4809926 markings, 5602097 edges, 50950 markings/sec, 90 secs
lola: 5063602 markings, 5897566 edges, 50735 markings/sec, 95 secs
lola: 5317660 markings, 6193492 edges, 50812 markings/sec, 100 secs
lola: 5571043 markings, 6488622 edges, 50677 markings/sec, 105 secs
lola: 5825844 markings, 6785404 edges, 50960 markings/sec, 110 secs
lola: 6080167 markings, 7081608 edges, 50865 markings/sec, 115 secs
lola: 6334349 markings, 7377655 edges, 50836 markings/sec, 120 secs
lola: 6589094 markings, 7674361 edges, 50949 markings/sec, 125 secs
lola: 6844004 markings, 7971255 edges, 50982 markings/sec, 130 secs
lola: 7099008 markings, 8268265 edges, 51001 markings/sec, 135 secs
lola: 7352975 markings, 8564056 edges, 50793 markings/sec, 140 secs
lola: 7606634 markings, 8859490 edges, 50732 markings/sec, 145 secs
lola: 7860767 markings, 9155481 edges, 50827 markings/sec, 150 secs
lola: 8114692 markings, 9451231 edges, 50785 markings/sec, 155 secs
lola: 8368513 markings, 9746853 edges, 50764 markings/sec, 160 secs
lola: 8622270 markings, 10042399 edges, 50751 markings/sec, 165 secs
lola: 8876416 markings, 10338400 edges, 50829 markings/sec, 170 secs
lola: 9130328 markings, 10634132 edges, 50782 markings/sec, 175 secs
lola: 9383370 markings, 10928851 edges, 50608 markings/sec, 180 secs
lola: 9636742 markings, 11223957 edges, 50674 markings/sec, 185 secs
lola: 9890393 markings, 11519389 edges, 50730 markings/sec, 190 secs
lola: 10143715 markings, 11814433 edges, 50664 markings/sec, 195 secs
lola: 10399682 markings, 12112561 edges, 51193 markings/sec, 200 secs
lola: 10656083 markings, 12411198 edges, 51280 markings/sec, 205 secs
lola: 10912937 markings, 12710356 edges, 51371 markings/sec, 210 secs
lola: 11169243 markings, 13008883 edges, 51261 markings/sec, 215 secs
lola: 11425744 markings, 13307632 edges, 51300 markings/sec, 220 secs
lola: 11682632 markings, 13606830 edges, 51378 markings/sec, 225 secs
lola: 11938593 markings, 13904952 edges, 51192 markings/sec, 230 secs
lola: 12194249 markings, 14202718 edges, 51131 markings/sec, 235 secs
lola: 12450318 markings, 14500960 edges, 51214 markings/sec, 240 secs
lola: 12706470 markings, 14799303 edges, 51230 markings/sec, 245 secs
lola: 12961863 markings, 15096769 edges, 51079 markings/sec, 250 secs
lola: 13217442 markings, 15394442 edges, 51116 markings/sec, 255 secs
lola: 13473493 markings, 15692666 edges, 51210 markings/sec, 260 secs
lola: 13728661 markings, 15989865 edges, 51034 markings/sec, 265 secs
lola: 13983328 markings, 16286482 edges, 50933 markings/sec, 270 secs
lola: 14238498 markings, 16583679 edges, 51034 markings/sec, 275 secs
lola: 14493908 markings, 16881157 edges, 51082 markings/sec, 280 secs
lola: 14748853 markings, 17178095 edges, 50989 markings/sec, 285 secs
lola: 15003802 markings, 17475039 edges, 50990 markings/sec, 290 secs
lola: 15259312 markings, 17772635 edges, 51102 markings/sec, 295 secs
lola: 15516016 markings, 18071620 edges, 51341 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1567528 KB
lola: time consumption: 790 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p601)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p601)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 65 markings, 64 edges

FORMULA ASLink-PT-07a-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 8 will run for 347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p300)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p300)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
========================================
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 383 markings, 382 edges
lola: ========================================

FORMULA ASLink-PT-07a-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 397 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p151)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 142672 markings, 184980 edges, 28534 markings/sec, 0 secs
lola: 316013 markings, 411031 edges, 34668 markings/sec, 5 secs
lola: 458829 markings, 626563 edges, 28563 markings/sec, 10 secs
lola: 604564 markings, 870733 edges, 29147 markings/sec, 15 secs
lola: 753231 markings, 1103724 edges, 29733 markings/sec, 20 secs
lola: 903509 markings, 1359275 edges, 30056 markings/sec, 25 secs
lola: 1058359 markings, 1615789 edges, 30970 markings/sec, 30 secs
lola: 1214718 markings, 1863169 edges, 31272 markings/sec, 35 secs
lola: 1377584 markings, 2113817 edges, 32573 markings/sec, 40 secs
lola: 1536756 markings, 2373509 edges, 31834 markings/sec, 45 secs
lola: 1690740 markings, 2633741 edges, 30797 markings/sec, 50 secs
lola: 1851563 markings, 2891844 edges, 32165 markings/sec, 55 secs
lola: 2010172 markings, 3147812 edges, 31722 markings/sec, 60 secs
lola: 2172690 markings, 3395485 edges, 32504 markings/sec, 65 secs
lola: 2330256 markings, 3632448 edges, 31513 markings/sec, 70 secs
lola: 2489184 markings, 3895300 edges, 31786 markings/sec, 75 secs
lola: 2655846 markings, 4160302 edges, 33332 markings/sec, 80 secs
lola: 2814419 markings, 4419847 edges, 31715 markings/sec, 85 secs
lola: 2980312 markings, 4685234 edges, 33179 markings/sec, 90 secs
lola: 3137582 markings, 4945161 edges, 31454 markings/sec, 95 secs
lola: 3304938 markings, 5209276 edges, 33471 markings/sec, 100 secs
lola: 3462118 markings, 5441007 edges, 31436 markings/sec, 105 secs
lola: 3631172 markings, 5666900 edges, 33811 markings/sec, 110 secs
lola: 3799466 markings, 5895041 edges, 33659 markings/sec, 115 secs
lola: 3972724 markings, 6122179 edges, 34652 markings/sec, 120 secs
lola: 4115117 markings, 6338498 edges, 28479 markings/sec, 125 secs
lola: 4269994 markings, 6535845 edges, 30975 markings/sec, 130 secs
lola: 4433572 markings, 6747684 edges, 32716 markings/sec, 135 secs
lola: 4594782 markings, 6954813 edges, 32242 markings/sec, 140 secs
lola: 4748209 markings, 7191191 edges, 30685 markings/sec, 145 secs
lola: 4906621 markings, 7439789 edges, 31682 markings/sec, 150 secs
lola: 5059335 markings, 7672733 edges, 30543 markings/sec, 155 secs
lola: 5215704 markings, 7919815 edges, 31274 markings/sec, 160 secs
lola: 5366940 markings, 8150643 edges, 30247 markings/sec, 165 secs
lola: 5522215 markings, 8396529 edges, 31055 markings/sec, 170 secs
lola: 5679596 markings, 8609831 edges, 31476 markings/sec, 175 secs
lola: 5831721 markings, 8814471 edges, 30425 markings/sec, 180 secs
lola: 5987572 markings, 9027361 edges, 31170 markings/sec, 185 secs
lola: 6136730 markings, 9233533 edges, 29832 markings/sec, 190 secs
lola: 6283882 markings, 9428947 edges, 29430 markings/sec, 195 secs
lola: 6444928 markings, 9644854 edges, 32209 markings/sec, 200 secs
lola: 6613599 markings, 9865393 edges, 33734 markings/sec, 205 secs
lola: 6782915 markings, 10086459 edges, 33863 markings/sec, 210 secs
lola: 6951329 markings, 10305671 edges, 33683 markings/sec, 215 secs
lola: 7118249 markings, 10525484 edges, 33384 markings/sec, 220 secs
lola: 7285698 markings, 10741976 edges, 33490 markings/sec, 225 secs
lola: 7457279 markings, 10967106 edges, 34316 markings/sec, 230 secs
lola: 7623969 markings, 11184962 edges, 33338 markings/sec, 235 secs
lola: 7784190 markings, 11393491 edges, 32044 markings/sec, 240 secs
lola: 7948517 markings, 11608142 edges, 32865 markings/sec, 245 secs
lola: 8115573 markings, 11827134 edges, 33411 markings/sec, 250 secs
lola: 8283998 markings, 12045673 edges, 33685 markings/sec, 255 secs
lola: 8449272 markings, 12262707 edges, 33055 markings/sec, 260 secs
lola: 8614404 markings, 12477857 edges, 33026 markings/sec, 265 secs
lola: 8777732 markings, 12690102 edges, 32666 markings/sec, 270 secs
lola: 8945474 markings, 12911132 edges, 33548 markings/sec, 275 secs
lola: 9112006 markings, 13126583 edges, 33306 markings/sec, 280 secs
lola: 9279212 markings, 13345880 edges, 33441 markings/sec, 285 secs
lola: 9441157 markings, 13557745 edges, 32389 markings/sec, 290 secs
lola: 9594009 markings, 13790937 edges, 30570 markings/sec, 295 secs
lola: 9751294 markings, 14041161 edges, 31457 markings/sec, 300 secs
lola: 9910560 markings, 14273218 edges, 31853 markings/sec, 305 secs
lola: 10082834 markings, 14533638 edges, 34455 markings/sec, 310 secs
lola: 10255784 markings, 14794681 edges, 34590 markings/sec, 315 secs
lola: 10427890 markings, 15056172 edges, 34421 markings/sec, 320 secs
lola: 10600188 markings, 15316034 edges, 34460 markings/sec, 325 secs
lola: 10759120 markings, 15540904 edges, 31786 markings/sec, 330 secs
lola: 10916331 markings, 15795359 edges, 31442 markings/sec, 335 secs
lola: 11071497 markings, 16024439 edges, 31033 markings/sec, 340 secs
lola: 11243591 markings, 16274555 edges, 34419 markings/sec, 345 secs
lola: 11414781 markings, 16533554 edges, 34238 markings/sec, 350 secs
lola: 11582590 markings, 16792116 edges, 33562 markings/sec, 355 secs
lola: 11752803 markings, 17050358 edges, 34043 markings/sec, 360 secs
lola: 11919685 markings, 17287076 edges, 33376 markings/sec, 365 secs
lola: 12069336 markings, 17526631 edges, 29930 markings/sec, 370 secs
lola: 12223715 markings, 17764153 edges, 30876 markings/sec, 375 secs
lola: 12384439 markings, 17997516 edges, 32145 markings/sec, 380 secs
lola: 12552715 markings, 18256779 edges, 33655 markings/sec, 385 secs
lola: 12719985 markings, 18513026 edges, 33454 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown 1 1 1 unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1192460 KB
lola: time consumption: 1188 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 397 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1026)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1026)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 25 markings, 24 edges

FORMULA ASLink-PT-07a-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 476 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p425)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p425)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 89214 markings, 95353 edges, 17843 markings/sec, 30 secs
lola: 176779 markings, 198494 edges, 17513 markings/sec, 35 secs
lola: 259685 markings, 299565 edges, 16581 markings/sec, 40 secs
lola: 348028 markings, 402334 edges, 17669 markings/sec, 45 secs
lola: 434722 markings, 503870 edges, 17339 markings/sec, 50 secs
lola: 520400 markings, 606984 edges, 17136 markings/sec, 55 secs
lola: 606361 markings, 715747 edges, 17192 markings/sec, 60 secs
lola: 699712 markings, 814581 edges, 18670 markings/sec, 65 secs
lola: 788095 markings, 918309 edges, 17677 markings/sec, 70 secs
lola: 876492 markings, 1020463 edges, 17679 markings/sec, 75 secs
lola: 964273 markings, 1127148 edges, 17556 markings/sec, 80 secs
lola: 1056807 markings, 1225272 edges, 18507 markings/sec, 85 secs
lola: 1144189 markings, 1328315 edges, 17476 markings/sec, 90 secs
lola: 1223189 markings, 1432714 edges, 15800 markings/sec, 95 secs
lola: 1313918 markings, 1530012 edges, 18146 markings/sec, 100 secs
lola: 1402382 markings, 1630809 edges, 17693 markings/sec, 105 secs
lola: 1495435 markings, 1732518 edges, 18611 markings/sec, 110 secs
lola: 1590175 markings, 1829567 edges, 18948 markings/sec, 115 secs
lola: 1687062 markings, 1929556 edges, 19377 markings/sec, 120 secs
lola: 1782513 markings, 2029980 edges, 19090 markings/sec, 125 secs
lola: 1872670 markings, 2122334 edges, 18031 markings/sec, 130 secs
lola: 1965412 markings, 2217791 edges, 18548 markings/sec, 135 secs
lola: 2058564 markings, 2313775 edges, 18630 markings/sec, 140 secs
lola: 2151411 markings, 2409445 edges, 18569 markings/sec, 145 secs
lola: 2245901 markings, 2506416 edges, 18898 markings/sec, 150 secs
lola: 2338382 markings, 2601781 edges, 18496 markings/sec, 155 secs
lola: 2431116 markings, 2697403 edges, 18547 markings/sec, 160 secs
lola: 2523888 markings, 2793067 edges, 18554 markings/sec, 165 secs
lola: 2616648 markings, 2888731 edges, 18552 markings/sec, 170 secs
lola: 2712946 markings, 2988460 edges, 19260 markings/sec, 175 secs
lola: 2808765 markings, 3087578 edges, 19164 markings/sec, 180 secs
lola: 2903499 markings, 3185436 edges, 18947 markings/sec, 185 secs
lola: 3000065 markings, 3285593 edges, 19313 markings/sec, 190 secs
lola: 3094345 markings, 3382894 edges, 18856 markings/sec, 195 secs
lola: 3189847 markings, 3481735 edges, 19100 markings/sec, 200 secs
lola: 3285431 markings, 3581819 edges, 19117 markings/sec, 205 secs
lola: 3376168 markings, 3682244 edges, 18147 markings/sec, 210 secs
lola: 3469573 markings, 3784068 edges, 18681 markings/sec, 215 secs
lola: 3564257 markings, 3886332 edges, 18937 markings/sec, 220 secs
lola: 3657974 markings, 3984497 edges, 18743 markings/sec, 225 secs
lola: 3752350 markings, 4083096 edges, 18875 markings/sec, 230 secs
lola: 3840426 markings, 4176120 edges, 17615 markings/sec, 235 secs
lola: 3928034 markings, 4268774 edges, 17522 markings/sec, 240 secs
lola: 4015401 markings, 4360720 edges, 17473 markings/sec, 245 secs
lola: 4103659 markings, 4457984 edges, 17652 markings/sec, 250 secs
lola: 4196811 markings, 4553940 edges, 18630 markings/sec, 255 secs
lola: 4289917 markings, 4650014 edges, 18621 markings/sec, 260 secs
lola: 4382992 markings, 4746064 edges, 18615 markings/sec, 265 secs
lola: 4475906 markings, 4843270 edges, 18583 markings/sec, 270 secs
lola: 4567941 markings, 4944114 edges, 18407 markings/sec, 275 secs
lola: 4656121 markings, 5037141 edges, 17636 markings/sec, 280 secs
lola: 4744591 markings, 5133556 edges, 17694 markings/sec, 285 secs
lola: 4837379 markings, 5229233 edges, 18558 markings/sec, 290 secs
lola: 4930080 markings, 5324895 edges, 18540 markings/sec, 295 secs
lola: 5022525 markings, 5420269 edges, 18489 markings/sec, 300 secs
lola: 5115053 markings, 5517416 edges, 18506 markings/sec, 305 secs
lola: 5206441 markings, 5617161 edges, 18278 markings/sec, 310 secs
lola: 5294306 markings, 5710292 edges, 17573 markings/sec, 315 secs
lola: 5382681 markings, 5806235 edges, 17675 markings/sec, 320 secs
lola: 5475059 markings, 5901537 edges, 18476 markings/sec, 325 secs
lola: 5567411 markings, 5996835 edges, 18470 markings/sec, 330 secs
lola: 5655851 markings, 6088088 edges, 17688 markings/sec, 335 secs
lola: 5748006 markings, 6184813 edges, 18431 markings/sec, 340 secs
lola: 5839314 markings, 6284683 edges, 18262 markings/sec, 345 secs
lola: 5931860 markings, 6384800 edges, 18509 markings/sec, 350 secs
lola: 6026197 markings, 6484037 edges, 18867 markings/sec, 355 secs
lola: 6122069 markings, 6584737 edges, 19174 markings/sec, 360 secs
lola: 6217371 markings, 6684096 edges, 19060 markings/sec, 365 secs
lola: 6310988 markings, 6783263 edges, 18723 markings/sec, 370 secs
lola: 6407061 markings, 6882819 edges, 19215 markings/sec, 375 secs
lola: 6501498 markings, 6981100 edges, 18887 markings/sec, 380 secs
lola: 6595401 markings, 7080689 edges, 18781 markings/sec, 385 secs
lola: 6691099 markings, 7180534 edges, 19140 markings/sec, 390 secs
lola: 6787445 markings, 7282970 edges, 19269 markings/sec, 395 secs
lola: 6881549 markings, 7383380 edges, 18821 markings/sec, 400 secs
lola: 6974983 markings, 7479910 edges, 18687 markings/sec, 405 secs
lola: 7064620 markings, 7577196 edges, 17927 markings/sec, 410 secs
lola: 7157580 markings, 7673122 edges, 18592 markings/sec, 415 secs
lola: 7246936 markings, 7770350 edges, 17871 markings/sec, 420 secs
lola: 7339540 markings, 7865775 edges, 18521 markings/sec, 425 secs
lola: 7432101 markings, 7964880 edges, 18512 markings/sec, 430 secs
lola: 7527347 markings, 8065071 edges, 19049 markings/sec, 435 secs
lola: 7623474 markings, 8165119 edges, 19225 markings/sec, 440 secs
lola: 7717027 markings, 8262557 edges, 18711 markings/sec, 445 secs
lola: 7811441 markings, 8362221 edges, 18883 markings/sec, 450 secs
lola: 7906523 markings, 8461560 edges, 19016 markings/sec, 455 secs
lola: 7999771 markings, 8558884 edges, 18650 markings/sec, 460 secs
lola: 8094336 markings, 8658125 edges, 18913 markings/sec, 465 secs
lola: 8190230 markings, 8759276 edges, 19179 markings/sec, 470 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown 1 1 1 unknown 1 1 unknown 1 unknown unknown unknown unknown unknown
lola: memory consumption: 1205248 KB
lola: time consumption: 1665 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 476 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p216)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p216)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 151073 markings, 195650 edges, 30215 markings/sec, 0 secs
lola: 324870 markings, 422385 edges, 34759 markings/sec, 5 secs
lola: 466642 markings, 637946 edges, 28354 markings/sec, 10 secs
lola: 607374 markings, 875536 edges, 28146 markings/sec, 15 secs
lola: 763466 markings, 1122189 edges, 31218 markings/sec, 20 secs
lola: 908709 markings, 1367649 edges, 29049 markings/sec, 25 secs
lola: 1062856 markings, 1625496 edges, 30829 markings/sec, 30 secs
lola: 1220983 markings, 1872368 edges, 31625 markings/sec, 35 secs
lola: 1381743 markings, 2124998 edges, 32152 markings/sec, 40 secs
lola: 1542571 markings, 2384053 edges, 32166 markings/sec, 45 secs
lola: 1692811 markings, 2636237 edges, 30048 markings/sec, 50 secs
lola: 1854339 markings, 2895983 edges, 32306 markings/sec, 55 secs
lola: 2014336 markings, 3154315 edges, 31999 markings/sec, 60 secs
lola: 2179074 markings, 3405067 edges, 32948 markings/sec, 65 secs
lola: 2345670 markings, 3655954 edges, 33319 markings/sec, 70 secs
lola: 2502218 markings, 3917741 edges, 31310 markings/sec, 75 secs
lola: 2670242 markings, 4182305 edges, 33605 markings/sec, 80 secs
lola: 2814585 markings, 4420561 edges, 28869 markings/sec, 85 secs
lola: 2980023 markings, 4684268 edges, 33088 markings/sec, 90 secs
lola: 3136293 markings, 4943147 edges, 31254 markings/sec, 95 secs
lola: 3302549 markings, 5206203 edges, 33251 markings/sec, 100 secs
lola: 3458720 markings, 5436533 edges, 31234 markings/sec, 105 secs
lola: 3626685 markings, 5661028 edges, 33593 markings/sec, 110 secs
lola: 3793604 markings, 5887383 edges, 33384 markings/sec, 115 secs
lola: 3966537 markings, 6114136 edges, 34587 markings/sec, 120 secs
lola: 4108293 markings, 6329802 edges, 28351 markings/sec, 125 secs
lola: 4260241 markings, 6523417 edges, 30390 markings/sec, 130 secs
lola: 4416554 markings, 6725995 edges, 31263 markings/sec, 135 secs
lola: 4576746 markings, 6931827 edges, 32038 markings/sec, 140 secs
lola: 4727122 markings, 7160557 edges, 30075 markings/sec, 145 secs
lola: 4884274 markings, 7410548 edges, 31430 markings/sec, 150 secs
lola: 5036401 markings, 7638859 edges, 30425 markings/sec, 155 secs
lola: 5191614 markings, 7888158 edges, 31043 markings/sec, 160 secs
lola: 5343865 markings, 8112298 edges, 30450 markings/sec, 165 secs
lola: 5497321 markings, 8362133 edges, 30691 markings/sec, 170 secs
lola: 5653958 markings, 8573479 edges, 31327 markings/sec, 175 secs
lola: 5802738 markings, 8773113 edges, 29756 markings/sec, 180 secs
lola: 5960775 markings, 8993336 edges, 31607 markings/sec, 185 secs
lola: 6106927 markings, 9193199 edges, 29230 markings/sec, 190 secs
lola: 6251809 markings, 9384222 edges, 28976 markings/sec, 195 secs
lola: 6408637 markings, 9597892 edges, 31366 markings/sec, 200 secs
lola: 6577316 markings, 9817959 edges, 33736 markings/sec, 205 secs
lola: 6745648 markings, 10037733 edges, 33666 markings/sec, 210 secs
lola: 6913481 markings, 10255999 edges, 33567 markings/sec, 215 secs
lola: 7077965 markings, 10471900 edges, 32897 markings/sec, 220 secs
lola: 7244829 markings, 10689893 edges, 33373 markings/sec, 225 secs
lola: 7411656 markings, 10908347 edges, 33365 markings/sec, 230 secs
lola: 7578498 markings, 11125517 edges, 33368 markings/sec, 235 secs
lola: 7739645 markings, 11333436 edges, 32229 markings/sec, 240 secs
lola: 7905251 markings, 11553012 edges, 33121 markings/sec, 245 secs
lola: 8071036 markings, 11767593 edges, 33157 markings/sec, 250 secs
lola: 8238708 markings, 11988074 edges, 33534 markings/sec, 255 secs
lola: 8405303 markings, 12205208 edges, 33319 markings/sec, 260 secs
lola: 8571748 markings, 12422104 edges, 33289 markings/sec, 265 secs
lola: 8736081 markings, 12637027 edges, 32867 markings/sec, 270 secs
lola: 8901849 markings, 12854089 edges, 33154 markings/sec, 275 secs
lola: 9069850 markings, 13072373 edges, 33600 markings/sec, 280 secs
lola: 9233993 markings, 13287623 edges, 32829 markings/sec, 285 secs
lola: 9398587 markings, 13502073 edges, 32919 markings/sec, 290 secs
lola: 9554056 markings, 13722907 edges, 31094 markings/sec, 295 secs
lola: 9712072 markings, 13980506 edges, 31603 markings/sec, 300 secs
lola: 9869522 markings, 14213100 edges, 31490 markings/sec, 305 secs
lola: 10041738 markings, 14467810 edges, 34443 markings/sec, 310 secs
lola: 10215713 markings, 14727742 edges, 34795 markings/sec, 315 secs
lola: 10390107 markings, 14988209 edges, 34879 markings/sec, 320 secs
lola: 10561481 markings, 15249801 edges, 34275 markings/sec, 325 secs
lola: 10722621 markings, 15483656 edges, 32228 markings/sec, 330 secs
lola: 10876206 markings, 15729358 edges, 30717 markings/sec, 335 secs
lola: 11030019 markings, 15963448 edges, 30763 markings/sec, 340 secs
lola: 11196594 markings, 16205917 edges, 33315 markings/sec, 345 secs
lola: 11366166 markings, 16466225 edges, 33914 markings/sec, 350 secs
lola: 11534836 markings, 16724723 edges, 33734 markings/sec, 355 secs
lola: 11707483 markings, 16982665 edges, 34529 markings/sec, 360 secs
lola: 11875505 markings, 17229227 edges, 33604 markings/sec, 365 secs
lola: 12028528 markings, 17460935 edges, 30605 markings/sec, 370 secs
lola: 12184146 markings, 17709268 edges, 31124 markings/sec, 375 secs
lola: 12340577 markings, 17935951 edges, 31286 markings/sec, 380 secs
lola: 12509881 markings, 18192640 edges, 33861 markings/sec, 385 secs
lola: 12680813 markings, 18449676 edges, 34186 markings/sec, 390 secs
lola: 12851516 markings, 18707342 edges, 34141 markings/sec, 395 secs
lola: 13024000 markings, 18962901 edges, 34497 markings/sec, 400 secs
lola: 13181870 markings, 19182395 edges, 31574 markings/sec, 405 secs
lola: 13339095 markings, 19391472 edges, 31445 markings/sec, 410 secs
lola: 13485148 markings, 19609240 edges, 29211 markings/sec, 415 secs
lola: 13639444 markings, 19826669 edges, 30859 markings/sec, 420 secs
lola: 13787336 markings, 20027620 edges, 29578 markings/sec, 425 secs
lola: 13925298 markings, 20217654 edges, 27592 markings/sec, 430 secs
lola: 14092430 markings, 20463658 edges, 33426 markings/sec, 435 secs
lola: 14250224 markings, 20695833 edges, 31559 markings/sec, 440 secs
lola: 14414554 markings, 20937201 edges, 32866 markings/sec, 445 secs
lola: 14577682 markings, 21157819 edges, 32626 markings/sec, 450 secs
lola: 14723271 markings, 21359470 edges, 29118 markings/sec, 455 secs
lola: 14868887 markings, 21557962 edges, 29123 markings/sec, 460 secs
lola: 15028447 markings, 21785608 edges, 31912 markings/sec, 465 secs
lola: 15187432 markings, 22011771 edges, 31797 markings/sec, 470 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown 1 1 1 unknown 1 1 unknown 1 unknown unknown unknown unknown unknown
lola: memory consumption: 1392920 KB
lola: time consumption: 2141 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 476 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p407)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p407)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8 markings, 7 edges
lola: ========================================

FORMULA ASLink-PT-07a-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p130)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p130)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 79509 markings, 103854 edges, 15902 markings/sec, 0 secs
lola: 245100 markings, 320506 edges, 33118 markings/sec, 5 secs
lola: 403637 markings, 537365 edges, 31707 markings/sec, 10 secs
lola: 545802 markings, 771906 edges, 28433 markings/sec, 15 secs
lola: 694601 markings, 1013203 edges, 29760 markings/sec, 20 secs
lola: 849585 markings, 1268876 edges, 30997 markings/sec, 25 secs
lola: 1001304 markings, 1524968 edges, 30344 markings/sec, 30 secs
lola: 1157569 markings, 1776876 edges, 31253 markings/sec, 35 secs
lola: 1319227 markings, 2020925 edges, 32332 markings/sec, 40 secs
lola: 1474768 markings, 2279300 edges, 31108 markings/sec, 45 secs
lola: 1631952 markings, 2533059 edges, 31437 markings/sec, 50 secs
lola: 1791033 markings, 2788834 edges, 31816 markings/sec, 55 secs
lola: 1947471 markings, 3043630 edges, 31288 markings/sec, 60 secs
lola: 2103910 markings, 3289627 edges, 31288 markings/sec, 65 secs
lola: 2261632 markings, 3530214 edges, 31544 markings/sec, 70 secs
lola: 2419816 markings, 3782595 edges, 31637 markings/sec, 75 secs
lola: 2579554 markings, 4041224 edges, 31948 markings/sec, 80 secs
lola: 2737769 markings, 4294290 edges, 31643 markings/sec, 85 secs
lola: 2896715 markings, 4553247 edges, 31789 markings/sec, 90 secs
lola: 3053755 markings, 4806793 edges, 31408 markings/sec, 95 secs
lola: 3212032 markings, 5064254 edges, 31655 markings/sec, 100 secs
lola: 3367910 markings, 5314060 edges, 31176 markings/sec, 105 secs
lola: 3528984 markings, 5528577 edges, 32215 markings/sec, 110 secs
lola: 3694086 markings, 5749360 edges, 33020 markings/sec, 115 secs
lola: 3858054 markings, 5971820 edges, 32794 markings/sec, 120 secs
lola: 4015348 markings, 6192913 edges, 31459 markings/sec, 125 secs
lola: 4154051 markings, 6388072 edges, 27741 markings/sec, 130 secs
lola: 4311847 markings, 6590871 edges, 31559 markings/sec, 135 secs
lola: 4469720 markings, 6793748 edges, 31575 markings/sec, 140 secs
lola: 4624244 markings, 7000415 edges, 30905 markings/sec, 145 secs
lola: 4774363 markings, 7235468 edges, 30024 markings/sec, 150 secs
lola: 4928887 markings, 7471579 edges, 30905 markings/sec, 155 secs
lola: 5079140 markings, 7701753 edges, 30051 markings/sec, 160 secs
lola: 5231110 markings, 7940020 edges, 30394 markings/sec, 165 secs
lola: 5377996 markings, 8166571 edges, 29377 markings/sec, 170 secs
lola: 5528878 markings, 8405218 edges, 30176 markings/sec, 175 secs
lola: 5681708 markings, 8612590 edges, 30566 markings/sec, 180 secs
lola: 5829186 markings, 8810905 edges, 29496 markings/sec, 185 secs
lola: 5982526 markings, 9020897 edges, 30668 markings/sec, 190 secs
lola: 6127521 markings, 9221449 edges, 28999 markings/sec, 195 secs
lola: 6267892 markings, 9408140 edges, 28074 markings/sec, 200 secs
lola: 6422396 markings, 9615737 edges, 30901 markings/sec, 205 secs
lola: 6588023 markings, 9831959 edges, 33125 markings/sec, 210 secs
lola: 6753145 markings, 10047552 edges, 33024 markings/sec, 215 secs
lola: 6917701 markings, 10261380 edges, 32911 markings/sec, 220 secs
lola: 7079184 markings, 10473493 edges, 32297 markings/sec, 225 secs
lola: 7244038 markings, 10688892 edges, 32971 markings/sec, 230 secs
lola: 7410203 markings, 10906442 edges, 33233 markings/sec, 235 secs
lola: 7577258 markings, 11123891 edges, 33411 markings/sec, 240 secs
lola: 7742967 markings, 11337670 edges, 33142 markings/sec, 245 secs
lola: 7907772 markings, 11556222 edges, 32961 markings/sec, 250 secs
lola: 8073190 markings, 11770341 edges, 33084 markings/sec, 255 secs
lola: 8241237 markings, 11991158 edges, 33609 markings/sec, 260 secs
lola: 8406712 markings, 12207056 edges, 33095 markings/sec, 265 secs
lola: 8572368 markings, 12422927 edges, 33131 markings/sec, 270 secs
lola: 8736293 markings, 12637296 edges, 32785 markings/sec, 275 secs
lola: 8902150 markings, 12854494 edges, 33171 markings/sec, 280 secs
lola: 9069719 markings, 13072209 edges, 33514 markings/sec, 285 secs
lola: 9233657 markings, 13287191 edges, 32788 markings/sec, 290 secs
lola: 9398207 markings, 13501583 edges, 32910 markings/sec, 295 secs
lola: 9553456 markings, 13722149 edges, 31050 markings/sec, 300 secs
lola: 9711271 markings, 13979414 edges, 31563 markings/sec, 305 secs
lola: 9868608 markings, 14211743 edges, 31467 markings/sec, 310 secs
lola: 10041081 markings, 14466193 edges, 34495 markings/sec, 315 secs
lola: 10214629 markings, 14726241 edges, 34710 markings/sec, 320 secs
lola: 10388869 markings, 14986600 edges, 34848 markings/sec, 325 secs
lola: 10560028 markings, 15247999 edges, 34232 markings/sec, 330 secs
lola: 10721261 markings, 15481948 edges, 32247 markings/sec, 335 secs
lola: 10874527 markings, 15727043 edges, 30653 markings/sec, 340 secs
lola: 11029336 markings, 15962165 edges, 30962 markings/sec, 345 secs
lola: 11196258 markings, 16205494 edges, 33384 markings/sec, 350 secs
lola: 11365385 markings, 16465287 edges, 33825 markings/sec, 355 secs
lola: 11533767 markings, 16723238 edges, 33676 markings/sec, 360 secs
lola: 11705503 markings, 16980072 edges, 34347 markings/sec, 365 secs
lola: 11872184 markings, 17224899 edges, 33336 markings/sec, 370 secs
lola: 12023317 markings, 17451578 edges, 30227 markings/sec, 375 secs
lola: 12174530 markings, 17696696 edges, 30243 markings/sec, 380 secs
lola: 12328589 markings, 17917934 edges, 30812 markings/sec, 385 secs
lola: 12493175 markings, 18167496 edges, 32917 markings/sec, 390 secs
lola: 12664196 markings, 18417885 edges, 34204 markings/sec, 395 secs
lola: 12831513 markings, 18669829 edges, 33463 markings/sec, 400 secs
lola: 12997591 markings, 18922319 edges, 33216 markings/sec, 405 secs
lola: 13153782 markings, 19145051 edges, 31238 markings/sec, 410 secs
lola: 13311621 markings, 19354111 edges, 31568 markings/sec, 415 secs
lola: 13454978 markings, 19564739 edges, 28671 markings/sec, 420 secs
lola: 13611433 markings, 19789803 edges, 31291 markings/sec, 425 secs
lola: 13759856 markings, 19990029 edges, 29685 markings/sec, 430 secs
lola: 13902235 markings, 20179951 edges, 28476 markings/sec, 435 secs
lola: 14058669 markings, 20415095 edges, 31287 markings/sec, 440 secs
lola: 14219975 markings, 20651978 edges, 32261 markings/sec, 445 secs
lola: 14379255 markings, 20888457 edges, 31856 markings/sec, 450 secs
lola: 14547501 markings, 21118927 edges, 33649 markings/sec, 455 secs
lola: 14689334 markings, 21313961 edges, 28367 markings/sec, 460 secs
lola: 14825160 markings, 21499477 edges, 27165 markings/sec, 465 secs
lola: 14984545 markings, 21726314 edges, 31877 markings/sec, 470 secs
lola: 15140892 markings, 21948852 edges, 31269 markings/sec, 475 secs
lola: 15294901 markings, 22168808 edges, 30802 markings/sec, 480 secs
lola: 15439889 markings, 22358605 edges, 28998 markings/sec, 485 secs
lola: 15592269 markings, 22566536 edges, 30476 markings/sec, 490 secs
lola: 15734605 markings, 22763749 edges, 28467 markings/sec, 495 secs
lola: 15885003 markings, 22979522 edges, 30080 markings/sec, 500 secs
lola: 16033915 markings, 23199259 edges, 29782 markings/sec, 505 secs
lola: 16194009 markings, 23415594 edges, 32019 markings/sec, 510 secs
lola: 16369216 markings, 23642891 edges, 35041 markings/sec, 515 secs
lola: 16535006 markings, 23859328 edges, 33158 markings/sec, 520 secs
lola: 16703652 markings, 24086229 edges, 33729 markings/sec, 525 secs
lola: 16872476 markings, 24308572 edges, 33765 markings/sec, 530 secs
lola: 17045097 markings, 24532605 edges, 34524 markings/sec, 535 secs
lola: 17210673 markings, 24748855 edges, 33115 markings/sec, 540 secs
lola: 17380152 markings, 24977792 edges, 33896 markings/sec, 545 secs
lola: 17555903 markings, 25207357 edges, 35150 markings/sec, 550 secs
lola: 17724167 markings, 25426795 edges, 33653 markings/sec, 555 secs
lola: 17892899 markings, 25653705 edges, 33746 markings/sec, 560 secs
lola: 18060782 markings, 25874849 edges, 33577 markings/sec, 565 secs
lola: 18226856 markings, 26093354 edges, 33215 markings/sec, 570 secs
lola: 18394796 markings, 26312562 edges, 33588 markings/sec, 575 secs
lola: 18562762 markings, 26531598 edges, 33593 markings/sec, 580 secs
lola: 18729660 markings, 26747704 edges, 33380 markings/sec, 585 secs
lola: 18895427 markings, 26968532 edges, 33153 markings/sec, 590 secs
lola: 19075766 markings, 27206063 edges, 36068 markings/sec, 595 secs
lola: 19245596 markings, 27427549 edges, 33966 markings/sec, 600 secs
lola: 19417493 markings, 27659639 edges, 34379 markings/sec, 605 secs
lola: 19595632 markings, 27890443 edges, 35628 markings/sec, 610 secs
lola: 19765327 markings, 28110695 edges, 33939 markings/sec, 615 secs
lola: 19935312 markings, 28338752 edges, 33997 markings/sec, 620 secs
lola: 20104678 markings, 28561822 edges, 33873 markings/sec, 625 secs
lola: 20281886 markings, 28789154 edges, 35442 markings/sec, 630 secs
lola: 20449348 markings, 29007519 edges, 33492 markings/sec, 635 secs
lola: 20616776 markings, 29233369 edges, 33486 markings/sec, 640 secs
lola: 20784824 markings, 29454681 edges, 33610 markings/sec, 645 secs
lola: 20950955 markings, 29671603 edges, 33226 markings/sec, 650 secs
lola: 21118706 markings, 29891852 edges, 33550 markings/sec, 655 secs
lola: 21285831 markings, 30109804 edges, 33425 markings/sec, 660 secs
lola: 21452496 markings, 30327149 edges, 33333 markings/sec, 665 secs
lola: 21624555 markings, 30560270 edges, 34412 markings/sec, 670 secs
lola: 21798134 markings, 30784396 edges, 34716 markings/sec, 675 secs
lola: 21968727 markings, 31012800 edges, 34119 markings/sec, 680 secs
lola: 22138779 markings, 31237137 edges, 34010 markings/sec, 685 secs
lola: 22316918 markings, 31466780 edges, 35628 markings/sec, 690 secs
lola: 22484858 markings, 31686106 edges, 33588 markings/sec, 695 secs
lola: 22653559 markings, 31913440 edges, 33740 markings/sec, 700 secs
lola: 22822914 markings, 32136484 edges, 33871 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown 1 1 1 unknown 1 1 unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 2032332 KB
lola: time consumption: 2855 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 715 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p270)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p270)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-07a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 74271 markings, 80705 edges, 14854 markings/sec, 30 secs
lola: 147903 markings, 158129 edges, 14726 markings/sec, 35 secs
lola: 224656 markings, 238351 edges, 15351 markings/sec, 40 secs
lola: 295127 markings, 311744 edges, 14094 markings/sec, 45 secs
lola: 371226 markings, 389889 edges, 15220 markings/sec, 50 secs
lola: 447867 markings, 469330 edges, 15328 markings/sec, 55 secs
lola: 522862 markings, 551318 edges, 14999 markings/sec, 60 secs
lola: 594887 markings, 644107 edges, 14405 markings/sec, 65 secs
lola: 730911 markings, 816110 edges, 27205 markings/sec, 70 secs
lola: 873392 markings, 999998 edges, 28496 markings/sec, 75 secs
lola: 1015880 markings, 1183898 edges, 28498 markings/sec, 80 secs
lola: 1159025 markings, 1361845 edges, 28629 markings/sec, 85 secs
lola: 1308282 markings, 1549315 edges, 29851 markings/sec, 90 secs
lola: 1448536 markings, 1744166 edges, 28051 markings/sec, 95 secs
lola: 1599059 markings, 1933405 edges, 30105 markings/sec, 100 secs
lola: 1744436 markings, 2121954 edges, 29075 markings/sec, 105 secs
lola: 1883549 markings, 2318442 edges, 27823 markings/sec, 110 secs
lola: 2032308 markings, 2505414 edges, 29752 markings/sec, 115 secs
lola: 2181216 markings, 2699882 edges, 29782 markings/sec, 120 secs
lola: 2318385 markings, 2892911 edges, 27434 markings/sec, 125 secs
lola: 2464845 markings, 3076776 edges, 29292 markings/sec, 130 secs
lola: 2615145 markings, 3265713 edges, 30060 markings/sec, 135 secs
lola: 2730880 markings, 3413058 edges, 23147 markings/sec, 140 secs
lola: 2904081 markings, 3620620 edges, 34640 markings/sec, 145 secs
lola: 3047750 markings, 3799759 edges, 28734 markings/sec, 150 secs
lola: 3193870 markings, 3983149 edges, 29224 markings/sec, 155 secs
lola: 3327952 markings, 4195153 edges, 26816 markings/sec, 160 secs
lola: 3473616 markings, 4388368 edges, 29133 markings/sec, 165 secs
lola: 3622759 markings, 4577011 edges, 29829 markings/sec, 170 secs
lola: 3773100 markings, 4766423 edges, 30068 markings/sec, 175 secs
lola: 3921064 markings, 4960284 edges, 29593 markings/sec, 180 secs
lola: 4063378 markings, 5138434 edges, 28463 markings/sec, 185 secs
lola: 4208667 markings, 5320815 edges, 29058 markings/sec, 190 secs
lola: 4354504 markings, 5511932 edges, 29167 markings/sec, 195 secs
lola: 4488735 markings, 5726451 edges, 26846 markings/sec, 200 secs
lola: 4637007 markings, 5913117 edges, 29654 markings/sec, 205 secs
lola: 4775176 markings, 6087840 edges, 27634 markings/sec, 210 secs
lola: 4924564 markings, 6276751 edges, 29878 markings/sec, 215 secs
lola: 5068093 markings, 6463895 edges, 28706 markings/sec, 220 secs
lola: 5213131 markings, 6645429 edges, 29008 markings/sec, 225 secs
lola: 5360627 markings, 6830391 edges, 29499 markings/sec, 230 secs
lola: 5490823 markings, 7047325 edges, 26039 markings/sec, 235 secs
lola: 5640176 markings, 7236154 edges, 29871 markings/sec, 240 secs
lola: 5789016 markings, 7424026 edges, 29768 markings/sec, 245 secs
lola: 5938579 markings, 7612419 edges, 29913 markings/sec, 250 secs
lola: 6070943 markings, 7786310 edges, 26473 markings/sec, 255 secs
lola: 6209033 markings, 7947663 edges, 27618 markings/sec, 260 secs
lola: 6356008 markings, 8118215 edges, 29395 markings/sec, 265 secs
lola: 6428820 markings, 8194412 edges, 14562 markings/sec, 270 secs
lola: 6503716 markings, 8272990 edges, 14979 markings/sec, 275 secs
lola: 6578487 markings, 8350791 edges, 14954 markings/sec, 280 secs
lola: 6653860 markings, 8429408 edges, 15075 markings/sec, 285 secs
lola: 6728186 markings, 8505788 edges, 14865 markings/sec, 290 secs
lola: 6804085 markings, 8584405 edges, 15180 markings/sec, 295 secs
lola: 6879042 markings, 8662556 edges, 14991 markings/sec, 300 secs
lola: 6954340 markings, 8740933 edges, 15060 markings/sec, 305 secs
lola: 7028828 markings, 8817181 edges, 14898 markings/sec, 310 secs
lola: 7104982 markings, 8895910 edges, 15231 markings/sec, 315 secs
lola: 7179958 markings, 8973051 edges, 14995 markings/sec, 320 secs
lola: 7253439 markings, 9048252 edges, 14696 markings/sec, 325 secs
lola: 7325299 markings, 9121719 edges, 14372 markings/sec, 330 secs
lola: 7398666 markings, 9197078 edges, 14673 markings/sec, 335 secs
lola: 7471901 markings, 9272204 edges, 14647 markings/sec, 340 secs
lola: 7545967 markings, 9348495 edges, 14813 markings/sec, 345 secs
lola: 7621911 markings, 9427179 edges, 15189 markings/sec, 350 secs
lola: 7696960 markings, 9504511 edges, 15010 markings/sec, 355 secs
lola: 7771492 markings, 9581366 edges, 14906 markings/sec, 360 secs
lola: 7847170 markings, 9659662 edges, 15136 markings/sec, 365 secs
lola: 7921634 markings, 9736276 edges, 14893 markings/sec, 370 secs
lola: 7996090 markings, 9813229 edges, 14891 markings/sec, 375 secs
lola: 8071510 markings, 9891193 edges, 15084 markings/sec, 380 secs
lola: 8147755 markings, 9970659 edges, 15249 markings/sec, 385 secs
lola: 8224222 markings, 10049914 edges, 15293 markings/sec, 390 secs
lola: 8299001 markings, 10126853 edges, 14956 markings/sec, 395 secs
lola: 8374181 markings, 10204321 edges, 15036 markings/sec, 400 secs
lola: 8450043 markings, 10283036 edges, 15172 markings/sec, 405 secs
lola: 8526136 markings, 10362125 edges, 15219 markings/sec, 410 secs
lola: 8601729 markings, 10440409 edges, 15119 markings/sec, 415 secs
lola: 8675805 markings, 10516322 edges, 14815 markings/sec, 420 secs
lola: 8751209 markings, 10594280 edges, 15081 markings/sec, 425 secs
lola: 8827036 markings, 10673288 edges, 15165 markings/sec, 430 secs
lola: 8902802 markings, 10751819 edges, 15153 markings/sec, 435 secs
lola: 8978667 markings, 10830315 edges, 15173 markings/sec, 440 secs
lola: 9054807 markings, 10908930 edges, 15228 markings/sec, 445 secs
lola: 9130092 markings, 10986315 edges, 15057 markings/sec, 450 secs
lola: 9202850 markings, 11060221 edges, 14552 markings/sec, 455 secs
lola: 9277762 markings, 11137207 edges, 14982 markings/sec, 460 secs
lola: 9352594 markings, 11214179 edges, 14966 markings/sec, 465 secs
lola: 9428330 markings, 11292360 edges, 15147 markings/sec, 470 secs
lola: 9504237 markings, 11370904 edges, 15181 markings/sec, 475 secs
lola: 9579378 markings, 11448404 edges, 15028 markings/sec, 480 secs
lola: 9655661 markings, 11527458 edges, 15257 markings/sec, 485 secs
lola: 9731212 markings, 11605439 edges, 15110 markings/sec, 490 secs
lola: 9806774 markings, 11683485 edges, 15112 markings/sec, 495 secs
lola: 9882520 markings, 11761953 edges, 15149 markings/sec, 500 secs
lola: 9958312 markings, 11840256 edges, 15158 markings/sec, 505 secs
lola: 10032429 markings, 11916503 edges, 14823 markings/sec, 510 secs
lola: 10107584 markings, 11994165 edges, 15031 markings/sec, 515 secs
lola: 10183175 markings, 12072480 edges, 15118 markings/sec, 520 secs
lola: 10258578 markings, 12150472 edges, 15081 markings/sec, 525 secs
lola: 10334372 markings, 12228831 edges, 15159 markings/sec, 530 secs
lola: 10408434 markings, 12304995 edges, 14812 markings/sec, 535 secs
lola: 10483714 markings, 12382844 edges, 15056 markings/sec, 540 secs
lola: 10556997 markings, 12458729 edges, 14657 markings/sec, 545 secs
lola: 10633907 markings, 12538320 edges, 15382 markings/sec, 550 secs
lola: 10710735 markings, 12619501 edges, 15366 markings/sec, 555 secs
lola: 10784673 markings, 12699451 edges, 14788 markings/sec, 560 secs
lola: 10859648 markings, 12780722 edges, 14995 markings/sec, 565 secs
lola: 10935928 markings, 12862292 edges, 15256 markings/sec, 570 secs
lola: 11012171 markings, 12944071 edges, 15249 markings/sec, 575 secs
lola: 11088606 markings, 13025623 edges, 15287 markings/sec, 580 secs
lola: 11164909 markings, 13106445 edges, 15261 markings/sec, 585 secs
lola: 11241866 markings, 13188408 edges, 15391 markings/sec, 590 secs
lola: 11317400 markings, 13268152 edges, 15107 markings/sec, 595 secs
lola: 11394119 markings, 13349050 edges, 15344 markings/sec, 600 secs
lola: 11471090 markings, 13430227 edges, 15394 markings/sec, 605 secs
lola: 11547291 markings, 13511494 edges, 15240 markings/sec, 610 secs
lola: 11623454 markings, 13592777 edges, 15233 markings/sec, 615 secs
lola: 11704965 markings, 13681515 edges, 16302 markings/sec, 620 secs
lola: 11832658 markings, 13836307 edges, 25539 markings/sec, 625 secs
lola: 11971371 markings, 14019531 edges, 27743 markings/sec, 630 secs
lola: 12116646 markings, 14215320 edges, 29055 markings/sec, 635 secs
lola: 12254771 markings, 14398821 edges, 27625 markings/sec, 640 secs
lola: 12400067 markings, 14592310 edges, 29059 markings/sec, 645 secs
lola: 12544360 markings, 14785464 edges, 28859 markings/sec, 650 secs
lola: 12683439 markings, 14970284 edges, 27816 markings/sec, 655 secs
lola: 12829680 markings, 15168815 edges, 29248 markings/sec, 660 secs
lola: 12928177 markings, 15286319 edges, 19699 markings/sec, 665 secs
lola: 13036212 markings, 15406110 edges, 21607 markings/sec, 670 secs
lola: 13167686 markings, 15564802 edges, 26295 markings/sec, 675 secs
lola: 13308124 markings, 15748659 edges, 28088 markings/sec, 680 secs
lola: 13435457 markings, 15960894 edges, 25467 markings/sec, 685 secs
lola: 13581125 markings, 16157554 edges, 29134 markings/sec, 690 secs
lola: 13726078 markings, 16353239 edges, 28991 markings/sec, 695 secs
lola: 13872869 markings, 16555504 edges, 29358 markings/sec, 700 secs
lola: 14021446 markings, 16763198 edges, 29715 markings/sec, 705 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 unknown 1 1 1 unknown 1 1 unknown 1 unknown unknown 1 unknown unknown
lola:
preliminary result: unknown 1 unknown 1 1 1 unknown 1 1 unknown 1 unknown unknown 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 unknown 1 1 1 unknown 1 1 unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 1907944 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 unknown 1 1 1 unknown 1 1 unknown 1 unknown unknown 1 unknown unknown
lola: memory consumption: 1908116 KB
lola: time consumption: 3570 seconds

BK_STOP 1527870721160

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

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="ASLink-PT-07a"
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"

# 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

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-07a.tgz
mv ASLink-PT-07a execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is ASLink-PT-07a, 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 r268-smll-152749145300110"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;