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-155225030000034.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-06a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-smll-155225030000034
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 748K
-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 16K 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.6K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 14K 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.2K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K Feb 1 23:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 1 23:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 29 09:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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 597K 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-06a-UpperBounds-00
FORMULA_NAME ASLink-PT-06a-UpperBounds-01
FORMULA_NAME ASLink-PT-06a-UpperBounds-02
FORMULA_NAME ASLink-PT-06a-UpperBounds-03
FORMULA_NAME ASLink-PT-06a-UpperBounds-04
FORMULA_NAME ASLink-PT-06a-UpperBounds-05
FORMULA_NAME ASLink-PT-06a-UpperBounds-06
FORMULA_NAME ASLink-PT-06a-UpperBounds-07
FORMULA_NAME ASLink-PT-06a-UpperBounds-08
FORMULA_NAME ASLink-PT-06a-UpperBounds-09
FORMULA_NAME ASLink-PT-06a-UpperBounds-10
FORMULA_NAME ASLink-PT-06a-UpperBounds-11
FORMULA_NAME ASLink-PT-06a-UpperBounds-12
FORMULA_NAME ASLink-PT-06a-UpperBounds-13
FORMULA_NAME ASLink-PT-06a-UpperBounds-14
FORMULA_NAME ASLink-PT-06a-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552290618985

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-06a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-06a formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-06a @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3506/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 1406
lola: finding significant places
lola: 1406 places, 2100 transitions, 1136 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2372 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-06a-UpperBounds.task
lola: MAX(p1159) : MAX(p0) : MAX(p307) : MAX(p293) : MAX(p63) : MAX(p953) : MAX(p289) : MAX(p6) : MAX(p782) : MAX(p558) : MAX(p399) : MAX(p819) : MAX(p816) : MAX(p685) : MAX(p709) : MAX(p1147)
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(p1159)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1159)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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

FORMULA ASLink-PT-06a-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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: 0 markings, 0 edges
lola: ========================================

FORMULA ASLink-PT-06a-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p307)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p307)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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: 102931 markings, 104310 edges, 20586 markings/sec, 30 secs
lola: 205888 markings, 208838 edges, 20591 markings/sec, 35 secs
lola: 308883 markings, 313457 edges, 20599 markings/sec, 40 secs
lola: 431291 markings, 454518 edges, 24482 markings/sec, 45 secs
lola: 586904 markings, 650691 edges, 31123 markings/sec, 50 secs
lola: 759841 markings, 897556 edges, 34587 markings/sec, 55 secs
lola: 937617 markings, 1139107 edges, 35555 markings/sec, 60 secs
lola: 1111252 markings, 1379830 edges, 34727 markings/sec, 65 secs
lola: 1283954 markings, 1628244 edges, 34540 markings/sec, 70 secs
lola: 1461521 markings, 1871779 edges, 35513 markings/sec, 75 secs
lola: 1628801 markings, 2114427 edges, 33456 markings/sec, 80 secs
lola: 1805640 markings, 2358029 edges, 35368 markings/sec, 85 secs
lola: 1981963 markings, 2600549 edges, 35265 markings/sec, 90 secs
lola: 2137011 markings, 2802738 edges, 31010 markings/sec, 95 secs
lola: 2309832 markings, 3033881 edges, 34564 markings/sec, 100 secs
lola: 2477259 markings, 3270653 edges, 33485 markings/sec, 105 secs
lola: 2603767 markings, 3478269 edges, 25302 markings/sec, 110 secs
lola: 2735025 markings, 3659177 edges, 26252 markings/sec, 115 secs
lola: 2873771 markings, 3863893 edges, 27749 markings/sec, 120 secs
lola: 3041140 markings, 4087877 edges, 33474 markings/sec, 125 secs
lola: 3207432 markings, 4308680 edges, 33258 markings/sec, 130 secs
lola: 3374479 markings, 4530367 edges, 33409 markings/sec, 135 secs
lola: 3529206 markings, 4727819 edges, 30945 markings/sec, 140 secs
lola: 3701379 markings, 4961026 edges, 34435 markings/sec, 145 secs
lola: 3869471 markings, 5185345 edges, 33618 markings/sec, 150 secs
lola: 4026685 markings, 5386845 edges, 31443 markings/sec, 155 secs
lola: 4191943 markings, 5608641 edges, 33052 markings/sec, 160 secs
lola: 4358255 markings, 5832911 edges, 33262 markings/sec, 165 secs
lola: 4525570 markings, 6059271 edges, 33463 markings/sec, 170 secs
lola: 4692306 markings, 6285737 edges, 33347 markings/sec, 175 secs
lola: 4867246 markings, 6528273 edges, 34988 markings/sec, 180 secs
lola: 5036988 markings, 6763079 edges, 33948 markings/sec, 185 secs
lola: 5208806 markings, 6992242 edges, 34364 markings/sec, 190 secs
lola: 5352270 markings, 7262491 edges, 28693 markings/sec, 195 secs
lola: 5531257 markings, 7513491 edges, 35797 markings/sec, 200 secs
lola: 5712211 markings, 7766139 edges, 36191 markings/sec, 205 secs
lola: 5894649 markings, 8019519 edges, 36488 markings/sec, 210 secs
lola: 6074240 markings, 8269686 edges, 35918 markings/sec, 215 secs
lola: 6255070 markings, 8520148 edges, 36166 markings/sec, 220 secs
lola: 6434330 markings, 8770641 edges, 35852 markings/sec, 225 secs
lola: 6616171 markings, 9028150 edges, 36368 markings/sec, 230 secs
lola: 6796597 markings, 9284099 edges, 36085 markings/sec, 235 secs
lola: 6972330 markings, 9530225 edges, 35147 markings/sec, 240 secs
lola: 7141188 markings, 9766706 edges, 33772 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 734556 KB
lola: time consumption: 275 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p293)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p293)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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: 34 markings, 33 edges
lola: ========================================

FORMULA ASLink-PT-06a-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p63)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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: 152959 markings, 227491 edges, 30592 markings/sec, 0 secs
lola: 321199 markings, 485273 edges, 33648 markings/sec, 5 secs
lola: 500237 markings, 772531 edges, 35808 markings/sec, 10 secs
lola: 674277 markings, 1049145 edges, 34808 markings/sec, 15 secs
lola: 860834 markings, 1336973 edges, 37311 markings/sec, 20 secs
lola: 1045722 markings, 1634340 edges, 36978 markings/sec, 25 secs
lola: 1234457 markings, 1929669 edges, 37747 markings/sec, 30 secs
lola: 1411546 markings, 2207996 edges, 35418 markings/sec, 35 secs
lola: 1596969 markings, 2476411 edges, 37085 markings/sec, 40 secs
lola: 1794913 markings, 2765278 edges, 39589 markings/sec, 45 secs
lola: 1979192 markings, 3070168 edges, 36856 markings/sec, 50 secs
lola: 2175687 markings, 3363120 edges, 39299 markings/sec, 55 secs
lola: 2365883 markings, 3662938 edges, 38039 markings/sec, 60 secs
lola: 2556430 markings, 3960336 edges, 38109 markings/sec, 65 secs
lola: 2750642 markings, 4254328 edges, 38842 markings/sec, 70 secs
lola: 2927699 markings, 4531430 edges, 35411 markings/sec, 75 secs
lola: 3117774 markings, 4808525 edges, 38015 markings/sec, 80 secs
lola: 3305862 markings, 5083540 edges, 37618 markings/sec, 85 secs
lola: 3505511 markings, 5374024 edges, 39930 markings/sec, 90 secs
lola: 3693203 markings, 5676715 edges, 37538 markings/sec, 95 secs
lola: 3890381 markings, 5978512 edges, 39436 markings/sec, 100 secs
lola: 4074767 markings, 6251208 edges, 36877 markings/sec, 105 secs
lola: 4268915 markings, 6559175 edges, 38830 markings/sec, 110 secs
lola: 4468403 markings, 6862158 edges, 39898 markings/sec, 115 secs
lola: 4661922 markings, 7163017 edges, 38704 markings/sec, 120 secs
lola: 4861824 markings, 7468867 edges, 39980 markings/sec, 125 secs
lola: 5059891 markings, 7765635 edges, 39613 markings/sec, 130 secs
lola: 5245802 markings, 8049079 edges, 37182 markings/sec, 135 secs
lola: 5435164 markings, 8333510 edges, 37872 markings/sec, 140 secs
lola: 5627510 markings, 8618281 edges, 38469 markings/sec, 145 secs
lola: 5815366 markings, 8893959 edges, 37571 markings/sec, 150 secs
lola: 6018013 markings, 9187098 edges, 40529 markings/sec, 155 secs
lola: 6210190 markings, 9493243 edges, 38435 markings/sec, 160 secs
lola: 6413631 markings, 9799641 edges, 40688 markings/sec, 165 secs
lola: 6612898 markings, 10106920 edges, 39853 markings/sec, 170 secs
lola: 6815047 markings, 10400884 edges, 40430 markings/sec, 175 secs
lola: 7007161 markings, 10705243 edges, 38423 markings/sec, 180 secs
lola: 7202597 markings, 11014641 edges, 39087 markings/sec, 185 secs
lola: 7405581 markings, 11319227 edges, 40597 markings/sec, 190 secs
lola: 7609129 markings, 11610577 edges, 40710 markings/sec, 195 secs
lola: 7794476 markings, 11918691 edges, 37069 markings/sec, 200 secs
lola: 7998499 markings, 12225828 edges, 40805 markings/sec, 205 secs
lola: 8198095 markings, 12527098 edges, 39919 markings/sec, 210 secs
lola: 8392955 markings, 12819795 edges, 38972 markings/sec, 215 secs
lola: 8579417 markings, 13097408 edges, 37292 markings/sec, 220 secs
lola: 8769814 markings, 13383018 edges, 38079 markings/sec, 225 secs
lola: 8956260 markings, 13660862 edges, 37289 markings/sec, 230 secs
lola: 9151587 markings, 13946065 edges, 39065 markings/sec, 235 secs
lola: 9341309 markings, 14228259 edges, 37944 markings/sec, 240 secs
lola: 9544892 markings, 14519957 edges, 40717 markings/sec, 245 secs
lola: 9735920 markings, 14823410 edges, 38206 markings/sec, 250 secs
lola: 9934749 markings, 15131489 edges, 39766 markings/sec, 255 secs
lola: 10139728 markings, 15437924 edges, 40996 markings/sec, 260 secs
lola: 10338329 markings, 15742235 edges, 39720 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 916156 KB
lola: time consumption: 550 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p953)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p953)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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: 17 markings, 16 edges
lola: ========================================

FORMULA ASLink-PT-06a-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p289)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p289)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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: 100110 markings, 100316 edges, 20022 markings/sec, 30 secs
lola: 199744 markings, 200122 edges, 19927 markings/sec, 35 secs
lola: 299271 markings, 299808 edges, 19905 markings/sec, 40 secs
lola: 398622 markings, 399427 edges, 19870 markings/sec, 45 secs
lola: 498217 markings, 499317 edges, 19919 markings/sec, 50 secs
lola: 598201 markings, 599327 edges, 19997 markings/sec, 55 secs
lola: 697914 markings, 699073 edges, 19943 markings/sec, 60 secs
lola: 797531 markings, 798884 edges, 19923 markings/sec, 65 secs
lola: 897079 markings, 898811 edges, 19910 markings/sec, 70 secs
lola: 996668 markings, 999399 edges, 19918 markings/sec, 75 secs
lola: 1095571 markings, 1099901 edges, 19781 markings/sec, 80 secs
lola: 1195031 markings, 1200637 edges, 19892 markings/sec, 85 secs
lola: 1294173 markings, 1301454 edges, 19828 markings/sec, 90 secs
lola: 1393725 markings, 1401389 edges, 19910 markings/sec, 95 secs
lola: 1492838 markings, 1500715 edges, 19823 markings/sec, 100 secs
lola: 1591675 markings, 1599719 edges, 19767 markings/sec, 105 secs
lola: 1690487 markings, 1698773 edges, 19762 markings/sec, 110 secs
lola: 1789570 markings, 1798174 edges, 19817 markings/sec, 115 secs
lola: 1888972 markings, 1897607 edges, 19880 markings/sec, 120 secs
lola: 1988374 markings, 1997036 edges, 19880 markings/sec, 125 secs
lola: 2087530 markings, 2096363 edges, 19831 markings/sec, 130 secs
lola: 2186781 markings, 2195988 edges, 19850 markings/sec, 135 secs
lola: 2285969 markings, 2296065 edges, 19838 markings/sec, 140 secs
lola: 2384577 markings, 2396193 edges, 19722 markings/sec, 145 secs
lola: 2483544 markings, 2496530 edges, 19793 markings/sec, 150 secs
lola: 2582425 markings, 2596896 edges, 19776 markings/sec, 155 secs
lola: 2681813 markings, 2696920 edges, 19878 markings/sec, 160 secs
lola: 2781013 markings, 2796394 edges, 19840 markings/sec, 165 secs
lola: 2879924 markings, 2895471 edges, 19782 markings/sec, 170 secs
lola: 2978673 markings, 2994433 edges, 19750 markings/sec, 175 secs
lola: 3071412 markings, 3087453 edges, 18548 markings/sec, 180 secs
lola: 3171170 markings, 3187312 edges, 19952 markings/sec, 185 secs
lola: 3270963 markings, 3287133 edges, 19959 markings/sec, 190 secs
lola: 3370508 markings, 3386777 edges, 19909 markings/sec, 195 secs
lola: 3470206 markings, 3486824 edges, 19940 markings/sec, 200 secs
lola: 3569790 markings, 3587086 edges, 19917 markings/sec, 205 secs
lola: 3668890 markings, 3687681 edges, 19820 markings/sec, 210 secs
lola: 3768123 markings, 3788461 edges, 19847 markings/sec, 215 secs
lola: 3867523 markings, 3889184 edges, 19880 markings/sec, 220 secs
lola: 3967151 markings, 3989753 edges, 19926 markings/sec, 225 secs
lola: 4066812 markings, 4089636 edges, 19932 markings/sec, 230 secs
lola: 4166028 markings, 4189076 edges, 19843 markings/sec, 235 secs
lola: 4265392 markings, 4288618 edges, 19873 markings/sec, 240 secs
lola: 4364879 markings, 4388412 edges, 19897 markings/sec, 245 secs
lola: 4464543 markings, 4488187 edges, 19933 markings/sec, 250 secs
lola: 4564304 markings, 4587981 edges, 19952 markings/sec, 255 secs
lola: 4663890 markings, 4687643 edges, 19917 markings/sec, 260 secs
lola: 4763573 markings, 4787683 edges, 19937 markings/sec, 265 secs
lola: 4863081 markings, 4887793 edges, 19902 markings/sec, 270 secs
lola: 4962195 markings, 4988367 edges, 19823 markings/sec, 275 secs
lola: 5061456 markings, 5089226 edges, 19852 markings/sec, 280 secs
lola: 5160750 markings, 5189741 edges, 19859 markings/sec, 285 secs
lola: 5260447 markings, 5290547 edges, 19939 markings/sec, 290 secs
lola: 5360207 markings, 5390504 edges, 19952 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 572864 KB
lola: time consumption: 851 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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: 74734 markings, 134495 edges, 14947 markings/sec, 30 secs
lola: 149028 markings, 269405 edges, 14859 markings/sec, 35 secs
lola: 215494 markings, 437966 edges, 13293 markings/sec, 40 secs
lola: 280209 markings, 616723 edges, 12943 markings/sec, 45 secs
lola: 345586 markings, 787936 edges, 13075 markings/sec, 50 secs
lola: 410877 markings, 958883 edges, 13058 markings/sec, 55 secs
lola: 474904 markings, 1135283 edges, 12805 markings/sec, 60 secs
lola: 540853 markings, 1305265 edges, 13190 markings/sec, 65 secs
lola: 607034 markings, 1472019 edges, 13236 markings/sec, 70 secs
lola: 671406 markings, 1652626 edges, 12874 markings/sec, 75 secs
lola: 735864 markings, 1833271 edges, 12892 markings/sec, 80 secs
lola: 798021 markings, 2006300 edges, 12431 markings/sec, 85 secs
lola: 864804 markings, 2182544 edges, 13357 markings/sec, 90 secs
lola: 931991 markings, 2354791 edges, 13437 markings/sec, 95 secs
lola: 997258 markings, 2537287 edges, 13053 markings/sec, 100 secs
lola: 1062415 markings, 2720021 edges, 13031 markings/sec, 105 secs
lola: 1127669 markings, 2902368 edges, 13051 markings/sec, 110 secs
lola: 1195710 markings, 3066569 edges, 13608 markings/sec, 115 secs
lola: 1260469 markings, 3248204 edges, 12952 markings/sec, 120 secs
lola: 1324115 markings, 3426144 edges, 12729 markings/sec, 125 secs
lola: 1387803 markings, 3603681 edges, 12738 markings/sec, 130 secs
lola: 1451363 markings, 3781742 edges, 12712 markings/sec, 135 secs
lola: 1515557 markings, 3933256 edges, 12839 markings/sec, 140 secs
lola: 1581656 markings, 4096287 edges, 13220 markings/sec, 145 secs
lola: 1646765 markings, 4275540 edges, 13022 markings/sec, 150 secs
lola: 1711296 markings, 4457508 edges, 12906 markings/sec, 155 secs
lola: 1775665 markings, 4639205 edges, 12874 markings/sec, 160 secs
lola: 1840084 markings, 4821172 edges, 12884 markings/sec, 165 secs
lola: 1904432 markings, 5002777 edges, 12870 markings/sec, 170 secs
lola: 1968764 markings, 5184161 edges, 12866 markings/sec, 175 secs
lola: 2033064 markings, 5365296 edges, 12860 markings/sec, 180 secs
lola: 2097554 markings, 5547371 edges, 12898 markings/sec, 185 secs
lola: 2165879 markings, 5702232 edges, 13665 markings/sec, 190 secs
lola: 2231009 markings, 5877186 edges, 13026 markings/sec, 195 secs
lola: 2295185 markings, 6058268 edges, 12835 markings/sec, 200 secs
lola: 2359226 markings, 6239265 edges, 12808 markings/sec, 205 secs
lola: 2423292 markings, 6419842 edges, 12813 markings/sec, 210 secs
lola: 2487044 markings, 6598608 edges, 12750 markings/sec, 215 secs
lola: 2550669 markings, 6778040 edges, 12725 markings/sec, 220 secs
lola: 2614144 markings, 6957327 edges, 12695 markings/sec, 225 secs
lola: 2677740 markings, 7136111 edges, 12719 markings/sec, 230 secs
lola: 2744240 markings, 7296529 edges, 13300 markings/sec, 235 secs
lola: 2809880 markings, 7462389 edges, 13128 markings/sec, 240 secs
lola: 2870031 markings, 7632706 edges, 12030 markings/sec, 245 secs
lola: 2933584 markings, 7812024 edges, 12711 markings/sec, 250 secs
lola: 2996921 markings, 7990522 edges, 12667 markings/sec, 255 secs
lola: 3060044 markings, 8168818 edges, 12625 markings/sec, 260 secs
lola: 3120122 markings, 8338220 edges, 12016 markings/sec, 265 secs
lola: 3183544 markings, 8517480 edges, 12684 markings/sec, 270 secs
lola: 3247175 markings, 8697189 edges, 12726 markings/sec, 275 secs
lola: 3314180 markings, 8861840 edges, 13401 markings/sec, 280 secs
lola: 3381994 markings, 9021349 edges, 13563 markings/sec, 285 secs
lola: 3447986 markings, 9183557 edges, 13198 markings/sec, 290 secs
lola: 3512288 markings, 9366096 edges, 12860 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 332928 KB
lola: time consumption: 1153 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p782)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p782)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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

FORMULA ASLink-PT-06a-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 345 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p558)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p558)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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

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

FORMULA ASLink-PT-06a-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 482 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p819)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p819)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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: 166176 markings, 172507 edges, 33235 markings/sec, 30 secs
lola: 332486 markings, 345206 edges, 33262 markings/sec, 35 secs
lola: 498583 markings, 517858 edges, 33219 markings/sec, 40 secs
lola: 664376 markings, 690224 edges, 33159 markings/sec, 45 secs
lola: 829678 markings, 861987 edges, 33060 markings/sec, 50 secs
lola: 994486 markings, 1035511 edges, 32962 markings/sec, 55 secs
lola: 1158323 markings, 1208858 edges, 32767 markings/sec, 60 secs
lola: 1323981 markings, 1381099 edges, 33132 markings/sec, 65 secs
lola: 1489403 markings, 1553056 edges, 33084 markings/sec, 70 secs
lola: 1654319 markings, 1724598 edges, 32983 markings/sec, 75 secs
lola: 1819058 markings, 1895711 edges, 32948 markings/sec, 80 secs
lola: 1983480 markings, 2067661 edges, 32884 markings/sec, 85 secs
lola: 2146948 markings, 2240552 edges, 32694 markings/sec, 90 secs
lola: 2311319 markings, 2412684 edges, 32874 markings/sec, 95 secs
lola: 2476123 markings, 2584206 edges, 32961 markings/sec, 100 secs
lola: 2640950 markings, 2755314 edges, 32965 markings/sec, 105 secs
lola: 2805483 markings, 2926361 edges, 32907 markings/sec, 110 secs
lola: 2969410 markings, 3096951 edges, 32785 markings/sec, 115 secs
lola: 3132678 markings, 3269259 edges, 32654 markings/sec, 120 secs
lola: 3295146 markings, 3440992 edges, 32494 markings/sec, 125 secs
lola: 3456864 markings, 3616255 edges, 32344 markings/sec, 130 secs
lola: 3617930 markings, 3790695 edges, 32213 markings/sec, 135 secs
lola: 3775807 markings, 3967418 edges, 31575 markings/sec, 140 secs
lola: 3936200 markings, 4142157 edges, 32079 markings/sec, 145 secs
lola: 4096272 markings, 4315590 edges, 32014 markings/sec, 150 secs
lola: 4253231 markings, 4492302 edges, 31392 markings/sec, 155 secs
lola: 4413344 markings, 4665776 edges, 32023 markings/sec, 160 secs
lola: 4571511 markings, 4840067 edges, 31633 markings/sec, 165 secs
lola: 4720995 markings, 5004255 edges, 29897 markings/sec, 170 secs
lola: 4888184 markings, 5179614 edges, 33438 markings/sec, 175 secs
lola: 5055014 markings, 5354816 edges, 33366 markings/sec, 180 secs
lola: 5221615 markings, 5529754 edges, 33320 markings/sec, 185 secs
lola: 5388318 markings, 5704826 edges, 33341 markings/sec, 190 secs
lola: 5554302 markings, 5880701 edges, 33197 markings/sec, 195 secs
lola: 5719976 markings, 6056335 edges, 33135 markings/sec, 200 secs
lola: 5887714 markings, 6230450 edges, 33548 markings/sec, 205 secs
lola: 6055213 markings, 6404561 edges, 33500 markings/sec, 210 secs
lola: 6221975 markings, 6578030 edges, 33352 markings/sec, 215 secs
lola: 6388606 markings, 6751075 edges, 33326 markings/sec, 220 secs
lola: 6555419 markings, 6925883 edges, 33363 markings/sec, 225 secs
lola: 6721729 markings, 7101337 edges, 33262 markings/sec, 230 secs
lola: 6887905 markings, 7276182 edges, 33235 markings/sec, 235 secs
lola: 7053908 markings, 7451108 edges, 33201 markings/sec, 240 secs
lola: 7219317 markings, 7625685 edges, 33082 markings/sec, 245 secs
lola: 7385412 markings, 7800414 edges, 33219 markings/sec, 250 secs
lola: 7551164 markings, 7975059 edges, 33150 markings/sec, 255 secs
lola: 7716876 markings, 8149796 edges, 33142 markings/sec, 260 secs
lola: 7882282 markings, 8323930 edges, 33081 markings/sec, 265 secs
lola: 8048307 markings, 8498894 edges, 33205 markings/sec, 270 secs
lola: 8214552 markings, 8674049 edges, 33249 markings/sec, 275 secs
lola: 8380434 markings, 8848817 edges, 33176 markings/sec, 280 secs
lola: 8546109 markings, 9023370 edges, 33135 markings/sec, 285 secs
lola: 8711164 markings, 9197471 edges, 33011 markings/sec, 290 secs
lola: 8877449 markings, 9372524 edges, 33257 markings/sec, 295 secs
lola: 9043296 markings, 9547265 edges, 33169 markings/sec, 300 secs
lola: 9208667 markings, 9721441 edges, 33074 markings/sec, 305 secs
lola: 9373657 markings, 9895344 edges, 32998 markings/sec, 310 secs
lola: 9538920 markings, 10069603 edges, 33053 markings/sec, 315 secs
lola: 9704742 markings, 10244135 edges, 33164 markings/sec, 320 secs
lola: 9870283 markings, 10418552 edges, 33108 markings/sec, 325 secs
lola: 10035551 markings, 10592714 edges, 33054 markings/sec, 330 secs
lola: 10200331 markings, 10766277 edges, 32956 markings/sec, 335 secs
lola: 10365923 markings, 10940812 edges, 33118 markings/sec, 340 secs
lola: 10531345 markings, 11115255 edges, 33084 markings/sec, 345 secs
lola: 10696474 markings, 11289096 edges, 33026 markings/sec, 350 secs
lola: 10861301 markings, 11462750 edges, 32965 markings/sec, 355 secs
lola: 11025824 markings, 11636361 edges, 32905 markings/sec, 360 secs
lola: 11191405 markings, 11810609 edges, 33116 markings/sec, 365 secs
lola: 11356734 markings, 11984810 edges, 33066 markings/sec, 370 secs
lola: 11521517 markings, 12158577 edges, 32957 markings/sec, 375 secs
lola: 11685970 markings, 12331709 edges, 32891 markings/sec, 380 secs
lola: 11851764 markings, 12506439 edges, 33159 markings/sec, 385 secs
lola: 12017947 markings, 12681639 edges, 33237 markings/sec, 390 secs
lola: 12183972 markings, 12856342 edges, 33205 markings/sec, 395 secs
lola: 12349777 markings, 13031040 edges, 33161 markings/sec, 400 secs
lola: 12514947 markings, 13205360 edges, 33034 markings/sec, 405 secs
lola: 12680970 markings, 13380517 edges, 33205 markings/sec, 410 secs
lola: 12845994 markings, 13555691 edges, 33005 markings/sec, 415 secs
lola: 13010221 markings, 13732173 edges, 32845 markings/sec, 420 secs
lola: 13174436 markings, 13908284 edges, 32843 markings/sec, 425 secs
lola: 13338411 markings, 14084292 edges, 32795 markings/sec, 430 secs
lola: 13502199 markings, 14260328 edges, 32758 markings/sec, 435 secs
lola: 13665979 markings, 14436021 edges, 32756 markings/sec, 440 secs
lola: 13830000 markings, 14612081 edges, 32804 markings/sec, 445 secs
lola: 13993386 markings, 14787653 edges, 32677 markings/sec, 450 secs
lola: 14157023 markings, 14963531 edges, 32727 markings/sec, 455 secs
lola: 14320736 markings, 15138996 edges, 32743 markings/sec, 460 secs
lola: 14484137 markings, 15314420 edges, 32680 markings/sec, 465 secs
lola: 14647457 markings, 15489995 edges, 32664 markings/sec, 470 secs
lola: 14810555 markings, 15664775 edges, 32620 markings/sec, 475 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown 1 unknown unknown 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 1491100 KB
lola: time consumption: 1637 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 483 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p816)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p816)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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: 164984 markings, 165625 edges, 32997 markings/sec, 30 secs
lola: 329529 markings, 331595 edges, 32909 markings/sec, 35 secs
lola: 493831 markings, 497659 edges, 32860 markings/sec, 40 secs
lola: 657935 markings, 662754 edges, 32821 markings/sec, 45 secs
lola: 821650 markings, 828670 edges, 32743 markings/sec, 50 secs
lola: 985644 markings, 993405 edges, 32799 markings/sec, 55 secs
lola: 1147796 markings, 1160104 edges, 32430 markings/sec, 60 secs
lola: 1306845 markings, 1328423 edges, 31810 markings/sec, 65 secs
lola: 1465526 markings, 1496300 edges, 31736 markings/sec, 70 secs
lola: 1624172 markings, 1662274 edges, 31729 markings/sec, 75 secs
lola: 1787830 markings, 1828391 edges, 32732 markings/sec, 80 secs
lola: 1951494 markings, 1995027 edges, 32733 markings/sec, 85 secs
lola: 2115925 markings, 2160181 edges, 32886 markings/sec, 90 secs
lola: 2279735 markings, 2326520 edges, 32762 markings/sec, 95 secs
lola: 2442734 markings, 2492559 edges, 32600 markings/sec, 100 secs
lola: 2605716 markings, 2658566 edges, 32596 markings/sec, 105 secs
lola: 2768642 markings, 2824527 edges, 32585 markings/sec, 110 secs
lola: 2931338 markings, 2990265 edges, 32539 markings/sec, 115 secs
lola: 3093877 markings, 3155808 edges, 32508 markings/sec, 120 secs
lola: 3256325 markings, 3321308 edges, 32490 markings/sec, 125 secs
lola: 3418525 markings, 3486550 edges, 32440 markings/sec, 130 secs
lola: 3580781 markings, 3651785 edges, 32451 markings/sec, 135 secs
lola: 3742984 markings, 3816960 edges, 32441 markings/sec, 140 secs
lola: 3904559 markings, 3981536 edges, 32315 markings/sec, 145 secs
lola: 4067692 markings, 4147702 edges, 32627 markings/sec, 150 secs
lola: 4230742 markings, 4313949 edges, 32610 markings/sec, 155 secs
lola: 4380872 markings, 4469227 edges, 30026 markings/sec, 160 secs
lola: 4537541 markings, 4631883 edges, 31334 markings/sec, 165 secs
lola: 4700369 markings, 4800940 edges, 32566 markings/sec, 170 secs
lola: 4862713 markings, 4969504 edges, 32469 markings/sec, 175 secs
lola: 5025399 markings, 5138385 edges, 32537 markings/sec, 180 secs
lola: 5191279 markings, 5305509 edges, 33176 markings/sec, 185 secs
lola: 5356714 markings, 5472576 edges, 33087 markings/sec, 190 secs
lola: 5521209 markings, 5640118 edges, 32899 markings/sec, 195 secs
lola: 5685760 markings, 5807739 edges, 32910 markings/sec, 200 secs
lola: 5850004 markings, 5975040 edges, 32849 markings/sec, 205 secs
lola: 6014152 markings, 6142232 edges, 32830 markings/sec, 210 secs
lola: 6178378 markings, 6309519 edges, 32845 markings/sec, 215 secs
lola: 6342244 markings, 6476441 edges, 32773 markings/sec, 220 secs
lola: 6506183 markings, 6643419 edges, 32788 markings/sec, 225 secs
lola: 6670125 markings, 6810421 edges, 32788 markings/sec, 230 secs
lola: 6833643 markings, 6976986 edges, 32704 markings/sec, 235 secs
lola: 6997271 markings, 7143643 edges, 32726 markings/sec, 240 secs
lola: 7161542 markings, 7310997 edges, 32854 markings/sec, 245 secs
lola: 7325859 markings, 7478375 edges, 32863 markings/sec, 250 secs
lola: 7489635 markings, 7647001 edges, 32755 markings/sec, 255 secs
lola: 7652473 markings, 7816079 edges, 32568 markings/sec, 260 secs
lola: 7814754 markings, 7984578 edges, 32456 markings/sec, 265 secs
lola: 7976762 markings, 8152752 edges, 32402 markings/sec, 270 secs
lola: 8138906 markings, 8321113 edges, 32429 markings/sec, 275 secs
lola: 8303882 markings, 8488277 edges, 32995 markings/sec, 280 secs
lola: 8469004 markings, 8654623 edges, 33024 markings/sec, 285 secs
lola: 8633174 markings, 8821836 edges, 32834 markings/sec, 290 secs
lola: 8797158 markings, 8988877 edges, 32797 markings/sec, 295 secs
lola: 8960673 markings, 9155447 edges, 32703 markings/sec, 300 secs
lola: 9123800 markings, 9321591 edges, 32625 markings/sec, 305 secs
lola: 9285385 markings, 9486214 edges, 32317 markings/sec, 310 secs
lola: 9446426 markings, 9650278 edges, 32208 markings/sec, 315 secs
lola: 9608072 markings, 9814878 edges, 32329 markings/sec, 320 secs
lola: 9769168 markings, 9978935 edges, 32219 markings/sec, 325 secs
lola: 9930131 markings, 10142884 edges, 32193 markings/sec, 330 secs
lola: 10091211 markings, 10306966 edges, 32216 markings/sec, 335 secs
lola: 10252265 markings, 10471027 edges, 32211 markings/sec, 340 secs
lola: 10413922 markings, 10635681 edges, 32331 markings/sec, 345 secs
lola: 10575444 markings, 10800958 edges, 32304 markings/sec, 350 secs
lola: 10735223 markings, 10966834 edges, 31956 markings/sec, 355 secs
lola: 10894523 markings, 11132252 edges, 31860 markings/sec, 360 secs
lola: 11053501 markings, 11297329 edges, 31796 markings/sec, 365 secs
lola: 11212212 markings, 11462092 edges, 31742 markings/sec, 370 secs
lola: 11372530 markings, 11627479 edges, 32064 markings/sec, 375 secs
lola: 11532734 markings, 11796164 edges, 32041 markings/sec, 380 secs
lola: 11690939 markings, 11966186 edges, 31641 markings/sec, 385 secs
lola: 11849739 markings, 12135014 edges, 31760 markings/sec, 390 secs
lola: 12007522 markings, 12305182 edges, 31557 markings/sec, 395 secs
lola: 12164758 markings, 12474627 edges, 31447 markings/sec, 400 secs
lola: 12321862 markings, 12644004 edges, 31421 markings/sec, 405 secs
lola: 12478319 markings, 12812675 edges, 31291 markings/sec, 410 secs
lola: 12635410 markings, 12982874 edges, 31418 markings/sec, 415 secs
lola: 12786722 markings, 13157702 edges, 30262 markings/sec, 420 secs
lola: 12939214 markings, 13330389 edges, 30498 markings/sec, 425 secs
lola: 13088730 markings, 13489108 edges, 29903 markings/sec, 430 secs
lola: 13248129 markings, 13660908 edges, 31880 markings/sec, 435 secs
lola: 13407164 markings, 13832395 edges, 31807 markings/sec, 440 secs
lola: 13565934 markings, 14003525 edges, 31754 markings/sec, 445 secs
lola: 13724222 markings, 14174215 edges, 31658 markings/sec, 450 secs
lola: 13882957 markings, 14345870 edges, 31747 markings/sec, 455 secs
lola: 14036172 markings, 14522500 edges, 30643 markings/sec, 460 secs
lola: 14189836 markings, 14697113 edges, 30733 markings/sec, 465 secs
lola: 14349808 markings, 14866934 edges, 31994 markings/sec, 470 secs
lola: 14508515 markings, 15038006 edges, 31741 markings/sec, 475 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown 1 unknown unknown 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 1623784 KB
lola: time consumption: 2120 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 483 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p685)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p685)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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

FORMULA ASLink-PT-06a-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 724 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p709)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p709)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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: 71312 markings, 95653 edges, 14262 markings/sec, 0 secs
lola: 141251 markings, 257601 edges, 13988 markings/sec, 5 secs
lola: 230342 markings, 463940 edges, 17818 markings/sec, 10 secs
lola: 319030 markings, 669388 edges, 17738 markings/sec, 15 secs
lola: 407301 markings, 873270 edges, 17654 markings/sec, 20 secs
lola: 510892 markings, 1113611 edges, 20718 markings/sec, 25 secs
lola: 616543 markings, 1357891 edges, 21130 markings/sec, 30 secs
lola: 726716 markings, 1613216 edges, 22035 markings/sec, 35 secs
lola: 850364 markings, 1899818 edges, 24730 markings/sec, 40 secs
lola: 976344 markings, 2186629 edges, 25196 markings/sec, 45 secs
lola: 1160019 markings, 2473303 edges, 36735 markings/sec, 50 secs
lola: 1350158 markings, 2764813 edges, 38028 markings/sec, 55 secs
lola: 1563343 markings, 3102666 edges, 42637 markings/sec, 60 secs
lola: 1756552 markings, 3409742 edges, 38642 markings/sec, 65 secs
lola: 1948536 markings, 3716093 edges, 38397 markings/sec, 70 secs
lola: 2139122 markings, 4021386 edges, 38117 markings/sec, 75 secs
lola: 2338725 markings, 4324967 edges, 39921 markings/sec, 80 secs
lola: 2523028 markings, 4621240 edges, 36861 markings/sec, 85 secs
lola: 2695159 markings, 4907378 edges, 34426 markings/sec, 90 secs
lola: 2828085 markings, 5149039 edges, 26585 markings/sec, 95 secs
lola: 3016720 markings, 5435049 edges, 37727 markings/sec, 100 secs
lola: 3201515 markings, 5734030 edges, 36959 markings/sec, 105 secs
lola: 3437368 markings, 6081518 edges, 47171 markings/sec, 110 secs
lola: 3681416 markings, 6465567 edges, 48810 markings/sec, 115 secs
lola: 3909978 markings, 6843104 edges, 45712 markings/sec, 120 secs
lola: 4130349 markings, 7207053 edges, 44074 markings/sec, 125 secs
lola: 4317421 markings, 7522232 edges, 37414 markings/sec, 130 secs
lola: 4436950 markings, 7798683 edges, 23906 markings/sec, 135 secs
lola: 4542579 markings, 8042813 edges, 21126 markings/sec, 140 secs
lola: 4644261 markings, 8277214 edges, 20336 markings/sec, 145 secs
lola: 4734260 markings, 8485042 edges, 18000 markings/sec, 150 secs
lola: 4820470 markings, 8684034 edges, 17242 markings/sec, 155 secs
lola: 4893642 markings, 8853650 edges, 14634 markings/sec, 160 secs
lola: 4961986 markings, 9011382 edges, 13669 markings/sec, 165 secs
lola: 5030503 markings, 9169701 edges, 13703 markings/sec, 170 secs
lola: 5160851 markings, 9413325 edges, 26070 markings/sec, 175 secs
lola: 5328141 markings, 9712372 edges, 33458 markings/sec, 180 secs
lola: 5459365 markings, 9979286 edges, 26245 markings/sec, 185 secs
lola: 5609756 markings, 10258600 edges, 30078 markings/sec, 190 secs
lola: 5780736 markings, 10561809 edges, 34196 markings/sec, 195 secs
lola: 5952042 markings, 10864938 edges, 34261 markings/sec, 200 secs
lola: 6122206 markings, 11165602 edges, 34033 markings/sec, 205 secs
lola: 6291239 markings, 11463440 edges, 33807 markings/sec, 210 secs
lola: 6452796 markings, 11754572 edges, 32311 markings/sec, 215 secs
lola: 6609070 markings, 12039035 edges, 31255 markings/sec, 220 secs
lola: 6767359 markings, 12328005 edges, 31658 markings/sec, 225 secs
lola: 6924003 markings, 12616135 edges, 31329 markings/sec, 230 secs
lola: 7060498 markings, 12882358 edges, 27299 markings/sec, 235 secs
lola: 7126412 markings, 13079724 edges, 13183 markings/sec, 240 secs
lola: 7271469 markings, 13393014 edges, 29011 markings/sec, 245 secs
lola: 7420947 markings, 13668287 edges, 29896 markings/sec, 250 secs
lola: 7597794 markings, 13971716 edges, 35369 markings/sec, 255 secs
lola: 7748380 markings, 14248688 edges, 30117 markings/sec, 260 secs
lola: 7901135 markings, 14535553 edges, 30551 markings/sec, 265 secs
lola: 8031551 markings, 14794340 edges, 26083 markings/sec, 270 secs
lola: 8192830 markings, 15081983 edges, 32256 markings/sec, 275 secs
lola: 8345777 markings, 15355547 edges, 30589 markings/sec, 280 secs
lola: 8547471 markings, 15694748 edges, 40339 markings/sec, 285 secs
lola: 8647509 markings, 15927438 edges, 20008 markings/sec, 290 secs
lola: 8769448 markings, 16180427 edges, 24388 markings/sec, 295 secs
lola: 8967924 markings, 16504039 edges, 39695 markings/sec, 300 secs
lola: 9187932 markings, 16859273 edges, 44002 markings/sec, 305 secs
lola: 9315176 markings, 17123585 edges, 25449 markings/sec, 310 secs
lola: 9412535 markings, 17349491 edges, 19472 markings/sec, 315 secs
lola: 9606207 markings, 17668035 edges, 38734 markings/sec, 320 secs
lola: 9815209 markings, 18004263 edges, 41800 markings/sec, 325 secs
lola: 9980554 markings, 18313715 edges, 33069 markings/sec, 330 secs
lola: 10071544 markings, 18525276 edges, 18198 markings/sec, 335 secs
lola: 10252624 markings, 18840123 edges, 36216 markings/sec, 340 secs
lola: 10443810 markings, 19154517 edges, 38237 markings/sec, 345 secs
lola: 10642128 markings, 19495674 edges, 39664 markings/sec, 350 secs
lola: 10735872 markings, 19713645 edges, 18749 markings/sec, 355 secs
lola: 10884624 markings, 19992914 edges, 29750 markings/sec, 360 secs
lola: 11077766 markings, 20318045 edges, 38628 markings/sec, 365 secs
lola: 11296318 markings, 20668199 edges, 43710 markings/sec, 370 secs
lola: 11403374 markings, 20909139 edges, 21411 markings/sec, 375 secs
lola: 11518067 markings, 21154118 edges, 22939 markings/sec, 380 secs
lola: 11709746 markings, 21470757 edges, 38336 markings/sec, 385 secs
lola: 11928489 markings, 21820510 edges, 43749 markings/sec, 390 secs
lola: 12069137 markings, 22100710 edges, 28130 markings/sec, 395 secs
lola: 12163059 markings, 22318943 edges, 18784 markings/sec, 400 secs
lola: 12358649 markings, 22644424 edges, 39118 markings/sec, 405 secs
lola: 12555248 markings, 22965075 edges, 39320 markings/sec, 410 secs
lola: 12733633 markings, 23289188 edges, 35677 markings/sec, 415 secs
lola: 12825086 markings, 23501865 edges, 18291 markings/sec, 420 secs
lola: 12997347 markings, 23805312 edges, 34452 markings/sec, 425 secs
lola: 13189090 markings, 24125695 edges, 38349 markings/sec, 430 secs
lola: 13394798 markings, 24469859 edges, 41142 markings/sec, 435 secs
lola: 13490981 markings, 24693635 edges, 19237 markings/sec, 440 secs
lola: 13625990 markings, 24957985 edges, 27002 markings/sec, 445 secs
lola: 13823099 markings, 25281165 edges, 39422 markings/sec, 450 secs
lola: 14041567 markings, 25637674 edges, 43694 markings/sec, 455 secs
lola: 14158826 markings, 25890232 edges, 23452 markings/sec, 460 secs
lola: 14225052 markings, 26076234 edges, 13245 markings/sec, 465 secs
lola: 14283764 markings, 26271664 edges, 11742 markings/sec, 470 secs
lola: 14342631 markings, 26467573 edges, 11773 markings/sec, 475 secs
lola: 14424988 markings, 26669848 edges, 16471 markings/sec, 480 secs
lola: 14530598 markings, 26915697 edges, 21122 markings/sec, 485 secs
lola: 14680248 markings, 27235882 edges, 29930 markings/sec, 490 secs
lola: 14838544 markings, 27526562 edges, 31659 markings/sec, 495 secs
lola: 14979413 markings, 27790635 edges, 28174 markings/sec, 500 secs
lola: 15129602 markings, 28058950 edges, 30038 markings/sec, 505 secs
lola: 15296651 markings, 28346545 edges, 33410 markings/sec, 510 secs
lola: 15458441 markings, 28635200 edges, 32358 markings/sec, 515 secs
lola: 15624468 markings, 28925584 edges, 33205 markings/sec, 520 secs
lola: 15779127 markings, 29199723 edges, 30932 markings/sec, 525 secs
lola: 15931918 markings, 29480429 edges, 30558 markings/sec, 530 secs
lola: 16070645 markings, 29740979 edges, 27745 markings/sec, 535 secs
lola: 16221164 markings, 30013114 edges, 30104 markings/sec, 540 secs
lola: 16371305 markings, 30294422 edges, 30028 markings/sec, 545 secs
lola: 16481825 markings, 30534639 edges, 22104 markings/sec, 550 secs
lola: 16616955 markings, 30794247 edges, 27026 markings/sec, 555 secs
lola: 16776460 markings, 31071883 edges, 31901 markings/sec, 560 secs
lola: 16923540 markings, 31338886 edges, 29416 markings/sec, 565 secs
lola: 17070678 markings, 31605279 edges, 29428 markings/sec, 570 secs
lola: 17224644 markings, 31886798 edges, 30793 markings/sec, 575 secs
lola: 17377709 markings, 32158833 edges, 30613 markings/sec, 580 secs
lola: 17560561 markings, 32465429 edges, 36570 markings/sec, 585 secs
lola: 17786052 markings, 32837772 edges, 45098 markings/sec, 590 secs
lola: 17922201 markings, 33118036 edges, 27230 markings/sec, 595 secs
lola: 18017111 markings, 33338183 edges, 18982 markings/sec, 600 secs
lola: 18103941 markings, 33540248 edges, 17366 markings/sec, 605 secs
lola: 18203110 markings, 33770892 edges, 19834 markings/sec, 610 secs
lola: 18350597 markings, 34063446 edges, 29497 markings/sec, 615 secs
lola: 18562580 markings, 34393623 edges, 42397 markings/sec, 620 secs
lola: 18761426 markings, 34719159 edges, 39769 markings/sec, 625 secs
lola: 18937890 markings, 35014673 edges, 35293 markings/sec, 630 secs
lola: 19147543 markings, 35345470 edges, 41931 markings/sec, 635 secs
lola: 19379178 markings, 35724367 edges, 46327 markings/sec, 640 secs
lola: 19531704 markings, 36018845 edges, 30505 markings/sec, 645 secs
lola: 19629724 markings, 36246358 edges, 19604 markings/sec, 650 secs
lola: 19716630 markings, 36448166 edges, 17381 markings/sec, 655 secs
lola: 19813660 markings, 36674071 edges, 19406 markings/sec, 660 secs
lola: 19944287 markings, 36954304 edges, 26125 markings/sec, 665 secs
lola: 20152239 markings, 37280478 edges, 41590 markings/sec, 670 secs
lola: 20355444 markings, 37610896 edges, 40641 markings/sec, 675 secs
lola: 20532089 markings, 37904587 edges, 35329 markings/sec, 680 secs
lola: 20728700 markings, 38220366 edges, 39322 markings/sec, 685 secs
lola: 20965892 markings, 38599384 edges, 47438 markings/sec, 690 secs
lola: 21140211 markings, 38917373 edges, 34864 markings/sec, 695 secs
lola: 21241238 markings, 39151976 edges, 20205 markings/sec, 700 secs
lola: 21328059 markings, 39353660 edges, 17364 markings/sec, 705 secs
lola: 21409150 markings, 39542220 edges, 16218 markings/sec, 710 secs
lola: 21519307 markings, 39798383 edges, 22031 markings/sec, 715 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown 1 unknown unknown 1 1 1 unknown unknown 1 unknown unknown
lola: memory consumption: 2582636 KB
lola: time consumption: 2844 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 725 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1147)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1147)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-06a-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: 114379 markings, 122942 edges, 22876 markings/sec, 0 secs
lola: 246162 markings, 265435 edges, 26357 markings/sec, 5 secs
lola: 379737 markings, 409204 edges, 26715 markings/sec, 10 secs
lola: 513133 markings, 551861 edges, 26679 markings/sec, 15 secs
lola: 645179 markings, 694618 edges, 26409 markings/sec, 20 secs
lola: 772783 markings, 831098 edges, 25521 markings/sec, 25 secs
lola: 882710 markings, 982783 edges, 21985 markings/sec, 30 secs
lola: 1006166 markings, 1127050 edges, 24691 markings/sec, 35 secs
lola: 1130643 markings, 1272726 edges, 24895 markings/sec, 40 secs
lola: 1248829 markings, 1418101 edges, 23637 markings/sec, 45 secs
lola: 1368646 markings, 1563981 edges, 23963 markings/sec, 50 secs
lola: 1489933 markings, 1707855 edges, 24257 markings/sec, 55 secs
lola: 1608811 markings, 1856278 edges, 23776 markings/sec, 60 secs
lola: 1734786 markings, 2000446 edges, 25195 markings/sec, 65 secs
lola: 1854877 markings, 2148295 edges, 24018 markings/sec, 70 secs
lola: 1977228 markings, 2292145 edges, 24470 markings/sec, 75 secs
lola: 2098646 markings, 2437850 edges, 24284 markings/sec, 80 secs
lola: 2216318 markings, 2586689 edges, 23534 markings/sec, 85 secs
lola: 2342255 markings, 2732069 edges, 25187 markings/sec, 90 secs
lola: 2466881 markings, 2877336 edges, 24925 markings/sec, 95 secs
lola: 2588541 markings, 3024273 edges, 24332 markings/sec, 100 secs
lola: 2716050 markings, 3168895 edges, 25502 markings/sec, 105 secs
lola: 2838044 markings, 3314223 edges, 24399 markings/sec, 110 secs
lola: 2961705 markings, 3458853 edges, 24732 markings/sec, 115 secs
lola: 3086486 markings, 3604314 edges, 24956 markings/sec, 120 secs
lola: 3203837 markings, 3757523 edges, 23470 markings/sec, 125 secs
lola: 3336257 markings, 3898975 edges, 26484 markings/sec, 130 secs
lola: 3460474 markings, 4044603 edges, 24843 markings/sec, 135 secs
lola: 3590232 markings, 4187256 edges, 25952 markings/sec, 140 secs
lola: 3722932 markings, 4329410 edges, 26540 markings/sec, 145 secs
lola: 3855430 markings, 4471116 edges, 26500 markings/sec, 150 secs
lola: 3963543 markings, 4626061 edges, 21623 markings/sec, 155 secs
lola: 4095484 markings, 4767011 edges, 26388 markings/sec, 160 secs
lola: 4219333 markings, 4911718 edges, 24770 markings/sec, 165 secs
lola: 4348597 markings, 5054346 edges, 25853 markings/sec, 170 secs
lola: 4481085 markings, 5196294 edges, 26498 markings/sec, 175 secs
lola: 4613414 markings, 5337820 edges, 26466 markings/sec, 180 secs
lola: 4720641 markings, 5491802 edges, 21445 markings/sec, 185 secs
lola: 4851827 markings, 5632009 edges, 26237 markings/sec, 190 secs
lola: 4975809 markings, 5775415 edges, 24796 markings/sec, 195 secs
lola: 5118825 markings, 5934116 edges, 28603 markings/sec, 200 secs
lola: 5271921 markings, 6092538 edges, 30619 markings/sec, 205 secs
lola: 5425234 markings, 6252319 edges, 30663 markings/sec, 210 secs
lola: 5578198 markings, 6411754 edges, 30593 markings/sec, 215 secs
lola: 5728705 markings, 6572306 edges, 30101 markings/sec, 220 secs
lola: 5873276 markings, 6722290 edges, 28914 markings/sec, 225 secs
lola: 6025568 markings, 6880445 edges, 30458 markings/sec, 230 secs
lola: 6178597 markings, 7038929 edges, 30606 markings/sec, 235 secs
lola: 6329879 markings, 7196159 edges, 30256 markings/sec, 240 secs
lola: 6482906 markings, 7355771 edges, 30605 markings/sec, 245 secs
lola: 6636598 markings, 7516051 edges, 30738 markings/sec, 250 secs
lola: 6789821 markings, 7675884 edges, 30645 markings/sec, 255 secs
lola: 6943554 markings, 7836832 edges, 30747 markings/sec, 260 secs
lola: 7097813 markings, 7997649 edges, 30852 markings/sec, 265 secs
lola: 7248193 markings, 8153489 edges, 30076 markings/sec, 270 secs
lola: 7399591 markings, 8311419 edges, 30280 markings/sec, 275 secs
lola: 7550901 markings, 8469302 edges, 30262 markings/sec, 280 secs
lola: 7701727 markings, 8626578 edges, 30165 markings/sec, 285 secs
lola: 7852755 markings, 8784154 edges, 30206 markings/sec, 290 secs
lola: 8004920 markings, 8943297 edges, 30433 markings/sec, 295 secs
lola: 8157818 markings, 9103323 edges, 30580 markings/sec, 300 secs
lola: 8310457 markings, 9263203 edges, 30528 markings/sec, 305 secs
lola: 8462967 markings, 9422999 edges, 30502 markings/sec, 310 secs
lola: 8614838 markings, 9581991 edges, 30374 markings/sec, 315 secs
lola: 8766952 markings, 9741744 edges, 30423 markings/sec, 320 secs
lola: 8920397 markings, 9901713 edges, 30689 markings/sec, 325 secs
lola: 9074056 markings, 10062280 edges, 30732 markings/sec, 330 secs
lola: 9226636 markings, 10220619 edges, 30516 markings/sec, 335 secs
lola: 9378412 markings, 10379132 edges, 30355 markings/sec, 340 secs
lola: 9530150 markings, 10537729 edges, 30348 markings/sec, 345 secs
lola: 9682346 markings, 10697102 edges, 30439 markings/sec, 350 secs
lola: 9833937 markings, 10855559 edges, 30318 markings/sec, 355 secs
lola: 9985434 markings, 11013928 edges, 30299 markings/sec, 360 secs
lola: 10136975 markings, 11172349 edges, 30308 markings/sec, 365 secs
lola: 10288740 markings, 11331267 edges, 30353 markings/sec, 370 secs
lola: 10439971 markings, 11489368 edges, 30246 markings/sec, 375 secs
lola: 10591148 markings, 11647245 edges, 30235 markings/sec, 380 secs
lola: 10743639 markings, 11807216 edges, 30498 markings/sec, 385 secs
lola: 10895557 markings, 11965999 edges, 30384 markings/sec, 390 secs
lola: 11048138 markings, 12126209 edges, 30516 markings/sec, 395 secs
lola: 11200534 markings, 12285139 edges, 30479 markings/sec, 400 secs
lola: 11353040 markings, 12445391 edges, 30501 markings/sec, 405 secs
lola: 11504998 markings, 12604770 edges, 30392 markings/sec, 410 secs
lola: 11656938 markings, 12763437 edges, 30388 markings/sec, 415 secs
lola: 11808726 markings, 12923007 edges, 30358 markings/sec, 420 secs
lola: 11959625 markings, 13083187 edges, 30180 markings/sec, 425 secs
lola: 12108097 markings, 13245729 edges, 29694 markings/sec, 430 secs
lola: 12254787 markings, 13408835 edges, 29338 markings/sec, 435 secs
lola: 12398987 markings, 13569247 edges, 28840 markings/sec, 440 secs
lola: 12546505 markings, 13731970 edges, 29504 markings/sec, 445 secs
lola: 12694089 markings, 13893954 edges, 29517 markings/sec, 450 secs
lola: 12844656 markings, 14054644 edges, 30113 markings/sec, 455 secs
lola: 12995925 markings, 14213181 edges, 30254 markings/sec, 460 secs
lola: 13147168 markings, 14373838 edges, 30249 markings/sec, 465 secs
lola: 13294198 markings, 14528585 edges, 29406 markings/sec, 470 secs
lola: 13441895 markings, 14685117 edges, 29539 markings/sec, 475 secs
lola: 13591079 markings, 14843028 edges, 29837 markings/sec, 480 secs
lola: 13739288 markings, 14999627 edges, 29642 markings/sec, 485 secs
lola: 13887794 markings, 15158452 edges, 29701 markings/sec, 490 secs
lola: 14039117 markings, 15318039 edges, 30265 markings/sec, 495 secs
lola: 14189766 markings, 15477730 edges, 30130 markings/sec, 500 secs
lola: 14339655 markings, 15636621 edges, 29978 markings/sec, 505 secs
lola: 14490448 markings, 15797350 edges, 30159 markings/sec, 510 secs
lola: 14640228 markings, 15955165 edges, 29956 markings/sec, 515 secs
lola: 14788176 markings, 16111952 edges, 29590 markings/sec, 520 secs
lola: 14938271 markings, 16271325 edges, 30019 markings/sec, 525 secs
lola: 15088128 markings, 16430784 edges, 29971 markings/sec, 530 secs
lola: 15238585 markings, 16589370 edges, 30091 markings/sec, 535 secs
lola: 15388341 markings, 16749046 edges, 29951 markings/sec, 540 secs
lola: 15539894 markings, 16910373 edges, 30311 markings/sec, 545 secs
lola: 15691878 markings, 17069434 edges, 30397 markings/sec, 550 secs
lola: 15842718 markings, 17230318 edges, 30168 markings/sec, 555 secs
lola: 15994418 markings, 17389431 edges, 30340 markings/sec, 560 secs
lola: 16144747 markings, 17549924 edges, 30066 markings/sec, 565 secs
lola: 16292673 markings, 17710294 edges, 29585 markings/sec, 570 secs
lola: 16442762 markings, 17872020 edges, 30018 markings/sec, 575 secs
lola: 16589500 markings, 18027616 edges, 29348 markings/sec, 580 secs
lola: 16732995 markings, 18183310 edges, 28699 markings/sec, 585 secs
lola: 16882867 markings, 18339330 edges, 29974 markings/sec, 590 secs
lola: 17028121 markings, 18497591 edges, 29051 markings/sec, 595 secs
lola: 17174981 markings, 18653596 edges, 29372 markings/sec, 600 secs
lola: 17322326 markings, 18810840 edges, 29469 markings/sec, 605 secs
lola: 17465833 markings, 18966553 edges, 28701 markings/sec, 610 secs
lola: 17613848 markings, 19120623 edges, 29603 markings/sec, 615 secs
lola: 17758714 markings, 19280253 edges, 28973 markings/sec, 620 secs
lola: 17904511 markings, 19442743 edges, 29159 markings/sec, 625 secs
lola: 18056252 markings, 19601248 edges, 30348 markings/sec, 630 secs
lola: 18207542 markings, 19759406 edges, 30258 markings/sec, 635 secs
lola: 18358933 markings, 19917778 edges, 30278 markings/sec, 640 secs
lola: 18507810 markings, 20080175 edges, 29775 markings/sec, 645 secs
lola: 18657008 markings, 20236103 edges, 29840 markings/sec, 650 secs
lola: 18806022 markings, 20392621 edges, 29803 markings/sec, 655 secs
lola: 18950165 markings, 20552926 edges, 28829 markings/sec, 660 secs
lola: 19098308 markings, 20713398 edges, 29629 markings/sec, 665 secs
lola: 19249198 markings, 20871246 edges, 30178 markings/sec, 670 secs
lola: 19399522 markings, 21028447 edges, 30065 markings/sec, 675 secs
lola: 19549729 markings, 21186967 edges, 30041 markings/sec, 680 secs
lola: 19696693 markings, 21346594 edges, 29393 markings/sec, 685 secs
lola: 19846587 markings, 21502292 edges, 29979 markings/sec, 690 secs
lola: 19992389 markings, 21660341 edges, 29160 markings/sec, 695 secs
lola: 20135627 markings, 21821123 edges, 28648 markings/sec, 700 secs
lola: 20285588 markings, 21977487 edges, 29992 markings/sec, 705 secs
lola: 20434988 markings, 22133769 edges, 29880 markings/sec, 710 secs
lola: 20584020 markings, 22289633 edges, 29806 markings/sec, 715 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown 1 unknown unknown 1 1 1 unknown unknown 1 unknown unknown
lola:
preliminary result: 1 1 unknown 1 unknown 1 unknown unknown 1 1 1 unknown unknown 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 unknown 1 unknown unknown 1 1 1 unknown unknown 1 unknown unknown
lola: memory consumption: 2681620 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 unknown 1 unknown unknown 1 1 1 unknown unknown 1 unknown unknown
lola: memory consumption: 2681660 KB
lola: time consumption: 3569 seconds

BK_STOP 1552294188448

--------------------
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-06a"
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-06a, 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-155225030000034"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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