Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.....................
/home/mcc/execution
total 460K
-rw-r--r-- 1 mcc users 3.2K May 29 16:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 29 16:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 28 11:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 28 11:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 28 09:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 28 07:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K May 28 07:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 2.9K May 27 05:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 27 05:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.3K May 26 06:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 26 06:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 4 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 293K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ASLink-PT-01b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145100011
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527756282110

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-01b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-01b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-01b @ 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: 1994/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 846
lola: finding significant places
lola: 846 places, 1148 transitions, 764 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1676 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-01b-UpperBounds.task
lola: MAX(p135) : MAX(p89) : MAX(p826) : MAX(p599) : MAX(p3) : MAX(p601) : MAX(p165) : MAX(p668) : MAX(p121) : MAX(p726) : MAX(p37) : MAX(p12) : MAX(p472) : MAX(p305) : MAX(p497) : MAX(p683)
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(p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p135)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-01b-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: 19964 markings, 34132 edges
lola: ========================================

FORMULA ASLink-PT-01b-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(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p89)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-01b-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: 83 markings, 82 edges
lola: ========================================

FORMULA ASLink-PT-01b-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(p826)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p826)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-01b-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: 20 markings, 19 edges

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

FORMULA ASLink-PT-01b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file ASLink-PT-01b-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-01b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p601)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p601)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-01b-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: 246658 markings, 304313 edges, 49332 markings/sec, 30 secs
lola: 469521 markings, 615173 edges, 44573 markings/sec, 35 secs
lola: 722458 markings, 926355 edges, 50587 markings/sec, 40 secs
lola: 970840 markings, 1228938 edges, 49676 markings/sec, 45 secs
lola: 1219945 markings, 1535734 edges, 49821 markings/sec, 50 secs
lola: 1439950 markings, 1846655 edges, 44001 markings/sec, 55 secs
lola: 1662255 markings, 2159681 edges, 44461 markings/sec, 60 secs
lola: 1905479 markings, 2462559 edges, 48645 markings/sec, 65 secs
lola: 2165069 markings, 2794973 edges, 51918 markings/sec, 70 secs
lola: 2373568 markings, 3163430 edges, 41700 markings/sec, 75 secs
lola: 2556868 markings, 3514468 edges, 36660 markings/sec, 80 secs
lola: 2770619 markings, 3865657 edges, 42750 markings/sec, 85 secs
lola: 2974208 markings, 4217072 edges, 40718 markings/sec, 90 secs
lola: 3201996 markings, 4565266 edges, 45558 markings/sec, 95 secs
lola: 3424673 markings, 4909637 edges, 44535 markings/sec, 100 secs
lola: 3655738 markings, 5262293 edges, 46213 markings/sec, 105 secs
lola: 3890353 markings, 5603316 edges, 46923 markings/sec, 110 secs
lola: 4122810 markings, 5944073 edges, 46491 markings/sec, 115 secs
lola: 4356692 markings, 6295680 edges, 46776 markings/sec, 120 secs
lola: 4601400 markings, 6640188 edges, 48942 markings/sec, 125 secs
lola: 4842465 markings, 6978353 edges, 48213 markings/sec, 130 secs
lola: 5075639 markings, 7321158 edges, 46635 markings/sec, 135 secs
lola: 5316617 markings, 7667889 edges, 48196 markings/sec, 140 secs
lola: 5563843 markings, 8012012 edges, 49445 markings/sec, 145 secs
lola: 5807829 markings, 8350535 edges, 48797 markings/sec, 150 secs
lola: 6052878 markings, 8687410 edges, 49010 markings/sec, 155 secs
lola: 6290145 markings, 9030587 edges, 47453 markings/sec, 160 secs
lola: 6538746 markings, 9382896 edges, 49720 markings/sec, 165 secs
lola: 6787434 markings, 9719240 edges, 49738 markings/sec, 170 secs
lola: 7031149 markings, 10057710 edges, 48743 markings/sec, 175 secs
lola: 7278748 markings, 10391002 edges, 49520 markings/sec, 180 secs
lola: 7520626 markings, 10732477 edges, 48376 markings/sec, 185 secs
lola: 7764122 markings, 11072959 edges, 48699 markings/sec, 190 secs
lola: 8004757 markings, 11383398 edges, 48127 markings/sec, 195 secs
lola: 8277348 markings, 11708689 edges, 54518 markings/sec, 200 secs
lola: 8514435 markings, 12044787 edges, 47417 markings/sec, 205 secs
lola: 8752483 markings, 12398771 edges, 47610 markings/sec, 210 secs
lola: 8997082 markings, 12721362 edges, 48920 markings/sec, 215 secs
lola: 9243849 markings, 13019867 edges, 49353 markings/sec, 220 secs
lola: 9476527 markings, 13328568 edges, 46536 markings/sec, 225 secs
lola: 9721090 markings, 13631048 edges, 48913 markings/sec, 230 secs
lola: 9967369 markings, 13938266 edges, 49256 markings/sec, 235 secs
lola: 10214211 markings, 14279524 edges, 49368 markings/sec, 240 secs
lola: 10454345 markings, 14636275 edges, 48027 markings/sec, 245 secs
lola: 10687062 markings, 14949915 edges, 46543 markings/sec, 250 secs
lola: 10928121 markings, 15250761 edges, 48212 markings/sec, 255 secs
lola: 11175400 markings, 15553752 edges, 49456 markings/sec, 260 secs
lola: 11421171 markings, 15856906 edges, 49154 markings/sec, 265 secs
lola: 11658428 markings, 16155707 edges, 47451 markings/sec, 270 secs
lola: 11897950 markings, 16462253 edges, 47904 markings/sec, 275 secs
lola: 12139627 markings, 16774941 edges, 48335 markings/sec, 280 secs
lola: 12407609 markings, 17098258 edges, 53596 markings/sec, 285 secs
lola: 12679187 markings, 17421606 edges, 54316 markings/sec, 290 secs
lola: 12931738 markings, 17753004 edges, 50510 markings/sec, 295 secs
lola: 13165700 markings, 18096981 edges, 46792 markings/sec, 300 secs
lola: 13394397 markings, 18446549 edges, 45739 markings/sec, 305 secs
lola: 13623659 markings, 18795140 edges, 45852 markings/sec, 310 secs
lola: 13856939 markings, 19140507 edges, 46656 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1428272 KB
lola: time consumption: 349 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p165)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p165)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-01b-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: 172024 markings, 223208 edges, 34405 markings/sec, 30 secs
lola: 336527 markings, 459340 edges, 32901 markings/sec, 35 secs
lola: 499765 markings, 694290 edges, 32648 markings/sec, 40 secs
lola: 662755 markings, 925995 edges, 32598 markings/sec, 45 secs
lola: 824559 markings, 1160645 edges, 32361 markings/sec, 50 secs
lola: 996526 markings, 1383389 edges, 34393 markings/sec, 55 secs
lola: 1174208 markings, 1595724 edges, 35536 markings/sec, 60 secs
lola: 1366477 markings, 1908511 edges, 38454 markings/sec, 65 secs
lola: 1765158 markings, 2376573 edges, 79736 markings/sec, 70 secs
lola: 2158336 markings, 2840961 edges, 78636 markings/sec, 75 secs
lola: 2554293 markings, 3305929 edges, 79191 markings/sec, 80 secs
lola: 2932410 markings, 3771956 edges, 75623 markings/sec, 85 secs
lola: 3291530 markings, 4226800 edges, 71824 markings/sec, 90 secs
lola: 3454795 markings, 4456850 edges, 32653 markings/sec, 95 secs
lola: 3619594 markings, 4683606 edges, 32960 markings/sec, 100 secs
lola: 3899096 markings, 5088891 edges, 55900 markings/sec, 105 secs
lola: 4174506 markings, 5439251 edges, 55082 markings/sec, 110 secs
lola: 4335864 markings, 5670743 edges, 32272 markings/sec, 115 secs
lola: 4515242 markings, 5924391 edges, 35876 markings/sec, 120 secs
lola: 4870720 markings, 6400113 edges, 71096 markings/sec, 125 secs
lola: 5065863 markings, 6656270 edges, 39029 markings/sec, 130 secs
lola: 5226200 markings, 6886020 edges, 32067 markings/sec, 135 secs
lola: 5385165 markings, 7115080 edges, 31793 markings/sec, 140 secs
lola: 5548990 markings, 7339764 edges, 32765 markings/sec, 145 secs
lola: 5721349 markings, 7548052 edges, 34472 markings/sec, 150 secs
lola: 5974359 markings, 7910310 edges, 50602 markings/sec, 155 secs
lola: 6361097 markings, 8364578 edges, 77348 markings/sec, 160 secs
lola: 6752338 markings, 8823898 edges, 78248 markings/sec, 165 secs
lola: 7140152 markings, 9279425 edges, 77563 markings/sec, 170 secs
lola: 7511798 markings, 9745970 edges, 74329 markings/sec, 175 secs
lola: 7787812 markings, 10097541 edges, 55203 markings/sec, 180 secs
lola: 7947633 markings, 10327624 edges, 31964 markings/sec, 185 secs
lola: 8123612 markings, 10570482 edges, 35196 markings/sec, 190 secs
lola: 8469393 markings, 11039939 edges, 69156 markings/sec, 195 secs
lola: 8674560 markings, 11307744 edges, 41033 markings/sec, 200 secs
lola: 8834152 markings, 11537341 edges, 31918 markings/sec, 205 secs
lola: 8992362 markings, 11764269 edges, 31642 markings/sec, 210 secs
lola: 9153244 markings, 11988829 edges, 32176 markings/sec, 215 secs
lola: 9325080 markings, 12192220 edges, 34367 markings/sec, 220 secs
lola: 9559337 markings, 12531802 edges, 46851 markings/sec, 225 secs
lola: 9947792 markings, 12987998 edges, 77691 markings/sec, 230 secs
lola: 10338995 markings, 13447361 edges, 78241 markings/sec, 235 secs
lola: 10714121 markings, 13887991 edges, 75025 markings/sec, 240 secs
lola: 11087850 markings, 14352430 edges, 74746 markings/sec, 245 secs
lola: 11442249 markings, 14827073 edges, 70880 markings/sec, 250 secs
lola: 11780966 markings, 15245647 edges, 67743 markings/sec, 255 secs
lola: 12173522 markings, 15706631 edges, 78511 markings/sec, 260 secs
lola: 12406679 markings, 16003300 edges, 46631 markings/sec, 265 secs
lola: 12565952 markings, 16231135 edges, 31855 markings/sec, 270 secs
lola: 12734956 markings, 16443848 edges, 33801 markings/sec, 275 secs
lola: 12916690 markings, 16718678 edges, 36347 markings/sec, 280 secs
lola: 13076798 markings, 16947740 edges, 32022 markings/sec, 285 secs
lola: 13255945 markings, 17200674 edges, 35829 markings/sec, 290 secs
lola: 13613887 markings, 17672199 edges, 71588 markings/sec, 295 secs
lola: 13799510 markings, 17920833 edges, 37125 markings/sec, 300 secs
lola: 13959352 markings, 18141136 edges, 31968 markings/sec, 305 secs
lola: 14134169 markings, 18388855 edges, 34963 markings/sec, 310 secs
lola: 14321854 markings, 18702579 edges, 37537 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1360816 KB
lola: time consumption: 671 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p668)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p668)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-01b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 6 markings, 5 edges
lola: ========================================

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

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

FORMULA ASLink-PT-01b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 482 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p37)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-01b-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: 240071 markings, 303877 edges, 48014 markings/sec, 30 secs
lola: 733883 markings, 883679 edges, 98762 markings/sec, 35 secs
lola: 1225627 markings, 1460942 edges, 98349 markings/sec, 40 secs
lola: 1716813 markings, 2037192 edges, 98237 markings/sec, 45 secs
lola: 2206067 markings, 2611730 edges, 97851 markings/sec, 50 secs
lola: 2472452 markings, 2949930 edges, 53277 markings/sec, 55 secs
lola: 2644693 markings, 3195303 edges, 34448 markings/sec, 60 secs
lola: 2829030 markings, 3430357 edges, 36867 markings/sec, 65 secs
lola: 3264816 markings, 3973961 edges, 87157 markings/sec, 70 secs
lola: 3749067 markings, 4542217 edges, 96850 markings/sec, 75 secs
lola: 4233133 markings, 5110675 edges, 96813 markings/sec, 80 secs
lola: 4702569 markings, 5685536 edges, 93887 markings/sec, 85 secs
lola: 4876290 markings, 5926862 edges, 34744 markings/sec, 90 secs
lola: 5051555 markings, 6164010 edges, 35053 markings/sec, 95 secs
lola: 5418937 markings, 6655679 edges, 73476 markings/sec, 100 secs
lola: 5729256 markings, 7037385 edges, 62064 markings/sec, 105 secs
lola: 6200693 markings, 7591041 edges, 94287 markings/sec, 110 secs
lola: 6678746 markings, 8152213 edges, 95611 markings/sec, 115 secs
lola: 7061091 markings, 8607235 edges, 76469 markings/sec, 120 secs
lola: 7230198 markings, 8849841 edges, 33821 markings/sec, 125 secs
lola: 7409075 markings, 9079340 edges, 35775 markings/sec, 130 secs
lola: 7706324 markings, 9477094 edges, 59450 markings/sec, 135 secs
lola: 8175677 markings, 10028301 edges, 93871 markings/sec, 140 secs
lola: 8656994 markings, 10593458 edges, 96263 markings/sec, 145 secs
lola: 9124959 markings, 11154522 edges, 93593 markings/sec, 150 secs
lola: 9450344 markings, 11564456 edges, 65077 markings/sec, 155 secs
lola: 9619541 markings, 11807487 edges, 33839 markings/sec, 160 secs
lola: 9837451 markings, 12117669 edges, 43582 markings/sec, 165 secs
lola: 10223080 markings, 12595064 edges, 77126 markings/sec, 170 secs
lola: 10692336 markings, 13145991 edges, 93851 markings/sec, 175 secs
lola: 11005550 markings, 13530492 edges, 62643 markings/sec, 180 secs
lola: 11176723 markings, 13776387 edges, 34235 markings/sec, 185 secs
lola: 11391108 markings, 14081818 edges, 42877 markings/sec, 190 secs
lola: 11780911 markings, 14569819 edges, 77961 markings/sec, 195 secs
lola: 12242956 markings, 15114572 edges, 92409 markings/sec, 200 secs
lola: 12610510 markings, 15550325 edges, 73511 markings/sec, 205 secs
lola: 12779468 markings, 15792764 edges, 33792 markings/sec, 210 secs
lola: 12948963 markings, 16028544 edges, 33899 markings/sec, 215 secs
lola: 13114012 markings, 16273733 edges, 33010 markings/sec, 220 secs
lola: 13297012 markings, 16493209 edges, 36600 markings/sec, 225 secs
lola: 13525691 markings, 16815655 edges, 45736 markings/sec, 230 secs
lola: 13996570 markings, 17368572 edges, 94176 markings/sec, 235 secs
lola: 14384875 markings, 17831205 edges, 77661 markings/sec, 240 secs
lola: 14850648 markings, 18378224 edges, 93155 markings/sec, 245 secs
lola: 15290077 markings, 18919318 edges, 87886 markings/sec, 250 secs
lola: 15765318 markings, 19479921 edges, 95048 markings/sec, 255 secs
lola: 16217842 markings, 20041387 edges, 90505 markings/sec, 260 secs
lola: 16584100 markings, 20505306 edges, 73252 markings/sec, 265 secs
lola: 17055067 markings, 21058729 edges, 94193 markings/sec, 270 secs
lola: 17378693 markings, 21481101 edges, 64725 markings/sec, 275 secs
lola: 17691944 markings, 21893724 edges, 62650 markings/sec, 280 secs
lola: 18103366 markings, 22405723 edges, 82284 markings/sec, 285 secs
lola: 18358596 markings, 22786313 edges, 51046 markings/sec, 290 secs
lola: 18763114 markings, 23279647 edges, 80904 markings/sec, 295 secs
lola: 18974336 markings, 23607124 edges, 42244 markings/sec, 300 secs
lola: 19387279 markings, 24123614 edges, 82589 markings/sec, 305 secs
lola: 19678880 markings, 24510044 edges, 58320 markings/sec, 310 secs
lola: 19834271 markings, 24765744 edges, 31078 markings/sec, 315 secs
lola: 20174027 markings, 25210834 edges, 67951 markings/sec, 320 secs
lola: 20594966 markings, 25730146 edges, 84188 markings/sec, 325 secs
lola: 21006206 markings, 26248725 edges, 82248 markings/sec, 330 secs
lola: 21206027 markings, 26520159 edges, 39964 markings/sec, 335 secs
lola: 21373119 markings, 26754256 edges, 33418 markings/sec, 340 secs
lola: 21560823 markings, 27002981 edges, 37541 markings/sec, 345 secs
lola: 21726363 markings, 27239950 edges, 33108 markings/sec, 350 secs
lola: 21896975 markings, 27471431 edges, 34122 markings/sec, 355 secs
lola: 22221680 markings, 27892246 edges, 64941 markings/sec, 360 secs
lola: 22690394 markings, 28442916 edges, 93743 markings/sec, 365 secs
lola: 23148562 markings, 29002161 edges, 91634 markings/sec, 370 secs
lola: 23354999 markings, 29315368 edges, 41287 markings/sec, 375 secs
lola: 23519636 markings, 29550313 edges, 32927 markings/sec, 380 secs
lola: 23688557 markings, 29776996 edges, 33784 markings/sec, 385 secs
lola: 23876443 markings, 30040779 edges, 37577 markings/sec, 390 secs
lola: 24056613 markings, 30292672 edges, 36034 markings/sec, 395 secs
lola: 24314871 markings, 30660465 edges, 51652 markings/sec, 400 secs
lola: 24481299 markings, 30898327 edges, 33286 markings/sec, 405 secs
lola: 24650572 markings, 31131447 edges, 33855 markings/sec, 410 secs
lola: 25009724 markings, 31607051 edges, 71830 markings/sec, 415 secs
lola: 25290852 markings, 31990039 edges, 56226 markings/sec, 420 secs
lola: 25476083 markings, 32246572 edges, 37046 markings/sec, 425 secs
lola: 25643164 markings, 32477704 edges, 33416 markings/sec, 430 secs
lola: 25853268 markings, 32795772 edges, 42021 markings/sec, 435 secs
lola: 26102356 markings, 33140162 edges, 49818 markings/sec, 440 secs
lola: 26268634 markings, 33379912 edges, 33256 markings/sec, 445 secs
lola: 26440153 markings, 33609797 edges, 34304 markings/sec, 450 secs
lola: 26829803 markings, 34123663 edges, 77930 markings/sec, 455 secs
lola: 27021220 markings, 34385221 edges, 38283 markings/sec, 460 secs
lola: 27188660 markings, 34616857 edges, 33488 markings/sec, 465 secs
lola: 27459764 markings, 34967081 edges, 54221 markings/sec, 470 secs
lola: 27909348 markings, 35495279 edges, 89917 markings/sec, 475 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2568748 KB
lola: time consumption: 1157 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 482 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p12)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-01b-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: 214661 markings, 273972 edges, 42932 markings/sec, 30 secs
lola: 613222 markings, 742038 edges, 79712 markings/sec, 35 secs
lola: 1011293 markings, 1208932 edges, 79614 markings/sec, 40 secs
lola: 1405233 markings, 1671612 edges, 78788 markings/sec, 45 secs
lola: 1801607 markings, 2136582 edges, 79275 markings/sec, 50 secs
lola: 2191657 markings, 2594688 edges, 78010 markings/sec, 55 secs
lola: 2454652 markings, 2909530 edges, 52599 markings/sec, 60 secs
lola: 2624821 markings, 3154054 edges, 34034 markings/sec, 65 secs
lola: 2794266 markings, 3397638 edges, 33889 markings/sec, 70 secs
lola: 2965517 markings, 3632296 edges, 34250 markings/sec, 75 secs
lola: 3129767 markings, 3879983 edges, 32850 markings/sec, 80 secs
lola: 3305895 markings, 4115185 edges, 35226 markings/sec, 85 secs
lola: 3490081 markings, 4331600 edges, 36837 markings/sec, 90 secs
lola: 3681994 markings, 4622895 edges, 38383 markings/sec, 95 secs
lola: 4071487 markings, 5083452 edges, 77899 markings/sec, 100 secs
lola: 4458550 markings, 5539067 edges, 77413 markings/sec, 105 secs
lola: 4852935 markings, 6002178 edges, 78877 markings/sec, 110 secs
lola: 5238617 markings, 6462977 edges, 77136 markings/sec, 115 secs
lola: 5611554 markings, 6923342 edges, 74587 markings/sec, 120 secs
lola: 5780607 markings, 7160408 edges, 33811 markings/sec, 125 secs
lola: 5951218 markings, 7393391 edges, 34122 markings/sec, 130 secs
lola: 6253927 markings, 7801127 edges, 60542 markings/sec, 135 secs
lola: 6512428 markings, 8130742 edges, 51700 markings/sec, 140 secs
lola: 6679180 markings, 8370608 edges, 33350 markings/sec, 145 secs
lola: 6888494 markings, 8663901 edges, 41863 markings/sec, 150 secs
lola: 7252478 markings, 9113569 edges, 72797 markings/sec, 155 secs
lola: 7418760 markings, 9346276 edges, 33256 markings/sec, 160 secs
lola: 7587148 markings, 9575342 edges, 33678 markings/sec, 165 secs
lola: 7776875 markings, 9839180 edges, 37945 markings/sec, 170 secs
lola: 7947999 markings, 10071123 edges, 34225 markings/sec, 175 secs
lola: 8113082 markings, 10308279 edges, 33017 markings/sec, 180 secs
lola: 8277882 markings, 10545204 edges, 32960 markings/sec, 185 secs
lola: 8452444 markings, 10769614 edges, 34912 markings/sec, 190 secs
lola: 8629184 markings, 10994293 edges, 35348 markings/sec, 195 secs
lola: 8971289 markings, 11434152 edges, 68421 markings/sec, 200 secs
lola: 9350907 markings, 11879793 edges, 75924 markings/sec, 205 secs
lola: 9739350 markings, 12335976 edges, 77689 markings/sec, 210 secs
lola: 10124443 markings, 12787931 edges, 77019 markings/sec, 215 secs
lola: 10500092 markings, 13252692 edges, 75130 markings/sec, 220 secs
lola: 10693707 markings, 13513131 edges, 38723 markings/sec, 225 secs
lola: 10861239 markings, 13749159 edges, 33506 markings/sec, 230 secs
lola: 11122566 markings, 14103147 edges, 52265 markings/sec, 235 secs
lola: 11428749 markings, 14480103 edges, 61237 markings/sec, 240 secs
lola: 11759375 markings, 14879150 edges, 66125 markings/sec, 245 secs
lola: 12137503 markings, 15322987 edges, 75626 markings/sec, 250 secs
lola: 12524877 markings, 15777740 edges, 77475 markings/sec, 255 secs
lola: 12907643 markings, 16226903 edges, 76553 markings/sec, 260 secs
lola: 13267262 markings, 16691132 edges, 71924 markings/sec, 265 secs
lola: 13587795 markings, 17074857 edges, 64107 markings/sec, 270 secs
lola: 13960950 markings, 17513033 edges, 74631 markings/sec, 275 secs
lola: 14345111 markings, 17963744 edges, 76832 markings/sec, 280 secs
lola: 14726503 markings, 18411402 edges, 76278 markings/sec, 285 secs
lola: 14930375 markings, 18680330 edges, 40774 markings/sec, 290 secs
lola: 15095811 markings, 18915063 edges, 33087 markings/sec, 295 secs
lola: 15300368 markings, 19191618 edges, 40911 markings/sec, 300 secs
lola: 15682737 markings, 19640559 edges, 76474 markings/sec, 305 secs
lola: 16021262 markings, 20040854 edges, 67705 markings/sec, 310 secs
lola: 16382534 markings, 20469055 edges, 72254 markings/sec, 315 secs
lola: 16759050 markings, 20910898 edges, 75303 markings/sec, 320 secs
lola: 16934557 markings, 21150969 edges, 35101 markings/sec, 325 secs
lola: 17101386 markings, 21375648 edges, 33366 markings/sec, 330 secs
lola: 17276819 markings, 21637486 edges, 35087 markings/sec, 335 secs
lola: 17534090 markings, 21989540 edges, 51454 markings/sec, 340 secs
lola: 17911061 markings, 22443578 edges, 75394 markings/sec, 345 secs
lola: 18124497 markings, 22763364 edges, 42687 markings/sec, 350 secs
lola: 18458293 markings, 23190492 edges, 66759 markings/sec, 355 secs
lola: 18810760 markings, 23611923 edges, 70493 markings/sec, 360 secs
lola: 19039089 markings, 23933085 edges, 45666 markings/sec, 365 secs
lola: 19360364 markings, 24359113 edges, 64255 markings/sec, 370 secs
lola: 19611166 markings, 24700704 edges, 50160 markings/sec, 375 secs
lola: 19766545 markings, 24953813 edges, 31076 markings/sec, 380 secs
lola: 20066671 markings, 25349241 edges, 60025 markings/sec, 385 secs
lola: 20282184 markings, 25657015 edges, 43103 markings/sec, 390 secs
lola: 20670030 markings, 26112665 edges, 77569 markings/sec, 395 secs
lola: 21052159 markings, 26568449 edges, 76426 markings/sec, 400 secs
lola: 21416508 markings, 27013312 edges, 72870 markings/sec, 405 secs
lola: 21653984 markings, 27315367 edges, 47495 markings/sec, 410 secs
lola: 21814813 markings, 27550926 edges, 32166 markings/sec, 415 secs
lola: 22006746 markings, 27815845 edges, 38387 markings/sec, 420 secs
lola: 22170156 markings, 28049046 edges, 32682 markings/sec, 425 secs
lola: 22336112 markings, 28272585 edges, 33191 markings/sec, 430 secs
lola: 22596766 markings, 28610554 edges, 52131 markings/sec, 435 secs
lola: 22973297 markings, 29053067 edges, 75306 markings/sec, 440 secs
lola: 23327285 markings, 29483003 edges, 70798 markings/sec, 445 secs
lola: 23667577 markings, 29918892 edges, 68058 markings/sec, 450 secs
lola: 23850826 markings, 30204062 edges, 36650 markings/sec, 455 secs
lola: 24011493 markings, 30434836 edges, 32133 markings/sec, 460 secs
lola: 24176830 markings, 30656271 edges, 33067 markings/sec, 465 secs
lola: 24362114 markings, 30921116 edges, 37057 markings/sec, 470 secs
lola: 24537592 markings, 31167567 edges, 35096 markings/sec, 475 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2296020 KB
lola: time consumption: 1639 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 482 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p472)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p472)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-01b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges

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

FORMULA ASLink-PT-01b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 965 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p497)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p497)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-01b-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: 214177 markings, 317738 edges, 42835 markings/sec, 30 secs
lola: 421276 markings, 654297 edges, 41420 markings/sec, 35 secs
lola: 630503 markings, 985466 edges, 41845 markings/sec, 40 secs
lola: 838104 markings, 1320235 edges, 41520 markings/sec, 45 secs
lola: 1035118 markings, 1654989 edges, 39403 markings/sec, 50 secs
lola: 1245654 markings, 1974108 edges, 42107 markings/sec, 55 secs
lola: 1450269 markings, 2315561 edges, 40923 markings/sec, 60 secs
lola: 1658154 markings, 2646583 edges, 41577 markings/sec, 65 secs
lola: 1855062 markings, 2972107 edges, 39382 markings/sec, 70 secs
lola: 2067896 markings, 3286361 edges, 42567 markings/sec, 75 secs
lola: 2272817 markings, 3622410 edges, 40984 markings/sec, 80 secs
lola: 2478710 markings, 3955379 edges, 41179 markings/sec, 85 secs
lola: 2661878 markings, 4288164 edges, 36634 markings/sec, 90 secs
lola: 2873193 markings, 4606303 edges, 42263 markings/sec, 95 secs
lola: 3074299 markings, 4950749 edges, 40221 markings/sec, 100 secs
lola: 3275178 markings, 5236674 edges, 40176 markings/sec, 105 secs
lola: 3438543 markings, 5541129 edges, 32673 markings/sec, 110 secs
lola: 3600671 markings, 5841718 edges, 32426 markings/sec, 115 secs
lola: 3757434 markings, 6150311 edges, 31353 markings/sec, 120 secs
lola: 3927850 markings, 6439327 edges, 34083 markings/sec, 125 secs
lola: 4100557 markings, 6723278 edges, 34541 markings/sec, 130 secs
lola: 4267062 markings, 7019119 edges, 33301 markings/sec, 135 secs
lola: 4444485 markings, 7299564 edges, 35485 markings/sec, 140 secs
lola: 4627314 markings, 7573009 edges, 36566 markings/sec, 145 secs
lola: 4806874 markings, 7848119 edges, 35912 markings/sec, 150 secs
lola: 4982673 markings, 8132307 edges, 35160 markings/sec, 155 secs
lola: 5161623 markings, 8411993 edges, 35790 markings/sec, 160 secs
lola: 5347484 markings, 8681275 edges, 37172 markings/sec, 165 secs
lola: 5534621 markings, 8948591 edges, 37427 markings/sec, 170 secs
lola: 5718905 markings, 9216882 edges, 36857 markings/sec, 175 secs
lola: 5904522 markings, 9485746 edges, 37123 markings/sec, 180 secs
lola: 6082663 markings, 9767749 edges, 35628 markings/sec, 185 secs
lola: 6266909 markings, 10039079 edges, 36849 markings/sec, 190 secs
lola: 6455151 markings, 10305075 edges, 37648 markings/sec, 195 secs
lola: 6644966 markings, 10568346 edges, 37963 markings/sec, 200 secs
lola: 6831068 markings, 10833868 edges, 37220 markings/sec, 205 secs
lola: 7021386 markings, 11095969 edges, 38064 markings/sec, 210 secs
lola: 7202418 markings, 11368848 edges, 36206 markings/sec, 215 secs
lola: 7386207 markings, 11642807 edges, 36758 markings/sec, 220 secs
lola: 7573689 markings, 11909961 edges, 37496 markings/sec, 225 secs
lola: 7762395 markings, 12172980 edges, 37741 markings/sec, 230 secs
lola: 7951862 markings, 12435924 edges, 37893 markings/sec, 235 secs
lola: 8142927 markings, 12695854 edges, 38213 markings/sec, 240 secs
lola: 8331967 markings, 12958300 edges, 37808 markings/sec, 245 secs
lola: 8523151 markings, 13216948 edges, 38237 markings/sec, 250 secs
lola: 8705519 markings, 13486609 edges, 36474 markings/sec, 255 secs
lola: 8890887 markings, 13757892 edges, 37074 markings/sec, 260 secs
lola: 9079604 markings, 14024578 edges, 37743 markings/sec, 265 secs
lola: 9268660 markings, 14283748 edges, 37811 markings/sec, 270 secs
lola: 9461201 markings, 14543857 edges, 38508 markings/sec, 275 secs
lola: 9653198 markings, 14803074 edges, 38399 markings/sec, 280 secs
lola: 9840305 markings, 15062760 edges, 37421 markings/sec, 285 secs
lola: 10030642 markings, 15322484 edges, 38067 markings/sec, 290 secs
lola: 10222746 markings, 15578204 edges, 38421 markings/sec, 295 secs
lola: 10409688 markings, 15838832 edges, 37388 markings/sec, 300 secs
lola: 10592353 markings, 16112695 edges, 36533 markings/sec, 305 secs
lola: 10782356 markings, 16375893 edges, 38001 markings/sec, 310 secs
lola: 10962415 markings, 16647365 edges, 36012 markings/sec, 315 secs
lola: 11167800 markings, 16962186 edges, 41077 markings/sec, 320 secs
lola: 11339495 markings, 17281708 edges, 34339 markings/sec, 325 secs
lola: 11528678 markings, 17570155 edges, 37837 markings/sec, 330 secs
lola: 11718460 markings, 17906789 edges, 37956 markings/sec, 335 secs
lola: 11922814 markings, 18231510 edges, 40871 markings/sec, 340 secs
lola: 12125691 markings, 18556190 edges, 40575 markings/sec, 345 secs
lola: 12323328 markings, 18889637 edges, 39527 markings/sec, 350 secs
lola: 12524035 markings, 19172596 edges, 40141 markings/sec, 355 secs
lola: 12726649 markings, 19420148 edges, 40523 markings/sec, 360 secs
lola: 12930977 markings, 19665987 edges, 40866 markings/sec, 365 secs
lola: 13136461 markings, 19908799 edges, 41097 markings/sec, 370 secs
lola: 13339202 markings, 20155223 edges, 40548 markings/sec, 375 secs
lola: 13515938 markings, 20437269 edges, 35347 markings/sec, 380 secs
lola: 13701280 markings, 20707193 edges, 37068 markings/sec, 385 secs
lola: 13883414 markings, 20984935 edges, 36427 markings/sec, 390 secs
lola: 14063351 markings, 21263275 edges, 35987 markings/sec, 395 secs
lola: 14249394 markings, 21530531 edges, 37209 markings/sec, 400 secs
lola: 14431342 markings, 21802670 edges, 36390 markings/sec, 405 secs
lola: 14613430 markings, 22076647 edges, 36418 markings/sec, 410 secs
lola: 14792510 markings, 22346809 edges, 35816 markings/sec, 415 secs
lola: 14966376 markings, 22614687 edges, 34773 markings/sec, 420 secs
lola: 15149229 markings, 22873879 edges, 36571 markings/sec, 425 secs
lola: 15330872 markings, 23130638 edges, 36329 markings/sec, 430 secs
lola: 15500152 markings, 23410734 edges, 33856 markings/sec, 435 secs
lola: 15669620 markings, 23696384 edges, 33894 markings/sec, 440 secs
lola: 15846927 markings, 23968465 edges, 35461 markings/sec, 445 secs
lola: 16027286 markings, 24236572 edges, 36072 markings/sec, 450 secs
lola: 16209764 markings, 24504292 edges, 36496 markings/sec, 455 secs
lola: 16391480 markings, 24773500 edges, 36343 markings/sec, 460 secs
lola: 16576966 markings, 25043509 edges, 37097 markings/sec, 465 secs
lola: 16763870 markings, 25327539 edges, 37381 markings/sec, 470 secs
lola: 16966444 markings, 25652041 edges, 40515 markings/sec, 475 secs
lola: 17156904 markings, 25991266 edges, 38092 markings/sec, 480 secs
lola: 17359709 markings, 26328377 edges, 40561 markings/sec, 485 secs
lola: 17562942 markings, 26665563 edges, 40647 markings/sec, 490 secs
lola: 17748159 markings, 26999914 edges, 37043 markings/sec, 495 secs
lola: 17958624 markings, 27327269 edges, 42093 markings/sec, 500 secs
lola: 18160565 markings, 27636648 edges, 40388 markings/sec, 505 secs
lola: 18354616 markings, 27931903 edges, 38810 markings/sec, 510 secs
lola: 18560307 markings, 28261449 edges, 41138 markings/sec, 515 secs
lola: 18765087 markings, 28592116 edges, 40956 markings/sec, 520 secs
lola: 18976199 markings, 28909986 edges, 42222 markings/sec, 525 secs
lola: 19138652 markings, 29250442 edges, 32491 markings/sec, 530 secs
lola: 19338184 markings, 29585140 edges, 39906 markings/sec, 535 secs
lola: 19504620 markings, 29927922 edges, 33287 markings/sec, 540 secs
lola: 19697039 markings, 30262022 edges, 38484 markings/sec, 545 secs
lola: 19865272 markings, 30597677 edges, 33647 markings/sec, 550 secs
lola: 20065397 markings, 30933882 edges, 40025 markings/sec, 555 secs
lola: 20269200 markings, 31261781 edges, 40761 markings/sec, 560 secs
lola: 20466642 markings, 31596443 edges, 39488 markings/sec, 565 secs
lola: 20675010 markings, 31924918 edges, 41674 markings/sec, 570 secs
lola: 20871951 markings, 32250931 edges, 39388 markings/sec, 575 secs
lola: 21078264 markings, 32569906 edges, 41263 markings/sec, 580 secs
lola: 21286627 markings, 32863680 edges, 41673 markings/sec, 585 secs
lola: 21492227 markings, 33106303 edges, 41120 markings/sec, 590 secs
lola: 21683432 markings, 33370557 edges, 38241 markings/sec, 595 secs
lola: 21866992 markings, 33647513 edges, 36712 markings/sec, 600 secs
lola: 22052337 markings, 33916988 edges, 37069 markings/sec, 605 secs
lola: 22254487 markings, 34244074 edges, 40430 markings/sec, 610 secs
lola: 22459878 markings, 34573035 edges, 41078 markings/sec, 615 secs
lola: 22662685 markings, 34894974 edges, 40561 markings/sec, 620 secs
lola: 22869709 markings, 35215904 edges, 41405 markings/sec, 625 secs
lola: 23069628 markings, 35542156 edges, 39984 markings/sec, 630 secs
lola: 23268473 markings, 35886710 edges, 39769 markings/sec, 635 secs
lola: 23474571 markings, 36215958 edges, 41220 markings/sec, 640 secs
lola: 23659606 markings, 36549664 edges, 37007 markings/sec, 645 secs
lola: 23868898 markings, 36871880 edges, 41858 markings/sec, 650 secs
lola: 24073307 markings, 37197594 edges, 40882 markings/sec, 655 secs
lola: 24274777 markings, 37506435 edges, 40294 markings/sec, 660 secs
lola: 24469579 markings, 37775881 edges, 38960 markings/sec, 665 secs
lola: 24620663 markings, 38084412 edges, 30217 markings/sec, 670 secs
lola: 24780868 markings, 38381342 edges, 32041 markings/sec, 675 secs
lola: 24937353 markings, 38689156 edges, 31297 markings/sec, 680 secs
lola: 25111099 markings, 38970576 edges, 34749 markings/sec, 685 secs
lola: 25283124 markings, 39252370 edges, 34405 markings/sec, 690 secs
lola: 25446548 markings, 39550066 edges, 32685 markings/sec, 695 secs
lola: 25626685 markings, 39825295 edges, 36027 markings/sec, 700 secs
lola: 25807103 markings, 40098442 edges, 36084 markings/sec, 705 secs
lola: 25989648 markings, 40370854 edges, 36509 markings/sec, 710 secs
lola: 26161570 markings, 40659170 edges, 34384 markings/sec, 715 secs
lola: 26342250 markings, 40933747 edges, 36136 markings/sec, 720 secs
lola: 26526576 markings, 41202915 edges, 36865 markings/sec, 725 secs
lola: 26712674 markings, 41469277 edges, 37220 markings/sec, 730 secs
lola: 26896807 markings, 41738075 edges, 36827 markings/sec, 735 secs
lola: 27080964 markings, 42009365 edges, 36831 markings/sec, 740 secs
lola: 27260568 markings, 42288912 edges, 35921 markings/sec, 745 secs
lola: 27444687 markings, 42557935 edges, 36824 markings/sec, 750 secs
lola: 27632776 markings, 42822798 edges, 37618 markings/sec, 755 secs
lola: 27821449 markings, 43085378 edges, 37735 markings/sec, 760 secs
lola: 28006887 markings, 43349501 edges, 37088 markings/sec, 765 secs
lola: 28197074 markings, 43611869 edges, 38037 markings/sec, 770 secs
lola: 28373936 markings, 43888650 edges, 35372 markings/sec, 775 secs
lola: 28561391 markings, 44156989 edges, 37491 markings/sec, 780 secs
lola: 28747926 markings, 44423459 edges, 37307 markings/sec, 785 secs
lola: 28936016 markings, 44685477 edges, 37618 markings/sec, 790 secs
lola: 29125095 markings, 44948798 edges, 37816 markings/sec, 795 secs
lola: 29315466 markings, 45207351 edges, 38074 markings/sec, 800 secs
lola: 29504389 markings, 45469656 edges, 37785 markings/sec, 805 secs
lola: 29695487 markings, 45728282 edges, 38220 markings/sec, 810 secs
lola: 29877548 markings, 45997670 edges, 36412 markings/sec, 815 secs
lola: 30062482 markings, 46268860 edges, 36987 markings/sec, 820 secs
lola: 30250838 markings, 46536571 edges, 37671 markings/sec, 825 secs
lola: 30440600 markings, 46793762 edges, 37952 markings/sec, 830 secs
lola: 30631678 markings, 47055256 edges, 38216 markings/sec, 835 secs
lola: 30823644 markings, 47313566 edges, 38393 markings/sec, 840 secs
lola: 31011032 markings, 47571600 edges, 37478 markings/sec, 845 secs
lola: 31200845 markings, 47831481 edges, 37963 markings/sec, 850 secs
lola: 31391136 markings, 48087470 edges, 38058 markings/sec, 855 secs
lola: 31580285 markings, 48348168 edges, 37830 markings/sec, 860 secs
lola: 31761556 markings, 48622029 edges, 36254 markings/sec, 865 secs
lola: 31953377 markings, 48884839 edges, 38364 markings/sec, 870 secs
lola: 32133543 markings, 49159967 edges, 36033 markings/sec, 875 secs
lola: 32337978 markings, 49466104 edges, 40887 markings/sec, 880 secs
lola: 32536640 markings, 49815604 edges, 39732 markings/sec, 885 secs
lola: 32738658 markings, 50110948 edges, 40404 markings/sec, 890 secs
lola: 32911164 markings, 50388394 edges, 34501 markings/sec, 895 secs
lola: 33061969 markings, 50691479 edges, 30161 markings/sec, 900 secs
lola: 33218184 markings, 50987815 edges, 31243 markings/sec, 905 secs
lola: 33377843 markings, 51281564 edges, 31932 markings/sec, 910 secs
lola: 33547502 markings, 51558591 edges, 33932 markings/sec, 915 secs
lola: 33713896 markings, 51842451 edges, 33279 markings/sec, 920 secs
lola: 33881548 markings, 52128312 edges, 33530 markings/sec, 925 secs
lola: 34058943 markings, 52398555 edges, 35479 markings/sec, 930 secs
lola: 34236871 markings, 52666984 edges, 35586 markings/sec, 935 secs
lola: 34416527 markings, 52936674 edges, 35931 markings/sec, 940 secs
lola: 34586771 markings, 53220153 edges, 34049 markings/sec, 945 secs
lola: 34766663 markings, 53488026 edges, 35978 markings/sec, 950 secs
lola: 34948561 markings, 53753972 edges, 36380 markings/sec, 955 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown 1 1 1 unknown unknown 1 1 unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 unknown unknown 1 1 1 unknown unknown 1 1 unknown unknown
lola: memory consumption: 3236188 KB
lola: time consumption: 2605 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 965 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p683)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p683)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-01b-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: 195306 markings, 221910 edges

FORMULA ASLink-PT-01b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p601)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p601)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-01b-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: 247569 markings, 305528 edges, 49514 markings/sec, 30 secs
lola: 471311 markings, 617290 edges, 44748 markings/sec, 35 secs
lola: 724485 markings, 929107 edges, 50635 markings/sec, 40 secs
lola: 967916 markings, 1225117 edges, 48686 markings/sec, 45 secs
lola: 1210246 markings, 1522758 edges, 48466 markings/sec, 50 secs
lola: 1425928 markings, 1829654 edges, 43136 markings/sec, 55 secs
lola: 1646677 markings, 2140810 edges, 44150 markings/sec, 60 secs
lola: 1890477 markings, 2442833 edges, 48760 markings/sec, 65 secs
lola: 2146192 markings, 2767198 edges, 51143 markings/sec, 70 secs
lola: 2358255 markings, 3133888 edges, 42413 markings/sec, 75 secs
lola: 2540169 markings, 3481202 edges, 36383 markings/sec, 80 secs
lola: 2747121 markings, 3828876 edges, 41390 markings/sec, 85 secs
lola: 2947269 markings, 4172078 edges, 40030 markings/sec, 90 secs
lola: 3172750 markings, 4519282 edges, 45096 markings/sec, 95 secs
lola: 3393128 markings, 4856506 edges, 44076 markings/sec, 100 secs
lola: 3618778 markings, 5208492 edges, 45130 markings/sec, 105 secs
lola: 3851146 markings, 5545731 edges, 46474 markings/sec, 110 secs
lola: 4068612 markings, 5858181 edges, 43493 markings/sec, 115 secs
lola: 4293654 markings, 6201548 edges, 45008 markings/sec, 120 secs
lola: 4535165 markings, 6549144 edges, 48302 markings/sec, 125 secs
lola: 4777898 markings, 6885506 edges, 48547 markings/sec, 130 secs
lola: 5012139 markings, 7221678 edges, 46848 markings/sec, 135 secs
lola: 5244714 markings, 7565269 edges, 46515 markings/sec, 140 secs
lola: 5482104 markings, 7898645 edges, 47478 markings/sec, 145 secs
lola: 5725096 markings, 8237757 edges, 48598 markings/sec, 150 secs
lola: 5970088 markings, 8572743 edges, 48998 markings/sec, 155 secs
lola: 6208936 markings, 8914433 edges, 47770 markings/sec, 160 secs
lola: 6447464 markings, 9257967 edges, 47706 markings/sec, 165 secs
lola: 6699949 markings, 9602660 edges, 50497 markings/sec, 170 secs
lola: 6948502 markings, 9941163 edges, 49711 markings/sec, 175 secs
lola: 7195492 markings, 10275398 edges, 49398 markings/sec, 180 secs
lola: 7436354 markings, 10611780 edges, 48172 markings/sec, 185 secs
lola: 7679969 markings, 10954317 edges, 48723 markings/sec, 190 secs
lola: 7920896 markings, 11277319 edges, 48185 markings/sec, 195 secs
lola: 8182415 markings, 11597323 edges, 52304 markings/sec, 200 secs
lola: 8442504 markings, 11939248 edges, 52018 markings/sec, 205 secs
lola: 8682381 markings, 12295253 edges, 47975 markings/sec, 210 secs
lola: 8925504 markings, 12627804 edges, 48625 markings/sec, 215 secs
lola: 9178146 markings, 12937125 edges, 50528 markings/sec, 220 secs
lola: 9418454 markings, 13243642 edges, 48062 markings/sec, 225 secs
lola: 9656864 markings, 13550722 edges, 47682 markings/sec, 230 secs
lola: 9902297 markings, 13855425 edges, 49087 markings/sec, 235 secs
lola: 10151825 markings, 14186978 edges, 49906 markings/sec, 240 secs
lola: 10394143 markings, 14549949 edges, 48464 markings/sec, 245 secs
lola: 10623708 markings, 14875550 edges, 45913 markings/sec, 250 secs
lola: 10871552 markings, 15180916 edges, 49569 markings/sec, 255 secs
lola: 11116906 markings, 15486003 edges, 49071 markings/sec, 260 secs
lola: 11365388 markings, 15789455 edges, 49696 markings/sec, 265 secs
lola: 11605778 markings, 16091598 edges, 48078 markings/sec, 270 secs
lola: 11851560 markings, 16401429 edges, 49156 markings/sec, 275 secs
lola: 12088692 markings, 16710388 edges, 47426 markings/sec, 280 secs
lola: 12354194 markings, 17035466 edges, 53100 markings/sec, 285 secs
lola: 12627473 markings, 17358715 edges, 54656 markings/sec, 290 secs
lola: 12895525 markings, 17686930 edges, 53610 markings/sec, 295 secs
lola: 13122299 markings, 18035867 edges, 45355 markings/sec, 300 secs
lola: 13352827 markings, 18387472 edges, 46106 markings/sec, 305 secs
lola: 13583764 markings, 18737607 edges, 46187 markings/sec, 310 secs
lola: 13817784 markings, 19085324 edges, 46804 markings/sec, 315 secs
lola: 14053165 markings, 19431895 edges, 47076 markings/sec, 320 secs
lola: 14277443 markings, 19771800 edges, 44856 markings/sec, 325 secs
lola: 14498459 markings, 20104709 edges, 44203 markings/sec, 330 secs
lola: 14739032 markings, 20437141 edges, 48115 markings/sec, 335 secs
lola: 14988574 markings, 20766280 edges, 49908 markings/sec, 340 secs
lola: 15238324 markings, 21096178 edges, 49950 markings/sec, 345 secs
lola: 15455794 markings, 21442986 edges, 43494 markings/sec, 350 secs
lola: 15667405 markings, 21796696 edges, 42322 markings/sec, 355 secs
lola: 15901759 markings, 22136581 edges, 46871 markings/sec, 360 secs
lola: 16130950 markings, 22482452 edges, 45838 markings/sec, 365 secs
lola: 16368805 markings, 22830866 edges, 47571 markings/sec, 370 secs
lola: 16606847 markings, 23150324 edges, 47608 markings/sec, 375 secs
lola: 16856549 markings, 23513205 edges, 49940 markings/sec, 380 secs
lola: 17032801 markings, 23861638 edges, 35250 markings/sec, 385 secs
lola: 17227892 markings, 24212165 edges, 39018 markings/sec, 390 secs
lola: 17423028 markings, 24553228 edges, 39027 markings/sec, 395 secs
lola: 17644964 markings, 24899132 edges, 44387 markings/sec, 400 secs
lola: 17857552 markings, 25237987 edges, 42518 markings/sec, 405 secs
lola: 18083332 markings, 25584967 edges, 45156 markings/sec, 410 secs
lola: 18313204 markings, 25920764 edges, 45974 markings/sec, 415 secs
lola: 18534288 markings, 26259340 edges, 44217 markings/sec, 420 secs
lola: 18770461 markings, 26605878 edges, 47235 markings/sec, 425 secs
lola: 19006757 markings, 26940422 edges, 47259 markings/sec, 430 secs
lola: 19237743 markings, 27273171 edges, 46197 markings/sec, 435 secs
lola: 19467429 markings, 27612216 edges, 45937 markings/sec, 440 secs
lola: 19709212 markings, 27956687 edges, 48357 markings/sec, 445 secs
lola: 19950543 markings, 28291132 edges, 48266 markings/sec, 450 secs
lola: 20183137 markings, 28622069 edges, 46519 markings/sec, 455 secs
lola: 20416289 markings, 28960031 edges, 46630 markings/sec, 460 secs
lola: 20661553 markings, 29305066 edges, 49053 markings/sec, 465 secs
lola: 20905602 markings, 29639701 edges, 48810 markings/sec, 470 secs
lola: 21146675 markings, 29974057 edges, 48215 markings/sec, 475 secs
lola: 21386781 markings, 30305104 edges, 48021 markings/sec, 480 secs
lola: 21624991 markings, 30644390 edges, 47642 markings/sec, 485 secs
lola: 21855127 markings, 30985935 edges, 46027 markings/sec, 490 secs
lola: 22105192 markings, 31310905 edges, 50013 markings/sec, 495 secs
lola: 22361667 markings, 31624022 edges, 51295 markings/sec, 500 secs
lola: 22595614 markings, 31999013 edges, 46789 markings/sec, 505 secs
lola: 22794784 markings, 32351079 edges, 39834 markings/sec, 510 secs
lola: 22998683 markings, 32688045 edges, 40780 markings/sec, 515 secs
lola: 23225010 markings, 33037623 edges, 45265 markings/sec, 520 secs
lola: 23453338 markings, 33373208 edges, 45666 markings/sec, 525 secs
lola: 23691698 markings, 33720754 edges, 47672 markings/sec, 530 secs
lola: 23926368 markings, 34063390 edges, 46934 markings/sec, 535 secs
lola: 24170402 markings, 34400341 edges, 48807 markings/sec, 540 secs
lola: 24402448 markings, 34740029 edges, 46409 markings/sec, 545 secs
lola: 24650733 markings, 35079823 edges, 49657 markings/sec, 550 secs
lola: 24894435 markings, 35409190 edges, 48740 markings/sec, 555 secs
lola: 25131696 markings, 35735289 edges, 47452 markings/sec, 560 secs
lola: 25396901 markings, 36055663 edges, 53041 markings/sec, 565 secs
lola: 25666220 markings, 36374184 edges, 53864 markings/sec, 570 secs
lola: 25927308 markings, 36699472 edges, 52218 markings/sec, 575 secs
lola: 26151807 markings, 37042910 edges, 44900 markings/sec, 580 secs
lola: 26378341 markings, 37389403 edges, 45307 markings/sec, 585 secs
lola: 26606160 markings, 37734454 edges, 45564 markings/sec, 590 secs
lola: 26836130 markings, 38072333 edges, 45994 markings/sec, 595 secs
lola: 27061377 markings, 38412309 edges, 45049 markings/sec, 600 secs
lola: 27287710 markings, 38751377 edges, 45267 markings/sec, 605 secs
lola: 27507783 markings, 39081583 edges, 44015 markings/sec, 610 secs
lola: 27732060 markings, 39411914 edges, 44855 markings/sec, 615 secs
lola: 27972139 markings, 39738394 edges, 48016 markings/sec, 620 secs
lola: 28215744 markings, 40065171 edges, 48721 markings/sec, 625 secs
lola: 28462780 markings, 40391488 edges, 49407 markings/sec, 630 secs
lola: 28679359 markings, 40726907 edges, 43316 markings/sec, 635 secs
lola: 28885630 markings, 41079741 edges, 41254 markings/sec, 640 secs
lola: 29108337 markings, 41417192 edges, 44541 markings/sec, 645 secs
lola: 29334735 markings, 41755501 edges, 45280 markings/sec, 650 secs
lola: 29565658 markings, 42096273 edges, 46185 markings/sec, 655 secs
lola: 29799890 markings, 42438935 edges, 46846 markings/sec, 660 secs
lola: 30042654 markings, 42773028 edges, 48553 markings/sec, 665 secs
lola: 30257015 markings, 43133116 edges, 42872 markings/sec, 670 secs
lola: 30431908 markings, 43474155 edges, 34979 markings/sec, 675 secs
lola: 30633102 markings, 43816441 edges, 40239 markings/sec, 680 secs
lola: 30836126 markings, 44161990 edges, 40605 markings/sec, 685 secs
lola: 31053172 markings, 44497466 edges, 43409 markings/sec, 690 secs
lola: 31264088 markings, 44834526 edges, 42183 markings/sec, 695 secs
lola: 31494073 markings, 45176711 edges, 45997 markings/sec, 700 secs
lola: 31719126 markings, 45508355 edges, 45011 markings/sec, 705 secs
lola: 31939501 markings, 45846247 edges, 44075 markings/sec, 710 secs
lola: 32165776 markings, 46173617 edges, 45255 markings/sec, 715 secs
lola: 32400401 markings, 46507561 edges, 46925 markings/sec, 720 secs
lola: 32623654 markings, 46841055 edges, 44651 markings/sec, 725 secs
lola: 32858301 markings, 47179930 edges, 46929 markings/sec, 730 secs
lola: 33102796 markings, 47518049 edges, 48899 markings/sec, 735 secs
lola: 33339600 markings, 47850718 edges, 47361 markings/sec, 740 secs
lola: 33571444 markings, 48180836 edges, 46369 markings/sec, 745 secs
lola: 33806639 markings, 48519077 edges, 47039 markings/sec, 750 secs
lola: 34051914 markings, 48861565 edges, 49055 markings/sec, 755 secs
lola: 34295416 markings, 49194923 edges, 48700 markings/sec, 760 secs
lola: 34530942 markings, 49524975 edges, 47105 markings/sec, 765 secs
lola: 34743044 markings, 49830972 edges, 42420 markings/sec, 770 secs
lola: 34988321 markings, 50168117 edges, 49055 markings/sec, 775 secs
lola: 35235028 markings, 50480259 edges, 49341 markings/sec, 780 secs
lola: 35490776 markings, 50811123 edges, 51150 markings/sec, 785 secs
lola: 35704013 markings, 51176270 edges, 42647 markings/sec, 790 secs
lola: 35903142 markings, 51527614 edges, 39826 markings/sec, 795 secs
lola: 36124091 markings, 51876806 edges, 44190 markings/sec, 800 secs
lola: 36348488 markings, 52226712 edges, 44879 markings/sec, 805 secs
lola: 36576739 markings, 52569442 edges, 45650 markings/sec, 810 secs
lola: 36819862 markings, 52907947 edges, 48625 markings/sec, 815 secs
lola: 37051966 markings, 53254497 edges, 46421 markings/sec, 820 secs
lola: 37296206 markings, 53586473 edges, 48848 markings/sec, 825 secs
lola: 37527354 markings, 53927380 edges, 46230 markings/sec, 830 secs
lola: 37774194 markings, 54266365 edges, 49368 markings/sec, 835 secs
lola: 38017898 markings, 54595830 edges, 48741 markings/sec, 840 secs
lola: 38249688 markings, 54911725 edges, 46358 markings/sec, 845 secs
lola: 38500264 markings, 55254125 edges, 50115 markings/sec, 850 secs
lola: 38735870 markings, 55602211 edges, 47121 markings/sec, 855 secs
lola: 38968142 markings, 55955673 edges, 46454 markings/sec, 860 secs
lola: 39212958 markings, 56296477 edges, 48963 markings/sec, 865 secs
lola: 39449838 markings, 56673236 edges, 47376 markings/sec, 870 secs
lola: 39650137 markings, 57037164 edges, 40060 markings/sec, 875 secs
lola: 39875591 markings, 57391849 edges, 45091 markings/sec, 880 secs
lola: 40108842 markings, 57743856 edges, 46650 markings/sec, 885 secs
lola: 40345586 markings, 58095126 edges, 47349 markings/sec, 890 secs
lola: 40577628 markings, 58436329 edges, 46408 markings/sec, 895 secs
lola: 40831466 markings, 58779035 edges, 50768 markings/sec, 900 secs
lola: 41062547 markings, 59100116 edges, 46216 markings/sec, 905 secs
lola: 41303261 markings, 59431235 edges, 48143 markings/sec, 910 secs
lola: 41530664 markings, 59738984 edges, 45481 markings/sec, 915 secs
lola: 41754772 markings, 60048387 edges, 44822 markings/sec, 920 secs
lola: 42004515 markings, 60351856 edges, 49949 markings/sec, 925 secs
lola: 42250317 markings, 60654049 edges, 49160 markings/sec, 930 secs
lola: 42492040 markings, 60954496 edges, 48345 markings/sec, 935 secs
lola: 42737048 markings, 61259674 edges, 49002 markings/sec, 940 secs
lola: 42980079 markings, 61564911 edges, 48606 markings/sec, 945 secs
lola: 43227046 markings, 61869103 edges, 49393 markings/sec, 950 secs
lola: 43490589 markings, 62245630 edges, 52709 markings/sec, 955 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown 1 1 1 unknown unknown 1 1 unknown 1
lola:
preliminary result: 1 1 1 1 1 unknown unknown 1 1 1 unknown unknown 1 1 unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 unknown unknown 1 1 1 unknown unknown 1 1 unknown 1
lola: memory consumption: 3971724 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 unknown unknown 1 1 1 unknown unknown 1 1 unknown 1
lola: memory consumption: 3971936 KB
lola: time consumption: 3570 seconds

BK_STOP 1527759852588

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-01b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is ASLink-PT-01b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r268-smll-152749145100011"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;