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-155344544400118.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-7B, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r187-csrt-155344544400118
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.4K Mar 23 12:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 23 12:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 12:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:10 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 2.3K Mar 23 12:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Mar 23 12:14 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.3K Mar 23 12:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 12:11 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.5K Mar 23 12:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 23 12:04 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 2.0M 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-7B-UpperBounds-00
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-01
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-02
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-03
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-04
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-05
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-06
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-07
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-08
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-09
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-10
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-11
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-12
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-13
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-14
FORMULA_NAME NoC3x3-PT-7B-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1553700461892

info: Time: 3600 - MCC
===========================================================================================
prep: translating NoC3x3-PT-7B Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating NoC3x3-PT-7B formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ NoC3x3-PT-7B @ 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: 15847/65536 symbol table entries, 5213 collisions
lola: preprocessing...
lola: Size of bit vector: 7014
lola: finding significant places
lola: 7014 places, 8833 transitions, 6948 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 8327 transition conflict sets
lola: TASK
lola: reading formula from NoC3x3-PT-7B-UpperBounds.task
lola: MAX(p480) : MAX(p961) : MAX(p3004) : MAX(p4613) : MAX(p5811) : MAX(p3837) : MAX(p5021) : MAX(p4714) : MAX(p6073) : MAX(p394) : MAX(p9) : MAX(p5686) : MAX(p6191) : MAX(p351) : MAX(p6889) : MAX(p877)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p480)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p480)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-7B-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 83 markings, 82 edges
lola: ========================================

FORMULA NoC3x3-PT-7B-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(p961)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p961)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-7B-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 83 markings, 82 edges
lola: ========================================

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

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

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

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

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

FORMULA NoC3x3-PT-7B-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 442 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6073)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6073)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-7B-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: 11017 markings, 11190 edges, 2203 markings/sec, 0 secs
lola: 38964 markings, 39589 edges, 5589 markings/sec, 5 secs
lola: 64884 markings, 65963 edges, 5184 markings/sec, 10 secs
lola: 91723 markings, 93305 edges, 5368 markings/sec, 15 secs
lola: 118356 markings, 120470 edges, 5327 markings/sec, 20 secs
lola: 143726 markings, 146373 edges, 5074 markings/sec, 25 secs
lola: 173556 markings, 176821 edges, 5966 markings/sec, 30 secs
lola: 203885 markings, 207833 edges, 6066 markings/sec, 35 secs
lola: 234190 markings, 238878 edges, 6061 markings/sec, 40 secs
lola: 263418 markings, 268890 edges, 5846 markings/sec, 45 secs
lola: 292329 markings, 298604 edges, 5782 markings/sec, 50 secs
lola: 321157 markings, 328300 edges, 5766 markings/sec, 55 secs
lola: 349973 markings, 357973 edges, 5763 markings/sec, 60 secs
lola: 378700 markings, 387741 edges, 5745 markings/sec, 65 secs
lola: 407509 markings, 417576 edges, 5762 markings/sec, 70 secs
lola: 436078 markings, 447609 edges, 5714 markings/sec, 75 secs
lola: 464828 markings, 477745 edges, 5750 markings/sec, 80 secs
lola: 493720 markings, 507982 edges, 5778 markings/sec, 85 secs
lola: 522542 markings, 538115 edges, 5764 markings/sec, 90 secs
lola: 551493 markings, 568126 edges, 5790 markings/sec, 95 secs
lola: 580301 markings, 598212 edges, 5762 markings/sec, 100 secs
lola: 609126 markings, 628327 edges, 5765 markings/sec, 105 secs
lola: 637940 markings, 658396 edges, 5763 markings/sec, 110 secs
lola: 666767 markings, 688457 edges, 5765 markings/sec, 115 secs
lola: 695594 markings, 718533 edges, 5765 markings/sec, 120 secs
lola: 724386 markings, 748522 edges, 5758 markings/sec, 125 secs
lola: 753214 markings, 778498 edges, 5766 markings/sec, 130 secs
lola: 782048 markings, 808563 edges, 5767 markings/sec, 135 secs
lola: 810885 markings, 838680 edges, 5767 markings/sec, 140 secs
lola: 839683 markings, 868778 edges, 5760 markings/sec, 145 secs
lola: 868508 markings, 898846 edges, 5765 markings/sec, 150 secs
lola: 897363 markings, 928916 edges, 5771 markings/sec, 155 secs
lola: 926165 markings, 958991 edges, 5760 markings/sec, 160 secs
lola: 955131 markings, 989135 edges, 5793 markings/sec, 165 secs
lola: 984108 markings, 1019277 edges, 5795 markings/sec, 170 secs
lola: 1013006 markings, 1049426 edges, 5780 markings/sec, 175 secs
lola: 1041926 markings, 1079638 edges, 5784 markings/sec, 180 secs
lola: 1070838 markings, 1109833 edges, 5782 markings/sec, 185 secs
lola: 1099677 markings, 1139909 edges, 5768 markings/sec, 190 secs
lola: 1128473 markings, 1170039 edges, 5759 markings/sec, 195 secs
lola: 1157369 markings, 1200104 edges, 5779 markings/sec, 200 secs
lola: 1186222 markings, 1230361 edges, 5771 markings/sec, 205 secs
lola: 1215057 markings, 1260637 edges, 5767 markings/sec, 210 secs
lola: 1243630 markings, 1290640 edges, 5715 markings/sec, 215 secs
lola: 1272330 markings, 1320861 edges, 5740 markings/sec, 220 secs
lola: 1300845 markings, 1350851 edges, 5703 markings/sec, 225 secs
lola: 1329373 markings, 1380947 edges, 5706 markings/sec, 230 secs
lola: 1358052 markings, 1411178 edges, 5736 markings/sec, 235 secs
lola: 1386708 markings, 1441210 edges, 5731 markings/sec, 240 secs
lola: 1415253 markings, 1471172 edges, 5709 markings/sec, 245 secs
lola: 1443954 markings, 1501298 edges, 5740 markings/sec, 250 secs
lola: 1472588 markings, 1531277 edges, 5727 markings/sec, 255 secs
lola: 1498360 markings, 1568792 edges, 5154 markings/sec, 260 secs
lola: 1525757 markings, 1601543 edges, 5479 markings/sec, 265 secs
lola: 1553198 markings, 1633650 edges, 5488 markings/sec, 270 secs
lola: 1580018 markings, 1667231 edges, 5364 markings/sec, 275 secs
lola: 1606197 markings, 1702463 edges, 5236 markings/sec, 280 secs
lola: 1633291 markings, 1734994 edges, 5419 markings/sec, 285 secs
lola: 1657210 markings, 1777187 edges, 4784 markings/sec, 290 secs
lola: 1683270 markings, 1812170 edges, 5212 markings/sec, 295 secs
lola: 1707963 markings, 1851602 edges, 4939 markings/sec, 300 secs
lola: 1734173 markings, 1885766 edges, 5242 markings/sec, 305 secs
lola: 1758043 markings, 1927377 edges, 4774 markings/sec, 310 secs
lola: 1781915 markings, 1968504 edges, 4774 markings/sec, 315 secs
lola: 1806203 markings, 2008564 edges, 4858 markings/sec, 320 secs
lola: 1832602 markings, 2042017 edges, 5280 markings/sec, 325 secs
lola: 1860560 markings, 2071382 edges, 5592 markings/sec, 330 secs
lola: 1885888 markings, 2107409 edges, 5066 markings/sec, 335 secs
lola: 1912068 markings, 2141066 edges, 5236 markings/sec, 340 secs
lola: 1938315 markings, 2173799 edges, 5249 markings/sec, 345 secs
lola: 1963501 markings, 2210256 edges, 5037 markings/sec, 350 secs
lola: 1990871 markings, 2240631 edges, 5474 markings/sec, 355 secs
lola: 2017498 markings, 2273501 edges, 5325 markings/sec, 360 secs
lola: 2042001 markings, 2312908 edges, 4901 markings/sec, 365 secs
lola: 2068557 markings, 2347591 edges, 5311 markings/sec, 370 secs
lola: 2096507 markings, 2376993 edges, 5590 markings/sec, 375 secs
lola: 2124275 markings, 2406380 edges, 5554 markings/sec, 380 secs
lola: 2148083 markings, 2445843 edges, 4762 markings/sec, 385 secs
lola: 2174767 markings, 2478013 edges, 5337 markings/sec, 390 secs
lola: 2202620 markings, 2507268 edges, 5571 markings/sec, 395 secs
lola: 2227811 markings, 2543420 edges, 5038 markings/sec, 400 secs
lola: 2253919 markings, 2576925 edges, 5222 markings/sec, 405 secs
lola: 2280367 markings, 2609701 edges, 5290 markings/sec, 410 secs
lola: 2305427 markings, 2646146 edges, 5012 markings/sec, 415 secs
lola: 2332818 markings, 2676466 edges, 5478 markings/sec, 420 secs
lola: 2359262 markings, 2709296 edges, 5289 markings/sec, 425 secs
lola: 2383506 markings, 2748236 edges, 4849 markings/sec, 430 secs
lola: 2411283 markings, 2777491 edges, 5555 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1065816 KB
lola: time consumption: 475 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p394)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p394)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-7B-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: 142 markings, 141 edges

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

FORMULA NoC3x3-PT-7B-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 617 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5686)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5686)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-7B-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-7B-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 771 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6191)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6191)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-7B-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: 14217 markings, 14441 edges, 2843 markings/sec, 0 secs
lola: 43918 markings, 44621 edges, 5940 markings/sec, 5 secs
lola: 73486 markings, 74740 edges, 5914 markings/sec, 10 secs
lola: 103338 markings, 105150 edges, 5970 markings/sec, 15 secs
lola: 132667 markings, 135076 edges, 5866 markings/sec, 20 secs
lola: 162168 markings, 165193 edges, 5900 markings/sec, 25 secs
lola: 191702 markings, 195337 edges, 5907 markings/sec, 30 secs
lola: 221114 markings, 225479 edges, 5882 markings/sec, 35 secs
lola: 250050 markings, 255147 edges, 5787 markings/sec, 40 secs
lola: 278256 markings, 284140 edges, 5641 markings/sec, 45 secs
lola: 306291 markings, 312981 edges, 5607 markings/sec, 50 secs
lola: 334390 markings, 341926 edges, 5620 markings/sec, 55 secs
lola: 362257 markings, 370750 edges, 5573 markings/sec, 60 secs
lola: 390266 markings, 399714 edges, 5602 markings/sec, 65 secs
lola: 418093 markings, 428697 edges, 5565 markings/sec, 70 secs
lola: 445984 markings, 457966 edges, 5578 markings/sec, 75 secs
lola: 473995 markings, 487354 edges, 5602 markings/sec, 80 secs
lola: 502145 markings, 516650 edges, 5630 markings/sec, 85 secs
lola: 530112 markings, 545924 edges, 5593 markings/sec, 90 secs
lola: 558122 markings, 575136 edges, 5602 markings/sec, 95 secs
lola: 586094 markings, 604217 edges, 5594 markings/sec, 100 secs
lola: 614045 markings, 633406 edges, 5590 markings/sec, 105 secs
lola: 641982 markings, 662592 edges, 5587 markings/sec, 110 secs
lola: 669930 markings, 691762 edges, 5590 markings/sec, 115 secs
lola: 697899 markings, 720907 edges, 5594 markings/sec, 120 secs
lola: 725832 markings, 750061 edges, 5587 markings/sec, 125 secs
lola: 753845 markings, 779156 edges, 5603 markings/sec, 130 secs
lola: 781941 markings, 808449 edges, 5619 markings/sec, 135 secs
lola: 810515 markings, 838304 edges, 5715 markings/sec, 140 secs
lola: 838884 markings, 867948 edges, 5674 markings/sec, 145 secs
lola: 866770 markings, 897020 edges, 5577 markings/sec, 150 secs
lola: 894736 markings, 926193 edges, 5593 markings/sec, 155 secs
lola: 922732 markings, 955363 edges, 5599 markings/sec, 160 secs
lola: 950820 markings, 984572 edges, 5618 markings/sec, 165 secs
lola: 978884 markings, 1013864 edges, 5613 markings/sec, 170 secs
lola: 1006946 markings, 1043181 edges, 5612 markings/sec, 175 secs
lola: 1034993 markings, 1072451 edges, 5609 markings/sec, 180 secs
lola: 1063081 markings, 1101747 edges, 5618 markings/sec, 185 secs
lola: 1091067 markings, 1130947 edges, 5597 markings/sec, 190 secs
lola: 1119112 markings, 1160065 edges, 5609 markings/sec, 195 secs
lola: 1147038 markings, 1189320 edges, 5585 markings/sec, 200 secs
lola: 1174970 markings, 1218598 edges, 5586 markings/sec, 205 secs
lola: 1202964 markings, 1247981 edges, 5599 markings/sec, 210 secs
lola: 1230674 markings, 1277024 edges, 5542 markings/sec, 215 secs
lola: 1258682 markings, 1306503 edges, 5602 markings/sec, 220 secs
lola: 1286401 markings, 1335698 edges, 5544 markings/sec, 225 secs
lola: 1314046 markings, 1364895 edges, 5529 markings/sec, 230 secs
lola: 1341868 markings, 1394161 edges, 5564 markings/sec, 235 secs
lola: 1369704 markings, 1423386 edges, 5567 markings/sec, 240 secs
lola: 1397605 markings, 1452511 edges, 5580 markings/sec, 245 secs
lola: 1425186 markings, 1481664 edges, 5516 markings/sec, 250 secs
lola: 1453110 markings, 1510959 edges, 5585 markings/sec, 255 secs
lola: 1480913 markings, 1540034 edges, 5561 markings/sec, 260 secs
lola: 1505921 markings, 1576797 edges, 5002 markings/sec, 265 secs
lola: 1531830 markings, 1610858 edges, 5182 markings/sec, 270 secs
lola: 1559163 markings, 1639916 edges, 5467 markings/sec, 275 secs
lola: 1585237 markings, 1672781 edges, 5215 markings/sec, 280 secs
lola: 1610672 markings, 1707336 edges, 5087 markings/sec, 285 secs
lola: 1636647 markings, 1740534 edges, 5195 markings/sec, 290 secs
lola: 1659996 markings, 1781527 edges, 4670 markings/sec, 295 secs
lola: 1685526 markings, 1815285 edges, 5106 markings/sec, 300 secs
lola: 1709726 markings, 1853493 edges, 4840 markings/sec, 305 secs
lola: 1735237 markings, 1886984 edges, 5102 markings/sec, 310 secs
lola: 1758387 markings, 1928067 edges, 4630 markings/sec, 315 secs
lola: 1781708 markings, 1968226 edges, 4664 markings/sec, 320 secs
lola: 1805515 markings, 2007150 edges, 4761 markings/sec, 325 secs
lola: 1831026 markings, 2040372 edges, 5102 markings/sec, 330 secs
lola: 1858178 markings, 2068926 edges, 5430 markings/sec, 335 secs
lola: 1883472 markings, 2102440 edges, 5059 markings/sec, 340 secs
lola: 1908539 markings, 2136390 edges, 5013 markings/sec, 345 secs
lola: 1934665 markings, 2167617 edges, 5225 markings/sec, 350 secs
lola: 1958561 markings, 2205039 edges, 4779 markings/sec, 355 secs
lola: 1985554 markings, 2233800 edges, 5399 markings/sec, 360 secs
lola: 2012035 markings, 2264270 edges, 5296 markings/sec, 365 secs
lola: 2035340 markings, 2303312 edges, 4661 markings/sec, 370 secs
lola: 2059916 markings, 2338576 edges, 4915 markings/sec, 375 secs
lola: 2086954 markings, 2367012 edges, 5408 markings/sec, 380 secs
lola: 2114073 markings, 2395574 edges, 5424 markings/sec, 385 secs
lola: 2137626 markings, 2433113 edges, 4711 markings/sec, 390 secs
lola: 2163348 markings, 2465065 edges, 5144 markings/sec, 395 secs
lola: 2190127 markings, 2494265 edges, 5356 markings/sec, 400 secs
lola: 2217543 markings, 2523024 edges, 5483 markings/sec, 405 secs
lola: 2240632 markings, 2561729 edges, 4618 markings/sec, 410 secs
lola: 2266482 markings, 2592814 edges, 5170 markings/sec, 415 secs
lola: 2290887 markings, 2628086 edges, 4881 markings/sec, 420 secs
lola: 2317126 markings, 2658563 edges, 5248 markings/sec, 425 secs
lola: 2343507 markings, 2688645 edges, 5276 markings/sec, 430 secs
lola: 2367470 markings, 2725518 edges, 4793 markings/sec, 435 secs
lola: 2392964 markings, 2758096 edges, 5099 markings/sec, 440 secs
lola: 2419980 markings, 2786498 edges, 5403 markings/sec, 445 secs
lola: 2444953 markings, 2820325 edges, 4995 markings/sec, 450 secs
lola: 2470062 markings, 2853677 edges, 5022 markings/sec, 455 secs
lola: 2496012 markings, 2884717 edges, 5190 markings/sec, 460 secs
lola: 2519704 markings, 2921933 edges, 4738 markings/sec, 465 secs
lola: 2546552 markings, 2950543 edges, 5370 markings/sec, 470 secs
lola: 2572848 markings, 2980812 edges, 5259 markings/sec, 475 secs
lola: 2596032 markings, 3019643 edges, 4637 markings/sec, 480 secs
lola: 2620506 markings, 3054889 edges, 4895 markings/sec, 485 secs
lola: 2647495 markings, 3083271 edges, 5398 markings/sec, 490 secs
lola: 2674617 markings, 3111823 edges, 5424 markings/sec, 495 secs
lola: 2698167 markings, 3149116 edges, 4710 markings/sec, 500 secs
lola: 2723861 markings, 3180983 edges, 5139 markings/sec, 505 secs
lola: 2750487 markings, 3210354 edges, 5325 markings/sec, 510 secs
lola: 2777607 markings, 3238743 edges, 5424 markings/sec, 515 secs
lola: 2800732 markings, 3277532 edges, 4625 markings/sec, 520 secs
lola: 2826670 markings, 3308710 edges, 5188 markings/sec, 525 secs
lola: 2851228 markings, 3343653 edges, 4912 markings/sec, 530 secs
lola: 2877372 markings, 3374469 edges, 5229 markings/sec, 535 secs
lola: 2903782 markings, 3404555 edges, 5282 markings/sec, 540 secs
lola: 2927758 markings, 3441355 edges, 4795 markings/sec, 545 secs
lola: 2953206 markings, 3474055 edges, 5090 markings/sec, 550 secs
lola: 2980219 markings, 3502455 edges, 5403 markings/sec, 555 secs
lola: 3005351 markings, 3536009 edges, 5026 markings/sec, 560 secs
lola: 3030327 markings, 3569666 edges, 4995 markings/sec, 565 secs
lola: 3056302 markings, 3600736 edges, 5195 markings/sec, 570 secs
lola: 3080035 markings, 3637986 edges, 4747 markings/sec, 575 secs
lola: 3106897 markings, 3666550 edges, 5372 markings/sec, 580 secs
lola: 3133184 markings, 3696779 edges, 5257 markings/sec, 585 secs
lola: 3156431 markings, 3735349 edges, 4649 markings/sec, 590 secs
lola: 3180842 markings, 3770927 edges, 4882 markings/sec, 595 secs
lola: 3207803 markings, 3799313 edges, 5392 markings/sec, 600 secs
lola: 3234888 markings, 3827816 edges, 5417 markings/sec, 605 secs
lola: 3258533 markings, 3864922 edges, 4729 markings/sec, 610 secs
lola: 3284198 markings, 3896800 edges, 5133 markings/sec, 615 secs
lola: 3310764 markings, 3926350 edges, 5313 markings/sec, 620 secs
lola: 3337911 markings, 3954771 edges, 5429 markings/sec, 625 secs
lola: 3361030 markings, 3993539 edges, 4624 markings/sec, 630 secs
lola: 3386972 markings, 4024732 edges, 5188 markings/sec, 635 secs
lola: 3411629 markings, 4059484 edges, 4931 markings/sec, 640 secs
lola: 3437675 markings, 4090483 edges, 5209 markings/sec, 645 secs
lola: 3464054 markings, 4120510 edges, 5276 markings/sec, 650 secs
lola: 3488220 markings, 4157250 edges, 4833 markings/sec, 655 secs
lola: 3514194 markings, 4190791 edges, 5195 markings/sec, 660 secs
lola: 3541806 markings, 4219810 edges, 5522 markings/sec, 665 secs
lola: 3567241 markings, 4254766 edges, 5087 markings/sec, 670 secs
lola: 3593112 markings, 4288304 edges, 5174 markings/sec, 675 secs
lola: 3619399 markings, 4320756 edges, 5257 markings/sec, 680 secs
lola: 3643987 markings, 4357881 edges, 4918 markings/sec, 685 secs
lola: 3671181 markings, 4387844 edges, 5439 markings/sec, 690 secs
lola: 3697949 markings, 4419165 edges, 5354 markings/sec, 695 secs
lola: 3721754 markings, 4457959 edges, 4761 markings/sec, 700 secs
lola: 3746676 markings, 4492765 edges, 4984 markings/sec, 705 secs
lola: 3774185 markings, 4521624 edges, 5502 markings/sec, 710 secs
lola: 3801313 markings, 4550282 edges, 5426 markings/sec, 715 secs
lola: 3824356 markings, 4589007 edges, 4609 markings/sec, 720 secs
lola: 3850263 markings, 4620384 edges, 5181 markings/sec, 725 secs
lola: 3877224 markings, 4648829 edges, 5392 markings/sec, 730 secs
lola: 3903568 markings, 4679330 edges, 5269 markings/sec, 735 secs
lola: 3927443 markings, 4715953 edges, 4775 markings/sec, 740 secs
lola: 3953387 markings, 4747149 edges, 5189 markings/sec, 745 secs
lola: 3977131 markings, 4784405 edges, 4749 markings/sec, 750 secs
lola: 4004029 markings, 4813059 edges, 5380 markings/sec, 755 secs
lola: 4030435 markings, 4843101 edges, 5281 markings/sec, 760 secs
lola: 4054398 markings, 4880080 edges, 4793 markings/sec, 765 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown unknown unknown unknown
lola: memory consumption: 1758080 KB
lola: time consumption: 1254 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 771 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p351)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p351)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-7B-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: 176 markings, 175 edges

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

FORMULA NoC3x3-PT-7B-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2310 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p877)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p877)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file NoC3x3-PT-7B-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: 14390 markings, 15908 edges, 2878 markings/sec, 0 secs
lola: 42566 markings, 48858 edges, 5635 markings/sec, 5 secs
lola: 71142 markings, 82233 edges, 5715 markings/sec, 10 secs
lola: 99865 markings, 115879 edges, 5745 markings/sec, 15 secs
lola: 128670 markings, 149258 edges, 5761 markings/sec, 20 secs
lola: 157545 markings, 182302 edges, 5775 markings/sec, 25 secs
lola: 186310 markings, 215461 edges, 5753 markings/sec, 30 secs
lola: 215085 markings, 248703 edges, 5755 markings/sec, 35 secs
lola: 243847 markings, 281859 edges, 5752 markings/sec, 40 secs
lola: 272595 markings, 314900 edges, 5750 markings/sec, 45 secs
lola: 301430 markings, 347997 edges, 5767 markings/sec, 50 secs
lola: 330244 markings, 381436 edges, 5763 markings/sec, 55 secs
lola: 359188 markings, 414555 edges, 5789 markings/sec, 60 secs
lola: 388032 markings, 447783 edges, 5769 markings/sec, 65 secs
lola: 416883 markings, 481123 edges, 5770 markings/sec, 70 secs
lola: 445753 markings, 514400 edges, 5774 markings/sec, 75 secs
lola: 474342 markings, 547263 edges, 5718 markings/sec, 80 secs
lola: 503250 markings, 580474 edges, 5782 markings/sec, 85 secs
lola: 532092 markings, 613905 edges, 5768 markings/sec, 90 secs
lola: 561028 markings, 647017 edges, 5787 markings/sec, 95 secs
lola: 589920 markings, 680354 edges, 5778 markings/sec, 100 secs
lola: 618825 markings, 713726 edges, 5781 markings/sec, 105 secs
lola: 647732 markings, 747000 edges, 5781 markings/sec, 110 secs
lola: 676559 markings, 780150 edges, 5765 markings/sec, 115 secs
lola: 705285 markings, 813691 edges, 5745 markings/sec, 120 secs
lola: 734050 markings, 847093 edges, 5753 markings/sec, 125 secs
lola: 762819 markings, 880177 edges, 5754 markings/sec, 130 secs
lola: 791760 markings, 913376 edges, 5788 markings/sec, 135 secs
lola: 820603 markings, 946849 edges, 5769 markings/sec, 140 secs
lola: 849454 markings, 979874 edges, 5770 markings/sec, 145 secs
lola: 878272 markings, 1013042 edges, 5764 markings/sec, 150 secs
lola: 907078 markings, 1046346 edges, 5761 markings/sec, 155 secs
lola: 935875 markings, 1079545 edges, 5759 markings/sec, 160 secs
lola: 964749 markings, 1112725 edges, 5775 markings/sec, 165 secs
lola: 993690 markings, 1145983 edges, 5788 markings/sec, 170 secs
lola: 1022559 markings, 1179432 edges, 5774 markings/sec, 175 secs
lola: 1051516 markings, 1212561 edges, 5791 markings/sec, 180 secs
lola: 1080393 markings, 1245911 edges, 5775 markings/sec, 185 secs
lola: 1109280 markings, 1279269 edges, 5777 markings/sec, 190 secs
lola: 1138194 markings, 1312518 edges, 5783 markings/sec, 195 secs
lola: 1167096 markings, 1345763 edges, 5780 markings/sec, 200 secs
lola: 1196005 markings, 1378988 edges, 5782 markings/sec, 205 secs
lola: 1224859 markings, 1412394 edges, 5771 markings/sec, 210 secs
lola: 1253823 markings, 1445594 edges, 5793 markings/sec, 215 secs
lola: 1282708 markings, 1478893 edges, 5777 markings/sec, 220 secs
lola: 1311576 markings, 1512399 edges, 5774 markings/sec, 225 secs
lola: 1340323 markings, 1545685 edges, 5749 markings/sec, 230 secs
lola: 1369123 markings, 1578894 edges, 5760 markings/sec, 235 secs
lola: 1397818 markings, 1612074 edges, 5739 markings/sec, 240 secs
lola: 1426456 markings, 1645473 edges, 5728 markings/sec, 245 secs
lola: 1455030 markings, 1678518 edges, 5715 markings/sec, 250 secs
lola: 1483659 markings, 1711430 edges, 5726 markings/sec, 255 secs
lola: 1512253 markings, 1744232 edges, 5719 markings/sec, 260 secs
lola: 1540786 markings, 1777251 edges, 5707 markings/sec, 265 secs
lola: 1569339 markings, 1810213 edges, 5711 markings/sec, 270 secs
lola: 1597945 markings, 1842990 edges, 5721 markings/sec, 275 secs
lola: 1626520 markings, 1875924 edges, 5715 markings/sec, 280 secs
lola: 1655144 markings, 1909060 edges, 5725 markings/sec, 285 secs
lola: 1683857 markings, 1942018 edges, 5743 markings/sec, 290 secs
lola: 1712534 markings, 1975033 edges, 5735 markings/sec, 295 secs
lola: 1741250 markings, 2008036 edges, 5743 markings/sec, 300 secs
lola: 1769926 markings, 2041250 edges, 5735 markings/sec, 305 secs
lola: 1798661 markings, 2074156 edges, 5747 markings/sec, 310 secs
lola: 1827758 markings, 2107731 edges, 5819 markings/sec, 315 secs
lola: 1857072 markings, 2141650 edges, 5863 markings/sec, 320 secs
lola: 1886427 markings, 2175319 edges, 5871 markings/sec, 325 secs
lola: 1915784 markings, 2208996 edges, 5871 markings/sec, 330 secs
lola: 1945045 markings, 2242895 edges, 5852 markings/sec, 335 secs
lola: 1974310 markings, 2277005 edges, 5853 markings/sec, 340 secs
lola: 2003445 markings, 2311115 edges, 5827 markings/sec, 345 secs
lola: 2032735 markings, 2345120 edges, 5858 markings/sec, 350 secs
lola: 2061913 markings, 2379441 edges, 5836 markings/sec, 355 secs
lola: 2090824 markings, 2412813 edges, 5782 markings/sec, 360 secs
lola: 2119450 markings, 2445676 edges, 5725 markings/sec, 365 secs
lola: 2148000 markings, 2478836 edges, 5710 markings/sec, 370 secs
lola: 2176683 markings, 2511639 edges, 5737 markings/sec, 375 secs
lola: 2205270 markings, 2544561 edges, 5717 markings/sec, 380 secs
lola: 2233872 markings, 2577506 edges, 5720 markings/sec, 385 secs
lola: 2262414 markings, 2610503 edges, 5708 markings/sec, 390 secs
lola: 2291006 markings, 2643376 edges, 5718 markings/sec, 395 secs
lola: 2319704 markings, 2676281 edges, 5740 markings/sec, 400 secs
lola: 2348327 markings, 2709423 edges, 5725 markings/sec, 405 secs
lola: 2377015 markings, 2742488 edges, 5738 markings/sec, 410 secs
lola: 2405761 markings, 2775501 edges, 5749 markings/sec, 415 secs
lola: 2434481 markings, 2808557 edges, 5744 markings/sec, 420 secs
lola: 2463136 markings, 2841777 edges, 5731 markings/sec, 425 secs
lola: 2491875 markings, 2874740 edges, 5748 markings/sec, 430 secs
lola: 2520611 markings, 2907745 edges, 5747 markings/sec, 435 secs
lola: 2549334 markings, 2940856 edges, 5745 markings/sec, 440 secs
lola: 2578057 markings, 2974061 edges, 5745 markings/sec, 445 secs
lola: 2606829 markings, 3007062 edges, 5754 markings/sec, 450 secs
lola: 2635521 markings, 3040138 edges, 5738 markings/sec, 455 secs
lola: 2664216 markings, 3073434 edges, 5739 markings/sec, 460 secs
lola: 2692842 markings, 3106966 edges, 5725 markings/sec, 465 secs
lola: 2721597 markings, 3140167 edges, 5751 markings/sec, 470 secs
lola: 2750142 markings, 3173690 edges, 5709 markings/sec, 475 secs
lola: 2778657 markings, 3206817 edges, 5703 markings/sec, 480 secs
lola: 2807338 markings, 3239703 edges, 5736 markings/sec, 485 secs
lola: 2835881 markings, 3272629 edges, 5709 markings/sec, 490 secs
lola: 2864440 markings, 3305609 edges, 5712 markings/sec, 495 secs
lola: 2893036 markings, 3338540 edges, 5719 markings/sec, 500 secs
lola: 2921618 markings, 3371411 edges, 5716 markings/sec, 505 secs
lola: 2950230 markings, 3404221 edges, 5722 markings/sec, 510 secs
lola: 2978851 markings, 3437416 edges, 5724 markings/sec, 515 secs
lola: 3007575 markings, 3470357 edges, 5745 markings/sec, 520 secs
lola: 3036258 markings, 3503360 edges, 5737 markings/sec, 525 secs
lola: 3064917 markings, 3536380 edges, 5732 markings/sec, 530 secs
lola: 3093579 markings, 3569501 edges, 5732 markings/sec, 535 secs
lola: 3122284 markings, 3602509 edges, 5741 markings/sec, 540 secs
lola: 3151005 markings, 3635432 edges, 5744 markings/sec, 545 secs
lola: 3179668 markings, 3668642 edges, 5733 markings/sec, 550 secs
lola: 3208403 markings, 3701712 edges, 5747 markings/sec, 555 secs
lola: 3237171 markings, 3734782 edges, 5754 markings/sec, 560 secs
lola: 3265936 markings, 3767866 edges, 5753 markings/sec, 565 secs
lola: 3294591 markings, 3801096 edges, 5731 markings/sec, 570 secs
lola: 3323328 markings, 3834053 edges, 5747 markings/sec, 575 secs
lola: 3352057 markings, 3867054 edges, 5746 markings/sec, 580 secs
lola: 3380709 markings, 3900321 edges, 5730 markings/sec, 585 secs
lola: 3409131 markings, 3933769 edges, 5684 markings/sec, 590 secs
lola: 3437510 markings, 3967107 edges, 5676 markings/sec, 595 secs
lola: 3466091 markings, 3999967 edges, 5716 markings/sec, 600 secs
lola: 3494686 markings, 4032814 edges, 5719 markings/sec, 605 secs
lola: 3523216 markings, 4065736 edges, 5706 markings/sec, 610 secs
lola: 3551780 markings, 4098748 edges, 5713 markings/sec, 615 secs
lola: 3580423 markings, 4131585 edges, 5729 markings/sec, 620 secs
lola: 3608963 markings, 4164526 edges, 5708 markings/sec, 625 secs
lola: 3637495 markings, 4197457 edges, 5706 markings/sec, 630 secs
lola: 3666154 markings, 4230481 edges, 5732 markings/sec, 635 secs
lola: 3694798 markings, 4263417 edges, 5729 markings/sec, 640 secs
lola: 3723477 markings, 4296304 edges, 5736 markings/sec, 645 secs
lola: 3752094 markings, 4329500 edges, 5723 markings/sec, 650 secs
lola: 3780827 markings, 4362438 edges, 5747 markings/sec, 655 secs
lola: 3809504 markings, 4395450 edges, 5735 markings/sec, 660 secs
lola: 3838202 markings, 4428516 edges, 5740 markings/sec, 665 secs
lola: 3866878 markings, 4461629 edges, 5735 markings/sec, 670 secs
lola: 3895565 markings, 4494638 edges, 5737 markings/sec, 675 secs
lola: 3924328 markings, 4527590 edges, 5753 markings/sec, 680 secs
lola: 3953013 markings, 4560835 edges, 5737 markings/sec, 685 secs
lola: 3981754 markings, 4593899 edges, 5748 markings/sec, 690 secs
lola: 4010514 markings, 4626954 edges, 5752 markings/sec, 695 secs
lola: 4039236 markings, 4659993 edges, 5744 markings/sec, 700 secs
lola: 4067781 markings, 4693412 edges, 5709 markings/sec, 705 secs
lola: 4096802 markings, 4727105 edges, 5804 markings/sec, 710 secs
lola: 4126055 markings, 4760714 edges, 5851 markings/sec, 715 secs
lola: 4155195 markings, 4794433 edges, 5828 markings/sec, 720 secs
lola: 4184362 markings, 4827867 edges, 5833 markings/sec, 725 secs
lola: 4213517 markings, 4861455 edges, 5831 markings/sec, 730 secs
lola: 4242603 markings, 4895154 edges, 5817 markings/sec, 735 secs
lola: 4271566 markings, 4928400 edges, 5793 markings/sec, 740 secs
lola: 4300749 markings, 4961831 edges, 5837 markings/sec, 745 secs
lola: 4329879 markings, 4995617 edges, 5826 markings/sec, 750 secs
lola: 4359177 markings, 5029227 edges, 5860 markings/sec, 755 secs
lola: 4388403 markings, 5062877 edges, 5845 markings/sec, 760 secs
lola: 4417625 markings, 5096697 edges, 5844 markings/sec, 765 secs
lola: 4446605 markings, 5130012 edges, 5796 markings/sec, 770 secs
lola: 4475576 markings, 5163328 edges, 5794 markings/sec, 775 secs
lola: 4504843 markings, 5197022 edges, 5853 markings/sec, 780 secs
lola: 4533579 markings, 5230255 edges, 5747 markings/sec, 785 secs
lola: 4562296 markings, 5263193 edges, 5743 markings/sec, 790 secs
lola: 4590967 markings, 5296234 edges, 5734 markings/sec, 795 secs
lola: 4619615 markings, 5329380 edges, 5730 markings/sec, 800 secs
lola: 4648318 markings, 5362339 edges, 5741 markings/sec, 805 secs
lola: 4677004 markings, 5395352 edges, 5737 markings/sec, 810 secs
lola: 4705718 markings, 5428365 edges, 5743 markings/sec, 815 secs
lola: 4734446 markings, 5461686 edges, 5746 markings/sec, 820 secs
lola: 4763105 markings, 5494889 edges, 5732 markings/sec, 825 secs
lola: 4791757 markings, 5527876 edges, 5730 markings/sec, 830 secs
lola: 4820371 markings, 5560758 edges, 5723 markings/sec, 835 secs
lola: 4849013 markings, 5593733 edges, 5728 markings/sec, 840 secs
lola: 4877605 markings, 5626887 edges, 5718 markings/sec, 845 secs
lola: 4906256 markings, 5659734 edges, 5730 markings/sec, 850 secs
lola: 4934948 markings, 5692715 edges, 5738 markings/sec, 855 secs
lola: 4963636 markings, 5725755 edges, 5738 markings/sec, 860 secs
lola: 4992337 markings, 5758948 edges, 5740 markings/sec, 865 secs
lola: 5021087 markings, 5791894 edges, 5750 markings/sec, 870 secs
lola: 5049952 markings, 5825210 edges, 5773 markings/sec, 875 secs
lola: 5078676 markings, 5858432 edges, 5745 markings/sec, 880 secs
lola: 5107432 markings, 5891447 edges, 5751 markings/sec, 885 secs
lola: 5136309 markings, 5924668 edges, 5775 markings/sec, 890 secs
lola: 5165113 markings, 5957786 edges, 5761 markings/sec, 895 secs
lola: 5193842 markings, 5991067 edges, 5746 markings/sec, 900 secs
lola: 5222642 markings, 6024023 edges, 5760 markings/sec, 905 secs
lola: 5251342 markings, 6057173 edges, 5740 markings/sec, 910 secs
lola: 5280153 markings, 6090443 edges, 5762 markings/sec, 915 secs
lola: 5309083 markings, 6123714 edges, 5786 markings/sec, 920 secs
lola: 5337865 markings, 6156837 edges, 5756 markings/sec, 925 secs
lola: 5366622 markings, 6189993 edges, 5751 markings/sec, 930 secs
lola: 5395219 markings, 6222905 edges, 5719 markings/sec, 935 secs
lola: 5423784 markings, 6256020 edges, 5713 markings/sec, 940 secs
lola: 5452369 markings, 6288811 edges, 5717 markings/sec, 945 secs
lola: 5480893 markings, 6321603 edges, 5705 markings/sec, 950 secs
lola: 5509455 markings, 6354459 edges, 5712 markings/sec, 955 secs
lola: 5537960 markings, 6387492 edges, 5701 markings/sec, 960 secs
lola: 5566563 markings, 6420242 edges, 5721 markings/sec, 965 secs
lola: 5594912 markings, 6452873 edges, 5670 markings/sec, 970 secs
lola: 5623490 markings, 6485885 edges, 5716 markings/sec, 975 secs
lola: 5652086 markings, 6518859 edges, 5719 markings/sec, 980 secs
lola: 5680699 markings, 6551811 edges, 5723 markings/sec, 985 secs
lola: 5709331 markings, 6584584 edges, 5726 markings/sec, 990 secs
lola: 5737955 markings, 6617757 edges, 5725 markings/sec, 995 secs
lola: 5766673 markings, 6650804 edges, 5744 markings/sec, 1000 secs
lola: 5795370 markings, 6683799 edges, 5739 markings/sec, 1005 secs
lola: 5824069 markings, 6716816 edges, 5740 markings/sec, 1010 secs
lola: 5852682 markings, 6749984 edges, 5723 markings/sec, 1015 secs
lola: 5881401 markings, 6782923 edges, 5744 markings/sec, 1020 secs
lola: 5909980 markings, 6815769 edges, 5716 markings/sec, 1025 secs
lola: 5938563 markings, 6848894 edges, 5717 markings/sec, 1030 secs
lola: 5966961 markings, 6882058 edges, 5680 markings/sec, 1035 secs
lola: 5995623 markings, 6914922 edges, 5732 markings/sec, 1040 secs
lola: 6023985 markings, 6948208 edges, 5672 markings/sec, 1045 secs
lola: 6052581 markings, 6981022 edges, 5719 markings/sec, 1050 secs
lola: 6081064 markings, 7013980 edges, 5697 markings/sec, 1055 secs
lola: 6109605 markings, 7046919 edges, 5708 markings/sec, 1060 secs
lola: 6138140 markings, 7079615 edges, 5707 markings/sec, 1065 secs
lola: 6166568 markings, 7112412 edges, 5686 markings/sec, 1070 secs
lola: 6195054 markings, 7145294 edges, 5697 markings/sec, 1075 secs
lola: 6223552 markings, 7178127 edges, 5700 markings/sec, 1080 secs
lola: 6252089 markings, 7210972 edges, 5707 markings/sec, 1085 secs
lola: 6280786 markings, 7243817 edges, 5739 markings/sec, 1090 secs
lola: 6309355 markings, 7276948 edges, 5714 markings/sec, 1095 secs
lola: 6338031 markings, 7309871 edges, 5735 markings/sec, 1100 secs
lola: 6366684 markings, 7342854 edges, 5731 markings/sec, 1105 secs
lola: 6395334 markings, 7375834 edges, 5730 markings/sec, 1110 secs
lola: 6423956 markings, 7408965 edges, 5724 markings/sec, 1115 secs
lola: 6452618 markings, 7441894 edges, 5732 markings/sec, 1120 secs
lola: 6481296 markings, 7474796 edges, 5736 markings/sec, 1125 secs
lola: 6509860 markings, 7507845 edges, 5713 markings/sec, 1130 secs
lola: 6538589 markings, 7540986 edges, 5746 markings/sec, 1135 secs
lola: 6567214 markings, 7573918 edges, 5725 markings/sec, 1140 secs
lola: 6595628 markings, 7607427 edges, 5683 markings/sec, 1145 secs
lola: 6624151 markings, 7640276 edges, 5705 markings/sec, 1150 secs
lola: 6652666 markings, 7673523 edges, 5703 markings/sec, 1155 secs
lola: 6680949 markings, 7706808 edges, 5657 markings/sec, 1160 secs
lola: 6709399 markings, 7739754 edges, 5690 markings/sec, 1165 secs
lola: 6737967 markings, 7772428 edges, 5714 markings/sec, 1170 secs
lola: 6766445 markings, 7805420 edges, 5696 markings/sec, 1175 secs
lola: 6794948 markings, 7838240 edges, 5701 markings/sec, 1180 secs
lola: 6823469 markings, 7871028 edges, 5704 markings/sec, 1185 secs
lola: 6851934 markings, 7903824 edges, 5693 markings/sec, 1190 secs
lola: 6880375 markings, 7936756 edges, 5688 markings/sec, 1195 secs
lola: 6909012 markings, 7969593 edges, 5727 markings/sec, 1200 secs
lola: 6937569 markings, 8002483 edges, 5711 markings/sec, 1205 secs
lola: 6966228 markings, 8035416 edges, 5732 markings/sec, 1210 secs
lola: 6994799 markings, 8068532 edges, 5714 markings/sec, 1215 secs
lola: 7023476 markings, 8101377 edges, 5735 markings/sec, 1220 secs
lola: 7052134 markings, 8134338 edges, 5732 markings/sec, 1225 secs
lola: 7080824 markings, 8167520 edges, 5738 markings/sec, 1230 secs
lola: 7109591 markings, 8200692 edges, 5753 markings/sec, 1235 secs
lola: 7138118 markings, 8233532 edges, 5705 markings/sec, 1240 secs
lola: 7166946 markings, 8266502 edges, 5766 markings/sec, 1245 secs
lola: 7195668 markings, 8299808 edges, 5744 markings/sec, 1250 secs
lola: 7224434 markings, 8332850 edges, 5753 markings/sec, 1255 secs
lola: 7253113 markings, 8366087 edges, 5736 markings/sec, 1260 secs
lola: 7281712 markings, 8399825 edges, 5720 markings/sec, 1265 secs
lola: 7309645 markings, 8431860 edges, 5587 markings/sec, 1270 secs
lola: 7338104 markings, 8465261 edges, 5692 markings/sec, 1275 secs
lola: 7366815 markings, 8498185 edges, 5742 markings/sec, 1280 secs
lola: 7394529 markings, 8530264 edges, 5543 markings/sec, 1285 secs
lola: 7423157 markings, 8563217 edges, 5726 markings/sec, 1290 secs
lola: 7451789 markings, 8596146 edges, 5726 markings/sec, 1295 secs
lola: 7480148 markings, 8628803 edges, 5672 markings/sec, 1300 secs
lola: 7508727 markings, 8661934 edges, 5716 markings/sec, 1305 secs
lola: 7537349 markings, 8694708 edges, 5724 markings/sec, 1310 secs
lola: 7565908 markings, 8727589 edges, 5712 markings/sec, 1315 secs
lola: 7594584 markings, 8760578 edges, 5735 markings/sec, 1320 secs
lola: 7623232 markings, 8793756 edges, 5730 markings/sec, 1325 secs
lola: 7651299 markings, 8825895 edges, 5613 markings/sec, 1330 secs
lola: 7679727 markings, 8858634 edges, 5686 markings/sec, 1335 secs
lola: 7708432 markings, 8891716 edges, 5741 markings/sec, 1340 secs
lola: 7737115 markings, 8924849 edges, 5737 markings/sec, 1345 secs
lola: 7765822 markings, 8957872 edges, 5741 markings/sec, 1350 secs
lola: 7794580 markings, 8990824 edges, 5752 markings/sec, 1355 secs
lola: 7823265 markings, 9024060 edges, 5737 markings/sec, 1360 secs
lola: 7852009 markings, 9057136 edges, 5749 markings/sec, 1365 secs
lola: 7880777 markings, 9090201 edges, 5754 markings/sec, 1370 secs
lola: 7908709 markings, 9122637 edges, 5586 markings/sec, 1375 secs
lola: 7937373 markings, 9155793 edges, 5733 markings/sec, 1380 secs
lola: 7966041 markings, 9188985 edges, 5734 markings/sec, 1385 secs
lola: 7994764 markings, 9221989 edges, 5745 markings/sec, 1390 secs
lola: 8023281 markings, 9255536 edges, 5703 markings/sec, 1395 secs
lola: 8051745 markings, 9288790 edges, 5693 markings/sec, 1400 secs
lola: 8080319 markings, 9321611 edges, 5715 markings/sec, 1405 secs
lola: 8108827 markings, 9354706 edges, 5702 markings/sec, 1410 secs
lola: 8137461 markings, 9387459 edges, 5727 markings/sec, 1415 secs
lola: 8166033 markings, 9420350 edges, 5714 markings/sec, 1420 secs
lola: 8194624 markings, 9453292 edges, 5718 markings/sec, 1425 secs
lola: 8223346 markings, 9486483 edges, 5744 markings/sec, 1430 secs
lola: 8252075 markings, 9519516 edges, 5746 markings/sec, 1435 secs
lola: 8280811 markings, 9552454 edges, 5747 markings/sec, 1440 secs
lola: 8309496 markings, 9585693 edges, 5737 markings/sec, 1445 secs
lola: 8338269 markings, 9618797 edges, 5755 markings/sec, 1450 secs
lola: 8367039 markings, 9651865 edges, 5754 markings/sec, 1455 secs
lola: 8395810 markings, 9684954 edges, 5754 markings/sec, 1460 secs
lola: 8424491 markings, 9718221 edges, 5736 markings/sec, 1465 secs
lola: 8453256 markings, 9751229 edges, 5753 markings/sec, 1470 secs
lola: 8482069 markings, 9784303 edges, 5763 markings/sec, 1475 secs
lola: 8511105 markings, 9817894 edges, 5807 markings/sec, 1480 secs
lola: 8540516 markings, 9851695 edges, 5882 markings/sec, 1485 secs
lola: 8569871 markings, 9885459 edges, 5871 markings/sec, 1490 secs
lola: 8599183 markings, 9919346 edges, 5862 markings/sec, 1495 secs
lola: 8628337 markings, 9953508 edges, 5831 markings/sec, 1500 secs
lola: 8657333 markings, 9987769 edges, 5799 markings/sec, 1505 secs
lola: 8686464 markings, 10021251 edges, 5826 markings/sec, 1510 secs
lola: 8715695 markings, 10054928 edges, 5846 markings/sec, 1515 secs
lola: 8744774 markings, 10088519 edges, 5816 markings/sec, 1520 secs
lola: 8773896 markings, 10122070 edges, 5824 markings/sec, 1525 secs
lola: 8803104 markings, 10155587 edges, 5842 markings/sec, 1530 secs
lola: 8832296 markings, 10189396 edges, 5838 markings/sec, 1535 secs
lola: 8861466 markings, 10222795 edges, 5834 markings/sec, 1540 secs
lola: 8890473 markings, 10256247 edges, 5801 markings/sec, 1545 secs
lola: 8919532 markings, 10289934 edges, 5812 markings/sec, 1550 secs
lola: 8948231 markings, 10322797 edges, 5740 markings/sec, 1555 secs
lola: 8976920 markings, 10355797 edges, 5738 markings/sec, 1560 secs
lola: 9005617 markings, 10388817 edges, 5739 markings/sec, 1565 secs
lola: 9034306 markings, 10422045 edges, 5738 markings/sec, 1570 secs
lola: 9063048 markings, 10454956 edges, 5748 markings/sec, 1575 secs
lola: 9091748 markings, 10488097 edges, 5740 markings/sec, 1580 secs
lola: 9120465 markings, 10521255 edges, 5743 markings/sec, 1585 secs
lola: 9149211 markings, 10554352 edges, 5749 markings/sec, 1590 secs
lola: 9177946 markings, 10587390 edges, 5747 markings/sec, 1595 secs
lola: 9206739 markings, 10620482 edges, 5759 markings/sec, 1600 secs
lola: 9236060 markings, 10654415 edges, 5864 markings/sec, 1605 secs
lola: 9265428 markings, 10688076 edges, 5874 markings/sec, 1610 secs
lola: 9294632 markings, 10722359 edges, 5841 markings/sec, 1615 secs
lola: 9324054 markings, 10756131 edges, 5884 markings/sec, 1620 secs
lola: 9353106 markings, 10789781 edges, 5810 markings/sec, 1625 secs
lola: 9381783 markings, 10822586 edges, 5735 markings/sec, 1630 secs
lola: 9410307 markings, 10855498 edges, 5705 markings/sec, 1635 secs
lola: 9438821 markings, 10888432 edges, 5703 markings/sec, 1640 secs
lola: 9467331 markings, 10921297 edges, 5702 markings/sec, 1645 secs
lola: 9495867 markings, 10954169 edges, 5707 markings/sec, 1650 secs
lola: 9524552 markings, 10986992 edges, 5737 markings/sec, 1655 secs
lola: 9553192 markings, 11020151 edges, 5728 markings/sec, 1660 secs
lola: 9581870 markings, 11053135 edges, 5736 markings/sec, 1665 secs
lola: 9610574 markings, 11086138 edges, 5741 markings/sec, 1670 secs
lola: 9639301 markings, 11119191 edges, 5745 markings/sec, 1675 secs
lola: 9667947 markings, 11152413 edges, 5729 markings/sec, 1680 secs
lola: 9696628 markings, 11185316 edges, 5736 markings/sec, 1685 secs
lola: 9725361 markings, 11218303 edges, 5747 markings/sec, 1690 secs
lola: 9754002 markings, 11251439 edges, 5728 markings/sec, 1695 secs
lola: 9782796 markings, 11284598 edges, 5759 markings/sec, 1700 secs
lola: 9811839 markings, 11318749 edges, 5809 markings/sec, 1705 secs
lola: 9840681 markings, 11352121 edges, 5768 markings/sec, 1710 secs
lola: 9869602 markings, 11385405 edges, 5784 markings/sec, 1715 secs
lola: 9898940 markings, 11419213 edges, 5868 markings/sec, 1720 secs
lola: 9928267 markings, 11453090 edges, 5865 markings/sec, 1725 secs
lola: 9957627 markings, 11486883 edges, 5872 markings/sec, 1730 secs
lola: 9986867 markings, 11520991 edges, 5848 markings/sec, 1735 secs
lola: 10016046 markings, 11554616 edges, 5836 markings/sec, 1740 secs
lola: 10045240 markings, 11588365 edges, 5839 markings/sec, 1745 secs
lola: 10074284 markings, 11621743 edges, 5809 markings/sec, 1750 secs
lola: 10103334 markings, 11655124 edges, 5810 markings/sec, 1755 secs
lola: 10132346 markings, 11688725 edges, 5802 markings/sec, 1760 secs
lola: 10161482 markings, 11722071 edges, 5827 markings/sec, 1765 secs
lola: 10190538 markings, 11755590 edges, 5811 markings/sec, 1770 secs
lola: 10219713 markings, 11789400 edges, 5835 markings/sec, 1775 secs
lola: 10248992 markings, 11822940 edges, 5856 markings/sec, 1780 secs
lola: 10278238 markings, 11856484 edges, 5849 markings/sec, 1785 secs
lola: 10307406 markings, 11890263 edges, 5834 markings/sec, 1790 secs
lola: 10336639 markings, 11923857 edges, 5847 markings/sec, 1795 secs
lola: 10365885 markings, 11957483 edges, 5849 markings/sec, 1800 secs
lola: 10395177 markings, 11991378 edges, 5858 markings/sec, 1805 secs
lola: 10424555 markings, 12025162 edges, 5876 markings/sec, 1810 secs
lola: 10453625 markings, 12058589 edges, 5814 markings/sec, 1815 secs
lola: 10482454 markings, 12091719 edges, 5766 markings/sec, 1820 secs
lola: 10511148 markings, 12124989 edges, 5739 markings/sec, 1825 secs
lola: 10539952 markings, 12158034 edges, 5761 markings/sec, 1830 secs
lola: 10568698 markings, 12191032 edges, 5749 markings/sec, 1835 secs
lola: 10597509 markings, 12224360 edges, 5762 markings/sec, 1840 secs
lola: 10626119 markings, 12257788 edges, 5722 markings/sec, 1845 secs
lola: 10654632 markings, 12290657 edges, 5703 markings/sec, 1850 secs
lola: 10683189 markings, 12323565 edges, 5711 markings/sec, 1855 secs
lola: 10711644 markings, 12356304 edges, 5691 markings/sec, 1860 secs
lola: 10740108 markings, 12388930 edges, 5693 markings/sec, 1865 secs
lola: 10768519 markings, 12421834 edges, 5682 markings/sec, 1870 secs
lola: 10796976 markings, 12454691 edges, 5691 markings/sec, 1875 secs
lola: 10825536 markings, 12487422 edges, 5712 markings/sec, 1880 secs
lola: 10854169 markings, 12520413 edges, 5727 markings/sec, 1885 secs
lola: 10882770 markings, 12553517 edges, 5720 markings/sec, 1890 secs
lola: 10911428 markings, 12586428 edges, 5732 markings/sec, 1895 secs
lola: 10940056 markings, 12619377 edges, 5726 markings/sec, 1900 secs
lola: 10968741 markings, 12652342 edges, 5737 markings/sec, 1905 secs
lola: 10997367 markings, 12685524 edges, 5725 markings/sec, 1910 secs
lola: 11026138 markings, 12718466 edges, 5754 markings/sec, 1915 secs
lola: 11054731 markings, 12751731 edges, 5719 markings/sec, 1920 secs
lola: 11083270 markings, 12785223 edges, 5708 markings/sec, 1925 secs
lola: 11111964 markings, 12818182 edges, 5739 markings/sec, 1930 secs
lola: 11140523 markings, 12851797 edges, 5712 markings/sec, 1935 secs
lola: 11169210 markings, 12885365 edges, 5737 markings/sec, 1940 secs
lola: 11198097 markings, 12918585 edges, 5777 markings/sec, 1945 secs
lola: 11227024 markings, 12951841 edges, 5785 markings/sec, 1950 secs
lola: 11255898 markings, 12985267 edges, 5775 markings/sec, 1955 secs
lola: 11284588 markings, 13018098 edges, 5738 markings/sec, 1960 secs
lola: 11313465 markings, 13051453 edges, 5775 markings/sec, 1965 secs
lola: 11342338 markings, 13084834 edges, 5775 markings/sec, 1970 secs
lola: 11371165 markings, 13117941 edges, 5765 markings/sec, 1975 secs
lola: 11399719 markings, 13150817 edges, 5711 markings/sec, 1980 secs
lola: 11428859 markings, 13184293 edges, 5828 markings/sec, 1985 secs
lola: 11457977 markings, 13217973 edges, 5824 markings/sec, 1990 secs
lola: 11487090 markings, 13251370 edges, 5823 markings/sec, 1995 secs
lola: 11515662 markings, 13284300 edges, 5714 markings/sec, 2000 secs
lola: 11544110 markings, 13317226 edges, 5690 markings/sec, 2005 secs
lola: 11572635 markings, 13350024 edges, 5705 markings/sec, 2010 secs
lola: 11601211 markings, 13382875 edges, 5715 markings/sec, 2015 secs
lola: 11629864 markings, 13415769 edges, 5731 markings/sec, 2020 secs
lola: 11658459 markings, 13448990 edges, 5719 markings/sec, 2025 secs
lola: 11687205 markings, 13481857 edges, 5749 markings/sec, 2030 secs
lola: 11715865 markings, 13514868 edges, 5732 markings/sec, 2035 secs
lola: 11744553 markings, 13547934 edges, 5738 markings/sec, 2040 secs
lola: 11773231 markings, 13581034 edges, 5736 markings/sec, 2045 secs
lola: 11801848 markings, 13614308 edges, 5723 markings/sec, 2050 secs
lola: 11830315 markings, 13647755 edges, 5693 markings/sec, 2055 secs
lola: 11858328 markings, 13679928 edges, 5603 markings/sec, 2060 secs
lola: 11886099 markings, 13711850 edges, 5554 markings/sec, 2065 secs
lola: 11914208 markings, 13744203 edges, 5622 markings/sec, 2070 secs
lola: 11941960 markings, 13776300 edges, 5550 markings/sec, 2075 secs
lola: 11969054 markings, 13807524 edges, 5419 markings/sec, 2080 secs
lola: 11995943 markings, 13838382 edges, 5378 markings/sec, 2085 secs
lola: 12022573 markings, 13869594 edges, 5326 markings/sec, 2090 secs
lola: 12050957 markings, 13902314 edges, 5677 markings/sec, 2095 secs
lola: 12079629 markings, 13935237 edges, 5734 markings/sec, 2100 secs
lola: 12108060 markings, 13968060 edges, 5686 markings/sec, 2105 secs
lola: 12136374 markings, 14000780 edges, 5663 markings/sec, 2110 secs
lola: 12164653 markings, 14033184 edges, 5656 markings/sec, 2115 secs
lola: 12192626 markings, 14065418 edges, 5595 markings/sec, 2120 secs
lola: 12219004 markings, 14095854 edges, 5276 markings/sec, 2125 secs
lola: 12246544 markings, 14127545 edges, 5508 markings/sec, 2130 secs
lola: 12274757 markings, 14160166 edges, 5643 markings/sec, 2135 secs
lola: 12303312 markings, 14192977 edges, 5711 markings/sec, 2140 secs
lola: 12331988 markings, 14225888 edges, 5735 markings/sec, 2145 secs
lola: 12358661 markings, 14256591 edges, 5335 markings/sec, 2150 secs
lola: 12386069 markings, 14288318 edges, 5482 markings/sec, 2155 secs
lola: 12414529 markings, 14321153 edges, 5692 markings/sec, 2160 secs
lola: 12443512 markings, 14354582 edges, 5797 markings/sec, 2165 secs
lola: 12472471 markings, 14388151 edges, 5792 markings/sec, 2170 secs
lola: 12499375 markings, 14419345 edges, 5381 markings/sec, 2175 secs
lola: 12527509 markings, 14451777 edges, 5627 markings/sec, 2180 secs
lola: 12556488 markings, 14485111 edges, 5796 markings/sec, 2185 secs
lola: 12587013 markings, 14520243 edges, 6105 markings/sec, 2190 secs
lola: 12617661 markings, 14555456 edges, 6130 markings/sec, 2195 secs
lola: 12648263 markings, 14590733 edges, 6120 markings/sec, 2200 secs
lola: 12678798 markings, 14626015 edges, 6107 markings/sec, 2205 secs
lola: 12709081 markings, 14661451 edges, 6057 markings/sec, 2210 secs
lola: 12739305 markings, 14696739 edges, 6045 markings/sec, 2215 secs
lola: 12769488 markings, 14731642 edges, 6037 markings/sec, 2220 secs
lola: 12799819 markings, 14766395 edges, 6066 markings/sec, 2225 secs
lola: 12829995 markings, 14801341 edges, 6035 markings/sec, 2230 secs
lola: 12860339 markings, 14836189 edges, 6069 markings/sec, 2235 secs
lola: 12890689 markings, 14871035 edges, 6070 markings/sec, 2240 secs
lola: 12921105 markings, 14906247 edges, 6083 markings/sec, 2245 secs
lola: 12951630 markings, 14941229 edges, 6105 markings/sec, 2250 secs
lola: 12982076 markings, 14976555 edges, 6089 markings/sec, 2255 secs
lola: 13012611 markings, 15011618 edges, 6107 markings/sec, 2260 secs
lola: 13043146 markings, 15046682 edges, 6107 markings/sec, 2265 secs
lola: 13072878 markings, 15081008 edges, 5946 markings/sec, 2270 secs
lola: 13101711 markings, 15114284 edges, 5767 markings/sec, 2275 secs
lola: 13132168 markings, 15149932 edges, 6091 markings/sec, 2280 secs
lola: 13162602 markings, 15185351 edges, 6087 markings/sec, 2285 secs
lola: 13193123 markings, 15220491 edges, 6104 markings/sec, 2290 secs
lola: 13223600 markings, 15255738 edges, 6095 markings/sec, 2295 secs
lola: 13254190 markings, 15290798 edges, 6118 markings/sec, 2300 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown 1 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown 1 1 unknown
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown 1 1 unknown
lola: memory consumption: 5007584 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown 1 1 unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown 1 1 unknown
lola: memory consumption: 5008044 KB
lola: time consumption: 3569 seconds

BK_STOP 1553704031527

--------------------
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-7B"
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-7B, 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-155344544400118"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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