Execution Chart

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

Trace from the execution

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

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

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

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

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-08a-UpperBounds-00
FORMULA_NAME ASLink-PT-08a-UpperBounds-01
FORMULA_NAME ASLink-PT-08a-UpperBounds-02
FORMULA_NAME ASLink-PT-08a-UpperBounds-03
FORMULA_NAME ASLink-PT-08a-UpperBounds-04
FORMULA_NAME ASLink-PT-08a-UpperBounds-05
FORMULA_NAME ASLink-PT-08a-UpperBounds-06
FORMULA_NAME ASLink-PT-08a-UpperBounds-07
FORMULA_NAME ASLink-PT-08a-UpperBounds-08
FORMULA_NAME ASLink-PT-08a-UpperBounds-09
FORMULA_NAME ASLink-PT-08a-UpperBounds-10
FORMULA_NAME ASLink-PT-08a-UpperBounds-11
FORMULA_NAME ASLink-PT-08a-UpperBounds-12
FORMULA_NAME ASLink-PT-08a-UpperBounds-13
FORMULA_NAME ASLink-PT-08a-UpperBounds-14
FORMULA_NAME ASLink-PT-08a-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552308010269

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-08a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-08a formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-08a @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 4442/65536 symbol table entries, 221 collisions
lola: preprocessing...
lola: Size of bit vector: 1796
lola: finding significant places
lola: 1796 places, 2646 transitions, 1450 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2984 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-08a-UpperBounds.task
lola: MAX(p165) : MAX(p1130) : MAX(p1544) : MAX(p362) : MAX(p1718) : MAX(p213) : MAX(p1618) : MAX(p778) : MAX(p1471) : MAX(p1614) : MAX(p884) : MAX(p1150) : MAX(p1629) : MAX(p979) : MAX(p877) : MAX(p194)
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(p165)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p165)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 5 markings, 4 edges

FORMULA ASLink-PT-08a-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(p1130)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1130)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: ========================================
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: 5 markings, 4 edges
lola: ========================================

FORMULA ASLink-PT-08a-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(p1544)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1544)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 4 markings, 3 edges
lola: ========================================

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

FORMULA ASLink-PT-08a-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1718)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1718)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 80756 markings, 85522 edges, 16151 markings/sec, 0 secs
lola: 169722 markings, 181836 edges, 17793 markings/sec, 5 secs
lola: 252415 markings, 281370 edges, 16539 markings/sec, 10 secs
lola: 335980 markings, 380117 edges, 16713 markings/sec, 15 secs
lola: 420870 markings, 477723 edges, 16978 markings/sec, 20 secs
lola: 506309 markings, 575490 edges, 17088 markings/sec, 25 secs
lola: 589697 markings, 674397 edges, 16678 markings/sec, 30 secs
lola: 672210 markings, 775417 edges, 16503 markings/sec, 35 secs
lola: 760684 markings, 872797 edges, 17695 markings/sec, 40 secs
lola: 851159 markings, 967940 edges, 18095 markings/sec, 45 secs
lola: 936010 markings, 1067320 edges, 16970 markings/sec, 50 secs
lola: 1021449 markings, 1165493 edges, 17088 markings/sec, 55 secs
lola: 1104621 markings, 1266643 edges, 16634 markings/sec, 60 secs
lola: 1194963 markings, 1361494 edges, 18068 markings/sec, 65 secs
lola: 1279825 markings, 1460652 edges, 16972 markings/sec, 70 secs
lola: 1369918 markings, 1556130 edges, 18019 markings/sec, 75 secs
lola: 1448090 markings, 1659854 edges, 15634 markings/sec, 80 secs
lola: 1533938 markings, 1750148 edges, 17170 markings/sec, 85 secs
lola: 1621147 markings, 1844137 edges, 17442 markings/sec, 90 secs
lola: 1710972 markings, 1947226 edges, 17965 markings/sec, 95 secs
lola: 1810374 markings, 2048629 edges, 19880 markings/sec, 100 secs
lola: 1909982 markings, 2150645 edges, 19922 markings/sec, 105 secs
lola: 2009828 markings, 2253302 edges, 19969 markings/sec, 110 secs
lola: 2108403 markings, 2356163 edges, 19715 markings/sec, 115 secs
lola: 2206853 markings, 2456529 edges, 19690 markings/sec, 120 secs
lola: 2305567 markings, 2557675 edges, 19743 markings/sec, 125 secs
lola: 2404471 markings, 2659070 edges, 19781 markings/sec, 130 secs
lola: 2503063 markings, 2760146 edges, 19718 markings/sec, 135 secs
lola: 2602308 markings, 2861904 edges, 19849 markings/sec, 140 secs
lola: 2701517 markings, 2963274 edges, 19842 markings/sec, 145 secs
lola: 2800115 markings, 3064248 edges, 19720 markings/sec, 150 secs
lola: 2898553 markings, 3165235 edges, 19688 markings/sec, 155 secs
lola: 2996886 markings, 3266092 edges, 19667 markings/sec, 160 secs
lola: 3095790 markings, 3367664 edges, 19781 markings/sec, 165 secs
lola: 3195480 markings, 3470243 edges, 19938 markings/sec, 170 secs
lola: 3295405 markings, 3573154 edges, 19985 markings/sec, 175 secs
lola: 3394572 markings, 3674845 edges, 19833 markings/sec, 180 secs
lola: 3494053 markings, 3777287 edges, 19896 markings/sec, 185 secs
lola: 3593669 markings, 3879885 edges, 19923 markings/sec, 190 secs
lola: 3692722 markings, 3981451 edges, 19811 markings/sec, 195 secs
lola: 3787176 markings, 4078717 edges, 18891 markings/sec, 200 secs
lola: 3886488 markings, 4181241 edges, 19862 markings/sec, 205 secs
lola: 3983291 markings, 4285540 edges, 19361 markings/sec, 210 secs
lola: 4079681 markings, 4390083 edges, 19278 markings/sec, 215 secs
lola: 4177560 markings, 4494485 edges, 19576 markings/sec, 220 secs
lola: 4269178 markings, 4592228 edges, 18324 markings/sec, 225 secs
lola: 4368125 markings, 4694728 edges, 19789 markings/sec, 230 secs
lola: 4467071 markings, 4797638 edges, 19789 markings/sec, 235 secs
lola: 4564258 markings, 4898101 edges, 19437 markings/sec, 240 secs
lola: 4661147 markings, 4998738 edges, 19378 markings/sec, 245 secs
lola: 4758985 markings, 5100662 edges, 19568 markings/sec, 250 secs
lola: 4857369 markings, 5202260 edges, 19677 markings/sec, 255 secs
lola: 4954490 markings, 5303259 edges, 19424 markings/sec, 260 secs
lola: 5051169 markings, 5406383 edges, 19336 markings/sec, 265 secs
lola: 5143327 markings, 5502034 edges, 18432 markings/sec, 270 secs
lola: 5234771 markings, 5598021 edges, 18289 markings/sec, 275 secs
lola: 5329240 markings, 5697155 edges, 18894 markings/sec, 280 secs
lola: 5424910 markings, 5798268 edges, 19134 markings/sec, 285 secs
lola: 5521856 markings, 5897817 edges, 19389 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 919176 KB
lola: time consumption: 308 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p213)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p213)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 385 markings, 384 edges
lola:
FORMULA ASLink-PT-08a-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 325 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1618)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1618)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
========================================
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 75647 markings, 156061 edges, 15129 markings/sec, 30 secs
lola: 140311 markings, 318144 edges, 12933 markings/sec, 35 secs
lola: 216962 markings, 518013 edges, 15330 markings/sec, 40 secs
lola: 278054 markings, 704223 edges, 12218 markings/sec, 45 secs
lola: 334936 markings, 871203 edges, 11376 markings/sec, 50 secs
lola: 427525 markings, 1076759 edges, 18518 markings/sec, 55 secs
lola: 532009 markings, 1291765 edges, 20897 markings/sec, 60 secs
lola: 611105 markings, 1525205 edges, 15819 markings/sec, 65 secs
lola: 669820 markings, 1759756 edges, 11743 markings/sec, 70 secs
lola: 728611 markings, 1994411 edges, 11758 markings/sec, 75 secs
lola: 787554 markings, 2229294 edges, 11789 markings/sec, 80 secs
lola: 846250 markings, 2463730 edges, 11739 markings/sec, 85 secs
lola: 905014 markings, 2699699 edges, 11753 markings/sec, 90 secs
lola: 963864 markings, 2934775 edges, 11770 markings/sec, 95 secs
lola: 1026132 markings, 3166383 edges, 12454 markings/sec, 100 secs
lola: 1107032 markings, 3421638 edges, 16180 markings/sec, 105 secs
lola: 1169593 markings, 3643780 edges, 12512 markings/sec, 110 secs
lola: 1224927 markings, 3862260 edges, 11067 markings/sec, 115 secs
lola: 1280026 markings, 4079464 edges, 11020 markings/sec, 120 secs
lola: 1342194 markings, 4293241 edges, 12434 markings/sec, 125 secs
lola: 1400737 markings, 4512523 edges, 11709 markings/sec, 130 secs
lola: 1455723 markings, 4730381 edges, 10997 markings/sec, 135 secs
lola: 1511866 markings, 4946580 edges, 11229 markings/sec, 140 secs
lola: 1575763 markings, 5160198 edges, 12779 markings/sec, 145 secs
lola: 1630603 markings, 5376999 edges, 10968 markings/sec, 150 secs
lola: 1685177 markings, 5592229 edges, 10915 markings/sec, 155 secs
lola: 1751958 markings, 5817568 edges, 13356 markings/sec, 160 secs
lola: 1819270 markings, 6010751 edges, 13462 markings/sec, 165 secs
lola: 1884973 markings, 6191126 edges, 13141 markings/sec, 170 secs
lola: 1943876 markings, 6362029 edges, 11781 markings/sec, 175 secs
lola: 2011776 markings, 6587329 edges, 13580 markings/sec, 180 secs
lola: 2074262 markings, 6789904 edges, 12497 markings/sec, 185 secs
lola: 2133405 markings, 6982284 edges, 11829 markings/sec, 190 secs
lola: 2193668 markings, 7178699 edges, 12053 markings/sec, 195 secs
lola: 2253239 markings, 7371393 edges, 11914 markings/sec, 200 secs
lola: 2315467 markings, 7571764 edges, 12446 markings/sec, 205 secs
lola: 2375751 markings, 7767734 edges, 12057 markings/sec, 210 secs
lola: 2440504 markings, 7975779 edges, 12951 markings/sec, 215 secs
lola: 2499676 markings, 8166881 edges, 11834 markings/sec, 220 secs
lola: 2560397 markings, 8362173 edges, 12144 markings/sec, 225 secs
lola: 2622484 markings, 8563812 edges, 12417 markings/sec, 230 secs
lola: 2680758 markings, 8751544 edges, 11655 markings/sec, 235 secs
lola: 2743463 markings, 8953735 edges, 12541 markings/sec, 240 secs
lola: 2803541 markings, 9148382 edges, 12016 markings/sec, 245 secs
lola: 2896056 markings, 9352044 edges, 18503 markings/sec, 250 secs
lola: 2985953 markings, 9552323 edges, 17979 markings/sec, 255 secs
lola: 3074113 markings, 9749392 edges, 17632 markings/sec, 260 secs
lola: 3203360 markings, 9960442 edges, 25849 markings/sec, 265 secs
lola: 3343823 markings, 10174966 edges, 28093 markings/sec, 270 secs
lola: 3483955 markings, 10389049 edges, 28026 markings/sec, 275 secs
lola: 3590414 markings, 10636849 edges, 21292 markings/sec, 280 secs
lola: 3646005 markings, 10834397 edges, 11118 markings/sec, 285 secs
lola: 3707283 markings, 11048884 edges, 12256 markings/sec, 290 secs
lola: 3764699 markings, 11255491 edges, 11483 markings/sec, 295 secs
lola: 3847646 markings, 11460698 edges, 16589 markings/sec, 300 secs
lola: 3985142 markings, 11678083 edges, 27499 markings/sec, 305 secs
lola: 4074414 markings, 11887683 edges, 17854 markings/sec, 310 secs
lola: 4125036 markings, 12079355 edges, 10124 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 398392 KB
lola: time consumption: 636 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p778)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p778)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 105 markings, 104 edges

FORMULA ASLink-PT-08a-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 365 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1471)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1471)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 62 markings, 61 edges

FORMULA ASLink-PT-08a-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 417 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1614)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1614)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: ========================================
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 18 markings, 17 edges
lola: ========================================

FORMULA ASLink-PT-08a-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 486 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p884)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p884)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 72083 markings, 81158 edges, 14417 markings/sec, 30 secs
lola: 145474 markings, 166454 edges, 14678 markings/sec, 35 secs
lola: 218584 markings, 250488 edges, 14622 markings/sec, 40 secs
lola: 295251 markings, 337968 edges, 15333 markings/sec, 45 secs
lola: 371422 markings, 425388 edges, 15234 markings/sec, 50 secs
lola: 448461 markings, 512896 edges, 15408 markings/sec, 55 secs
lola: 526744 markings, 603473 edges, 15657 markings/sec, 60 secs
lola: 613895 markings, 692284 edges, 17430 markings/sec, 65 secs
lola: 701132 markings, 782786 edges, 17447 markings/sec, 70 secs
lola: 786024 markings, 869356 edges, 16978 markings/sec, 75 secs
lola: 870803 markings, 955993 edges, 16956 markings/sec, 80 secs
lola: 956452 markings, 1043750 edges, 17130 markings/sec, 85 secs
lola: 1043202 markings, 1132751 edges, 17350 markings/sec, 90 secs
lola: 1128939 markings, 1220612 edges, 17147 markings/sec, 95 secs
lola: 1213524 markings, 1310629 edges, 16917 markings/sec, 100 secs
lola: 1297325 markings, 1401343 edges, 16760 markings/sec, 105 secs
lola: 1378333 markings, 1485150 edges, 16202 markings/sec, 110 secs
lola: 1461843 markings, 1572284 edges, 16702 markings/sec, 115 secs
lola: 1536471 markings, 1650208 edges, 14926 markings/sec, 120 secs
lola: 1614729 markings, 1731850 edges, 15652 markings/sec, 125 secs
lola: 1692400 markings, 1813450 edges, 15534 markings/sec, 130 secs
lola: 1776320 markings, 1902808 edges, 16784 markings/sec, 135 secs
lola: 1858386 markings, 1987617 edges, 16413 markings/sec, 140 secs
lola: 1938461 markings, 2070536 edges, 16015 markings/sec, 145 secs
lola: 2019167 markings, 2154861 edges, 16141 markings/sec, 150 secs
lola: 2106081 markings, 2245186 edges, 17383 markings/sec, 155 secs
lola: 2192596 markings, 2336978 edges, 17303 markings/sec, 160 secs
lola: 2276182 markings, 2424240 edges, 16717 markings/sec, 165 secs
lola: 2360067 markings, 2513116 edges, 16777 markings/sec, 170 secs
lola: 2447496 markings, 2603490 edges, 17486 markings/sec, 175 secs
lola: 2534002 markings, 2693008 edges, 17301 markings/sec, 180 secs
lola: 2614154 markings, 2776735 edges, 16030 markings/sec, 185 secs
lola: 2698522 markings, 2864733 edges, 16874 markings/sec, 190 secs
lola: 2782540 markings, 2953683 edges, 16804 markings/sec, 195 secs
lola: 2864031 markings, 3038983 edges, 16298 markings/sec, 200 secs
lola: 2946796 markings, 3126530 edges, 16553 markings/sec, 205 secs
lola: 3031137 markings, 3213783 edges, 16868 markings/sec, 210 secs
lola: 3114897 markings, 3300531 edges, 16752 markings/sec, 215 secs
lola: 3194861 markings, 3383980 edges, 15993 markings/sec, 220 secs
lola: 3280718 markings, 3473837 edges, 17171 markings/sec, 225 secs
lola: 3364728 markings, 3563304 edges, 16802 markings/sec, 230 secs
lola: 3447527 markings, 3656124 edges, 16560 markings/sec, 235 secs
lola: 3532778 markings, 3745546 edges, 17050 markings/sec, 240 secs
lola: 3618757 markings, 3833941 edges, 17196 markings/sec, 245 secs
lola: 3705759 markings, 3923462 edges, 17400 markings/sec, 250 secs
lola: 3789647 markings, 4009974 edges, 16778 markings/sec, 255 secs
lola: 3874760 markings, 4097074 edges, 17023 markings/sec, 260 secs
lola: 3957736 markings, 4182509 edges, 16595 markings/sec, 265 secs
lola: 4044390 markings, 4271778 edges, 17331 markings/sec, 270 secs
lola: 4130377 markings, 4360102 edges, 17197 markings/sec, 275 secs
lola: 4215791 markings, 4447917 edges, 17083 markings/sec, 280 secs
lola: 4302162 markings, 4536791 edges, 17274 markings/sec, 285 secs
lola: 4388735 markings, 4626086 edges, 17315 markings/sec, 290 secs
lola: 4474978 markings, 4717821 edges, 17249 markings/sec, 295 secs
lola: 4557460 markings, 4805922 edges, 16496 markings/sec, 300 secs
lola: 4644507 markings, 4898954 edges, 17409 markings/sec, 305 secs
lola: 4729681 markings, 4985825 edges, 17035 markings/sec, 310 secs
lola: 4816641 markings, 5075046 edges, 17392 markings/sec, 315 secs
lola: 4898204 markings, 5158622 edges, 16313 markings/sec, 320 secs
lola: 4984590 markings, 5247194 edges, 17277 markings/sec, 325 secs
lola: 5071091 markings, 5337264 edges, 17300 markings/sec, 330 secs
lola: 5156129 markings, 5429227 edges, 17008 markings/sec, 335 secs
lola: 5241723 markings, 5519694 edges, 17119 markings/sec, 340 secs
lola: 5326711 markings, 5611844 edges, 16998 markings/sec, 345 secs
lola: 5411477 markings, 5705266 edges, 16953 markings/sec, 350 secs
lola: 5498294 markings, 5794096 edges, 17363 markings/sec, 355 secs
lola: 5585769 markings, 5884155 edges, 17495 markings/sec, 360 secs
lola: 5673602 markings, 5974649 edges, 17567 markings/sec, 365 secs
lola: 5760608 markings, 6063981 edges, 17401 markings/sec, 370 secs
lola: 5847125 markings, 6152916 edges, 17303 markings/sec, 375 secs
lola: 5930279 markings, 6238532 edges, 16631 markings/sec, 380 secs
lola: 6011709 markings, 6322524 edges, 16286 markings/sec, 385 secs
lola: 6096199 markings, 6408967 edges, 16898 markings/sec, 390 secs
lola: 6175189 markings, 6490302 edges, 15798 markings/sec, 395 secs
lola: 6262725 markings, 6580476 edges, 17507 markings/sec, 400 secs
lola: 6350050 markings, 6671673 edges, 17465 markings/sec, 405 secs
lola: 6437157 markings, 6764919 edges, 17421 markings/sec, 410 secs
lola: 6523922 markings, 6857815 edges, 17353 markings/sec, 415 secs
lola: 6610034 markings, 6947225 edges, 17222 markings/sec, 420 secs
lola: 6696335 markings, 7035594 edges, 17260 markings/sec, 425 secs
lola: 6782947 markings, 7124423 edges, 17322 markings/sec, 430 secs
lola: 6869872 markings, 7213446 edges, 17385 markings/sec, 435 secs
lola: 6954698 markings, 7300446 edges, 16965 markings/sec, 440 secs
lola: 7038214 markings, 7389992 edges, 16703 markings/sec, 445 secs
lola: 7121372 markings, 7478979 edges, 16632 markings/sec, 450 secs
lola: 7204757 markings, 7566978 edges, 16677 markings/sec, 455 secs
lola: 7287047 markings, 7658654 edges, 16458 markings/sec, 460 secs
lola: 7367982 markings, 7744450 edges, 16187 markings/sec, 465 secs
lola: 7454614 markings, 7833417 edges, 17326 markings/sec, 470 secs
lola: 7541970 markings, 7923343 edges, 17471 markings/sec, 475 secs
lola: 7629611 markings, 8013707 edges, 17528 markings/sec, 480 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown 1 unknown 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1244312 KB
lola: time consumption: 1135 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 487 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1150)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1150)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-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: 5 markings, 4 edges
lola: ========================================

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

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

FORMULA ASLink-PT-08a-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1216 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 ASLink-PT-08a-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: 29 markings, 28 edges

FORMULA ASLink-PT-08a-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 2433 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p194)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-08a-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 55883 markings, 110729 edges, 11177 markings/sec, 30 secs
lola: 111593 markings, 234369 edges, 11142 markings/sec, 35 secs
lola: 167046 markings, 357660 edges, 11091 markings/sec, 40 secs
lola: 222624 markings, 479753 edges, 11116 markings/sec, 45 secs
lola: 286260 markings, 619264 edges, 12727 markings/sec, 50 secs
lola: 372410 markings, 800169 edges, 17230 markings/sec, 55 secs
lola: 451776 markings, 977179 edges, 15873 markings/sec, 60 secs
lola: 521865 markings, 1203623 edges, 14018 markings/sec, 65 secs
lola: 591797 markings, 1429987 edges, 13986 markings/sec, 70 secs
lola: 664833 markings, 1645690 edges, 14607 markings/sec, 75 secs
lola: 734508 markings, 1871211 edges, 13935 markings/sec, 80 secs
lola: 806380 markings, 2088872 edges, 14374 markings/sec, 85 secs
lola: 876792 markings, 2311082 edges, 14082 markings/sec, 90 secs
lola: 946092 markings, 2534974 edges, 13860 markings/sec, 95 secs
lola: 1025128 markings, 2737852 edges, 15807 markings/sec, 100 secs
lola: 1111175 markings, 2939588 edges, 17209 markings/sec, 105 secs
lola: 1195155 markings, 3144294 edges, 16796 markings/sec, 110 secs
lola: 1282177 markings, 3344010 edges, 17404 markings/sec, 115 secs
lola: 1364588 markings, 3535932 edges, 16482 markings/sec, 120 secs
lola: 1449915 markings, 3743796 edges, 17065 markings/sec, 125 secs
lola: 1536325 markings, 3949705 edges, 17282 markings/sec, 130 secs
lola: 1625136 markings, 4144072 edges, 17762 markings/sec, 135 secs
lola: 1710274 markings, 4351569 edges, 17028 markings/sec, 140 secs
lola: 1795011 markings, 4558073 edges, 16947 markings/sec, 145 secs
lola: 1871978 markings, 4732999 edges, 15393 markings/sec, 150 secs
lola: 1956378 markings, 4920461 edges, 16880 markings/sec, 155 secs
lola: 2045551 markings, 5121955 edges, 17835 markings/sec, 160 secs
lola: 2125816 markings, 5342610 edges, 16053 markings/sec, 165 secs
lola: 2199284 markings, 5580836 edges, 14694 markings/sec, 170 secs
lola: 2272598 markings, 5819211 edges, 14663 markings/sec, 175 secs
lola: 2342658 markings, 6047372 edges, 14012 markings/sec, 180 secs
lola: 2416002 markings, 6284948 edges, 14669 markings/sec, 185 secs
lola: 2489044 markings, 6522806 edges, 14608 markings/sec, 190 secs
lola: 2562016 markings, 6760430 edges, 14594 markings/sec, 195 secs
lola: 2635226 markings, 6997471 edges, 14642 markings/sec, 200 secs
lola: 2708216 markings, 7235140 edges, 14598 markings/sec, 205 secs
lola: 2781044 markings, 7472098 edges, 14566 markings/sec, 210 secs
lola: 2854281 markings, 7709501 edges, 14647 markings/sec, 215 secs
lola: 2927352 markings, 7947378 edges, 14614 markings/sec, 220 secs
lola: 3005181 markings, 8172560 edges, 15566 markings/sec, 225 secs
lola: 3092455 markings, 8372733 edges, 17455 markings/sec, 230 secs
lola: 3165524 markings, 8610372 edges, 14614 markings/sec, 235 secs
lola: 3238377 markings, 8847668 edges, 14571 markings/sec, 240 secs
lola: 3311398 markings, 9084446 edges, 14604 markings/sec, 245 secs
lola: 3384312 markings, 9321468 edges, 14583 markings/sec, 250 secs
lola: 3456965 markings, 9558074 edges, 14531 markings/sec, 255 secs
lola: 3529859 markings, 9794215 edges, 14579 markings/sec, 260 secs
lola: 3602448 markings, 10030591 edges, 14518 markings/sec, 265 secs
lola: 3674836 markings, 10266326 edges, 14478 markings/sec, 270 secs
lola: 3747725 markings, 10502310 edges, 14578 markings/sec, 275 secs
lola: 3820302 markings, 10738609 edges, 14515 markings/sec, 280 secs
lola: 3892581 markings, 10973689 edges, 14456 markings/sec, 285 secs
lola: 3965638 markings, 11210640 edges, 14611 markings/sec, 290 secs
lola: 4050741 markings, 11416088 edges, 17021 markings/sec, 295 secs
lola: 4130143 markings, 11635077 edges, 15880 markings/sec, 300 secs
lola: 4202906 markings, 11871008 edges, 14553 markings/sec, 305 secs
lola: 4275687 markings, 12107613 edges, 14556 markings/sec, 310 secs
lola: 4348120 markings, 12343524 edges, 14487 markings/sec, 315 secs
lola: 4420766 markings, 12578842 edges, 14529 markings/sec, 320 secs
lola: 4493335 markings, 12815150 edges, 14514 markings/sec, 325 secs
lola: 4565677 markings, 13050735 edges, 14468 markings/sec, 330 secs
lola: 4638402 markings, 13286177 edges, 14545 markings/sec, 335 secs
lola: 4710838 markings, 13522035 edges, 14487 markings/sec, 340 secs
lola: 4782966 markings, 13756571 edges, 14426 markings/sec, 345 secs
lola: 4855692 markings, 13992478 edges, 14545 markings/sec, 350 secs
lola: 4928170 markings, 14228540 edges, 14496 markings/sec, 355 secs
lola: 4998839 markings, 14433205 edges, 14134 markings/sec, 360 secs
lola: 5055882 markings, 14554732 edges, 11409 markings/sec, 365 secs
lola: 5113469 markings, 14685342 edges, 11517 markings/sec, 370 secs
lola: 5170620 markings, 14814466 edges, 11430 markings/sec, 375 secs
lola: 5242713 markings, 14970052 edges, 14419 markings/sec, 380 secs
lola: 5316040 markings, 15193638 edges, 14665 markings/sec, 385 secs
lola: 5388082 markings, 15418958 edges, 14408 markings/sec, 390 secs
lola: 5467375 markings, 15633183 edges, 15859 markings/sec, 395 secs
lola: 5553919 markings, 15837109 edges, 17309 markings/sec, 400 secs
lola: 5640067 markings, 16039957 edges, 17230 markings/sec, 405 secs
lola: 5721529 markings, 16225147 edges, 16292 markings/sec, 410 secs
lola: 5797925 markings, 16437632 edges, 15279 markings/sec, 415 secs
lola: 5870933 markings, 16674347 edges, 14602 markings/sec, 420 secs
lola: 5943935 markings, 16911278 edges, 14600 markings/sec, 425 secs
lola: 6015653 markings, 17143577 edges, 14344 markings/sec, 430 secs
lola: 6087474 markings, 17376534 edges, 14364 markings/sec, 435 secs
lola: 6164619 markings, 17593662 edges, 15429 markings/sec, 440 secs
lola: 6236575 markings, 17827226 edges, 14391 markings/sec, 445 secs
lola: 6308063 markings, 18058803 edges, 14298 markings/sec, 450 secs
lola: 6379544 markings, 18290602 edges, 14296 markings/sec, 455 secs
lola: 6451104 markings, 18522650 edges, 14312 markings/sec, 460 secs
lola: 6528285 markings, 18740199 edges, 15436 markings/sec, 465 secs
lola: 6599611 markings, 18971160 edges, 14265 markings/sec, 470 secs
lola: 6670815 markings, 19202053 edges, 14241 markings/sec, 475 secs
lola: 6742228 markings, 19433740 edges, 14283 markings/sec, 480 secs
lola: 6813551 markings, 19664907 edges, 14265 markings/sec, 485 secs
lola: 6892599 markings, 19878827 edges, 15810 markings/sec, 490 secs
lola: 6977135 markings, 20091958 edges, 16907 markings/sec, 495 secs
lola: 7060793 markings, 20311354 edges, 16732 markings/sec, 500 secs
lola: 7147764 markings, 20517684 edges, 17394 markings/sec, 505 secs
lola: 7231724 markings, 20730166 edges, 16792 markings/sec, 510 secs
lola: 7314797 markings, 20948202 edges, 16615 markings/sec, 515 secs
lola: 7401413 markings, 21153411 edges, 17323 markings/sec, 520 secs
lola: 7485115 markings, 21365298 edges, 16740 markings/sec, 525 secs
lola: 7567794 markings, 21582125 edges, 16536 markings/sec, 530 secs
lola: 7642589 markings, 21762978 edges, 14959 markings/sec, 535 secs
lola: 7735516 markings, 21972820 edges, 18585 markings/sec, 540 secs
lola: 7816979 markings, 22194318 edges, 16293 markings/sec, 545 secs
lola: 7893980 markings, 22424962 edges, 15400 markings/sec, 550 secs
lola: 7965553 markings, 22658608 edges, 14315 markings/sec, 555 secs
lola: 8039686 markings, 22899421 edges, 14827 markings/sec, 560 secs
lola: 8114479 markings, 23143303 edges, 14959 markings/sec, 565 secs
lola: 8189563 markings, 23388115 edges, 15017 markings/sec, 570 secs
lola: 8263613 markings, 23628779 edges, 14810 markings/sec, 575 secs
lola: 8338388 markings, 23872639 edges, 14955 markings/sec, 580 secs
lola: 8413314 markings, 24116807 edges, 14985 markings/sec, 585 secs
lola: 8487331 markings, 24357448 edges, 14803 markings/sec, 590 secs
lola: 8562166 markings, 24601552 edges, 14967 markings/sec, 595 secs
lola: 8636091 markings, 24842249 edges, 14785 markings/sec, 600 secs
lola: 8708845 markings, 25078924 edges, 14551 markings/sec, 605 secs
lola: 8786593 markings, 25309134 edges, 15550 markings/sec, 610 secs
lola: 8864655 markings, 25513173 edges, 15612 markings/sec, 615 secs
lola: 8938798 markings, 25754630 edges, 14829 markings/sec, 620 secs
lola: 9014095 markings, 26000607 edges, 15059 markings/sec, 625 secs
lola: 9088058 markings, 26240738 edges, 14793 markings/sec, 630 secs
lola: 9162189 markings, 26482276 edges, 14826 markings/sec, 635 secs
lola: 9233384 markings, 26715047 edges, 14239 markings/sec, 640 secs
lola: 9307232 markings, 26954648 edges, 14770 markings/sec, 645 secs
lola: 9381324 markings, 27196166 edges, 14818 markings/sec, 650 secs
lola: 9456449 markings, 27441631 edges, 15025 markings/sec, 655 secs
lola: 9529980 markings, 27680189 edges, 14706 markings/sec, 660 secs
lola: 9604081 markings, 27921771 edges, 14820 markings/sec, 665 secs
lola: 9679111 markings, 28166913 edges, 15006 markings/sec, 670 secs
lola: 9752705 markings, 28405666 edges, 14719 markings/sec, 675 secs
lola: 9832725 markings, 28632331 edges, 16004 markings/sec, 680 secs
lola: 9914134 markings, 28859152 edges, 16282 markings/sec, 685 secs
lola: 9987567 markings, 29097395 edges, 14687 markings/sec, 690 secs
lola: 10061722 markings, 29339156 edges, 14831 markings/sec, 695 secs
lola: 10136547 markings, 29583569 edges, 14965 markings/sec, 700 secs
lola: 10209881 markings, 29821584 edges, 14667 markings/sec, 705 secs
lola: 10284016 markings, 30063336 edges, 14827 markings/sec, 710 secs
lola: 10358624 markings, 30306712 edges, 14922 markings/sec, 715 secs
lola: 10432024 markings, 30545118 edges, 14680 markings/sec, 720 secs
lola: 10502220 markings, 30774173 edges, 14039 markings/sec, 725 secs
lola: 10576394 markings, 31015505 edges, 14835 markings/sec, 730 secs
lola: 10649856 markings, 31254572 edges, 14692 markings/sec, 735 secs
lola: 10724413 markings, 31498134 edges, 14911 markings/sec, 740 secs
lola: 10798567 markings, 31736627 edges, 14831 markings/sec, 745 secs
lola: 10857809 markings, 31879523 edges, 11848 markings/sec, 750 secs
lola: 10909066 markings, 32018322 edges, 10251 markings/sec, 755 secs
lola: 10960407 markings, 32157020 edges, 10268 markings/sec, 760 secs
lola: 11011516 markings, 32295420 edges, 10222 markings/sec, 765 secs
lola: 11071319 markings, 32409694 edges, 11961 markings/sec, 770 secs
lola: 11126158 markings, 32529779 edges, 10968 markings/sec, 775 secs
lola: 11179280 markings, 32656349 edges, 10624 markings/sec, 780 secs
lola: 11235253 markings, 32777617 edges, 11195 markings/sec, 785 secs
lola: 11289134 markings, 32916833 edges, 10776 markings/sec, 790 secs
lola: 11340371 markings, 33048198 edges, 10247 markings/sec, 795 secs
lola: 11394194 markings, 33187083 edges, 10765 markings/sec, 800 secs
lola: 11450210 markings, 33313314 edges, 11203 markings/sec, 805 secs
lola: 11503765 markings, 33450671 edges, 10711 markings/sec, 810 secs
lola: 11557452 markings, 33589120 edges, 10737 markings/sec, 815 secs
lola: 11611059 markings, 33727798 edges, 10721 markings/sec, 820 secs
lola: 11666736 markings, 33852024 edges, 11135 markings/sec, 825 secs
lola: 11720299 markings, 33990220 edges, 10713 markings/sec, 830 secs
lola: 11773730 markings, 34128252 edges, 10686 markings/sec, 835 secs
lola: 11828548 markings, 34261372 edges, 10964 markings/sec, 840 secs
lola: 11887432 markings, 34381790 edges, 11777 markings/sec, 845 secs
lola: 11942008 markings, 34526938 edges, 10915 markings/sec, 850 secs
lola: 11996517 markings, 34671910 edges, 10902 markings/sec, 855 secs
lola: 12050969 markings, 34816768 edges, 10890 markings/sec, 860 secs
lola: 12105456 markings, 34961767 edges, 10897 markings/sec, 865 secs
lola: 12159853 markings, 35106538 edges, 10879 markings/sec, 870 secs
lola: 12214219 markings, 35251202 edges, 10873 markings/sec, 875 secs
lola: 12268594 markings, 35395847 edges, 10875 markings/sec, 880 secs
lola: 12323243 markings, 35541091 edges, 10930 markings/sec, 885 secs
lola: 12381883 markings, 35661002 edges, 11728 markings/sec, 890 secs
lola: 12436205 markings, 35805531 edges, 10864 markings/sec, 895 secs
lola: 12490501 markings, 35950000 edges, 10859 markings/sec, 900 secs
lola: 12544737 markings, 36094303 edges, 10847 markings/sec, 905 secs
lola: 12598982 markings, 36238638 edges, 10849 markings/sec, 910 secs
lola: 12650646 markings, 36376354 edges, 10333 markings/sec, 915 secs
lola: 12704816 markings, 36520526 edges, 10834 markings/sec, 920 secs
lola: 12758944 markings, 36664592 edges, 10826 markings/sec, 925 secs
lola: 12813371 markings, 36809343 edges, 10885 markings/sec, 930 secs
lola: 12871744 markings, 36928484 edges, 11675 markings/sec, 935 secs
lola: 12925745 markings, 37072135 edges, 10800 markings/sec, 940 secs
lola: 12979719 markings, 37215806 edges, 10795 markings/sec, 945 secs
lola: 13033608 markings, 37359281 edges, 10778 markings/sec, 950 secs
lola: 13087553 markings, 37502713 edges, 10789 markings/sec, 955 secs
lola: 13141298 markings, 37645841 edges, 10749 markings/sec, 960 secs
lola: 13195163 markings, 37789233 edges, 10773 markings/sec, 965 secs
lola: 13249011 markings, 37932557 edges, 10770 markings/sec, 970 secs
lola: 13303531 markings, 38075116 edges, 10904 markings/sec, 975 secs
lola: 13355183 markings, 38204661 edges, 10330 markings/sec, 980 secs
lola: 13405226 markings, 38348503 edges, 10009 markings/sec, 985 secs
lola: 13455169 markings, 38492137 edges, 9989 markings/sec, 990 secs
lola: 13504905 markings, 38635434 edges, 9947 markings/sec, 995 secs
lola: 13556434 markings, 38776206 edges, 10306 markings/sec, 1000 secs
lola: 13606871 markings, 38926468 edges, 10087 markings/sec, 1005 secs
lola: 13658753 markings, 39068595 edges, 10376 markings/sec, 1010 secs
lola: 13709026 markings, 39218459 edges, 10055 markings/sec, 1015 secs
lola: 13760600 markings, 39360950 edges, 10315 markings/sec, 1020 secs
lola: 13810882 markings, 39509764 edges, 10056 markings/sec, 1025 secs
lola: 13860981 markings, 39659048 edges, 10020 markings/sec, 1030 secs
lola: 13945199 markings, 39835992 edges, 16844 markings/sec, 1035 secs
lola: 14030765 markings, 40015851 edges, 17113 markings/sec, 1040 secs
lola: 14115784 markings, 40195002 edges, 17004 markings/sec, 1045 secs
lola: 14173003 markings, 40338944 edges, 11444 markings/sec, 1050 secs
lola: 14251805 markings, 40540343 edges, 15760 markings/sec, 1055 secs
lola: 14325524 markings, 40746830 edges, 14744 markings/sec, 1060 secs
lola: 14390638 markings, 40978384 edges, 13023 markings/sec, 1065 secs
lola: 14455674 markings, 41209614 edges, 13007 markings/sec, 1070 secs
lola: 14520445 markings, 41440889 edges, 12954 markings/sec, 1075 secs
lola: 14585187 markings, 41672018 edges, 12948 markings/sec, 1080 secs
lola: 14649833 markings, 41902459 edges, 12929 markings/sec, 1085 secs
lola: 14714645 markings, 42133043 edges, 12962 markings/sec, 1090 secs
lola: 14779376 markings, 42363363 edges, 12946 markings/sec, 1095 secs
lola: 14844100 markings, 42593663 edges, 12945 markings/sec, 1100 secs
lola: 14913860 markings, 42808824 edges, 13952 markings/sec, 1105 secs
lola: 14984242 markings, 43022384 edges, 14076 markings/sec, 1110 secs
lola: 15048842 markings, 43252276 edges, 12920 markings/sec, 1115 secs
lola: 15113460 markings, 43482230 edges, 12924 markings/sec, 1120 secs
lola: 15178005 markings, 43711924 edges, 12909 markings/sec, 1125 secs
lola: 15242495 markings, 43941756 edges, 12898 markings/sec, 1130 secs
lola: 15306877 markings, 44171380 edges, 12876 markings/sec, 1135 secs
lola: 15371326 markings, 44401058 edges, 12890 markings/sec, 1140 secs
lola: 15435511 markings, 44630644 edges, 12837 markings/sec, 1145 secs
lola: 15499912 markings, 44859790 edges, 12880 markings/sec, 1150 secs
lola: 15571857 markings, 45067506 edges, 14389 markings/sec, 1155 secs
lola: 15640031 markings, 45286718 edges, 13635 markings/sec, 1160 secs
lola: 15704353 markings, 45516346 edges, 12864 markings/sec, 1165 secs
lola: 15768669 markings, 45745471 edges, 12863 markings/sec, 1170 secs
lola: 15832806 markings, 45974514 edges, 12827 markings/sec, 1175 secs
lola: 15897006 markings, 46203402 edges, 12840 markings/sec, 1180 secs
lola: 15961339 markings, 46432432 edges, 12867 markings/sec, 1185 secs
lola: 16025548 markings, 46661054 edges, 12842 markings/sec, 1190 secs
lola: 16089874 markings, 46889561 edges, 12865 markings/sec, 1195 secs
lola: 16154069 markings, 47118074 edges, 12839 markings/sec, 1200 secs
lola: 16235838 markings, 47309596 edges, 16354 markings/sec, 1205 secs
lola: 16319946 markings, 47512478 edges, 16822 markings/sec, 1210 secs
lola: 16396671 markings, 47738275 edges, 15345 markings/sec, 1215 secs
lola: 16472955 markings, 47964006 edges, 15257 markings/sec, 1220 secs
lola: 16552853 markings, 48179167 edges, 15980 markings/sec, 1225 secs
lola: 16627916 markings, 48405517 edges, 15013 markings/sec, 1230 secs
lola: 16703129 markings, 48631067 edges, 15043 markings/sec, 1235 secs
lola: 16780156 markings, 48851232 edges, 15405 markings/sec, 1240 secs
lola: 16857723 markings, 49068888 edges, 15513 markings/sec, 1245 secs
lola: 16933657 markings, 49292668 edges, 15187 markings/sec, 1250 secs
lola: 17009314 markings, 49518123 edges, 15131 markings/sec, 1255 secs
lola: 17088866 markings, 49732102 edges, 15910 markings/sec, 1260 secs
lola: 17166478 markings, 49946069 edges, 15522 markings/sec, 1265 secs
lola: 17248734 markings, 50138001 edges, 16451 markings/sec, 1270 secs
lola: 17334291 markings, 50343888 edges, 17111 markings/sec, 1275 secs
lola: 17410565 markings, 50569467 edges, 15255 markings/sec, 1280 secs
lola: 17486084 markings, 50795922 edges, 15104 markings/sec, 1285 secs
lola: 17566165 markings, 51010638 edges, 16016 markings/sec, 1290 secs
lola: 17641525 markings, 51235416 edges, 15072 markings/sec, 1295 secs
lola: 17716782 markings, 51460401 edges, 15051 markings/sec, 1300 secs
lola: 17796529 markings, 51674197 edges, 15949 markings/sec, 1305 secs
lola: 17871547 markings, 51899272 edges, 15004 markings/sec, 1310 secs
lola: 17946837 markings, 52121272 edges, 15058 markings/sec, 1315 secs
lola: 18026658 markings, 52339048 edges, 15964 markings/sec, 1320 secs
lola: 18103087 markings, 52555317 edges, 15286 markings/sec, 1325 secs
lola: 18184035 markings, 52756086 edges, 16190 markings/sec, 1330 secs
lola: 18268691 markings, 52952414 edges, 16931 markings/sec, 1335 secs
lola: 18346539 markings, 53171312 edges, 15570 markings/sec, 1340 secs
lola: 18422577 markings, 53394613 edges, 15208 markings/sec, 1345 secs
lola: 18498859 markings, 53617018 edges, 15256 markings/sec, 1350 secs
lola: 18578092 markings, 53831857 edges, 15847 markings/sec, 1355 secs
lola: 18653314 markings, 54056402 edges, 15044 markings/sec, 1360 secs
lola: 18728151 markings, 54279768 edges, 14967 markings/sec, 1365 secs
lola: 18807564 markings, 54492333 edges, 15883 markings/sec, 1370 secs
lola: 18882033 markings, 54715894 edges, 14894 markings/sec, 1375 secs
lola: 18956395 markings, 54939118 edges, 14872 markings/sec, 1380 secs
lola: 19036847 markings, 55150898 edges, 16090 markings/sec, 1385 secs
lola: 19112098 markings, 55367730 edges, 15050 markings/sec, 1390 secs
lola: 19166848 markings, 55512433 edges, 10950 markings/sec, 1395 secs
lola: 19217204 markings, 55648428 edges, 10071 markings/sec, 1400 secs
lola: 19267431 markings, 55784081 edges, 10045 markings/sec, 1405 secs
lola: 19334247 markings, 55957638 edges, 13363 markings/sec, 1410 secs
lola: 19419916 markings, 56174847 edges, 17134 markings/sec, 1415 secs
lola: 19505442 markings, 56392467 edges, 17105 markings/sec, 1420 secs
lola: 19591628 markings, 56609612 edges, 17237 markings/sec, 1425 secs
lola: 19672713 markings, 56814905 edges, 16217 markings/sec, 1430 secs
lola: 19753673 markings, 57026557 edges, 16192 markings/sec, 1435 secs
lola: 19845511 markings, 57262261 edges, 18368 markings/sec, 1440 secs
lola: 19928476 markings, 57474409 edges, 16593 markings/sec, 1445 secs
lola: 20011431 markings, 57686572 edges, 16591 markings/sec, 1450 secs
lola: 20094212 markings, 57898208 edges, 16556 markings/sec, 1455 secs
lola: 20169685 markings, 58119592 edges, 15095 markings/sec, 1460 secs
lola: 20239859 markings, 58371881 edges, 14035 markings/sec, 1465 secs
lola: 20312279 markings, 58630148 edges, 14484 markings/sec, 1470 secs
lola: 20381381 markings, 58877525 edges, 13820 markings/sec, 1475 secs
lola: 20450644 markings, 59125137 edges, 13853 markings/sec, 1480 secs
lola: 20519945 markings, 59370360 edges, 13860 markings/sec, 1485 secs
lola: 20589189 markings, 59616481 edges, 13849 markings/sec, 1490 secs
lola: 20654998 markings, 59855755 edges, 13162 markings/sec, 1495 secs
lola: 20729377 markings, 60123134 edges, 14876 markings/sec, 1500 secs
lola: 20798229 markings, 60369962 edges, 13770 markings/sec, 1505 secs
lola: 20866873 markings, 60616655 edges, 13729 markings/sec, 1510 secs
lola: 20936968 markings, 60861609 edges, 14019 markings/sec, 1515 secs
lola: 21005990 markings, 61108439 edges, 13804 markings/sec, 1520 secs
lola: 21073854 markings, 61353326 edges, 13573 markings/sec, 1525 secs
lola: 21139691 markings, 61589290 edges, 13167 markings/sec, 1530 secs
lola: 21214284 markings, 61860230 edges, 14919 markings/sec, 1535 secs
lola: 21283704 markings, 62105064 edges, 13884 markings/sec, 1540 secs
lola: 21353317 markings, 62352145 edges, 13923 markings/sec, 1545 secs
lola: 21421710 markings, 62597928 edges, 13679 markings/sec, 1550 secs
lola: 21490951 markings, 62844010 edges, 13848 markings/sec, 1555 secs
lola: 21557979 markings, 63085770 edges, 13406 markings/sec, 1560 secs
lola: 21627963 markings, 63337394 edges, 13997 markings/sec, 1565 secs
lola: 21700089 markings, 63594796 edges, 14425 markings/sec, 1570 secs
lola: 21769177 markings, 63841818 edges, 13818 markings/sec, 1575 secs
lola: 21838254 markings, 64088836 edges, 13815 markings/sec, 1580 secs
lola: 21907539 markings, 64332869 edges, 13857 markings/sec, 1585 secs
lola: 21976429 markings, 64579042 edges, 13778 markings/sec, 1590 secs
lola: 22042303 markings, 64817820 edges, 13175 markings/sec, 1595 secs
lola: 22116317 markings, 65084418 edges, 14803 markings/sec, 1600 secs
lola: 22184738 markings, 65330467 edges, 13684 markings/sec, 1605 secs
lola: 22253893 markings, 65576138 edges, 13831 markings/sec, 1610 secs
lola: 22323476 markings, 65821371 edges, 13917 markings/sec, 1615 secs
lola: 22392245 markings, 66067499 edges, 13754 markings/sec, 1620 secs
lola: 22460245 markings, 66312754 edges, 13600 markings/sec, 1625 secs
lola: 22525954 markings, 66547413 edges, 13142 markings/sec, 1630 secs
lola: 22600320 markings, 66818286 edges, 14873 markings/sec, 1635 secs
lola: 22669657 markings, 67062839 edges, 13867 markings/sec, 1640 secs
lola: 22738645 markings, 67308920 edges, 13798 markings/sec, 1645 secs
lola: 22807258 markings, 67554437 edges, 13723 markings/sec, 1650 secs
lola: 22876612 markings, 67799053 edges, 13871 markings/sec, 1655 secs
lola: 22943553 markings, 68040465 edges, 13388 markings/sec, 1660 secs
lola: 23011951 markings, 68287890 edges, 13680 markings/sec, 1665 secs
lola: 23085019 markings, 68548795 edges, 14614 markings/sec, 1670 secs
lola: 23153821 markings, 68795146 edges, 13760 markings/sec, 1675 secs
lola: 23222080 markings, 69040945 edges, 13652 markings/sec, 1680 secs
lola: 23291291 markings, 69282499 edges, 13842 markings/sec, 1685 secs
lola: 23359319 markings, 69525949 edges, 13606 markings/sec, 1690 secs
lola: 23424491 markings, 69762505 edges, 13034 markings/sec, 1695 secs
lola: 23496049 markings, 70020020 edges, 14312 markings/sec, 1700 secs
lola: 23565281 markings, 70269602 edges, 13846 markings/sec, 1705 secs
lola: 23634345 markings, 70511769 edges, 13813 markings/sec, 1710 secs
lola: 23702515 markings, 70756019 edges, 13634 markings/sec, 1715 secs
lola: 23770364 markings, 70998923 edges, 13570 markings/sec, 1720 secs
lola: 23838972 markings, 71239722 edges, 13722 markings/sec, 1725 secs
lola: 23913765 markings, 71447755 edges, 14959 markings/sec, 1730 secs
lola: 24002556 markings, 71687318 edges, 17758 markings/sec, 1735 secs
lola: 24084504 markings, 71896807 edges, 16390 markings/sec, 1740 secs
lola: 24166411 markings, 72106230 edges, 16381 markings/sec, 1745 secs
lola: 24247976 markings, 72314933 edges, 16313 markings/sec, 1750 secs
lola: 24326133 markings, 72526784 edges, 15631 markings/sec, 1755 secs
lola: 24392311 markings, 72764995 edges, 13236 markings/sec, 1760 secs
lola: 24465654 markings, 73028896 edges, 14669 markings/sec, 1765 secs
lola: 24533271 markings, 73272058 edges, 13523 markings/sec, 1770 secs
lola: 24602526 markings, 73514300 edges, 13851 markings/sec, 1775 secs
lola: 24670445 markings, 73757304 edges, 13584 markings/sec, 1780 secs
lola: 24737949 markings, 74000122 edges, 13501 markings/sec, 1785 secs
lola: 24804345 markings, 74237403 edges, 13279 markings/sec, 1790 secs
lola: 24873383 markings, 74486081 edges, 13808 markings/sec, 1795 secs
lola: 24944649 markings, 74740515 edges, 14253 markings/sec, 1800 secs
lola: 25012863 markings, 74984591 edges, 13643 markings/sec, 1805 secs
lola: 25080704 markings, 75227971 edges, 13568 markings/sec, 1810 secs
lola: 25149296 markings, 75468435 edges, 13718 markings/sec, 1815 secs
lola: 25217302 markings, 75711697 edges, 13601 markings/sec, 1820 secs
lola: 25282404 markings, 75947525 edges, 13020 markings/sec, 1825 secs
lola: 25354048 markings, 76205854 edges, 14329 markings/sec, 1830 secs
lola: 25422955 markings, 76453846 edges, 13781 markings/sec, 1835 secs
lola: 25491772 markings, 76695475 edges, 13763 markings/sec, 1840 secs
lola: 25559608 markings, 76938621 edges, 13567 markings/sec, 1845 secs
lola: 25627349 markings, 77180962 edges, 13548 markings/sec, 1850 secs
lola: 25695820 markings, 77421239 edges, 13694 markings/sec, 1855 secs
lola: 25760004 markings, 77656160 edges, 12837 markings/sec, 1860 secs
lola: 25833145 markings, 77920940 edges, 14628 markings/sec, 1865 secs
lola: 25901251 markings, 78163318 edges, 13621 markings/sec, 1870 secs
lola: 25969387 markings, 78407022 edges, 13627 markings/sec, 1875 secs
lola: 26037590 markings, 78648260 edges, 13641 markings/sec, 1880 secs
lola: 26105550 markings, 78889870 edges, 13592 markings/sec, 1885 secs
lola: 26172420 markings, 79130286 edges, 13374 markings/sec, 1890 secs
lola: 26236990 markings, 79363924 edges, 12914 markings/sec, 1895 secs
lola: 26311981 markings, 79634867 edges, 14998 markings/sec, 1900 secs
lola: 26381332 markings, 79881602 edges, 13870 markings/sec, 1905 secs
lola: 26451432 markings, 80128139 edges, 14020 markings/sec, 1910 secs
lola: 26519674 markings, 80373074 edges, 13648 markings/sec, 1915 secs
lola: 26588327 markings, 80618108 edges, 13731 markings/sec, 1920 secs
lola: 26655404 markings, 80858957 edges, 13415 markings/sec, 1925 secs
lola: 26725298 markings, 81110726 edges, 13979 markings/sec, 1930 secs
lola: 26797367 markings, 81367471 edges, 14414 markings/sec, 1935 secs
lola: 26866205 markings, 81614296 edges, 13768 markings/sec, 1940 secs
lola: 26935345 markings, 81861502 edges, 13828 markings/sec, 1945 secs
lola: 27004486 markings, 82106018 edges, 13828 markings/sec, 1950 secs
lola: 27073679 markings, 82351894 edges, 13839 markings/sec, 1955 secs
lola: 27139375 markings, 82590825 edges, 13139 markings/sec, 1960 secs
lola: 27213595 markings, 82857692 edges, 14844 markings/sec, 1965 secs
lola: 27282687 markings, 83105278 edges, 13818 markings/sec, 1970 secs
lola: 27351227 markings, 83352037 edges, 13708 markings/sec, 1975 secs
lola: 27421308 markings, 83596565 edges, 14016 markings/sec, 1980 secs
lola: 27490178 markings, 83842898 edges, 13774 markings/sec, 1985 secs
lola: 27557956 markings, 84087510 edges, 13556 markings/sec, 1990 secs
lola: 27623887 markings, 84324007 edges, 13186 markings/sec, 1995 secs
lola: 27698749 markings, 84595588 edges, 14972 markings/sec, 2000 secs
lola: 27768394 markings, 84841943 edges, 13929 markings/sec, 2005 secs
lola: 27838321 markings, 85089255 edges, 13985 markings/sec, 2010 secs
lola: 27906571 markings, 85334777 edges, 13650 markings/sec, 2015 secs
lola: 27975855 markings, 85580749 edges, 13857 markings/sec, 2020 secs
lola: 28047519 markings, 85810139 edges, 14333 markings/sec, 2025 secs
lola: 28133802 markings, 86041435 edges, 17257 markings/sec, 2030 secs
lola: 28217385 markings, 86258272 edges, 16717 markings/sec, 2035 secs
lola: 28299633 markings, 86468459 edges, 16450 markings/sec, 2040 secs
lola: 28381398 markings, 86677559 edges, 16353 markings/sec, 2045 secs
lola: 28463112 markings, 86886630 edges, 16343 markings/sec, 2050 secs
lola: 28532307 markings, 87112958 edges, 13839 markings/sec, 2055 secs
lola: 28605921 markings, 87377798 edges, 14723 markings/sec, 2060 secs
lola: 28673622 markings, 87621463 edges, 13540 markings/sec, 2065 secs
lola: 28742749 markings, 87866898 edges, 13825 markings/sec, 2070 secs
lola: 28811951 markings, 88110606 edges, 13840 markings/sec, 2075 secs
lola: 28879923 markings, 88354693 edges, 13594 markings/sec, 2080 secs
lola: 28944912 markings, 88584952 edges, 12998 markings/sec, 2085 secs
lola: 29009486 markings, 88819669 edges, 12915 markings/sec, 2090 secs
lola: 29083272 markings, 89087426 edges, 14757 markings/sec, 2095 secs
lola: 29151909 markings, 89329170 edges, 13727 markings/sec, 2100 secs
lola: 29219439 markings, 89571791 edges, 13506 markings/sec, 2105 secs
lola: 29286910 markings, 89812018 edges, 13494 markings/sec, 2110 secs
lola: 29355244 markings, 90052478 edges, 13667 markings/sec, 2115 secs
lola: 29420829 markings, 90291197 edges, 13117 markings/sec, 2120 secs
lola: 29485434 markings, 90523507 edges, 12921 markings/sec, 2125 secs
lola: 29557882 markings, 90785593 edges, 14490 markings/sec, 2130 secs
lola: 29625467 markings, 91025594 edges, 13517 markings/sec, 2135 secs
lola: 29693568 markings, 91265667 edges, 13620 markings/sec, 2140 secs
lola: 29759929 markings, 91504081 edges, 13272 markings/sec, 2145 secs
lola: 29827284 markings, 91742301 edges, 13471 markings/sec, 2150 secs
lola: 29892466 markings, 91977928 edges, 13036 markings/sec, 2155 secs
lola: 29959141 markings, 92217990 edges, 13335 markings/sec, 2160 secs
lola: 30030280 markings, 92473674 edges, 14228 markings/sec, 2165 secs
lola: 30097554 markings, 92714344 edges, 13455 markings/sec, 2170 secs
lola: 30165575 markings, 92952908 edges, 13604 markings/sec, 2175 secs
lola: 30232268 markings, 93192253 edges, 13339 markings/sec, 2180 secs
lola: 30298829 markings, 93431307 edges, 13312 markings/sec, 2185 secs
lola: 30364154 markings, 93664821 edges, 13065 markings/sec, 2190 secs
lola: 30432076 markings, 93909929 edges, 13584 markings/sec, 2195 secs
lola: 30502423 markings, 94161063 edges, 14069 markings/sec, 2200 secs
lola: 30569870 markings, 94402384 edges, 13489 markings/sec, 2205 secs
lola: 30636594 markings, 94642734 edges, 13345 markings/sec, 2210 secs
lola: 30704387 markings, 94879444 edges, 13559 markings/sec, 2215 secs
lola: 30770970 markings, 95118884 edges, 13317 markings/sec, 2220 secs
lola: 30835769 markings, 95351484 edges, 12960 markings/sec, 2225 secs
lola: 30905943 markings, 95605088 edges, 14035 markings/sec, 2230 secs
lola: 30975620 markings, 95856412 edges, 13935 markings/sec, 2235 secs
lola: 31044543 markings, 96098657 edges, 13785 markings/sec, 2240 secs
lola: 31112230 markings, 96341503 edges, 13537 markings/sec, 2245 secs
lola: 31179872 markings, 96582298 edges, 13528 markings/sec, 2250 secs
lola: 31248273 markings, 96823463 edges, 13680 markings/sec, 2255 secs
lola: 31312543 markings, 97057429 edges, 12854 markings/sec, 2260 secs
lola: 31385555 markings, 97321006 edges, 14602 markings/sec, 2265 secs
lola: 31453682 markings, 97564817 edges, 13625 markings/sec, 2270 secs
lola: 31521214 markings, 97808017 edges, 13506 markings/sec, 2275 secs
lola: 31590122 markings, 98048564 edges, 13782 markings/sec, 2280 secs
lola: 31657748 markings, 98290871 edges, 13525 markings/sec, 2285 secs
lola: 31725155 markings, 98531992 edges, 13481 markings/sec, 2290 secs
lola: 31789410 markings, 98763746 edges, 12851 markings/sec, 2295 secs
lola: 31862479 markings, 99030784 edges, 14614 markings/sec, 2300 secs
lola: 31931545 markings, 99272370 edges, 13813 markings/sec, 2305 secs
lola: 31999630 markings, 99515918 edges, 13617 markings/sec, 2310 secs
lola: 32066634 markings, 99757189 edges, 13401 markings/sec, 2315 secs
lola: 32135553 markings, 99998092 edges, 13784 markings/sec, 2320 secs
lola: 32206427 markings, 100227866 edges, 14175 markings/sec, 2325 secs
lola: 32296644 markings, 100408747 edges, 18043 markings/sec, 2330 secs
lola: 32378489 markings, 100620417 edges, 16369 markings/sec, 2335 secs
lola: 32459166 markings, 100834102 edges, 16135 markings/sec, 2340 secs
lola: 32542932 markings, 101037947 edges, 16753 markings/sec, 2345 secs
lola: 32623357 markings, 101250484 edges, 16085 markings/sec, 2350 secs
lola: 32706613 markings, 101454251 edges, 16651 markings/sec, 2355 secs
lola: 32786556 markings, 101665952 edges, 15989 markings/sec, 2360 secs
lola: 32861316 markings, 101892023 edges, 14952 markings/sec, 2365 secs
lola: 32926465 markings, 102135827 edges, 13030 markings/sec, 2370 secs
lola: 33000198 markings, 102371841 edges, 14747 markings/sec, 2375 secs
lola: 33092087 markings, 102586504 edges, 18378 markings/sec, 2380 secs
lola: 33176262 markings, 102815999 edges, 16835 markings/sec, 2385 secs
lola: 33253478 markings, 103058588 edges, 15443 markings/sec, 2390 secs
lola: 33330969 markings, 103302773 edges, 15498 markings/sec, 2395 secs
lola: 33406865 markings, 103547871 edges, 15179 markings/sec, 2400 secs
lola: 33483394 markings, 103793024 edges, 15306 markings/sec, 2405 secs
lola: 33560207 markings, 104037247 edges, 15363 markings/sec, 2410 secs
lola: 33635953 markings, 104281984 edges, 15149 markings/sec, 2415 secs
lola: 33711332 markings, 104526037 edges, 15076 markings/sec, 2420 secs
lola: 33789289 markings, 104765974 edges, 15591 markings/sec, 2425 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 unknown 1 unknown 1 1 1 unknown 1 1 1 1 unknown
lola:
preliminary result: 1 1 1 1 unknown 1 unknown 1 1 1 unknown 1 1 1 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 unknown 1 unknown 1 1 1 unknown 1 1 1 1 unknown
lola: memory consumption: 4222644 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 unknown 1 unknown 1 1 1 unknown 1 1 1 1 unknown
lola: memory consumption: 4222900 KB
lola: time consumption: 3570 seconds

BK_STOP 1552311581026

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool win2018"
echo " Input is ASLink-PT-08a, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-smll-155225030000046"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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