Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r011-smll-155225030000037.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3957
Executing tool win2018
Input is ASLink-PT-06b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-smll-155225030000037
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.3K Feb 9 05:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 9 05:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 5 02:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 5 02:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.6K Feb 4 22:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.6K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 1 23:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 1 23:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jan 29 09:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Jan 29 09:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 921K Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-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 1552294264574

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-06b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
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(p2378) : MAX(p2806) : MAX(p2450) : MAX(p1028) : MAX(p795) : MAX(p2191) : MAX(p20) : MAX(p235) : MAX(p2495) : MAX(p1179) : MAX(p119) : MAX(p800) : MAX(p1194) : MAX(p2746) : MAX(p2638) : MAX(p58)
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(p2378)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2378)
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: 78 markings, 77 edges
lola: ========================================

FORMULA ASLink-PT-06b-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(p2806)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2806)
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-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2450)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2450)
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: 6 markings, 5 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 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1028)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1028)
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: 102222 markings, 107152 edges, 20444 markings/sec, 30 secs
lola: 183833 markings, 211457 edges, 16322 markings/sec, 35 secs
lola: 257930 markings, 333992 edges, 14819 markings/sec, 40 secs
lola: 321247 markings, 464120 edges, 12663 markings/sec, 45 secs
lola: 384220 markings, 595449 edges, 12595 markings/sec, 50 secs
lola: 461787 markings, 707034 edges, 15513 markings/sec, 55 secs
lola: 538740 markings, 813347 edges, 15391 markings/sec, 60 secs
lola: 602119 markings, 938389 edges, 12676 markings/sec, 65 secs
lola: 665530 markings, 1072378 edges, 12682 markings/sec, 70 secs
lola: 734702 markings, 1194321 edges, 13834 markings/sec, 75 secs
lola: 813601 markings, 1302253 edges, 15780 markings/sec, 80 secs
lola: 884699 markings, 1420395 edges, 14220 markings/sec, 85 secs
lola: 947319 markings, 1548937 edges, 12524 markings/sec, 90 secs
lola: 1009357 markings, 1679809 edges, 12408 markings/sec, 95 secs
lola: 1086081 markings, 1787571 edges, 15345 markings/sec, 100 secs
lola: 1163280 markings, 1894794 edges, 15440 markings/sec, 105 secs
lola: 1226468 markings, 2020445 edges, 12638 markings/sec, 110 secs
lola: 1290576 markings, 2155292 edges, 12822 markings/sec, 115 secs
lola: 1361959 markings, 2275625 edges, 14277 markings/sec, 120 secs
lola: 1441706 markings, 2387305 edges, 15949 markings/sec, 125 secs
lola: 1512544 markings, 2508976 edges, 14168 markings/sec, 130 secs
lola: 1575668 markings, 2638393 edges, 12625 markings/sec, 135 secs
lola: 1637692 markings, 2771198 edges, 12405 markings/sec, 140 secs
lola: 1716383 markings, 2872789 edges, 15738 markings/sec, 145 secs
lola: 1793643 markings, 2987547 edges, 15452 markings/sec, 150 secs
lola: 1854138 markings, 3110795 edges, 12099 markings/sec, 155 secs
lola: 1919164 markings, 3245235 edges, 13005 markings/sec, 160 secs
lola: 1992102 markings, 3360572 edges, 14588 markings/sec, 165 secs
lola: 2070201 markings, 3470743 edges, 15620 markings/sec, 170 secs
lola: 2137686 markings, 3592075 edges, 13497 markings/sec, 175 secs
lola: 2200551 markings, 3722513 edges, 12573 markings/sec, 180 secs
lola: 2265010 markings, 3853879 edges, 12892 markings/sec, 185 secs
lola: 2346688 markings, 3958504 edges, 16336 markings/sec, 190 secs
lola: 2423595 markings, 4080339 edges, 15381 markings/sec, 195 secs
lola: 2486631 markings, 4210464 edges, 12607 markings/sec, 200 secs
lola: 2551814 markings, 4344515 edges, 13037 markings/sec, 205 secs
lola: 2629125 markings, 4457318 edges, 15462 markings/sec, 210 secs
lola: 2710275 markings, 4571403 edges, 16230 markings/sec, 215 secs
lola: 2771782 markings, 4692800 edges, 12301 markings/sec, 220 secs
lola: 2836380 markings, 4829131 edges, 12920 markings/sec, 225 secs
lola: 2906771 markings, 4952731 edges, 14078 markings/sec, 230 secs
lola: 2983399 markings, 5057068 edges, 15326 markings/sec, 235 secs
lola: 3055806 markings, 5177661 edges, 14481 markings/sec, 240 secs
lola: 3118976 markings, 5307139 edges, 12634 markings/sec, 245 secs
lola: 3181594 markings, 5439099 edges, 12524 markings/sec, 250 secs
lola: 3260780 markings, 5549165 edges, 15837 markings/sec, 255 secs
lola: 3341118 markings, 5664197 edges, 16068 markings/sec, 260 secs
lola: 3401757 markings, 5787693 edges, 12128 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 555048 KB
lola: time consumption: 301 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p795)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p795)
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: 355 markings, 354 edges
lola:
========================================
FORMULA ASLink-PT-06b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2191)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2191)
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: 135 markings, 134 edges

FORMULA ASLink-PT-06b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p20)
lola: processed formula length: 8
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: 453 markings, 452 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 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p235)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p235)
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: 23 markings, 22 edges

FORMULA ASLink-PT-06b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 8 will run for 407 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2495)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2495)
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: 51 markings, 50 edges
lola: ========================================

FORMULA ASLink-PT-06b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 465 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1179)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1179)
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: 23 markings, 22 edges

FORMULA ASLink-PT-06b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: ========================================
subprocess 10 will run for 542 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p119)
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: 376 markings, 375 edges

FORMULA ASLink-PT-06b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 651 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p800)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p800)
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: 348 markings, 347 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 813 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1194)
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: 284 markings, 283 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 1084 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2746)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2746)
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: 40 markings, 39 edges

FORMULA ASLink-PT-06b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1625 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2638)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2638)
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: 89 markings, 88 edges

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

FORMULA ASLink-PT-06b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p1028)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1028)
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: 102388 markings, 107327 edges, 20478 markings/sec, 30 secs
lola: 183193 markings, 210559 edges, 16161 markings/sec, 35 secs
lola: 257008 markings, 332140 edges, 14763 markings/sec, 40 secs
lola: 319623 markings, 461062 edges, 12523 markings/sec, 45 secs
lola: 384288 markings, 595598 edges, 12933 markings/sec, 50 secs
lola: 460930 markings, 705348 edges, 15328 markings/sec, 55 secs
lola: 540279 markings, 816245 edges, 15870 markings/sec, 60 secs
lola: 603552 markings, 941264 edges, 12655 markings/sec, 65 secs
lola: 667395 markings, 1076116 edges, 12769 markings/sec, 70 secs
lola: 737535 markings, 1197489 edges, 14028 markings/sec, 75 secs
lola: 816625 markings, 1307998 edges, 15818 markings/sec, 80 secs
lola: 887709 markings, 1426437 edges, 14217 markings/sec, 85 secs
lola: 951116 markings, 1556261 edges, 12681 markings/sec, 90 secs
lola: 1014960 markings, 1693378 edges, 12769 markings/sec, 95 secs
lola: 1093415 markings, 1796186 edges, 15691 markings/sec, 100 secs
lola: 1171930 markings, 1911288 edges, 15703 markings/sec, 105 secs
lola: 1233578 markings, 2036824 edges, 12330 markings/sec, 110 secs
lola: 1297186 markings, 2168424 edges, 12722 markings/sec, 115 secs
lola: 1370135 markings, 2285112 edges, 14590 markings/sec, 120 secs
lola: 1449061 markings, 2396203 edges, 15785 markings/sec, 125 secs
lola: 1517188 markings, 2518184 edges, 13625 markings/sec, 130 secs
lola: 1580547 markings, 2649667 edges, 12672 markings/sec, 135 secs
lola: 1646888 markings, 2784080 edges, 13268 markings/sec, 140 secs
lola: 1726306 markings, 2884899 edges, 15884 markings/sec, 145 secs
lola: 1801598 markings, 3003478 edges, 15058 markings/sec, 150 secs
lola: 1862956 markings, 3130396 edges, 12272 markings/sec, 155 secs
lola: 1926983 markings, 3260784 edges, 12805 markings/sec, 160 secs
lola: 2002585 markings, 3372464 edges, 15120 markings/sec, 165 secs
lola: 2081722 markings, 3484752 edges, 15827 markings/sec, 170 secs
lola: 2147287 markings, 3610817 edges, 13113 markings/sec, 175 secs
lola: 2210989 markings, 3745667 edges, 12740 markings/sec, 180 secs
lola: 2279203 markings, 3871070 edges, 13643 markings/sec, 185 secs
lola: 2358285 markings, 3974946 edges, 15816 markings/sec, 190 secs
lola: 2431028 markings, 4095226 edges, 14549 markings/sec, 195 secs
lola: 2493389 markings, 4223071 edges, 12472 markings/sec, 200 secs
lola: 2557085 markings, 4356778 edges, 12739 markings/sec, 205 secs
lola: 2633942 markings, 4466462 edges, 15371 markings/sec, 210 secs
lola: 2713489 markings, 4577435 edges, 15909 markings/sec, 215 secs
lola: 2776760 markings, 4702900 edges, 12654 markings/sec, 220 secs
lola: 2840914 markings, 4838147 edges, 12831 markings/sec, 225 secs
lola: 2911515 markings, 4958050 edges, 14120 markings/sec, 230 secs
lola: 2990264 markings, 5068391 edges, 15750 markings/sec, 235 secs
lola: 3060476 markings, 5187015 edges, 14042 markings/sec, 240 secs
lola: 3123285 markings, 5315827 edges, 12562 markings/sec, 245 secs
lola: 3187040 markings, 5452461 edges, 12751 markings/sec, 250 secs
lola: 3266319 markings, 5555592 edges, 15856 markings/sec, 255 secs
lola: 3344489 markings, 5671380 edges, 15634 markings/sec, 260 secs
lola: 3406776 markings, 5799064 edges, 12457 markings/sec, 265 secs
lola: 3470779 markings, 5930596 edges, 12801 markings/sec, 270 secs
lola: 3544208 markings, 6045953 edges, 14686 markings/sec, 275 secs
lola: 3622629 markings, 6156534 edges, 15684 markings/sec, 280 secs
lola: 3689849 markings, 6278460 edges, 13444 markings/sec, 285 secs
lola: 3752750 markings, 6409262 edges, 12580 markings/sec, 290 secs
lola: 3818888 markings, 6542578 edges, 13228 markings/sec, 295 secs
lola: 3899140 markings, 6644374 edges, 16050 markings/sec, 300 secs
lola: 3974059 markings, 6763417 edges, 14984 markings/sec, 305 secs
lola: 4036229 markings, 6891598 edges, 12434 markings/sec, 310 secs
lola: 4100567 markings, 7023452 edges, 12868 markings/sec, 315 secs
lola: 4175968 markings, 7133601 edges, 15080 markings/sec, 320 secs
lola: 4254907 markings, 7244586 edges, 15788 markings/sec, 325 secs
lola: 4319455 markings, 7370305 edges, 12910 markings/sec, 330 secs
lola: 4382901 markings, 7504419 edges, 12689 markings/sec, 335 secs
lola: 4451031 markings, 7629210 edges, 13626 markings/sec, 340 secs
lola: 4530605 markings, 7734157 edges, 15915 markings/sec, 345 secs
lola: 4603223 markings, 7854644 edges, 14524 markings/sec, 350 secs
lola: 4665797 markings, 7983297 edges, 12515 markings/sec, 355 secs
lola: 4730193 markings, 8118581 edges, 12879 markings/sec, 360 secs
lola: 4806887 markings, 8227000 edges, 15339 markings/sec, 365 secs
lola: 4885960 markings, 8337283 edges, 15815 markings/sec, 370 secs
lola: 4948442 markings, 8461579 edges, 12496 markings/sec, 375 secs
lola: 5012249 markings, 8595827 edges, 12761 markings/sec, 380 secs
lola: 5082998 markings, 8725166 edges, 14150 markings/sec, 385 secs
lola: 5168507 markings, 8833475 edges, 17102 markings/sec, 390 secs
lola: 5236673 markings, 8965477 edges, 13633 markings/sec, 395 secs
lola: 5317943 markings, 9088889 edges, 16254 markings/sec, 400 secs
lola: 5389093 markings, 9226604 edges, 14230 markings/sec, 405 secs
lola: 5468851 markings, 9346944 edges, 15952 markings/sec, 410 secs
lola: 5540628 markings, 9485674 edges, 14355 markings/sec, 415 secs
lola: 5605913 markings, 9625854 edges, 13057 markings/sec, 420 secs
lola: 5666658 markings, 9771701 edges, 12149 markings/sec, 425 secs
lola: 5721120 markings, 9926239 edges, 10892 markings/sec, 430 secs
lola: 5786386 markings, 10074561 edges, 13053 markings/sec, 435 secs
lola: 5844266 markings, 10228403 edges, 11576 markings/sec, 440 secs
lola: 5909047 markings, 10378118 edges, 12956 markings/sec, 445 secs
lola: 5967642 markings, 10529605 edges, 11719 markings/sec, 450 secs
lola: 6028746 markings, 10685776 edges, 12221 markings/sec, 455 secs
lola: 6096789 markings, 10821632 edges, 13609 markings/sec, 460 secs
lola: 6155917 markings, 10974979 edges, 11826 markings/sec, 465 secs
lola: 6220360 markings, 11120617 edges, 12889 markings/sec, 470 secs
lola: 6286330 markings, 11268230 edges, 13194 markings/sec, 475 secs
lola: 6346944 markings, 11424738 edges, 12123 markings/sec, 480 secs
lola: 6402934 markings, 11578843 edges, 11198 markings/sec, 485 secs
lola: 6450571 markings, 11742799 edges, 9527 markings/sec, 490 secs
lola: 6507024 markings, 11904351 edges, 11291 markings/sec, 495 secs
lola: 6561373 markings, 12070218 edges, 10870 markings/sec, 500 secs
lola: 6615121 markings, 12231888 edges, 10750 markings/sec, 505 secs
lola: 6672758 markings, 12391919 edges, 11527 markings/sec, 510 secs
lola: 6740671 markings, 12527207 edges, 13583 markings/sec, 515 secs
lola: 6794875 markings, 12678186 edges, 10841 markings/sec, 520 secs
lola: 6851757 markings, 12831747 edges, 11376 markings/sec, 525 secs
lola: 6916825 markings, 12976035 edges, 13014 markings/sec, 530 secs
lola: 6974728 markings, 13130286 edges, 11581 markings/sec, 535 secs
lola: 7039927 markings, 13275131 edges, 13040 markings/sec, 540 secs
lola: 7097356 markings, 13428672 edges, 11486 markings/sec, 545 secs
lola: 7153141 markings, 13586801 edges, 11157 markings/sec, 550 secs
lola: 7206433 markings, 13744690 edges, 10658 markings/sec, 555 secs
lola: 7256371 markings, 13906602 edges, 9988 markings/sec, 560 secs
lola: 7300758 markings, 14075486 edges, 8877 markings/sec, 565 secs
lola: 7350898 markings, 14242248 edges, 10028 markings/sec, 570 secs
lola: 7404255 markings, 14402887 edges, 10671 markings/sec, 575 secs
lola: 7452508 markings, 14571678 edges, 9651 markings/sec, 580 secs
lola: 7506289 markings, 14735349 edges, 10756 markings/sec, 585 secs
lola: 7555192 markings, 14900827 edges, 9781 markings/sec, 590 secs
lola: 7606554 markings, 15068373 edges, 10272 markings/sec, 595 secs
lola: 7659823 markings, 15227882 edges, 10654 markings/sec, 600 secs
lola: 7711327 markings, 15385927 edges, 10301 markings/sec, 605 secs
lola: 7763333 markings, 15550548 edges, 10401 markings/sec, 610 secs
lola: 7816799 markings, 15711482 edges, 10693 markings/sec, 615 secs
lola: 7874279 markings, 15872726 edges, 11496 markings/sec, 620 secs
lola: 7927647 markings, 16039130 edges, 10674 markings/sec, 625 secs
lola: 7975440 markings, 16206872 edges, 9559 markings/sec, 630 secs
lola: 8018816 markings, 16378133 edges, 8675 markings/sec, 635 secs
lola: 8063846 markings, 16552876 edges, 9006 markings/sec, 640 secs
lola: 8110806 markings, 16724230 edges, 9392 markings/sec, 645 secs
lola: 8159220 markings, 16898672 edges, 9683 markings/sec, 650 secs
lola: 8204580 markings, 17071077 edges, 9072 markings/sec, 655 secs
lola: 8259654 markings, 17236151 edges, 11015 markings/sec, 660 secs
lola: 8347692 markings, 17340605 edges, 17608 markings/sec, 665 secs
lola: 8413821 markings, 17472379 edges, 13226 markings/sec, 670 secs
lola: 8492533 markings, 17597906 edges, 15742 markings/sec, 675 secs
lola: 8566263 markings, 17727299 edges, 14746 markings/sec, 680 secs
lola: 8645767 markings, 17849548 edges, 15901 markings/sec, 685 secs
lola: 8716537 markings, 17985659 edges, 14154 markings/sec, 690 secs
lola: 8781813 markings, 18126300 edges, 13055 markings/sec, 695 secs
lola: 8846517 markings, 18265443 edges, 12941 markings/sec, 700 secs
lola: 8899713 markings, 18419962 edges, 10639 markings/sec, 705 secs
lola: 8960167 markings, 18571509 edges, 12091 markings/sec, 710 secs
lola: 9022012 markings, 18718210 edges, 12369 markings/sec, 715 secs
lola: 9082260 markings, 18873363 edges, 12050 markings/sec, 720 secs
lola: 9145234 markings, 19018051 edges, 12595 markings/sec, 725 secs
lola: 9204557 markings, 19173246 edges, 11865 markings/sec, 730 secs
lola: 9270000 markings, 19314748 edges, 13089 markings/sec, 735 secs
lola: 9329541 markings, 19459933 edges, 11908 markings/sec, 740 secs
lola: 9395383 markings, 19607415 edges, 13168 markings/sec, 745 secs
lola: 9460298 markings, 19757312 edges, 12983 markings/sec, 750 secs
lola: 9522924 markings, 19909679 edges, 12525 markings/sec, 755 secs
lola: 9579484 markings, 20065346 edges, 11312 markings/sec, 760 secs
lola: 9629552 markings, 20226729 edges, 10014 markings/sec, 765 secs
lola: 9683692 markings, 20389219 edges, 10828 markings/sec, 770 secs
lola: 9737077 markings, 20553553 edges, 10677 markings/sec, 775 secs
lola: 9792844 markings, 20715175 edges, 11153 markings/sec, 780 secs
lola: 9848004 markings, 20881150 edges, 11032 markings/sec, 785 secs
lola: 9912644 markings, 21020232 edges, 12928 markings/sec, 790 secs
lola: 9972433 markings, 21165231 edges, 11958 markings/sec, 795 secs
lola: 10026579 markings, 21318260 edges, 10829 markings/sec, 800 secs
lola: 10091475 markings, 21465449 edges, 12979 markings/sec, 805 secs
lola: 10148534 markings, 21617481 edges, 11412 markings/sec, 810 secs
lola: 10212613 markings, 21766121 edges, 12816 markings/sec, 815 secs
lola: 10270885 markings, 21915687 edges, 11654 markings/sec, 820 secs
lola: 10331541 markings, 22070563 edges, 12131 markings/sec, 825 secs
lola: 10383338 markings, 22229571 edges, 10359 markings/sec, 830 secs
lola: 10436622 markings, 22387214 edges, 10657 markings/sec, 835 secs
lola: 10480374 markings, 22555607 edges, 8750 markings/sec, 840 secs
lola: 10528689 markings, 22722302 edges, 9663 markings/sec, 845 secs
lola: 10582690 markings, 22884431 edges, 10800 markings/sec, 850 secs
lola: 10630234 markings, 23052024 edges, 9509 markings/sec, 855 secs
lola: 10682145 markings, 23218892 edges, 10382 markings/sec, 860 secs
lola: 10734509 markings, 23380156 edges, 10473 markings/sec, 865 secs
lola: 10783705 markings, 23547840 edges, 9839 markings/sec, 870 secs
lola: 10835253 markings, 23713225 edges, 10310 markings/sec, 875 secs
lola: 10890344 markings, 23866696 edges, 11018 markings/sec, 880 secs
lola: 10939442 markings, 24030672 edges, 9820 markings/sec, 885 secs
lola: 10994531 markings, 24191371 edges, 11018 markings/sec, 890 secs
lola: 11049357 markings, 24355543 edges, 10965 markings/sec, 895 secs
lola: 11102834 markings, 24517067 edges, 10695 markings/sec, 900 secs
lola: 11153805 markings, 24685276 edges, 10194 markings/sec, 905 secs
lola: 11199855 markings, 24853145 edges, 9210 markings/sec, 910 secs
lola: 11240375 markings, 25028179 edges, 8104 markings/sec, 915 secs
lola: 11290649 markings, 25199112 edges, 10055 markings/sec, 920 secs
lola: 11336005 markings, 25374002 edges, 9071 markings/sec, 925 secs
lola: 11384410 markings, 25545256 edges, 9681 markings/sec, 930 secs
lola: 11432370 markings, 25719903 edges, 9592 markings/sec, 935 secs
lola: 11509249 markings, 25842433 edges, 15376 markings/sec, 940 secs
lola: 11584322 markings, 25962364 edges, 15015 markings/sec, 945 secs
lola: 11653906 markings, 26097815 edges, 13917 markings/sec, 950 secs
lola: 11733813 markings, 26216735 edges, 15981 markings/sec, 955 secs
lola: 11811044 markings, 26345086 edges, 15446 markings/sec, 960 secs
lola: 11885068 markings, 26471893 edges, 14805 markings/sec, 965 secs
lola: 11952100 markings, 26614166 edges, 13406 markings/sec, 970 secs
lola: 12019680 markings, 26750296 edges, 13516 markings/sec, 975 secs
lola: 12074808 markings, 26901016 edges, 11026 markings/sec, 980 secs
lola: 12131729 markings, 27054652 edges, 11384 markings/sec, 985 secs
lola: 12196787 markings, 27199230 edges, 13012 markings/sec, 990 secs
lola: 12254961 markings, 27353773 edges, 11635 markings/sec, 995 secs
lola: 12320171 markings, 27499021 edges, 13042 markings/sec, 1000 secs
lola: 12377610 markings, 27653057 edges, 11488 markings/sec, 1005 secs
lola: 12438399 markings, 27805654 edges, 12158 markings/sec, 1010 secs
lola: 12503456 markings, 27942700 edges, 13011 markings/sec, 1015 secs
lola: 12565811 markings, 28093015 edges, 12471 markings/sec, 1020 secs
lola: 12628849 markings, 28243039 edges, 12608 markings/sec, 1025 secs
lola: 12693722 markings, 28388766 edges, 12975 markings/sec, 1030 secs
lola: 12753187 markings, 28546901 edges, 11893 markings/sec, 1035 secs
lola: 12806704 markings, 28703175 edges, 10703 markings/sec, 1040 secs
lola: 12857557 markings, 28868860 edges, 10171 markings/sec, 1045 secs
lola: 12912247 markings, 29029308 edges, 10938 markings/sec, 1050 secs
lola: 12968740 markings, 29191929 edges, 11299 markings/sec, 1055 secs
lola: 13021597 markings, 29358011 edges, 10571 markings/sec, 1060 secs
lola: 13082251 markings, 29508012 edges, 12131 markings/sec, 1065 secs
lola: 13147805 markings, 29645789 edges, 13111 markings/sec, 1070 secs
lola: 13200830 markings, 29799432 edges, 10605 markings/sec, 1075 secs
lola: 13259576 markings, 29951635 edges, 11749 markings/sec, 1080 secs
lola: 13322829 markings, 30097198 edges, 12651 markings/sec, 1085 secs
lola: 13382088 markings, 30253178 edges, 11852 markings/sec, 1090 secs
lola: 13445886 markings, 30396774 edges, 12760 markings/sec, 1095 secs
lola: 13504275 markings, 30552096 edges, 11678 markings/sec, 1100 secs
lola: 13558973 markings, 30710878 edges, 10940 markings/sec, 1105 secs
lola: 13613288 markings, 30868326 edges, 10863 markings/sec, 1110 secs
lola: 13659833 markings, 31033616 edges, 9309 markings/sec, 1115 secs
lola: 13704326 markings, 31202649 edges, 8899 markings/sec, 1120 secs
lola: 13757661 markings, 31367141 edges, 10667 markings/sec, 1125 secs
lola: 13808903 markings, 31531463 edges, 10248 markings/sec, 1130 secs
lola: 13858817 markings, 31699836 edges, 9983 markings/sec, 1135 secs
lola: 13913548 markings, 31860716 edges, 10946 markings/sec, 1140 secs
lola: 13959492 markings, 32029113 edges, 9189 markings/sec, 1145 secs
lola: 14012363 markings, 32195757 edges, 10574 markings/sec, 1150 secs
lola: 14067803 markings, 32351029 edges, 11088 markings/sec, 1155 secs
lola: 14116412 markings, 32512960 edges, 9722 markings/sec, 1160 secs
lola: 14172605 markings, 32675352 edges, 11239 markings/sec, 1165 secs
lola: 14225360 markings, 32840813 edges, 10551 markings/sec, 1170 secs
lola: 14279995 markings, 33001420 edges, 10927 markings/sec, 1175 secs
lola: 14334052 markings, 33169044 edges, 10811 markings/sec, 1180 secs
lola: 14381474 markings, 33337447 edges, 9484 markings/sec, 1185 secs
lola: 14422965 markings, 33511751 edges, 8298 markings/sec, 1190 secs
lola: 14469986 markings, 33685335 edges, 9404 markings/sec, 1195 secs
lola: 14515690 markings, 33858889 edges, 9141 markings/sec, 1200 secs
lola: 14565875 markings, 34030404 edges, 10037 markings/sec, 1205 secs
lola: 14611723 markings, 34204630 edges, 9170 markings/sec, 1210 secs
lola: 14674414 markings, 34338795 edges, 12538 markings/sec, 1215 secs
lola: 14751684 markings, 34432392 edges, 15454 markings/sec, 1220 secs
lola: 14830506 markings, 34529880 edges, 15764 markings/sec, 1225 secs
lola: 14902351 markings, 34639401 edges, 14369 markings/sec, 1230 secs
lola: 14967582 markings, 34763285 edges, 13046 markings/sec, 1235 secs
lola: 15032303 markings, 34896507 edges, 12944 markings/sec, 1240 secs
lola: 15091412 markings, 35014603 edges, 11822 markings/sec, 1245 secs
lola: 15151460 markings, 35138816 edges, 12010 markings/sec, 1250 secs
lola: 15213161 markings, 35264940 edges, 12340 markings/sec, 1255 secs
lola: 15273789 markings, 35392772 edges, 12126 markings/sec, 1260 secs
lola: 15325813 markings, 35530628 edges, 10405 markings/sec, 1265 secs
lola: 15381344 markings, 35678337 edges, 11106 markings/sec, 1270 secs
lola: 15439320 markings, 35822729 edges, 11595 markings/sec, 1275 secs
lola: 15561706 markings, 35957401 edges, 24477 markings/sec, 1280 secs
lola: 15684306 markings, 36092512 edges, 24520 markings/sec, 1285 secs
lola: 15806258 markings, 36228317 edges, 24390 markings/sec, 1290 secs
lola: 15927645 markings, 36361974 edges, 24277 markings/sec, 1295 secs
lola: 16049303 markings, 36496058 edges, 24332 markings/sec, 1300 secs
lola: 16172038 markings, 36631324 edges, 24547 markings/sec, 1305 secs
lola: 16295792 markings, 36767715 edges, 24751 markings/sec, 1310 secs
lola: 16418358 markings, 36902781 edges, 24513 markings/sec, 1315 secs
lola: 16541029 markings, 37037980 edges, 24534 markings/sec, 1320 secs
lola: 16663663 markings, 37173122 edges, 24527 markings/sec, 1325 secs
lola: 16786094 markings, 37308069 edges, 24486 markings/sec, 1330 secs
lola: 16908697 markings, 37443179 edges, 24521 markings/sec, 1335 secs
lola: 17031147 markings, 37578123 edges, 24490 markings/sec, 1340 secs
lola: 17153092 markings, 37712523 edges, 24389 markings/sec, 1345 secs
lola: 17274407 markings, 37846312 edges, 24263 markings/sec, 1350 secs
lola: 17396696 markings, 37981240 edges, 24458 markings/sec, 1355 secs
lola: 17518877 markings, 38116044 edges, 24436 markings/sec, 1360 secs
lola: 17640223 markings, 38249877 edges, 24269 markings/sec, 1365 secs
lola: 17762677 markings, 38384796 edges, 24491 markings/sec, 1370 secs
lola: 17884570 markings, 38519161 edges, 24379 markings/sec, 1375 secs
lola: 18006333 markings, 38653380 edges, 24353 markings/sec, 1380 secs
lola: 18128386 markings, 38788125 edges, 24411 markings/sec, 1385 secs
lola: 18249848 markings, 38925002 edges, 24292 markings/sec, 1390 secs
lola: 18370527 markings, 39061905 edges, 24136 markings/sec, 1395 secs
lola: 18491350 markings, 39197754 edges, 24165 markings/sec, 1400 secs
lola: 18615603 markings, 39334847 edges, 24851 markings/sec, 1405 secs
lola: 18739268 markings, 39471233 edges, 24733 markings/sec, 1410 secs
lola: 18862467 markings, 39607145 edges, 24640 markings/sec, 1415 secs
lola: 18985349 markings, 39742708 edges, 24576 markings/sec, 1420 secs
lola: 19107393 markings, 39877317 edges, 24409 markings/sec, 1425 secs
lola: 19229298 markings, 40011984 edges, 24381 markings/sec, 1430 secs
lola: 19351960 markings, 40147526 edges, 24532 markings/sec, 1435 secs
lola: 19472861 markings, 40281145 edges, 24180 markings/sec, 1440 secs
lola: 19595701 markings, 40416897 edges, 24568 markings/sec, 1445 secs
lola: 19719724 markings, 40553779 edges, 24805 markings/sec, 1450 secs
lola: 19843430 markings, 40690996 edges, 24741 markings/sec, 1455 secs
lola: 19965628 markings, 40828144 edges, 24440 markings/sec, 1460 secs
lola: 20086681 markings, 40965807 edges, 24211 markings/sec, 1465 secs
lola: 20209218 markings, 41102947 edges, 24507 markings/sec, 1470 secs
lola: 20333246 markings, 41239764 edges, 24806 markings/sec, 1475 secs
lola: 20456725 markings, 41376101 edges, 24696 markings/sec, 1480 secs
lola: 20579959 markings, 41512124 edges, 24647 markings/sec, 1485 secs
lola: 20703021 markings, 41648005 edges, 24612 markings/sec, 1490 secs
lola: 20825739 markings, 41783507 edges, 24544 markings/sec, 1495 secs
lola: 20948602 markings, 41919205 edges, 24573 markings/sec, 1500 secs
lola: 21071539 markings, 42054892 edges, 24587 markings/sec, 1505 secs
lola: 21194690 markings, 42190857 edges, 24630 markings/sec, 1510 secs
lola: 21317706 markings, 42326705 edges, 24603 markings/sec, 1515 secs
lola: 21440861 markings, 42462713 edges, 24631 markings/sec, 1520 secs
lola: 21562746 markings, 42600103 edges, 24377 markings/sec, 1525 secs
lola: 21684422 markings, 42737599 edges, 24335 markings/sec, 1530 secs
lola: 21805662 markings, 42873869 edges, 24248 markings/sec, 1535 secs
lola: 21924691 markings, 43009234 edges, 23806 markings/sec, 1540 secs
lola: 22042719 markings, 43140543 edges, 23606 markings/sec, 1545 secs
lola: 22160172 markings, 43271215 edges, 23491 markings/sec, 1550 secs
lola: 22276526 markings, 43402269 edges, 23271 markings/sec, 1555 secs
lola: 22393747 markings, 43532524 edges, 23444 markings/sec, 1560 secs
lola: 22510913 markings, 43662928 edges, 23433 markings/sec, 1565 secs
lola: 22628223 markings, 43793506 edges, 23462 markings/sec, 1570 secs
lola: 22746914 markings, 43925625 edges, 23738 markings/sec, 1575 secs
lola: 22866164 markings, 44058360 edges, 23850 markings/sec, 1580 secs
lola: 22984327 markings, 44189874 edges, 23633 markings/sec, 1585 secs
lola: 23102665 markings, 44321586 edges, 23668 markings/sec, 1590 secs
lola: 23221240 markings, 44453581 edges, 23715 markings/sec, 1595 secs
lola: 23339410 markings, 44585098 edges, 23634 markings/sec, 1600 secs
lola: 23457586 markings, 44716646 edges, 23635 markings/sec, 1605 secs
lola: 23575898 markings, 44848331 edges, 23662 markings/sec, 1610 secs
lola: 23693926 markings, 44979708 edges, 23606 markings/sec, 1615 secs
lola: 23811355 markings, 45110435 edges, 23486 markings/sec, 1620 secs
lola: 23929382 markings, 45241940 edges, 23605 markings/sec, 1625 secs
lola: 24047901 markings, 45374004 edges, 23704 markings/sec, 1630 secs
lola: 24166126 markings, 45505732 edges, 23645 markings/sec, 1635 secs
lola: 24282972 markings, 45635836 edges, 23369 markings/sec, 1640 secs
lola: 24401955 markings, 45768248 edges, 23797 markings/sec, 1645 secs
lola: 24519569 markings, 45899174 edges, 23523 markings/sec, 1650 secs
lola: 24637297 markings, 46030243 edges, 23546 markings/sec, 1655 secs
lola: 24754959 markings, 46161311 edges, 23532 markings/sec, 1660 secs
lola: 24872088 markings, 46294276 edges, 23426 markings/sec, 1665 secs
lola: 24989172 markings, 46427688 edges, 23417 markings/sec, 1670 secs
lola: 25105718 markings, 46560851 edges, 23309 markings/sec, 1675 secs
lola: 25224493 markings, 46693693 edges, 23755 markings/sec, 1680 secs
lola: 25343083 markings, 46825810 edges, 23718 markings/sec, 1685 secs
lola: 25462058 markings, 46958362 edges, 23795 markings/sec, 1690 secs
lola: 25580004 markings, 47089759 edges, 23589 markings/sec, 1695 secs
lola: 25698156 markings, 47221378 edges, 23630 markings/sec, 1700 secs
lola: 25815713 markings, 47352315 edges, 23511 markings/sec, 1705 secs
lola: 25933962 markings, 47484273 edges, 23650 markings/sec, 1710 secs
lola: 26053136 markings, 47617249 edges, 23835 markings/sec, 1715 secs
lola: 26170920 markings, 47748695 edges, 23557 markings/sec, 1720 secs
lola: 26290211 markings, 47881842 edges, 23858 markings/sec, 1725 secs
lola: 26410286 markings, 48015665 edges, 24015 markings/sec, 1730 secs
lola: 26530732 markings, 48149988 edges, 24089 markings/sec, 1735 secs
lola: 26648722 markings, 48283553 edges, 23598 markings/sec, 1740 secs
lola: 26765775 markings, 48416857 edges, 23411 markings/sec, 1745 secs
lola: 26883930 markings, 48551979 edges, 23631 markings/sec, 1750 secs
lola: 27002863 markings, 48684895 edges, 23787 markings/sec, 1755 secs
lola: 27122648 markings, 48818433 edges, 23957 markings/sec, 1760 secs
lola: 27241935 markings, 48951437 edges, 23857 markings/sec, 1765 secs
lola: 27361142 markings, 49084385 edges, 23841 markings/sec, 1770 secs
lola: 27480296 markings, 49217179 edges, 23831 markings/sec, 1775 secs
lola: 27599575 markings, 49350199 edges, 23856 markings/sec, 1780 secs
lola: 27719046 markings, 49483402 edges, 23894 markings/sec, 1785 secs
lola: 27838522 markings, 49616606 edges, 23895 markings/sec, 1790 secs
lola: 27958045 markings, 49749884 edges, 23905 markings/sec, 1795 secs
lola: 28077624 markings, 49883208 edges, 23916 markings/sec, 1800 secs
lola: 28197396 markings, 50016758 edges, 23954 markings/sec, 1805 secs
lola: 28316548 markings, 50151057 edges, 23830 markings/sec, 1810 secs
lola: 28434991 markings, 50286001 edges, 23689 markings/sec, 1815 secs
lola: 28553524 markings, 50421111 edges, 23707 markings/sec, 1820 secs
lola: 28670891 markings, 50553294 edges, 23473 markings/sec, 1825 secs
lola: 28782126 markings, 50691746 edges, 22247 markings/sec, 1830 secs
lola: 28860423 markings, 50856036 edges, 15659 markings/sec, 1835 secs
lola: 28938908 markings, 51020739 edges, 15697 markings/sec, 1840 secs
lola: 29017213 markings, 51185083 edges, 15661 markings/sec, 1845 secs
lola: 29095465 markings, 51349688 edges, 15650 markings/sec, 1850 secs
lola: 29173924 markings, 51514321 edges, 15692 markings/sec, 1855 secs
lola: 29252269 markings, 51678768 edges, 15669 markings/sec, 1860 secs
lola: 29330698 markings, 51843491 edges, 15686 markings/sec, 1865 secs
lola: 29409291 markings, 52008498 edges, 15719 markings/sec, 1870 secs
lola: 29488260 markings, 52174315 edges, 15794 markings/sec, 1875 secs
lola: 29567639 markings, 52340993 edges, 15876 markings/sec, 1880 secs
lola: 29646863 markings, 52507382 edges, 15845 markings/sec, 1885 secs
lola: 29725825 markings, 52673178 edges, 15792 markings/sec, 1890 secs
lola: 29805075 markings, 52839574 edges, 15850 markings/sec, 1895 secs
lola: 29884183 markings, 53005692 edges, 15822 markings/sec, 1900 secs
lola: 29963139 markings, 53171476 edges, 15791 markings/sec, 1905 secs
lola: 30041625 markings, 53336275 edges, 15697 markings/sec, 1910 secs
lola: 30120396 markings, 53501664 edges, 15754 markings/sec, 1915 secs
lola: 30199361 markings, 53667446 edges, 15793 markings/sec, 1920 secs
lola: 30278367 markings, 53833368 edges, 15801 markings/sec, 1925 secs
lola: 30357547 markings, 53999634 edges, 15836 markings/sec, 1930 secs
lola: 30436374 markings, 54165145 edges, 15765 markings/sec, 1935 secs
lola: 30515008 markings, 54330326 edges, 15727 markings/sec, 1940 secs
lola: 30593155 markings, 54494198 edges, 15629 markings/sec, 1945 secs
lola: 30672023 markings, 54659604 edges, 15774 markings/sec, 1950 secs
lola: 30750920 markings, 54825123 edges, 15779 markings/sec, 1955 secs
lola: 30829759 markings, 54990531 edges, 15768 markings/sec, 1960 secs
lola: 30908525 markings, 55155774 edges, 15753 markings/sec, 1965 secs
lola: 30986608 markings, 55319858 edges, 15617 markings/sec, 1970 secs
lola: 31066025 markings, 55486775 edges, 15883 markings/sec, 1975 secs
lola: 31144833 markings, 55652263 edges, 15762 markings/sec, 1980 secs
lola: 31223466 markings, 55817403 edges, 15727 markings/sec, 1985 secs
lola: 31301955 markings, 55982183 edges, 15698 markings/sec, 1990 secs
lola: 31380692 markings, 56147491 edges, 15747 markings/sec, 1995 secs
lola: 31459307 markings, 56312568 edges, 15723 markings/sec, 2000 secs
lola: 31538132 markings, 56478977 edges, 15765 markings/sec, 2005 secs
lola: 31617199 markings, 56645973 edges, 15813 markings/sec, 2010 secs
lola: 31696330 markings, 56812415 edges, 15826 markings/sec, 2015 secs
lola: 31774910 markings, 56978660 edges, 15716 markings/sec, 2020 secs
lola: 31854009 markings, 57144951 edges, 15820 markings/sec, 2025 secs
lola: 31933690 markings, 57312561 edges, 15936 markings/sec, 2030 secs
lola: 32013026 markings, 57479387 edges, 15867 markings/sec, 2035 secs
lola: 32092704 markings, 57646431 edges, 15936 markings/sec, 2040 secs
lola: 32171987 markings, 57812649 edges, 15857 markings/sec, 2045 secs
lola: 32250895 markings, 57978320 edges, 15782 markings/sec, 2050 secs
lola: 32330151 markings, 58144280 edges, 15851 markings/sec, 2055 secs
lola: 32408519 markings, 58309072 edges, 15674 markings/sec, 2060 secs
lola: 32487498 markings, 58474658 edges, 15796 markings/sec, 2065 secs
lola: 32565921 markings, 58639287 edges, 15685 markings/sec, 2070 secs
lola: 32645363 markings, 58806520 edges, 15888 markings/sec, 2075 secs
lola: 32724281 markings, 58971605 edges, 15784 markings/sec, 2080 secs
lola: 32802646 markings, 59135342 edges, 15673 markings/sec, 2085 secs
lola: 32881665 markings, 59301693 edges, 15804 markings/sec, 2090 secs
lola: 32961633 markings, 59469807 edges, 15994 markings/sec, 2095 secs
lola: 33041554 markings, 59637558 edges, 15984 markings/sec, 2100 secs
lola: 33121499 markings, 59805410 edges, 15989 markings/sec, 2105 secs
lola: 33200952 markings, 59973429 edges, 15891 markings/sec, 2110 secs
lola: 33280720 markings, 60140763 edges, 15954 markings/sec, 2115 secs
lola: 33359444 markings, 60307451 edges, 15745 markings/sec, 2120 secs
lola: 33439330 markings, 60475549 edges, 15977 markings/sec, 2125 secs
lola: 33518372 markings, 60641956 edges, 15808 markings/sec, 2130 secs
lola: 33598043 markings, 60809020 edges, 15934 markings/sec, 2135 secs
lola: 33677627 markings, 60976081 edges, 15917 markings/sec, 2140 secs
lola: 33757013 markings, 61142736 edges, 15877 markings/sec, 2145 secs
lola: 33836113 markings, 61308744 edges, 15820 markings/sec, 2150 secs
lola: 33915305 markings, 61475002 edges, 15838 markings/sec, 2155 secs
lola: 33994489 markings, 61641239 edges, 15837 markings/sec, 2160 secs
lola: 34073568 markings, 61807224 edges, 15816 markings/sec, 2165 secs
lola: 34152829 markings, 61973623 edges, 15852 markings/sec, 2170 secs
lola: 34232183 markings, 62140228 edges, 15871 markings/sec, 2175 secs
lola: 34311459 markings, 62306645 edges, 15855 markings/sec, 2180 secs
lola: 34390715 markings, 62473011 edges, 15851 markings/sec, 2185 secs
lola: 34469993 markings, 62639436 edges, 15856 markings/sec, 2190 secs
lola: 34549427 markings, 62806208 edges, 15887 markings/sec, 2195 secs
lola: 34628779 markings, 62972760 edges, 15870 markings/sec, 2200 secs
lola: 34708360 markings, 63139821 edges, 15916 markings/sec, 2205 secs
lola: 34787972 markings, 63306980 edges, 15922 markings/sec, 2210 secs
lola: 34867441 markings, 63474558 edges, 15894 markings/sec, 2215 secs
lola: 34946863 markings, 63642123 edges, 15884 markings/sec, 2220 secs
lola: 35026312 markings, 63809735 edges, 15890 markings/sec, 2225 secs
lola: 35105052 markings, 63975722 edges, 15748 markings/sec, 2230 secs
lola: 35183601 markings, 64140128 edges, 15710 markings/sec, 2235 secs
lola: 35261347 markings, 64305883 edges, 15549 markings/sec, 2240 secs
lola: 35338862 markings, 64469596 edges, 15503 markings/sec, 2245 secs
lola: 35415478 markings, 64631143 edges, 15323 markings/sec, 2250 secs
lola: 35492447 markings, 64793594 edges, 15394 markings/sec, 2255 secs
lola: 35569265 markings, 64955832 edges, 15364 markings/sec, 2260 secs
lola: 35645977 markings, 65117931 edges, 15342 markings/sec, 2265 secs
lola: 35722549 markings, 65279409 edges, 15314 markings/sec, 2270 secs
lola: 35799300 markings, 65441421 edges, 15350 markings/sec, 2275 secs
lola: 35876224 markings, 65603786 edges, 15385 markings/sec, 2280 secs
lola: 35953199 markings, 65766291 edges, 15395 markings/sec, 2285 secs
lola: 36030620 markings, 65929703 edges, 15484 markings/sec, 2290 secs
lola: 36108347 markings, 66093811 edges, 15545 markings/sec, 2295 secs
lola: 36186029 markings, 66257778 edges, 15536 markings/sec, 2300 secs
lola: 36263339 markings, 66420950 edges, 15462 markings/sec, 2305 secs
lola: 36340954 markings, 66584789 edges, 15523 markings/sec, 2310 secs
lola: 36418456 markings, 66748376 edges, 15500 markings/sec, 2315 secs
lola: 36496044 markings, 66912151 edges, 15518 markings/sec, 2320 secs
lola: 36573514 markings, 67075693 edges, 15494 markings/sec, 2325 secs
lola: 36650966 markings, 67239191 edges, 15490 markings/sec, 2330 secs
lola: 36728466 markings, 67402806 edges, 15500 markings/sec, 2335 secs
lola: 36805878 markings, 67566215 edges, 15482 markings/sec, 2340 secs
lola: 36883258 markings, 67729537 edges, 15476 markings/sec, 2345 secs
lola: 36960722 markings, 67893031 edges, 15493 markings/sec, 2350 secs
lola: 37037823 markings, 68055789 edges, 15420 markings/sec, 2355 secs
lola: 37114803 markings, 68218266 edges, 15396 markings/sec, 2360 secs
lola: 37191202 markings, 68379402 edges, 15280 markings/sec, 2365 secs
lola: 37268612 markings, 68542625 edges, 15482 markings/sec, 2370 secs
lola: 37345809 markings, 68705428 edges, 15439 markings/sec, 2375 secs
lola: 37423125 markings, 68868462 edges, 15463 markings/sec, 2380 secs
lola: 37500205 markings, 69031011 edges, 15416 markings/sec, 2385 secs
lola: 37577070 markings, 69193414 edges, 15373 markings/sec, 2390 secs
lola: 37653813 markings, 69355495 edges, 15349 markings/sec, 2395 secs
lola: 37731205 markings, 69519003 edges, 15478 markings/sec, 2400 secs
lola: 37807738 markings, 69680511 edges, 15307 markings/sec, 2405 secs
lola: 37884682 markings, 69842913 edges, 15389 markings/sec, 2410 secs
lola: 37961165 markings, 70004306 edges, 15297 markings/sec, 2415 secs
lola: 38037752 markings, 70165983 edges, 15317 markings/sec, 2420 secs
lola: 38114608 markings, 70328363 edges, 15371 markings/sec, 2425 secs
lola: 38191554 markings, 70491637 edges, 15389 markings/sec, 2430 secs
lola: 38268661 markings, 70655257 edges, 15421 markings/sec, 2435 secs
lola: 38345896 markings, 70818556 edges, 15447 markings/sec, 2440 secs
lola: 38422369 markings, 70981125 edges, 15295 markings/sec, 2445 secs
lola: 38499108 markings, 71143329 edges, 15348 markings/sec, 2450 secs
lola: 38577106 markings, 71308265 edges, 15600 markings/sec, 2455 secs
lola: 38654873 markings, 71472628 edges, 15553 markings/sec, 2460 secs
lola: 38732748 markings, 71636910 edges, 15575 markings/sec, 2465 secs
lola: 38810736 markings, 71801110 edges, 15598 markings/sec, 2470 secs
lola: 38887736 markings, 71963864 edges, 15400 markings/sec, 2475 secs
lola: 38965415 markings, 72127608 edges, 15536 markings/sec, 2480 secs
lola: 39042537 markings, 72290097 edges, 15424 markings/sec, 2485 secs
lola: 39119280 markings, 72452331 edges, 15349 markings/sec, 2490 secs
lola: 39195548 markings, 72612653 edges, 15254 markings/sec, 2495 secs
lola: 39272061 markings, 72774517 edges, 15303 markings/sec, 2500 secs
lola: 39349809 markings, 72938996 edges, 15550 markings/sec, 2505 secs
lola: 39427300 markings, 73101922 edges, 15498 markings/sec, 2510 secs
lola: 39504172 markings, 73263341 edges, 15374 markings/sec, 2515 secs
lola: 39581625 markings, 73427339 edges, 15491 markings/sec, 2520 secs
lola: 39659888 markings, 73592725 edges, 15653 markings/sec, 2525 secs
lola: 39737926 markings, 73757398 edges, 15608 markings/sec, 2530 secs
lola: 39816387 markings, 73923009 edges, 15692 markings/sec, 2535 secs
lola: 39894424 markings, 74088171 edges, 15607 markings/sec, 2540 secs
lola: 39972290 markings, 74253149 edges, 15573 markings/sec, 2545 secs
lola: 40049629 markings, 74416878 edges, 15468 markings/sec, 2550 secs
lola: 40127744 markings, 74581607 edges, 15623 markings/sec, 2555 secs
lola: 40205582 markings, 74747447 edges, 15568 markings/sec, 2560 secs
lola: 40282521 markings, 74909988 edges, 15388 markings/sec, 2565 secs
lola: 40360144 markings, 75073641 edges, 15525 markings/sec, 2570 secs
lola: 40437713 markings, 75237375 edges, 15514 markings/sec, 2575 secs
lola: 40515072 markings, 75400584 edges, 15472 markings/sec, 2580 secs
lola: 40592191 markings, 75563325 edges, 15424 markings/sec, 2585 secs
lola: 40669408 markings, 75726286 edges, 15443 markings/sec, 2590 secs
lola: 40746619 markings, 75889213 edges, 15442 markings/sec, 2595 secs
lola: 40824125 markings, 76052787 edges, 15501 markings/sec, 2600 secs
lola: 40901451 markings, 76216021 edges, 15465 markings/sec, 2605 secs
lola: 40979125 markings, 76379940 edges, 15535 markings/sec, 2610 secs
lola: 41056497 markings, 76543148 edges, 15474 markings/sec, 2615 secs
lola: 41133745 markings, 76706175 edges, 15450 markings/sec, 2620 secs
lola: 41211432 markings, 76870141 edges, 15537 markings/sec, 2625 secs
lola: 41289174 markings, 77034201 edges, 15548 markings/sec, 2630 secs
lola: 41366672 markings, 77197775 edges, 15500 markings/sec, 2635 secs
lola: 41444107 markings, 77361192 edges, 15487 markings/sec, 2640 secs
lola: 41521698 markings, 77524934 edges, 15518 markings/sec, 2645 secs
lola: 41599414 markings, 77688901 edges, 15543 markings/sec, 2650 secs
lola: 41677187 markings, 77853861 edges, 15555 markings/sec, 2655 secs
lola: 41754709 markings, 78018211 edges, 15504 markings/sec, 2660 secs
lola: 41832562 markings, 78183288 edges, 15571 markings/sec, 2665 secs
lola: 41910447 markings, 78348400 edges, 15577 markings/sec, 2670 secs
lola: 41987172 markings, 78509958 edges, 15345 markings/sec, 2675 secs
lola: 42062885 markings, 78671858 edges, 15143 markings/sec, 2680 secs
lola: 42139739 markings, 78833983 edges, 15371 markings/sec, 2685 secs
lola: 42215798 markings, 78993462 edges, 15212 markings/sec, 2690 secs
lola: 42291454 markings, 79152064 edges, 15131 markings/sec, 2695 secs
lola: 42366832 markings, 79310056 edges, 15076 markings/sec, 2700 secs
lola: 42448973 markings, 79436169 edges, 16428 markings/sec, 2705 secs
lola: 42527641 markings, 79554578 edges, 15734 markings/sec, 2710 secs
lola: 42597812 markings, 79690747 edges, 14034 markings/sec, 2715 secs
lola: 42678404 markings, 79811924 edges, 16118 markings/sec, 2720 secs
lola: 42755905 markings, 79944053 edges, 15500 markings/sec, 2725 secs
lola: 42831621 markings, 80071547 edges, 15143 markings/sec, 2730 secs
lola: 42899946 markings, 80214929 edges, 13665 markings/sec, 2735 secs
lola: 42968456 markings, 80353383 edges, 13702 markings/sec, 2740 secs
lola: 43024225 markings, 80505711 edges, 11154 markings/sec, 2745 secs
lola: 43081655 markings, 80660819 edges, 11486 markings/sec, 2750 secs
lola: 43147339 markings, 80807030 edges, 13137 markings/sec, 2755 secs
lola: 43205968 markings, 80963291 edges, 11726 markings/sec, 2760 secs
lola: 43272241 markings, 81111108 edges, 13255 markings/sec, 2765 secs
lola: 43330586 markings, 81267256 edges, 11669 markings/sec, 2770 secs
lola: 43390294 markings, 81420634 edges, 11942 markings/sec, 2775 secs
lola: 43457336 markings, 81555647 edges, 13408 markings/sec, 2780 secs
lola: 43511911 markings, 81704522 edges, 10915 markings/sec, 2785 secs
lola: 43568319 markings, 81856667 edges, 11282 markings/sec, 2790 secs
lola: 43633054 markings, 82000109 edges, 12947 markings/sec, 2795 secs
lola: 43690781 markings, 82153624 edges, 11545 markings/sec, 2800 secs
lola: 43755823 markings, 82298861 edges, 13008 markings/sec, 2805 secs
lola: 43812550 markings, 82452273 edges, 11345 markings/sec, 2810 secs
lola: 43869919 markings, 82609460 edges, 11474 markings/sec, 2815 secs
lola: 43922480 markings, 82767908 edges, 10512 markings/sec, 2820 secs
lola: 43972857 markings, 82928016 edges, 10075 markings/sec, 2825 secs
lola: 44017198 markings, 83096068 edges, 8868 markings/sec, 2830 secs
lola: 44066240 markings, 83262730 edges, 9808 markings/sec, 2835 secs
lola: 44120458 markings, 83422261 edges, 10844 markings/sec, 2840 secs
lola: 44166514 markings, 83590835 edges, 9211 markings/sec, 2845 secs
lola: 44220951 markings, 83755123 edges, 10887 markings/sec, 2850 secs
lola: 44270743 markings, 83919216 edges, 9958 markings/sec, 2855 secs
lola: 44320921 markings, 84087230 edges, 10036 markings/sec, 2860 secs
lola: 44378219 markings, 84238707 edges, 11460 markings/sec, 2865 secs
lola: 44436752 markings, 84380623 edges, 11707 markings/sec, 2870 secs
lola: 44497565 markings, 84529434 edges, 12163 markings/sec, 2875 secs
lola: 44557623 markings, 84680914 edges, 12012 markings/sec, 2880 secs
lola: 44618283 markings, 84826200 edges, 12132 markings/sec, 2885 secs
lola: 44676296 markings, 84983404 edges, 11603 markings/sec, 2890 secs
lola: 44727619 markings, 85138649 edges, 10265 markings/sec, 2895 secs
lola: 44775020 markings, 85302954 edges, 9480 markings/sec, 2900 secs
lola: 44828343 markings, 85464249 edges, 10665 markings/sec, 2905 secs
lola: 44880805 markings, 85628000 edges, 10492 markings/sec, 2910 secs
lola: 44931591 markings, 85789023 edges, 10157 markings/sec, 2915 secs
lola: 44988921 markings, 85945916 edges, 11466 markings/sec, 2920 secs
lola: 45049345 markings, 86085347 edges, 12085 markings/sec, 2925 secs
lola: 45107762 markings, 86236218 edges, 11683 markings/sec, 2930 secs
lola: 45168904 markings, 86384050 edges, 12228 markings/sec, 2935 secs
lola: 45230331 markings, 86530669 edges, 12285 markings/sec, 2940 secs
lola: 45288729 markings, 86687214 edges, 11680 markings/sec, 2945 secs
lola: 45341658 markings, 86841578 edges, 10586 markings/sec, 2950 secs
lola: 45386681 markings, 87005553 edges, 9005 markings/sec, 2955 secs
lola: 45441142 markings, 87165555 edges, 10892 markings/sec, 2960 secs
lola: 45492561 markings, 87330906 edges, 10284 markings/sec, 2965 secs
lola: 45543771 markings, 87490511 edges, 10242 markings/sec, 2970 secs
lola: 45602711 markings, 87650437 edges, 11788 markings/sec, 2975 secs
lola: 45706032 markings, 87770812 edges, 20664 markings/sec, 2980 secs
lola: 45810788 markings, 87892539 edges, 20951 markings/sec, 2985 secs
lola: 45914262 markings, 88013205 edges, 20695 markings/sec, 2990 secs
lola: 45987332 markings, 88163291 edges, 14614 markings/sec, 2995 secs
lola: 46057319 markings, 88312978 edges, 13997 markings/sec, 3000 secs
lola: 46127995 markings, 88465626 edges, 14135 markings/sec, 3005 secs
lola: 46197602 markings, 88615430 edges, 13921 markings/sec, 3010 secs
lola: 46282290 markings, 88756939 edges, 16938 markings/sec, 3015 secs
lola: 46363560 markings, 88903310 edges, 16254 markings/sec, 3020 secs
lola: 46442534 markings, 89047782 edges, 15795 markings/sec, 3025 secs
lola: 46524987 markings, 89156799 edges, 16491 markings/sec, 3030 secs
lola: 46588508 markings, 89290580 edges, 12704 markings/sec, 3035 secs
lola: 46660980 markings, 89426643 edges, 14494 markings/sec, 3040 secs
lola: 46733132 markings, 89562298 edges, 14430 markings/sec, 3045 secs
lola: 46823773 markings, 89685356 edges, 18128 markings/sec, 3050 secs
lola: 46918407 markings, 89801668 edges, 18927 markings/sec, 3055 secs
lola: 47017952 markings, 89920474 edges, 19909 markings/sec, 3060 secs
lola: 47120594 markings, 90039852 edges, 20528 markings/sec, 3065 secs
lola: 47223672 markings, 90159316 edges, 20616 markings/sec, 3070 secs
lola: 47327561 markings, 90279890 edges, 20778 markings/sec, 3075 secs
lola: 47431964 markings, 90400897 edges, 20881 markings/sec, 3080 secs
lola: 47536187 markings, 90521704 edges, 20845 markings/sec, 3085 secs
lola: 47640438 markings, 90642531 edges, 20850 markings/sec, 3090 secs
lola: 47745180 markings, 90764089 edges, 20948 markings/sec, 3095 secs
lola: 47849321 markings, 90884780 edges, 20828 markings/sec, 3100 secs
lola: 47953578 markings, 91005618 edges, 20851 markings/sec, 3105 secs
lola: 48057954 markings, 91126610 edges, 20875 markings/sec, 3110 secs
lola: 48162435 markings, 91247713 edges, 20896 markings/sec, 3115 secs
lola: 48266990 markings, 91369066 edges, 20911 markings/sec, 3120 secs
lola: 48371142 markings, 91489768 edges, 20830 markings/sec, 3125 secs
lola: 48475366 markings, 91610583 edges, 20845 markings/sec, 3130 secs
lola: 48579212 markings, 91730897 edges, 20769 markings/sec, 3135 secs
lola: 48680060 markings, 91852997 edges, 20170 markings/sec, 3140 secs
lola: 48785591 markings, 91977141 edges, 21106 markings/sec, 3145 secs
lola: 48892163 markings, 92101851 edges, 21314 markings/sec, 3150 secs
lola: 48998779 markings, 92226618 edges, 21323 markings/sec, 3155 secs
lola: 49105035 markings, 92350959 edges, 21251 markings/sec, 3160 secs
lola: 49210802 markings, 92473953 edges, 21153 markings/sec, 3165 secs
lola: 49318050 markings, 92598732 edges, 21450 markings/sec, 3170 secs
lola: 49421142 markings, 92718155 edges, 20618 markings/sec, 3175 secs
lola: 49525624 markings, 92839707 edges, 20896 markings/sec, 3180 secs
lola: 49629812 markings, 92961106 edges, 20838 markings/sec, 3185 secs
lola: 49732827 markings, 93080443 edges, 20603 markings/sec, 3190 secs
lola: 49816913 markings, 93219007 edges, 16817 markings/sec, 3195 secs
lola: 49882895 markings, 93365319 edges, 13196 markings/sec, 3200 secs
lola: 49948417 markings, 93511288 edges, 13104 markings/sec, 3205 secs
lola: 50016803 markings, 93660954 edges, 13677 markings/sec, 3210 secs
lola: 50085722 markings, 93811412 edges, 13784 markings/sec, 3215 secs
lola: 50155326 markings, 93960714 edges, 13921 markings/sec, 3220 secs
lola: 50225515 markings, 94112033 edges, 14038 markings/sec, 3225 secs
lola: 50295371 markings, 94262353 edges, 13971 markings/sec, 3230 secs
lola: 50365845 markings, 94413854 edges, 14095 markings/sec, 3235 secs
lola: 50436387 markings, 94565631 edges, 14108 markings/sec, 3240 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 7521668 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 7521668 KB
lola: time consumption: 3571 seconds

BK_STOP 1552297835617

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool win2018"
echo " Input is ASLink-PT-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 r011-smll-155225030000037"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-06b.tgz
mv ASLink-PT-06b execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;