Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r011-smll-155225030000040.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-3957
Executing tool win2018
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 r011-smll-155225030000040
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 2.9K Feb 9 05:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 9 05:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 02:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 5 02:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 1 23:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 1 23:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Jan 29 09:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jan 29 09:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 677K 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 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 1552297914737

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-07a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
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(p322) : MAX(p1243) : MAX(p572) : MAX(p977) : MAX(p1450) : MAX(p882) : MAX(p526) : MAX(p1488) : MAX(p943) : MAX(p1259) : MAX(p464) : MAX(p738) : MAX(p1150) : MAX(p1172) : MAX(p853) : MAX(p28)
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(p322)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p322)
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: 142536 markings, 188055 edges, 28507 markings/sec, 0 secs
lola: 308873 markings, 409203 edges, 33267 markings/sec, 5 secs
lola: 472692 markings, 636075 edges, 32764 markings/sec, 10 secs
lola: 649411 markings, 876609 edges, 35344 markings/sec, 15 secs
lola: 831260 markings, 1126915 edges, 36370 markings/sec, 20 secs
lola: 1010437 markings, 1371875 edges, 35835 markings/sec, 25 secs
lola: 1202597 markings, 1629367 edges, 38432 markings/sec, 30 secs
lola: 1388648 markings, 1881865 edges, 37210 markings/sec, 35 secs
lola: 1553827 markings, 2112733 edges, 33036 markings/sec, 40 secs
lola: 1752953 markings, 2380927 edges, 39825 markings/sec, 45 secs
lola: 1948556 markings, 2642527 edges, 39121 markings/sec, 50 secs
lola: 2144101 markings, 2904674 edges, 39109 markings/sec, 55 secs
lola: 2314758 markings, 3138237 edges, 34131 markings/sec, 60 secs
lola: 2481393 markings, 3369537 edges, 33327 markings/sec, 65 secs
lola: 2647214 markings, 3601859 edges, 33164 markings/sec, 70 secs
lola: 2818355 markings, 3835126 edges, 34228 markings/sec, 75 secs
lola: 2962442 markings, 4064798 edges, 28817 markings/sec, 80 secs
lola: 3108698 markings, 4303645 edges, 29251 markings/sec, 85 secs
lola: 3272493 markings, 4539212 edges, 32759 markings/sec, 90 secs
lola: 3421856 markings, 4765587 edges, 29873 markings/sec, 95 secs
lola: 3589384 markings, 4999606 edges, 33506 markings/sec, 100 secs
lola: 3757633 markings, 5235972 edges, 33650 markings/sec, 105 secs
lola: 3911426 markings, 5486227 edges, 30759 markings/sec, 110 secs
lola: 4061849 markings, 5733821 edges, 30085 markings/sec, 115 secs
lola: 4210846 markings, 5979986 edges, 29799 markings/sec, 120 secs
lola: 4363723 markings, 6233732 edges, 30575 markings/sec, 125 secs
lola: 4518747 markings, 6487080 edges, 31005 markings/sec, 130 secs
lola: 4671471 markings, 6737044 edges, 30545 markings/sec, 135 secs
lola: 4822988 markings, 6986213 edges, 30303 markings/sec, 140 secs
lola: 4962741 markings, 7217221 edges, 27951 markings/sec, 145 secs
lola: 5113189 markings, 7466500 edges, 30090 markings/sec, 150 secs
lola: 5267620 markings, 7715270 edges, 30886 markings/sec, 155 secs
lola: 5419570 markings, 7953857 edges, 30390 markings/sec, 160 secs
lola: 5567394 markings, 8193073 edges, 29565 markings/sec, 165 secs
lola: 5712883 markings, 8428642 edges, 29098 markings/sec, 170 secs
lola: 5878390 markings, 8664690 edges, 33101 markings/sec, 175 secs
lola: 6028630 markings, 8892998 edges, 30048 markings/sec, 180 secs
lola: 6216351 markings, 9149235 edges, 37544 markings/sec, 185 secs
lola: 6383020 markings, 9383058 edges, 33334 markings/sec, 190 secs
lola: 6531177 markings, 9623021 edges, 29631 markings/sec, 195 secs
lola: 6678568 markings, 9861587 edges, 29478 markings/sec, 200 secs
lola: 6830202 markings, 10092981 edges, 30327 markings/sec, 205 secs
lola: 6987795 markings, 10333632 edges, 31519 markings/sec, 210 secs
lola: 7164011 markings, 10573884 edges, 35243 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: 578744 KB
lola: time consumption: 250 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1243)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1243)
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: 40 markings, 39 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(p572)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p572)
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: 4 markings, 3 edges
lola: ========================================

FORMULA ASLink-PT-07a-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p977)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p977)
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: 64 markings, 63 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 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1450)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1450)
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: 31 markings, 30 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 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p882)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p882)
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: 96498 markings, 105525 edges, 19300 markings/sec, 0 secs
lola: 204501 markings, 243043 edges, 21601 markings/sec, 5 secs
lola: 308946 markings, 378410 edges, 20889 markings/sec, 10 secs
lola: 412370 markings, 517732 edges, 20685 markings/sec, 15 secs
lola: 522529 markings, 652480 edges, 22032 markings/sec, 20 secs
lola: 631298 markings, 785519 edges, 21754 markings/sec, 25 secs
lola: 725159 markings, 935131 edges, 18772 markings/sec, 30 secs
lola: 845579 markings, 1067334 edges, 24084 markings/sec, 35 secs
lola: 953202 markings, 1207579 edges, 21525 markings/sec, 40 secs
lola: 1065314 markings, 1341915 edges, 22422 markings/sec, 45 secs
lola: 1167342 markings, 1485438 edges, 20406 markings/sec, 50 secs
lola: 1287014 markings, 1616811 edges, 23934 markings/sec, 55 secs
lola: 1393616 markings, 1755681 edges, 21320 markings/sec, 60 secs
lola: 1492352 markings, 1897792 edges, 19747 markings/sec, 65 secs
lola: 1607154 markings, 2033124 edges, 22960 markings/sec, 70 secs
lola: 1722731 markings, 2166246 edges, 23115 markings/sec, 75 secs
lola: 1809020 markings, 2311443 edges, 17258 markings/sec, 80 secs
lola: 1926494 markings, 2436772 edges, 23495 markings/sec, 85 secs
lola: 2048631 markings, 2562408 edges, 24427 markings/sec, 90 secs
lola: 2173012 markings, 2691768 edges, 24876 markings/sec, 95 secs
lola: 2281341 markings, 2824566 edges, 21666 markings/sec, 100 secs
lola: 2399220 markings, 2950974 edges, 23576 markings/sec, 105 secs
lola: 2517551 markings, 3081558 edges, 23666 markings/sec, 110 secs
lola: 2634880 markings, 3211069 edges, 23466 markings/sec, 115 secs
lola: 2752207 markings, 3340569 edges, 23465 markings/sec, 120 secs
lola: 2874965 markings, 3467015 edges, 24552 markings/sec, 125 secs
lola: 2996238 markings, 3597905 edges, 24255 markings/sec, 130 secs
lola: 3116920 markings, 3730350 edges, 24136 markings/sec, 135 secs
lola: 3238347 markings, 3863466 edges, 24285 markings/sec, 140 secs
lola: 3358788 markings, 3995794 edges, 24088 markings/sec, 145 secs
lola: 3478574 markings, 4127419 edges, 23957 markings/sec, 150 secs
lola: 3598364 markings, 4258949 edges, 23958 markings/sec, 155 secs
lola: 3719247 markings, 4391457 edges, 24177 markings/sec, 160 secs
lola: 3839001 markings, 4523038 edges, 23951 markings/sec, 165 secs
lola: 3958372 markings, 4654166 edges, 23874 markings/sec, 170 secs
lola: 4077945 markings, 4785481 edges, 23915 markings/sec, 175 secs
lola: 4196783 markings, 4918753 edges, 23768 markings/sec, 180 secs
lola: 4288894 markings, 5077922 edges, 18422 markings/sec, 185 secs
lola: 4378949 markings, 5240516 edges, 18011 markings/sec, 190 secs
lola: 4477577 markings, 5390110 edges, 19726 markings/sec, 195 secs
lola: 4583425 markings, 5527051 edges, 21170 markings/sec, 200 secs
lola: 4685137 markings, 5667565 edges, 20342 markings/sec, 205 secs
lola: 4801372 markings, 5798722 edges, 23247 markings/sec, 210 secs
lola: 4918575 markings, 5927994 edges, 23441 markings/sec, 215 secs
lola: 5035646 markings, 6057087 edges, 23414 markings/sec, 220 secs
lola: 5131078 markings, 6209431 edges, 19086 markings/sec, 225 secs
lola: 5233393 markings, 6349442 edges, 20463 markings/sec, 230 secs
lola: 5348441 markings, 6480855 edges, 23010 markings/sec, 235 secs
lola: 5465385 markings, 6609855 edges, 23389 markings/sec, 240 secs
lola: 5582589 markings, 6739084 edges, 23441 markings/sec, 245 secs
lola: 5678628 markings, 6890630 edges, 19208 markings/sec, 250 secs
lola: 5781147 markings, 7030199 edges, 20504 markings/sec, 255 secs
lola: 5895331 markings, 7162795 edges, 22837 markings/sec, 260 secs
lola: 6012296 markings, 7291773 edges, 23393 markings/sec, 265 secs
lola: 6128904 markings, 7420384 edges, 23322 markings/sec, 270 secs
lola: 6225062 markings, 7569806 edges, 19232 markings/sec, 275 secs
lola: 6318678 markings, 7716770 edges, 18723 markings/sec, 280 secs
lola: 6404244 markings, 7888623 edges, 17113 markings/sec, 285 secs
lola: 6523637 markings, 8021119 edges, 23879 markings/sec, 290 secs
lola: 6644371 markings, 8153361 edges, 24147 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 608852 KB
lola: time consumption: 553 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p526)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p526)
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: 11 markings, 10 edges
lola: ========================================

FORMULA ASLink-PT-07a-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 335 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-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p943)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p943)
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
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 430 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1259)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1259)
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: 24 markings, 23 edges

FORMULA ASLink-PT-07a-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 502 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p464)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p464)
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: 78926 markings, 88456 edges, 15785 markings/sec, 30 secs
lola: 153383 markings, 176084 edges, 14891 markings/sec, 35 secs
lola: 230718 markings, 268515 edges, 15467 markings/sec, 40 secs
lola: 308417 markings, 359665 edges, 15540 markings/sec, 45 secs
lola: 385950 markings, 451258 edges, 15507 markings/sec, 50 secs
lola: 462435 markings, 543482 edges, 15297 markings/sec, 55 secs
lola: 541024 markings, 633786 edges, 15718 markings/sec, 60 secs
lola: 617402 markings, 731531 edges, 15276 markings/sec, 65 secs
lola: 701565 markings, 825672 edges, 16833 markings/sec, 70 secs
lola: 785420 markings, 921386 edges, 16771 markings/sec, 75 secs
lola: 862209 markings, 1015162 edges, 15358 markings/sec, 80 secs
lola: 940306 markings, 1107029 edges, 15619 markings/sec, 85 secs
lola: 1021805 markings, 1197681 edges, 16300 markings/sec, 90 secs
lola: 1103872 markings, 1291415 edges, 16413 markings/sec, 95 secs
lola: 1182721 markings, 1385473 edges, 15770 markings/sec, 100 secs
lola: 1260297 markings, 1477365 edges, 15515 markings/sec, 105 secs
lola: 1336590 markings, 1565528 edges, 15259 markings/sec, 110 secs
lola: 1418136 markings, 1657896 edges, 16309 markings/sec, 115 secs
lola: 1499702 markings, 1749401 edges, 16313 markings/sec, 120 secs
lola: 1582191 markings, 1837393 edges, 16498 markings/sec, 125 secs
lola: 1665542 markings, 1926303 edges, 16670 markings/sec, 130 secs
lola: 1748692 markings, 2015022 edges, 16630 markings/sec, 135 secs
lola: 1833221 markings, 2104525 edges, 16906 markings/sec, 140 secs
lola: 1917689 markings, 2193827 edges, 16894 markings/sec, 145 secs
lola: 1994206 markings, 2298199 edges, 15303 markings/sec, 150 secs
lola: 2075359 markings, 2391546 edges, 16231 markings/sec, 155 secs
lola: 2154891 markings, 2475131 edges, 15906 markings/sec, 160 secs
lola: 2240476 markings, 2563401 edges, 17117 markings/sec, 165 secs
lola: 2323467 markings, 2650459 edges, 16598 markings/sec, 170 secs
lola: 2408570 markings, 2739240 edges, 17021 markings/sec, 175 secs
lola: 2493295 markings, 2826038 edges, 16945 markings/sec, 180 secs
lola: 2572009 markings, 2908475 edges, 15743 markings/sec, 185 secs
lola: 2646682 markings, 2985044 edges, 14935 markings/sec, 190 secs
lola: 2720829 markings, 3061035 edges, 14829 markings/sec, 195 secs
lola: 2800834 markings, 3143625 edges, 16001 markings/sec, 200 secs
lola: 2884077 markings, 3229617 edges, 16649 markings/sec, 205 secs
lola: 2961299 markings, 3309351 edges, 15444 markings/sec, 210 secs
lola: 3044195 markings, 3394927 edges, 16579 markings/sec, 215 secs
lola: 3127296 markings, 3484813 edges, 16620 markings/sec, 220 secs
lola: 3209449 markings, 3575237 edges, 16431 markings/sec, 225 secs
lola: 3289212 markings, 3659027 edges, 15953 markings/sec, 230 secs
lola: 3368999 markings, 3741991 edges, 15957 markings/sec, 235 secs
lola: 3448693 markings, 3826115 edges, 15939 markings/sec, 240 secs
lola: 3527179 markings, 3913436 edges, 15697 markings/sec, 245 secs
lola: 3604946 markings, 3995594 edges, 15553 markings/sec, 250 secs
lola: 3688145 markings, 4081568 edges, 16640 markings/sec, 255 secs
lola: 3771050 markings, 4167242 edges, 16581 markings/sec, 260 secs
lola: 3853524 markings, 4252466 edges, 16495 markings/sec, 265 secs
lola: 3935502 markings, 4339355 edges, 16396 markings/sec, 270 secs
lola: 4016904 markings, 4428316 edges, 16280 markings/sec, 275 secs
lola: 4094699 markings, 4510048 edges, 15559 markings/sec, 280 secs
lola: 4171828 markings, 4595682 edges, 15426 markings/sec, 285 secs
lola: 4253807 markings, 4680114 edges, 16396 markings/sec, 290 secs
lola: 4335381 markings, 4764416 edges, 16315 markings/sec, 295 secs
lola: 4411470 markings, 4843049 edges, 15218 markings/sec, 300 secs
lola: 4485791 markings, 4919848 edges, 14864 markings/sec, 305 secs
lola: 4569496 markings, 5009854 edges, 16741 markings/sec, 310 secs
lola: 4646025 markings, 5092359 edges, 15306 markings/sec, 315 secs
lola: 4724079 markings, 5175625 edges, 15611 markings/sec, 320 secs
lola: 4802914 markings, 5261609 edges, 15767 markings/sec, 325 secs
lola: 4885413 markings, 5346795 edges, 16500 markings/sec, 330 secs
lola: 4966745 markings, 5430866 edges, 16266 markings/sec, 335 secs
lola: 5046740 markings, 5513541 edges, 15999 markings/sec, 340 secs
lola: 5123879 markings, 5593237 edges, 15428 markings/sec, 345 secs
lola: 5204764 markings, 5681771 edges, 16177 markings/sec, 350 secs
lola: 5286988 markings, 5771981 edges, 16445 markings/sec, 355 secs
lola: 5361998 markings, 5851938 edges, 15002 markings/sec, 360 secs
lola: 5444087 markings, 5943190 edges, 16418 markings/sec, 365 secs
lola: 5527240 markings, 6034594 edges, 16631 markings/sec, 370 secs
lola: 5612553 markings, 6122617 edges, 17063 markings/sec, 375 secs
lola: 5697613 markings, 6210790 edges, 17012 markings/sec, 380 secs
lola: 5782807 markings, 6299129 edges, 17039 markings/sec, 385 secs
lola: 5868021 markings, 6387488 edges, 17043 markings/sec, 390 secs
lola: 5953115 markings, 6475731 edges, 17019 markings/sec, 395 secs
lola: 6038170 markings, 6563973 edges, 17011 markings/sec, 400 secs
lola: 6122968 markings, 6651879 edges, 16960 markings/sec, 405 secs
lola: 6207942 markings, 6739976 edges, 16995 markings/sec, 410 secs
lola: 6292985 markings, 6828161 edges, 17009 markings/sec, 415 secs
lola: 6377761 markings, 6919124 edges, 16955 markings/sec, 420 secs
lola: 6462016 markings, 7010636 edges, 16851 markings/sec, 425 secs
lola: 6544937 markings, 7099318 edges, 16584 markings/sec, 430 secs
lola: 6625976 markings, 7182445 edges, 16208 markings/sec, 435 secs
lola: 6709476 markings, 7268666 edges, 16700 markings/sec, 440 secs
lola: 6793210 markings, 7355201 edges, 16747 markings/sec, 445 secs
lola: 6876962 markings, 7441747 edges, 16750 markings/sec, 450 secs
lola: 6960523 markings, 7528487 edges, 16712 markings/sec, 455 secs
lola: 7042377 markings, 7618641 edges, 16371 markings/sec, 460 secs
lola: 7124846 markings, 7707214 edges, 16494 markings/sec, 465 secs
lola: 7207149 markings, 7796191 edges, 16461 markings/sec, 470 secs
lola: 7288409 markings, 7888570 edges, 16252 markings/sec, 475 secs
lola: 7373075 markings, 7976593 edges, 16933 markings/sec, 480 secs
lola: 7457978 markings, 8064537 edges, 16981 markings/sec, 485 secs
lola: 7542666 markings, 8152374 edges, 16938 markings/sec, 490 secs
lola: 7627221 markings, 8240076 edges, 16911 markings/sec, 495 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1134372 KB
lola: time consumption: 1060 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 502 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p738)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p738)
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: 51291 markings, 125504 edges, 10258 markings/sec, 0 secs
lola: 113095 markings, 282057 edges, 12361 markings/sec, 5 secs
lola: 175631 markings, 429348 edges, 12507 markings/sec, 10 secs
lola: 235358 markings, 596102 edges, 11945 markings/sec, 15 secs
lola: 288839 markings, 739822 edges, 10696 markings/sec, 20 secs
lola: 347711 markings, 885723 edges, 11774 markings/sec, 25 secs
lola: 407114 markings, 1040133 edges, 11881 markings/sec, 30 secs
lola: 463944 markings, 1173072 edges, 11366 markings/sec, 35 secs
lola: 518316 markings, 1343285 edges, 10874 markings/sec, 40 secs
lola: 575239 markings, 1506344 edges, 11385 markings/sec, 45 secs
lola: 634790 markings, 1653104 edges, 11910 markings/sec, 50 secs
lola: 698143 markings, 1787908 edges, 12671 markings/sec, 55 secs
lola: 756370 markings, 1953273 edges, 11645 markings/sec, 60 secs
lola: 812406 markings, 2129221 edges, 11207 markings/sec, 65 secs
lola: 866088 markings, 2297690 edges, 10736 markings/sec, 70 secs
lola: 923531 markings, 2466969 edges, 11489 markings/sec, 75 secs
lola: 982217 markings, 2618831 edges, 11737 markings/sec, 80 secs
lola: 1042304 markings, 2763591 edges, 12017 markings/sec, 85 secs
lola: 1107511 markings, 2902871 edges, 13041 markings/sec, 90 secs
lola: 1170009 markings, 3050067 edges, 12500 markings/sec, 95 secs
lola: 1225823 markings, 3225892 edges, 11163 markings/sec, 100 secs
lola: 1281695 markings, 3401648 edges, 11174 markings/sec, 105 secs
lola: 1337624 markings, 3577730 edges, 11186 markings/sec, 110 secs
lola: 1393236 markings, 3752991 edges, 11122 markings/sec, 115 secs
lola: 1448788 markings, 3927620 edges, 11110 markings/sec, 120 secs
lola: 1503196 markings, 4079120 edges, 10882 markings/sec, 125 secs
lola: 1562732 markings, 4234457 edges, 11907 markings/sec, 130 secs
lola: 1620982 markings, 4391265 edges, 11650 markings/sec, 135 secs
lola: 1680239 markings, 4552837 edges, 11851 markings/sec, 140 secs
lola: 1737801 markings, 4720001 edges, 11512 markings/sec, 145 secs
lola: 1800829 markings, 4864483 edges, 12606 markings/sec, 150 secs
lola: 1858275 markings, 5038693 edges, 11489 markings/sec, 155 secs
lola: 1915057 markings, 5212968 edges, 11356 markings/sec, 160 secs
lola: 1973716 markings, 5364325 edges, 11732 markings/sec, 165 secs
lola: 2034691 markings, 5505244 edges, 12195 markings/sec, 170 secs
lola: 2091064 markings, 5673543 edges, 11275 markings/sec, 175 secs
lola: 2145271 markings, 5849791 edges, 10841 markings/sec, 180 secs
lola: 2206391 markings, 5999221 edges, 12224 markings/sec, 185 secs
lola: 2264586 markings, 6168536 edges, 11639 markings/sec, 190 secs
lola: 2325659 markings, 6317515 edges, 12215 markings/sec, 195 secs
lola: 2383341 markings, 6484932 edges, 11536 markings/sec, 200 secs
lola: 2443960 markings, 6632467 edges, 12124 markings/sec, 205 secs
lola: 2501027 markings, 6797971 edges, 11413 markings/sec, 210 secs
lola: 2559057 markings, 6945859 edges, 11606 markings/sec, 215 secs
lola: 2614710 markings, 7100815 edges, 11131 markings/sec, 220 secs
lola: 2677762 markings, 7240960 edges, 12610 markings/sec, 225 secs
lola: 2733084 markings, 7412202 edges, 11064 markings/sec, 230 secs
lola: 2792004 markings, 7567467 edges, 11784 markings/sec, 235 secs
lola: 2853165 markings, 7714836 edges, 12232 markings/sec, 240 secs
lola: 2912044 markings, 7871073 edges, 11776 markings/sec, 245 secs
lola: 2973693 markings, 8016503 edges, 12330 markings/sec, 250 secs
lola: 3032288 markings, 8173170 edges, 11719 markings/sec, 255 secs
lola: 3094662 markings, 8318476 edges, 12475 markings/sec, 260 secs
lola: 3158306 markings, 8462140 edges, 12729 markings/sec, 265 secs
lola: 3224091 markings, 8604818 edges, 13157 markings/sec, 270 secs
lola: 3288104 markings, 8747882 edges, 12803 markings/sec, 275 secs
lola: 3353799 markings, 8891998 edges, 13139 markings/sec, 280 secs
lola: 3417668 markings, 9035128 edges, 12774 markings/sec, 285 secs
lola: 3482412 markings, 9180424 edges, 12949 markings/sec, 290 secs
lola: 3543893 markings, 9333974 edges, 12296 markings/sec, 295 secs
lola: 3599643 markings, 9513022 edges, 11150 markings/sec, 300 secs
lola: 3654255 markings, 9690900 edges, 10922 markings/sec, 305 secs
lola: 3710738 markings, 9873052 edges, 11297 markings/sec, 310 secs
lola: 3765984 markings, 10053155 edges, 11049 markings/sec, 315 secs
lola: 3822235 markings, 10234613 edges, 11250 markings/sec, 320 secs
lola: 3877443 markings, 10414490 edges, 11042 markings/sec, 325 secs
lola: 3933404 markings, 10595364 edges, 11192 markings/sec, 330 secs
lola: 3986810 markings, 10768937 edges, 10681 markings/sec, 335 secs
lola: 4043461 markings, 10952326 edges, 11330 markings/sec, 340 secs
lola: 4099795 markings, 11134867 edges, 11267 markings/sec, 345 secs
lola: 4156261 markings, 11318013 edges, 11293 markings/sec, 350 secs
lola: 4212663 markings, 11500456 edges, 11280 markings/sec, 355 secs
lola: 4268865 markings, 11683572 edges, 11240 markings/sec, 360 secs
lola: 4325520 markings, 11866014 edges, 11331 markings/sec, 365 secs
lola: 4381238 markings, 12047779 edges, 11144 markings/sec, 370 secs
lola: 4437139 markings, 12227344 edges, 11180 markings/sec, 375 secs
lola: 4498527 markings, 12386090 edges, 12278 markings/sec, 380 secs
lola: 4557981 markings, 12555063 edges, 11891 markings/sec, 385 secs
lola: 4619197 markings, 12709582 edges, 12243 markings/sec, 390 secs
lola: 4686669 markings, 12854686 edges, 13494 markings/sec, 395 secs
lola: 4745759 markings, 13032372 edges, 11818 markings/sec, 400 secs
lola: 4803542 markings, 13215143 edges, 11557 markings/sec, 405 secs
lola: 4862653 markings, 13385971 edges, 11822 markings/sec, 410 secs
lola: 4923237 markings, 13557407 edges, 12117 markings/sec, 415 secs
lola: 4984920 markings, 13715498 edges, 12337 markings/sec, 420 secs
lola: 5043862 markings, 13873652 edges, 11788 markings/sec, 425 secs
lola: 5105628 markings, 14025449 edges, 12353 markings/sec, 430 secs
lola: 5171606 markings, 14171830 edges, 13196 markings/sec, 435 secs
lola: 5228675 markings, 14351709 edges, 11414 markings/sec, 440 secs
lola: 5285626 markings, 14531627 edges, 11390 markings/sec, 445 secs
lola: 5345454 markings, 14693622 edges, 11966 markings/sec, 450 secs
lola: 5403922 markings, 14863658 edges, 11694 markings/sec, 455 secs
lola: 5464840 markings, 15024852 edges, 12184 markings/sec, 460 secs
lola: 5523293 markings, 15179975 edges, 11691 markings/sec, 465 secs
lola: 5585773 markings, 15327415 edges, 12496 markings/sec, 470 secs
lola: 5650156 markings, 15477095 edges, 12877 markings/sec, 475 secs
lola: 5706620 markings, 15655505 edges, 11293 markings/sec, 480 secs
lola: 5763097 markings, 15834145 edges, 11295 markings/sec, 485 secs
lola: 5823380 markings, 15991075 edges, 12057 markings/sec, 490 secs
lola: 5880003 markings, 16156238 edges, 11325 markings/sec, 495 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 606668 KB
lola: time consumption: 1562 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 502 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1150)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1150)
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: 5 markings, 4 edges
lola: ========================================

FORMULA ASLink-PT-07a-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 669 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1172)
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: 99428 markings, 142536 edges, 19886 markings/sec, 30 secs
lola: 199880 markings, 312830 edges, 20090 markings/sec, 35 secs
lola: 302288 markings, 476693 edges, 20482 markings/sec, 40 secs
lola: 394411 markings, 639207 edges, 18425 markings/sec, 45 secs
lola: 492073 markings, 799586 edges, 19532 markings/sec, 50 secs
lola: 590951 markings, 955134 edges, 19776 markings/sec, 55 secs
lola: 690563 markings, 1118231 edges, 19922 markings/sec, 60 secs
lola: 789838 markings, 1283166 edges, 19855 markings/sec, 65 secs
lola: 891132 markings, 1444402 edges, 20259 markings/sec, 70 secs
lola: 991013 markings, 1604298 edges, 19976 markings/sec, 75 secs
lola: 1093616 markings, 1761079 edges, 20521 markings/sec, 80 secs
lola: 1197383 markings, 1901918 edges, 20753 markings/sec, 85 secs
lola: 1300387 markings, 2043572 edges, 20601 markings/sec, 90 secs
lola: 1398799 markings, 2214875 edges, 19682 markings/sec, 95 secs
lola: 1496825 markings, 2386451 edges, 19605 markings/sec, 100 secs
lola: 1595619 markings, 2558102 edges, 19759 markings/sec, 105 secs
lola: 1693774 markings, 2730212 edges, 19631 markings/sec, 110 secs
lola: 1793566 markings, 2897564 edges, 19958 markings/sec, 115 secs
lola: 1895944 markings, 3063600 edges, 20476 markings/sec, 120 secs
lola: 1998473 markings, 3216909 edges, 20506 markings/sec, 125 secs
lola: 2098622 markings, 3386136 edges, 20030 markings/sec, 130 secs
lola: 2200873 markings, 3549592 edges, 20450 markings/sec, 135 secs
lola: 2303534 markings, 3702984 edges, 20532 markings/sec, 140 secs
lola: 2402827 markings, 3873734 edges, 19859 markings/sec, 145 secs
lola: 2505306 markings, 4034698 edges, 20496 markings/sec, 150 secs
lola: 2593848 markings, 4195023 edges, 17708 markings/sec, 155 secs
lola: 2671954 markings, 4382196 edges, 15621 markings/sec, 160 secs
lola: 2754950 markings, 4556302 edges, 16599 markings/sec, 165 secs
lola: 2842107 markings, 4726846 edges, 17431 markings/sec, 170 secs
lola: 2942499 markings, 4891584 edges, 20078 markings/sec, 175 secs
lola: 3037907 markings, 5044845 edges, 19082 markings/sec, 180 secs
lola: 3134006 markings, 5186033 edges, 19220 markings/sec, 185 secs
lola: 3226086 markings, 5331915 edges, 18416 markings/sec, 190 secs
lola: 3329359 markings, 5471672 edges, 20655 markings/sec, 195 secs
lola: 3423857 markings, 5616447 edges, 18900 markings/sec, 200 secs
lola: 3515810 markings, 5760612 edges, 18391 markings/sec, 205 secs
lola: 3618972 markings, 5900219 edges, 20632 markings/sec, 210 secs
lola: 3713604 markings, 6044841 edges, 18926 markings/sec, 215 secs
lola: 3804977 markings, 6188415 edges, 18275 markings/sec, 220 secs
lola: 3907370 markings, 6327012 edges, 20479 markings/sec, 225 secs
lola: 4001152 markings, 6470628 edges, 18756 markings/sec, 230 secs
lola: 4090826 markings, 6627432 edges, 17935 markings/sec, 235 secs
lola: 4179428 markings, 6799340 edges, 17720 markings/sec, 240 secs
lola: 4265022 markings, 6975991 edges, 17119 markings/sec, 245 secs
lola: 4363129 markings, 7147101 edges, 19621 markings/sec, 250 secs
lola: 4453458 markings, 7324042 edges, 18066 markings/sec, 255 secs
lola: 4539006 markings, 7500977 edges, 17110 markings/sec, 260 secs
lola: 4636837 markings, 7671130 edges, 19566 markings/sec, 265 secs
lola: 4731909 markings, 7842969 edges, 19014 markings/sec, 270 secs
lola: 4816894 markings, 8019538 edges, 16997 markings/sec, 275 secs
lola: 4909321 markings, 8192864 edges, 18485 markings/sec, 280 secs
lola: 5006649 markings, 8362508 edges, 19466 markings/sec, 285 secs
lola: 5088784 markings, 8542252 edges, 16427 markings/sec, 290 secs
lola: 5178580 markings, 8714197 edges, 17959 markings/sec, 295 secs
lola: 5265368 markings, 8886415 edges, 17358 markings/sec, 300 secs
lola: 5357324 markings, 9062994 edges, 18391 markings/sec, 305 secs
lola: 5456054 markings, 9235322 edges, 19746 markings/sec, 310 secs
lola: 5545784 markings, 9413604 edges, 17946 markings/sec, 315 secs
lola: 5633130 markings, 9590686 edges, 17469 markings/sec, 320 secs
lola: 5731054 markings, 9761505 edges, 19585 markings/sec, 325 secs
lola: 5820724 markings, 9938514 edges, 17934 markings/sec, 330 secs
lola: 5906973 markings, 10114948 edges, 17250 markings/sec, 335 secs
lola: 6004627 markings, 10285176 edges, 19531 markings/sec, 340 secs
lola: 6097289 markings, 10458542 edges, 18532 markings/sec, 345 secs
lola: 6184125 markings, 10633314 edges, 17367 markings/sec, 350 secs
lola: 6286081 markings, 10784356 edges, 20391 markings/sec, 355 secs
lola: 6387356 markings, 10927579 edges, 20255 markings/sec, 360 secs
lola: 6485318 markings, 11079404 edges, 19592 markings/sec, 365 secs
lola: 6581617 markings, 11255314 edges, 19260 markings/sec, 370 secs
lola: 6677517 markings, 11430459 edges, 19180 markings/sec, 375 secs
lola: 6773817 markings, 11606583 edges, 19260 markings/sec, 380 secs
lola: 6870011 markings, 11782244 edges, 19239 markings/sec, 385 secs
lola: 6965480 markings, 11957449 edges, 19094 markings/sec, 390 secs
lola: 7058367 markings, 12124907 edges, 18577 markings/sec, 395 secs
lola: 7155790 markings, 12273470 edges, 19485 markings/sec, 400 secs
lola: 7250496 markings, 12417183 edges, 18941 markings/sec, 405 secs
lola: 7345108 markings, 12565801 edges, 18922 markings/sec, 410 secs
lola: 7437085 markings, 12741416 edges, 18395 markings/sec, 415 secs
lola: 7528583 markings, 12916205 edges, 18300 markings/sec, 420 secs
lola: 7620618 markings, 13091341 edges, 18407 markings/sec, 425 secs
lola: 7712429 markings, 13266673 edges, 18362 markings/sec, 430 secs
lola: 7803791 markings, 13441179 edges, 18272 markings/sec, 435 secs
lola: 7899075 markings, 13610263 edges, 19057 markings/sec, 440 secs
lola: 7999917 markings, 13756019 edges, 20168 markings/sec, 445 secs
lola: 8100247 markings, 13898542 edges, 20066 markings/sec, 450 secs
lola: 8198775 markings, 14054952 edges, 19706 markings/sec, 455 secs
lola: 8294507 markings, 14229847 edges, 19146 markings/sec, 460 secs
lola: 8389879 markings, 14404130 edges, 19074 markings/sec, 465 secs
lola: 8485762 markings, 14579769 edges, 19177 markings/sec, 470 secs
lola: 8581415 markings, 14754504 edges, 19131 markings/sec, 475 secs
lola: 8675532 markings, 14926874 edges, 18823 markings/sec, 480 secs
lola: 8767117 markings, 15096145 edges, 18317 markings/sec, 485 secs
lola: 8862563 markings, 15240258 edges, 19089 markings/sec, 490 secs
lola: 8958825 markings, 15382443 edges, 19252 markings/sec, 495 secs
lola: 9053999 markings, 15533842 edges, 19035 markings/sec, 500 secs
lola: 9145452 markings, 15708571 edges, 18291 markings/sec, 505 secs
lola: 9236417 markings, 15882381 edges, 18193 markings/sec, 510 secs
lola: 9328098 markings, 16056946 edges, 18336 markings/sec, 515 secs
lola: 9419534 markings, 16231546 edges, 18287 markings/sec, 520 secs
lola: 9510297 markings, 16405103 edges, 18153 markings/sec, 525 secs
lola: 9604463 markings, 16573532 edges, 18833 markings/sec, 530 secs
lola: 9704789 markings, 16716722 edges, 20065 markings/sec, 535 secs
lola: 9805164 markings, 16858642 edges, 20075 markings/sec, 540 secs
lola: 9903620 markings, 17017331 edges, 19691 markings/sec, 545 secs
lola: 9999272 markings, 17191326 edges, 19130 markings/sec, 550 secs
lola: 10094592 markings, 17364671 edges, 19064 markings/sec, 555 secs
lola: 10190164 markings, 17539921 edges, 19114 markings/sec, 560 secs
lola: 10285465 markings, 17714039 edges, 19060 markings/sec, 565 secs
lola: 10378821 markings, 17883618 edges, 18671 markings/sec, 570 secs
lola: 10470081 markings, 18052659 edges, 18252 markings/sec, 575 secs
lola: 10550994 markings, 18236436 edges, 16183 markings/sec, 580 secs
lola: 10630749 markings, 18422267 edges, 15951 markings/sec, 585 secs
lola: 10735915 markings, 18567796 edges, 21033 markings/sec, 590 secs
lola: 10837104 markings, 18736261 edges, 20238 markings/sec, 595 secs
lola: 10937749 markings, 18909712 edges, 20129 markings/sec, 600 secs
lola: 11040873 markings, 19070622 edges, 20625 markings/sec, 605 secs
lola: 11144126 markings, 19226680 edges, 20651 markings/sec, 610 secs
lola: 11246482 markings, 19383695 edges, 20471 markings/sec, 615 secs
lola: 11346514 markings, 19556097 edges, 20006 markings/sec, 620 secs
lola: 11448899 markings, 19716264 edges, 20477 markings/sec, 625 secs
lola: 11550379 markings, 19882850 edges, 20296 markings/sec, 630 secs
lola: 11653968 markings, 20027861 edges, 20718 markings/sec, 635 secs
lola: 11753493 markings, 20199372 edges, 19905 markings/sec, 640 secs
lola: 11853842 markings, 20367980 edges, 20070 markings/sec, 645 secs
lola: 11955607 markings, 20530944 edges, 20353 markings/sec, 650 secs
lola: 12044736 markings, 20702611 edges, 17826 markings/sec, 655 secs
lola: 12128598 markings, 20875455 edges, 16772 markings/sec, 660 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 unknown unknown 1 unknown unknown unknown
lola: memory consumption: 1055280 KB
lola: time consumption: 2231 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 669 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p853)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p853)
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: 80 markings, 79 edges
lola: ========================================

FORMULA ASLink-PT-07a-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1338 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p28)
lola: processed formula length: 8
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: 339 markings, 338 edges
lola: ========================================

FORMULA ASLink-PT-07a-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p322)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p322)
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: 131535 markings, 173740 edges, 26307 markings/sec, 0 secs
lola: 296011 markings, 392338 edges, 32895 markings/sec, 5 secs
lola: 458860 markings, 616562 edges, 32570 markings/sec, 10 secs
lola: 635948 markings, 859414 edges, 35418 markings/sec, 15 secs
lola: 819028 markings, 1109963 edges, 36616 markings/sec, 20 secs
lola: 997145 markings, 1354038 edges, 35623 markings/sec, 25 secs
lola: 1190794 markings, 1614343 edges, 38730 markings/sec, 30 secs
lola: 1379446 markings, 1868792 edges, 37730 markings/sec, 35 secs
lola: 1545011 markings, 2100824 edges, 33113 markings/sec, 40 secs
lola: 1743741 markings, 2368545 edges, 39746 markings/sec, 45 secs
lola: 1940037 markings, 2630790 edges, 39259 markings/sec, 50 secs
lola: 2135674 markings, 2893906 edges, 39127 markings/sec, 55 secs
lola: 2309708 markings, 3130984 edges, 34807 markings/sec, 60 secs
lola: 2475890 markings, 3362055 edges, 33236 markings/sec, 65 secs
lola: 2642016 markings, 3594798 edges, 33225 markings/sec, 70 secs
lola: 2814906 markings, 3830307 edges, 34578 markings/sec, 75 secs
lola: 2967408 markings, 4073119 edges, 30500 markings/sec, 80 secs
lola: 3112602 markings, 4309858 edges, 29039 markings/sec, 85 secs
lola: 3275675 markings, 4543700 edges, 32615 markings/sec, 90 secs
lola: 3424235 markings, 4768722 edges, 29712 markings/sec, 95 secs
lola: 3591465 markings, 5002498 edges, 33446 markings/sec, 100 secs
lola: 3759166 markings, 5238092 edges, 33540 markings/sec, 105 secs
lola: 3911602 markings, 5486530 edges, 30487 markings/sec, 110 secs
lola: 4060862 markings, 5732206 edges, 29852 markings/sec, 115 secs
lola: 4208751 markings, 5976441 edges, 29578 markings/sec, 120 secs
lola: 4360978 markings, 6229048 edges, 30445 markings/sec, 125 secs
lola: 4513850 markings, 6478824 edges, 30574 markings/sec, 130 secs
lola: 4665773 markings, 6727299 edges, 30385 markings/sec, 135 secs
lola: 4816073 markings, 6974413 edges, 30060 markings/sec, 140 secs
lola: 4963016 markings, 7217673 edges, 29389 markings/sec, 145 secs
lola: 5112499 markings, 7465551 edges, 29897 markings/sec, 150 secs
lola: 5265443 markings, 7712450 edges, 30589 markings/sec, 155 secs
lola: 5416393 markings, 7948651 edges, 30190 markings/sec, 160 secs
lola: 5561931 markings, 8184292 edges, 29108 markings/sec, 165 secs
lola: 5706417 markings, 8418383 edges, 28897 markings/sec, 170 secs
lola: 5870050 markings, 8653069 edges, 32727 markings/sec, 175 secs
lola: 6017471 markings, 8878468 edges, 29484 markings/sec, 180 secs
lola: 6203330 markings, 9131664 edges, 37172 markings/sec, 185 secs
lola: 6371669 markings, 9364667 edges, 33668 markings/sec, 190 secs
lola: 6519184 markings, 9603507 edges, 29503 markings/sec, 195 secs
lola: 6665299 markings, 9840123 edges, 29223 markings/sec, 200 secs
lola: 6812863 markings, 10068630 edges, 29513 markings/sec, 205 secs
lola: 6974930 markings, 10313800 edges, 32413 markings/sec, 210 secs
lola: 7146610 markings, 10549809 edges, 34336 markings/sec, 215 secs
lola: 7325006 markings, 10795622 edges, 35679 markings/sec, 220 secs
lola: 7481180 markings, 11029108 edges, 31235 markings/sec, 225 secs
lola: 7647753 markings, 11262492 edges, 33315 markings/sec, 230 secs
lola: 7807187 markings, 11500523 edges, 31887 markings/sec, 235 secs
lola: 7993651 markings, 11753357 edges, 37293 markings/sec, 240 secs
lola: 8151843 markings, 11985162 edges, 31638 markings/sec, 245 secs
lola: 8304808 markings, 12236327 edges, 30593 markings/sec, 250 secs
lola: 8454028 markings, 12477587 edges, 29844 markings/sec, 255 secs
lola: 8625261 markings, 12746784 edges, 34247 markings/sec, 260 secs
lola: 8776608 markings, 12996532 edges, 30269 markings/sec, 265 secs
lola: 8929535 markings, 13246733 edges, 30585 markings/sec, 270 secs
lola: 9072790 markings, 13480946 edges, 28651 markings/sec, 275 secs
lola: 9243449 markings, 13748748 edges, 34132 markings/sec, 280 secs
lola: 9401288 markings, 14004764 edges, 31568 markings/sec, 285 secs
lola: 9554807 markings, 14255272 edges, 30704 markings/sec, 290 secs
lola: 9696836 markings, 14493605 edges, 28406 markings/sec, 295 secs
lola: 9861155 markings, 14750052 edges, 32864 markings/sec, 300 secs
lola: 10023652 markings, 15008910 edges, 32499 markings/sec, 305 secs
lola: 10174874 markings, 15257403 edges, 30244 markings/sec, 310 secs
lola: 10322455 markings, 15503381 edges, 29516 markings/sec, 315 secs
lola: 10477373 markings, 15749654 edges, 30984 markings/sec, 320 secs
lola: 10647543 markings, 16014704 edges, 34034 markings/sec, 325 secs
lola: 10792411 markings, 16256040 edges, 28974 markings/sec, 330 secs
lola: 10946292 markings, 16508439 edges, 30776 markings/sec, 335 secs
lola: 11092609 markings, 16745530 edges, 29263 markings/sec, 340 secs
lola: 11262750 markings, 17013673 edges, 34028 markings/sec, 345 secs
lola: 11416182 markings, 17264914 edges, 30686 markings/sec, 350 secs
lola: 11567892 markings, 17512611 edges, 30342 markings/sec, 355 secs
lola: 11710022 markings, 17747739 edges, 28426 markings/sec, 360 secs
lola: 11876514 markings, 18008495 edges, 33298 markings/sec, 365 secs
lola: 12035536 markings, 18264167 edges, 31804 markings/sec, 370 secs
lola: 12187540 markings, 18512697 edges, 30401 markings/sec, 375 secs
lola: 12330475 markings, 18753676 edges, 28587 markings/sec, 380 secs
lola: 12489032 markings, 19001178 edges, 31711 markings/sec, 385 secs
lola: 12655364 markings, 19263822 edges, 33266 markings/sec, 390 secs
lola: 12801524 markings, 19505816 edges, 29232 markings/sec, 395 secs
lola: 12952777 markings, 19754257 edges, 30251 markings/sec, 400 secs
lola: 13102373 markings, 19995960 edges, 29919 markings/sec, 405 secs
lola: 13272671 markings, 20263163 edges, 34060 markings/sec, 410 secs
lola: 13422883 markings, 20507376 edges, 30042 markings/sec, 415 secs
lola: 13585347 markings, 20745042 edges, 32493 markings/sec, 420 secs
lola: 13732227 markings, 20983893 edges, 29376 markings/sec, 425 secs
lola: 13883007 markings, 21228291 edges, 30156 markings/sec, 430 secs
lola: 14030055 markings, 21467535 edges, 29410 markings/sec, 435 secs
lola: 14180038 markings, 21710720 edges, 29997 markings/sec, 440 secs
lola: 14326006 markings, 21948170 edges, 29194 markings/sec, 445 secs
lola: 14473635 markings, 22187564 edges, 29526 markings/sec, 450 secs
lola: 14620925 markings, 22419112 edges, 29458 markings/sec, 455 secs
lola: 14785771 markings, 22646815 edges, 32969 markings/sec, 460 secs
lola: 14972565 markings, 22901144 edges, 37359 markings/sec, 465 secs
lola: 15139866 markings, 23134956 edges, 33460 markings/sec, 470 secs
lola: 15280935 markings, 23380687 edges, 28214 markings/sec, 475 secs
lola: 15456308 markings, 23620737 edges, 35075 markings/sec, 480 secs
lola: 15646477 markings, 23876539 edges, 38034 markings/sec, 485 secs
lola: 15832000 markings, 24126638 edges, 37105 markings/sec, 490 secs
lola: 15994502 markings, 24353520 edges, 32500 markings/sec, 495 secs
lola: 16143653 markings, 24595842 edges, 29830 markings/sec, 500 secs
lola: 16293062 markings, 24838463 edges, 29882 markings/sec, 505 secs
lola: 16443239 markings, 25082327 edges, 30035 markings/sec, 510 secs
lola: 16592508 markings, 25324804 edges, 29854 markings/sec, 515 secs
lola: 16742449 markings, 25568291 edges, 29988 markings/sec, 520 secs
lola: 16889187 markings, 25806642 edges, 29348 markings/sec, 525 secs
lola: 17045389 markings, 26041779 edges, 31240 markings/sec, 530 secs
lola: 17215305 markings, 26276146 edges, 33983 markings/sec, 535 secs
lola: 17401293 markings, 26529157 edges, 37198 markings/sec, 540 secs
lola: 17555959 markings, 26764352 edges, 30933 markings/sec, 545 secs
lola: 17704630 markings, 27003115 edges, 29734 markings/sec, 550 secs
lola: 17889326 markings, 27253861 edges, 36939 markings/sec, 555 secs
lola: 18078335 markings, 27507431 edges, 37802 markings/sec, 560 secs
lola: 18251945 markings, 27746259 edges, 34722 markings/sec, 565 secs
lola: 18412663 markings, 27976945 edges, 32144 markings/sec, 570 secs
lola: 18563602 markings, 28221468 edges, 30188 markings/sec, 575 secs
lola: 18726660 markings, 28447551 edges, 32612 markings/sec, 580 secs
lola: 18905409 markings, 28691216 edges, 35750 markings/sec, 585 secs
lola: 19080134 markings, 28931751 edges, 34945 markings/sec, 590 secs
lola: 19222207 markings, 29181563 edges, 28415 markings/sec, 595 secs
lola: 19391179 markings, 29412624 edges, 33794 markings/sec, 600 secs
lola: 19583060 markings, 29672584 edges, 38376 markings/sec, 605 secs
lola: 19774894 markings, 29930253 edges, 38367 markings/sec, 610 secs
lola: 19943239 markings, 30163564 edges, 33669 markings/sec, 615 secs
lola: 20097130 markings, 30408183 edges, 30778 markings/sec, 620 secs
lola: 20258189 markings, 30658769 edges, 32212 markings/sec, 625 secs
lola: 20423474 markings, 30920778 edges, 33057 markings/sec, 630 secs
lola: 20572329 markings, 31167171 edges, 29771 markings/sec, 635 secs
lola: 20716630 markings, 31414123 edges, 28860 markings/sec, 640 secs
lola: 20872740 markings, 31655990 edges, 31222 markings/sec, 645 secs
lola: 21048169 markings, 31927640 edges, 35086 markings/sec, 650 secs
lola: 21224189 markings, 32200772 edges, 35204 markings/sec, 655 secs
lola: 21380688 markings, 32452352 edges, 31300 markings/sec, 660 secs
lola: 21530570 markings, 32699354 edges, 29976 markings/sec, 665 secs
lola: 21686786 markings, 32946456 edges, 31243 markings/sec, 670 secs
lola: 21858166 markings, 33216808 edges, 34276 markings/sec, 675 secs
lola: 22010426 markings, 33466947 edges, 30452 markings/sec, 680 secs
lola: 22158260 markings, 33713713 edges, 29567 markings/sec, 685 secs
lola: 22306146 markings, 33953395 edges, 29577 markings/sec, 690 secs
lola: 22479830 markings, 34223619 edges, 34737 markings/sec, 695 secs
lola: 22655896 markings, 34491673 edges, 35213 markings/sec, 700 secs
lola: 22821889 markings, 34753787 edges, 33199 markings/sec, 705 secs
lola: 22971967 markings, 35005646 edges, 30016 markings/sec, 710 secs
lola: 23124293 markings, 35249522 edges, 30465 markings/sec, 715 secs
lola: 23291959 markings, 35512056 edges, 33533 markings/sec, 720 secs
lola: 23452293 markings, 35769839 edges, 32067 markings/sec, 725 secs
lola: 23600925 markings, 36014681 edges, 29726 markings/sec, 730 secs
lola: 23746124 markings, 36260144 edges, 29040 markings/sec, 735 secs
lola: 23908455 markings, 36513149 edges, 32466 markings/sec, 740 secs
lola: 24085587 markings, 36786978 edges, 35426 markings/sec, 745 secs
lola: 24261089 markings, 37054998 edges, 35100 markings/sec, 750 secs
lola: 24411601 markings, 37304845 edges, 30102 markings/sec, 755 secs
lola: 24564218 markings, 37554011 edges, 30523 markings/sec, 760 secs
lola: 24721884 markings, 37802780 edges, 31533 markings/sec, 765 secs
lola: 24892221 markings, 38068900 edges, 34067 markings/sec, 770 secs
lola: 25038359 markings, 38312562 edges, 29228 markings/sec, 775 secs
lola: 25185546 markings, 38562391 edges, 29437 markings/sec, 780 secs
lola: 25336046 markings, 38798125 edges, 30100 markings/sec, 785 secs
lola: 25512981 markings, 39070369 edges, 35387 markings/sec, 790 secs
lola: 25688585 markings, 39343790 edges, 35121 markings/sec, 795 secs
lola: 25847388 markings, 39597822 edges, 31761 markings/sec, 800 secs
lola: 25995644 markings, 39842776 edges, 29651 markings/sec, 805 secs
lola: 26148831 markings, 40086071 edges, 30637 markings/sec, 810 secs
lola: 26319542 markings, 40354646 edges, 34142 markings/sec, 815 secs
lola: 26474554 markings, 40607960 edges, 31002 markings/sec, 820 secs
lola: 26620252 markings, 40849724 edges, 29140 markings/sec, 825 secs
lola: 26767083 markings, 41091831 edges, 29366 markings/sec, 830 secs
lola: 26935055 markings, 41354246 edges, 33594 markings/sec, 835 secs
lola: 27110755 markings, 41622020 edges, 35140 markings/sec, 840 secs
lola: 27282350 markings, 41887856 edges, 34319 markings/sec, 845 secs
lola: 27430303 markings, 42136906 edges, 29591 markings/sec, 850 secs
lola: 27580224 markings, 42380471 edges, 29984 markings/sec, 855 secs
lola: 27742478 markings, 42633019 edges, 32451 markings/sec, 860 secs
lola: 27905291 markings, 42892265 edges, 32563 markings/sec, 865 secs
lola: 28054552 markings, 43138855 edges, 29852 markings/sec, 870 secs
lola: 28197543 markings, 43383649 edges, 28598 markings/sec, 875 secs
lola: 28354744 markings, 43627318 edges, 31440 markings/sec, 880 secs
lola: 28529739 markings, 43898570 edges, 34999 markings/sec, 885 secs
lola: 28705787 markings, 44170299 edges, 35210 markings/sec, 890 secs
lola: 28860321 markings, 44420013 edges, 30907 markings/sec, 895 secs
lola: 29009614 markings, 44665603 edges, 29859 markings/sec, 900 secs
lola: 29164310 markings, 44910430 edges, 30939 markings/sec, 905 secs
lola: 29333960 markings, 45177505 edges, 33930 markings/sec, 910 secs
lola: 29484634 markings, 45425535 edges, 30135 markings/sec, 915 secs
lola: 29631010 markings, 45669723 edges, 29275 markings/sec, 920 secs
lola: 29777464 markings, 45907453 edges, 29291 markings/sec, 925 secs
lola: 29949332 markings, 46174351 edges, 34374 markings/sec, 930 secs
lola: 30123907 markings, 46440499 edges, 34915 markings/sec, 935 secs
lola: 30290064 markings, 46702175 edges, 33231 markings/sec, 940 secs
lola: 30438453 markings, 46951231 edges, 29678 markings/sec, 945 secs
lola: 30589112 markings, 47193877 edges, 30132 markings/sec, 950 secs
lola: 30753847 markings, 47451979 edges, 32947 markings/sec, 955 secs
lola: 30914776 markings, 47709108 edges, 32186 markings/sec, 960 secs
lola: 31063754 markings, 47953747 edges, 29796 markings/sec, 965 secs
lola: 31205524 markings, 48195587 edges, 28354 markings/sec, 970 secs
lola: 31366079 markings, 48444871 edges, 32111 markings/sec, 975 secs
lola: 31540448 markings, 48714321 edges, 34874 markings/sec, 980 secs
lola: 31714863 markings, 48983269 edges, 34883 markings/sec, 985 secs
lola: 31866513 markings, 49231323 edges, 30330 markings/sec, 990 secs
lola: 32027522 markings, 49467039 edges, 32202 markings/sec, 995 secs
lola: 32187954 markings, 49709111 edges, 32086 markings/sec, 1000 secs
lola: 32339475 markings, 49954581 edges, 30304 markings/sec, 1005 secs
lola: 32488520 markings, 50197986 edges, 29809 markings/sec, 1010 secs
lola: 32637939 markings, 50441632 edges, 29884 markings/sec, 1015 secs
lola: 32788359 markings, 50686828 edges, 30084 markings/sec, 1020 secs
lola: 32938524 markings, 50931593 edges, 30033 markings/sec, 1025 secs
lola: 33089632 markings, 51177504 edges, 30222 markings/sec, 1030 secs
lola: 33240274 markings, 51422689 edges, 30128 markings/sec, 1035 secs
lola: 33391450 markings, 51668519 edges, 30235 markings/sec, 1040 secs
lola: 33540418 markings, 51911737 edges, 29794 markings/sec, 1045 secs
lola: 33686225 markings, 52149428 edges, 29161 markings/sec, 1050 secs
lola: 33833398 markings, 52389546 edges, 29435 markings/sec, 1055 secs
lola: 33995363 markings, 52624262 edges, 32393 markings/sec, 1060 secs
lola: 34166028 markings, 52857844 edges, 34133 markings/sec, 1065 secs
lola: 34345406 markings, 53103845 edges, 35876 markings/sec, 1070 secs
lola: 34516273 markings, 53337308 edges, 34173 markings/sec, 1075 secs
lola: 34707806 markings, 53596397 edges, 38307 markings/sec, 1080 secs
lola: 34897783 markings, 53851605 edges, 37995 markings/sec, 1085 secs
lola: 35063190 markings, 54081507 edges, 33081 markings/sec, 1090 secs
lola: 35200719 markings, 54335746 edges, 27506 markings/sec, 1095 secs
lola: 35351203 markings, 54570949 edges, 30097 markings/sec, 1100 secs
lola: 35527226 markings, 54812584 edges, 35205 markings/sec, 1105 secs
lola: 35721358 markings, 55071075 edges, 38826 markings/sec, 1110 secs
lola: 35915528 markings, 55331680 edges, 38834 markings/sec, 1115 secs
lola: 36108735 markings, 55592184 edges, 38641 markings/sec, 1120 secs
lola: 36271732 markings, 55820707 edges, 32599 markings/sec, 1125 secs
lola: 36430986 markings, 56053962 edges, 31851 markings/sec, 1130 secs
lola: 36581065 markings, 56298545 edges, 30016 markings/sec, 1135 secs
lola: 36732994 markings, 56545957 edges, 30386 markings/sec, 1140 secs
lola: 36885954 markings, 56795019 edges, 30592 markings/sec, 1145 secs
lola: 37038578 markings, 57043564 edges, 30525 markings/sec, 1150 secs
lola: 37191886 markings, 57292883 edges, 30662 markings/sec, 1155 secs
lola: 37342780 markings, 57538988 edges, 30179 markings/sec, 1160 secs
lola: 37492891 markings, 57783865 edges, 30022 markings/sec, 1165 secs
lola: 37642972 markings, 58028592 edges, 30016 markings/sec, 1170 secs
lola: 37790809 markings, 58269954 edges, 29567 markings/sec, 1175 secs
lola: 37938793 markings, 58511315 edges, 29597 markings/sec, 1180 secs
lola: 38098640 markings, 58747782 edges, 31969 markings/sec, 1185 secs
lola: 38267897 markings, 58980946 edges, 33851 markings/sec, 1190 secs
lola: 38452955 markings, 59232795 edges, 37012 markings/sec, 1195 secs
lola: 38617377 markings, 59459164 edges, 32884 markings/sec, 1200 secs
lola: 38808940 markings, 59718013 edges, 38313 markings/sec, 1205 secs
lola: 39000304 markings, 59975956 edges, 38273 markings/sec, 1210 secs
lola: 39168367 markings, 60208038 edges, 33613 markings/sec, 1215 secs
lola: 39310251 markings, 60459242 edges, 28377 markings/sec, 1220 secs
lola: 39459632 markings, 60700615 edges, 29876 markings/sec, 1225 secs
lola: 39632061 markings, 60938000 edges, 34486 markings/sec, 1230 secs
lola: 39827021 markings, 61200291 edges, 38992 markings/sec, 1235 secs
lola: 40021472 markings, 61460721 edges, 38890 markings/sec, 1240 secs
lola: 40215603 markings, 61721387 edges, 38826 markings/sec, 1245 secs
lola: 40380875 markings, 61952814 edges, 33054 markings/sec, 1250 secs
lola: 40541632 markings, 62184074 edges, 32151 markings/sec, 1255 secs
lola: 40693414 markings, 62431100 edges, 30356 markings/sec, 1260 secs
lola: 40848224 markings, 62677364 edges, 30962 markings/sec, 1265 secs
lola: 41011823 markings, 62902483 edges, 32720 markings/sec, 1270 secs
lola: 41195958 markings, 63152661 edges, 36827 markings/sec, 1275 secs
lola: 41364460 markings, 63386637 edges, 33700 markings/sec, 1280 secs
lola: 41549222 markings, 63636927 edges, 36952 markings/sec, 1285 secs
lola: 41738858 markings, 63891682 edges, 37927 markings/sec, 1290 secs
lola: 41916543 markings, 64136105 edges, 35537 markings/sec, 1295 secs
lola: 42074047 markings, 64376740 edges, 31501 markings/sec, 1300 secs
lola: 42215528 markings, 64637048 edges, 28296 markings/sec, 1305 secs
lola: 42378754 markings, 64865901 edges, 32645 markings/sec, 1310 secs
lola: 42574579 markings, 65130424 edges, 39165 markings/sec, 1315 secs
lola: 42768899 markings, 65390477 edges, 38864 markings/sec, 1320 secs
lola: 42963790 markings, 65652374 edges, 38978 markings/sec, 1325 secs
lola: 43139182 markings, 65894285 edges, 35078 markings/sec, 1330 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 unknown unknown 1 unknown 1 1
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 unknown unknown 1 unknown 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 unknown unknown 1 unknown 1 1
lola: memory consumption: 3289504 KB
lola: time consumption: 3571 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 1 1 unknown unknown 1 unknown 1 1
lola: memory consumption: 3289732 KB
lola: time consumption: 3571 seconds

BK_STOP 1552301485242

--------------------
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="ASLink-PT-07a"
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-3957"
echo " Executing tool win2018"
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 r011-smll-155225030000040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-07a.tgz
mv ASLink-PT-07a 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 ;