Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r088-csrt-155246566000283.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is IBMB2S565S3960-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246566000283
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 320K
-rw-r--r-- 1 mcc users 5.6K Feb 11 05:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 11 05:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 7 05:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 23K Feb 7 05:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 3.7K Feb 5 00:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 5 00:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.7K Feb 3 11:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 11:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Jan 31 06:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 31 06:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 127K Mar 10 17:31 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 IBMB2S565S3960-PT-none-UpperBounds-00
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-01
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-02
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-03
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-04
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-05
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-06
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-07
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-08
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-09
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-10
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-11
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-12
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-13
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-14
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552873245364

info: Time: 3600 - MCC
===========================================================================================
prep: translating IBMB2S565S3960-PT-none Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating IBMB2S565S3960-PT-none formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ IBMB2S565S3960-PT-none @ 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: 452/65536 symbol table entries, 1 collisions
lola: preprocessing...
lola: Size of bit vector: 8736
lola: finding significant places
lola: 273 places, 179 transitions, 172 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 171 transition conflict sets
lola: TASK
lola: reading formula from IBMB2S565S3960-PT-none-UpperBounds.task
lola: MAX(merge.s00002239.input.s00001066) : MAX(merge.s00001160.activated) : MAX(merge.s00002240.input.s00001052) : MAX(callToTask.s00003971.input.s00001052) : MAX(callToTask.s00003971.input.s00001066) : MAX(fork.s00001298.input.s00001068) : MAX(callToTask.s00003964.output.s00001077) : MAX(join.s00002243.input.s00001066) : MAX(callToTask.s00003977.output.s00001077) : MAX(callToTask.s00003962.input.s00001066) : MAX(decision.s00002055.activated) : MAX(fork.s00002755.activated.s00001075) : MAX(callToTask.s00003970.output.s00001054) : MAX(callToProcess.s00003904.output.s00001054) : MAX(callToTask.s00003975.output.s00001054) : MAX(callToProcess.s00003880.input.s00001066)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(merge.s00002239.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(merge.s00002239.input.s00001066)
lola: processed formula length: 36
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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 IBMB2S565S3960-PT-none-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(merge.s00001160.activated)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(merge.s00001160.activated)
lola: processed formula length: 30
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 7
lola: 746972 markings, 2410881 edges, 149394 markings/sec, 0 secs
lola: 1415415 markings, 4816253 edges, 133689 markings/sec, 5 secs
lola: 2061314 markings, 6920869 edges, 129180 markings/sec, 10 secs
lola: 2730999 markings, 9210138 edges, 133937 markings/sec, 15 secs
lola: 3344530 markings, 11467326 edges, 122706 markings/sec, 20 secs
lola: 3993194 markings, 13577883 edges, 129733 markings/sec, 25 secs
lola: 4734648 markings, 15575024 edges, 148291 markings/sec, 30 secs
lola: 5486378 markings, 17778944 edges, 150346 markings/sec, 35 secs
lola: 6309249 markings, 20041657 edges, 164574 markings/sec, 40 secs
lola: 7090146 markings, 22355977 edges, 156179 markings/sec, 45 secs
lola: 7744014 markings, 24733556 edges, 130774 markings/sec, 50 secs
lola: 8489860 markings, 27007538 edges, 149169 markings/sec, 55 secs
lola: 9221519 markings, 29288683 edges, 146332 markings/sec, 60 secs
lola: 9858274 markings, 31612139 edges, 127351 markings/sec, 65 secs
lola: 10545195 markings, 33779820 edges, 137384 markings/sec, 70 secs
lola: 11227958 markings, 36042429 edges, 136553 markings/sec, 75 secs
lola: 11615766 markings, 38423532 edges, 77562 markings/sec, 80 secs
lola: 12043838 markings, 40639051 edges, 85614 markings/sec, 85 secs
lola: 12476161 markings, 42980360 edges, 86465 markings/sec, 90 secs
lola: 12986424 markings, 45407670 edges, 102053 markings/sec, 95 secs
lola: 13508859 markings, 47681043 edges, 104487 markings/sec, 100 secs
lola: 14153215 markings, 49998103 edges, 128871 markings/sec, 105 secs
lola: 14717876 markings, 52364457 edges, 112932 markings/sec, 110 secs
lola: 15292556 markings, 54566599 edges, 114936 markings/sec, 115 secs
lola: 15895541 markings, 56837412 edges, 120597 markings/sec, 120 secs
lola: 16402839 markings, 59085053 edges, 101460 markings/sec, 125 secs
lola: 16949888 markings, 61170485 edges, 109410 markings/sec, 130 secs
lola: 17566470 markings, 63443677 edges, 123316 markings/sec, 135 secs
lola: 18110849 markings, 65767438 edges, 108876 markings/sec, 140 secs
lola: 18663475 markings, 68128111 edges, 110525 markings/sec, 145 secs
lola: 19239325 markings, 70357157 edges, 115170 markings/sec, 150 secs
lola: 19806661 markings, 72681597 edges, 113467 markings/sec, 155 secs
lola: 20343221 markings, 75070106 edges, 107312 markings/sec, 160 secs
lola: 20888634 markings, 77457543 edges, 109083 markings/sec, 165 secs
lola: 21349421 markings, 79624641 edges, 92157 markings/sec, 170 secs
lola: 21796779 markings, 81675261 edges, 89472 markings/sec, 175 secs
lola: 22389147 markings, 83855951 edges, 118474 markings/sec, 180 secs
lola: 23007359 markings, 85998712 edges, 123642 markings/sec, 185 secs
lola: 23547284 markings, 88091844 edges, 107985 markings/sec, 190 secs
lola: 24026196 markings, 90250703 edges, 95782 markings/sec, 195 secs
lola: 24560934 markings, 92324240 edges, 106948 markings/sec, 200 secs
lola: 25080187 markings, 94397022 edges, 103851 markings/sec, 205 secs
lola: 25604702 markings, 96459509 edges, 104903 markings/sec, 210 secs
lola: 26163250 markings, 98565865 edges, 111710 markings/sec, 215 secs
lola: 26776353 markings, 100745412 edges, 122621 markings/sec, 220 secs
lola: 27392923 markings, 102913932 edges, 123314 markings/sec, 225 secs
lola: 28021911 markings, 104946892 edges, 125798 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1176176 KB
lola: time consumption: 238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(merge.s00002240.input.s00001052)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(merge.s00002240.input.s00001052)
lola: processed formula length: 36
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 272 markings, 271 edges
lola: ========================================

FORMULA IBMB2S565S3960-PT-none-UpperBounds-2 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003971.input.s00001052)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003971.input.s00001052)
lola: processed formula length: 41
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 132 markings, 131 edges
lola: ========================================

FORMULA IBMB2S565S3960-PT-none-UpperBounds-3 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003971.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003971.input.s00001066)
lola: processed formula length: 41
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 132 markings, 131 edges
lola: ========================================

FORMULA IBMB2S565S3960-PT-none-UpperBounds-4 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(fork.s00001298.input.s00001068)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(fork.s00001298.input.s00001068)
lola: processed formula length: 35
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 118 markings, 117 edges
lola: ========================================

FORMULA IBMB2S565S3960-PT-none-UpperBounds-5 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 333 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003964.output.s00001077)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003964.output.s00001077)
lola: processed formula length: 42
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 3
lola: SUBRESULT
lola: result: 3
lola: produced by: state space
lola: The maximum value of the given expression is 3
lola: 394 markings, 393 edges
lola: ========================================

FORMULA IBMB2S565S3960-PT-none-UpperBounds-6 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(join.s00002243.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(join.s00002243.input.s00001066)
lola: processed formula length: 35
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 132 markings, 131 edges
lola: ========================================

FORMULA IBMB2S565S3960-PT-none-UpperBounds-7 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 416 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003977.output.s00001077)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003977.output.s00001077)
lola: processed formula length: 42
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 3
lola: SUBRESULT
lola: result: 3
lola: produced by: state space
lola: The maximum value of the given expression is 3
lola: 406 markings, 405 edges
lola: ========================================

FORMULA IBMB2S565S3960-PT-none-UpperBounds-8 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 476 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003962.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003962.input.s00001066)
lola: processed formula length: 41
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 7
lola: 968672 markings, 2287112 edges, 193734 markings/sec, 0 secs
lola: 1778209 markings, 4387634 edges, 161907 markings/sec, 5 secs
lola: 2696511 markings, 6584289 edges, 183660 markings/sec, 10 secs
lola: 3612560 markings, 8806412 edges, 183210 markings/sec, 15 secs
lola: 4408057 markings, 10743829 edges, 159099 markings/sec, 20 secs
lola: 5205477 markings, 12745693 edges, 159484 markings/sec, 25 secs
lola: 6074074 markings, 14759033 edges, 173719 markings/sec, 30 secs
lola: 6967706 markings, 16914487 edges, 178726 markings/sec, 35 secs
lola: 7771513 markings, 18913852 edges, 160761 markings/sec, 40 secs
lola: 8621570 markings, 20948371 edges, 170011 markings/sec, 45 secs
lola: 9417255 markings, 22907935 edges, 159137 markings/sec, 50 secs
lola: 10175553 markings, 24936374 edges, 151660 markings/sec, 55 secs
lola: 10716758 markings, 26957624 edges, 108241 markings/sec, 60 secs
lola: 11407710 markings, 29250964 edges, 138190 markings/sec, 65 secs
lola: 12246856 markings, 31497468 edges, 167829 markings/sec, 70 secs
lola: 13124381 markings, 33781946 edges, 175505 markings/sec, 75 secs
lola: 13898430 markings, 35988604 edges, 154810 markings/sec, 80 secs
lola: 14711851 markings, 38137663 edges, 162684 markings/sec, 85 secs
lola: 15510928 markings, 40206833 edges, 159815 markings/sec, 90 secs
lola: 16582294 markings, 42423128 edges, 214273 markings/sec, 95 secs
lola: 17643454 markings, 44674414 edges, 212232 markings/sec, 100 secs
lola: 18559057 markings, 46934689 edges, 183121 markings/sec, 105 secs
lola: 19316064 markings, 48931362 edges, 151401 markings/sec, 110 secs
lola: 20268848 markings, 51045721 edges, 190557 markings/sec, 115 secs
lola: 21239386 markings, 53230617 edges, 194108 markings/sec, 120 secs
lola: 22195033 markings, 55472900 edges, 191129 markings/sec, 125 secs
lola: 23169357 markings, 57651310 edges, 194865 markings/sec, 130 secs
lola: 24195659 markings, 59966041 edges, 205260 markings/sec, 135 secs
lola: 24948665 markings, 62096694 edges, 150601 markings/sec, 140 secs
lola: 25621440 markings, 64065692 edges, 134555 markings/sec, 145 secs
lola: 26430211 markings, 66086269 edges, 161754 markings/sec, 150 secs
lola: 27031579 markings, 68051578 edges, 120274 markings/sec, 155 secs
lola: 27611185 markings, 69902053 edges, 115921 markings/sec, 160 secs
lola: 28202447 markings, 71619178 edges, 118252 markings/sec, 165 secs
lola: 28811102 markings, 73384314 edges, 121731 markings/sec, 170 secs
lola: 29542006 markings, 75310138 edges, 146181 markings/sec, 175 secs
lola: 30292679 markings, 77355940 edges, 150135 markings/sec, 180 secs
lola: 31280897 markings, 79427030 edges, 197644 markings/sec, 185 secs
lola: 32231517 markings, 81485072 edges, 190124 markings/sec, 190 secs
lola: 32962823 markings, 83239885 edges, 146261 markings/sec, 195 secs
lola: 33624932 markings, 84908100 edges, 132422 markings/sec, 200 secs
lola: 34343893 markings, 86573933 edges, 143792 markings/sec, 205 secs
lola: 35078555 markings, 88614035 edges, 146932 markings/sec, 210 secs
lola: 35689815 markings, 90615381 edges, 122252 markings/sec, 215 secs
lola: 36357587 markings, 92379454 edges, 133554 markings/sec, 220 secs
lola: 36904904 markings, 93957005 edges, 109463 markings/sec, 225 secs
lola: 37617828 markings, 95796223 edges, 142585 markings/sec, 230 secs
lola: 38321440 markings, 97772660 edges, 140722 markings/sec, 235 secs
lola: 39140270 markings, 99854202 edges, 163766 markings/sec, 240 secs
lola: 39882798 markings, 101973955 edges, 148506 markings/sec, 245 secs
lola: 40727624 markings, 104195007 edges, 168965 markings/sec, 250 secs
lola: 41489086 markings, 106282089 edges, 152292 markings/sec, 255 secs
lola: 42210139 markings, 108226830 edges, 144211 markings/sec, 260 secs
lola: 42926009 markings, 110120368 edges, 143174 markings/sec, 265 secs
lola: 43687577 markings, 112188105 edges, 152314 markings/sec, 270 secs
lola: 44500672 markings, 114302342 edges, 162619 markings/sec, 275 secs
lola: 45296741 markings, 116514232 edges, 159214 markings/sec, 280 secs
lola: 46058877 markings, 118528701 edges, 152427 markings/sec, 285 secs
lola: 46946261 markings, 120668608 edges, 177477 markings/sec, 290 secs
lola: 47669237 markings, 122622382 edges, 144595 markings/sec, 295 secs
lola: 48454887 markings, 124456876 edges, 157130 markings/sec, 300 secs
lola: 49229365 markings, 126348819 edges, 154896 markings/sec, 305 secs
lola: 50092460 markings, 128466834 edges, 172619 markings/sec, 310 secs
lola: 50808192 markings, 130405632 edges, 143146 markings/sec, 315 secs
lola: 51575664 markings, 132213671 edges, 153494 markings/sec, 320 secs
lola: 52373921 markings, 134353229 edges, 159651 markings/sec, 325 secs
lola: 52959397 markings, 136412150 edges, 117095 markings/sec, 330 secs
lola: 53572930 markings, 138563447 edges, 122707 markings/sec, 335 secs
lola: 54355771 markings, 140649904 edges, 156568 markings/sec, 340 secs
lola: 55186718 markings, 142842816 edges, 166189 markings/sec, 345 secs
lola: 55964926 markings, 145031705 edges, 155642 markings/sec, 350 secs
lola: 56821615 markings, 147245907 edges, 171338 markings/sec, 355 secs
lola: 57588933 markings, 149377192 edges, 153464 markings/sec, 360 secs
lola: 58663670 markings, 151589537 edges, 214947 markings/sec, 365 secs
lola: 59718765 markings, 153763453 edges, 211019 markings/sec, 370 secs
lola: 60664606 markings, 156048757 edges, 189168 markings/sec, 375 secs
lola: 61438751 markings, 158158977 edges, 154829 markings/sec, 380 secs
lola: 62362176 markings, 160258415 edges, 184685 markings/sec, 385 secs
lola: 63368837 markings, 162435101 edges, 201332 markings/sec, 390 secs
lola: 64271667 markings, 164609845 edges, 180566 markings/sec, 395 secs
lola: 65230493 markings, 166771589 edges, 191765 markings/sec, 400 secs
lola: 66226947 markings, 168940281 edges, 199291 markings/sec, 405 secs
lola: 67143343 markings, 171069882 edges, 183279 markings/sec, 410 secs
lola: 67946001 markings, 173102441 edges, 160532 markings/sec, 415 secs
lola: 68697193 markings, 175025241 edges, 150238 markings/sec, 420 secs
lola: 69405962 markings, 176915975 edges, 141754 markings/sec, 425 secs
lola: 70222431 markings, 178960940 edges, 163294 markings/sec, 430 secs
lola: 71194873 markings, 181197821 edges, 194488 markings/sec, 435 secs
lola: 72105994 markings, 183327070 edges, 182224 markings/sec, 440 secs
lola: 73028628 markings, 185468907 edges, 184527 markings/sec, 445 secs
lola: 73923475 markings, 187552095 edges, 178969 markings/sec, 450 secs
lola: 74757247 markings, 189610115 edges, 166754 markings/sec, 455 secs
lola: 75503897 markings, 191560617 edges, 149330 markings/sec, 460 secs
lola: 76243056 markings, 193538943 edges, 147832 markings/sec, 465 secs
lola: 77055678 markings, 195585712 edges, 162524 markings/sec, 470 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 7 7 7 7 3 7 3 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3146604 KB
lola: time consumption: 714 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 475 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(decision.s00002055.activated)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(decision.s00002055.activated)
lola: processed formula length: 33
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 3
lola: 1288851 markings, 2219912 edges, 257770 markings/sec, 0 secs
lola: 2474257 markings, 4389489 edges, 237081 markings/sec, 5 secs
lola: 3426362 markings, 6375394 edges, 190421 markings/sec, 10 secs
lola: 4815594 markings, 8532150 edges, 277846 markings/sec, 15 secs
lola: 6030886 markings, 10541314 edges, 243058 markings/sec, 20 secs
lola: 7150109 markings, 12567939 edges, 223845 markings/sec, 25 secs
lola: 8338915 markings, 14577207 edges, 237761 markings/sec, 30 secs
lola: 9443452 markings, 16609705 edges, 220907 markings/sec, 35 secs
lola: 10497332 markings, 18639712 edges, 210776 markings/sec, 40 secs
lola: 11764561 markings, 20864545 edges, 253446 markings/sec, 45 secs
lola: 12956496 markings, 23050798 edges, 238387 markings/sec, 50 secs
lola: 14173205 markings, 25257124 edges, 243342 markings/sec, 55 secs
lola: 15630220 markings, 27626367 edges, 291403 markings/sec, 60 secs
lola: 17068019 markings, 30068157 edges, 287560 markings/sec, 65 secs
lola: 18373309 markings, 32490424 edges, 261058 markings/sec, 70 secs
lola: 19431054 markings, 34461050 edges, 211549 markings/sec, 75 secs
lola: 20664855 markings, 36621527 edges, 246760 markings/sec, 80 secs
lola: 21907932 markings, 38848675 edges, 248615 markings/sec, 85 secs
lola: 23230775 markings, 41197377 edges, 264569 markings/sec, 90 secs
lola: 24507881 markings, 43451315 edges, 255421 markings/sec, 95 secs
lola: 25912954 markings, 45890517 edges, 281015 markings/sec, 100 secs
lola: 27262440 markings, 48239266 edges, 269897 markings/sec, 105 secs
lola: 28403825 markings, 50477258 edges, 228277 markings/sec, 110 secs
lola: 29468406 markings, 52646421 edges, 212916 markings/sec, 115 secs
lola: 30646455 markings, 54879460 edges, 235610 markings/sec, 120 secs
lola: 31547498 markings, 56949509 edges, 180209 markings/sec, 125 secs
lola: 32428950 markings, 58777519 edges, 176290 markings/sec, 130 secs
lola: 33288630 markings, 60546225 edges, 171936 markings/sec, 135 secs
lola: 34383116 markings, 62426405 edges, 218897 markings/sec, 140 secs
lola: 35579460 markings, 64437652 edges, 239269 markings/sec, 145 secs
lola: 36571790 markings, 66366055 edges, 198466 markings/sec, 150 secs
lola: 37753722 markings, 68571337 edges, 236386 markings/sec, 155 secs
lola: 38887263 markings, 70618106 edges, 226708 markings/sec, 160 secs
lola: 40018766 markings, 72658324 edges, 226301 markings/sec, 165 secs
lola: 41206241 markings, 74744988 edges, 237495 markings/sec, 170 secs
lola: 42481042 markings, 77010542 edges, 254960 markings/sec, 175 secs
lola: 43722535 markings, 79275491 edges, 248299 markings/sec, 180 secs
lola: 44510459 markings, 81303643 edges, 157585 markings/sec, 185 secs
lola: 45248866 markings, 83207394 edges, 147681 markings/sec, 190 secs
lola: 45835679 markings, 84835449 edges, 117363 markings/sec, 195 secs
lola: 46521498 markings, 86458976 edges, 137164 markings/sec, 200 secs
lola: 47593754 markings, 88457907 edges, 214451 markings/sec, 205 secs
lola: 48597357 markings, 90440010 edges, 200721 markings/sec, 210 secs
lola: 49622432 markings, 92306122 edges, 205015 markings/sec, 215 secs
lola: 50378821 markings, 94077643 edges, 151278 markings/sec, 220 secs
lola: 51381894 markings, 95781029 edges, 200615 markings/sec, 225 secs
lola: 52330763 markings, 97371297 edges, 189774 markings/sec, 230 secs
lola: 53299729 markings, 99097575 edges, 193793 markings/sec, 235 secs
lola: 54175619 markings, 100687575 edges, 175178 markings/sec, 240 secs
lola: 54896547 markings, 102134115 edges, 144186 markings/sec, 245 secs
lola: SUBRESULT
lola: result: 3
lola: produced by: state space
lola: The maximum value of the given expression is 3
lola: 55246787 markings, 102734983 edges
lola: ========================================

FORMULA IBMB2S565S3960-PT-none-UpperBounds-10 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 520 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(fork.s00002755.activated.s00001075)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(fork.s00002755.activated.s00001075)
lola: processed formula length: 39
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 3 markings, 2 edges
lola: ========================================

FORMULA IBMB2S565S3960-PT-none-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 650 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003970.output.s00001054)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003970.output.s00001054)
lola: processed formula length: 42
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 7
lola: 986048 markings, 2228217 edges, 197210 markings/sec, 0 secs
lola: 2023138 markings, 4476809 edges, 207418 markings/sec, 5 secs
lola: 3002385 markings, 6582658 edges, 195849 markings/sec, 10 secs
lola: 3876077 markings, 8541557 edges, 174738 markings/sec, 15 secs
lola: 4802159 markings, 10667866 edges, 185216 markings/sec, 20 secs
lola: 5847622 markings, 13116523 edges, 209093 markings/sec, 25 secs
lola: 7007693 markings, 15551876 edges, 232014 markings/sec, 30 secs
lola: 8176543 markings, 17887799 edges, 233770 markings/sec, 35 secs
lola: 9267028 markings, 20420124 edges, 218097 markings/sec, 40 secs
lola: 10414014 markings, 22843289 edges, 229397 markings/sec, 45 secs
lola: 11383242 markings, 25001763 edges, 193846 markings/sec, 50 secs
lola: 12377539 markings, 27200469 edges, 198859 markings/sec, 55 secs
lola: 13410721 markings, 29379709 edges, 206636 markings/sec, 60 secs
lola: 14325589 markings, 31494630 edges, 182974 markings/sec, 65 secs
lola: 15071234 markings, 33758364 edges, 149129 markings/sec, 70 secs
lola: 15743998 markings, 36106132 edges, 134553 markings/sec, 75 secs
lola: 16418620 markings, 38333578 edges, 134924 markings/sec, 80 secs
lola: 17402462 markings, 40687522 edges, 196768 markings/sec, 85 secs
lola: 18290991 markings, 42973664 edges, 177706 markings/sec, 90 secs
lola: 19302841 markings, 45354127 edges, 202370 markings/sec, 95 secs
lola: 20251190 markings, 47651109 edges, 189670 markings/sec, 100 secs
lola: 21139249 markings, 49895041 edges, 177612 markings/sec, 105 secs
lola: 22095201 markings, 52191336 edges, 191190 markings/sec, 110 secs
lola: 22913487 markings, 54312185 edges, 163657 markings/sec, 115 secs
lola: 24078329 markings, 56659871 edges, 232968 markings/sec, 120 secs
lola: 25398199 markings, 59197339 edges, 263974 markings/sec, 125 secs
lola: 26523911 markings, 61671061 edges, 225142 markings/sec, 130 secs
lola: 27430338 markings, 63818244 edges, 181285 markings/sec, 135 secs
lola: 28433776 markings, 65923812 edges, 200688 markings/sec, 140 secs
lola: 29461138 markings, 68072870 edges, 205472 markings/sec, 145 secs
lola: 30442105 markings, 70185530 edges, 196193 markings/sec, 150 secs
lola: 31428171 markings, 72252075 edges, 197213 markings/sec, 155 secs
lola: 32521521 markings, 74462500 edges, 218670 markings/sec, 160 secs
lola: 33678531 markings, 76831527 edges, 231402 markings/sec, 165 secs
lola: 34666598 markings, 79119444 edges, 197613 markings/sec, 170 secs
lola: 35578848 markings, 81309877 edges, 182450 markings/sec, 175 secs
lola: 36540426 markings, 83454209 edges, 192316 markings/sec, 180 secs
lola: 37293945 markings, 85512795 edges, 150704 markings/sec, 185 secs
lola: 38027285 markings, 87292824 edges, 146668 markings/sec, 190 secs
lola: 38808868 markings, 89178454 edges, 156317 markings/sec, 195 secs
lola: 40094373 markings, 91533775 edges, 257101 markings/sec, 200 secs
lola: 41186835 markings, 93791233 edges, 218492 markings/sec, 205 secs
lola: 42268519 markings, 96185986 edges, 216337 markings/sec, 210 secs
lola: 43394610 markings, 98501053 edges, 225218 markings/sec, 215 secs
lola: 44529937 markings, 100839428 edges, 227065 markings/sec, 220 secs
lola: 45706159 markings, 103164937 edges, 235244 markings/sec, 225 secs
lola: 46556051 markings, 105273590 edges, 169978 markings/sec, 230 secs
lola: 47251207 markings, 107291277 edges, 139031 markings/sec, 235 secs
lola: 47948236 markings, 109084582 edges, 139406 markings/sec, 240 secs
lola: 48995865 markings, 111434203 edges, 209526 markings/sec, 245 secs
lola: 50019495 markings, 113602099 edges, 204726 markings/sec, 250 secs
lola: 50883179 markings, 115739989 edges, 172737 markings/sec, 255 secs
lola: 52126270 markings, 117813801 edges, 248618 markings/sec, 260 secs
lola: 52917985 markings, 119648647 edges, 158343 markings/sec, 265 secs
lola: 53799854 markings, 121579433 edges, 176374 markings/sec, 270 secs
lola: 54692249 markings, 123398766 edges, 178479 markings/sec, 275 secs
lola: 55456489 markings, 125052978 edges, 152848 markings/sec, 280 secs
lola: 56302983 markings, 127255390 edges, 169299 markings/sec, 285 secs
lola: 57073890 markings, 129436986 edges, 154181 markings/sec, 290 secs
lola: 57671295 markings, 131370002 edges, 119481 markings/sec, 295 secs
lola: 58434751 markings, 133164020 edges, 152691 markings/sec, 300 secs
lola: 59144403 markings, 134856833 edges, 141930 markings/sec, 305 secs
lola: 59692445 markings, 136326570 edges, 109608 markings/sec, 310 secs
lola: 60583357 markings, 138387530 edges, 178182 markings/sec, 315 secs
lola: 61446994 markings, 140504543 edges, 172727 markings/sec, 320 secs
lola: 62144715 markings, 142354604 edges, 139544 markings/sec, 325 secs
lola: 63125928 markings, 144686290 edges, 196243 markings/sec, 330 secs
lola: 64081183 markings, 147021200 edges, 191051 markings/sec, 335 secs
lola: 64951605 markings, 149154556 edges, 174084 markings/sec, 340 secs
lola: 65863935 markings, 151360377 edges, 182466 markings/sec, 345 secs
lola: 66642915 markings, 153373774 edges, 155796 markings/sec, 350 secs
lola: 67557786 markings, 155495888 edges, 182974 markings/sec, 355 secs
lola: 68352582 markings, 157448467 edges, 158959 markings/sec, 360 secs
lola: 69040199 markings, 159265103 edges, 137523 markings/sec, 365 secs
lola: 70024909 markings, 161589547 edges, 196942 markings/sec, 370 secs
lola: 70954162 markings, 163835762 edges, 185851 markings/sec, 375 secs
lola: 71790758 markings, 165956371 edges, 167319 markings/sec, 380 secs
lola: 72823487 markings, 168427524 edges, 206546 markings/sec, 385 secs
lola: 73709670 markings, 170715185 edges, 177237 markings/sec, 390 secs
lola: 74478120 markings, 172575183 edges, 153690 markings/sec, 395 secs
lola: 75324570 markings, 174541047 edges, 169290 markings/sec, 400 secs
lola: 76308828 markings, 176873811 edges, 196852 markings/sec, 405 secs
lola: 77427382 markings, 179217293 edges, 223711 markings/sec, 410 secs
lola: 78417490 markings, 181268578 edges, 198022 markings/sec, 415 secs
lola: 79140123 markings, 183042060 edges, 144527 markings/sec, 420 secs
lola: 79952158 markings, 185060765 edges, 162407 markings/sec, 425 secs
lola: 80988914 markings, 187359771 edges, 207351 markings/sec, 430 secs
lola: 82022794 markings, 189546767 edges, 206776 markings/sec, 435 secs
lola: 82962324 markings, 191711912 edges, 187906 markings/sec, 440 secs
lola: 83726643 markings, 194040707 edges, 152864 markings/sec, 445 secs
lola: 84400984 markings, 196421355 edges, 134868 markings/sec, 450 secs
lola: 85116571 markings, 198693729 edges, 143117 markings/sec, 455 secs
lola: 86115799 markings, 201084145 edges, 199846 markings/sec, 460 secs
lola: 86995510 markings, 203357320 edges, 175942 markings/sec, 465 secs
lola: 87989287 markings, 205711489 edges, 198755 markings/sec, 470 secs
lola: 88917122 markings, 207967621 edges, 185567 markings/sec, 475 secs
lola: 89779113 markings, 210114913 edges, 172398 markings/sec, 480 secs
lola: 90698296 markings, 212323892 edges, 183837 markings/sec, 485 secs
lola: 91519094 markings, 214432064 edges, 164160 markings/sec, 490 secs
lola: 92660032 markings, 216780813 edges, 228188 markings/sec, 495 secs
lola: 93872498 markings, 219140430 edges, 242493 markings/sec, 500 secs
lola: 94967366 markings, 221530277 edges, 218974 markings/sec, 505 secs
lola: 95932886 markings, 223756319 edges, 193104 markings/sec, 510 secs
lola: 96902809 markings, 225838619 edges, 193985 markings/sec, 515 secs
lola: 98028202 markings, 228137287 edges, 225079 markings/sec, 520 secs
lola: 99101899 markings, 230481838 edges, 214739 markings/sec, 525 secs
lola: 100209777 markings, 232806562 edges, 221576 markings/sec, 530 secs
lola: 101381245 markings, 235201501 edges, 234294 markings/sec, 535 secs
lola: 102571930 markings, 237619595 edges, 238137 markings/sec, 540 secs
lola: 103532815 markings, 239899530 edges, 192177 markings/sec, 545 secs
lola: 104529415 markings, 242208847 edges, 199320 markings/sec, 550 secs
lola: 105445010 markings, 244488337 edges, 183119 markings/sec, 555 secs
lola: 106238085 markings, 246485284 edges, 158615 markings/sec, 560 secs
lola: 107004645 markings, 248333785 edges, 153312 markings/sec, 565 secs
lola: 107930919 markings, 250335650 edges, 185255 markings/sec, 570 secs
lola: 109186198 markings, 252640747 edges, 251056 markings/sec, 575 secs
lola: 110168106 markings, 254847152 edges, 196382 markings/sec, 580 secs
lola: 111252757 markings, 257140720 edges, 216930 markings/sec, 585 secs
lola: 112349140 markings, 259421285 edges, 219277 markings/sec, 590 secs
lola: 113486840 markings, 261763588 edges, 227540 markings/sec, 595 secs
lola: 114646867 markings, 264034354 edges, 232005 markings/sec, 600 secs
lola: 115502560 markings, 266168622 edges, 171139 markings/sec, 605 secs
lola: 116517254 markings, 268383971 edges, 202939 markings/sec, 610 secs
lola: 117465285 markings, 270460401 edges, 189606 markings/sec, 615 secs
lola: 118263184 markings, 272292018 edges, 159580 markings/sec, 620 secs
lola: 119095931 markings, 274348110 edges, 166549 markings/sec, 625 secs
lola: 119918765 markings, 276448445 edges, 164567 markings/sec, 630 secs
lola: 120937379 markings, 278679049 edges, 203723 markings/sec, 635 secs
lola: 121949539 markings, 280867090 edges, 202432 markings/sec, 640 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 7 7 7 7 3 7 3 unknown 3 1 unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 unknown 7 7 7 7 3 7 3 unknown 3 1 unknown unknown unknown unknown
lola: memory consumption: 5036788 KB
lola: time consumption: 1617 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 651 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToProcess.s00003904.output.s00001054)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToProcess.s00003904.output.s00001054)
lola: processed formula length: 45
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 15 markings, 14 edges

FORMULA IBMB2S565S3960-PT-none-UpperBounds-13 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 976 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003975.output.s00001054)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003975.output.s00001054)
lola: processed formula length: 42
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 76 markings, 75 edges
lola: ========================================

FORMULA IBMB2S565S3960-PT-none-UpperBounds-14 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1953 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToProcess.s00003880.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToProcess.s00003880.input.s00001066)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 467 markings, 466 edges
lola: ========================================

FORMULA IBMB2S565S3960-PT-none-UpperBounds-15 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(merge.s00001160.activated)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(merge.s00001160.activated)
lola: processed formula length: 30
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-PT-none-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: 7
lola: 768876 markings, 2492045 edges, 153775 markings/sec, 0 secs
lola: 1458112 markings, 4959133 edges, 137847 markings/sec, 5 secs
lola: 2167188 markings, 7302911 edges, 141815 markings/sec, 10 secs
lola: 2860531 markings, 9673509 edges, 138669 markings/sec, 15 secs
lola: 3561373 markings, 12181522 edges, 140168 markings/sec, 20 secs
lola: 4302222 markings, 14349875 edges, 148170 markings/sec, 25 secs
lola: 5067666 markings, 16580096 edges, 153089 markings/sec, 30 secs
lola: 5860744 markings, 18877517 edges, 158616 markings/sec, 35 secs
lola: 6807697 markings, 21282456 edges, 189391 markings/sec, 40 secs
lola: 7472864 markings, 23801328 edges, 133033 markings/sec, 45 secs
lola: 8196021 markings, 26085414 edges, 144631 markings/sec, 50 secs
lola: 8987906 markings, 28400089 edges, 158377 markings/sec, 55 secs
lola: 9609464 markings, 30738572 edges, 124312 markings/sec, 60 secs
lola: 10278010 markings, 32985784 edges, 133709 markings/sec, 65 secs
lola: 11041344 markings, 35245825 edges, 152667 markings/sec, 70 secs
lola: 11498614 markings, 37679472 edges, 91454 markings/sec, 75 secs
lola: 11901351 markings, 40097759 edges, 80547 markings/sec, 80 secs
lola: 12385358 markings, 42485396 edges, 96801 markings/sec, 85 secs
lola: 12879461 markings, 44946819 edges, 98821 markings/sec, 90 secs
lola: 13432784 markings, 47354502 edges, 110665 markings/sec, 95 secs
lola: 14054797 markings, 49648777 edges, 124403 markings/sec, 100 secs
lola: 14642833 markings, 52029638 edges, 117607 markings/sec, 105 secs
lola: 15244677 markings, 54373294 edges, 120369 markings/sec, 110 secs
lola: 15880505 markings, 56782349 edges, 127166 markings/sec, 115 secs
lola: 16420733 markings, 59160098 edges, 108046 markings/sec, 120 secs
lola: 17024178 markings, 61454809 edges, 120689 markings/sec, 125 secs
lola: 17665744 markings, 63874198 edges, 128313 markings/sec, 130 secs
lola: 18234796 markings, 66238895 edges, 113810 markings/sec, 135 secs
lola: 18786918 markings, 68609640 edges, 110424 markings/sec, 140 secs
lola: 19404992 markings, 70968818 edges, 123615 markings/sec, 145 secs
lola: 19970118 markings, 73406019 edges, 113025 markings/sec, 150 secs
lola: 20547960 markings, 75856066 edges, 115568 markings/sec, 155 secs
lola: 21066131 markings, 78337469 edges, 103634 markings/sec, 160 secs
lola: 21553452 markings, 80573455 edges, 97464 markings/sec, 165 secs
lola: 22052416 markings, 82701643 edges, 99793 markings/sec, 170 secs
lola: 22718525 markings, 84996890 edges, 133222 markings/sec, 175 secs
lola: 23335683 markings, 87285860 edges, 123432 markings/sec, 180 secs
lola: 23868210 markings, 89575652 edges, 106505 markings/sec, 185 secs
lola: 24446324 markings, 91917579 edges, 115623 markings/sec, 190 secs
lola: 25045497 markings, 94255099 edges, 119835 markings/sec, 195 secs
lola: 25634244 markings, 96570456 edges, 117749 markings/sec, 200 secs
lola: 26284324 markings, 98968202 edges, 130016 markings/sec, 205 secs
lola: 26927721 markings, 101368125 edges, 128679 markings/sec, 210 secs
lola: 27671256 markings, 103836400 edges, 148707 markings/sec, 215 secs
lola: 28314239 markings, 106141960 edges, 128597 markings/sec, 220 secs
lola: 28957343 markings, 108538252 edges, 128621 markings/sec, 225 secs
lola: 29622322 markings, 110880945 edges, 132996 markings/sec, 230 secs
lola: 30256455 markings, 113050201 edges, 126827 markings/sec, 235 secs
lola: 30914606 markings, 115382221 edges, 131630 markings/sec, 240 secs
lola: 31720684 markings, 117742591 edges, 161216 markings/sec, 245 secs
lola: 32337419 markings, 120050071 edges, 123347 markings/sec, 250 secs
lola: 32868532 markings, 122409113 edges, 106223 markings/sec, 255 secs
lola: 33420828 markings, 124431077 edges, 110459 markings/sec, 260 secs
lola: 33993407 markings, 126424874 edges, 114516 markings/sec, 265 secs
lola: 34554718 markings, 128431503 edges, 112262 markings/sec, 270 secs
lola: 35093791 markings, 130408056 edges, 107815 markings/sec, 275 secs
lola: 35684862 markings, 132607133 edges, 118214 markings/sec, 280 secs
lola: 36288518 markings, 134985518 edges, 120731 markings/sec, 285 secs
lola: 37019449 markings, 137246587 edges, 146186 markings/sec, 290 secs
lola: 37845678 markings, 139518991 edges, 165246 markings/sec, 295 secs
lola: 38679459 markings, 141792813 edges, 166756 markings/sec, 300 secs
lola: 39540056 markings, 144046465 edges, 172119 markings/sec, 305 secs
lola: 40093659 markings, 146004076 edges, 110721 markings/sec, 310 secs
lola: 40644268 markings, 147966673 edges, 110122 markings/sec, 315 secs
lola: 41257505 markings, 149818039 edges, 122647 markings/sec, 320 secs
lola: 41925592 markings, 151695827 edges, 133617 markings/sec, 325 secs
lola: 42406622 markings, 154015346 edges, 96206 markings/sec, 330 secs
lola: 42845808 markings, 156213512 edges, 87837 markings/sec, 335 secs
lola: 43363199 markings, 158455149 edges, 103478 markings/sec, 340 secs
lola: 43852938 markings, 160619351 edges, 97948 markings/sec, 345 secs
lola: 44308220 markings, 162570552 edges, 91056 markings/sec, 350 secs
lola: 44744616 markings, 164224443 edges, 87279 markings/sec, 355 secs
lola: 45227128 markings, 166003572 edges, 96502 markings/sec, 360 secs
lola: 45714915 markings, 168111602 edges, 97557 markings/sec, 365 secs
lola: 46291751 markings, 170328363 edges, 115367 markings/sec, 370 secs
lola: 46872150 markings, 172527270 edges, 116080 markings/sec, 375 secs
lola: 47431347 markings, 174935548 edges, 111839 markings/sec, 380 secs
lola: 48028136 markings, 177243729 edges, 119358 markings/sec, 385 secs
lola: 48662045 markings, 179588778 edges, 126782 markings/sec, 390 secs
lola: 49207616 markings, 182005899 edges, 109114 markings/sec, 395 secs
lola: 49787007 markings, 184192551 edges, 115878 markings/sec, 400 secs
lola: 50381329 markings, 186471114 edges, 118864 markings/sec, 405 secs
lola: 50865401 markings, 188574079 edges, 96814 markings/sec, 410 secs
lola: 51380408 markings, 190515434 edges, 103001 markings/sec, 415 secs
lola: 51910741 markings, 192481600 edges, 106067 markings/sec, 420 secs
lola: 52412660 markings, 194701474 edges, 100384 markings/sec, 425 secs
lola: 53039112 markings, 197091355 edges, 125290 markings/sec, 430 secs
lola: 53676425 markings, 199543504 edges, 127463 markings/sec, 435 secs
lola: 54263963 markings, 202102868 edges, 117508 markings/sec, 440 secs
lola: 54951265 markings, 204601343 edges, 137460 markings/sec, 445 secs
lola: 55544982 markings, 206793561 edges, 118743 markings/sec, 450 secs
lola: 56197253 markings, 209045879 edges, 130454 markings/sec, 455 secs
lola: 56872752 markings, 211492539 edges, 135100 markings/sec, 460 secs
lola: 57596447 markings, 213610380 edges, 144739 markings/sec, 465 secs
lola: 58317766 markings, 215754123 edges, 144264 markings/sec, 470 secs
lola: 59071037 markings, 217913153 edges, 150654 markings/sec, 475 secs
lola: 59659593 markings, 219961778 edges, 117711 markings/sec, 480 secs
lola: 60266595 markings, 222306144 edges, 121400 markings/sec, 485 secs
lola: 60882094 markings, 224415087 edges, 123100 markings/sec, 490 secs
lola: 61616834 markings, 226437852 edges, 146948 markings/sec, 495 secs
lola: 62368311 markings, 228497844 edges, 150295 markings/sec, 500 secs
lola: 62838100 markings, 230942911 edges, 93958 markings/sec, 505 secs
lola: 63256220 markings, 233414526 edges, 83624 markings/sec, 510 secs
lola: 63736552 markings, 235800984 edges, 96066 markings/sec, 515 secs
lola: 64231518 markings, 238328029 edges, 98993 markings/sec, 520 secs
lola: 64800469 markings, 240817903 edges, 113790 markings/sec, 525 secs
lola: 65412414 markings, 243144434 edges, 122389 markings/sec, 530 secs
lola: 66026027 markings, 245515991 edges, 122723 markings/sec, 535 secs
lola: 66574207 markings, 247925289 edges, 109636 markings/sec, 540 secs
lola: 67227567 markings, 250280715 edges, 130672 markings/sec, 545 secs
lola: 67809918 markings, 252702280 edges, 116470 markings/sec, 550 secs
lola: 68398224 markings, 254972835 edges, 117661 markings/sec, 555 secs
lola: 69000999 markings, 257262228 edges, 120555 markings/sec, 560 secs
lola: 69570859 markings, 259656860 edges, 113972 markings/sec, 565 secs
lola: 70156098 markings, 262064255 edges, 117048 markings/sec, 570 secs
lola: 70726801 markings, 264385036 edges, 114141 markings/sec, 575 secs
lola: 71352107 markings, 266784832 edges, 125061 markings/sec, 580 secs
lola: 71880519 markings, 269197380 edges, 105682 markings/sec, 585 secs
lola: 72473007 markings, 271635836 edges, 118498 markings/sec, 590 secs
lola: 72946207 markings, 273997350 edges, 94640 markings/sec, 595 secs
lola: 73436493 markings, 276218475 edges, 98057 markings/sec, 600 secs
lola: 74052471 markings, 278539539 edges, 123196 markings/sec, 605 secs
lola: 74758370 markings, 280979505 edges, 141180 markings/sec, 610 secs
lola: 75323712 markings, 283332548 edges, 113068 markings/sec, 615 secs
lola: 75907565 markings, 285784482 edges, 116771 markings/sec, 620 secs
lola: 76497088 markings, 288109998 edges, 117905 markings/sec, 625 secs
lola: 77109481 markings, 290496175 edges, 122479 markings/sec, 630 secs
lola: 77710019 markings, 292851985 edges, 120108 markings/sec, 635 secs
lola: 78407463 markings, 295312455 edges, 139489 markings/sec, 640 secs
lola: 79101188 markings, 297743974 edges, 138745 markings/sec, 645 secs
lola: 79740136 markings, 300161511 edges, 127790 markings/sec, 650 secs
lola: 80495913 markings, 302456097 edges, 151155 markings/sec, 655 secs
lola: 81112523 markings, 304596967 edges, 123322 markings/sec, 660 secs
lola: 81809131 markings, 306767180 edges, 139322 markings/sec, 665 secs
lola: 82423362 markings, 308934035 edges, 122846 markings/sec, 670 secs
lola: 83128559 markings, 311171083 edges, 141039 markings/sec, 675 secs
lola: 83870793 markings, 313292830 edges, 148447 markings/sec, 680 secs
lola: 84757650 markings, 315549453 edges, 177371 markings/sec, 685 secs
lola: 85269288 markings, 317599348 edges, 102328 markings/sec, 690 secs
lola: 85735330 markings, 319758453 edges, 93208 markings/sec, 695 secs
lola: 86270922 markings, 321822231 edges, 107118 markings/sec, 700 secs
lola: 86781639 markings, 323651131 edges, 102143 markings/sec, 705 secs
lola: 87360327 markings, 325548783 edges, 115738 markings/sec, 710 secs
lola: 87868833 markings, 327285753 edges, 101701 markings/sec, 715 secs
lola: 88417138 markings, 329155506 edges, 109661 markings/sec, 720 secs
lola: 88981104 markings, 330961589 edges, 112793 markings/sec, 725 secs
lola: 89475691 markings, 332769348 edges, 98917 markings/sec, 730 secs
lola: 90175926 markings, 334684997 edges, 140047 markings/sec, 735 secs
lola: 91190890 markings, 336853179 edges, 202993 markings/sec, 740 secs
lola: 92208260 markings, 339033678 edges, 203474 markings/sec, 745 secs
lola: 93239965 markings, 341248698 edges, 206341 markings/sec, 750 secs
lola: 94104517 markings, 343440654 edges, 172910 markings/sec, 755 secs
lola: 94749080 markings, 345424111 edges, 128913 markings/sec, 760 secs
lola: 95469920 markings, 347329018 edges, 144168 markings/sec, 765 secs
lola: 96111526 markings, 349413409 edges, 128321 markings/sec, 770 secs
lola: 96685358 markings, 351571663 edges, 114766 markings/sec, 775 secs
lola: 97392029 markings, 353780099 edges, 141334 markings/sec, 780 secs
lola: 98126487 markings, 356079705 edges, 146892 markings/sec, 785 secs
lola: 98919951 markings, 358431387 edges, 158693 markings/sec, 790 secs
lola: 99593002 markings, 360678508 edges, 134610 markings/sec, 795 secs
lola: 100335292 markings, 362908738 edges, 148458 markings/sec, 800 secs
lola: 101013696 markings, 365072331 edges, 135681 markings/sec, 805 secs
lola: 101805743 markings, 367147530 edges, 158409 markings/sec, 810 secs
lola: 102541660 markings, 369396856 edges, 147183 markings/sec, 815 secs
lola: 103322709 markings, 371635158 edges, 156210 markings/sec, 820 secs
lola: 104038092 markings, 373736705 edges, 143077 markings/sec, 825 secs
lola: 104689168 markings, 375660003 edges, 130215 markings/sec, 830 secs
lola: 105385203 markings, 377720584 edges, 139207 markings/sec, 835 secs
lola: 106087548 markings, 379857068 edges, 140469 markings/sec, 840 secs
lola: 106855076 markings, 382108132 edges, 153506 markings/sec, 845 secs
lola: 107625778 markings, 384369826 edges, 154140 markings/sec, 850 secs
lola: 108393794 markings, 386628456 edges, 153603 markings/sec, 855 secs
lola: 109186084 markings, 388954039 edges, 158458 markings/sec, 860 secs
lola: 109954676 markings, 391217198 edges, 153718 markings/sec, 865 secs
lola: 110698877 markings, 393469860 edges, 148840 markings/sec, 870 secs
lola: 111465455 markings, 395669206 edges, 153316 markings/sec, 875 secs
lola: 112516206 markings, 397972833 edges, 210150 markings/sec, 880 secs
lola: 113527155 markings, 400299098 edges, 202190 markings/sec, 885 secs
lola: 114210823 markings, 402704347 edges, 136734 markings/sec, 890 secs
lola: 114891761 markings, 405248550 edges, 136188 markings/sec, 895 secs
lola: 115573631 markings, 407571033 edges, 136374 markings/sec, 900 secs
lola: 116380858 markings, 409799645 edges, 161445 markings/sec, 905 secs
lola: 117184272 markings, 412073885 edges, 160683 markings/sec, 910 secs
lola: 117810900 markings, 414473744 edges, 125326 markings/sec, 915 secs
lola: 118510599 markings, 416715811 edges, 139940 markings/sec, 920 secs
lola: 119266525 markings, 418961731 edges, 151185 markings/sec, 925 secs
lola: 119723438 markings, 421407352 edges, 91383 markings/sec, 930 secs
lola: 120125290 markings, 423826799 edges, 80370 markings/sec, 935 secs
lola: 120604192 markings, 426194123 edges, 95780 markings/sec, 940 secs
lola: 121087642 markings, 428669434 edges, 96690 markings/sec, 945 secs
lola: 121637383 markings, 431102273 edges, 109948 markings/sec, 950 secs
lola: 122251695 markings, 433425327 edges, 122862 markings/sec, 955 secs
lola: 122883612 markings, 435863498 edges, 126383 markings/sec, 960 secs
lola: 123434796 markings, 438287795 edges, 110237 markings/sec, 965 secs
lola: 124091830 markings, 440660531 edges, 131407 markings/sec, 970 secs
lola: 124668509 markings, 443052749 edges, 115336 markings/sec, 975 secs
lola: 125252303 markings, 445316398 edges, 116759 markings/sec, 980 secs
lola: 125856056 markings, 447605846 edges, 120751 markings/sec, 985 secs
lola: 126424957 markings, 449999315 edges, 113780 markings/sec, 990 secs
lola: 127002251 markings, 452380824 edges, 115459 markings/sec, 995 secs
lola: 127583040 markings, 454735834 edges, 116158 markings/sec, 1000 secs
lola: 128187374 markings, 457063745 edges, 120867 markings/sec, 1005 secs
lola: 128713680 markings, 459467259 edges, 105261 markings/sec, 1010 secs
lola: 129303779 markings, 461901653 edges, 118020 markings/sec, 1015 secs
lola: 129770833 markings, 464229921 edges, 93411 markings/sec, 1020 secs
lola: 130252722 markings, 466404780 edges, 96378 markings/sec, 1025 secs
lola: 130853141 markings, 468692056 edges, 120084 markings/sec, 1030 secs
lola: 131512615 markings, 470973282 edges, 131895 markings/sec, 1035 secs
lola: 132091251 markings, 473255264 edges, 115727 markings/sec, 1040 secs
lola: 132627779 markings, 475635295 edges, 107306 markings/sec, 1045 secs
lola: 133215289 markings, 477906181 edges, 117502 markings/sec, 1050 secs
lola: 133792399 markings, 480175033 edges, 115422 markings/sec, 1055 secs
lola: 134367335 markings, 482438019 edges, 114987 markings/sec, 1060 secs
lola: 135064031 markings, 484857661 edges, 139339 markings/sec, 1065 secs
lola: 135687626 markings, 487190493 edges, 124719 markings/sec, 1070 secs
lola: 136338066 markings, 489569729 edges, 130088 markings/sec, 1075 secs
lola: 137028672 markings, 491912248 edges, 138121 markings/sec, 1080 secs
lola: 137581126 markings, 493948628 edges, 110491 markings/sec, 1085 secs
lola: 138123446 markings, 495909387 edges, 108464 markings/sec, 1090 secs
lola: 138732296 markings, 498048491 edges, 121770 markings/sec, 1095 secs
lola: 139478630 markings, 500164717 edges, 149267 markings/sec, 1100 secs
lola: 139996519 markings, 502159037 edges, 103578 markings/sec, 1105 secs
lola: 140466608 markings, 504335574 edges, 94018 markings/sec, 1110 secs
lola: 141012796 markings, 506365441 edges, 109238 markings/sec, 1115 secs
lola: 141585918 markings, 508336117 edges, 114624 markings/sec, 1120 secs
lola: 142102517 markings, 510253994 edges, 103320 markings/sec, 1125 secs
lola: 142601477 markings, 512096714 edges, 99792 markings/sec, 1130 secs
lola: 143271028 markings, 514007124 edges, 133910 markings/sec, 1135 secs
lola: 144186809 markings, 516102098 edges, 183156 markings/sec, 1140 secs
lola: 145078715 markings, 518149652 edges, 178381 markings/sec, 1145 secs
lola: 145704807 markings, 520039707 edges, 125218 markings/sec, 1150 secs
lola: 146241934 markings, 521950042 edges, 107425 markings/sec, 1155 secs
lola: 146882146 markings, 524051324 edges, 128042 markings/sec, 1160 secs
lola: 147503904 markings, 526111689 edges, 124352 markings/sec, 1165 secs
lola: 148187921 markings, 528124884 edges, 136803 markings/sec, 1170 secs
lola: 148864617 markings, 530166879 edges, 135339 markings/sec, 1175 secs
lola: 149522286 markings, 532203109 edges, 131534 markings/sec, 1180 secs
lola: 150210594 markings, 534294579 edges, 137662 markings/sec, 1185 secs
lola: 150966381 markings, 536596059 edges, 151157 markings/sec, 1190 secs
lola: 151810277 markings, 538892533 edges, 168779 markings/sec, 1195 secs
lola: 152538070 markings, 541176568 edges, 145559 markings/sec, 1200 secs
lola: 153157177 markings, 543406620 edges, 123821 markings/sec, 1205 secs
lola: 153834880 markings, 545475487 edges, 135541 markings/sec, 1210 secs
lola: 154457237 markings, 547627495 edges, 124471 markings/sec, 1215 secs
lola: 154836192 markings, 549959532 edges, 75791 markings/sec, 1220 secs
lola: 155265080 markings, 552134284 edges, 85778 markings/sec, 1225 secs
lola: 155667617 markings, 554339987 edges, 80507 markings/sec, 1230 secs
lola: 156110029 markings, 556550490 edges, 88482 markings/sec, 1235 secs
lola: 156641697 markings, 558863388 edges, 106334 markings/sec, 1240 secs
lola: 157215723 markings, 561040608 edges, 114805 markings/sec, 1245 secs
lola: 157795580 markings, 563277895 edges, 115971 markings/sec, 1250 secs
lola: 158283969 markings, 565374030 edges, 97678 markings/sec, 1255 secs
lola: 158800687 markings, 567333089 edges, 103344 markings/sec, 1260 secs
lola: 159370632 markings, 569453642 edges, 113989 markings/sec, 1265 secs
lola: 159803393 markings, 571392643 edges, 86552 markings/sec, 1270 secs
lola: 160295624 markings, 573258150 edges, 98446 markings/sec, 1275 secs
lola: 160857425 markings, 575373202 edges, 112360 markings/sec, 1280 secs
lola: 161374991 markings, 577539295 edges, 103513 markings/sec, 1285 secs
lola: 161898077 markings, 579677595 edges, 104617 markings/sec, 1290 secs
lola: 162386434 markings, 581768381 edges, 97671 markings/sec, 1295 secs
lola: 162934457 markings, 583781218 edges, 109605 markings/sec, 1300 secs
lola: 163415668 markings, 585879068 edges, 96242 markings/sec, 1305 secs
lola: 163915624 markings, 588036589 edges, 99991 markings/sec, 1310 secs
lola: 164417332 markings, 590332481 edges, 100342 markings/sec, 1315 secs
lola: 164881232 markings, 592477714 edges, 92780 markings/sec, 1320 secs
lola: 165333260 markings, 594555608 edges, 90406 markings/sec, 1325 secs
lola: 165955233 markings, 596791175 edges, 124395 markings/sec, 1330 secs
lola: 166626013 markings, 599105199 edges, 134156 markings/sec, 1335 secs
lola: 167139427 markings, 601306743 edges, 102683 markings/sec, 1340 secs
lola: 167699614 markings, 603648571 edges, 112037 markings/sec, 1345 secs
lola: 168278091 markings, 605925203 edges, 115695 markings/sec, 1350 secs
lola: 168874468 markings, 608254945 edges, 119275 markings/sec, 1355 secs
lola: 169453824 markings, 610530073 edges, 115871 markings/sec, 1360 secs
lola: 170143606 markings, 612918060 edges, 137956 markings/sec, 1365 secs
lola: 170787658 markings, 615261723 edges, 128810 markings/sec, 1370 secs
lola: 171402577 markings, 617572895 edges, 122984 markings/sec, 1375 secs
lola: 172067382 markings, 619883908 edges, 132961 markings/sec, 1380 secs
lola: 172673911 markings, 622056560 edges, 121306 markings/sec, 1385 secs
lola: 173272937 markings, 624274414 edges, 119805 markings/sec, 1390 secs
lola: 173988492 markings, 626551598 edges, 143111 markings/sec, 1395 secs
lola: 174699370 markings, 628810483 edges, 142176 markings/sec, 1400 secs
lola: 175179963 markings, 631117731 edges, 96119 markings/sec, 1405 secs
lola: 175658976 markings, 632988071 edges, 95803 markings/sec, 1410 secs
lola: 176123953 markings, 634662647 edges, 92995 markings/sec, 1415 secs
lola: 176550445 markings, 636263139 edges, 85298 markings/sec, 1420 secs
lola: 177028784 markings, 637925542 edges, 95668 markings/sec, 1425 secs
lola: 177465583 markings, 639590554 edges, 87360 markings/sec, 1430 secs
lola: 178135874 markings, 641362872 edges, 134058 markings/sec, 1435 secs
lola: 178951065 markings, 643259391 edges, 163038 markings/sec, 1440 secs
lola: 179809591 markings, 645299010 edges, 171705 markings/sec, 1445 secs
lola: 180434569 markings, 647176458 edges, 124996 markings/sec, 1450 secs
lola: 180979712 markings, 649223855 edges, 109029 markings/sec, 1455 secs
lola: 181626191 markings, 651410989 edges, 129296 markings/sec, 1460 secs
lola: 182287806 markings, 653464843 edges, 132323 markings/sec, 1465 secs
lola: 182992374 markings, 655654421 edges, 140914 markings/sec, 1470 secs
lola: 183711527 markings, 657902333 edges, 143831 markings/sec, 1475 secs
lola: 184443682 markings, 660202800 edges, 146431 markings/sec, 1480 secs
lola: 185188777 markings, 662519852 edges, 149019 markings/sec, 1485 secs
lola: 185998194 markings, 664819263 edges, 161883 markings/sec, 1490 secs
lola: 186607811 markings, 667070898 edges, 121923 markings/sec, 1495 secs
lola: 186966808 markings, 669304198 edges, 71799 markings/sec, 1500 secs
lola: 187395539 markings, 671410527 edges, 85746 markings/sec, 1505 secs
lola: 187780424 markings, 673561539 edges, 76977 markings/sec, 1510 secs
lola: 188170784 markings, 675830419 edges, 78072 markings/sec, 1515 secs
lola: 188528930 markings, 678191272 edges, 71629 markings/sec, 1520 secs
lola: 188940963 markings, 680669686 edges, 82407 markings/sec, 1525 secs
lola: 189293394 markings, 682939687 edges, 70486 markings/sec, 1530 secs
lola: 189661443 markings, 685336897 edges, 73610 markings/sec, 1535 secs
lola: 190056529 markings, 687828003 edges, 79017 markings/sec, 1540 secs
lola: 190418486 markings, 690238470 edges, 72391 markings/sec, 1545 secs
lola: 190777731 markings, 692596475 edges, 71849 markings/sec, 1550 secs
lola: 191118908 markings, 694965471 edges, 68235 markings/sec, 1555 secs
lola: 191432781 markings, 697251886 edges, 62775 markings/sec, 1560 secs
lola: 191737633 markings, 699343784 edges, 60970 markings/sec, 1565 secs
lola: 192036028 markings, 701395176 edges, 59679 markings/sec, 1570 secs
lola: 192487890 markings, 703609557 edges, 90372 markings/sec, 1575 secs
lola: 193100991 markings, 706055291 edges, 122620 markings/sec, 1580 secs
lola: 193533163 markings, 708498092 edges, 86434 markings/sec, 1585 secs
lola: 193816018 markings, 710572441 edges, 56571 markings/sec, 1590 secs
lola: 194153356 markings, 713034206 edges, 67468 markings/sec, 1595 secs
lola: 194487929 markings, 715377857 edges, 66915 markings/sec, 1600 secs
lola: 194875566 markings, 717707235 edges, 77527 markings/sec, 1605 secs
lola: 195255063 markings, 720004469 edges, 75899 markings/sec, 1610 secs
lola: 195616310 markings, 722279028 edges, 72249 markings/sec, 1615 secs
lola: 195977870 markings, 724567904 edges, 72312 markings/sec, 1620 secs
lola: 196369149 markings, 727033310 edges, 78256 markings/sec, 1625 secs
lola: 196732709 markings, 729406646 edges, 72712 markings/sec, 1630 secs
lola: 197118008 markings, 731789210 edges, 77060 markings/sec, 1635 secs
lola: 197530429 markings, 734379577 edges, 82484 markings/sec, 1640 secs
lola: 197890172 markings, 736686387 edges, 71949 markings/sec, 1645 secs
lola: 198405011 markings, 739168616 edges, 102968 markings/sec, 1650 secs
lola: 198820776 markings, 741606382 edges, 83153 markings/sec, 1655 secs
lola: 199238574 markings, 743933208 edges, 83560 markings/sec, 1660 secs
lola: 199645255 markings, 746334076 edges, 81336 markings/sec, 1665 secs
lola: 200077783 markings, 748508888 edges, 86506 markings/sec, 1670 secs
lola: 200534738 markings, 750952211 edges, 91391 markings/sec, 1675 secs
lola: 200868048 markings, 753105629 edges, 66662 markings/sec, 1680 secs
lola: 201205548 markings, 755429454 edges, 67500 markings/sec, 1685 secs
lola: 201574834 markings, 757469474 edges, 73857 markings/sec, 1690 secs
lola: 201926137 markings, 759452157 edges, 70261 markings/sec, 1695 secs
lola: 202244704 markings, 761313568 edges, 63713 markings/sec, 1700 secs
lola: 202563695 markings, 763146273 edges, 63798 markings/sec, 1705 secs
lola: 202899385 markings, 765073969 edges, 67138 markings/sec, 1710 secs
lola: 203342812 markings, 767114886 edges, 88685 markings/sec, 1715 secs
lola: 204168944 markings, 769564991 edges, 165226 markings/sec, 1720 secs
lola: 204957192 markings, 772051422 edges, 157650 markings/sec, 1725 secs
lola: 205351943 markings, 774399088 edges, 78950 markings/sec, 1730 secs
lola: 205699647 markings, 776669780 edges, 69541 markings/sec, 1735 secs
lola: 206117632 markings, 779282391 edges, 83597 markings/sec, 1740 secs
lola: 206528443 markings, 781838939 edges, 82162 markings/sec, 1745 secs
lola: 206988393 markings, 784156139 edges, 91990 markings/sec, 1750 secs
lola: 207407886 markings, 786598248 edges, 83899 markings/sec, 1755 secs
lola: 207854620 markings, 789030367 edges, 89347 markings/sec, 1760 secs
lola: 208293050 markings, 791464497 edges, 87686 markings/sec, 1765 secs
lola: 208739387 markings, 793925013 edges, 89267 markings/sec, 1770 secs
lola: 209156651 markings, 796226593 edges, 83453 markings/sec, 1775 secs
lola: 209554864 markings, 798438074 edges, 79643 markings/sec, 1780 secs
lola: 210025312 markings, 800935552 edges, 94090 markings/sec, 1785 secs
lola: 210536862 markings, 803295866 edges, 102310 markings/sec, 1790 secs
lola: 211056789 markings, 805441426 edges, 103985 markings/sec, 1795 secs
lola: 211626472 markings, 807533242 edges, 113937 markings/sec, 1800 secs
lola: 212156021 markings, 809899405 edges, 105910 markings/sec, 1805 secs
lola: 212674622 markings, 812315881 edges, 103720 markings/sec, 1810 secs
lola: 213188439 markings, 814822554 edges, 102763 markings/sec, 1815 secs
lola: 213728996 markings, 817312407 edges, 108111 markings/sec, 1820 secs
lola: 214230296 markings, 819913463 edges, 100260 markings/sec, 1825 secs
lola: 214771240 markings, 822501858 edges, 108189 markings/sec, 1830 secs
lola: 215193113 markings, 825034310 edges, 84375 markings/sec, 1835 secs
lola: 215612076 markings, 827260596 edges, 83793 markings/sec, 1840 secs
lola: 216056135 markings, 829467970 edges, 88812 markings/sec, 1845 secs
lola: 216749761 markings, 832000667 edges, 138725 markings/sec, 1850 secs
lola: 217338989 markings, 834505001 edges, 117846 markings/sec, 1855 secs
lola: 217799317 markings, 836941919 edges, 92066 markings/sec, 1860 secs
lola: 218290298 markings, 839450715 edges, 98196 markings/sec, 1865 secs
lola: 218824575 markings, 841856052 edges, 106855 markings/sec, 1870 secs
lola: 219347187 markings, 844337345 edges, 104522 markings/sec, 1875 secs
lola: 219865789 markings, 846777401 edges, 103720 markings/sec, 1880 secs
lola: 220456345 markings, 849351179 edges, 118111 markings/sec, 1885 secs
lola: 220988179 markings, 851799921 edges, 106367 markings/sec, 1890 secs
lola: 221551467 markings, 854322122 edges, 112658 markings/sec, 1895 secs
lola: 222139955 markings, 856755604 edges, 117698 markings/sec, 1900 secs
lola: 222707534 markings, 859229214 edges, 113516 markings/sec, 1905 secs
lola: 223264366 markings, 861655428 edges, 111366 markings/sec, 1910 secs
lola: 223898014 markings, 864129199 edges, 126730 markings/sec, 1915 secs
lola: 224517564 markings, 866591404 edges, 123910 markings/sec, 1920 secs
lola: 224973399 markings, 869137695 edges, 91167 markings/sec, 1925 secs
lola: 225456315 markings, 871239312 edges, 96583 markings/sec, 1930 secs
lola: 225928223 markings, 873276564 edges, 94382 markings/sec, 1935 secs
lola: 226404600 markings, 875305960 edges, 95275 markings/sec, 1940 secs
lola: 226855206 markings, 877330371 edges, 90121 markings/sec, 1945 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown 7 7 7 7 3 7 3 unknown 3 1 unknown 2 7 5
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 7 7 7 7 3 7 3 unknown 3 1 unknown 2 7 5
lola:
preliminary result: 1 unknown 7 7 7 7 3 7 3 unknown 3 1 unknown 2 7 5
lola: memory consumption: 18484 KB
lola: time consumption: 3570 seconds

BK_STOP 1552876815889

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

grep: GenericPropertiesVerdict.xml: No such file or directory

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="IBMB2S565S3960-PT-none"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is IBMB2S565S3960-PT-none, 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 r088-csrt-155246566000283"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/IBMB2S565S3960-PT-none.tgz
mv IBMB2S565S3960-PT-none execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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