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 844K
-rw-r--r-- 1 mcc users 3.6K May 29 16:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 29 16:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 28 11:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.3K May 28 09:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 28 09:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 28 07:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K 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.5K May 27 05:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K 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.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 669K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ASLink-PT-04b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145200065
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527814629588

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-04b 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-04b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-04b @ 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: 4601/65536 symbol table entries, 177 collisions
lola: preprocessing...
lola: Size of bit vector: 2034
lola: finding significant places
lola: 2034 places, 2567 transitions, 1835 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3656 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-04b-UpperBounds.task
lola: MAX(p760) : MAX(p376) : MAX(p1803) : MAX(p1355) : MAX(p1195) : MAX(p1669) : MAX(p607) : MAX(p1892) : MAX(p1516) : MAX(p59) : MAX(p31) : MAX(p445) : MAX(p1522) : MAX(p1367) : MAX(p506) : MAX(p1497)
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(p760)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p760)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-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-04b-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(p376)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p376)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-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: 23 markings, 22 edges
lola: ========================================

FORMULA ASLink-PT-04b-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(p1803)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1803)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-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: 61062 markings, 175032 edges, 12212 markings/sec, 0 secs
lola: 134787 markings, 374284 edges, 14745 markings/sec, 5 secs
lola: 203232 markings, 575021 edges, 13689 markings/sec, 10 secs
lola: 271901 markings, 776227 edges, 13734 markings/sec, 15 secs
lola: 338532 markings, 955709 edges, 13326 markings/sec, 20 secs
lola: 407543 markings, 1135779 edges, 13802 markings/sec, 25 secs
lola: 465945 markings, 1336370 edges, 11680 markings/sec, 30 secs
lola: 523533 markings, 1538321 edges, 11518 markings/sec, 35 secs
lola: 591052 markings, 1733873 edges, 13504 markings/sec, 40 secs
lola: 662277 markings, 1925375 edges, 14245 markings/sec, 45 secs
lola: 732685 markings, 2117962 edges, 14082 markings/sec, 50 secs
lola: 803147 markings, 2309764 edges, 14092 markings/sec, 55 secs
lola: 873286 markings, 2500597 edges, 14028 markings/sec, 60 secs
lola: 943071 markings, 2692319 edges, 13957 markings/sec, 65 secs
lola: 1012596 markings, 2878865 edges, 13905 markings/sec, 70 secs
lola: 1084390 markings, 3073486 edges, 14359 markings/sec, 75 secs
lola: 1154557 markings, 3265283 edges, 14033 markings/sec, 80 secs
lola: 1223714 markings, 3455558 edges, 13831 markings/sec, 85 secs
lola: 1293419 markings, 3645518 edges, 13941 markings/sec, 90 secs
lola: 1363721 markings, 3836261 edges, 14060 markings/sec, 95 secs
lola: 1439982 markings, 4037463 edges, 15252 markings/sec, 100 secs
lola: 1519871 markings, 4244516 edges, 15978 markings/sec, 105 secs
lola: 1597296 markings, 4451841 edges, 15485 markings/sec, 110 secs
lola: 1670190 markings, 4647777 edges, 14579 markings/sec, 115 secs
lola: 1741193 markings, 4840571 edges, 14201 markings/sec, 120 secs
lola: 1811273 markings, 5032779 edges, 14016 markings/sec, 125 secs
lola: 1881897 markings, 5224519 edges, 14125 markings/sec, 130 secs
lola: 1952738 markings, 5416269 edges, 14168 markings/sec, 135 secs
lola: 2023772 markings, 5609104 edges, 14207 markings/sec, 140 secs
lola: 2095780 markings, 5803640 edges, 14402 markings/sec, 145 secs
lola: 2166543 markings, 5996567 edges, 14153 markings/sec, 150 secs
lola: 2236191 markings, 6188688 edges, 13930 markings/sec, 155 secs
lola: 2306689 markings, 6380413 edges, 14100 markings/sec, 160 secs
lola: 2377287 markings, 6572144 edges, 14120 markings/sec, 165 secs
lola: 2447738 markings, 6765290 edges, 14090 markings/sec, 170 secs
lola: 2526249 markings, 6969891 edges, 15702 markings/sec, 175 secs
lola: 2606087 markings, 7177697 edges, 15968 markings/sec, 180 secs
lola: 2682947 markings, 7384261 edges, 15372 markings/sec, 185 secs
lola: 2754869 markings, 7577301 edges, 14384 markings/sec, 190 secs
lola: 2825293 markings, 7769740 edges, 14085 markings/sec, 195 secs
lola: 2895486 markings, 7961348 edges, 14039 markings/sec, 200 secs
lola: 2966360 markings, 8153066 edges, 14175 markings/sec, 205 secs
lola: 3037103 markings, 8344749 edges, 14149 markings/sec, 210 secs
lola: 3107768 markings, 8538064 edges, 14133 markings/sec, 215 secs
lola: 3179749 markings, 8731334 edges, 14396 markings/sec, 220 secs
lola: 3249697 markings, 8924089 edges, 13990 markings/sec, 225 secs
lola: 3319963 markings, 9115394 edges, 14053 markings/sec, 230 secs
lola: 3390525 markings, 9306906 edges, 14112 markings/sec, 235 secs
lola: 3460594 markings, 9499191 edges, 14014 markings/sec, 240 secs
lola: 3531018 markings, 9691890 edges, 14085 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 298808 KB
lola: time consumption: 273 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1355)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1355)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 113 markings, 112 edges
lola:
FORMULA ASLink-PT-04b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1195)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-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: 158 markings, 157 edges
lola: ========================================

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

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

FORMULA ASLink-PT-04b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1892)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1892)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-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: 61482 markings, 176113 edges, 12296 markings/sec, 0 secs
lola: 135310 markings, 376856 edges, 14766 markings/sec, 5 secs
lola: 204700 markings, 579691 edges, 13878 markings/sec, 10 secs
lola: 272896 markings, 781547 edges, 13639 markings/sec, 15 secs
lola: 340942 markings, 961868 edges, 13609 markings/sec, 20 secs
lola: 410653 markings, 1145754 edges, 13942 markings/sec, 25 secs
lola: 469696 markings, 1349398 edges, 11809 markings/sec, 30 secs
lola: 528045 markings, 1554493 edges, 11670 markings/sec, 35 secs
lola: 598088 markings, 1752277 edges, 14009 markings/sec, 40 secs
lola: 669349 markings, 1947047 edges, 14252 markings/sec, 45 secs
lola: 740547 markings, 2141052 edges, 14240 markings/sec, 50 secs
lola: 812312 markings, 2335085 edges, 14353 markings/sec, 55 secs
lola: 883826 markings, 2528749 edges, 14303 markings/sec, 60 secs
lola: 955577 markings, 2723828 edges, 14350 markings/sec, 65 secs
lola: 1028166 markings, 2920617 edges, 14518 markings/sec, 70 secs
lola: 1099901 markings, 3115867 edges, 14347 markings/sec, 75 secs
lola: 1170826 markings, 3309675 edges, 14185 markings/sec, 80 secs
lola: 1241272 markings, 3504121 edges, 14089 markings/sec, 85 secs
lola: 1312363 markings, 3697941 edges, 14218 markings/sec, 90 secs
lola: 1383850 markings, 3892784 edges, 14297 markings/sec, 95 secs
lola: 1465012 markings, 4103328 edges, 16232 markings/sec, 100 secs
lola: 1546725 markings, 4316237 edges, 16343 markings/sec, 105 secs
lola: 1624841 markings, 4525968 edges, 15623 markings/sec, 110 secs
lola: 1697697 markings, 4723174 edges, 14571 markings/sec, 115 secs
lola: 1770434 markings, 4920599 edges, 14547 markings/sec, 120 secs
lola: 1842649 markings, 5116926 edges, 14443 markings/sec, 125 secs
lola: 1915160 markings, 5313254 edges, 14502 markings/sec, 130 secs
lola: 1987529 markings, 5509969 edges, 14474 markings/sec, 135 secs
lola: 2060170 markings, 5708616 edges, 14528 markings/sec, 140 secs
lola: 2133413 markings, 5906703 edges, 14649 markings/sec, 145 secs
lola: 2205798 markings, 6104036 edges, 14477 markings/sec, 150 secs
lola: 2277602 markings, 6300208 edges, 14361 markings/sec, 155 secs
lola: 2349353 markings, 6496289 edges, 14350 markings/sec, 160 secs
lola: 2420854 markings, 6693232 edges, 14300 markings/sec, 165 secs
lola: 2498775 markings, 6897806 edges, 15584 markings/sec, 170 secs
lola: 2580545 markings, 7110547 edges, 16354 markings/sec, 175 secs
lola: 2660687 markings, 7323861 edges, 16028 markings/sec, 180 secs
lola: 2735578 markings, 7525273 edges, 14978 markings/sec, 185 secs
lola: 2808071 markings, 7721935 edges, 14499 markings/sec, 190 secs
lola: 2879794 markings, 7918575 edges, 14345 markings/sec, 195 secs
lola: 2951708 markings, 8114768 edges, 14383 markings/sec, 200 secs
lola: 3023864 markings, 8310322 edges, 14431 markings/sec, 205 secs
lola: 3096462 markings, 8507220 edges, 14520 markings/sec, 210 secs
lola: 3170260 markings, 8705211 edges, 14760 markings/sec, 215 secs
lola: 3242634 markings, 8902258 edges, 14475 markings/sec, 220 secs
lola: 3314259 markings, 9098823 edges, 14325 markings/sec, 225 secs
lola: 3385929 markings, 9295688 edges, 14334 markings/sec, 230 secs
lola: 3457883 markings, 9491922 edges, 14391 markings/sec, 235 secs
lola: 3529888 markings, 9688661 edges, 14401 markings/sec, 240 secs
lola: 3611846 markings, 9900760 edges, 16392 markings/sec, 245 secs
lola: 3693374 markings, 10114069 edges, 16306 markings/sec, 250 secs
lola: 3770815 markings, 10321851 edges, 15488 markings/sec, 255 secs
lola: 3843898 markings, 10519197 edges, 14617 markings/sec, 260 secs
lola: 3916010 markings, 10715470 edges, 14422 markings/sec, 265 secs
lola: 3987442 markings, 10911390 edges, 14286 markings/sec, 270 secs
lola: 4059204 markings, 11106690 edges, 14352 markings/sec, 275 secs
lola: 4131381 markings, 11301871 edges, 14435 markings/sec, 280 secs
lola: 4203421 markings, 11497858 edges, 14408 markings/sec, 285 secs
lola: 4254575 markings, 11687609 edges, 10231 markings/sec, 290 secs
lola: 4326037 markings, 11872208 edges, 14292 markings/sec, 295 secs
lola: 4395683 markings, 12052620 edges, 13929 markings/sec, 300 secs
lola: 4455775 markings, 12252139 edges, 12018 markings/sec, 305 secs
lola: 4513845 markings, 12455501 edges, 11614 markings/sec, 310 secs
lola: 4581885 markings, 12652734 edges, 13608 markings/sec, 315 secs
lola: 4653110 markings, 12845815 edges, 14245 markings/sec, 320 secs
lola: 4724209 markings, 13038283 edges, 14220 markings/sec, 325 secs
lola: 4795028 markings, 13231209 edges, 14164 markings/sec, 330 secs
lola: 4865716 markings, 13424227 edges, 14138 markings/sec, 335 secs
lola: 4936897 markings, 13617416 edges, 14236 markings/sec, 340 secs
lola: 5008998 markings, 13811741 edges, 14420 markings/sec, 345 secs
lola: 5079342 markings, 14005508 edges, 14069 markings/sec, 350 secs
lola: 5149830 markings, 14197897 edges, 14098 markings/sec, 355 secs
lola: 5220706 markings, 14390577 edges, 14175 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 409420 KB
lola: time consumption: 642 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1516)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1516)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-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: 18 markings, 17 edges

FORMULA ASLink-PT-04b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 418 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p59)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-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: 82428 markings, 94463 edges, 16486 markings/sec, 30 secs
lola: 159570 markings, 198844 edges, 15428 markings/sec, 35 secs
lola: 239672 markings, 301322 edges, 16020 markings/sec, 40 secs
lola: 322526 markings, 393521 edges, 16571 markings/sec, 45 secs
lola: 405877 markings, 484688 edges, 16670 markings/sec, 50 secs
lola: 484178 markings, 588556 edges, 15660 markings/sec, 55 secs
lola: 562068 markings, 693174 edges, 15578 markings/sec, 60 secs
lola: 639836 markings, 797727 edges, 15554 markings/sec, 65 secs
lola: 717733 markings, 902366 edges, 15579 markings/sec, 70 secs
lola: 792230 markings, 1018056 edges, 14899 markings/sec, 75 secs
lola: 862824 markings, 1139838 edges, 14119 markings/sec, 80 secs
lola: 932109 markings, 1265759 edges, 13857 markings/sec, 85 secs
lola: 1005037 markings, 1387153 edges, 14586 markings/sec, 90 secs
lola: 1078710 markings, 1502480 edges, 14735 markings/sec, 95 secs
lola: 1152155 markings, 1617937 edges, 14689 markings/sec, 100 secs
lola: 1221607 markings, 1744111 edges, 13890 markings/sec, 105 secs
lola: 1290853 markings, 1870069 edges, 13849 markings/sec, 110 secs
lola: 1360321 markings, 1996025 edges, 13894 markings/sec, 115 secs
lola: 1429671 markings, 2121876 edges, 13870 markings/sec, 120 secs
lola: 1500422 markings, 2247109 edges, 14150 markings/sec, 125 secs
lola: 1573131 markings, 2365051 edges, 14542 markings/sec, 130 secs
lola: 1641276 markings, 2491190 edges, 13629 markings/sec, 135 secs
lola: 1712654 markings, 2615233 edges, 14276 markings/sec, 140 secs
lola: 1785638 markings, 2731800 edges, 14597 markings/sec, 145 secs
lola: 1859216 markings, 2846972 edges, 14716 markings/sec, 150 secs
lola: 1930399 markings, 2968657 edges, 14237 markings/sec, 155 secs
lola: 1999866 markings, 3094503 edges, 13893 markings/sec, 160 secs
lola: 2070046 markings, 3220504 edges, 14036 markings/sec, 165 secs
lola: 2139076 markings, 3346190 edges, 13806 markings/sec, 170 secs
lola: 2208251 markings, 3471956 edges, 13835 markings/sec, 175 secs
lola: 2289149 markings, 3578676 edges, 16180 markings/sec, 180 secs
lola: 2373945 markings, 3683939 edges, 16959 markings/sec, 185 secs
lola: 2459128 markings, 3790022 edges, 17037 markings/sec, 190 secs
lola: 2544651 markings, 3896062 edges, 17105 markings/sec, 195 secs
lola: 2629952 markings, 4002166 edges, 17060 markings/sec, 200 secs
lola: 2714942 markings, 4105722 edges, 16998 markings/sec, 205 secs
lola: 2800403 markings, 4209102 edges, 17092 markings/sec, 210 secs
lola: 2884195 markings, 4311263 edges, 16758 markings/sec, 215 secs
lola: 2965507 markings, 4410870 edges, 16262 markings/sec, 220 secs
lola: 3047356 markings, 4511943 edges, 16370 markings/sec, 225 secs
lola: 3130302 markings, 4614331 edges, 16589 markings/sec, 230 secs
lola: 3213211 markings, 4716415 edges, 16582 markings/sec, 235 secs
lola: 3297677 markings, 4819407 edges, 16893 markings/sec, 240 secs
lola: 3381103 markings, 4922295 edges, 16685 markings/sec, 245 secs
lola: 3465941 markings, 5025319 edges, 16968 markings/sec, 250 secs
lola: 3550388 markings, 5128358 edges, 16889 markings/sec, 255 secs
lola: 3633954 markings, 5231710 edges, 16713 markings/sec, 260 secs
lola: 3718649 markings, 5337012 edges, 16939 markings/sec, 265 secs
lola: 3801512 markings, 5441345 edges, 16573 markings/sec, 270 secs
lola: 3881658 markings, 5544219 edges, 16029 markings/sec, 275 secs
lola: 3961728 markings, 5648021 edges, 16014 markings/sec, 280 secs
lola: 4043309 markings, 5752593 edges, 16316 markings/sec, 285 secs
lola: 4125279 markings, 5856745 edges, 16394 markings/sec, 290 secs
lola: 4208438 markings, 5961791 edges, 16632 markings/sec, 295 secs
lola: 4290650 markings, 6066728 edges, 16442 markings/sec, 300 secs
lola: 4374153 markings, 6171344 edges, 16701 markings/sec, 305 secs
lola: 4457802 markings, 6276132 edges, 16730 markings/sec, 310 secs
lola: 4541205 markings, 6380447 edges, 16681 markings/sec, 315 secs
lola: 4625373 markings, 6486136 edges, 16834 markings/sec, 320 secs
lola: 4708743 markings, 6590604 edges, 16674 markings/sec, 325 secs
lola: 4789439 markings, 6693696 edges, 16139 markings/sec, 330 secs
lola: 4869183 markings, 6797042 edges, 15949 markings/sec, 335 secs
lola: 4950456 markings, 6901381 edges, 16255 markings/sec, 340 secs
lola: 5032126 markings, 7006018 edges, 16334 markings/sec, 345 secs
lola: 5115500 markings, 7110534 edges, 16675 markings/sec, 350 secs
lola: 5198462 markings, 7214960 edges, 16592 markings/sec, 355 secs
lola: 5280914 markings, 7319640 edges, 16490 markings/sec, 360 secs
lola: 5364665 markings, 7424781 edges, 16750 markings/sec, 365 secs
lola: 5448079 markings, 7529654 edges, 16683 markings/sec, 370 secs
lola: 5528812 markings, 7634498 edges, 16147 markings/sec, 375 secs
lola: 5612138 markings, 7738853 edges, 16665 markings/sec, 380 secs
lola: 5696682 markings, 7843915 edges, 16909 markings/sec, 385 secs
lola: 5782712 markings, 7948627 edges, 17206 markings/sec, 390 secs
lola: 5867683 markings, 8054007 edges, 16994 markings/sec, 395 secs
lola: 5952431 markings, 8159484 edges, 16950 markings/sec, 400 secs
lola: 6034779 markings, 8262235 edges, 16470 markings/sec, 405 secs
lola: 6118891 markings, 8366268 edges, 16822 markings/sec, 410 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 551508 KB
lola: time consumption: 1061 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 418 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p31)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-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: 87017 markings, 100446 edges, 17403 markings/sec, 30 secs
lola: 171138 markings, 205565 edges, 16824 markings/sec, 35 secs
lola: 253151 markings, 315648 edges, 16403 markings/sec, 40 secs
lola: 329826 markings, 413495 edges, 15335 markings/sec, 45 secs
lola: 413241 markings, 508114 edges, 16683 markings/sec, 50 secs
lola: 498470 markings, 600871 edges, 17046 markings/sec, 55 secs
lola: 582741 markings, 693203 edges, 16854 markings/sec, 60 secs
lola: 660589 markings, 797125 edges, 15570 markings/sec, 65 secs
lola: 743027 markings, 907018 edges, 16488 markings/sec, 70 secs
lola: 825831 markings, 1017321 edges, 16561 markings/sec, 75 secs
lola: 903885 markings, 1122087 edges, 15611 markings/sec, 80 secs
lola: 979162 markings, 1222705 edges, 15055 markings/sec, 85 secs
lola: 1060794 markings, 1334997 edges, 16326 markings/sec, 90 secs
lola: 1137453 markings, 1458691 edges, 15332 markings/sec, 95 secs
lola: 1211793 markings, 1585801 edges, 14868 markings/sec, 100 secs
lola: 1284320 markings, 1717157 edges, 14505 markings/sec, 105 secs
lola: 1355836 markings, 1843403 edges, 14303 markings/sec, 110 secs
lola: 1430569 markings, 1965915 edges, 14947 markings/sec, 115 secs
lola: 1508934 markings, 2088495 edges, 15673 markings/sec, 120 secs
lola: 1587381 markings, 2211099 edges, 15689 markings/sec, 125 secs
lola: 1665287 markings, 2338328 edges, 15581 markings/sec, 130 secs
lola: 1738784 markings, 2471787 edges, 14699 markings/sec, 135 secs
lola: 1812451 markings, 2605157 edges, 14733 markings/sec, 140 secs
lola: 1887401 markings, 2738578 edges, 14990 markings/sec, 145 secs
lola: 1960501 markings, 2871704 edges, 14620 markings/sec, 150 secs
lola: 2034335 markings, 3004838 edges, 14767 markings/sec, 155 secs
lola: 2108732 markings, 3137721 edges, 14879 markings/sec, 160 secs
lola: 2186459 markings, 3263380 edges, 15545 markings/sec, 165 secs
lola: 2261925 markings, 3392120 edges, 15093 markings/sec, 170 secs
lola: 2335403 markings, 3525175 edges, 14696 markings/sec, 175 secs
lola: 2410476 markings, 3657311 edges, 15015 markings/sec, 180 secs
lola: 2486783 markings, 3781864 edges, 15261 markings/sec, 185 secs
lola: 2562917 markings, 3900792 edges, 15227 markings/sec, 190 secs
lola: 2640584 markings, 4022266 edges, 15533 markings/sec, 195 secs
lola: 2717798 markings, 4148893 edges, 15443 markings/sec, 200 secs
lola: 2790611 markings, 4281302 edges, 14563 markings/sec, 205 secs
lola: 2863785 markings, 4413622 edges, 14635 markings/sec, 210 secs
lola: 2938244 markings, 4546207 edges, 14892 markings/sec, 215 secs
lola: 3010836 markings, 4678379 edges, 14518 markings/sec, 220 secs
lola: 3084017 markings, 4810231 edges, 14636 markings/sec, 225 secs
lola: 3157351 markings, 4943362 edges, 14667 markings/sec, 230 secs
lola: 3227035 markings, 5085984 edges, 13937 markings/sec, 235 secs
lola: 3295784 markings, 5228315 edges, 13750 markings/sec, 240 secs
lola: 3362141 markings, 5376130 edges, 13271 markings/sec, 245 secs
lola: 3428066 markings, 5523562 edges, 13185 markings/sec, 250 secs
lola: 3496945 markings, 5670092 edges, 13776 markings/sec, 255 secs
lola: 3566528 markings, 5809130 edges, 13917 markings/sec, 260 secs
lola: 3637441 markings, 5948913 edges, 14183 markings/sec, 265 secs
lola: 3707000 markings, 6087026 edges, 13912 markings/sec, 270 secs
lola: 3775429 markings, 6231823 edges, 13686 markings/sec, 275 secs
lola: 3842020 markings, 6379800 edges, 13318 markings/sec, 280 secs
lola: 3908264 markings, 6527727 edges, 13249 markings/sec, 285 secs
lola: 3975552 markings, 6676253 edges, 13458 markings/sec, 290 secs
lola: 4041690 markings, 6824067 edges, 13228 markings/sec, 295 secs
lola: 4109181 markings, 6972690 edges, 13498 markings/sec, 300 secs
lola: 4174999 markings, 7120223 edges, 13164 markings/sec, 305 secs
lola: 4239870 markings, 7277051 edges, 12974 markings/sec, 310 secs
lola: 4302735 markings, 7431577 edges, 12573 markings/sec, 315 secs
lola: 4363432 markings, 7591516 edges, 12139 markings/sec, 320 secs
lola: 4424116 markings, 7753717 edges, 12137 markings/sec, 325 secs
lola: 4483809 markings, 7915809 edges, 11939 markings/sec, 330 secs
lola: 4546591 markings, 8077005 edges, 12556 markings/sec, 335 secs
lola: 4609277 markings, 8232230 edges, 12537 markings/sec, 340 secs
lola: 4673188 markings, 8387579 edges, 12782 markings/sec, 345 secs
lola: 4736028 markings, 8541887 edges, 12568 markings/sec, 350 secs
lola: 4799503 markings, 8698986 edges, 12695 markings/sec, 355 secs
lola: 4859021 markings, 8860556 edges, 11904 markings/sec, 360 secs
lola: 4920187 markings, 9022971 edges, 12233 markings/sec, 365 secs
lola: 4979576 markings, 9184341 edges, 11878 markings/sec, 370 secs
lola: 5040775 markings, 9347023 edges, 12240 markings/sec, 375 secs
lola: 5100350 markings, 9508758 edges, 11915 markings/sec, 380 secs
lola: 5161517 markings, 9671391 edges, 12233 markings/sec, 385 secs
lola: 5221025 markings, 9832947 edges, 11902 markings/sec, 390 secs
lola: 5283064 markings, 9995511 edges, 12408 markings/sec, 395 secs
lola: 5345869 markings, 10151022 edges, 12561 markings/sec, 400 secs
lola: 5406930 markings, 10310232 edges, 12212 markings/sec, 405 secs
lola: 5467657 markings, 10472459 edges, 12145 markings/sec, 410 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 522736 KB
lola: time consumption: 1479 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 418 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p445)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p445)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-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
lola: ========================================

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

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

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

FORMULA ASLink-PT-04b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2088 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1497)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1497)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-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-04b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p1803)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1803)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-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: 58525 markings, 166553 edges, 11705 markings/sec, 0 secs
lola: 131522 markings, 364812 edges, 14599 markings/sec, 5 secs
lola: 200646 markings, 565839 edges, 13825 markings/sec, 10 secs
lola: 270303 markings, 766554 edges, 13931 markings/sec, 15 secs
lola: 334410 markings, 945148 edges, 12821 markings/sec, 20 secs
lola: 402934 markings, 1122976 edges, 13705 markings/sec, 25 secs
lola: 461536 markings, 1321074 edges, 11720 markings/sec, 30 secs
lola: 518798 markings, 1521767 edges, 11452 markings/sec, 35 secs
lola: 584392 markings, 1716188 edges, 13119 markings/sec, 40 secs
lola: 655126 markings, 1906795 edges, 14147 markings/sec, 45 secs
lola: 724320 markings, 2096740 edges, 13839 markings/sec, 50 secs
lola: 794225 markings, 2285932 edges, 13981 markings/sec, 55 secs
lola: 864377 markings, 2475279 edges, 14030 markings/sec, 60 secs
lola: 933922 markings, 2666144 edges, 13909 markings/sec, 65 secs
lola: 1004565 markings, 2857105 edges, 14129 markings/sec, 70 secs
lola: 1074133 markings, 3047320 edges, 13914 markings/sec, 75 secs
lola: 1144245 markings, 3237182 edges, 14022 markings/sec, 80 secs
lola: 1213806 markings, 3427094 edges, 13912 markings/sec, 85 secs
lola: 1283148 markings, 3616829 edges, 13868 markings/sec, 90 secs
lola: 1351885 markings, 3806451 edges, 13747 markings/sec, 95 secs
lola: 1427297 markings, 4004021 edges, 15082 markings/sec, 100 secs
lola: 1506390 markings, 4211018 edges, 15819 markings/sec, 105 secs
lola: 1585007 markings, 4418742 edges, 15723 markings/sec, 110 secs
lola: 1658412 markings, 4616383 edges, 14681 markings/sec, 115 secs
lola: 1729570 markings, 4808499 edges, 14232 markings/sec, 120 secs
lola: 1799958 markings, 5001154 edges, 14078 markings/sec, 125 secs
lola: 1870571 markings, 5192542 edges, 14123 markings/sec, 130 secs
lola: 1940384 markings, 5383650 edges, 13963 markings/sec, 135 secs
lola: 2010731 markings, 5575225 edges, 14069 markings/sec, 140 secs
lola: 2083036 markings, 5769209 edges, 14461 markings/sec, 145 secs
lola: 2153765 markings, 5961453 edges, 14146 markings/sec, 150 secs
lola: 2224062 markings, 6153989 edges, 14059 markings/sec, 155 secs
lola: 2293978 markings, 6344959 edges, 13983 markings/sec, 160 secs
lola: 2363255 markings, 6536377 edges, 13855 markings/sec, 165 secs
lola: 2433931 markings, 6728271 edges, 14135 markings/sec, 170 secs
lola: 2511234 markings, 6930722 edges, 15461 markings/sec, 175 secs
lola: 2591471 markings, 7138389 edges, 16047 markings/sec, 180 secs
lola: 2669173 markings, 7346601 edges, 15540 markings/sec, 185 secs
lola: 2741433 markings, 7540702 edges, 14452 markings/sec, 190 secs
lola: 2812262 markings, 7733629 edges, 14166 markings/sec, 195 secs
lola: 2882516 markings, 7924532 edges, 14051 markings/sec, 200 secs
lola: 2952109 markings, 8115880 edges, 13919 markings/sec, 205 secs
lola: 3022839 markings, 8306851 edges, 14146 markings/sec, 210 secs
lola: 3093782 markings, 8498548 edges, 14189 markings/sec, 215 secs
lola: 3165346 markings, 8692599 edges, 14313 markings/sec, 220 secs
lola: 3235915 markings, 8884826 edges, 14114 markings/sec, 225 secs
lola: 3305408 markings, 9076002 edges, 13899 markings/sec, 230 secs
lola: 3375332 markings, 9266987 edges, 13985 markings/sec, 235 secs
lola: 3445694 markings, 9457725 edges, 14072 markings/sec, 240 secs
lola: 3515865 markings, 9650219 edges, 14034 markings/sec, 245 secs
lola: 3594218 markings, 9854329 edges, 15671 markings/sec, 250 secs
lola: 3674106 markings, 10062096 edges, 15978 markings/sec, 255 secs
lola: 3750747 markings, 10268467 edges, 15328 markings/sec, 260 secs
lola: 3821224 markings, 10458830 edges, 14095 markings/sec, 265 secs
lola: 3892130 markings, 10650915 edges, 14181 markings/sec, 270 secs
lola: 3958723 markings, 10831975 edges, 13319 markings/sec, 275 secs
lola: 4028468 markings, 11021298 edges, 13949 markings/sec, 280 secs
lola: 4097328 markings, 11210677 edges, 13772 markings/sec, 285 secs
lola: 4167583 markings, 11400279 edges, 14051 markings/sec, 290 secs
lola: 4226368 markings, 11588312 edges, 11757 markings/sec, 295 secs
lola: 4286997 markings, 11773145 edges, 12126 markings/sec, 300 secs
lola: 4355662 markings, 11946462 edges, 13733 markings/sec, 305 secs
lola: 4420275 markings, 12128242 edges, 12923 markings/sec, 310 secs
lola: 4477376 markings, 12325212 edges, 11420 markings/sec, 315 secs
lola: 4533703 markings, 12523129 edges, 11265 markings/sec, 320 secs
lola: 4603809 markings, 12711149 edges, 14021 markings/sec, 325 secs
lola: 4672619 markings, 12899839 edges, 13762 markings/sec, 330 secs
lola: 4742321 markings, 13087335 edges, 13940 markings/sec, 335 secs
lola: 4810823 markings, 13275246 edges, 13700 markings/sec, 340 secs
lola: 4879648 markings, 13461594 edges, 13765 markings/sec, 345 secs
lola: 4948811 markings, 13650421 edges, 13833 markings/sec, 350 secs
lola: 5018669 markings, 13838388 edges, 13972 markings/sec, 355 secs
lola: 5087756 markings, 14026898 edges, 13817 markings/sec, 360 secs
lola: 5156104 markings, 14213949 edges, 13670 markings/sec, 365 secs
lola: 5223885 markings, 14400875 edges, 13556 markings/sec, 370 secs
lola: 5288960 markings, 14577832 edges, 13015 markings/sec, 375 secs
lola: 5361574 markings, 14770670 edges, 14523 markings/sec, 380 secs
lola: 5439682 markings, 14975783 edges, 15622 markings/sec, 385 secs
lola: 5518305 markings, 15182267 edges, 15725 markings/sec, 390 secs
lola: 5591577 markings, 15379355 edges, 14654 markings/sec, 395 secs
lola: 5662133 markings, 15570121 edges, 14111 markings/sec, 400 secs
lola: 5731994 markings, 15760448 edges, 13972 markings/sec, 405 secs
lola: 5801223 markings, 15949834 edges, 13846 markings/sec, 410 secs
lola: 5870940 markings, 16139357 edges, 13943 markings/sec, 415 secs
lola: 5941391 markings, 16329557 edges, 14090 markings/sec, 420 secs
lola: 6012618 markings, 16521631 edges, 14245 markings/sec, 425 secs
lola: 6082406 markings, 16713359 edges, 13958 markings/sec, 430 secs
lola: 6151967 markings, 16902779 edges, 13912 markings/sec, 435 secs
lola: 6220729 markings, 17092673 edges, 13752 markings/sec, 440 secs
lola: 6290772 markings, 17282425 edges, 14009 markings/sec, 445 secs
lola: 6361518 markings, 17475001 edges, 14149 markings/sec, 450 secs
lola: 6440861 markings, 17680789 edges, 15869 markings/sec, 455 secs
lola: 6519908 markings, 17887706 edges, 15809 markings/sec, 460 secs
lola: 6594048 markings, 18087287 edges, 14828 markings/sec, 465 secs
lola: 6664465 markings, 18277279 edges, 14083 markings/sec, 470 secs
lola: 6734749 markings, 18468794 edges, 14057 markings/sec, 475 secs
lola: 6804364 markings, 18657984 edges, 13923 markings/sec, 480 secs
lola: 6873140 markings, 18847016 edges, 13755 markings/sec, 485 secs
lola: 6943096 markings, 19035978 edges, 13991 markings/sec, 490 secs
lola: 7010999 markings, 19226072 edges, 13581 markings/sec, 495 secs
lola: 7062838 markings, 19409893 edges, 10368 markings/sec, 500 secs
lola: 7131544 markings, 19585094 edges, 13741 markings/sec, 505 secs
lola: 7198483 markings, 19760249 edges, 13388 markings/sec, 510 secs
lola: 7255550 markings, 19956464 edges, 11413 markings/sec, 515 secs
lola: 7311834 markings, 20154199 edges, 11257 markings/sec, 520 secs
lola: 7379379 markings, 20345092 edges, 13509 markings/sec, 525 secs
lola: 7447748 markings, 20532508 edges, 13674 markings/sec, 530 secs
lola: 7517234 markings, 20719160 edges, 13897 markings/sec, 535 secs
lola: 7585866 markings, 20907046 edges, 13726 markings/sec, 540 secs
lola: 7654637 markings, 21093347 edges, 13754 markings/sec, 545 secs
lola: 7722953 markings, 21280748 edges, 13663 markings/sec, 550 secs
lola: 7793288 markings, 21469328 edges, 14067 markings/sec, 555 secs
lola: 7862511 markings, 21657843 edges, 13845 markings/sec, 560 secs
lola: 7930872 markings, 21844930 edges, 13672 markings/sec, 565 secs
lola: 7998565 markings, 22031686 edges, 13539 markings/sec, 570 secs
lola: 8067785 markings, 22218412 edges, 13844 markings/sec, 575 secs
lola: 8136485 markings, 22407242 edges, 13740 markings/sec, 580 secs
lola: 8215666 markings, 22611614 edges, 15836 markings/sec, 585 secs
lola: 8294058 markings, 22816980 edges, 15678 markings/sec, 590 secs
lola: 8367671 markings, 23015288 edges, 14723 markings/sec, 595 secs
lola: 8437928 markings, 23204871 edges, 14051 markings/sec, 600 secs
lola: 8507520 markings, 23393853 edges, 13918 markings/sec, 605 secs
lola: 8575946 markings, 23581769 edges, 13685 markings/sec, 610 secs
lola: 8641753 markings, 23759094 edges, 13161 markings/sec, 615 secs
lola: 8711019 markings, 23947589 edges, 13853 markings/sec, 620 secs
lola: 8779851 markings, 24136734 edges, 13766 markings/sec, 625 secs
lola: 8830739 markings, 24320700 edges, 10178 markings/sec, 630 secs
lola: 8898841 markings, 24497425 edges, 13620 markings/sec, 635 secs
lola: 8965973 markings, 24670913 edges, 13426 markings/sec, 640 secs
lola: 9024157 markings, 24863724 edges, 11637 markings/sec, 645 secs
lola: 9080396 markings, 25060411 edges, 11248 markings/sec, 650 secs
lola: 9145120 markings, 25251755 edges, 12945 markings/sec, 655 secs
lola: 9213509 markings, 25437801 edges, 13678 markings/sec, 660 secs
lola: 9282490 markings, 25625487 edges, 13796 markings/sec, 665 secs
lola: 9351191 markings, 25811461 edges, 13740 markings/sec, 670 secs
lola: 9418662 markings, 25995260 edges, 13494 markings/sec, 675 secs
lola: 9485453 markings, 26178298 edges, 13358 markings/sec, 680 secs
lola: 9551928 markings, 26363990 edges, 13295 markings/sec, 685 secs
lola: 9602965 markings, 26544534 edges, 10207 markings/sec, 690 secs
lola: 9670466 markings, 26717973 edges, 13500 markings/sec, 695 secs
lola: 9719439 markings, 26891977 edges, 9795 markings/sec, 700 secs
lola: 9782424 markings, 27065458 edges, 12597 markings/sec, 705 secs
lola: 9844882 markings, 27237801 edges, 12492 markings/sec, 710 secs
lola: 9909588 markings, 27409716 edges, 12941 markings/sec, 715 secs
lola: 9956598 markings, 27596385 edges, 9402 markings/sec, 720 secs
lola: 10004224 markings, 27788645 edges, 9525 markings/sec, 725 secs
lola: 10052439 markings, 27980744 edges, 9643 markings/sec, 730 secs
lola: 10104796 markings, 28174448 edges, 10471 markings/sec, 735 secs
lola: 10156088 markings, 28367074 edges, 10258 markings/sec, 740 secs
lola: 10212290 markings, 28560578 edges, 11240 markings/sec, 745 secs
lola: 10256636 markings, 28750375 edges, 8869 markings/sec, 750 secs
lola: 10325076 markings, 28935887 edges, 13688 markings/sec, 755 secs
lola: 10393270 markings, 29120038 edges, 13639 markings/sec, 760 secs
lola: 10460939 markings, 29304855 edges, 13534 markings/sec, 765 secs
lola: 10528435 markings, 29488465 edges, 13499 markings/sec, 770 secs
lola: 10596134 markings, 29672381 edges, 13540 markings/sec, 775 secs
lola: 10660584 markings, 29855048 edges, 12890 markings/sec, 780 secs
lola: 10723292 markings, 30029597 edges, 12542 markings/sec, 785 secs
lola: 10763927 markings, 30211078 edges, 8127 markings/sec, 790 secs
lola: 10819485 markings, 30407471 edges, 11112 markings/sec, 795 secs
lola: 10851251 markings, 30596942 edges, 6353 markings/sec, 800 secs
lola: 10919674 markings, 30781610 edges, 13685 markings/sec, 805 secs
lola: 10987379 markings, 30964901 edges, 13541 markings/sec, 810 secs
lola: 11054677 markings, 31148562 edges, 13460 markings/sec, 815 secs
lola: 11121560 markings, 31331269 edges, 13377 markings/sec, 820 secs
lola: 11189376 markings, 31514163 edges, 13563 markings/sec, 825 secs
lola: 11256815 markings, 31699012 edges, 13488 markings/sec, 830 secs
lola: 11321159 markings, 31873140 edges, 12869 markings/sec, 835 secs
lola: 11360329 markings, 32049099 edges, 7834 markings/sec, 840 secs
lola: 11416533 markings, 32245924 edges, 11241 markings/sec, 845 secs
lola: 11454199 markings, 32436802 edges, 7533 markings/sec, 850 secs
lola: 11512976 markings, 32623564 edges, 11755 markings/sec, 855 secs
lola: 11580392 markings, 32805790 edges, 13483 markings/sec, 860 secs
lola: 11647498 markings, 32989083 edges, 13421 markings/sec, 865 secs
lola: 11713438 markings, 33170446 edges, 13188 markings/sec, 870 secs
lola: 11780931 markings, 33351668 edges, 13499 markings/sec, 875 secs
lola: 11847651 markings, 33533571 edges, 13344 markings/sec, 880 secs
lola: 11899409 markings, 33716651 edges, 10352 markings/sec, 885 secs
lola: 11976838 markings, 33918839 edges, 15486 markings/sec, 890 secs
lola: 12025615 markings, 34113439 edges, 9755 markings/sec, 895 secs
lola: 12102052 markings, 34314160 edges, 15287 markings/sec, 900 secs
lola: 12172296 markings, 34514048 edges, 14049 markings/sec, 905 secs
lola: 12241136 markings, 34712253 edges, 13768 markings/sec, 910 secs
lola: 12318049 markings, 34911523 edges, 15383 markings/sec, 915 secs
lola: 12366372 markings, 35105166 edges, 9665 markings/sec, 920 secs
lola: 12436328 markings, 35293426 edges, 13991 markings/sec, 925 secs
lola: 12504479 markings, 35479821 edges, 13630 markings/sec, 930 secs
lola: 12573009 markings, 35665696 edges, 13706 markings/sec, 935 secs
lola: 12641708 markings, 35851995 edges, 13740 markings/sec, 940 secs
lola: 12710170 markings, 36038430 edges, 13692 markings/sec, 945 secs
lola: 12774002 markings, 36224032 edges, 12766 markings/sec, 950 secs
lola: 12843756 markings, 36398288 edges, 13951 markings/sec, 955 secs
lola: 12909240 markings, 36579253 edges, 13097 markings/sec, 960 secs
lola: 12966465 markings, 36777124 edges, 11445 markings/sec, 965 secs
lola: 13022336 markings, 36976164 edges, 11174 markings/sec, 970 secs
lola: 13091891 markings, 37164987 edges, 13911 markings/sec, 975 secs
lola: 13162163 markings, 37353607 edges, 14054 markings/sec, 980 secs
lola: 13231143 markings, 37541474 edges, 13796 markings/sec, 985 secs
lola: 13298974 markings, 37728052 edges, 13566 markings/sec, 990 secs
lola: 13368139 markings, 37914550 edges, 13833 markings/sec, 995 secs
lola: 13437194 markings, 38102131 edges, 13811 markings/sec, 1000 secs
lola: 13489046 markings, 38285597 edges, 10370 markings/sec, 1005 secs
lola: 13551333 markings, 38479730 edges, 12457 markings/sec, 1010 secs
lola: 13620245 markings, 38681711 edges, 13782 markings/sec, 1015 secs
lola: 13658154 markings, 38871142 edges, 7582 markings/sec, 1020 secs
lola: 13723777 markings, 39046789 edges, 13125 markings/sec, 1025 secs
lola: 13792051 markings, 39232781 edges, 13655 markings/sec, 1030 secs
lola: 13859453 markings, 39417456 edges, 13480 markings/sec, 1035 secs
lola: 13928168 markings, 39602225 edges, 13743 markings/sec, 1040 secs
lola: 13996034 markings, 39787841 edges, 13573 markings/sec, 1045 secs
lola: 14059456 markings, 39971922 edges, 12684 markings/sec, 1050 secs
lola: 14127858 markings, 40146323 edges, 13680 markings/sec, 1055 secs
lola: 14185116 markings, 40343555 edges, 11452 markings/sec, 1060 secs
lola: 14252965 markings, 40534523 edges, 13570 markings/sec, 1065 secs
lola: 14321991 markings, 40722142 edges, 13805 markings/sec, 1070 secs
lola: 14391123 markings, 40909658 edges, 13826 markings/sec, 1075 secs
lola: 14459829 markings, 41096916 edges, 13741 markings/sec, 1080 secs
lola: 14527622 markings, 41283294 edges, 13559 markings/sec, 1085 secs
lola: 14596719 markings, 41469553 edges, 13819 markings/sec, 1090 secs
lola: 14655618 markings, 41655494 edges, 11780 markings/sec, 1095 secs
lola: 14709010 markings, 41843344 edges, 10678 markings/sec, 1100 secs
lola: 14786605 markings, 42047009 edges, 15519 markings/sec, 1105 secs
lola: 14818282 markings, 42237184 edges, 6335 markings/sec, 1110 secs
lola: 14885998 markings, 42423410 edges, 13543 markings/sec, 1115 secs
lola: 14954850 markings, 42607815 edges, 13770 markings/sec, 1120 secs
lola: 15022373 markings, 42792637 edges, 13505 markings/sec, 1125 secs
lola: 15088968 markings, 42975687 edges, 13319 markings/sec, 1130 secs
lola: 15157349 markings, 43158814 edges, 13676 markings/sec, 1135 secs
lola: 15225148 markings, 43344328 edges, 13560 markings/sec, 1140 secs
lola: 15280986 markings, 43534910 edges, 11168 markings/sec, 1145 secs
lola: 15356956 markings, 43738612 edges, 15194 markings/sec, 1150 secs
lola: 15408051 markings, 43935069 edges, 10219 markings/sec, 1155 secs
lola: 15485097 markings, 44137307 edges, 15409 markings/sec, 1160 secs
lola: 15555419 markings, 44337198 edges, 14064 markings/sec, 1165 secs
lola: 15625455 markings, 44536533 edges, 14007 markings/sec, 1170 secs
lola: 15699837 markings, 44735421 edges, 14876 markings/sec, 1175 secs
lola: 15747782 markings, 44925778 edges, 9589 markings/sec, 1180 secs
lola: 15817295 markings, 45112584 edges, 13903 markings/sec, 1185 secs
lola: 15885660 markings, 45300071 edges, 13673 markings/sec, 1190 secs
lola: 15953779 markings, 45485511 edges, 13624 markings/sec, 1195 secs
lola: 16021584 markings, 45669784 edges, 13561 markings/sec, 1200 secs
lola: 16089667 markings, 45854645 edges, 13617 markings/sec, 1205 secs
lola: 16153540 markings, 46034094 edges, 12775 markings/sec, 1210 secs
lola: 16221219 markings, 46207052 edges, 13536 markings/sec, 1215 secs
lola: 16283051 markings, 46392748 edges, 12366 markings/sec, 1220 secs
lola: 16339555 markings, 46588501 edges, 11301 markings/sec, 1225 secs
lola: 16398536 markings, 46782585 edges, 11796 markings/sec, 1230 secs
lola: 16467189 markings, 46968374 edges, 13731 markings/sec, 1235 secs
lola: 16536195 markings, 47153879 edges, 13801 markings/sec, 1240 secs
lola: 16604016 markings, 47339462 edges, 13564 markings/sec, 1245 secs
lola: 16671196 markings, 47524120 edges, 13436 markings/sec, 1250 secs
lola: 16739926 markings, 47709027 edges, 13746 markings/sec, 1255 secs
lola: 16808696 markings, 47896114 edges, 13754 markings/sec, 1260 secs
lola: 16877570 markings, 48081980 edges, 13775 markings/sec, 1265 secs
lola: 16944776 markings, 48267158 edges, 13441 markings/sec, 1270 secs
lola: 17012799 markings, 48451524 edges, 13605 markings/sec, 1275 secs
lola: 17080420 markings, 48636641 edges, 13524 markings/sec, 1280 secs
lola: 17147410 markings, 48821470 edges, 13398 markings/sec, 1285 secs
lola: 17220613 markings, 49013876 edges, 14641 markings/sec, 1290 secs
lola: 17297696 markings, 49215547 edges, 15417 markings/sec, 1295 secs
lola: 17374391 markings, 49418001 edges, 15339 markings/sec, 1300 secs
lola: 17445626 markings, 49610077 edges, 14247 markings/sec, 1305 secs
lola: 17513225 markings, 49795908 edges, 13520 markings/sec, 1310 secs
lola: 17583152 markings, 49983281 edges, 13985 markings/sec, 1315 secs
lola: 17650982 markings, 50169408 edges, 13566 markings/sec, 1320 secs
lola: 17720065 markings, 50354870 edges, 13817 markings/sec, 1325 secs
lola: 17788394 markings, 50541844 edges, 13666 markings/sec, 1330 secs
lola: 17850519 markings, 50727923 edges, 12425 markings/sec, 1335 secs
lola: 17899787 markings, 50913904 edges, 9854 markings/sec, 1340 secs
lola: 17977772 markings, 51118828 edges, 15597 markings/sec, 1345 secs
lola: 18014330 markings, 51310270 edges, 7312 markings/sec, 1350 secs
lola: 18079686 markings, 51498583 edges, 13071 markings/sec, 1355 secs
lola: 18148115 markings, 51685627 edges, 13686 markings/sec, 1360 secs
lola: 18215390 markings, 51870149 edges, 13455 markings/sec, 1365 secs
lola: 18283640 markings, 52054386 edges, 13650 markings/sec, 1370 secs
lola: 18349031 markings, 52232150 edges, 13078 markings/sec, 1375 secs
lola: 18416323 markings, 52417231 edges, 13458 markings/sec, 1380 secs
lola: 18481204 markings, 52593579 edges, 12976 markings/sec, 1385 secs
lola: 18541569 markings, 52785619 edges, 12073 markings/sec, 1390 secs
lola: 18605830 markings, 52978989 edges, 12852 markings/sec, 1395 secs
lola: 18675267 markings, 53167118 edges, 13887 markings/sec, 1400 secs
lola: 18744520 markings, 53355129 edges, 13851 markings/sec, 1405 secs
lola: 18813373 markings, 53542696 edges, 13771 markings/sec, 1410 secs
lola: 18881196 markings, 53729189 edges, 13565 markings/sec, 1415 secs
lola: 18950321 markings, 53915709 edges, 13825 markings/sec, 1420 secs
lola: 19020293 markings, 54104881 edges, 13994 markings/sec, 1425 secs
lola: 19099290 markings, 54309441 edges, 15799 markings/sec, 1430 secs
lola: 19172911 markings, 54505727 edges, 14724 markings/sec, 1435 secs
lola: 19242840 markings, 54694831 edges, 13986 markings/sec, 1440 secs
lola: 19311685 markings, 54884180 edges, 13769 markings/sec, 1445 secs
lola: 19381191 markings, 55070912 edges, 13901 markings/sec, 1450 secs
lola: 19449321 markings, 55257317 edges, 13626 markings/sec, 1455 secs
lola: 19516963 markings, 55442221 edges, 13528 markings/sec, 1460 secs
lola: 19581773 markings, 55627450 edges, 12962 markings/sec, 1465 secs
lola: 19625648 markings, 55806993 edges, 8775 markings/sec, 1470 secs
lola: 19702124 markings, 56008067 edges, 15295 markings/sec, 1475 secs
lola: 19743960 markings, 56197880 edges, 8367 markings/sec, 1480 secs
lola: 19802129 markings, 56382808 edges, 11634 markings/sec, 1485 secs
lola: 19869193 markings, 56563588 edges, 13413 markings/sec, 1490 secs
lola: 19935561 markings, 56745106 edges, 13274 markings/sec, 1495 secs
lola: 20001520 markings, 56925211 edges, 13192 markings/sec, 1500 secs
lola: 20068285 markings, 57106476 edges, 13353 markings/sec, 1505 secs
lola: 20134223 markings, 57286847 edges, 13188 markings/sec, 1510 secs
lola: 20185052 markings, 57467252 edges, 10166 markings/sec, 1515 secs
lola: 20262600 markings, 57668966 edges, 15510 markings/sec, 1520 secs
lola: 20311044 markings, 57863012 edges, 9689 markings/sec, 1525 secs
lola: 20387015 markings, 58062279 edges, 15194 markings/sec, 1530 secs
lola: 20456392 markings, 58259664 edges, 13875 markings/sec, 1535 secs
lola: 20528106 markings, 58456375 edges, 14343 markings/sec, 1540 secs
lola: 20600155 markings, 58652378 edges, 14410 markings/sec, 1545 secs
lola: 20649410 markings, 58843285 edges, 9851 markings/sec, 1550 secs
lola: 20716356 markings, 59028412 edges, 13389 markings/sec, 1555 secs
lola: 20784413 markings, 59212558 edges, 13611 markings/sec, 1560 secs
lola: 20851598 markings, 59395589 edges, 13437 markings/sec, 1565 secs
lola: 20918202 markings, 59577284 edges, 13321 markings/sec, 1570 secs
lola: 20986649 markings, 59762882 edges, 13689 markings/sec, 1575 secs
lola: 21055063 markings, 59949193 edges, 13683 markings/sec, 1580 secs
lola: 21119175 markings, 60124180 edges, 12822 markings/sec, 1585 secs
lola: 21186963 markings, 60300497 edges, 13558 markings/sec, 1590 secs
lola: 21244379 markings, 60498024 edges, 11483 markings/sec, 1595 secs
lola: 21301102 markings, 60696858 edges, 11345 markings/sec, 1600 secs
lola: 21368868 markings, 60888736 edges, 13553 markings/sec, 1605 secs
lola: 21437319 markings, 61076228 edges, 13690 markings/sec, 1610 secs
lola: 21503727 markings, 61254945 edges, 13282 markings/sec, 1615 secs
lola: 21573200 markings, 61444208 edges, 13895 markings/sec, 1620 secs
lola: 21642241 markings, 61633302 edges, 13808 markings/sec, 1625 secs
lola: 21710458 markings, 61818213 edges, 13643 markings/sec, 1630 secs
lola: 21779989 markings, 62004724 edges, 13906 markings/sec, 1635 secs
lola: 21848004 markings, 62190672 edges, 13603 markings/sec, 1640 secs
lola: 21914746 markings, 62374929 edges, 13348 markings/sec, 1645 secs
lola: 21982949 markings, 62559008 edges, 13641 markings/sec, 1650 secs
lola: 22050390 markings, 62744136 edges, 13488 markings/sec, 1655 secs
lola: 22117343 markings, 62929083 edges, 13391 markings/sec, 1660 secs
lola: 22189599 markings, 63114554 edges, 14451 markings/sec, 1665 secs
lola: 22269093 markings, 63321889 edges, 15899 markings/sec, 1670 secs
lola: 22343698 markings, 63522463 edges, 14921 markings/sec, 1675 secs
lola: 22409078 markings, 63697942 edges, 13076 markings/sec, 1680 secs
lola: 22478358 markings, 63886750 edges, 13856 markings/sec, 1685 secs
lola: 22546666 markings, 64074001 edges, 13662 markings/sec, 1690 secs
lola: 22615769 markings, 64260992 edges, 13821 markings/sec, 1695 secs
lola: 22684867 markings, 64448295 edges, 13820 markings/sec, 1700 secs
lola: 22747160 markings, 64618389 edges, 12459 markings/sec, 1705 secs
lola: 22818247 markings, 64810266 edges, 14217 markings/sec, 1710 secs
lola: 22888833 markings, 65001924 edges, 14117 markings/sec, 1715 secs
lola: 22958575 markings, 65193629 edges, 13948 markings/sec, 1720 secs
lola: 23028424 markings, 65384369 edges, 13970 markings/sec, 1725 secs
lola: 23097631 markings, 65575281 edges, 13841 markings/sec, 1730 secs
lola: 23173434 markings, 65774387 edges, 15161 markings/sec, 1735 secs
lola: 23253376 markings, 65981769 edges, 15988 markings/sec, 1740 secs
lola: 23331277 markings, 66189542 edges, 15580 markings/sec, 1745 secs
lola: 23402720 markings, 66382319 edges, 14289 markings/sec, 1750 secs
lola: 23471108 markings, 66569387 edges, 13678 markings/sec, 1755 secs
lola: 23540214 markings, 66755396 edges, 13821 markings/sec, 1760 secs
lola: 23608263 markings, 66941647 edges, 13610 markings/sec, 1765 secs
lola: 23676406 markings, 67126535 edges, 13629 markings/sec, 1770 secs
lola: 23744448 markings, 67311804 edges, 13608 markings/sec, 1775 secs
lola: 23802338 markings, 67495573 edges, 11578 markings/sec, 1780 secs
lola: 23855402 markings, 67681716 edges, 10613 markings/sec, 1785 secs
lola: 23932140 markings, 67883281 edges, 15348 markings/sec, 1790 secs
lola: 23964041 markings, 68070898 edges, 6380 markings/sec, 1795 secs
lola: 24030528 markings, 68255454 edges, 13297 markings/sec, 1800 secs
lola: 24098240 markings, 68439044 edges, 13542 markings/sec, 1805 secs
lola: 24164799 markings, 68620650 edges, 13312 markings/sec, 1810 secs
lola: 24231604 markings, 68802143 edges, 13361 markings/sec, 1815 secs
lola: 24298862 markings, 68985528 edges, 13452 markings/sec, 1820 secs
lola: 24365519 markings, 69167863 edges, 13331 markings/sec, 1825 secs
lola: 24429287 markings, 69341365 edges, 12754 markings/sec, 1830 secs
lola: 24488805 markings, 69530363 edges, 11904 markings/sec, 1835 secs
lola: 24551645 markings, 69720890 edges, 12568 markings/sec, 1840 secs
lola: 24620640 markings, 69906203 edges, 13799 markings/sec, 1845 secs
lola: 24688889 markings, 70093157 edges, 13650 markings/sec, 1850 secs
lola: 24755861 markings, 70277075 edges, 13394 markings/sec, 1855 secs
lola: 24824043 markings, 70460625 edges, 13636 markings/sec, 1860 secs
lola: 24891717 markings, 70645489 edges, 13535 markings/sec, 1865 secs
lola: 24959299 markings, 70829833 edges, 13516 markings/sec, 1870 secs
lola: 25037253 markings, 71030795 edges, 15591 markings/sec, 1875 secs
lola: 25110287 markings, 71225454 edges, 14607 markings/sec, 1880 secs
lola: 25179850 markings, 71412437 edges, 13913 markings/sec, 1885 secs
lola: 25248436 markings, 71599596 edges, 13717 markings/sec, 1890 secs
lola: 25315749 markings, 71784679 edges, 13463 markings/sec, 1895 secs
lola: 25384638 markings, 71969725 edges, 13778 markings/sec, 1900 secs
lola: 25452682 markings, 72155987 edges, 13609 markings/sec, 1905 secs
lola: 25520882 markings, 72341419 edges, 13640 markings/sec, 1910 secs
lola: 25598973 markings, 72543050 edges, 15618 markings/sec, 1915 secs
lola: 25672216 markings, 72737987 edges, 14649 markings/sec, 1920 secs
lola: 25741398 markings, 72924167 edges, 13836 markings/sec, 1925 secs
lola: 25809828 markings, 73111193 edges, 13686 markings/sec, 1930 secs
lola: 25877121 markings, 73296159 edges, 13459 markings/sec, 1935 secs
lola: 25945831 markings, 73480991 edges, 13742 markings/sec, 1940 secs
lola: 26013950 markings, 73667360 edges, 13624 markings/sec, 1945 secs
lola: 26082271 markings, 73852521 edges, 13664 markings/sec, 1950 secs
lola: 26119837 markings, 74029182 edges, 7513 markings/sec, 1955 secs
lola: 26197985 markings, 74231295 edges, 15630 markings/sec, 1960 secs
lola: 26247345 markings, 74424777 edges, 9872 markings/sec, 1965 secs
lola: 26299552 markings, 74609685 edges, 10441 markings/sec, 1970 secs
lola: 26366164 markings, 74791717 edges, 13322 markings/sec, 1975 secs
lola: 26433598 markings, 74972475 edges, 13487 markings/sec, 1980 secs
lola: 26500203 markings, 75154559 edges, 13321 markings/sec, 1985 secs
lola: 26566224 markings, 75335402 edges, 13204 markings/sec, 1990 secs
lola: 26634221 markings, 75519055 edges, 13599 markings/sec, 1995 secs
lola: 26685226 markings, 75700769 edges, 10201 markings/sec, 2000 secs
lola: 26748217 markings, 75886761 edges, 12598 markings/sec, 2005 secs
lola: 26811255 markings, 76074593 edges, 12608 markings/sec, 2010 secs
lola: 26866290 markings, 76279239 edges, 11007 markings/sec, 2015 secs
lola: 26919937 markings, 76486808 edges, 10729 markings/sec, 2020 secs
lola: 26978339 markings, 76690623 edges, 11680 markings/sec, 2025 secs
lola: 27043608 markings, 76888377 edges, 13054 markings/sec, 2030 secs
lola: 27109648 markings, 77085451 edges, 13208 markings/sec, 2035 secs
lola: 27174381 markings, 77282496 edges, 12947 markings/sec, 2040 secs
lola: 27239424 markings, 77479055 edges, 13009 markings/sec, 2045 secs
lola: 27304505 markings, 77676303 edges, 13016 markings/sec, 2050 secs
lola: 27369308 markings, 77873679 edges, 12961 markings/sec, 2055 secs
lola: 27435841 markings, 78072526 edges, 13307 markings/sec, 2060 secs
lola: 27500863 markings, 78270084 edges, 13004 markings/sec, 2065 secs
lola: 27566206 markings, 78467416 edges, 13069 markings/sec, 2070 secs
lola: 27630289 markings, 78663790 edges, 12817 markings/sec, 2075 secs
lola: 27695559 markings, 78860827 edges, 13054 markings/sec, 2080 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown 1 unknown unknown 1 1 1 1 1
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown 1 unknown unknown 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown 1 unknown unknown 1 1 1 1 1
lola: memory consumption: 1869040 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 1 1 1 unknown 1 unknown unknown 1 1 1 1 1
lola: memory consumption: 1869112 KB
lola: time consumption: 3570 seconds

BK_STOP 1527818199905

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