Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r187-csrt-155344544300088.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is NoC3x3-PT-2B, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r187-csrt-155344544300088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 700K
-rw-r--r-- 1 mcc users 3.4K Mar 23 12:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 23 12:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 23 12:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:10 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 12:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Mar 23 12:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.9K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 12:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 103 Mar 23 11:58 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 341 Mar 23 11:58 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.3K Mar 23 11:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 23 11:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 12:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 23 10:10 instance
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 iscolored
-rw-r--r-- 1 mcc users 0 Mar 23 10:10 model-fix.log
-rw-r--r-- 1 mcc users 548K Mar 23 10:10 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 NoC3x3-PT-2B-UpperBounds-00
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-01
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-02
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-03
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-04
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-05
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-06
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-07
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-08
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-09
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-10
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-11
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-12
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-13
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-14
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1553696924817

info: Time: 3600 - MCC
===========================================================================================
prep: translating NoC3x3-PT-2B Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating NoC3x3-PT-2B formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ NoC3x3-PT-2B @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 4295/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 2003
lola: finding significant places
lola: 2003 places, 2292 transitions, 1937 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2703 transition conflict sets
lola: TASK
lola: reading formula from NoC3x3-PT-2B-UpperBounds.task
lola: MAX(p1927) : MAX(p1434) : MAX(p143) : MAX(p1447) : MAX(p1414) : MAX(p500) : MAX(p1119) : MAX(p1780) : MAX(p1664) : MAX(p1396) : MAX(p82) : MAX(p249) : MAX(p427) : MAX(p276) : MAX(p1595) : MAX(p479)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1927)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1927)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 39 markings, 38 edges
lola: ========================================

FORMULA NoC3x3-PT-2B-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1434)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1434)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 43 markings, 42 edges
lola: ========================================

FORMULA NoC3x3-PT-2B-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p143)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 69 markings, 68 edges
lola: ========================================

FORMULA NoC3x3-PT-2B-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1447)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1447)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 43 markings, 42 edges

FORMULA NoC3x3-PT-2B-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1414)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1414)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 39 markings, 38 edges
lola: ========================================

FORMULA NoC3x3-PT-2B-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p500)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p500)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 240933 markings, 241669 edges, 48187 markings/sec, 0 secs
lola: 496008 markings, 497517 edges, 51015 markings/sec, 5 secs
lola: 748291 markings, 750583 edges, 50457 markings/sec, 10 secs
lola: 999690 markings, 1002738 edges, 50280 markings/sec, 15 secs
lola: 1242917 markings, 1246693 edges, 48645 markings/sec, 20 secs
lola: 1491773 markings, 1496307 edges, 49771 markings/sec, 25 secs
lola: 1743261 markings, 1748557 edges, 50298 markings/sec, 30 secs
lola: 1987898 markings, 1993934 edges, 48927 markings/sec, 35 secs
lola: 2231482 markings, 2238360 edges, 48717 markings/sec, 40 secs
lola: 2485089 markings, 2492978 edges, 50721 markings/sec, 45 secs
lola: 2741890 markings, 2750599 edges, 51360 markings/sec, 50 secs
lola: 2994495 markings, 3003968 edges, 50521 markings/sec, 55 secs
lola: 3250644 markings, 3260902 edges, 51230 markings/sec, 60 secs
lola: 3514574 markings, 3525683 edges, 52786 markings/sec, 65 secs
lola: 3778023 markings, 3790188 edges, 52690 markings/sec, 70 secs
lola: 4043199 markings, 4056350 edges, 53035 markings/sec, 75 secs
lola: 4316251 markings, 4330227 edges, 54610 markings/sec, 80 secs
lola: 4577888 markings, 4592656 edges, 52327 markings/sec, 85 secs
lola: 4833062 markings, 4848602 edges, 51035 markings/sec, 90 secs
lola: 5091959 markings, 5108277 edges, 51779 markings/sec, 95 secs
lola: 5343273 markings, 5360353 edges, 50263 markings/sec, 100 secs
lola: 5597528 markings, 5615380 edges, 50851 markings/sec, 105 secs
lola: 5863092 markings, 5881750 edges, 53113 markings/sec, 110 secs
lola: 6127351 markings, 6146804 edges, 52852 markings/sec, 115 secs
lola: 6391753 markings, 6412242 edges, 52880 markings/sec, 120 secs
lola: 6660239 markings, 6681568 edges, 53697 markings/sec, 125 secs
lola: 6924502 markings, 6946761 edges, 52853 markings/sec, 130 secs
lola: 7186949 markings, 7210313 edges, 52489 markings/sec, 135 secs
lola: 7452856 markings, 7477024 edges, 53181 markings/sec, 140 secs
lola: 7709573 markings, 7734517 edges, 51343 markings/sec, 145 secs
lola: 7963601 markings, 7989595 edges, 50806 markings/sec, 150 secs
lola: 8227280 markings, 8254570 edges, 52736 markings/sec, 155 secs
lola: 8492589 markings, 8521277 edges, 53062 markings/sec, 160 secs
lola: 8750733 markings, 8780848 edges, 51629 markings/sec, 165 secs
lola: 9006325 markings, 9039689 edges, 51118 markings/sec, 170 secs
lola: 9264685 markings, 9301531 edges, 51672 markings/sec, 175 secs
lola: 9518512 markings, 9559850 edges, 50765 markings/sec, 180 secs
lola: 9774899 markings, 9820835 edges, 51277 markings/sec, 185 secs
lola: 10033211 markings, 10083287 edges, 51662 markings/sec, 190 secs
lola: 10291818 markings, 10346565 edges, 51721 markings/sec, 195 secs
lola: 10549948 markings, 10609163 edges, 51626 markings/sec, 200 secs
lola: 10804011 markings, 10867054 edges, 50813 markings/sec, 205 secs
lola: 11060830 markings, 11128221 edges, 51364 markings/sec, 210 secs
lola: 11314960 markings, 11387040 edges, 50826 markings/sec, 215 secs
lola: 11571991 markings, 11648454 edges, 51406 markings/sec, 220 secs
lola: 11833621 markings, 11914792 edges, 52326 markings/sec, 225 secs
lola: 12095271 markings, 12180688 edges, 52330 markings/sec, 230 secs
lola: 12355839 markings, 12445387 edges, 52114 markings/sec, 235 secs
lola: 12618041 markings, 12712406 edges, 52440 markings/sec, 240 secs
lola: 12871103 markings, 12969813 edges, 50612 markings/sec, 245 secs
lola: 13120637 markings, 13223965 edges, 49907 markings/sec, 250 secs
lola: 13370870 markings, 13478268 edges, 50047 markings/sec, 255 secs
lola: 13630291 markings, 13741762 edges, 51884 markings/sec, 260 secs
lola: 13885238 markings, 14001175 edges, 50989 markings/sec, 265 secs
lola: 14137737 markings, 14258130 edges, 50500 markings/sec, 270 secs
lola: 14391222 markings, 14516199 edges, 50697 markings/sec, 275 secs
lola: 14645907 markings, 14775324 edges, 50937 markings/sec, 280 secs
lola: 14898553 markings, 15031855 edges, 50529 markings/sec, 285 secs
lola: 15149693 markings, 15287289 edges, 50228 markings/sec, 290 secs
lola: 15398096 markings, 15540071 edges, 49681 markings/sec, 295 secs
lola: 15644007 markings, 15790348 edges, 49182 markings/sec, 300 secs
lola: 15896151 markings, 16047045 edges, 50429 markings/sec, 305 secs
lola: 16152202 markings, 16307472 edges, 51210 markings/sec, 310 secs
lola: 16407646 markings, 16567517 edges, 51089 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1870844 KB
lola: time consumption: 326 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1119)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 41 markings, 40 edges
lola: ========================================

FORMULA NoC3x3-PT-2B-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1780)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1780)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 36 markings, 35 edges
lola: ========================================

FORMULA NoC3x3-PT-2B-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 405 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1664)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1664)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 66 markings, 65 edges
lola: ========================================

FORMULA NoC3x3-PT-2B-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 463 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1396)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1396)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 48 markings, 47 edges
lola: ========================================

FORMULA NoC3x3-PT-2B-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 540 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p82)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 134 markings, 133 edges
lola: ========================================

FORMULA NoC3x3-PT-2B-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 648 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p249)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p249)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 56 markings, 55 edges
lola: ========================================

FORMULA NoC3x3-PT-2B-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 810 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p427)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p427)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 77 markings, 76 edges
lola: ========================================

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

FORMULA NoC3x3-PT-2B-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1620 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1595)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1595)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 55 markings, 54 edges
lola: ========================================

FORMULA NoC3x3-PT-2B-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p479)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p479)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 75 markings, 74 edges
lola: ========================================

FORMULA NoC3x3-PT-2B-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p500)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p500)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-2B-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: 251416 markings, 252182 edges, 50283 markings/sec, 0 secs
lola: 511731 markings, 513285 edges, 52063 markings/sec, 5 secs
lola: 772541 markings, 774900 edges, 52162 markings/sec, 10 secs
lola: 1029494 markings, 1032633 edges, 51391 markings/sec, 15 secs
lola: 1290674 markings, 1294600 edges, 52236 markings/sec, 20 secs
lola: 1542053 markings, 1546736 edges, 50276 markings/sec, 25 secs
lola: 1808175 markings, 1813671 edges, 53224 markings/sec, 30 secs
lola: 2071209 markings, 2077496 edges, 52607 markings/sec, 35 secs
lola: 2331623 markings, 2338904 edges, 52083 markings/sec, 40 secs
lola: 2587596 markings, 2595800 edges, 51195 markings/sec, 45 secs
lola: 2845053 markings, 2854074 edges, 51491 markings/sec, 50 secs
lola: 3098279 markings, 3108068 edges, 50645 markings/sec, 55 secs
lola: 3350329 markings, 3360889 edges, 50410 markings/sec, 60 secs
lola: 3608189 markings, 3619651 edges, 51572 markings/sec, 65 secs
lola: 3862801 markings, 3875296 edges, 50922 markings/sec, 70 secs
lola: 4123049 markings, 4136440 edges, 52050 markings/sec, 75 secs
lola: 4385706 markings, 4399891 edges, 52531 markings/sec, 80 secs
lola: 4643280 markings, 4658246 edges, 51515 markings/sec, 85 secs
lola: 4902362 markings, 4918112 edges, 51816 markings/sec, 90 secs
lola: 5166080 markings, 5182620 edges, 52744 markings/sec, 95 secs
lola: 5429377 markings, 5446728 edges, 52659 markings/sec, 100 secs
lola: 5688928 markings, 5707055 edges, 51910 markings/sec, 105 secs
lola: 5942235 markings, 5961131 edges, 50661 markings/sec, 110 secs
lola: 6198119 markings, 6217790 edges, 51177 markings/sec, 115 secs
lola: 6456860 markings, 6477569 edges, 51748 markings/sec, 120 secs
lola: 6718455 markings, 6739955 edges, 52319 markings/sec, 125 secs
lola: 6970684 markings, 6993129 edges, 50446 markings/sec, 130 secs
lola: 7221925 markings, 7245394 edges, 50248 markings/sec, 135 secs
lola: 7477479 markings, 7501722 edges, 51111 markings/sec, 140 secs
lola: 7734215 markings, 7759256 edges, 51347 markings/sec, 145 secs
lola: 7980984 markings, 8007082 edges, 49354 markings/sec, 150 secs
lola: 8234779 markings, 8262100 edges, 50759 markings/sec, 155 secs
lola: 8487819 markings, 8516478 edges, 50608 markings/sec, 160 secs
lola: 8743463 markings, 8773538 edges, 51129 markings/sec, 165 secs
lola: 8999622 markings, 9032830 edges, 51232 markings/sec, 170 secs
lola: 9254120 markings, 9290910 edges, 50900 markings/sec, 175 secs
lola: 9517589 markings, 9558909 edges, 52694 markings/sec, 180 secs
lola: 9776874 markings, 9822857 edges, 51857 markings/sec, 185 secs
lola: 10030786 markings, 10080844 edges, 50782 markings/sec, 190 secs
lola: 10291271 markings, 10346010 edges, 52097 markings/sec, 195 secs
lola: 10551057 markings, 10610296 edges, 51957 markings/sec, 200 secs
lola: 10808029 markings, 10871094 edges, 51394 markings/sec, 205 secs
lola: 11068115 markings, 11135638 edges, 52017 markings/sec, 210 secs
lola: 11329397 markings, 11401635 edges, 52256 markings/sec, 215 secs
lola: 11586073 markings, 11662778 edges, 51335 markings/sec, 220 secs
lola: 11839095 markings, 11920364 edges, 50604 markings/sec, 225 secs
lola: 12094784 markings, 12180195 edges, 51138 markings/sec, 230 secs
lola: 12346351 markings, 12435818 edges, 50313 markings/sec, 235 secs
lola: 12599850 markings, 12693858 edges, 50700 markings/sec, 240 secs
lola: 12849487 markings, 12947811 edges, 49927 markings/sec, 245 secs
lola: 13100797 markings, 13203688 edges, 50262 markings/sec, 250 secs
lola: 13356877 markings, 13463886 edges, 51216 markings/sec, 255 secs
lola: 13612932 markings, 13723842 edges, 51211 markings/sec, 260 secs
lola: 13869081 markings, 13984703 edges, 51230 markings/sec, 265 secs
lola: 14122523 markings, 14242626 edges, 50688 markings/sec, 270 secs
lola: 14379103 markings, 14503840 edges, 51316 markings/sec, 275 secs
lola: 14628265 markings, 14757451 edges, 49832 markings/sec, 280 secs
lola: 14880004 markings, 15012811 edges, 50348 markings/sec, 285 secs
lola: 15131941 markings, 15269212 edges, 50387 markings/sec, 290 secs
lola: 15386922 markings, 15528773 edges, 50996 markings/sec, 295 secs
lola: 15638060 markings, 15784286 edges, 50228 markings/sec, 300 secs
lola: 15888088 markings, 16038841 edges, 50006 markings/sec, 305 secs
lola: 16138182 markings, 16293172 edges, 50019 markings/sec, 310 secs
lola: 16387840 markings, 16547407 edges, 49932 markings/sec, 315 secs
lola: 16644417 markings, 16808684 edges, 51315 markings/sec, 320 secs
lola: 16894393 markings, 17063233 edges, 49995 markings/sec, 325 secs
lola: 17146063 markings, 17319512 edges, 50334 markings/sec, 330 secs
lola: 17397171 markings, 17575479 edges, 50222 markings/sec, 335 secs
lola: 17651565 markings, 17832117 edges, 50879 markings/sec, 340 secs
lola: 17898415 markings, 18084447 edges, 49370 markings/sec, 345 secs
lola: 18148264 markings, 18335718 edges, 49970 markings/sec, 350 secs
lola: 18400834 markings, 18592985 edges, 50514 markings/sec, 355 secs
lola: 18650048 markings, 18843687 edges, 49843 markings/sec, 360 secs
lola: 18898326 markings, 19097434 edges, 49656 markings/sec, 365 secs
lola: 19152840 markings, 19353443 edges, 50903 markings/sec, 370 secs
lola: 19403088 markings, 19608400 edges, 50050 markings/sec, 375 secs
lola: 19656515 markings, 19864514 edges, 50685 markings/sec, 380 secs
lola: 19908801 markings, 20122498 edges, 50457 markings/sec, 385 secs
lola: 20156192 markings, 20373564 edges, 49478 markings/sec, 390 secs
lola: 20407843 markings, 20630593 edges, 50330 markings/sec, 395 secs
lola: 20665727 markings, 20892997 edges, 51577 markings/sec, 400 secs
lola: 20918336 markings, 21150047 edges, 50522 markings/sec, 405 secs
lola: 21175803 markings, 21412087 edges, 51493 markings/sec, 410 secs
lola: 21431402 markings, 21672221 edges, 51120 markings/sec, 415 secs
lola: 21680979 markings, 21925148 edges, 49915 markings/sec, 420 secs
lola: 21929731 markings, 22179166 edges, 49750 markings/sec, 425 secs
lola: 22179631 markings, 22434018 edges, 49980 markings/sec, 430 secs
lola: 22427157 markings, 22683115 edges, 49505 markings/sec, 435 secs
lola: 22671332 markings, 22934185 edges, 48835 markings/sec, 440 secs
lola: 22917232 markings, 23184856 edges, 49180 markings/sec, 445 secs
lola: 23161079 markings, 23433476 edges, 48769 markings/sec, 450 secs
lola: 23407994 markings, 23685162 edges, 49383 markings/sec, 455 secs
lola: 23664077 markings, 23946232 edges, 51217 markings/sec, 460 secs
lola: 23913691 markings, 24200756 edges, 49923 markings/sec, 465 secs
lola: 24163420 markings, 24455108 edges, 49946 markings/sec, 470 secs
lola: 24409816 markings, 24706480 edges, 49279 markings/sec, 475 secs
lola: 24657325 markings, 24958059 edges, 49502 markings/sec, 480 secs
lola: 24905638 markings, 25210706 edges, 49663 markings/sec, 485 secs
lola: 25151905 markings, 25461340 edges, 49253 markings/sec, 490 secs
lola: 25393990 markings, 25707657 edges, 48417 markings/sec, 495 secs
lola: 25643475 markings, 25961512 edges, 49897 markings/sec, 500 secs
lola: 25890083 markings, 26212459 edges, 49322 markings/sec, 505 secs
lola: 26136510 markings, 26463281 edges, 49285 markings/sec, 510 secs
lola: 26380674 markings, 26711668 edges, 48833 markings/sec, 515 secs
lola: 26622388 markings, 26957917 edges, 48343 markings/sec, 520 secs
lola: 26870698 markings, 27209713 edges, 49662 markings/sec, 525 secs
lola: 27122143 markings, 27465886 edges, 50289 markings/sec, 530 secs
lola: 27370950 markings, 27720428 edges, 49761 markings/sec, 535 secs
lola: 27626699 markings, 27980363 edges, 51150 markings/sec, 540 secs
lola: 27874557 markings, 28232128 edges, 49572 markings/sec, 545 secs
lola: 28117692 markings, 28480696 edges, 48627 markings/sec, 550 secs
lola: 28355301 markings, 28722910 edges, 47522 markings/sec, 555 secs
lola: 28603223 markings, 28975670 edges, 49584 markings/sec, 560 secs
lola: 28844646 markings, 29221839 edges, 48285 markings/sec, 565 secs
lola: 29084357 markings, 29465923 edges, 47942 markings/sec, 570 secs
lola: 29320313 markings, 29706712 edges, 47191 markings/sec, 575 secs
lola: 29560223 markings, 29949956 edges, 47982 markings/sec, 580 secs
lola: 29799554 markings, 30193858 edges, 47866 markings/sec, 585 secs
lola: 30042311 markings, 30440985 edges, 48551 markings/sec, 590 secs
lola: 30291997 markings, 30695043 edges, 49937 markings/sec, 595 secs
lola: 30527834 markings, 30935030 edges, 47167 markings/sec, 600 secs
lola: 30767789 markings, 31179217 edges, 47991 markings/sec, 605 secs
lola: 31011320 markings, 31427079 edges, 48706 markings/sec, 610 secs
lola: 31261950 markings, 31682134 edges, 50126 markings/sec, 615 secs
lola: 31514844 markings, 31939785 edges, 50579 markings/sec, 620 secs
lola: 31773596 markings, 32204319 edges, 51750 markings/sec, 625 secs
lola: 32034353 markings, 32466728 edges, 52151 markings/sec, 630 secs
lola: 32284699 markings, 32723997 edges, 50069 markings/sec, 635 secs
lola: 32530725 markings, 32974805 edges, 49205 markings/sec, 640 secs
lola: 32781616 markings, 33230704 edges, 50178 markings/sec, 645 secs
lola: 33033395 markings, 33487334 edges, 50356 markings/sec, 650 secs
lola: 33291971 markings, 33750956 edges, 51715 markings/sec, 655 secs
lola: 33540069 markings, 34003938 edges, 49620 markings/sec, 660 secs
lola: 33789961 markings, 34257914 edges, 49978 markings/sec, 665 secs
lola: 34041873 markings, 34515215 edges, 50382 markings/sec, 670 secs
lola: 34290174 markings, 34767976 edges, 49660 markings/sec, 675 secs
lola: 34537646 markings, 35018914 edges, 49494 markings/sec, 680 secs
lola: 34780238 markings, 35266735 edges, 48518 markings/sec, 685 secs
lola: 35025788 markings, 35517651 edges, 49110 markings/sec, 690 secs
lola: 35270707 markings, 35768145 edges, 48984 markings/sec, 695 secs
lola: 35521912 markings, 36025359 edges, 50241 markings/sec, 700 secs
lola: 35774733 markings, 36284088 edges, 50564 markings/sec, 705 secs
lola: 36022341 markings, 36537727 edges, 49522 markings/sec, 710 secs
lola: 36273573 markings, 36794617 edges, 50246 markings/sec, 715 secs
lola: 36527810 markings, 37054422 edges, 50847 markings/sec, 720 secs
lola: 36785664 markings, 37318250 edges, 51571 markings/sec, 725 secs
lola: 37042268 markings, 37580951 edges, 51321 markings/sec, 730 secs
lola: 37289603 markings, 37834268 edges, 49467 markings/sec, 735 secs
lola: 37538852 markings, 38089500 edges, 49850 markings/sec, 740 secs
lola: 37787340 markings, 38343344 edges, 49698 markings/sec, 745 secs
lola: 38037719 markings, 38599572 edges, 50076 markings/sec, 750 secs
lola: 38294166 markings, 38862325 edges, 51289 markings/sec, 755 secs
lola: 38539129 markings, 39113011 edges, 48993 markings/sec, 760 secs
lola: 38792279 markings, 39372402 edges, 50630 markings/sec, 765 secs
lola: 39046457 markings, 39632191 edges, 50836 markings/sec, 770 secs
lola: 39304159 markings, 39895694 edges, 51540 markings/sec, 775 secs
lola: 39560395 markings, 40157999 edges, 51247 markings/sec, 780 secs
lola: 39814034 markings, 40417728 edges, 50728 markings/sec, 785 secs
lola: 40068705 markings, 40678625 edges, 50934 markings/sec, 790 secs
lola: 40323317 markings, 40939236 edges, 50922 markings/sec, 795 secs
lola: 40573016 markings, 41194212 edges, 49940 markings/sec, 800 secs
lola: 40822988 markings, 41450089 edges, 49994 markings/sec, 805 secs
lola: 41075623 markings, 41708737 edges, 50527 markings/sec, 810 secs
lola: 41320795 markings, 41959754 edges, 49034 markings/sec, 815 secs
lola: 41572212 markings, 42217292 edges, 50283 markings/sec, 820 secs
lola: 41822152 markings, 42472275 edges, 49988 markings/sec, 825 secs
lola: 42074888 markings, 42731495 edges, 50547 markings/sec, 830 secs
lola: 42328401 markings, 42991334 edges, 50703 markings/sec, 835 secs
lola: 42578328 markings, 43247502 edges, 49985 markings/sec, 840 secs
lola: 42825707 markings, 43501065 edges, 49476 markings/sec, 845 secs
lola: 43078759 markings, 43760425 edges, 50610 markings/sec, 850 secs
lola: 43320554 markings, 44007811 edges, 48359 markings/sec, 855 secs
lola: 43564677 markings, 44257908 edges, 48825 markings/sec, 860 secs
lola: 43817729 markings, 44515549 edges, 50610 markings/sec, 865 secs
lola: 44072815 markings, 44775158 edges, 51017 markings/sec, 870 secs
lola: 44317239 markings, 45025730 edges, 48885 markings/sec, 875 secs
lola: 44570813 markings, 45282994 edges, 50715 markings/sec, 880 secs
lola: 44815027 markings, 45533997 edges, 48843 markings/sec, 885 secs
lola: 45060503 markings, 45783240 edges, 49095 markings/sec, 890 secs
lola: 45304917 markings, 46033304 edges, 48883 markings/sec, 895 secs
lola: 45547637 markings, 46281028 edges, 48544 markings/sec, 900 secs
lola: 45793747 markings, 46533433 edges, 49222 markings/sec, 905 secs
lola: 46041977 markings, 46786956 edges, 49646 markings/sec, 910 secs
lola: 46280055 markings, 47031489 edges, 47616 markings/sec, 915 secs
lola: 46521662 markings, 47278754 edges, 48321 markings/sec, 920 secs
lola: 46767073 markings, 47529917 edges, 49082 markings/sec, 925 secs
lola: 47011920 markings, 47780540 edges, 48969 markings/sec, 930 secs
lola: 47254612 markings, 48028968 edges, 48538 markings/sec, 935 secs
lola: 47495775 markings, 48275692 edges, 48233 markings/sec, 940 secs
lola: 47745120 markings, 48531230 edges, 49869 markings/sec, 945 secs
lola: 47991089 markings, 48782910 edges, 49194 markings/sec, 950 secs
lola: 48240211 markings, 49037125 edges, 49824 markings/sec, 955 secs
lola: 48491413 markings, 49295636 edges, 50240 markings/sec, 960 secs
lola: 48736324 markings, 49546798 edges, 48982 markings/sec, 965 secs
lola: 48978880 markings, 49795797 edges, 48511 markings/sec, 970 secs
lola: 49227287 markings, 50050606 edges, 49681 markings/sec, 975 secs
lola: 49470527 markings, 50300153 edges, 48648 markings/sec, 980 secs
lola: 49721719 markings, 50557896 edges, 50238 markings/sec, 985 secs
lola: 49971172 markings, 50813854 edges, 49891 markings/sec, 990 secs
lola: 50218330 markings, 51067380 edges, 49432 markings/sec, 995 secs
lola: 50466321 markings, 51321793 edges, 49598 markings/sec, 1000 secs
lola: 50712223 markings, 51571989 edges, 49180 markings/sec, 1005 secs
lola: 50952382 markings, 51818262 edges, 48032 markings/sec, 1010 secs
lola: 51197054 markings, 52069055 edges, 48934 markings/sec, 1015 secs
lola: 51441289 markings, 52319003 edges, 48847 markings/sec, 1020 secs
lola: 51691903 markings, 52575491 edges, 50123 markings/sec, 1025 secs
lola: 51938633 markings, 52828059 edges, 49346 markings/sec, 1030 secs
lola: 52178601 markings, 53073695 edges, 47994 markings/sec, 1035 secs
lola: 52430519 markings, 53331712 edges, 50384 markings/sec, 1040 secs
lola: 52676221 markings, 53584621 edges, 49140 markings/sec, 1045 secs
lola: 52926201 markings, 53839821 edges, 49996 markings/sec, 1050 secs
lola: 53171487 markings, 54090942 edges, 49057 markings/sec, 1055 secs
lola: 53410280 markings, 54336558 edges, 47759 markings/sec, 1060 secs
lola: 53667693 markings, 54600617 edges, 51483 markings/sec, 1065 secs
lola: 53937603 markings, 54877552 edges, 53982 markings/sec, 1070 secs
lola: 54193076 markings, 55139691 edges, 51095 markings/sec, 1075 secs
lola: 54453976 markings, 55406593 edges, 52180 markings/sec, 1080 secs
lola: 54707976 markings, 55666914 edges, 50800 markings/sec, 1085 secs
lola: 54957361 markings, 55922567 edges, 49877 markings/sec, 1090 secs
lola: 55205619 markings, 56177539 edges, 49652 markings/sec, 1095 secs
lola: 55454410 markings, 56430912 edges, 49758 markings/sec, 1100 secs
lola: 55701546 markings, 56683812 edges, 49427 markings/sec, 1105 secs
lola: 55945012 markings, 56933390 edges, 48693 markings/sec, 1110 secs
lola: 56194736 markings, 57188955 edges, 49945 markings/sec, 1115 secs
lola: 56439438 markings, 57439400 edges, 48940 markings/sec, 1120 secs
lola: 56686067 markings, 57691864 edges, 49326 markings/sec, 1125 secs
lola: 56929569 markings, 57941129 edges, 48700 markings/sec, 1130 secs
lola: 57172038 markings, 58189425 edges, 48494 markings/sec, 1135 secs
lola: 57416831 markings, 58440128 edges, 48959 markings/sec, 1140 secs
lola: 57668119 markings, 58696606 edges, 50258 markings/sec, 1145 secs
lola: 57918517 markings, 58954282 edges, 50080 markings/sec, 1150 secs
lola: 58170621 markings, 59212737 edges, 50421 markings/sec, 1155 secs
lola: 58414782 markings, 59463374 edges, 48832 markings/sec, 1160 secs
lola: 58656064 markings, 59710879 edges, 48256 markings/sec, 1165 secs
lola: 58903054 markings, 59964260 edges, 49398 markings/sec, 1170 secs
lola: 59155990 markings, 60223801 edges, 50587 markings/sec, 1175 secs
lola: 59409317 markings, 60483727 edges, 50665 markings/sec, 1180 secs
lola: 59651819 markings, 60732295 edges, 48500 markings/sec, 1185 secs
lola: 59896704 markings, 60983820 edges, 48977 markings/sec, 1190 secs
lola: 60135738 markings, 61224969 edges, 47807 markings/sec, 1195 secs
lola: 60375887 markings, 61468342 edges, 48030 markings/sec, 1200 secs
lola: 60616199 markings, 61712912 edges, 48062 markings/sec, 1205 secs
lola: 60855625 markings, 61956865 edges, 47885 markings/sec, 1210 secs
lola: 61094764 markings, 62200844 edges, 47828 markings/sec, 1215 secs
lola: 61332758 markings, 62444471 edges, 47599 markings/sec, 1220 secs
lola: 61574828 markings, 62691560 edges, 48414 markings/sec, 1225 secs
lola: 61813407 markings, 62935098 edges, 47716 markings/sec, 1230 secs
lola: 62057195 markings, 63183466 edges, 48758 markings/sec, 1235 secs
lola: 62307678 markings, 63439710 edges, 50097 markings/sec, 1240 secs
lola: 62565592 markings, 63703346 edges, 51583 markings/sec, 1245 secs
lola: 62819246 markings, 63960756 edges, 50731 markings/sec, 1250 secs
lola: 63063320 markings, 64208006 edges, 48815 markings/sec, 1255 secs
lola: 63303360 markings, 64452847 edges, 48008 markings/sec, 1260 secs
lola: 63549000 markings, 64702788 edges, 49128 markings/sec, 1265 secs
lola: 63798033 markings, 64956848 edges, 49807 markings/sec, 1270 secs
lola: 64050752 markings, 65215414 edges, 50544 markings/sec, 1275 secs
lola: 64295692 markings, 65465424 edges, 48988 markings/sec, 1280 secs
lola: 64548185 markings, 65723142 edges, 50499 markings/sec, 1285 secs
lola: 64801037 markings, 65980477 edges, 50570 markings/sec, 1290 secs
lola: 65054911 markings, 66239666 edges, 50775 markings/sec, 1295 secs
lola: 65306801 markings, 66497571 edges, 50378 markings/sec, 1300 secs
lola: 65569003 markings, 66764697 edges, 52440 markings/sec, 1305 secs
lola: 65830665 markings, 67029827 edges, 52332 markings/sec, 1310 secs
lola: 66090779 markings, 67294480 edges, 52023 markings/sec, 1315 secs
lola: 66342444 markings, 67550852 edges, 50333 markings/sec, 1320 secs
lola: 66592505 markings, 67806215 edges, 50012 markings/sec, 1325 secs
lola: 66842911 markings, 68062670 edges, 50081 markings/sec, 1330 secs
lola: 67094855 markings, 68319831 edges, 50389 markings/sec, 1335 secs
lola: 67349256 markings, 68578980 edges, 50880 markings/sec, 1340 secs
lola: 67600872 markings, 68835758 edges, 50323 markings/sec, 1345 secs
lola: 67855558 markings, 69096817 edges, 50937 markings/sec, 1350 secs
lola: 68116741 markings, 69362391 edges, 52237 markings/sec, 1355 secs
lola: 68370075 markings, 69619127 edges, 50667 markings/sec, 1360 secs
lola: 68625466 markings, 69879512 edges, 51078 markings/sec, 1365 secs
lola: 68882156 markings, 70140895 edges, 51338 markings/sec, 1370 secs
lola: 69138185 markings, 70402650 edges, 51206 markings/sec, 1375 secs
lola: 69390715 markings, 70660985 edges, 50506 markings/sec, 1380 secs
lola: 69641620 markings, 70916988 edges, 50181 markings/sec, 1385 secs
lola: 69896616 markings, 71176697 edges, 50999 markings/sec, 1390 secs
lola: 70157331 markings, 71443382 edges, 52143 markings/sec, 1395 secs
lola: 70412990 markings, 71704665 edges, 51132 markings/sec, 1400 secs
lola: 70666960 markings, 71962136 edges, 50794 markings/sec, 1405 secs
lola: 70919423 markings, 72218638 edges, 50493 markings/sec, 1410 secs
lola: 71170443 markings, 72474668 edges, 50204 markings/sec, 1415 secs
lola: 71416251 markings, 72725282 edges, 49162 markings/sec, 1420 secs
lola: 71659790 markings, 72974573 edges, 48708 markings/sec, 1425 secs
lola: 71913496 markings, 73233583 edges, 50741 markings/sec, 1430 secs
lola: 72160803 markings, 73485892 edges, 49461 markings/sec, 1435 secs
lola: 72411997 markings, 73742001 edges, 50239 markings/sec, 1440 secs
lola: 72662074 markings, 73998085 edges, 50015 markings/sec, 1445 secs
lola: 72909005 markings, 74249887 edges, 49386 markings/sec, 1450 secs
lola: 73158803 markings, 74503245 edges, 49960 markings/sec, 1455 secs
lola: 73410152 markings, 74758771 edges, 50270 markings/sec, 1460 secs
lola: 73648912 markings, 75002077 edges, 47752 markings/sec, 1465 secs
lola: 73885906 markings, 75243959 edges, 47399 markings/sec, 1470 secs
lola: 74121232 markings, 75484839 edges, 47065 markings/sec, 1475 secs
lola: 74372389 markings, 75741419 edges, 50231 markings/sec, 1480 secs
lola: 74631869 markings, 76005784 edges, 51896 markings/sec, 1485 secs
lola: 74884266 markings, 76263334 edges, 50479 markings/sec, 1490 secs
lola: 75139476 markings, 76524778 edges, 51042 markings/sec, 1495 secs
lola: 75395748 markings, 76785662 edges, 51254 markings/sec, 1500 secs
lola: 75648071 markings, 77042028 edges, 50465 markings/sec, 1505 secs
lola: 75906250 markings, 77301525 edges, 51636 markings/sec, 1510 secs
lola: 76165194 markings, 77566013 edges, 51789 markings/sec, 1515 secs
lola: 76424361 markings, 77828590 edges, 51833 markings/sec, 1520 secs
lola: 76673987 markings, 78080830 edges, 49925 markings/sec, 1525 secs
lola: 76925900 markings, 78338375 edges, 50383 markings/sec, 1530 secs
lola: 77178943 markings, 78593057 edges, 50609 markings/sec, 1535 secs
lola: 77433163 markings, 78851535 edges, 50844 markings/sec, 1540 secs
lola: 77687230 markings, 79106899 edges, 50813 markings/sec, 1545 secs
lola: 77938340 markings, 79363616 edges, 50222 markings/sec, 1550 secs
lola: 78188194 markings, 79617634 edges, 49971 markings/sec, 1555 secs
lola: 78444094 markings, 79875616 edges, 51180 markings/sec, 1560 secs
lola: 78697653 markings, 80135568 edges, 50712 markings/sec, 1565 secs
lola: 78948536 markings, 80392360 edges, 50177 markings/sec, 1570 secs
lola: 79197108 markings, 80645377 edges, 49714 markings/sec, 1575 secs
lola: 79444846 markings, 80900696 edges, 49548 markings/sec, 1580 secs
lola: 79694599 markings, 81156745 edges, 49951 markings/sec, 1585 secs
lola: 79945103 markings, 81413080 edges, 50101 markings/sec, 1590 secs
lola: 80196449 markings, 81669092 edges, 50269 markings/sec, 1595 secs
lola: 80446804 markings, 81923223 edges, 50071 markings/sec, 1600 secs
lola: 80691602 markings, 82173368 edges, 48960 markings/sec, 1605 secs
lola: 80936853 markings, 82422921 edges, 49050 markings/sec, 1610 secs
lola: 81182689 markings, 82673082 edges, 49167 markings/sec, 1615 secs
lola: 81433063 markings, 82927896 edges, 50075 markings/sec, 1620 secs
lola: 81683207 markings, 83182479 edges, 50029 markings/sec, 1625 secs
lola: 81931094 markings, 83435342 edges, 49577 markings/sec, 1630 secs
lola: 82173059 markings, 83682475 edges, 48393 markings/sec, 1635 secs
lola: 82422771 markings, 83935581 edges, 49942 markings/sec, 1640 secs
lola: 82673017 markings, 84190570 edges, 50049 markings/sec, 1645 secs
lola: 82922098 markings, 84444837 edges, 49816 markings/sec, 1650 secs
lola: 83169299 markings, 84696810 edges, 49440 markings/sec, 1655 secs
lola: 83421835 markings, 84954253 edges, 50507 markings/sec, 1660 secs
lola: 83676730 markings, 85214154 edges, 50979 markings/sec, 1665 secs
lola: 83926694 markings, 85469008 edges, 49993 markings/sec, 1670 secs
lola: 84178993 markings, 85725994 edges, 50460 markings/sec, 1675 secs
lola: 84426582 markings, 85978471 edges, 49518 markings/sec, 1680 secs
lola: 84674016 markings, 86230535 edges, 49487 markings/sec, 1685 secs
lola: 84917828 markings, 86480110 edges, 48762 markings/sec, 1690 secs
lola: 85161246 markings, 86729634 edges, 48684 markings/sec, 1695 secs
lola: 85408694 markings, 86982868 edges, 49490 markings/sec, 1700 secs
lola: 85659331 markings, 87239386 edges, 50127 markings/sec, 1705 secs
lola: 85911052 markings, 87497059 edges, 50344 markings/sec, 1710 secs
lola: 86161046 markings, 87752971 edges, 49999 markings/sec, 1715 secs
lola: 86407560 markings, 88005004 edges, 49303 markings/sec, 1720 secs
lola: 86654702 markings, 88258594 edges, 49428 markings/sec, 1725 secs
lola: 86902095 markings, 88511104 edges, 49479 markings/sec, 1730 secs
lola: 87154080 markings, 88769607 edges, 50397 markings/sec, 1735 secs
lola: 87399504 markings, 89021442 edges, 49085 markings/sec, 1740 secs
lola: 87643572 markings, 89271811 edges, 48814 markings/sec, 1745 secs
lola: 87890542 markings, 89525175 edges, 49394 markings/sec, 1750 secs
lola: 88137524 markings, 89778615 edges, 49396 markings/sec, 1755 secs
lola: 88387823 markings, 90035427 edges, 50060 markings/sec, 1760 secs
lola: 88637267 markings, 90291113 edges, 49889 markings/sec, 1765 secs
lola: 88888534 markings, 90547875 edges, 50253 markings/sec, 1770 secs
lola: 89144013 markings, 90805823 edges, 51096 markings/sec, 1775 secs
lola: 89398637 markings, 91064152 edges, 50925 markings/sec, 1780 secs
lola: 89650492 markings, 91321756 edges, 50371 markings/sec, 1785 secs
lola: 89902689 markings, 91577621 edges, 50439 markings/sec, 1790 secs
lola: 90146011 markings, 91827364 edges, 48664 markings/sec, 1795 secs
lola: 90396548 markings, 92085513 edges, 50107 markings/sec, 1800 secs
lola: 90646543 markings, 92339725 edges, 49999 markings/sec, 1805 secs
lola: 90892864 markings, 92592395 edges, 49264 markings/sec, 1810 secs
lola: 91138631 markings, 92845586 edges, 49153 markings/sec, 1815 secs
lola: 91390423 markings, 93101338 edges, 50358 markings/sec, 1820 secs
lola: 91637970 markings, 93352444 edges, 49509 markings/sec, 1825 secs
lola: 91884423 markings, 93604051 edges, 49291 markings/sec, 1830 secs
lola: 92132762 markings, 93856730 edges, 49668 markings/sec, 1835 secs
lola: 92386652 markings, 94115091 edges, 50778 markings/sec, 1840 secs
lola: 92633639 markings, 94366484 edges, 49397 markings/sec, 1845 secs
lola: 92882023 markings, 94619275 edges, 49677 markings/sec, 1850 secs
lola: 93132662 markings, 94875021 edges, 50128 markings/sec, 1855 secs
lola: 93379702 markings, 95126334 edges, 49408 markings/sec, 1860 secs
lola: 93635196 markings, 95386477 edges, 51099 markings/sec, 1865 secs
lola: 93887641 markings, 95643284 edges, 50489 markings/sec, 1870 secs
lola: 94133661 markings, 95894040 edges, 49204 markings/sec, 1875 secs
lola: 94378881 markings, 96144020 edges, 49044 markings/sec, 1880 secs
lola: 94631091 markings, 96401156 edges, 50442 markings/sec, 1885 secs
lola: 94887093 markings, 96662193 edges, 51200 markings/sec, 1890 secs
lola: 95137222 markings, 96916842 edges, 50026 markings/sec, 1895 secs
lola: 95381285 markings, 97165969 edges, 48813 markings/sec, 1900 secs
lola: 95625585 markings, 97415010 edges, 48860 markings/sec, 1905 secs
lola: 95874173 markings, 97668907 edges, 49718 markings/sec, 1910 secs
lola: 96120360 markings, 97921435 edges, 49237 markings/sec, 1915 secs
lola: 96365094 markings, 98171890 edges, 48947 markings/sec, 1920 secs
lola: 96609143 markings, 98421651 edges, 48810 markings/sec, 1925 secs
lola: 96858895 markings, 98677294 edges, 49950 markings/sec, 1930 secs
lola: 97109724 markings, 98934057 edges, 50166 markings/sec, 1935 secs
lola: 97358670 markings, 99188535 edges, 49789 markings/sec, 1940 secs
lola: 97607432 markings, 99443795 edges, 49752 markings/sec, 1945 secs
lola: 97859531 markings, 99701165 edges, 50420 markings/sec, 1950 secs
lola: 98110583 markings, 99958614 edges, 50210 markings/sec, 1955 secs
lola: 98357255 markings, 100211537 edges, 49334 markings/sec, 1960 secs
lola: 98601320 markings, 100461911 edges, 48813 markings/sec, 1965 secs
lola: 98843799 markings, 100710661 edges, 48496 markings/sec, 1970 secs
lola: 99096783 markings, 100970239 edges, 50597 markings/sec, 1975 secs
lola: 99354919 markings, 101235105 edges, 51627 markings/sec, 1980 secs
lola: 99608647 markings, 101495250 edges, 50746 markings/sec, 1985 secs
lola: 99857274 markings, 101750581 edges, 49725 markings/sec, 1990 secs
lola: 100112806 markings, 102008926 edges, 51106 markings/sec, 1995 secs
lola: 100357606 markings, 102257244 edges, 48960 markings/sec, 2000 secs
lola: 100609016 markings, 102513491 edges, 50282 markings/sec, 2005 secs
lola: 100859408 markings, 102767903 edges, 50078 markings/sec, 2010 secs
lola: 101111245 markings, 103023783 edges, 50367 markings/sec, 2015 secs
lola: 101369337 markings, 103286042 edges, 51618 markings/sec, 2020 secs
lola: 101622660 markings, 103543496 edges, 50665 markings/sec, 2025 secs
lola: 101878589 markings, 103803574 edges, 51186 markings/sec, 2030 secs
lola: 102127348 markings, 104056049 edges, 49752 markings/sec, 2035 secs
lola: 102377814 markings, 104310560 edges, 50093 markings/sec, 2040 secs
lola: 102634663 markings, 104569884 edges, 51370 markings/sec, 2045 secs
lola: 102886928 markings, 104823972 edges, 50453 markings/sec, 2050 secs
lola: 103140519 markings, 105081418 edges, 50718 markings/sec, 2055 secs
lola: 103397080 markings, 105341852 edges, 51312 markings/sec, 2060 secs
lola: 103651980 markings, 105601108 edges, 50980 markings/sec, 2065 secs
lola: 103911165 markings, 105864917 edges, 51837 markings/sec, 2070 secs
lola: 104165782 markings, 106123765 edges, 50923 markings/sec, 2075 secs
lola: 104417069 markings, 106379516 edges, 50257 markings/sec, 2080 secs
lola: 104670331 markings, 106636942 edges, 50652 markings/sec, 2085 secs
lola: 104928144 markings, 106898549 edges, 51563 markings/sec, 2090 secs
lola: 105184403 markings, 107159502 edges, 51252 markings/sec, 2095 secs
lola: 105442556 markings, 107422228 edges, 51631 markings/sec, 2100 secs
lola: 105700785 markings, 107685126 edges, 51646 markings/sec, 2105 secs
lola: 105955175 markings, 107943970 edges, 50878 markings/sec, 2110 secs
lola: 106213377 markings, 108206092 edges, 51640 markings/sec, 2115 secs
lola: 106480181 markings, 108477504 edges, 53361 markings/sec, 2120 secs
lola: 106736869 markings, 108738802 edges, 51338 markings/sec, 2125 secs
lola: 106997513 markings, 109004045 edges, 52129 markings/sec, 2130 secs
lola: 107258663 markings, 109269861 edges, 52230 markings/sec, 2135 secs
lola: 107515767 markings, 109530922 edges, 51421 markings/sec, 2140 secs
lola: 107771715 markings, 109791165 edges, 51190 markings/sec, 2145 secs
lola: 108029114 markings, 110053092 edges, 51480 markings/sec, 2150 secs
lola: 108285946 markings, 110314479 edges, 51366 markings/sec, 2155 secs
lola: 108542836 markings, 110576032 edges, 51378 markings/sec, 2160 secs
lola: 108798627 markings, 110835797 edges, 51158 markings/sec, 2165 secs
lola: 109053420 markings, 111094773 edges, 50959 markings/sec, 2170 secs
lola: 109307127 markings, 111353160 edges, 50741 markings/sec, 2175 secs
lola: 109565839 markings, 111616318 edges, 51742 markings/sec, 2180 secs
lola: 109823269 markings, 111878469 edges, 51486 markings/sec, 2185 secs
lola: 110082005 markings, 112141311 edges, 51747 markings/sec, 2190 secs
lola: 110337875 markings, 112401105 edges, 51174 markings/sec, 2195 secs
lola: 110599450 markings, 112667453 edges, 52315 markings/sec, 2200 secs
lola: 110858442 markings, 112931191 edges, 51798 markings/sec, 2205 secs
lola: 111116253 markings, 113193732 edges, 51562 markings/sec, 2210 secs
lola: 111372922 markings, 113455103 edges, 51334 markings/sec, 2215 secs
lola: 111625840 markings, 113712867 edges, 50584 markings/sec, 2220 secs
lola: 111881690 markings, 113971881 edges, 51170 markings/sec, 2225 secs
lola: 112130632 markings, 114224729 edges, 49788 markings/sec, 2230 secs
lola: 112386537 markings, 114483242 edges, 51181 markings/sec, 2235 secs
lola: 112642584 markings, 114744145 edges, 51209 markings/sec, 2240 secs
lola: 112900667 markings, 115003775 edges, 51617 markings/sec, 2245 secs
lola: 113152663 markings, 115261245 edges, 50399 markings/sec, 2250 secs
lola: 113411020 markings, 115522035 edges, 51671 markings/sec, 2255 secs
lola: 113666540 markings, 115781339 edges, 51104 markings/sec, 2260 secs
lola: 113921850 markings, 116042286 edges, 51062 markings/sec, 2265 secs
lola: 114175216 markings, 116298421 edges, 50673 markings/sec, 2270 secs
lola: 114424925 markings, 116552961 edges, 49942 markings/sec, 2275 secs
lola: 114671616 markings, 116804344 edges, 49338 markings/sec, 2280 secs
lola: 114920250 markings, 117057336 edges, 49727 markings/sec, 2285 secs
lola: 115168901 markings, 117310348 edges, 49730 markings/sec, 2290 secs
lola: 115424211 markings, 117570210 edges, 51062 markings/sec, 2295 secs
lola: 115674673 markings, 117825117 edges, 50092 markings/sec, 2300 secs
lola: 115930899 markings, 118086031 edges, 51245 markings/sec, 2305 secs
lola: 116182213 markings, 118341470 edges, 50263 markings/sec, 2310 secs
lola: 116435430 markings, 118599428 edges, 50643 markings/sec, 2315 secs
lola: 116690616 markings, 118858930 edges, 51037 markings/sec, 2320 secs
lola: 116952471 markings, 119125100 edges, 52371 markings/sec, 2325 secs
lola: 117206714 markings, 119384203 edges, 50849 markings/sec, 2330 secs
lola: 117453758 markings, 119636800 edges, 49409 markings/sec, 2335 secs
lola: 117698067 markings, 119885843 edges, 48862 markings/sec, 2340 secs
lola: 117948153 markings, 120140806 edges, 50017 markings/sec, 2345 secs
lola: 118204064 markings, 120401747 edges, 51182 markings/sec, 2350 secs
lola: 118459419 markings, 120661615 edges, 51071 markings/sec, 2355 secs
lola: 118706107 markings, 120913515 edges, 49338 markings/sec, 2360 secs
lola: 118956671 markings, 121168130 edges, 50113 markings/sec, 2365 secs
lola: 119206015 markings, 121421156 edges, 49869 markings/sec, 2370 secs
lola: 119458329 markings, 121678491 edges, 50463 markings/sec, 2375 secs
lola: 119707277 markings, 121931797 edges, 49790 markings/sec, 2380 secs
lola: 119953989 markings, 122182834 edges, 49342 markings/sec, 2385 secs
lola: 120209383 markings, 122442773 edges, 51079 markings/sec, 2390 secs
lola: 120460096 markings, 122697941 edges, 50143 markings/sec, 2395 secs
lola: 120718894 markings, 122961841 edges, 51760 markings/sec, 2400 secs
lola: 120976823 markings, 123223213 edges, 51586 markings/sec, 2405 secs
lola: 121235088 markings, 123486665 edges, 51653 markings/sec, 2410 secs
lola: 121490574 markings, 123747005 edges, 51097 markings/sec, 2415 secs
lola: 121742131 markings, 124004005 edges, 50311 markings/sec, 2420 secs
lola: 121994879 markings, 124261649 edges, 50550 markings/sec, 2425 secs
lola: 122248681 markings, 124520399 edges, 50760 markings/sec, 2430 secs
lola: 122497856 markings, 124774469 edges, 49835 markings/sec, 2435 secs
lola: 122752934 markings, 125034157 edges, 51016 markings/sec, 2440 secs
lola: 122999865 markings, 125285423 edges, 49386 markings/sec, 2445 secs
lola: 123253249 markings, 125542601 edges, 50677 markings/sec, 2450 secs
lola: 123500504 markings, 125795587 edges, 49451 markings/sec, 2455 secs
lola: 123749490 markings, 126048389 edges, 49797 markings/sec, 2460 secs
lola: 124001990 markings, 126305169 edges, 50500 markings/sec, 2465 secs
lola: 124248085 markings, 126555672 edges, 49219 markings/sec, 2470 secs
lola: 124493911 markings, 126805798 edges, 49165 markings/sec, 2475 secs
lola: 124741635 markings, 127057867 edges, 49545 markings/sec, 2480 secs
lola: 124990879 markings, 127311556 edges, 49849 markings/sec, 2485 secs
lola: 125239742 markings, 127564846 edges, 49773 markings/sec, 2490 secs
lola: 125489285 markings, 127818824 edges, 49909 markings/sec, 2495 secs
lola: 125738886 markings, 128073031 edges, 49920 markings/sec, 2500 secs
lola: 125990665 markings, 128328207 edges, 50356 markings/sec, 2505 secs
lola: 126234810 markings, 128578277 edges, 48829 markings/sec, 2510 secs
lola: 126486523 markings, 128834664 edges, 50343 markings/sec, 2515 secs
lola: 126735672 markings, 129088517 edges, 49830 markings/sec, 2520 secs
lola: 126988409 markings, 129346137 edges, 50547 markings/sec, 2525 secs
lola: 127231353 markings, 129593789 edges, 48589 markings/sec, 2530 secs
lola: 127479075 markings, 129846372 edges, 49544 markings/sec, 2535 secs
lola: 127724271 markings, 130096376 edges, 49039 markings/sec, 2540 secs
lola: 127970784 markings, 130347440 edges, 49303 markings/sec, 2545 secs
lola: 128212329 markings, 130593802 edges, 48309 markings/sec, 2550 secs
lola: 128457594 markings, 130842788 edges, 49053 markings/sec, 2555 secs
lola: 128702768 markings, 131092365 edges, 49035 markings/sec, 2560 secs
lola: 128946900 markings, 131342064 edges, 48826 markings/sec, 2565 secs
lola: 129192181 markings, 131592662 edges, 49056 markings/sec, 2570 secs
lola: 129441249 markings, 131847529 edges, 49814 markings/sec, 2575 secs
lola: 129685831 markings, 132098021 edges, 48916 markings/sec, 2580 secs
lola: 129934775 markings, 132352648 edges, 49789 markings/sec, 2585 secs
lola: 130186087 markings, 132610085 edges, 50262 markings/sec, 2590 secs
lola: 130433505 markings, 132863076 edges, 49484 markings/sec, 2595 secs
lola: 130688124 markings, 133123182 edges, 50924 markings/sec, 2600 secs
lola: 130938855 markings, 133379909 edges, 50146 markings/sec, 2605 secs
lola: 131192745 markings, 133639882 edges, 50778 markings/sec, 2610 secs
lola: 131448358 markings, 133901615 edges, 51123 markings/sec, 2615 secs
lola: 131703853 markings, 134163303 edges, 51099 markings/sec, 2620 secs
lola: 131951922 markings, 134416510 edges, 49614 markings/sec, 2625 secs
lola: 132200712 markings, 134671233 edges, 49758 markings/sec, 2630 secs
lola: 132450837 markings, 134927342 edges, 50025 markings/sec, 2635 secs
lola: 132695408 markings, 135177821 edges, 48914 markings/sec, 2640 secs
lola: 132944336 markings, 135432853 edges, 49786 markings/sec, 2645 secs
lola: 133197865 markings, 135692014 edges, 50706 markings/sec, 2650 secs
lola: 133451776 markings, 135951552 edges, 50782 markings/sec, 2655 secs
lola: 133704361 markings, 136210299 edges, 50517 markings/sec, 2660 secs
lola: 133956487 markings, 136468382 edges, 50425 markings/sec, 2665 secs
lola: 134210329 markings, 136728498 edges, 50768 markings/sec, 2670 secs
lola: 134465511 markings, 136989483 edges, 51036 markings/sec, 2675 secs
lola: 134714136 markings, 137243337 edges, 49725 markings/sec, 2680 secs
lola: 134960191 markings, 137495352 edges, 49211 markings/sec, 2685 secs
lola: 135211214 markings, 137752462 edges, 50205 markings/sec, 2690 secs
lola: 135463837 markings, 138011137 edges, 50525 markings/sec, 2695 secs
lola: 135715797 markings, 138269169 edges, 50392 markings/sec, 2700 secs
lola: 135964848 markings, 138524157 edges, 49810 markings/sec, 2705 secs
lola: 136216678 markings, 138782241 edges, 50366 markings/sec, 2710 secs
lola: 136467841 markings, 139039682 edges, 50233 markings/sec, 2715 secs
lola: 136724321 markings, 139302526 edges, 51296 markings/sec, 2720 secs
lola: 136975950 markings, 139560439 edges, 50326 markings/sec, 2725 secs
lola: 137220234 markings, 139810828 edges, 48857 markings/sec, 2730 secs
lola: 137469527 markings, 140063748 edges, 49859 markings/sec, 2735 secs
lola: 137707784 markings, 140308723 edges, 47651 markings/sec, 2740 secs
lola: 137954253 markings, 140558966 edges, 49294 markings/sec, 2745 secs
lola: 138196093 markings, 140806413 edges, 48368 markings/sec, 2750 secs
lola: 138444841 markings, 141059146 edges, 49750 markings/sec, 2755 secs
lola: 138690601 markings, 141311312 edges, 49152 markings/sec, 2760 secs
lola: 138937923 markings, 141562389 edges, 49464 markings/sec, 2765 secs
lola: 139186259 markings, 141816463 edges, 49667 markings/sec, 2770 secs
lola: 139428013 markings, 142064422 edges, 48351 markings/sec, 2775 secs
lola: 139674896 markings, 142316395 edges, 49377 markings/sec, 2780 secs
lola: 139921300 markings, 142568942 edges, 49281 markings/sec, 2785 secs
lola: 140167952 markings, 142821556 edges, 49330 markings/sec, 2790 secs
lola: 140409971 markings, 143069237 edges, 48404 markings/sec, 2795 secs
lola: 140657007 markings, 143322073 edges, 49407 markings/sec, 2800 secs
lola: 140904838 markings, 143575763 edges, 49566 markings/sec, 2805 secs
lola: 141151145 markings, 143827884 edges, 49261 markings/sec, 2810 secs
lola: 141400579 markings, 144082613 edges, 49887 markings/sec, 2815 secs
lola: 141646366 markings, 144334691 edges, 49157 markings/sec, 2820 secs
lola: 141888668 markings, 144583830 edges, 48460 markings/sec, 2825 secs
lola: 142138217 markings, 144837178 edges, 49910 markings/sec, 2830 secs
lola: 142384405 markings, 145091404 edges, 49238 markings/sec, 2835 secs
lola: 142628540 markings, 145340980 edges, 48827 markings/sec, 2840 secs
lola: 142875576 markings, 145595023 edges, 49407 markings/sec, 2845 secs
lola: 143120102 markings, 145845866 edges, 48905 markings/sec, 2850 secs
lola: 143367583 markings, 146099746 edges, 49496 markings/sec, 2855 secs
lola: 143616142 markings, 146354814 edges, 49712 markings/sec, 2860 secs
lola: 143864736 markings, 146609884 edges, 49719 markings/sec, 2865 secs
lola: 144114240 markings, 146865819 edges, 49901 markings/sec, 2870 secs
lola: 144358966 markings, 147116477 edges, 48945 markings/sec, 2875 secs
lola: 144604058 markings, 147366923 edges, 49018 markings/sec, 2880 secs
lola: 144849060 markings, 147617044 edges, 49000 markings/sec, 2885 secs
lola: 145096384 markings, 147870896 edges, 49465 markings/sec, 2890 secs
lola: 145337979 markings, 148118137 edges, 48319 markings/sec, 2895 secs
lola: 145585063 markings, 148371019 edges, 49417 markings/sec, 2900 secs
lola: 145830087 markings, 148621859 edges, 49005 markings/sec, 2905 secs
lola: 146074742 markings, 148872286 edges, 48931 markings/sec, 2910 secs
lola: 146320998 markings, 149124535 edges, 49251 markings/sec, 2915 secs
lola: 146567058 markings, 149376067 edges, 49212 markings/sec, 2920 secs
lola: 146819045 markings, 149634595 edges, 50397 markings/sec, 2925 secs
lola: 147071381 markings, 149893049 edges, 50467 markings/sec, 2930 secs
lola: 147328675 markings, 150156298 edges, 51459 markings/sec, 2935 secs
lola: 147584767 markings, 150418961 edges, 51218 markings/sec, 2940 secs
lola: 147840373 markings, 150681776 edges, 51121 markings/sec, 2945 secs
lola: 148094612 markings, 150942588 edges, 50848 markings/sec, 2950 secs
lola: 148353898 markings, 151208619 edges, 51857 markings/sec, 2955 secs
lola: 148612934 markings, 151474416 edges, 51807 markings/sec, 2960 secs
lola: 148860696 markings, 151728064 edges, 49552 markings/sec, 2965 secs
lola: 149095950 markings, 151969953 edges, 47051 markings/sec, 2970 secs
lola: 149348189 markings, 152227537 edges, 50448 markings/sec, 2975 secs
lola: 149599005 markings, 152483676 edges, 50163 markings/sec, 2980 secs
lola: 149853671 markings, 152745007 edges, 50933 markings/sec, 2985 secs
lola: 150104014 markings, 153001194 edges, 50069 markings/sec, 2990 secs
lola: 150346465 markings, 153249330 edges, 48490 markings/sec, 2995 secs
lola: 150586676 markings, 153495219 edges, 48042 markings/sec, 3000 secs
lola: 150843147 markings, 153757753 edges, 51294 markings/sec, 3005 secs
lola: 151100366 markings, 154020594 edges, 51444 markings/sec, 3010 secs
lola: 151354724 markings, 154281234 edges, 50872 markings/sec, 3015 secs
lola: 151613502 markings, 154546258 edges, 51756 markings/sec, 3020 secs
lola: 151870943 markings, 154811065 edges, 51488 markings/sec, 3025 secs
lola: 152132108 markings, 155078162 edges, 52233 markings/sec, 3030 secs
lola: 152390798 markings, 155343562 edges, 51738 markings/sec, 3035 secs
lola: 152648956 markings, 155608304 edges, 51632 markings/sec, 3040 secs
lola: 152897048 markings, 155862804 edges, 49618 markings/sec, 3045 secs
lola: 153138983 markings, 156111043 edges, 48387 markings/sec, 3050 secs
lola: 153380357 markings, 156358716 edges, 48275 markings/sec, 3055 secs
lola: 153620355 markings, 156604382 edges, 48000 markings/sec, 3060 secs
lola: 153858419 markings, 156848978 edges, 47613 markings/sec, 3065 secs
lola: 154100329 markings, 157094490 edges, 48382 markings/sec, 3070 secs
lola: 154340032 markings, 157337127 edges, 47941 markings/sec, 3075 secs
lola: 154581808 markings, 157582075 edges, 48355 markings/sec, 3080 secs
lola: 154839552 markings, 157845070 edges, 51549 markings/sec, 3085 secs
lola: 155102348 markings, 158112494 edges, 52559 markings/sec, 3090 secs
lola: 155364793 markings, 158380425 edges, 52489 markings/sec, 3095 secs
lola: 155621307 markings, 158643074 edges, 51303 markings/sec, 3100 secs
lola: 155861383 markings, 158887843 edges, 48015 markings/sec, 3105 secs
lola: 156100786 markings, 159132026 edges, 47881 markings/sec, 3110 secs
lola: 156340970 markings, 159376556 edges, 48037 markings/sec, 3115 secs
lola: 156594919 markings, 159635943 edges, 50790 markings/sec, 3120 secs
lola: 156856853 markings, 159904236 edges, 52387 markings/sec, 3125 secs
lola: 157129244 markings, 160181302 edges, 54478 markings/sec, 3130 secs
lola: 157396667 markings, 160452366 edges, 53485 markings/sec, 3135 secs
lola: 157629119 markings, 160689040 edges, 46490 markings/sec, 3140 secs
lola: 157878975 markings, 160943540 edges, 49971 markings/sec, 3145 secs
lola: 158117691 markings, 161187230 edges, 47743 markings/sec, 3150 secs
lola: 158355972 markings, 161431388 edges, 47656 markings/sec, 3155 secs
lola: 158595779 markings, 161676123 edges, 47961 markings/sec, 3160 secs
lola: 158839837 markings, 161924741 edges, 48812 markings/sec, 3165 secs
lola: 159079141 markings, 162168924 edges, 47861 markings/sec, 3170 secs
lola: 159318146 markings, 162413729 edges, 47801 markings/sec, 3175 secs
lola: 159560626 markings, 162660806 edges, 48496 markings/sec, 3180 secs
lola: 159805650 markings, 162909153 edges, 49005 markings/sec, 3185 secs
lola: 160068308 markings, 163176523 edges, 52532 markings/sec, 3190 secs
lola: 160333902 markings, 163447023 edges, 53119 markings/sec, 3195 secs
lola: 160593286 markings, 163712041 edges, 51877 markings/sec, 3200 secs
lola: 160837488 markings, 163962286 edges, 48840 markings/sec, 3205 secs
lola: 161097742 markings, 164227688 edges, 52051 markings/sec, 3210 secs
lola: 161347209 markings, 164481691 edges, 49893 markings/sec, 3215 secs
lola: 161605446 markings, 164745603 edges, 51647 markings/sec, 3220 secs
lola: 161857972 markings, 165004222 edges, 50505 markings/sec, 3225 secs
lola: 162102239 markings, 165252189 edges, 48853 markings/sec, 3230 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 1 1 unknown 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 1 1 unknown 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 21152 KB
lola: time consumption: 3569 seconds

BK_STOP 1553700494567

--------------------
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="NoC3x3-PT-2B"
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-3954"
echo " Executing tool win2018"
echo " Input is NoC3x3-PT-2B, 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 r187-csrt-155344544300088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-2B.tgz
mv NoC3x3-PT-2B 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 ;