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 1.1M
-rw-r--r-- 1 mcc users 3.8K May 29 16:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 29 16:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 28 11:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 28 11:14 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:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 28 07:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K May 28 07:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.8K May 27 05:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 27 05:08 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.7K May 26 06:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 26 06:34 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 921K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ASLink-PT-06b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145300101
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527856201413

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-06b 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-06b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-06b @ 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: 6339/65536 symbol table entries, 908 collisions
lola: preprocessing...
lola: Size of bit vector: 2826
lola: finding significant places
lola: 2826 places, 3513 transitions, 2549 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4976 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-06b-UpperBounds.task
lola: MAX(p2170) : MAX(p2683) : MAX(p1256) : MAX(p2241) : MAX(p838) : MAX(p1340) : MAX(p1237) : MAX(p2204) : MAX(p563) : MAX(p1458) : MAX(p134) : MAX(p1403) : MAX(p2282) : MAX(p2349) : MAX(p541) : MAX(p1302)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2170)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2170)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-06b-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: 123548 markings, 127724 edges, 24710 markings/sec, 0 secs
lola: 273062 markings, 282041 edges, 29903 markings/sec, 5 secs
lola: 421386 markings, 434609 edges, 29665 markings/sec, 10 secs
lola: 571185 markings, 588225 edges, 29960 markings/sec, 15 secs
lola: 720506 markings, 741176 edges, 29864 markings/sec, 20 secs
lola: 869171 markings, 893018 edges, 29733 markings/sec, 25 secs
lola: 1017109 markings, 1045098 edges, 29588 markings/sec, 30 secs
lola: 1165722 markings, 1197461 edges, 29723 markings/sec, 35 secs
lola: 1315573 markings, 1350688 edges, 29970 markings/sec, 40 secs
lola: 1464756 markings, 1504060 edges, 29837 markings/sec, 45 secs
lola: 1614853 markings, 1657532 edges, 30019 markings/sec, 50 secs
lola: 1762342 markings, 1809177 edges, 29498 markings/sec, 55 secs
lola: 1907202 markings, 1957407 edges, 28972 markings/sec, 60 secs
lola: 2056995 markings, 2111072 edges, 29959 markings/sec, 65 secs
lola: 2206462 markings, 2264690 edges, 29893 markings/sec, 70 secs
lola: 2355950 markings, 2418054 edges, 29898 markings/sec, 75 secs
lola: 2506836 markings, 2572460 edges, 30177 markings/sec, 80 secs
lola: 2657243 markings, 2726832 edges, 30081 markings/sec, 85 secs
lola: 2807355 markings, 2881089 edges, 30022 markings/sec, 90 secs
lola: 2957577 markings, 3035235 edges, 30044 markings/sec, 95 secs
lola: 3108501 markings, 3189854 edges, 30185 markings/sec, 100 secs
lola: 3258643 markings, 3343745 edges, 30028 markings/sec, 105 secs
lola: 3408730 markings, 3497416 edges, 30017 markings/sec, 110 secs
lola: 3558519 markings, 3651151 edges, 29958 markings/sec, 115 secs
lola: 3708744 markings, 3805144 edges, 30045 markings/sec, 120 secs
lola: 3859097 markings, 3959464 edges, 30071 markings/sec, 125 secs
lola: 4009755 markings, 4113241 edges, 30132 markings/sec, 130 secs
lola: 4159339 markings, 4266769 edges, 29917 markings/sec, 135 secs
lola: 4308892 markings, 4420409 edges, 29911 markings/sec, 140 secs
lola: 4458629 markings, 4573927 edges, 29947 markings/sec, 145 secs
lola: 4608651 markings, 4727915 edges, 30004 markings/sec, 150 secs
lola: 4760406 markings, 4882820 edges, 30351 markings/sec, 155 secs
lola: 4910942 markings, 5037694 edges, 30107 markings/sec, 160 secs
lola: 5064428 markings, 5191591 edges, 30697 markings/sec, 165 secs
lola: 5217762 markings, 5345105 edges, 30667 markings/sec, 170 secs
lola: 5370847 markings, 5498387 edges, 30617 markings/sec, 175 secs
lola: 5522885 markings, 5652117 edges, 30408 markings/sec, 180 secs
lola: 5671819 markings, 5806568 edges, 29787 markings/sec, 185 secs
lola: 5820713 markings, 5960982 edges, 29779 markings/sec, 190 secs
lola: 5967550 markings, 6113266 edges, 29367 markings/sec, 195 secs
lola: 6113856 markings, 6264989 edges, 29261 markings/sec, 200 secs
lola: 6259919 markings, 6416486 edges, 29213 markings/sec, 205 secs
lola: 6405818 markings, 6567817 edges, 29180 markings/sec, 210 secs
lola: 6551705 markings, 6719122 edges, 29177 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 570208 KB
lola: time consumption: 233 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2683)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2683)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-06b-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: 28196 markings, 109348 edges, 5639 markings/sec, 0 secs
lola: 75045 markings, 236455 edges, 9370 markings/sec, 5 secs
lola: 122387 markings, 367198 edges, 9468 markings/sec, 10 secs
lola: 167324 markings, 496178 edges, 8987 markings/sec, 15 secs
lola: 212255 markings, 625152 edges, 8986 markings/sec, 20 secs
lola: 260019 markings, 755626 edges, 9553 markings/sec, 25 secs
lola: 303536 markings, 887569 edges, 8703 markings/sec, 30 secs
lola: 348019 markings, 1019071 edges, 8897 markings/sec, 35 secs
lola: 393341 markings, 1149560 edges, 9064 markings/sec, 40 secs
lola: 436432 markings, 1280376 edges, 8618 markings/sec, 45 secs
lola: 481568 markings, 1409519 edges, 9027 markings/sec, 50 secs
lola: 526175 markings, 1539409 edges, 8921 markings/sec, 55 secs
lola: 568337 markings, 1672269 edges, 8432 markings/sec, 60 secs
lola: 613511 markings, 1802040 edges, 9035 markings/sec, 65 secs
lola: 659331 markings, 1932926 edges, 9164 markings/sec, 70 secs
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 668229 markings, 1975623 edges

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

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

FORMULA ASLink-PT-06b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1340)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1340)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-06b-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: 63304 markings, 99742 edges, 12661 markings/sec, 0 secs
lola: 147704 markings, 230463 edges, 16880 markings/sec, 5 secs
lola: 221547 markings, 354064 edges, 14769 markings/sec, 10 secs
lola: 284261 markings, 456620 edges, 12543 markings/sec, 15 secs
lola: 339068 markings, 575159 edges, 10961 markings/sec, 20 secs
lola: 414953 markings, 699778 edges, 15177 markings/sec, 25 secs
lola: 496847 markings, 825609 edges, 16379 markings/sec, 30 secs
lola: 578691 markings, 951452 edges, 16369 markings/sec, 35 secs
lola: 660602 markings, 1077412 edges, 16382 markings/sec, 40 secs
lola: 742943 markings, 1203758 edges, 16468 markings/sec, 45 secs
lola: 824601 markings, 1329814 edges, 16332 markings/sec, 50 secs
lola: 906006 markings, 1455544 edges, 16281 markings/sec, 55 secs
lola: 994093 markings, 1586621 edges, 17617 markings/sec, 60 secs
lola: 1120187 markings, 1749407 edges, 25219 markings/sec, 65 secs
lola: 1246704 markings, 1912711 edges, 25303 markings/sec, 70 secs
lola: 1371020 markings, 2075112 edges, 24863 markings/sec, 75 secs
lola: 1460059 markings, 2207272 edges, 17808 markings/sec, 80 secs
lola: 1541839 markings, 2333067 edges, 16356 markings/sec, 85 secs
lola: 1623405 markings, 2458651 edges, 16313 markings/sec, 90 secs
lola: 1705142 markings, 2584500 edges, 16347 markings/sec, 95 secs
lola: 1787470 markings, 2710704 edges, 16466 markings/sec, 100 secs
lola: 1868839 markings, 2836497 edges, 16274 markings/sec, 105 secs
lola: 1950205 markings, 2962174 edges, 16273 markings/sec, 110 secs
lola: 2039386 markings, 3094148 edges, 17836 markings/sec, 115 secs
lola: 2165079 markings, 3256678 edges, 25139 markings/sec, 120 secs
lola: 2291650 markings, 3420059 edges, 25314 markings/sec, 125 secs
lola: 2415915 markings, 3582392 edges, 24853 markings/sec, 130 secs
lola: 2503734 markings, 3713123 edges, 17564 markings/sec, 135 secs
lola: 2585250 markings, 3838841 edges, 16303 markings/sec, 140 secs
lola: 2666609 markings, 3964120 edges, 16272 markings/sec, 145 secs
lola: 2748020 markings, 4089483 edges, 16282 markings/sec, 150 secs
lola: 2812849 markings, 4209531 edges, 12966 markings/sec, 155 secs
lola: 2875094 markings, 4307670 edges, 12449 markings/sec, 160 secs
lola: 2931417 markings, 4423269 edges, 11265 markings/sec, 165 secs
lola: 3002658 markings, 4546741 edges, 14248 markings/sec, 170 secs
lola: 3084228 markings, 4672196 edges, 16314 markings/sec, 175 secs
lola: 3165489 markings, 4797290 edges, 16252 markings/sec, 180 secs
lola: 3246970 markings, 4922656 edges, 16296 markings/sec, 185 secs
lola: 3329163 markings, 5048441 edges, 16439 markings/sec, 190 secs
lola: 3410168 markings, 5173661 edges, 16201 markings/sec, 195 secs
lola: 3491077 markings, 5298795 edges, 16182 markings/sec, 200 secs
lola: 3585930 markings, 5434471 edges, 18971 markings/sec, 205 secs
lola: 3710689 markings, 5596328 edges, 24952 markings/sec, 210 secs
lola: 3836437 markings, 5758830 edges, 25150 markings/sec, 215 secs
lola: 3954011 markings, 5915246 edges, 23515 markings/sec, 220 secs
lola: 4035169 markings, 6040552 edges, 16232 markings/sec, 225 secs
lola: 4116356 markings, 6165665 edges, 16237 markings/sec, 230 secs
lola: 4197493 markings, 6290543 edges, 16227 markings/sec, 235 secs
lola: 4273527 markings, 6415681 edges, 15207 markings/sec, 240 secs
lola: 4339259 markings, 6528351 edges, 13146 markings/sec, 245 secs
lola: 4399374 markings, 6636989 edges, 12023 markings/sec, 250 secs
lola: 4459574 markings, 6757685 edges, 12040 markings/sec, 255 secs
lola: 4541271 markings, 6883097 edges, 16339 markings/sec, 260 secs
lola: 4622430 markings, 7008153 edges, 16232 markings/sec, 265 secs
lola: 4703518 markings, 7132980 edges, 16218 markings/sec, 270 secs
lola: 4777087 markings, 7257801 edges, 14714 markings/sec, 275 secs
lola: 4844137 markings, 7369785 edges, 13410 markings/sec, 280 secs
lola: 4897089 markings, 7476601 edges, 10590 markings/sec, 285 secs
lola: 4958712 markings, 7578139 edges, 12325 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 439256 KB
lola: time consumption: 608 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1237)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1237)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-06b-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: 9 markings, 8 edges

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

FORMULA ASLink-PT-06b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p563)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p563)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-06b-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: 81622 markings, 81755 edges, 16324 markings/sec, 30 secs
lola: 149883 markings, 150364 edges, 13652 markings/sec, 35 secs
lola: 218002 markings, 218546 edges, 13624 markings/sec, 40 secs
lola: 285822 markings, 286439 edges, 13564 markings/sec, 45 secs
lola: 353535 markings, 354258 edges, 13543 markings/sec, 50 secs
lola: 421605 markings, 422475 edges, 13614 markings/sec, 55 secs
lola: 489650 markings, 491108 edges, 13609 markings/sec, 60 secs
lola: 558024 markings, 559573 edges, 13675 markings/sec, 65 secs
lola: 626179 markings, 627816 edges, 13631 markings/sec, 70 secs
lola: 694824 markings, 696545 edges, 13729 markings/sec, 75 secs
lola: 763445 markings, 765842 edges, 13724 markings/sec, 80 secs
lola: 831777 markings, 834241 edges, 13666 markings/sec, 85 secs
lola: 899848 markings, 902402 edges, 13614 markings/sec, 90 secs
lola: 967991 markings, 970631 edges, 13629 markings/sec, 95 secs
lola: 1036395 markings, 1039671 edges, 13681 markings/sec, 100 secs
lola: 1105349 markings, 1108692 edges, 13791 markings/sec, 105 secs
lola: 1173291 markings, 1176669 edges, 13588 markings/sec, 110 secs
lola: 1241179 markings, 1244574 edges, 13578 markings/sec, 115 secs
lola: 1308970 markings, 1312399 edges, 13558 markings/sec, 120 secs
lola: 1376919 markings, 1380368 edges, 13590 markings/sec, 125 secs
lola: 1444599 markings, 1448083 edges, 13536 markings/sec, 130 secs
lola: 1512541 markings, 1516046 edges, 13588 markings/sec, 135 secs
lola: 1580318 markings, 1583852 edges, 13555 markings/sec, 140 secs
lola: 1649185 markings, 1652823 edges, 13773 markings/sec, 145 secs
lola: 1717845 markings, 1721552 edges, 13732 markings/sec, 150 secs
lola: 1785443 markings, 1789184 edges, 13520 markings/sec, 155 secs
lola: 1853002 markings, 1856760 edges, 13512 markings/sec, 160 secs
lola: 1920510 markings, 1924302 edges, 13502 markings/sec, 165 secs
lola: 1988951 markings, 1992765 edges, 13688 markings/sec, 170 secs
lola: 2056903 markings, 2060734 edges, 13590 markings/sec, 175 secs
lola: 2124552 markings, 2128418 edges, 13530 markings/sec, 180 secs
lola: 2192169 markings, 2196054 edges, 13523 markings/sec, 185 secs
lola: 2259741 markings, 2263660 edges, 13514 markings/sec, 190 secs
lola: 2327594 markings, 2331530 edges, 13571 markings/sec, 195 secs
lola: 2394690 markings, 2398663 edges, 13419 markings/sec, 200 secs
lola: 2461561 markings, 2465551 edges, 13374 markings/sec, 205 secs
lola: 2528304 markings, 2532328 edges, 13349 markings/sec, 210 secs
lola: 2595134 markings, 2599174 edges, 13366 markings/sec, 215 secs
lola: 2661967 markings, 2666043 edges, 13367 markings/sec, 220 secs
lola: 2728728 markings, 2732821 edges, 13352 markings/sec, 225 secs
lola: 2795461 markings, 2799597 edges, 13347 markings/sec, 230 secs
lola: 2863579 markings, 2867793 edges, 13624 markings/sec, 235 secs
lola: 2931576 markings, 2935871 edges, 13599 markings/sec, 240 secs
lola: 2998398 markings, 3002709 edges, 13364 markings/sec, 245 secs
lola: 3065254 markings, 3069606 edges, 13371 markings/sec, 250 secs
lola: 3132212 markings, 3136580 edges, 13392 markings/sec, 255 secs
lola: 3198900 markings, 3203312 edges, 13338 markings/sec, 260 secs
lola: 3267009 markings, 3271542 edges, 13622 markings/sec, 265 secs
lola: 3334285 markings, 3338860 edges, 13455 markings/sec, 270 secs
lola: 3401002 markings, 3405594 edges, 13343 markings/sec, 275 secs
lola: 3467874 markings, 3472500 edges, 13374 markings/sec, 280 secs
lola: 3534444 markings, 3539094 edges, 13314 markings/sec, 285 secs
lola: 3602427 markings, 3607116 edges, 13597 markings/sec, 290 secs
lola: 3670440 markings, 3675242 edges, 13603 markings/sec, 295 secs
lola: 3737790 markings, 3742633 edges, 13470 markings/sec, 300 secs
lola: 3804486 markings, 3809358 edges, 13339 markings/sec, 305 secs
lola: 3871300 markings, 3876201 edges, 13363 markings/sec, 310 secs
lola: 3937914 markings, 3942837 edges, 13323 markings/sec, 315 secs
lola: 4005027 markings, 4010113 edges, 13423 markings/sec, 320 secs
lola: 4071730 markings, 4077092 edges, 13341 markings/sec, 325 secs
lola: 4138464 markings, 4144073 edges, 13347 markings/sec, 330 secs
lola: 4205289 markings, 4211392 edges, 13365 markings/sec, 335 secs
lola: 4271944 markings, 4278351 edges, 13331 markings/sec, 340 secs
lola: 4338652 markings, 4345306 edges, 13342 markings/sec, 345 secs
lola: 4405590 markings, 4412772 edges, 13388 markings/sec, 350 secs
lola: 4472360 markings, 4479838 edges, 13354 markings/sec, 355 secs
lola: 4539209 markings, 4546994 edges, 13370 markings/sec, 360 secs
lola: 4605981 markings, 4614058 edges, 13354 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 648228 KB
lola: time consumption: 979 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1458)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1458)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-06b-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: 62384 markings, 98574 edges, 12477 markings/sec, 0 secs
lola: 147823 markings, 230808 edges, 17088 markings/sec, 5 secs
lola: 222840 markings, 356168 edges, 15003 markings/sec, 10 secs
lola: 286522 markings, 461335 edges, 12736 markings/sec, 15 secs
lola: 342038 markings, 581711 edges, 11103 markings/sec, 20 secs
lola: 422118 markings, 709482 edges, 16016 markings/sec, 25 secs
lola: 505418 markings, 837726 edges, 16660 markings/sec, 30 secs
lola: 587984 markings, 965196 edges, 16513 markings/sec, 35 secs
lola: 671209 markings, 1093098 edges, 16645 markings/sec, 40 secs
lola: 753095 markings, 1219585 edges, 16377 markings/sec, 45 secs
lola: 834231 markings, 1345161 edges, 16227 markings/sec, 50 secs
lola: 915392 markings, 1470861 edges, 16232 markings/sec, 55 secs
lola: 1010188 markings, 1606879 edges, 18959 markings/sec, 60 secs
lola: 1135484 markings, 1769299 edges, 25059 markings/sec, 65 secs
lola: 1262204 markings, 1932933 edges, 25344 markings/sec, 70 secs
lola: 1386728 markings, 2095643 edges, 24905 markings/sec, 75 secs
lola: 1470469 markings, 2223950 edges, 16748 markings/sec, 80 secs
lola: 1553410 markings, 2351303 edges, 16588 markings/sec, 85 secs
lola: 1635353 markings, 2477244 edges, 16389 markings/sec, 90 secs
lola: 1718086 markings, 2603863 edges, 16547 markings/sec, 95 secs
lola: 1799957 markings, 2730060 edges, 16374 markings/sec, 100 secs
lola: 1881594 markings, 2856250 edges, 16327 markings/sec, 105 secs
lola: 1963337 markings, 2982581 edges, 16349 markings/sec, 110 secs
lola: 2060778 markings, 3121356 edges, 19488 markings/sec, 115 secs
lola: 2185553 markings, 3283182 edges, 24955 markings/sec, 120 secs
lola: 2311665 markings, 3446109 edges, 25222 markings/sec, 125 secs
lola: 2435014 markings, 3607859 edges, 24670 markings/sec, 130 secs
lola: 2516917 markings, 3734439 edges, 16381 markings/sec, 135 secs
lola: 2600077 markings, 3861579 edges, 16632 markings/sec, 140 secs
lola: 2682251 markings, 3987908 edges, 16435 markings/sec, 145 secs
lola: 2763058 markings, 4112388 edges, 16161 markings/sec, 150 secs
lola: 2827920 markings, 4232419 edges, 12972 markings/sec, 155 secs
lola: 2890655 markings, 4335594 edges, 12547 markings/sec, 160 secs
lola: 2945385 markings, 4454317 edges, 10946 markings/sec, 165 secs
lola: 3024855 markings, 4579967 edges, 15894 markings/sec, 170 secs
lola: 3106000 markings, 4704959 edges, 16229 markings/sec, 175 secs
lola: 3187108 markings, 4829915 edges, 16222 markings/sec, 180 secs
lola: 3268989 markings, 4955657 edges, 16376 markings/sec, 185 secs
lola: 3350071 markings, 5081209 edges, 16216 markings/sec, 190 secs
lola: 3430962 markings, 5206311 edges, 16178 markings/sec, 195 secs
lola: 3511376 markings, 5330543 edges, 16083 markings/sec, 200 secs
lola: 3619144 markings, 5477469 edges, 21554 markings/sec, 205 secs
lola: 3743443 markings, 5638704 edges, 24860 markings/sec, 210 secs
lola: 3868442 markings, 5800645 edges, 25000 markings/sec, 215 secs
lola: 3974955 markings, 5947383 edges, 21303 markings/sec, 220 secs
lola: 4056633 markings, 6072862 edges, 16336 markings/sec, 225 secs
lola: 4137625 markings, 6197610 edges, 16198 markings/sec, 230 secs
lola: 4218609 markings, 6322340 edges, 16197 markings/sec, 235 secs
lola: 4286084 markings, 6446451 edges, 13495 markings/sec, 240 secs
lola: 4356251 markings, 6555039 edges, 14033 markings/sec, 245 secs
lola: 4413846 markings, 6667599 edges, 11519 markings/sec, 250 secs
lola: 4480973 markings, 6789942 edges, 13425 markings/sec, 255 secs
lola: 4561573 markings, 6914978 edges, 16120 markings/sec, 260 secs
lola: 4642704 markings, 7040075 edges, 16226 markings/sec, 265 secs
lola: 4724225 markings, 7165957 edges, 16304 markings/sec, 270 secs
lola: 4792992 markings, 7290305 edges, 13753 markings/sec, 275 secs
lola: 4854097 markings, 7401327 edges, 12221 markings/sec, 280 secs
lola: 4914937 markings, 7504465 edges, 12168 markings/sec, 285 secs
lola: 4968776 markings, 7610395 edges, 10768 markings/sec, 290 secs
lola: 5014753 markings, 7731404 edges, 9195 markings/sec, 295 secs
lola: 5067248 markings, 7849751 edges, 10499 markings/sec, 300 secs
lola: 5119688 markings, 7967867 edges, 10488 markings/sec, 305 secs
lola: 5185592 markings, 8094171 edges, 13181 markings/sec, 310 secs
lola: 5266413 markings, 8218657 edges, 16164 markings/sec, 315 secs
lola: 5347030 markings, 8342680 edges, 16123 markings/sec, 320 secs
lola: 5426045 markings, 8466385 edges, 15803 markings/sec, 325 secs
lola: 5474699 markings, 8575537 edges, 9731 markings/sec, 330 secs
lola: 5520044 markings, 8698551 edges, 9069 markings/sec, 335 secs
lola: 5595651 markings, 8824821 edges, 15121 markings/sec, 340 secs
lola: 5676582 markings, 8949426 edges, 16186 markings/sec, 345 secs
lola: 5756689 markings, 9072456 edges, 16021 markings/sec, 350 secs
lola: 5832820 markings, 9193529 edges, 15226 markings/sec, 355 secs
lola: 5881251 markings, 9306036 edges, 9686 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 522816 KB
lola: time consumption: 1349 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p134)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p134)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-06b-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: 41347 markings, 45138 edges, 8269 markings/sec, 0 secs
lola: 97533 markings, 106251 edges, 11237 markings/sec, 5 secs
lola: 152938 markings, 169154 edges, 11081 markings/sec, 10 secs
lola: 208424 markings, 231500 edges, 11097 markings/sec, 15 secs
lola: 264344 markings, 293032 edges, 11184 markings/sec, 20 secs
lola: 318901 markings, 357314 edges, 10911 markings/sec, 25 secs
lola: 374977 markings, 418176 edges, 11215 markings/sec, 30 secs
lola: 430380 markings, 480509 edges, 11081 markings/sec, 35 secs
lola: 483033 markings, 550554 edges, 10531 markings/sec, 40 secs
lola: 538125 markings, 614718 edges, 11018 markings/sec, 45 secs
lola: 592475 markings, 680717 edges, 10870 markings/sec, 50 secs
lola: 645776 markings, 748876 edges, 10660 markings/sec, 55 secs
lola: 700309 markings, 814222 edges, 10907 markings/sec, 60 secs
lola: 753860 markings, 881865 edges, 10710 markings/sec, 65 secs
lola: 808180 markings, 947422 edges, 10864 markings/sec, 70 secs
lola: 862515 markings, 1012986 edges, 10867 markings/sec, 75 secs
lola: 914126 markings, 1085032 edges, 10322 markings/sec, 80 secs
lola: 968802 markings, 1150709 edges, 10935 markings/sec, 85 secs
lola: 1023410 markings, 1216313 edges, 10922 markings/sec, 90 secs
lola: 1076540 markings, 1285125 edges, 10626 markings/sec, 95 secs
lola: 1131328 markings, 1349434 edges, 10958 markings/sec, 100 secs
lola: 1185553 markings, 1415158 edges, 10845 markings/sec, 105 secs
lola: 1238629 markings, 1483235 edges, 10615 markings/sec, 110 secs
lola: 1293078 markings, 1548223 edges, 10890 markings/sec, 115 secs
lola: 1347527 markings, 1615617 edges, 10890 markings/sec, 120 secs
lola: 1396599 markings, 1699449 edges, 9814 markings/sec, 125 secs
lola: 1444613 markings, 1787361 edges, 9603 markings/sec, 130 secs
lola: 1492091 markings, 1876465 edges, 9496 markings/sec, 135 secs
lola: 1538247 markings, 1968543 edges, 9231 markings/sec, 140 secs
lola: 1585575 markings, 2055241 edges, 9466 markings/sec, 145 secs
lola: 1632206 markings, 2142782 edges, 9326 markings/sec, 150 secs
lola: 1677447 markings, 2233221 edges, 9048 markings/sec, 155 secs
lola: 1724585 markings, 2319524 edges, 9428 markings/sec, 160 secs
lola: 1771206 markings, 2407034 edges, 9324 markings/sec, 165 secs
lola: 1816477 markings, 2497572 edges, 9054 markings/sec, 170 secs
lola: 1861643 markings, 2590516 edges, 9033 markings/sec, 175 secs
lola: 1907758 markings, 2680151 edges, 9223 markings/sec, 180 secs
lola: 1953539 markings, 2771046 edges, 9156 markings/sec, 185 secs
lola: 1998062 markings, 2864635 edges, 8905 markings/sec, 190 secs
lola: 2044165 markings, 2954066 edges, 9221 markings/sec, 195 secs
lola: 2089813 markings, 3044576 edges, 9130 markings/sec, 200 secs
lola: 2134121 markings, 3138049 edges, 8862 markings/sec, 205 secs
lola: 2180239 markings, 3227338 edges, 9224 markings/sec, 210 secs
lola: 2225818 markings, 3317714 edges, 9116 markings/sec, 215 secs
lola: 2270367 markings, 3410385 edges, 8910 markings/sec, 220 secs
lola: 2314841 markings, 3505218 edges, 8895 markings/sec, 225 secs
lola: 2361159 markings, 3595011 edges, 9264 markings/sec, 230 secs
lola: 2407007 markings, 3685920 edges, 9170 markings/sec, 235 secs
lola: 2451560 markings, 3779692 edges, 8911 markings/sec, 240 secs
lola: 2497698 markings, 3869189 edges, 9228 markings/sec, 245 secs
lola: 2543357 markings, 3959718 edges, 9132 markings/sec, 250 secs
lola: 2587995 markings, 4052444 edges, 8928 markings/sec, 255 secs
lola: 2633767 markings, 4142468 edges, 9154 markings/sec, 260 secs
lola: 2679369 markings, 4232868 edges, 9120 markings/sec, 265 secs
lola: 2724236 markings, 4324708 edges, 8973 markings/sec, 270 secs
lola: 2768825 markings, 4418638 edges, 8918 markings/sec, 275 secs
lola: 2816004 markings, 4505430 edges, 9436 markings/sec, 280 secs
lola: 2862754 markings, 4593171 edges, 9350 markings/sec, 285 secs
lola: 2908283 markings, 4683628 edges, 9106 markings/sec, 290 secs
lola: 2955313 markings, 4770256 edges, 9406 markings/sec, 295 secs
lola: 3001928 markings, 4857755 edges, 9323 markings/sec, 300 secs
lola: 3047397 markings, 4947870 edges, 9094 markings/sec, 305 secs
lola: 3094344 markings, 5034575 edges, 9389 markings/sec, 310 secs
lola: 3140930 markings, 5122011 edges, 9317 markings/sec, 315 secs
lola: 3186827 markings, 5212722 edges, 9179 markings/sec, 320 secs
lola: 3232217 markings, 5306917 edges, 9078 markings/sec, 325 secs
lola: 3278944 markings, 5397587 edges, 9345 markings/sec, 330 secs
lola: 3325285 markings, 5489510 edges, 9268 markings/sec, 335 secs
lola: 3370318 markings, 5584248 edges, 9007 markings/sec, 340 secs
lola: 3417006 markings, 5674740 edges, 9338 markings/sec, 345 secs
lola: 3463205 markings, 5766345 edges, 9240 markings/sec, 350 secs
lola: 3508053 markings, 5860881 edges, 8970 markings/sec, 355 secs
lola: 3554691 markings, 5951159 edges, 9328 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 209648 KB
lola: memory consumption: 209648 KB
lola: time consumption: 1719 seconds
lola: time consumption: 1719 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1403)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1403)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-06b-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: 219 markings, 218 edges

FORMULA ASLink-PT-06b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 462 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2282)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2282)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-06b-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-06b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 616 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2349)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2349)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-06b-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
lola: ========================================

FORMULA ASLink-PT-06b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 924 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p541)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p541)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-06b-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: 83458 markings, 109551 edges, 16692 markings/sec, 0 secs
lola: 191709 markings, 249361 edges, 21650 markings/sec, 5 secs
lola: 302298 markings, 391024 edges, 22118 markings/sec, 10 secs
lola: 433430 markings, 536672 edges, 26226 markings/sec, 15 secs
lola: 584904 markings, 711258 edges, 30295 markings/sec, 20 secs
lola: 734256 markings, 878849 edges, 29870 markings/sec, 25 secs
lola: 883870 markings, 1047214 edges, 29923 markings/sec, 30 secs
lola: 1035018 markings, 1221503 edges, 30230 markings/sec, 35 secs
lola: 1171618 markings, 1372718 edges, 27320 markings/sec, 40 secs
lola: 1321739 markings, 1544244 edges, 30024 markings/sec, 45 secs
lola: 1469870 markings, 1708939 edges, 29626 markings/sec, 50 secs
lola: 1619708 markings, 1879843 edges, 29968 markings/sec, 55 secs
lola: 1756050 markings, 2030871 edges, 27268 markings/sec, 60 secs
lola: 1906586 markings, 2203936 edges, 30107 markings/sec, 65 secs
lola: 2029516 markings, 2342142 edges, 24586 markings/sec, 70 secs
lola: 2148233 markings, 2482764 edges, 23743 markings/sec, 75 secs
lola: 2282837 markings, 2639162 edges, 26921 markings/sec, 80 secs
lola: 2430339 markings, 2814008 edges, 29500 markings/sec, 85 secs
lola: 2566667 markings, 2968032 edges, 27266 markings/sec, 90 secs
lola: 2708507 markings, 3131534 edges, 28368 markings/sec, 95 secs
lola: 2845643 markings, 3290519 edges, 27427 markings/sec, 100 secs
lola: 2990400 markings, 3457853 edges, 28951 markings/sec, 105 secs
lola: 3137370 markings, 3631694 edges, 29394 markings/sec, 110 secs
lola: 3274888 markings, 3783168 edges, 27504 markings/sec, 115 secs
lola: 3425091 markings, 3955932 edges, 30041 markings/sec, 120 secs
lola: 3567049 markings, 4119626 edges, 28392 markings/sec, 125 secs
lola: 3709267 markings, 4278111 edges, 28444 markings/sec, 130 secs
lola: 3855281 markings, 4445546 edges, 29203 markings/sec, 135 secs
lola: 3996263 markings, 4610713 edges, 28196 markings/sec, 140 secs
lola: 4145056 markings, 4785620 edges, 29759 markings/sec, 145 secs
lola: 4280644 markings, 4936809 edges, 27118 markings/sec, 150 secs
lola: 4430799 markings, 5108568 edges, 30031 markings/sec, 155 secs
lola: 4578409 markings, 5272632 edges, 29522 markings/sec, 160 secs
lola: 4727348 markings, 5442411 edges, 29788 markings/sec, 165 secs
lola: 4863198 markings, 5599947 edges, 27170 markings/sec, 170 secs
lola: 5011781 markings, 5767025 edges, 29717 markings/sec, 175 secs
lola: 5159671 markings, 5933339 edges, 29578 markings/sec, 180 secs
lola: 5299210 markings, 6096341 edges, 27908 markings/sec, 185 secs
lola: 5446635 markings, 6270822 edges, 29485 markings/sec, 190 secs
lola: 5576070 markings, 6431716 edges, 25887 markings/sec, 195 secs
lola: 5717307 markings, 6604066 edges, 28247 markings/sec, 200 secs
lola: 5857499 markings, 6774578 edges, 28038 markings/sec, 205 secs
lola: 6001101 markings, 6951640 edges, 28720 markings/sec, 210 secs
lola: 6139429 markings, 7118740 edges, 27666 markings/sec, 215 secs
lola: 6281870 markings, 7293657 edges, 28488 markings/sec, 220 secs
lola: 6406031 markings, 7450084 edges, 24832 markings/sec, 225 secs
lola: 6548979 markings, 7626106 edges, 28590 markings/sec, 230 secs
lola: 6687627 markings, 7794016 edges, 27730 markings/sec, 235 secs
lola: 6828867 markings, 7966846 edges, 28248 markings/sec, 240 secs
lola: 6952850 markings, 8123038 edges, 24797 markings/sec, 245 secs
lola: 7095857 markings, 8299076 edges, 28601 markings/sec, 250 secs
lola: 7217518 markings, 8453855 edges, 24332 markings/sec, 255 secs
lola: 7312625 markings, 8592237 edges, 19021 markings/sec, 260 secs
lola: 7429699 markings, 8745812 edges, 23415 markings/sec, 265 secs
lola: 7568455 markings, 8921256 edges, 27751 markings/sec, 270 secs
lola: 7706996 markings, 9093805 edges, 27708 markings/sec, 275 secs
lola: 7830883 markings, 9251971 edges, 24777 markings/sec, 280 secs
lola: 7960210 markings, 9414991 edges, 25865 markings/sec, 285 secs
lola: 8094393 markings, 9583863 edges, 26837 markings/sec, 290 secs
lola: 8234130 markings, 9760299 edges, 27947 markings/sec, 295 secs
lola: 8374290 markings, 9934974 edges, 28032 markings/sec, 300 secs
lola: 8501267 markings, 10093610 edges, 25395 markings/sec, 305 secs
lola: 8645604 markings, 10271293 edges, 28867 markings/sec, 310 secs
lola: 8779902 markings, 10440324 edges, 26860 markings/sec, 315 secs
lola: 8913026 markings, 10604720 edges, 26625 markings/sec, 320 secs
lola: 9051872 markings, 10776652 edges, 27769 markings/sec, 325 secs
lola: 9186608 markings, 10945876 edges, 26947 markings/sec, 330 secs
lola: 9326132 markings, 11121733 edges, 27905 markings/sec, 335 secs
lola: 9450824 markings, 11280479 edges, 24938 markings/sec, 340 secs
lola: 9591509 markings, 11451622 edges, 28137 markings/sec, 345 secs
lola: 9732451 markings, 11623383 edges, 28188 markings/sec, 350 secs
lola: 9875839 markings, 11799946 edges, 28678 markings/sec, 355 secs
lola: 10009286 markings, 11967936 edges, 26689 markings/sec, 360 secs
lola: 10140962 markings, 12130117 edges, 26335 markings/sec, 365 secs
lola: 10282953 markings, 12303734 edges, 28398 markings/sec, 370 secs
lola: 10420482 markings, 12474036 edges, 27506 markings/sec, 375 secs
lola: 10554673 markings, 12643491 edges, 26838 markings/sec, 380 secs
lola: 10695769 markings, 12820525 edges, 28219 markings/sec, 385 secs
lola: 10821777 markings, 12980804 edges, 25202 markings/sec, 390 secs
lola: 10966522 markings, 13159001 edges, 28949 markings/sec, 395 secs
lola: 11106823 markings, 13328576 edges, 28060 markings/sec, 400 secs
lola: 11251455 markings, 13506268 edges, 28926 markings/sec, 405 secs
lola: 11394144 markings, 13680401 edges, 28538 markings/sec, 410 secs
lola: 11524767 markings, 13845002 edges, 26125 markings/sec, 415 secs
lola: 11662581 markings, 14013020 edges, 27563 markings/sec, 420 secs
lola: 11805848 markings, 14188584 edges, 28653 markings/sec, 425 secs
lola: 11948306 markings, 14363124 edges, 28492 markings/sec, 430 secs
lola: 12074519 markings, 14522825 edges, 25243 markings/sec, 435 secs
lola: 12214844 markings, 14693385 edges, 28065 markings/sec, 440 secs
lola: 12349727 markings, 14860148 edges, 26977 markings/sec, 445 secs
lola: 12448040 markings, 14997066 edges, 19663 markings/sec, 450 secs
lola: 12555548 markings, 15142126 edges, 21502 markings/sec, 455 secs
lola: 12673369 markings, 15294818 edges, 23564 markings/sec, 460 secs
lola: 12809299 markings, 15465727 edges, 27186 markings/sec, 465 secs
lola: 12937206 markings, 15626066 edges, 25581 markings/sec, 470 secs
lola: 13061823 markings, 15784154 edges, 24923 markings/sec, 475 secs
lola: 13183602 markings, 15937215 edges, 24356 markings/sec, 480 secs
lola: 13311286 markings, 16098295 edges, 25537 markings/sec, 485 secs
lola: 13445050 markings, 16267687 edges, 26753 markings/sec, 490 secs
lola: 13578644 markings, 16434335 edges, 26719 markings/sec, 495 secs
lola: 13699341 markings, 16585384 edges, 24139 markings/sec, 500 secs
lola: 13837173 markings, 16755209 edges, 27566 markings/sec, 505 secs
lola: 13965431 markings, 16917035 edges, 25652 markings/sec, 510 secs
lola: 14090420 markings, 17070603 edges, 24998 markings/sec, 515 secs
lola: 14222767 markings, 17234462 edges, 26469 markings/sec, 520 secs
lola: 14352083 markings, 17396968 edges, 25863 markings/sec, 525 secs
lola: 14487585 markings, 17567335 edges, 27100 markings/sec, 530 secs
lola: 14619430 markings, 17730974 edges, 26369 markings/sec, 535 secs
lola: 14740454 markings, 17882484 edges, 24205 markings/sec, 540 secs
lola: 14878678 markings, 18052766 edges, 27645 markings/sec, 545 secs
lola: 15012646 markings, 18215517 edges, 26794 markings/sec, 550 secs
lola: 15144637 markings, 18379081 edges, 26398 markings/sec, 555 secs
lola: 15268768 markings, 18536835 edges, 24826 markings/sec, 560 secs
lola: 15404244 markings, 18701924 edges, 27095 markings/sec, 565 secs
lola: 15539223 markings, 18866428 edges, 26996 markings/sec, 570 secs
lola: 15666504 markings, 19027016 edges, 25456 markings/sec, 575 secs
lola: 15798674 markings, 19193097 edges, 26434 markings/sec, 580 secs
lola: 15934350 markings, 19363991 edges, 27135 markings/sec, 585 secs
lola: 16021741 markings, 19479421 edges, 17478 markings/sec, 590 secs
lola: 16153578 markings, 19632550 edges, 26367 markings/sec, 595 secs
lola: 16285345 markings, 19785605 edges, 26353 markings/sec, 600 secs
lola: 16417004 markings, 19938614 edges, 26332 markings/sec, 605 secs
lola: 16549840 markings, 20094585 edges, 26567 markings/sec, 610 secs
lola: 16690431 markings, 20268226 edges, 28118 markings/sec, 615 secs
lola: 16831240 markings, 20442153 edges, 28162 markings/sec, 620 secs
lola: 16971631 markings, 20615543 edges, 28078 markings/sec, 625 secs
lola: 17105153 markings, 20772178 edges, 26704 markings/sec, 630 secs
lola: 17236580 markings, 20924828 edges, 26285 markings/sec, 635 secs
lola: 17368447 markings, 21077991 edges, 26373 markings/sec, 640 secs
lola: 17499608 markings, 21230426 edges, 26232 markings/sec, 645 secs
lola: 17639283 markings, 21401888 edges, 27935 markings/sec, 650 secs
lola: 17779923 markings, 21575448 edges, 28128 markings/sec, 655 secs
lola: 17918946 markings, 21747080 edges, 27805 markings/sec, 660 secs
lola: 18051612 markings, 21905644 edges, 26533 markings/sec, 665 secs
lola: 18180407 markings, 22055297 edges, 25759 markings/sec, 670 secs
lola: 18306340 markings, 22201571 edges, 25187 markings/sec, 675 secs
lola: 18431967 markings, 22347489 edges, 25125 markings/sec, 680 secs
lola: 18561583 markings, 22502567 edges, 25923 markings/sec, 685 secs
lola: 18695578 markings, 22667888 edges, 26799 markings/sec, 690 secs
lola: 18829991 markings, 22833748 edges, 26883 markings/sec, 695 secs
lola: 18963859 markings, 22998965 edges, 26774 markings/sec, 700 secs
lola: 19090426 markings, 23146394 edges, 25313 markings/sec, 705 secs
lola: 19215648 markings, 23291889 edges, 25044 markings/sec, 710 secs
lola: 19341419 markings, 23437967 edges, 25154 markings/sec, 715 secs
lola: 19466747 markings, 23583546 edges, 25066 markings/sec, 720 secs
lola: 19599277 markings, 23745541 edges, 26506 markings/sec, 725 secs
lola: 19733127 markings, 23910679 edges, 26770 markings/sec, 730 secs
lola: 19867050 markings, 24075944 edges, 26785 markings/sec, 735 secs
lola: 19998628 markings, 24235443 edges, 26316 markings/sec, 740 secs
lola: 20126415 markings, 24383861 edges, 25557 markings/sec, 745 secs
lola: 20250957 markings, 24528814 edges, 24908 markings/sec, 750 secs
lola: 20344907 markings, 24648099 edges, 18790 markings/sec, 755 secs
lola: 20470321 markings, 24796764 edges, 25083 markings/sec, 760 secs
lola: 20601011 markings, 24948589 edges, 26138 markings/sec, 765 secs
lola: 20731902 markings, 25100702 edges, 26178 markings/sec, 770 secs
lola: 20864177 markings, 25256233 edges, 26455 markings/sec, 775 secs
lola: 21004359 markings, 25429302 edges, 28036 markings/sec, 780 secs
lola: 21144670 markings, 25602617 edges, 28062 markings/sec, 785 secs
lola: 21284143 markings, 25774762 edges, 27895 markings/sec, 790 secs
lola: 21415558 markings, 25927374 edges, 26283 markings/sec, 795 secs
lola: 21546921 markings, 26079870 edges, 26273 markings/sec, 800 secs
lola: 21678150 markings, 26232328 edges, 26246 markings/sec, 805 secs
lola: 21806811 markings, 26384279 edges, 25732 markings/sec, 810 secs
lola: 21948211 markings, 26558718 edges, 28280 markings/sec, 815 secs
lola: 22087769 markings, 26730929 edges, 27912 markings/sec, 820 secs
lola: 22227829 markings, 26903264 edges, 28012 markings/sec, 825 secs
lola: 22359767 markings, 27056446 edges, 26388 markings/sec, 830 secs
lola: 22491441 markings, 27209373 edges, 26335 markings/sec, 835 secs
lola: 22622961 markings, 27362194 edges, 26304 markings/sec, 840 secs
lola: 22747369 markings, 27509200 edges, 24882 markings/sec, 845 secs
lola: 22888154 markings, 27682923 edges, 28157 markings/sec, 850 secs
lola: 23029174 markings, 27856954 edges, 28204 markings/sec, 855 secs
lola: 23169378 markings, 28029304 edges, 28041 markings/sec, 860 secs
lola: 23301655 markings, 28182965 edges, 26455 markings/sec, 865 secs
lola: 23433244 markings, 28335761 edges, 26318 markings/sec, 870 secs
lola: 23526941 markings, 28453235 edges, 18739 markings/sec, 875 secs
lola: 23650221 markings, 28601248 edges, 24656 markings/sec, 880 secs
lola: 23782297 markings, 28754656 edges, 26415 markings/sec, 885 secs
lola: 23914511 markings, 28908278 edges, 26443 markings/sec, 890 secs
lola: 24047645 markings, 29064504 edges, 26627 markings/sec, 895 secs
lola: 24188713 markings, 29238703 edges, 28214 markings/sec, 900 secs
lola: 24329981 markings, 29413170 edges, 28254 markings/sec, 905 secs
lola: 24470881 markings, 29587084 edges, 28180 markings/sec, 910 secs
lola: 24602966 markings, 29740560 edges, 26417 markings/sec, 915 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 unknown unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 3061276 KB
lola: time consumption: 2646 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 924 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1302)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1302)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-06b-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: 97587 markings, 98920 edges, 19517 markings/sec, 30 secs
lola: 192164 markings, 194928 edges, 18915 markings/sec, 35 secs
lola: 286562 markings, 290782 edges, 18880 markings/sec, 40 secs
lola: 380459 markings, 386074 edges, 18779 markings/sec, 45 secs
lola: 473897 markings, 480941 edges, 18688 markings/sec, 50 secs
lola: 567321 markings, 575803 edges, 18685 markings/sec, 55 secs
lola: 660553 markings, 670671 edges, 18646 markings/sec, 60 secs
lola: 753678 markings, 765465 edges, 18625 markings/sec, 65 secs
lola: 846702 markings, 860077 edges, 18605 markings/sec, 70 secs
lola: 939845 markings, 954783 edges, 18629 markings/sec, 75 secs
lola: 1032790 markings, 1049453 edges, 18589 markings/sec, 80 secs
lola: 1125661 markings, 1144047 edges, 18574 markings/sec, 85 secs
lola: 1218901 markings, 1238668 edges, 18648 markings/sec, 90 secs
lola: 1312048 markings, 1333432 edges, 18629 markings/sec, 95 secs
lola: 1404930 markings, 1428022 edges, 18576 markings/sec, 100 secs
lola: 1497939 markings, 1522837 edges, 18602 markings/sec, 105 secs
lola: 1591247 markings, 1617626 edges, 18662 markings/sec, 110 secs
lola: 1684286 markings, 1712439 edges, 18608 markings/sec, 115 secs
lola: 1777346 markings, 1807135 edges, 18612 markings/sec, 120 secs
lola: 1870155 markings, 1901818 edges, 18562 markings/sec, 125 secs
lola: 1963193 markings, 1996533 edges, 18608 markings/sec, 130 secs
lola: 2056006 markings, 2091212 edges, 18563 markings/sec, 135 secs
lola: 2149258 markings, 2186160 edges, 18650 markings/sec, 140 secs
lola: 2242769 markings, 2281251 edges, 18702 markings/sec, 145 secs
lola: 2335934 markings, 2376268 edges, 18633 markings/sec, 150 secs
lola: 2429224 markings, 2471175 edges, 18658 markings/sec, 155 secs
lola: 2522181 markings, 2566111 edges, 18591 markings/sec, 160 secs
lola: 2615553 markings, 2661150 edges, 18674 markings/sec, 165 secs
lola: 2708639 markings, 2756126 edges, 18617 markings/sec, 170 secs
lola: 2802403 markings, 2851379 edges, 18753 markings/sec, 175 secs
lola: 2895924 markings, 2946346 edges, 18704 markings/sec, 180 secs
lola: 2989366 markings, 3041233 edges, 18688 markings/sec, 185 secs
lola: 3082538 markings, 3136038 edges, 18634 markings/sec, 190 secs
lola: 3175564 markings, 3230722 edges, 18605 markings/sec, 195 secs
lola: 3268713 markings, 3325445 edges, 18630 markings/sec, 200 secs
lola: 3361660 markings, 3420152 edges, 18589 markings/sec, 205 secs
lola: 3454969 markings, 3515081 edges, 18662 markings/sec, 210 secs
lola: 3548199 markings, 3610070 edges, 18646 markings/sec, 215 secs
lola: 3641649 markings, 3705165 edges, 18690 markings/sec, 220 secs
lola: 3735055 markings, 3800000 edges, 18681 markings/sec, 225 secs
lola: 3828379 markings, 3894829 edges, 18665 markings/sec, 230 secs
lola: 3921204 markings, 3989301 edges, 18565 markings/sec, 235 secs
lola: 4014120 markings, 4083871 edges, 18583 markings/sec, 240 secs
lola: 4107149 markings, 4178463 edges, 18606 markings/sec, 245 secs
lola: 4199886 markings, 4272972 edges, 18547 markings/sec, 250 secs
lola: 4293065 markings, 4367754 edges, 18636 markings/sec, 255 secs
lola: 4386053 markings, 4462507 edges, 18598 markings/sec, 260 secs
lola: 4479546 markings, 4557394 edges, 18699 markings/sec, 265 secs
lola: 4574419 markings, 4652493 edges, 18975 markings/sec, 270 secs
lola: 4668976 markings, 4747347 edges, 18911 markings/sec, 275 secs
lola: 4763378 markings, 4842107 edges, 18880 markings/sec, 280 secs
lola: 4857078 markings, 4937571 edges, 18740 markings/sec, 285 secs
lola: 4950708 markings, 5033056 edges, 18726 markings/sec, 290 secs
lola: 5044396 markings, 5128621 edges, 18738 markings/sec, 295 secs
lola: 5138087 markings, 5224078 edges, 18738 markings/sec, 300 secs
lola: 5231593 markings, 5319423 edges, 18701 markings/sec, 305 secs
lola: 5325062 markings, 5414763 edges, 18694 markings/sec, 310 secs
lola: 5418584 markings, 5510135 edges, 18704 markings/sec, 315 secs
lola: 5511957 markings, 5605291 edges, 18675 markings/sec, 320 secs
lola: 5605233 markings, 5700420 edges, 18655 markings/sec, 325 secs
lola: 5698546 markings, 5795618 edges, 18663 markings/sec, 330 secs
lola: 5791761 markings, 5890628 edges, 18643 markings/sec, 335 secs
lola: 5884851 markings, 5985545 edges, 18618 markings/sec, 340 secs
lola: 5977937 markings, 6080493 edges, 18617 markings/sec, 345 secs
lola: 6071024 markings, 6175363 edges, 18617 markings/sec, 350 secs
lola: 6163877 markings, 6270061 edges, 18571 markings/sec, 355 secs
lola: 6256681 markings, 6364723 edges, 18561 markings/sec, 360 secs
lola: 6350133 markings, 6459941 edges, 18690 markings/sec, 365 secs
lola: 6443298 markings, 6554937 edges, 18633 markings/sec, 370 secs
lola: 6536436 markings, 6649959 edges, 18628 markings/sec, 375 secs
lola: 6630495 markings, 6744698 edges, 18812 markings/sec, 380 secs
lola: 6724662 markings, 6839181 edges, 18833 markings/sec, 385 secs
lola: 6818827 markings, 6933720 edges, 18833 markings/sec, 390 secs
lola: 6912637 markings, 7028784 edges, 18762 markings/sec, 395 secs
lola: 7005958 markings, 7123958 edges, 18664 markings/sec, 400 secs
lola: 7099217 markings, 7219116 edges, 18652 markings/sec, 405 secs
lola: 7192524 markings, 7314371 edges, 18661 markings/sec, 410 secs
lola: 7285644 markings, 7409371 edges, 18624 markings/sec, 415 secs
lola: 7378602 markings, 7504236 edges, 18592 markings/sec, 420 secs
lola: 7471590 markings, 7599147 edges, 18598 markings/sec, 425 secs
lola: 7564536 markings, 7693929 edges, 18589 markings/sec, 430 secs
lola: 7657038 markings, 7788337 edges, 18500 markings/sec, 435 secs
lola: 7749709 markings, 7882935 edges, 18534 markings/sec, 440 secs
lola: 7842581 markings, 7977633 edges, 18574 markings/sec, 445 secs
lola: 7935115 markings, 8072054 edges, 18507 markings/sec, 450 secs
lola: 8027580 markings, 8166447 edges, 18493 markings/sec, 455 secs
lola: 8120341 markings, 8261095 edges, 18552 markings/sec, 460 secs
lola: 8212809 markings, 8355394 edges, 18494 markings/sec, 465 secs
lola: 8305236 markings, 8449729 edges, 18485 markings/sec, 470 secs
lola: 8398012 markings, 8544451 edges, 18555 markings/sec, 475 secs
lola: 8491054 markings, 8639357 edges, 18608 markings/sec, 480 secs
lola: 8583955 markings, 8734156 edges, 18580 markings/sec, 485 secs
lola: 8677127 markings, 8828974 edges, 18634 markings/sec, 490 secs
lola: 8771367 markings, 8923510 edges, 18848 markings/sec, 495 secs
lola: 8865427 markings, 9017940 edges, 18812 markings/sec, 500 secs
lola: 8959526 markings, 9112431 edges, 18820 markings/sec, 505 secs
lola: 9053067 markings, 9207783 edges, 18708 markings/sec, 510 secs
lola: 9146326 markings, 9302951 edges, 18652 markings/sec, 515 secs
lola: 9239605 markings, 9398171 edges, 18656 markings/sec, 520 secs
lola: 9332835 markings, 9493247 edges, 18646 markings/sec, 525 secs
lola: 9425821 markings, 9588118 edges, 18597 markings/sec, 530 secs
lola: 9518765 markings, 9682992 edges, 18589 markings/sec, 535 secs
lola: 9611825 markings, 9777985 edges, 18612 markings/sec, 540 secs
lola: 9704673 markings, 9872664 edges, 18570 markings/sec, 545 secs
lola: 9797339 markings, 9967222 edges, 18533 markings/sec, 550 secs
lola: 9890124 markings, 10061954 edges, 18557 markings/sec, 555 secs
lola: 9982792 markings, 10156493 edges, 18534 markings/sec, 560 secs
lola: 10075149 markings, 10250744 edges, 18471 markings/sec, 565 secs
lola: 10167702 markings, 10345220 edges, 18511 markings/sec, 570 secs
lola: 10260500 markings, 10439836 edges, 18560 markings/sec, 575 secs
lola: 10352921 markings, 10534156 edges, 18484 markings/sec, 580 secs
lola: 10445370 markings, 10628529 edges, 18490 markings/sec, 585 secs
lola: 10538462 markings, 10723452 edges, 18618 markings/sec, 590 secs
lola: 10631380 markings, 10818260 edges, 18584 markings/sec, 595 secs
lola: 10724235 markings, 10913046 edges, 18571 markings/sec, 600 secs
lola: 10817674 markings, 11007923 edges, 18688 markings/sec, 605 secs
lola: 10912351 markings, 11102845 edges, 18935 markings/sec, 610 secs
lola: 11006758 markings, 11197563 edges, 18881 markings/sec, 615 secs
lola: 11101095 markings, 11292268 edges, 18867 markings/sec, 620 secs
lola: 11194783 markings, 11387728 edges, 18738 markings/sec, 625 secs
lola: 11288221 markings, 11483022 edges, 18688 markings/sec, 630 secs
lola: 11381712 markings, 11578420 edges, 18698 markings/sec, 635 secs
lola: 11475232 markings, 11673732 edges, 18704 markings/sec, 640 secs
lola: 11568490 markings, 11768836 edges, 18652 markings/sec, 645 secs
lola: 11661721 markings, 11863958 edges, 18646 markings/sec, 650 secs
lola: 11755031 markings, 11959137 edges, 18662 markings/sec, 655 secs
lola: 11848131 markings, 12054031 edges, 18620 markings/sec, 660 secs
lola: 11941153 markings, 12148905 edges, 18604 markings/sec, 665 secs
lola: 12034291 markings, 12243957 edges, 18628 markings/sec, 670 secs
lola: 12127284 markings, 12338754 edges, 18599 markings/sec, 675 secs
lola: 12220119 markings, 12433442 edges, 18567 markings/sec, 680 secs
lola: 12313053 markings, 12528261 edges, 18587 markings/sec, 685 secs
lola: 12405955 markings, 12622938 edges, 18580 markings/sec, 690 secs
lola: 12498564 markings, 12717404 edges, 18522 markings/sec, 695 secs
lola: 12591131 markings, 12811847 edges, 18513 markings/sec, 700 secs
lola: 12684373 markings, 12906883 edges, 18648 markings/sec, 705 secs
lola: 12777331 markings, 13001691 edges, 18592 markings/sec, 710 secs
lola: 12870268 markings, 13096507 edges, 18587 markings/sec, 715 secs
lola: 12964088 markings, 13191138 edges, 18764 markings/sec, 720 secs
lola: 13058032 markings, 13285392 edges, 18789 markings/sec, 725 secs
lola: 13151967 markings, 13379722 edges, 18787 markings/sec, 730 secs
lola: 13245605 markings, 13474554 edges, 18728 markings/sec, 735 secs
lola: 13338709 markings, 13569514 edges, 18621 markings/sec, 740 secs
lola: 13431754 markings, 13664487 edges, 18609 markings/sec, 745 secs
lola: 13524872 markings, 13759556 edges, 18624 markings/sec, 750 secs
lola: 13617795 markings, 13854363 edges, 18585 markings/sec, 755 secs
lola: 13710431 markings, 13948947 edges, 18527 markings/sec, 760 secs
lola: 13803225 markings, 14043683 edges, 18559 markings/sec, 765 secs
lola: 13896105 markings, 14138398 edges, 18576 markings/sec, 770 secs
lola: 13988575 markings, 14232782 edges, 18494 markings/sec, 775 secs
lola: 14081113 markings, 14327265 edges, 18508 markings/sec, 780 secs
lola: 14173759 markings, 14421754 edges, 18529 markings/sec, 785 secs
lola: 14266004 markings, 14515902 edges, 18449 markings/sec, 790 secs
lola: 14358269 markings, 14610084 edges, 18453 markings/sec, 795 secs
lola: 14450787 markings, 14704547 edges, 18504 markings/sec, 800 secs
lola: 14543035 markings, 14798634 edges, 18450 markings/sec, 805 secs
lola: 14635206 markings, 14892706 edges, 18434 markings/sec, 810 secs
lola: 14727684 markings, 14987148 edges, 18496 markings/sec, 815 secs
lola: 14820520 markings, 15081853 edges, 18567 markings/sec, 820 secs
lola: 14913101 markings, 15176374 edges, 18516 markings/sec, 825 secs
lola: 15005922 markings, 15271034 edges, 18564 markings/sec, 830 secs
lola: 15100023 markings, 15365416 edges, 18820 markings/sec, 835 secs
lola: 15193858 markings, 15459633 edges, 18767 markings/sec, 840 secs
lola: 15287807 markings, 15553979 edges, 18790 markings/sec, 845 secs
lola: 15381206 markings, 15649052 edges, 18680 markings/sec, 850 secs
lola: 15474268 markings, 15744031 edges, 18612 markings/sec, 855 secs
lola: 15567296 markings, 15839016 edges, 18606 markings/sec, 860 secs
lola: 15660418 markings, 15934047 edges, 18624 markings/sec, 865 secs
lola: 15753144 markings, 16028633 edges, 18545 markings/sec, 870 secs
lola: 15845822 markings, 16123247 edges, 18536 markings/sec, 875 secs
lola: 15938588 markings, 16217982 edges, 18553 markings/sec, 880 secs
lola: 16031066 markings, 16312328 edges, 18496 markings/sec, 885 secs
lola: 16123349 markings, 16406509 edges, 18457 markings/sec, 890 secs
lola: 16215917 markings, 16501018 edges, 18514 markings/sec, 895 secs
lola: 16308402 markings, 16595360 edges, 18497 markings/sec, 900 secs
lola: 16400596 markings, 16689479 edges, 18439 markings/sec, 905 secs
lola: 16492810 markings, 16783633 edges, 18443 markings/sec, 910 secs
lola: 16585471 markings, 16878125 edges, 18532 markings/sec, 915 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 unknown unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 1573056 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p2170)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2170)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-06b-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: time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 unknown unknown unknown 1 1 1 unknown unknown
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 unknown unknown unknown 1 1 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 unknown 1 1 unknown unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 27808 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process

FORMULA ASLink-PT-06b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p1340)
lola: ========================================
lola: SUBTASK
lola: lola: memory consumption: 22756 KB
lola: time consumption: 3570 seconds
computing bound of an expression
lola: processed formula: MAX(p1340)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-06b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)

BK_TIME_CONFINEMENT_REACHED

--------------------
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-06b"
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-06b.tgz
mv ASLink-PT-06b 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-06b, 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-152749145300101"
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 ;