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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.4K Feb 9 05:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 9 05:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 02:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 02:02 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.4K Feb 4 22:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 1 23:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 1 23:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Jan 29 09:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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 920K 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-10a-UpperBounds-00
FORMULA_NAME ASLink-PT-10a-UpperBounds-01
FORMULA_NAME ASLink-PT-10a-UpperBounds-02
FORMULA_NAME ASLink-PT-10a-UpperBounds-03
FORMULA_NAME ASLink-PT-10a-UpperBounds-04
FORMULA_NAME ASLink-PT-10a-UpperBounds-05
FORMULA_NAME ASLink-PT-10a-UpperBounds-06
FORMULA_NAME ASLink-PT-10a-UpperBounds-07
FORMULA_NAME ASLink-PT-10a-UpperBounds-08
FORMULA_NAME ASLink-PT-10a-UpperBounds-09
FORMULA_NAME ASLink-PT-10a-UpperBounds-10
FORMULA_NAME ASLink-PT-10a-UpperBounds-11
FORMULA_NAME ASLink-PT-10a-UpperBounds-12
FORMULA_NAME ASLink-PT-10a-UpperBounds-13
FORMULA_NAME ASLink-PT-10a-UpperBounds-14
FORMULA_NAME ASLink-PT-10a-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552322640439

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-10a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-10a formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-10a @ 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: 5378/65536 symbol table entries, 460 collisions
lola: preprocessing...
lola: Size of bit vector: 2186
lola: finding significant places
lola: 2186 places, 3192 transitions, 1764 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3596 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-10a-UpperBounds.task
lola: MAX(p166) : MAX(p1696) : MAX(p354) : MAX(p1416) : MAX(p307) : MAX(p1584) : MAX(p1054) : MAX(p1844) : MAX(p916) : MAX(p516) : MAX(p1907) : MAX(p218) : MAX(p976) : MAX(p1286) : MAX(p831) : MAX(p1876)
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(p166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p166)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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-10a-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1696)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1696)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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-10a-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p354)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p354)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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-10a-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1416)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1416)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 45 markings, 44 edges
lola: ========================================

FORMULA ASLink-PT-10a-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 294 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-10a-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: 774 markings, 773 edges
lola: ========================================

FORMULA ASLink-PT-10a-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1584)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1584)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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-10a-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1054)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1054)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 113 markings, 112 edges
lola:
FORMULA ASLink-PT-10a-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 7 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1844)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1844)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 114984 markings, 149942 edges, 22997 markings/sec, 30 secs
lola: 244157 markings, 313094 edges, 25835 markings/sec, 35 secs
lola: 336619 markings, 444758 edges, 18492 markings/sec, 40 secs
lola: 465763 markings, 608886 edges, 25829 markings/sec, 45 secs
lola: 575618 markings, 748876 edges, 21971 markings/sec, 50 secs
lola: 677749 markings, 877915 edges, 20426 markings/sec, 55 secs
lola: 788032 markings, 1005294 edges, 22057 markings/sec, 60 secs
lola: 891978 markings, 1144828 edges, 20789 markings/sec, 65 secs
lola: 1004586 markings, 1285773 edges, 22522 markings/sec, 70 secs
lola: 1139734 markings, 1457341 edges, 27030 markings/sec, 75 secs
lola: 1241009 markings, 1585269 edges, 20255 markings/sec, 80 secs
lola: 1350574 markings, 1726030 edges, 21913 markings/sec, 85 secs
lola: 1471953 markings, 1879940 edges, 24276 markings/sec, 90 secs
lola: 1577705 markings, 2005808 edges, 21150 markings/sec, 95 secs
lola: 1679766 markings, 2134524 edges, 20412 markings/sec, 100 secs
lola: 1780735 markings, 2265109 edges, 20194 markings/sec, 105 secs
lola: 1887758 markings, 2403852 edges, 21405 markings/sec, 110 secs
lola: 2017556 markings, 2563555 edges, 25960 markings/sec, 115 secs
lola: 2139473 markings, 2717272 edges, 24383 markings/sec, 120 secs
lola: 2230917 markings, 2838274 edges, 18289 markings/sec, 125 secs
lola: 2361010 markings, 3001711 edges, 26019 markings/sec, 130 secs
lola: 2470162 markings, 3139408 edges, 21830 markings/sec, 135 secs
lola: 2569588 markings, 3265609 edges, 19885 markings/sec, 140 secs
lola: 2676903 markings, 3390797 edges, 21463 markings/sec, 145 secs
lola: 2782240 markings, 3530834 edges, 21067 markings/sec, 150 secs
lola: 2894631 markings, 3672215 edges, 22478 markings/sec, 155 secs
lola: 3028426 markings, 3841720 edges, 26759 markings/sec, 160 secs
lola: 3128685 markings, 3968774 edges, 20052 markings/sec, 165 secs
lola: 3245247 markings, 4121088 edges, 23312 markings/sec, 170 secs
lola: 3350802 markings, 4241437 edges, 21111 markings/sec, 175 secs
lola: 3464690 markings, 4399127 edges, 22778 markings/sec, 180 secs
lola: 3577278 markings, 4556803 edges, 22518 markings/sec, 185 secs
lola: 3686189 markings, 4708760 edges, 21782 markings/sec, 190 secs
lola: 3807195 markings, 4873137 edges, 24201 markings/sec, 195 secs
lola: 3904957 markings, 5016599 edges, 19552 markings/sec, 200 secs
lola: 4030793 markings, 5180610 edges, 25167 markings/sec, 205 secs
lola: 4144559 markings, 5350253 edges, 22753 markings/sec, 210 secs
lola: 4279606 markings, 5525761 edges, 27009 markings/sec, 215 secs
lola: 4392104 markings, 5664670 edges, 22500 markings/sec, 220 secs
lola: 4503169 markings, 5805209 edges, 22213 markings/sec, 225 secs
lola: 4626072 markings, 5965698 edges, 24581 markings/sec, 230 secs
lola: 4736209 markings, 6107898 edges, 22027 markings/sec, 235 secs
lola: 4840975 markings, 6236166 edges, 20953 markings/sec, 240 secs
lola: 4934685 markings, 6356035 edges, 18742 markings/sec, 245 secs
lola: 5025852 markings, 6469307 edges, 18233 markings/sec, 250 secs
lola: 5118753 markings, 6587431 edges, 18580 markings/sec, 255 secs
lola: 5207607 markings, 6710305 edges, 17771 markings/sec, 260 secs
lola: 5328953 markings, 6873540 edges, 24269 markings/sec, 265 secs
lola: 5441564 markings, 7024527 edges, 22522 markings/sec, 270 secs
lola: 5542012 markings, 7155844 edges, 20090 markings/sec, 275 secs
lola: 5639250 markings, 7280920 edges, 19448 markings/sec, 280 secs
lola: 5724712 markings, 7411272 edges, 17092 markings/sec, 285 secs
lola: 5818930 markings, 7537327 edges, 18844 markings/sec, 290 secs
lola: 5913487 markings, 7662338 edges, 18911 markings/sec, 295 secs
lola: 6010543 markings, 7782867 edges, 19411 markings/sec, 300 secs
lola: 6104047 markings, 7901788 edges, 18701 markings/sec, 305 secs
lola: 6192494 markings, 8021625 edges, 17689 markings/sec, 310 secs
lola: 6293775 markings, 8172731 edges, 20256 markings/sec, 315 secs
lola: 6388602 markings, 8302596 edges, 18965 markings/sec, 320 secs
lola: 6476390 markings, 8424070 edges, 17558 markings/sec, 325 secs
lola: 6571064 markings, 8538525 edges, 18935 markings/sec, 330 secs
lola: 6662287 markings, 8652748 edges, 18245 markings/sec, 335 secs
lola: 6748268 markings, 8758391 edges, 17196 markings/sec, 340 secs
lola: 6841450 markings, 8878194 edges, 18636 markings/sec, 345 secs
lola: 6940372 markings, 9015066 edges, 19784 markings/sec, 350 secs
lola: 7027164 markings, 9138596 edges, 17358 markings/sec, 355 secs
lola: 7114583 markings, 9267311 edges, 17484 markings/sec, 360 secs
lola: 7209553 markings, 9404572 edges, 18994 markings/sec, 365 secs
lola: 7304708 markings, 9541533 edges, 19031 markings/sec, 370 secs
lola: 7413017 markings, 9694565 edges, 21662 markings/sec, 375 secs
lola: 7531439 markings, 9853666 edges, 23684 markings/sec, 380 secs
lola: 7636280 markings, 9988910 edges, 20968 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1115148 KB
lola: time consumption: 432 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p916)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p916)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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

FORMULA ASLink-PT-10a-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 448 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p516)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p516)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 45030 markings, 55444 edges, 9006 markings/sec, 30 secs
lola: 89596 markings, 110354 edges, 8913 markings/sec, 35 secs
lola: 133745 markings, 164754 edges, 8830 markings/sec, 40 secs
lola: 175512 markings, 216234 edges, 8353 markings/sec, 45 secs
lola: 219390 markings, 270254 edges, 8776 markings/sec, 50 secs
lola: 262979 markings, 324042 edges, 8718 markings/sec, 55 secs
lola: 306886 markings, 378132 edges, 8781 markings/sec, 60 secs
lola: 350768 markings, 432161 edges, 8776 markings/sec, 65 secs
lola: 391504 markings, 482428 edges, 8147 markings/sec, 70 secs
lola: 433438 markings, 534059 edges, 8387 markings/sec, 75 secs
lola: 476156 markings, 586745 edges, 8544 markings/sec, 80 secs
lola: 513091 markings, 632240 edges, 7387 markings/sec, 85 secs
lola: 555964 markings, 685110 edges, 8575 markings/sec, 90 secs
lola: 597209 markings, 735938 edges, 8249 markings/sec, 95 secs
lola: 640578 markings, 789324 edges, 8674 markings/sec, 100 secs
lola: 681100 markings, 839327 edges, 8104 markings/sec, 105 secs
lola: 723511 markings, 891535 edges, 8482 markings/sec, 110 secs
lola: 766086 markings, 944073 edges, 8515 markings/sec, 115 secs
lola: 807442 markings, 995043 edges, 8271 markings/sec, 120 secs
lola: 849595 markings, 1046991 edges, 8431 markings/sec, 125 secs
lola: 891599 markings, 1098748 edges, 8401 markings/sec, 130 secs
lola: 933950 markings, 1150878 edges, 8470 markings/sec, 135 secs
lola: 974375 markings, 1200760 edges, 8085 markings/sec, 140 secs
lola: 1017009 markings, 1253267 edges, 8527 markings/sec, 145 secs
lola: 1058240 markings, 1304058 edges, 8246 markings/sec, 150 secs
lola: 1101515 markings, 1357459 edges, 8655 markings/sec, 155 secs
lola: 1145170 markings, 1411210 edges, 8731 markings/sec, 160 secs
lola: 1188561 markings, 1464745 edges, 8678 markings/sec, 165 secs
lola: 1231626 markings, 1517762 edges, 8613 markings/sec, 170 secs
lola: 1272627 markings, 1568270 edges, 8200 markings/sec, 175 secs
lola: 1316281 markings, 1622132 edges, 8731 markings/sec, 180 secs
lola: 1358922 markings, 1674611 edges, 8528 markings/sec, 185 secs
lola: 1401366 markings, 1726970 edges, 8489 markings/sec, 190 secs
lola: 1442236 markings, 1777317 edges, 8174 markings/sec, 195 secs
lola: 1483115 markings, 1827675 edges, 8176 markings/sec, 200 secs
lola: 1525439 markings, 1879885 edges, 8465 markings/sec, 205 secs
lola: 1567737 markings, 1932047 edges, 8460 markings/sec, 210 secs
lola: 1607325 markings, 1980748 edges, 7918 markings/sec, 215 secs
lola: 1644011 markings, 2026001 edges, 7337 markings/sec, 220 secs
lola: 1684682 markings, 2076160 edges, 8134 markings/sec, 225 secs
lola: 1726098 markings, 2127194 edges, 8283 markings/sec, 230 secs
lola: 1767448 markings, 2178154 edges, 8270 markings/sec, 235 secs
lola: 1807351 markings, 2227301 edges, 7981 markings/sec, 240 secs
lola: 1849674 markings, 2279489 edges, 8465 markings/sec, 245 secs
lola: 1888176 markings, 2326932 edges, 7700 markings/sec, 250 secs
lola: 1928955 markings, 2377195 edges, 8156 markings/sec, 255 secs
lola: 1972232 markings, 2430486 edges, 8655 markings/sec, 260 secs
lola: 2015210 markings, 2483507 edges, 8596 markings/sec, 265 secs
lola: 2056019 markings, 2533789 edges, 8162 markings/sec, 270 secs
lola: 2098479 markings, 2586115 edges, 8492 markings/sec, 275 secs
lola: 2139261 markings, 2636375 edges, 8156 markings/sec, 280 secs
lola: 2182708 markings, 2689852 edges, 8689 markings/sec, 285 secs
lola: 2224246 markings, 2741069 edges, 8308 markings/sec, 290 secs
lola: 2265790 markings, 2792275 edges, 8309 markings/sec, 295 secs
lola: 2307321 markings, 2843459 edges, 8306 markings/sec, 300 secs
lola: 2348822 markings, 2894617 edges, 8300 markings/sec, 305 secs
lola: 2388983 markings, 2944072 edges, 8032 markings/sec, 310 secs
lola: 2431435 markings, 2996417 edges, 8490 markings/sec, 315 secs
lola: 2473844 markings, 3048705 edges, 8482 markings/sec, 320 secs
lola: 2516248 markings, 3100968 edges, 8481 markings/sec, 325 secs
lola: 2558540 markings, 3153025 edges, 8458 markings/sec, 330 secs
lola: 2600956 markings, 3205353 edges, 8483 markings/sec, 335 secs
lola: 2640257 markings, 3253804 edges, 7860 markings/sec, 340 secs
lola: 2680040 markings, 3302808 edges, 7957 markings/sec, 345 secs
lola: 2721522 markings, 3353941 edges, 8296 markings/sec, 350 secs
lola: 2762955 markings, 3405012 edges, 8287 markings/sec, 355 secs
lola: 2804496 markings, 3456203 edges, 8308 markings/sec, 360 secs
lola: 2846006 markings, 3507369 edges, 8302 markings/sec, 365 secs
lola: 2885129 markings, 3555558 edges, 7825 markings/sec, 370 secs
lola: 2928344 markings, 3608818 edges, 8643 markings/sec, 375 secs
lola: 2969554 markings, 3659760 edges, 8242 markings/sec, 380 secs
lola: 3011845 markings, 3712105 edges, 8458 markings/sec, 385 secs
lola: 3054065 markings, 3764356 edges, 8444 markings/sec, 390 secs
lola: 3096354 markings, 3816617 edges, 8458 markings/sec, 395 secs
lola: 3138669 markings, 3868969 edges, 8463 markings/sec, 400 secs
lola: 3180924 markings, 3921259 edges, 8451 markings/sec, 405 secs
lola: 3223126 markings, 3973475 edges, 8440 markings/sec, 410 secs
lola: 3265488 markings, 4025821 edges, 8472 markings/sec, 415 secs
lola: 3307847 markings, 4078274 edges, 8472 markings/sec, 420 secs
lola: 3350173 markings, 4130645 edges, 8465 markings/sec, 425 secs
lola: 3390368 markings, 4180317 edges, 8039 markings/sec, 430 secs
lola: 3432743 markings, 4232765 edges, 8475 markings/sec, 435 secs
lola: 3475117 markings, 4285194 edges, 8475 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 443584 KB
lola: time consumption: 881 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 448 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1907)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1907)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 59676 markings, 66367 edges, 11935 markings/sec, 0 secs
lola: 134899 markings, 145920 edges, 15045 markings/sec, 5 secs
lola: 214102 markings, 226695 edges, 15841 markings/sec, 10 secs
lola: 292548 markings, 308193 edges, 15689 markings/sec, 15 secs
lola: 371149 markings, 388748 edges, 15720 markings/sec, 20 secs
lola: 449430 markings, 469688 edges, 15656 markings/sec, 25 secs
lola: 527301 markings, 550519 edges, 15574 markings/sec, 30 secs
lola: 605228 markings, 630658 edges, 15585 markings/sec, 35 secs
lola: 682753 markings, 713373 edges, 15505 markings/sec, 40 secs
lola: 761831 markings, 793945 edges, 15816 markings/sec, 45 secs
lola: 840839 markings, 874376 edges, 15802 markings/sec, 50 secs
lola: 919583 markings, 954642 edges, 15749 markings/sec, 55 secs
lola: 998221 markings, 1034734 edges, 15728 markings/sec, 60 secs
lola: 1076693 markings, 1114690 edges, 15694 markings/sec, 65 secs
lola: 1154858 markings, 1195656 edges, 15633 markings/sec, 70 secs
lola: 1232564 markings, 1277946 edges, 15541 markings/sec, 75 secs
lola: 1310771 markings, 1359611 edges, 15641 markings/sec, 80 secs
lola: 1388987 markings, 1440786 edges, 15643 markings/sec, 85 secs
lola: 1466297 markings, 1522832 edges, 15462 markings/sec, 90 secs
lola: 1545165 markings, 1603169 edges, 15774 markings/sec, 95 secs
lola: 1623833 markings, 1683278 edges, 15734 markings/sec, 100 secs
lola: 1702328 markings, 1763264 edges, 15699 markings/sec, 105 secs
lola: 1780778 markings, 1843124 edges, 15690 markings/sec, 110 secs
lola: 1858989 markings, 1922853 edges, 15642 markings/sec, 115 secs
lola: 1936832 markings, 2003396 edges, 15569 markings/sec, 120 secs
lola: 2014315 markings, 2085266 edges, 15497 markings/sec, 125 secs
lola: 2092150 markings, 2166829 edges, 15567 markings/sec, 130 secs
lola: 2170415 markings, 2247723 edges, 15653 markings/sec, 135 secs
lola: 2247192 markings, 2329647 edges, 15355 markings/sec, 140 secs
lola: 2325966 markings, 2409812 edges, 15755 markings/sec, 145 secs
lola: 2404320 markings, 2489640 edges, 15671 markings/sec, 150 secs
lola: 2482577 markings, 2569345 edges, 15651 markings/sec, 155 secs
lola: 2560667 markings, 2648879 edges, 15618 markings/sec, 160 secs
lola: 2638742 markings, 2728429 edges, 15615 markings/sec, 165 secs
lola: 2716537 markings, 2808131 edges, 15559 markings/sec, 170 secs
lola: 2793622 markings, 2890133 edges, 15417 markings/sec, 175 secs
lola: 2870666 markings, 2971297 edges, 15409 markings/sec, 180 secs
lola: 2940144 markings, 3056663 edges, 13896 markings/sec, 185 secs
lola: 3005706 markings, 3142615 edges, 13112 markings/sec, 190 secs
lola: 3072079 markings, 3228867 edges, 13275 markings/sec, 195 secs
lola: 3141471 markings, 3311521 edges, 13878 markings/sec, 200 secs
lola: 3204077 markings, 3401188 edges, 12521 markings/sec, 205 secs
lola: 3272351 markings, 3485452 edges, 13655 markings/sec, 210 secs
lola: 3338490 markings, 3570818 edges, 13228 markings/sec, 215 secs
lola: 3402860 markings, 3658949 edges, 12874 markings/sec, 220 secs
lola: 3471912 markings, 3741317 edges, 13810 markings/sec, 225 secs
lola: 3537425 markings, 3828600 edges, 13103 markings/sec, 230 secs
lola: 3615645 markings, 3911269 edges, 15644 markings/sec, 235 secs
lola: 3694140 markings, 3991920 edges, 15699 markings/sec, 240 secs
lola: 3772149 markings, 4074185 edges, 15602 markings/sec, 245 secs
lola: 3849831 markings, 4156638 edges, 15536 markings/sec, 250 secs
lola: 3927419 markings, 4238993 edges, 15518 markings/sec, 255 secs
lola: 4004976 markings, 4321319 edges, 15511 markings/sec, 260 secs
lola: 4082428 markings, 4403537 edges, 15490 markings/sec, 265 secs
lola: 4159753 markings, 4485629 edges, 15465 markings/sec, 270 secs
lola: 4237023 markings, 4567668 edges, 15454 markings/sec, 275 secs
lola: 4314637 markings, 4650076 edges, 15523 markings/sec, 280 secs
lola: 4390890 markings, 4734433 edges, 15251 markings/sec, 285 secs
lola: 4466421 markings, 4819801 edges, 15106 markings/sec, 290 secs
lola: 4541756 markings, 4904942 edges, 15067 markings/sec, 295 secs
lola: 4619170 markings, 4986965 edges, 15483 markings/sec, 300 secs
lola: 4696961 markings, 5068199 edges, 15558 markings/sec, 305 secs
lola: 4774277 markings, 5150285 edges, 15463 markings/sec, 310 secs
lola: 4851501 markings, 5232272 edges, 15445 markings/sec, 315 secs
lola: 4928628 markings, 5314153 edges, 15425 markings/sec, 320 secs
lola: 5005570 markings, 5395815 edges, 15388 markings/sec, 325 secs
lola: 5082269 markings, 5477226 edges, 15340 markings/sec, 330 secs
lola: 5159050 markings, 5558724 edges, 15356 markings/sec, 335 secs
lola: 5236086 markings, 5640501 edges, 15407 markings/sec, 340 secs
lola: 5312425 markings, 5723511 edges, 15268 markings/sec, 345 secs
lola: 5387665 markings, 5808554 edges, 15048 markings/sec, 350 secs
lola: 5462597 markings, 5893256 edges, 14986 markings/sec, 355 secs
lola: 5538675 markings, 5976425 edges, 15216 markings/sec, 360 secs
lola: 5616400 markings, 6056501 edges, 15545 markings/sec, 365 secs
lola: 5693408 markings, 6138258 edges, 15402 markings/sec, 370 secs
lola: 5770300 markings, 6219884 edges, 15378 markings/sec, 375 secs
lola: 5847142 markings, 6301457 edges, 15368 markings/sec, 380 secs
lola: 5923920 markings, 6382948 edges, 15356 markings/sec, 385 secs
lola: 6000570 markings, 6464307 edges, 15330 markings/sec, 390 secs
lola: 6077169 markings, 6545614 edges, 15320 markings/sec, 395 secs
lola: 6153880 markings, 6627037 edges, 15342 markings/sec, 400 secs
lola: 6230399 markings, 6708669 edges, 15304 markings/sec, 405 secs
lola: 6305488 markings, 6793450 edges, 15018 markings/sec, 410 secs
lola: 6380279 markings, 6877913 edges, 14958 markings/sec, 415 secs
lola: 6455033 markings, 6962374 edges, 14951 markings/sec, 420 secs
lola: 6528663 markings, 7049288 edges, 14726 markings/sec, 425 secs
lola: 6595554 markings, 7138803 edges, 13378 markings/sec, 430 secs
lola: 6662255 markings, 7229762 edges, 13340 markings/sec, 435 secs
lola: 6728780 markings, 7320477 edges, 13305 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1357200 KB
lola: time consumption: 1329 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 448 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p218)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p218)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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-10a-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 12 will run for 560 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p976)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p976)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 122 markings, 121 edges

FORMULA ASLink-PT-10a-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 746 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1286)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1286)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 94546 markings, 115586 edges, 18909 markings/sec, 30 secs
lola: 189394 markings, 231852 edges, 18970 markings/sec, 35 secs
lola: 284104 markings, 347782 edges, 18942 markings/sec, 40 secs
lola: 378487 markings, 463373 edges, 18877 markings/sec, 45 secs
lola: 472453 markings, 578498 edges, 18793 markings/sec, 50 secs
lola: 565890 markings, 692934 edges, 18687 markings/sec, 55 secs
lola: 659672 markings, 807701 edges, 18756 markings/sec, 60 secs
lola: 753363 markings, 922443 edges, 18738 markings/sec, 65 secs
lola: 846786 markings, 1036889 edges, 18685 markings/sec, 70 secs
lola: 940095 markings, 1151186 edges, 18662 markings/sec, 75 secs
lola: 1033819 markings, 1265978 edges, 18745 markings/sec, 80 secs
lola: 1127037 markings, 1380076 edges, 18644 markings/sec, 85 secs
lola: 1207493 markings, 1478568 edges, 16091 markings/sec, 90 secs
lola: 1300690 markings, 1592723 edges, 18639 markings/sec, 95 secs
lola: 1394201 markings, 1707279 edges, 18702 markings/sec, 100 secs
lola: 1487360 markings, 1821392 edges, 18632 markings/sec, 105 secs
lola: 1580283 markings, 1935190 edges, 18585 markings/sec, 110 secs
lola: 1673971 markings, 2049922 edges, 18738 markings/sec, 115 secs
lola: 1767523 markings, 2164383 edges, 18710 markings/sec, 120 secs
lola: 1860749 markings, 2278621 edges, 18645 markings/sec, 125 secs
lola: 1953770 markings, 2392554 edges, 18604 markings/sec, 130 secs
lola: 2047575 markings, 2507469 edges, 18761 markings/sec, 135 secs
lola: 2140913 markings, 2621777 edges, 18668 markings/sec, 140 secs
lola: 2234258 markings, 2736039 edges, 18669 markings/sec, 145 secs
lola: 2327752 markings, 2850494 edges, 18699 markings/sec, 150 secs
lola: 2420964 markings, 2964686 edges, 18642 markings/sec, 155 secs
lola: 2514034 markings, 3078712 edges, 18614 markings/sec, 160 secs
lola: 2607335 markings, 3192972 edges, 18660 markings/sec, 165 secs
lola: 2700494 markings, 3307073 edges, 18632 markings/sec, 170 secs
lola: 2793439 markings, 3420886 edges, 18589 markings/sec, 175 secs
lola: 2886134 markings, 3534379 edges, 18539 markings/sec, 180 secs
lola: 2979347 markings, 3648453 edges, 18643 markings/sec, 185 secs
lola: 3072319 markings, 3762341 edges, 18594 markings/sec, 190 secs
lola: 3165199 markings, 3876124 edges, 18576 markings/sec, 195 secs
lola: 3258107 markings, 3989922 edges, 18582 markings/sec, 200 secs
lola: 3351261 markings, 4104012 edges, 18631 markings/sec, 205 secs
lola: 3444313 markings, 4217978 edges, 18610 markings/sec, 210 secs
lola: 3537409 markings, 4331996 edges, 18619 markings/sec, 215 secs
lola: 3630466 markings, 4445928 edges, 18611 markings/sec, 220 secs
lola: 3723423 markings, 4559715 edges, 18591 markings/sec, 225 secs
lola: 3816108 markings, 4673185 edges, 18537 markings/sec, 230 secs
lola: 3909000 markings, 4786987 edges, 18578 markings/sec, 235 secs
lola: 4001761 markings, 4900611 edges, 18552 markings/sec, 240 secs
lola: 4094483 markings, 5014185 edges, 18544 markings/sec, 245 secs
lola: 4187012 markings, 5127509 edges, 18506 markings/sec, 250 secs
lola: 4279953 markings, 5241350 edges, 18588 markings/sec, 255 secs
lola: 4372607 markings, 5354831 edges, 18531 markings/sec, 260 secs
lola: 4465121 markings, 5468115 edges, 18503 markings/sec, 265 secs
lola: 4557717 markings, 5581511 edges, 18519 markings/sec, 270 secs
lola: 4650445 markings, 5695083 edges, 18546 markings/sec, 275 secs
lola: 4743094 markings, 5808542 edges, 18530 markings/sec, 280 secs
lola: 4835926 markings, 5922218 edges, 18566 markings/sec, 285 secs
lola: 4928833 markings, 6035955 edges, 18581 markings/sec, 290 secs
lola: 5021606 markings, 6149522 edges, 18555 markings/sec, 295 secs
lola: 5114068 markings, 6262737 edges, 18492 markings/sec, 300 secs
lola: 5206843 markings, 6376396 edges, 18555 markings/sec, 305 secs
lola: 5299437 markings, 6489790 edges, 18519 markings/sec, 310 secs
lola: 5391805 markings, 6602921 edges, 18474 markings/sec, 315 secs
lola: 5484146 markings, 6716023 edges, 18468 markings/sec, 320 secs
lola: 5576863 markings, 6829573 edges, 18543 markings/sec, 325 secs
lola: 5669250 markings, 6942734 edges, 18477 markings/sec, 330 secs
lola: 5761538 markings, 7055755 edges, 18458 markings/sec, 335 secs
lola: 5854035 markings, 7169021 edges, 18499 markings/sec, 340 secs
lola: 5946711 markings, 7282546 edges, 18535 markings/sec, 345 secs
lola: 6039203 markings, 7395805 edges, 18498 markings/sec, 350 secs
lola: 6131829 markings, 7509240 edges, 18525 markings/sec, 355 secs
lola: 6224370 markings, 7622588 edges, 18508 markings/sec, 360 secs
lola: 6316670 markings, 7735622 edges, 18460 markings/sec, 365 secs
lola: 6408776 markings, 7848420 edges, 18421 markings/sec, 370 secs
lola: 6501411 markings, 7961864 edges, 18527 markings/sec, 375 secs
lola: 6593815 markings, 8075030 edges, 18481 markings/sec, 380 secs
lola: 6685977 markings, 8187894 edges, 18432 markings/sec, 385 secs
lola: 6765844 markings, 8285701 edges, 15973 markings/sec, 390 secs
lola: 6858295 markings, 8398936 edges, 18490 markings/sec, 395 secs
lola: 6950450 markings, 8511778 edges, 18431 markings/sec, 400 secs
lola: 7042469 markings, 8624487 edges, 18404 markings/sec, 405 secs
lola: 7134728 markings, 8737469 edges, 18452 markings/sec, 410 secs
lola: 7227166 markings, 8850661 edges, 18488 markings/sec, 415 secs
lola: 7319378 markings, 8963590 edges, 18442 markings/sec, 420 secs
lola: 7411883 markings, 9076878 edges, 18501 markings/sec, 425 secs
lola: 7504298 markings, 9190052 edges, 18483 markings/sec, 430 secs
lola: 7596430 markings, 9302881 edges, 18426 markings/sec, 435 secs
lola: 7688312 markings, 9415401 edges, 18376 markings/sec, 440 secs
lola: 7780672 markings, 9528527 edges, 18472 markings/sec, 445 secs
lola: 7872686 markings, 9641185 edges, 18403 markings/sec, 450 secs
lola: 7964607 markings, 9753757 edges, 18384 markings/sec, 455 secs
lola: 8056616 markings, 9866422 edges, 18402 markings/sec, 460 secs
lola: 8148891 markings, 9979427 edges, 18455 markings/sec, 465 secs
lola: 8240929 markings, 10092149 edges, 18408 markings/sec, 470 secs
lola: 8334154 markings, 10206322 edges, 18645 markings/sec, 475 secs
lola: 8428107 markings, 10321400 edges, 18791 markings/sec, 480 secs
lola: 8521820 markings, 10436081 edges, 18743 markings/sec, 485 secs
lola: 8615238 markings, 10550497 edges, 18684 markings/sec, 490 secs
lola: 8709010 markings, 10665391 edges, 18754 markings/sec, 495 secs
lola: 8802490 markings, 10779880 edges, 18696 markings/sec, 500 secs
lola: 8895856 markings, 10894230 edges, 18673 markings/sec, 505 secs
lola: 8989203 markings, 11008479 edges, 18669 markings/sec, 510 secs
lola: 9082747 markings, 11123029 edges, 18709 markings/sec, 515 secs
lola: 9175853 markings, 11237095 edges, 18621 markings/sec, 520 secs
lola: 9268602 markings, 11350696 edges, 18550 markings/sec, 525 secs
lola: 9361765 markings, 11464804 edges, 18633 markings/sec, 530 secs
lola: 9455084 markings, 11579095 edges, 18664 markings/sec, 535 secs
lola: 9548003 markings, 11692877 edges, 18584 markings/sec, 540 secs
lola: 9641210 markings, 11806960 edges, 18641 markings/sec, 545 secs
lola: 9734175 markings, 11920772 edges, 18593 markings/sec, 550 secs
lola: 9827075 markings, 12034574 edges, 18580 markings/sec, 555 secs
lola: 9919840 markings, 12148207 edges, 18553 markings/sec, 560 secs
lola: 10012861 markings, 12262140 edges, 18604 markings/sec, 565 secs
lola: 10105609 markings, 12375749 edges, 18550 markings/sec, 570 secs
lola: 10198253 markings, 12489222 edges, 18529 markings/sec, 575 secs
lola: 10291007 markings, 12602804 edges, 18551 markings/sec, 580 secs
lola: 10383774 markings, 12716419 edges, 18553 markings/sec, 585 secs
lola: 10476310 markings, 12829747 edges, 18507 markings/sec, 590 secs
lola: 10568643 markings, 12942830 edges, 18467 markings/sec, 595 secs
lola: 10661370 markings, 13056378 edges, 18545 markings/sec, 600 secs
lola: 10754230 markings, 13170060 edges, 18572 markings/sec, 605 secs
lola: 10846815 markings, 13283428 edges, 18517 markings/sec, 610 secs
lola: 10939662 markings, 13397077 edges, 18569 markings/sec, 615 secs
lola: 11032326 markings, 13510563 edges, 18533 markings/sec, 620 secs
lola: 11124816 markings, 13623854 edges, 18498 markings/sec, 625 secs
lola: 11217349 markings, 13737180 edges, 18507 markings/sec, 630 secs
lola: 11310069 markings, 13850756 edges, 18544 markings/sec, 635 secs
lola: 11402622 markings, 13964114 edges, 18511 markings/sec, 640 secs
lola: 11495020 markings, 14077268 edges, 18480 markings/sec, 645 secs
lola: 11587561 markings, 14190604 edges, 18508 markings/sec, 650 secs
lola: 11680092 markings, 14303940 edges, 18506 markings/sec, 655 secs
lola: 11772327 markings, 14416884 edges, 18447 markings/sec, 660 secs
lola: 11864385 markings, 14529619 edges, 18412 markings/sec, 665 secs
lola: 11956957 markings, 14643008 edges, 18514 markings/sec, 670 secs
lola: 12049477 markings, 14756300 edges, 18504 markings/sec, 675 secs
lola: 12141720 markings, 14869265 edges, 18449 markings/sec, 680 secs
lola: 12234362 markings, 14982722 edges, 18528 markings/sec, 685 secs
lola: 12314543 markings, 15080937 edges, 16036 markings/sec, 690 secs
lola: 12406769 markings, 15193885 edges, 18445 markings/sec, 695 secs
lola: 12498986 markings, 15306808 edges, 18443 markings/sec, 700 secs
lola: 12591425 markings, 15420014 edges, 18488 markings/sec, 705 secs
lola: 12683481 markings, 15532745 edges, 18411 markings/sec, 710 secs
lola: 12775426 markings, 15645344 edges, 18389 markings/sec, 715 secs
lola: 12867593 markings, 15758208 edges, 18433 markings/sec, 720 secs
lola: 12960016 markings, 15871405 edges, 18485 markings/sec, 725 secs
lola: 13052203 markings, 15984290 edges, 18437 markings/sec, 730 secs
lola: 13145403 markings, 16098449 edges, 18640 markings/sec, 735 secs
lola: 13238997 markings, 16213063 edges, 18719 markings/sec, 740 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 unknown 1 unknown unknown 1 1 unknown unknown unknown
lola: memory consumption: 1465060 KB
lola: time consumption: 2076 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 747 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p831)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p831)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 77910 markings, 94962 edges, 15582 markings/sec, 30 secs
lola: 153528 markings, 187625 edges, 15124 markings/sec, 35 secs
lola: 226504 markings, 276989 edges, 14595 markings/sec, 40 secs
lola: 299208 markings, 365980 edges, 14541 markings/sec, 45 secs
lola: 371551 markings, 454596 edges, 14469 markings/sec, 50 secs
lola: 443464 markings, 542708 edges, 14383 markings/sec, 55 secs
lola: 510624 markings, 624968 edges, 13432 markings/sec, 60 secs
lola: 578424 markings, 707990 edges, 13560 markings/sec, 65 secs
lola: 648386 markings, 793622 edges, 13992 markings/sec, 70 secs
lola: 721384 markings, 883080 edges, 14600 markings/sec, 75 secs
lola: 793037 markings, 970801 edges, 14331 markings/sec, 80 secs
lola: 864698 markings, 1058467 edges, 14332 markings/sec, 85 secs
lola: 936181 markings, 1146124 edges, 14297 markings/sec, 90 secs
lola: 1004500 markings, 1229782 edges, 13664 markings/sec, 95 secs
lola: 1076763 markings, 1318279 edges, 14453 markings/sec, 100 secs
lola: 1147250 markings, 1404511 edges, 14097 markings/sec, 105 secs
lola: 1217637 markings, 1490802 edges, 14077 markings/sec, 110 secs
lola: 1286563 markings, 1575232 edges, 13785 markings/sec, 115 secs
lola: 1359975 markings, 1665116 edges, 14682 markings/sec, 120 secs
lola: 1432461 markings, 1753861 edges, 14497 markings/sec, 125 secs
lola: 1504104 markings, 1841528 edges, 14329 markings/sec, 130 secs
lola: 1575501 markings, 1929060 edges, 14279 markings/sec, 135 secs
lola: 1646977 markings, 2016554 edges, 14295 markings/sec, 140 secs
lola: 1718720 markings, 2104411 edges, 14349 markings/sec, 145 secs
lola: 1785641 markings, 2186425 edges, 13384 markings/sec, 150 secs
lola: 1856797 markings, 2273523 edges, 14231 markings/sec, 155 secs
lola: 1927375 markings, 2359980 edges, 14116 markings/sec, 160 secs
lola: 1997899 markings, 2446331 edges, 14105 markings/sec, 165 secs
lola: 2065923 markings, 2529637 edges, 13605 markings/sec, 170 secs
lola: 2138335 markings, 2618249 edges, 14482 markings/sec, 175 secs
lola: 2209676 markings, 2705723 edges, 14268 markings/sec, 180 secs
lola: 2281296 markings, 2793386 edges, 14324 markings/sec, 185 secs
lola: 2352893 markings, 2881014 edges, 14319 markings/sec, 190 secs
lola: 2423500 markings, 2967552 edges, 14121 markings/sec, 195 secs
lola: 2493787 markings, 3053610 edges, 14057 markings/sec, 200 secs
lola: 2564973 markings, 3140807 edges, 14237 markings/sec, 205 secs
lola: 2636640 markings, 3228500 edges, 14333 markings/sec, 210 secs
lola: 2703570 markings, 3310475 edges, 13386 markings/sec, 215 secs
lola: 2775206 markings, 3398306 edges, 14327 markings/sec, 220 secs
lola: 2842238 markings, 3480374 edges, 13406 markings/sec, 225 secs
lola: 2914907 markings, 3569340 edges, 14534 markings/sec, 230 secs
lola: 2985346 markings, 3655631 edges, 14088 markings/sec, 235 secs
lola: 3050401 markings, 3735284 edges, 13011 markings/sec, 240 secs
lola: 3116480 markings, 3816138 edges, 13216 markings/sec, 245 secs
lola: 3183264 markings, 3897944 edges, 13357 markings/sec, 250 secs
lola: 3253682 markings, 3984236 edges, 14084 markings/sec, 255 secs
lola: 3323866 markings, 4070194 edges, 14037 markings/sec, 260 secs
lola: 3394016 markings, 4156063 edges, 14030 markings/sec, 265 secs
lola: 3464064 markings, 4241891 edges, 14010 markings/sec, 270 secs
lola: 3534230 markings, 4327724 edges, 14033 markings/sec, 275 secs
lola: 3604460 markings, 4413829 edges, 14046 markings/sec, 280 secs
lola: 3674565 markings, 4499680 edges, 14021 markings/sec, 285 secs
lola: 3744634 markings, 4585444 edges, 14014 markings/sec, 290 secs
lola: 3814568 markings, 4671139 edges, 13987 markings/sec, 295 secs
lola: 3884607 markings, 4756834 edges, 14008 markings/sec, 300 secs
lola: 3954746 markings, 4842790 edges, 14028 markings/sec, 305 secs
lola: 4023713 markings, 4927268 edges, 13793 markings/sec, 310 secs
lola: 4094254 markings, 5013546 edges, 14108 markings/sec, 315 secs
lola: 4166721 markings, 5102400 edges, 14493 markings/sec, 320 secs
lola: 4236056 markings, 5187228 edges, 13867 markings/sec, 325 secs
lola: 4307671 markings, 5275024 edges, 14323 markings/sec, 330 secs
lola: 4379230 markings, 5362640 edges, 14312 markings/sec, 335 secs
lola: 4450097 markings, 5449396 edges, 14173 markings/sec, 340 secs
lola: 4516239 markings, 5530458 edges, 13228 markings/sec, 345 secs
lola: 4589079 markings, 5619643 edges, 14568 markings/sec, 350 secs
lola: 4659021 markings, 5705276 edges, 13988 markings/sec, 355 secs
lola: 4728951 markings, 5790900 edges, 13986 markings/sec, 360 secs
lola: 4795476 markings, 5872296 edges, 13305 markings/sec, 365 secs
lola: 4867076 markings, 5960103 edges, 14320 markings/sec, 370 secs
lola: 4934203 markings, 6042301 edges, 13425 markings/sec, 375 secs
lola: 5006768 markings, 6131167 edges, 14513 markings/sec, 380 secs
lola: 5076497 markings, 6216570 edges, 13946 markings/sec, 385 secs
lola: 5146272 markings, 6301913 edges, 13955 markings/sec, 390 secs
lola: 5216270 markings, 6387738 edges, 14000 markings/sec, 395 secs
lola: 5281959 markings, 6468112 edges, 13138 markings/sec, 400 secs
lola: 5349291 markings, 6550539 edges, 13466 markings/sec, 405 secs
lola: 5417945 markings, 6634677 edges, 13731 markings/sec, 410 secs
lola: 5488745 markings, 6721429 edges, 14160 markings/sec, 415 secs
lola: 5559902 markings, 6808536 edges, 14231 markings/sec, 420 secs
lola: 5627624 markings, 6891470 edges, 13544 markings/sec, 425 secs
lola: 5699811 markings, 6979793 edges, 14437 markings/sec, 430 secs
lola: 5770907 markings, 7066971 edges, 14219 markings/sec, 435 secs
lola: 5842943 markings, 7155161 edges, 14407 markings/sec, 440 secs
lola: 5913804 markings, 7241972 edges, 14172 markings/sec, 445 secs
lola: 5985583 markings, 7329890 edges, 14356 markings/sec, 450 secs
lola: 6056319 markings, 7416416 edges, 14147 markings/sec, 455 secs
lola: 6127301 markings, 7503433 edges, 14196 markings/sec, 460 secs
lola: 6198317 markings, 7590307 edges, 14203 markings/sec, 465 secs
lola: 6269899 markings, 7678077 edges, 14316 markings/sec, 470 secs
lola: 6335296 markings, 7758126 edges, 13079 markings/sec, 475 secs
lola: 6401752 markings, 7839473 edges, 13291 markings/sec, 480 secs
lola: 6473450 markings, 7927342 edges, 14340 markings/sec, 485 secs
lola: 6544259 markings, 8014032 edges, 14162 markings/sec, 490 secs
lola: 6614809 markings, 8100469 edges, 14110 markings/sec, 495 secs
lola: 6685565 markings, 8187094 edges, 14151 markings/sec, 500 secs
lola: 6756189 markings, 8273614 edges, 14125 markings/sec, 505 secs
lola: 6823546 markings, 8356104 edges, 13471 markings/sec, 510 secs
lola: 6894085 markings, 8442416 edges, 14108 markings/sec, 515 secs
lola: 6960276 markings, 8523473 edges, 13238 markings/sec, 520 secs
lola: 7029875 markings, 8608723 edges, 13920 markings/sec, 525 secs
lola: 7099764 markings, 8694359 edges, 13978 markings/sec, 530 secs
lola: 7169537 markings, 8779743 edges, 13955 markings/sec, 535 secs
lola: 7239093 markings, 8864953 edges, 13911 markings/sec, 540 secs
lola: 7306418 markings, 8947390 edges, 13465 markings/sec, 545 secs
lola: 7378603 markings, 9035778 edges, 14437 markings/sec, 550 secs
lola: 7450996 markings, 9124518 edges, 14479 markings/sec, 555 secs
lola: 7521933 markings, 9211327 edges, 14187 markings/sec, 560 secs
lola: 7592799 markings, 9298163 edges, 14173 markings/sec, 565 secs
lola: 7660666 markings, 9381271 edges, 13573 markings/sec, 570 secs
lola: 7730160 markings, 9466282 edges, 13899 markings/sec, 575 secs
lola: 7799762 markings, 9551604 edges, 13920 markings/sec, 580 secs
lola: 7869363 markings, 9636861 edges, 13920 markings/sec, 585 secs
lola: 7938847 markings, 9721852 edges, 13897 markings/sec, 590 secs
lola: 8009567 markings, 9808569 edges, 14144 markings/sec, 595 secs
lola: 8080335 markings, 9895127 edges, 14154 markings/sec, 600 secs
lola: 8150895 markings, 9981617 edges, 14112 markings/sec, 605 secs
lola: 8218074 markings, 10063890 edges, 13436 markings/sec, 610 secs
lola: 8289015 markings, 10150722 edges, 14188 markings/sec, 615 secs
lola: 8360456 markings, 10238269 edges, 14288 markings/sec, 620 secs
lola: 8431873 markings, 10325665 edges, 14283 markings/sec, 625 secs
lola: 8503079 markings, 10412941 edges, 14241 markings/sec, 630 secs
lola: 8574377 markings, 10500231 edges, 14260 markings/sec, 635 secs
lola: 8645481 markings, 10587303 edges, 14221 markings/sec, 640 secs
lola: 8716928 markings, 10674826 edges, 14289 markings/sec, 645 secs
lola: 8787918 markings, 10761649 edges, 14198 markings/sec, 650 secs
lola: 8856043 markings, 10845107 edges, 13625 markings/sec, 655 secs
lola: 8927651 markings, 10932891 edges, 14322 markings/sec, 660 secs
lola: 8998627 markings, 11019790 edges, 14195 markings/sec, 665 secs
lola: 9066516 markings, 11102930 edges, 13578 markings/sec, 670 secs
lola: 9139600 markings, 11192403 edges, 14617 markings/sec, 675 secs
lola: 9211782 markings, 11280789 edges, 14436 markings/sec, 680 secs
lola: 9281941 markings, 11366743 edges, 14032 markings/sec, 685 secs
lola: 9352319 markings, 11452968 edges, 14076 markings/sec, 690 secs
lola: 9422539 markings, 11538911 edges, 14044 markings/sec, 695 secs
lola: 9492701 markings, 11624874 edges, 14032 markings/sec, 700 secs
lola: 9562633 markings, 11710446 edges, 13986 markings/sec, 705 secs
lola: 9632741 markings, 11796348 edges, 14022 markings/sec, 710 secs
lola: 9702877 markings, 11882286 edges, 14027 markings/sec, 715 secs
lola: 9772976 markings, 11968045 edges, 14020 markings/sec, 720 secs
lola: 9839962 markings, 12050036 edges, 13397 markings/sec, 725 secs
lola: 9909800 markings, 12135666 edges, 13968 markings/sec, 730 secs
lola: 9976805 markings, 12217707 edges, 13401 markings/sec, 735 secs
lola: 10046865 markings, 12303542 edges, 14012 markings/sec, 740 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 unknown 1 unknown unknown 1 1 unknown unknown unknown
lola: memory consumption: 1171512 KB
lola: time consumption: 2823 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 747 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1876)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1876)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 12 markings, 11 edges

FORMULA ASLink-PT-10a-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p1844)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1844)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-10a-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: 112843 markings, 147276 edges, 22569 markings/sec, 30 secs
lola: 241350 markings, 309297 edges, 25701 markings/sec, 35 secs
lola: 333553 markings, 439656 edges, 18441 markings/sec, 40 secs
lola: 458444 markings, 599745 edges, 24978 markings/sec, 45 secs
lola: 562635 markings, 733712 edges, 20838 markings/sec, 50 secs
lola: 667587 markings, 863104 edges, 20990 markings/sec, 55 secs
lola: 774078 markings, 988258 edges, 21298 markings/sec, 60 secs
lola: 876606 markings, 1126066 edges, 20506 markings/sec, 65 secs
lola: 982857 markings, 1258379 edges, 21250 markings/sec, 70 secs
lola: 1115823 markings, 1424276 edges, 26593 markings/sec, 75 secs
lola: 1223422 markings, 1561414 edges, 21520 markings/sec, 80 secs
lola: 1320111 markings, 1688440 edges, 19338 markings/sec, 85 secs
lola: 1452482 markings, 1853838 edges, 26474 markings/sec, 90 secs
lola: 1555855 markings, 1980374 edges, 20675 markings/sec, 95 secs
lola: 1649148 markings, 2099775 edges, 18659 markings/sec, 100 secs
lola: 1747815 markings, 2218437 edges, 19733 markings/sec, 105 secs
lola: 1850982 markings, 2354907 edges, 20633 markings/sec, 110 secs
lola: 1965292 markings, 2498988 edges, 22862 markings/sec, 115 secs
lola: 2092088 markings, 2659137 edges, 25359 markings/sec, 120 secs
lola: 2188519 markings, 2781486 edges, 19286 markings/sec, 125 secs
lola: 2296667 markings, 2920513 edges, 21630 markings/sec, 130 secs
lola: 2414765 markings, 3070349 edges, 23620 markings/sec, 135 secs
lola: 2514910 markings, 3189731 edges, 20029 markings/sec, 140 secs
lola: 2614483 markings, 3315813 edges, 19915 markings/sec, 145 secs
lola: 2714031 markings, 3440762 edges, 19910 markings/sec, 150 secs
lola: 2801381 markings, 3554093 edges, 17470 markings/sec, 155 secs
lola: 2922968 markings, 3707395 edges, 24317 markings/sec, 160 secs
lola: 3051831 markings, 3869563 edges, 25773 markings/sec, 165 secs
lola: 3142242 markings, 3984394 edges, 18082 markings/sec, 170 secs
lola: 3259246 markings, 4137140 edges, 23401 markings/sec, 175 secs
lola: 3363106 markings, 4259794 edges, 20772 markings/sec, 180 secs
lola: 3483639 markings, 4423361 edges, 24107 markings/sec, 185 secs
lola: 3588359 markings, 4572892 edges, 20944 markings/sec, 190 secs
lola: 3696008 markings, 4720876 edges, 21530 markings/sec, 195 secs
lola: 3811271 markings, 4880944 edges, 23053 markings/sec, 200 secs
lola: 3914202 markings, 5028135 edges, 20586 markings/sec, 205 secs
lola: 4035158 markings, 5187914 edges, 24191 markings/sec, 210 secs
lola: 4148284 markings, 5354950 edges, 22625 markings/sec, 215 secs
lola: 4281647 markings, 5528907 edges, 26673 markings/sec, 220 secs
lola: 4391860 markings, 5664286 edges, 22043 markings/sec, 225 secs
lola: 4501045 markings, 5802535 edges, 21837 markings/sec, 230 secs
lola: 4618260 markings, 5955258 edges, 23443 markings/sec, 235 secs
lola: 4723326 markings, 6091851 edges, 21013 markings/sec, 240 secs
lola: 4824360 markings, 6217494 edges, 20207 markings/sec, 245 secs
lola: 4925721 markings, 6345215 edges, 20272 markings/sec, 250 secs
lola: 5020913 markings, 6463606 edges, 19038 markings/sec, 255 secs
lola: 5112745 markings, 6579210 edges, 18366 markings/sec, 260 secs
lola: 5199126 markings, 6695543 edges, 17276 markings/sec, 265 secs
lola: 5312476 markings, 6852445 edges, 22670 markings/sec, 270 secs
lola: 5422639 markings, 7002979 edges, 22033 markings/sec, 275 secs
lola: 5526356 markings, 7134792 edges, 20743 markings/sec, 280 secs
lola: 5622937 markings, 7259295 edges, 19316 markings/sec, 285 secs
lola: 5707799 markings, 7381889 edges, 16972 markings/sec, 290 secs
lola: 5799862 markings, 7511095 edges, 18413 markings/sec, 295 secs
lola: 5893853 markings, 7638362 edges, 18798 markings/sec, 300 secs
lola: 5991758 markings, 7761190 edges, 19581 markings/sec, 305 secs
lola: 6094326 markings, 7889977 edges, 20514 markings/sec, 310 secs
lola: 6187580 markings, 8014559 edges, 18651 markings/sec, 315 secs
lola: 6284998 markings, 8162386 edges, 19484 markings/sec, 320 secs
lola: 6377483 markings, 8287889 edges, 18497 markings/sec, 325 secs
lola: 6465712 markings, 8408507 edges, 17646 markings/sec, 330 secs
lola: 6560112 markings, 8525744 edges, 18880 markings/sec, 335 secs
lola: 6648424 markings, 8636713 edges, 17662 markings/sec, 340 secs
lola: 6734989 markings, 8741552 edges, 17313 markings/sec, 345 secs
lola: 6816797 markings, 8847660 edges, 16362 markings/sec, 350 secs
lola: 6902838 markings, 8963587 edges, 17208 markings/sec, 355 secs
lola: 6998437 markings, 9099461 edges, 19120 markings/sec, 360 secs
lola: 7090961 markings, 9232402 edges, 18505 markings/sec, 365 secs
lola: 7172177 markings, 9352678 edges, 16243 markings/sec, 370 secs
lola: 7278255 markings, 9498818 edges, 21216 markings/sec, 375 secs
lola: 7351124 markings, 9613548 edges, 14574 markings/sec, 380 secs
lola: 7481318 markings, 9782063 edges, 26039 markings/sec, 385 secs
lola: 7587936 markings, 9924253 edges, 21324 markings/sec, 390 secs
lola: 7678285 markings, 10045564 edges, 18070 markings/sec, 395 secs
lola: 7774947 markings, 10169185 edges, 19332 markings/sec, 400 secs
lola: 7859100 markings, 10297728 edges, 16831 markings/sec, 405 secs
lola: 7948219 markings, 10417173 edges, 17824 markings/sec, 410 secs
lola: 8046622 markings, 10547289 edges, 19681 markings/sec, 415 secs
lola: 8150294 markings, 10675644 edges, 20734 markings/sec, 420 secs
lola: 8246371 markings, 10799432 edges, 19215 markings/sec, 425 secs
lola: 8338772 markings, 10925832 edges, 18480 markings/sec, 430 secs
lola: 8440991 markings, 11075199 edges, 20444 markings/sec, 435 secs
lola: 8531277 markings, 11200474 edges, 18057 markings/sec, 440 secs
lola: 8613735 markings, 11315426 edges, 16492 markings/sec, 445 secs
lola: 8713547 markings, 11433797 edges, 19962 markings/sec, 450 secs
lola: 8800127 markings, 11542395 edges, 17316 markings/sec, 455 secs
lola: 8881627 markings, 11643409 edges, 16300 markings/sec, 460 secs
lola: 8970798 markings, 11758088 edges, 17834 markings/sec, 465 secs
lola: 9071227 markings, 11897261 edges, 20086 markings/sec, 470 secs
lola: 9158533 markings, 12022122 edges, 17461 markings/sec, 475 secs
lola: 9245702 markings, 12150212 edges, 17434 markings/sec, 480 secs
lola: 9342471 markings, 12288828 edges, 19354 markings/sec, 485 secs
lola: 9428106 markings, 12412201 edges, 17127 markings/sec, 490 secs
lola: 9530201 markings, 12559440 edges, 20419 markings/sec, 495 secs
lola: 9651661 markings, 12718585 edges, 24292 markings/sec, 500 secs
lola: 9749825 markings, 12847991 edges, 19633 markings/sec, 505 secs
lola: 9848519 markings, 12977232 edges, 19739 markings/sec, 510 secs
lola: 9933459 markings, 13091538 edges, 16988 markings/sec, 515 secs
lola: 10022021 markings, 13222869 edges, 17712 markings/sec, 520 secs
lola: 10109205 markings, 13341564 edges, 17437 markings/sec, 525 secs
lola: 10211055 markings, 13470484 edges, 20370 markings/sec, 530 secs
lola: 10307107 markings, 13590363 edges, 19210 markings/sec, 535 secs
lola: 10405988 markings, 13719136 edges, 19776 markings/sec, 540 secs
lola: 10503948 markings, 13860551 edges, 19592 markings/sec, 545 secs
lola: 10598240 markings, 13993440 edges, 18858 markings/sec, 550 secs
lola: 10691393 markings, 14122061 edges, 18631 markings/sec, 555 secs
lola: 10781738 markings, 14243218 edges, 18069 markings/sec, 560 secs
lola: 10870662 markings, 14349321 edges, 17785 markings/sec, 565 secs
lola: 10962073 markings, 14461888 edges, 18282 markings/sec, 570 secs
lola: 11039086 markings, 14560931 edges, 15403 markings/sec, 575 secs
lola: 11133522 markings, 14686101 edges, 18887 markings/sec, 580 secs
lola: 11232268 markings, 14822929 edges, 19749 markings/sec, 585 secs
lola: 11317132 markings, 14946622 edges, 16973 markings/sec, 590 secs
lola: 11402461 markings, 15072235 edges, 17066 markings/sec, 595 secs
lola: 11512780 markings, 15222565 edges, 22064 markings/sec, 600 secs
lola: 11602907 markings, 15363932 edges, 18025 markings/sec, 605 secs
lola: 11705543 markings, 15515917 edges, 20527 markings/sec, 610 secs
lola: 11797379 markings, 15640850 edges, 18367 markings/sec, 615 secs
lola: 11886038 markings, 15764870 edges, 17732 markings/sec, 620 secs
lola: 11967536 markings, 15889245 edges, 16300 markings/sec, 625 secs
lola: 12085754 markings, 16043725 edges, 23644 markings/sec, 630 secs
lola: 12202825 markings, 16196841 edges, 23414 markings/sec, 635 secs
lola: 12295833 markings, 16329622 edges, 18602 markings/sec, 640 secs
lola: 12388083 markings, 16464848 edges, 18450 markings/sec, 645 secs
lola: 12493432 markings, 16604490 edges, 21070 markings/sec, 650 secs
lola: 12611495 markings, 16761877 edges, 23613 markings/sec, 655 secs
lola: 12722849 markings, 16907521 edges, 22271 markings/sec, 660 secs
lola: 12840788 markings, 17056284 edges, 23588 markings/sec, 665 secs
lola: 12958241 markings, 17211430 edges, 23491 markings/sec, 670 secs
lola: 13047693 markings, 17343891 edges, 17890 markings/sec, 675 secs
lola: 13166725 markings, 17500567 edges, 23806 markings/sec, 680 secs
lola: 13249842 markings, 17622129 edges, 16623 markings/sec, 685 secs
lola: 13333643 markings, 17747636 edges, 16760 markings/sec, 690 secs
lola: 13461708 markings, 17910176 edges, 25613 markings/sec, 695 secs
lola: 13564243 markings, 18050684 edges, 20507 markings/sec, 700 secs
lola: 13654476 markings, 18179903 edges, 18047 markings/sec, 705 secs
lola: 13752607 markings, 18316017 edges, 19626 markings/sec, 710 secs
lola: 13868677 markings, 18472386 edges, 23214 markings/sec, 715 secs
lola: 13973375 markings, 18613257 edges, 20940 markings/sec, 720 secs
lola: 14087376 markings, 18760479 edges, 22800 markings/sec, 725 secs
lola: 14202167 markings, 18904695 edges, 22958 markings/sec, 730 secs
lola: 14315102 markings, 19062898 edges, 22587 markings/sec, 735 secs
lola: 14418264 markings, 19206163 edges, 20632 markings/sec, 740 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 unknown 1 unknown unknown 1 1 unknown unknown 1
lola:
preliminary result: 1 1 1 1 1 1 1 unknown 1 unknown unknown 1 1 unknown unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 unknown 1 unknown unknown 1 1 unknown unknown 1
lola: memory consumption: 1870892 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 unknown 1 unknown unknown 1 1 unknown unknown 1
lola: memory consumption: 1870892 KB
lola: time consumption: 3570 seconds

BK_STOP 1552326210961

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

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