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-155225030000025.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-04b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-smll-155225030000025
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.8K Feb 9 05:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 9 05:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 5 02:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 5 02:00 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.4K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K 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 9.0K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 1 23:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 1 23:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jan 29 09:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Jan 29 09:53 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 669K 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-04b-UpperBounds-00
FORMULA_NAME ASLink-PT-04b-UpperBounds-01
FORMULA_NAME ASLink-PT-04b-UpperBounds-02
FORMULA_NAME ASLink-PT-04b-UpperBounds-03
FORMULA_NAME ASLink-PT-04b-UpperBounds-04
FORMULA_NAME ASLink-PT-04b-UpperBounds-05
FORMULA_NAME ASLink-PT-04b-UpperBounds-06
FORMULA_NAME ASLink-PT-04b-UpperBounds-07
FORMULA_NAME ASLink-PT-04b-UpperBounds-08
FORMULA_NAME ASLink-PT-04b-UpperBounds-09
FORMULA_NAME ASLink-PT-04b-UpperBounds-10
FORMULA_NAME ASLink-PT-04b-UpperBounds-11
FORMULA_NAME ASLink-PT-04b-UpperBounds-12
FORMULA_NAME ASLink-PT-04b-UpperBounds-13
FORMULA_NAME ASLink-PT-04b-UpperBounds-14
FORMULA_NAME ASLink-PT-04b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552278924460

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-04b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-04b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-04b @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 4601/65536 symbol table entries, 177 collisions
lola: preprocessing...
lola: Size of bit vector: 2034
lola: finding significant places
lola: 2034 places, 2567 transitions, 1835 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3656 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-04b-UpperBounds.task
lola: MAX(p1726) : MAX(p1810) : MAX(p960) : MAX(p394) : MAX(p1652) : MAX(p1831) : MAX(p562) : MAX(p733) : MAX(p215) : MAX(p1580) : MAX(p1355) : MAX(p1519) : MAX(p1833) : MAX(p1572) : MAX(p1747) : MAX(p122)
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(p1726)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1726)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 14 markings, 13 edges
lola: ========================================

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

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

FORMULA ASLink-PT-04b-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(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 ASLink-PT-04b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 23 markings, 22 edges
lola: ========================================

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

FORMULA ASLink-PT-04b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1831)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1831)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 60291 markings, 172264 edges, 12058 markings/sec, 0 secs
lola: 133270 markings, 369719 edges, 14596 markings/sec, 5 secs
lola: 201800 markings, 569257 edges, 13706 markings/sec, 10 secs
lola: 270524 markings, 767795 edges, 13745 markings/sec, 15 secs
lola: 334679 markings, 945847 edges, 12831 markings/sec, 20 secs
lola: 403130 markings, 1123490 edges, 13690 markings/sec, 25 secs
lola: 461478 markings, 1320821 edges, 11670 markings/sec, 30 secs
lola: 518497 markings, 1520643 edges, 11404 markings/sec, 35 secs
lola: 583971 markings, 1714609 edges, 13095 markings/sec, 40 secs
lola: 654243 markings, 1904457 edges, 14054 markings/sec, 45 secs
lola: 723149 markings, 2093903 edges, 13781 markings/sec, 50 secs
lola: 793008 markings, 2282559 edges, 13972 markings/sec, 55 secs
lola: 862724 markings, 2471469 edges, 13943 markings/sec, 60 secs
lola: 932407 markings, 2661414 edges, 13937 markings/sec, 65 secs
lola: 1002778 markings, 2851781 edges, 14074 markings/sec, 70 secs
lola: 1072418 markings, 3041167 edges, 13928 markings/sec, 75 secs
lola: 1142180 markings, 3230525 edges, 13952 markings/sec, 80 secs
lola: 1211122 markings, 3420133 edges, 13788 markings/sec, 85 secs
lola: 1279787 markings, 3608260 edges, 13733 markings/sec, 90 secs
lola: 1348780 markings, 3797095 edges, 13799 markings/sec, 95 secs
lola: 1423179 markings, 3993317 edges, 14880 markings/sec, 100 secs
lola: 1501345 markings, 4198599 edges, 15633 markings/sec, 105 secs
lola: 1579852 markings, 4405276 edges, 15701 markings/sec, 110 secs
lola: 1653099 markings, 4602480 edges, 14649 markings/sec, 115 secs
lola: 1724218 markings, 4794431 edges, 14224 markings/sec, 120 secs
lola: 1794123 markings, 4985080 edges, 13981 markings/sec, 125 secs
lola: 1863814 markings, 5175610 edges, 13938 markings/sec, 130 secs
lola: 1934262 markings, 5365800 edges, 14090 markings/sec, 135 secs
lola: 2004610 markings, 5557038 edges, 14070 markings/sec, 140 secs
lola: 2075501 markings, 5749625 edges, 14178 markings/sec, 145 secs
lola: 2146063 markings, 5940930 edges, 14112 markings/sec, 150 secs
lola: 2215502 markings, 6131826 edges, 13888 markings/sec, 155 secs
lola: 2285748 markings, 6322195 edges, 14049 markings/sec, 160 secs
lola: 2355573 markings, 6513273 edges, 13965 markings/sec, 165 secs
lola: 2425343 markings, 6704341 edges, 13954 markings/sec, 170 secs
lola: 2500698 markings, 6902846 edges, 15071 markings/sec, 175 secs
lola: 2579870 markings, 7108920 edges, 15834 markings/sec, 180 secs
lola: 2657532 markings, 7315618 edges, 15532 markings/sec, 185 secs
lola: 2730051 markings, 7511024 edges, 14504 markings/sec, 190 secs
lola: 2800633 markings, 7702011 edges, 14116 markings/sec, 195 secs
lola: 2870895 markings, 7892764 edges, 14052 markings/sec, 200 secs
lola: 2941047 markings, 8084040 edges, 14030 markings/sec, 205 secs
lola: 3010881 markings, 8273688 edges, 13967 markings/sec, 210 secs
lola: 3080292 markings, 8464642 edges, 13882 markings/sec, 215 secs
lola: 3152152 markings, 8656949 edges, 14372 markings/sec, 220 secs
lola: 3222526 markings, 8848057 edges, 14075 markings/sec, 225 secs
lola: 3292518 markings, 9039697 edges, 13998 markings/sec, 230 secs
lola: 3361962 markings, 9229610 edges, 13889 markings/sec, 235 secs
lola: 3431123 markings, 9420102 edges, 13832 markings/sec, 240 secs
lola: 3501412 markings, 9610684 edges, 14058 markings/sec, 245 secs
lola: 3577748 markings, 9811083 edges, 15267 markings/sec, 250 secs
lola: 3657158 markings, 10016998 edges, 15882 markings/sec, 255 secs
lola: 3734227 markings, 10223420 edges, 15414 markings/sec, 260 secs
lola: 3806284 markings, 10417856 edges, 14411 markings/sec, 265 secs
lola: 3876114 markings, 10608595 edges, 13966 markings/sec, 270 secs
lola: 3946554 markings, 10798901 edges, 14088 markings/sec, 275 secs
lola: 4016490 markings, 10988415 edges, 13987 markings/sec, 280 secs
lola: 4086163 markings, 11178563 edges, 13935 markings/sec, 285 secs
lola: 4155701 markings, 11367385 edges, 13908 markings/sec, 290 secs
lola: 4220277 markings, 11556897 edges, 12915 markings/sec, 295 secs
lola: 4274873 markings, 11741358 edges, 10919 markings/sec, 300 secs
lola: 4343491 markings, 11916992 edges, 13724 markings/sec, 305 secs
lola: 4410321 markings, 12094984 edges, 13366 markings/sec, 310 secs
lola: 4467267 markings, 12292285 edges, 11389 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 364892 KB
lola: time consumption: 340 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p562)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p562)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 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: 99720 markings, 109379 edges, 19944 markings/sec, 30 secs
lola: 201392 markings, 221122 edges, 20334 markings/sec, 35 secs
lola: 302881 markings, 332788 edges, 20298 markings/sec, 40 secs
lola: 401626 markings, 443232 edges, 19749 markings/sec, 45 secs
lola: 498759 markings, 552039 edges, 19427 markings/sec, 50 secs
lola: 582037 markings, 653221 edges, 16656 markings/sec, 55 secs
lola: 654637 markings, 760850 edges, 14520 markings/sec, 60 secs
lola: 741748 markings, 868675 edges, 17422 markings/sec, 65 secs
lola: 830836 markings, 976451 edges, 17818 markings/sec, 70 secs
lola: 921145 markings, 1084067 edges, 18062 markings/sec, 75 secs
lola: 1009065 markings, 1192445 edges, 17584 markings/sec, 80 secs
lola: 1096863 markings, 1300703 edges, 17560 markings/sec, 85 secs
lola: 1184429 markings, 1409135 edges, 17513 markings/sec, 90 secs
lola: 1273613 markings, 1516955 edges, 17837 markings/sec, 95 secs
lola: 1356467 markings, 1632049 edges, 16571 markings/sec, 100 secs
lola: 1445016 markings, 1741076 edges, 17710 markings/sec, 105 secs
lola: 1538963 markings, 1848492 edges, 18789 markings/sec, 110 secs
lola: 1631527 markings, 1955517 edges, 18513 markings/sec, 115 secs
lola: 1725658 markings, 2063745 edges, 18826 markings/sec, 120 secs
lola: 1818503 markings, 2171640 edges, 18569 markings/sec, 125 secs
lola: 1911439 markings, 2280697 edges, 18587 markings/sec, 130 secs
lola: 2004351 markings, 2388506 edges, 18582 markings/sec, 135 secs
lola: 2098300 markings, 2497564 edges, 18790 markings/sec, 140 secs
lola: 2190946 markings, 2604534 edges, 18529 markings/sec, 145 secs
lola: 2283544 markings, 2713923 edges, 18520 markings/sec, 150 secs
lola: 2377537 markings, 2822135 edges, 18799 markings/sec, 155 secs
lola: 2467749 markings, 2928785 edges, 18042 markings/sec, 160 secs
lola: 2561793 markings, 3037750 edges, 18809 markings/sec, 165 secs
lola: 2654507 markings, 3146788 edges, 18543 markings/sec, 170 secs
lola: 2740389 markings, 3261508 edges, 17176 markings/sec, 175 secs
lola: 2834823 markings, 3369794 edges, 18887 markings/sec, 180 secs
lola: 2927256 markings, 3479216 edges, 18487 markings/sec, 185 secs
lola: 3024283 markings, 3589381 edges, 19405 markings/sec, 190 secs
lola: 3120816 markings, 3696071 edges, 19307 markings/sec, 195 secs
lola: 3214749 markings, 3804330 edges, 18787 markings/sec, 200 secs
lola: 3311655 markings, 3914989 edges, 19381 markings/sec, 205 secs
lola: 3408711 markings, 4022146 edges, 19411 markings/sec, 210 secs
lola: 3501718 markings, 4130219 edges, 18601 markings/sec, 215 secs
lola: 3597521 markings, 4239307 edges, 19161 markings/sec, 220 secs
lola: 3693905 markings, 4348602 edges, 19277 markings/sec, 225 secs
lola: 3788711 markings, 4457385 edges, 18961 markings/sec, 230 secs
lola: 3884487 markings, 4565743 edges, 19155 markings/sec, 235 secs
lola: 3981029 markings, 4675472 edges, 19308 markings/sec, 240 secs
lola: 4077118 markings, 4784853 edges, 19218 markings/sec, 245 secs
lola: 4173516 markings, 4892307 edges, 19280 markings/sec, 250 secs
lola: 4268398 markings, 5000735 edges, 18976 markings/sec, 255 secs
lola: 4363899 markings, 5109761 edges, 19100 markings/sec, 260 secs
lola: 4457368 markings, 5219910 edges, 18694 markings/sec, 265 secs
lola: 4552824 markings, 5328327 edges, 19091 markings/sec, 270 secs
lola: 4649241 markings, 5435366 edges, 19283 markings/sec, 275 secs
lola: 4744661 markings, 5544030 edges, 19084 markings/sec, 280 secs
lola: 4838626 markings, 5653631 edges, 18793 markings/sec, 285 secs
lola: 4934291 markings, 5763421 edges, 19133 markings/sec, 290 secs
lola: 5024659 markings, 5877470 edges, 18074 markings/sec, 295 secs
lola: 5118762 markings, 5987052 edges, 18821 markings/sec, 300 secs
lola: 5215573 markings, 6096977 edges, 19362 markings/sec, 305 secs
lola: 5310541 markings, 6207116 edges, 18994 markings/sec, 310 secs
lola: 5408502 markings, 6316841 edges, 19592 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 546436 KB
lola: time consumption: 663 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p733)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p733)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 22 markings, 21 edges

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

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

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

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

FORMULA ASLink-PT-04b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 725 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1833)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1833)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 58653 markings, 166946 edges, 11731 markings/sec, 0 secs
lola: 131103 markings, 363586 edges, 14490 markings/sec, 5 secs
lola: 199916 markings, 562981 edges, 13763 markings/sec, 10 secs
lola: 269829 markings, 763957 edges, 13983 markings/sec, 15 secs
lola: 334332 markings, 944906 edges, 12901 markings/sec, 20 secs
lola: 403631 markings, 1124802 edges, 13860 markings/sec, 25 secs
lola: 462723 markings, 1325113 edges, 11818 markings/sec, 30 secs
lola: 520553 markings, 1527653 edges, 11566 markings/sec, 35 secs
lola: 587358 markings, 1724141 edges, 13361 markings/sec, 40 secs
lola: 658808 markings, 1917170 edges, 14290 markings/sec, 45 secs
lola: 729495 markings, 2109330 edges, 14137 markings/sec, 50 secs
lola: 799550 markings, 2300103 edges, 14011 markings/sec, 55 secs
lola: 869142 markings, 2490790 edges, 13918 markings/sec, 60 secs
lola: 940287 markings, 2683234 edges, 14229 markings/sec, 65 secs
lola: 1012251 markings, 2877399 edges, 14393 markings/sec, 70 secs
lola: 1083087 markings, 3070707 edges, 14167 markings/sec, 75 secs
lola: 1153603 markings, 3262666 edges, 14103 markings/sec, 80 secs
lola: 1223212 markings, 3454547 edges, 13922 markings/sec, 85 secs
lola: 1293493 markings, 3645896 edges, 14056 markings/sec, 90 secs
lola: 1364217 markings, 3837981 edges, 14145 markings/sec, 95 secs
lola: 1441377 markings, 4041055 edges, 15432 markings/sec, 100 secs
lola: 1521678 markings, 4249096 edges, 16060 markings/sec, 105 secs
lola: 1599792 markings, 4458397 edges, 15623 markings/sec, 110 secs
lola: 1672907 markings, 4654829 edges, 14623 markings/sec, 115 secs
lola: 1744315 markings, 4849841 edges, 14282 markings/sec, 120 secs
lola: 1815416 markings, 5042451 edges, 14220 markings/sec, 125 secs
lola: 1885827 markings, 5234801 edges, 14082 markings/sec, 130 secs
lola: 1956143 markings, 5427197 edges, 14063 markings/sec, 135 secs
lola: 2027896 markings, 5621155 edges, 14351 markings/sec, 140 secs
lola: 2100771 markings, 5815973 edges, 14575 markings/sec, 145 secs
lola: 2171927 markings, 6011094 edges, 14231 markings/sec, 150 secs
lola: 2242741 markings, 6205147 edges, 14163 markings/sec, 155 secs
lola: 2313405 markings, 6398237 edges, 14133 markings/sec, 160 secs
lola: 2383634 markings, 6591760 edges, 14046 markings/sec, 165 secs
lola: 2454621 markings, 6785638 edges, 14197 markings/sec, 170 secs
lola: 2535327 markings, 6993739 edges, 16141 markings/sec, 175 secs
lola: 2615738 markings, 7203665 edges, 16082 markings/sec, 180 secs
lola: 2692806 markings, 7410318 edges, 15414 markings/sec, 185 secs
lola: 2764476 markings, 7603866 edges, 14334 markings/sec, 190 secs
lola: 2836205 markings, 7797640 edges, 14346 markings/sec, 195 secs
lola: 2907134 markings, 7991306 edges, 14186 markings/sec, 200 secs
lola: 2978071 markings, 8184991 edges, 14187 markings/sec, 205 secs
lola: 3049123 markings, 8377887 edges, 14210 markings/sec, 210 secs
lola: 3120731 markings, 8572535 edges, 14322 markings/sec, 215 secs
lola: 3192108 markings, 8766577 edges, 14275 markings/sec, 220 secs
lola: 3263439 markings, 8960619 edges, 14266 markings/sec, 225 secs
lola: 3334548 markings, 9153526 edges, 14222 markings/sec, 230 secs
lola: 3405026 markings, 9347498 edges, 14096 markings/sec, 235 secs
lola: 3475710 markings, 9540663 edges, 14137 markings/sec, 240 secs
lola: 3549795 markings, 9737862 edges, 14817 markings/sec, 245 secs
lola: 3629116 markings, 9946145 edges, 15864 markings/sec, 250 secs
lola: 3709087 markings, 10155903 edges, 15994 markings/sec, 255 secs
lola: 3783886 markings, 10357520 edges, 14960 markings/sec, 260 secs
lola: 3855009 markings, 10550643 edges, 14225 markings/sec, 265 secs
lola: 3926668 markings, 10744001 edges, 14332 markings/sec, 270 secs
lola: 3997442 markings, 10936654 edges, 14155 markings/sec, 275 secs
lola: 4068039 markings, 11129630 edges, 14119 markings/sec, 280 secs
lola: 4138804 markings, 11321549 edges, 14153 markings/sec, 285 secs
lola: 4209337 markings, 11514364 edges, 14107 markings/sec, 290 secs
lola: 4260061 markings, 11701337 edges, 10145 markings/sec, 295 secs
lola: 4329738 markings, 11881787 edges, 13935 markings/sec, 300 secs
lola: 4398404 markings, 12059750 edges, 13733 markings/sec, 305 secs
lola: 4457417 markings, 12257797 edges, 11803 markings/sec, 310 secs
lola: 4514735 markings, 12458842 edges, 11464 markings/sec, 315 secs
lola: 4582325 markings, 12653599 edges, 13518 markings/sec, 320 secs
lola: 4652626 markings, 12844406 edges, 14060 markings/sec, 325 secs
lola: 4723037 markings, 13034523 edges, 14082 markings/sec, 330 secs
lola: 4792510 markings, 13225435 edges, 13895 markings/sec, 335 secs
lola: 4862608 markings, 13415282 edges, 14020 markings/sec, 340 secs
lola: 4932126 markings, 13606292 edges, 13904 markings/sec, 345 secs
lola: 5003284 markings, 13797895 edges, 14232 markings/sec, 350 secs
lola: 5073765 markings, 13989056 edges, 14096 markings/sec, 355 secs
lola: 5143681 markings, 14179724 edges, 13983 markings/sec, 360 secs
lola: 5213386 markings, 14370654 edges, 13941 markings/sec, 365 secs
lola: 5282568 markings, 14560526 edges, 13836 markings/sec, 370 secs
lola: 5355318 markings, 14755140 edges, 14550 markings/sec, 375 secs
lola: 5434549 markings, 14962135 edges, 15846 markings/sec, 380 secs
lola: 5513968 markings, 15170616 edges, 15884 markings/sec, 385 secs
lola: 5582795 markings, 15355572 edges, 13765 markings/sec, 390 secs
lola: 5653406 markings, 15548194 edges, 14122 markings/sec, 395 secs
lola: 5724079 markings, 15740022 edges, 14135 markings/sec, 400 secs
lola: 5794919 markings, 15931604 edges, 14168 markings/sec, 405 secs
lola: 5865503 markings, 16123494 edges, 14117 markings/sec, 410 secs
lola: 5936033 markings, 16316296 edges, 14106 markings/sec, 415 secs
lola: 6008194 markings, 16510238 edges, 14432 markings/sec, 420 secs
lola: 6078731 markings, 16702678 edges, 14107 markings/sec, 425 secs
lola: 6148214 markings, 16894689 edges, 13897 markings/sec, 430 secs
lola: 6218653 markings, 17085787 edges, 14088 markings/sec, 435 secs
lola: 6287303 markings, 17272785 edges, 13730 markings/sec, 440 secs
lola: 6354336 markings, 17456209 edges, 13407 markings/sec, 445 secs
lola: 6434410 markings, 17663609 edges, 16015 markings/sec, 450 secs
lola: 6514030 markings, 17872107 edges, 15924 markings/sec, 455 secs
lola: 6589342 markings, 18074378 edges, 15062 markings/sec, 460 secs
lola: 6660633 markings, 18266866 edges, 14258 markings/sec, 465 secs
lola: 6731467 markings, 18459646 edges, 14167 markings/sec, 470 secs
lola: 6801340 markings, 18650520 edges, 13975 markings/sec, 475 secs
lola: 6871284 markings, 18841538 edges, 13989 markings/sec, 480 secs
lola: 6941900 markings, 19032367 edges, 14123 markings/sec, 485 secs
lola: 7010735 markings, 19224699 edges, 13767 markings/sec, 490 secs
lola: 7062973 markings, 19410367 edges, 10448 markings/sec, 495 secs
lola: 7132632 markings, 19588245 edges, 13932 markings/sec, 500 secs
lola: 7200494 markings, 19766625 edges, 13572 markings/sec, 505 secs
lola: 7258113 markings, 19965375 edges, 11524 markings/sec, 510 secs
lola: 7314978 markings, 20165490 edges, 11373 markings/sec, 515 secs
lola: 7384120 markings, 20358056 edges, 13828 markings/sec, 520 secs
lola: 7454312 markings, 20548402 edges, 14038 markings/sec, 525 secs
lola: 7523342 markings, 20737873 edges, 13806 markings/sec, 530 secs
lola: 7593184 markings, 20926810 edges, 13968 markings/sec, 535 secs
lola: 7663292 markings, 21116058 edges, 14022 markings/sec, 540 secs
lola: 7732865 markings, 21307166 edges, 13915 markings/sec, 545 secs
lola: 7804168 markings, 21498555 edges, 14261 markings/sec, 550 secs
lola: 7873520 markings, 21688561 edges, 13870 markings/sec, 555 secs
lola: 7942597 markings, 21877886 edges, 13815 markings/sec, 560 secs
lola: 8012532 markings, 22067299 edges, 13987 markings/sec, 565 secs
lola: 8081619 markings, 22257932 edges, 13817 markings/sec, 570 secs
lola: 8154833 markings, 22452249 edges, 14643 markings/sec, 575 secs
lola: 8233306 markings, 22658133 edges, 15695 markings/sec, 580 secs
lola: 8312154 markings, 22865403 edges, 15770 markings/sec, 585 secs
lola: 8385588 markings, 23063016 edges, 14687 markings/sec, 590 secs
lola: 8454989 markings, 23254132 edges, 13880 markings/sec, 595 secs
lola: 8526907 markings, 23446629 edges, 14384 markings/sec, 600 secs
lola: 8596281 markings, 23637000 edges, 13875 markings/sec, 605 secs
lola: 8666565 markings, 23827158 edges, 14057 markings/sec, 610 secs
lola: 8737039 markings, 24017471 edges, 14095 markings/sec, 615 secs
lola: 8797059 markings, 24207072 edges, 12004 markings/sec, 620 secs
lola: 8857800 markings, 24393085 edges, 12148 markings/sec, 625 secs
lola: 8926963 markings, 24567863 edges, 13833 markings/sec, 630 secs
lola: 8991735 markings, 24750401 edges, 12954 markings/sec, 635 secs
lola: 9049108 markings, 24948621 edges, 11475 markings/sec, 640 secs
lola: 9106122 markings, 25147216 edges, 11403 markings/sec, 645 secs
lola: 9174964 markings, 25334091 edges, 13768 markings/sec, 650 secs
lola: 9240767 markings, 25510959 edges, 13161 markings/sec, 655 secs
lola: 9306571 markings, 25690128 edges, 13161 markings/sec, 660 secs
lola: 9374178 markings, 25874833 edges, 13521 markings/sec, 665 secs
lola: 9442468 markings, 26059794 edges, 13658 markings/sec, 670 secs
lola: 9510442 markings, 26244973 edges, 13595 markings/sec, 675 secs
lola: 9564383 markings, 26427812 edges, 10788 markings/sec, 680 secs
lola: 9627706 markings, 26608431 edges, 12665 markings/sec, 685 secs
lola: 9688478 markings, 26780075 edges, 12154 markings/sec, 690 secs
lola: 9743473 markings, 26953478 edges, 10999 markings/sec, 695 secs
lola: 9806817 markings, 27126730 edges, 12669 markings/sec, 700 secs
lola: 9869912 markings, 27299466 edges, 12619 markings/sec, 705 secs
lola: 9922412 markings, 27472550 edges, 10500 markings/sec, 710 secs
lola: 9976442 markings, 27665537 edges, 10806 markings/sec, 715 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown 1 1 1 1 1 unknown unknown unknown unknown
lola: memory consumption: 708872 KB
lola: time consumption: 1392 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 726 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1572)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1572)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 20 markings, 19 edges

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

FORMULA ASLink-PT-04b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2177 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p122)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 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: 90258 markings, 116332 edges, 18052 markings/sec, 30 secs
lola: 183582 markings, 233463 edges, 18665 markings/sec, 35 secs
lola: 278461 markings, 351592 edges, 18976 markings/sec, 40 secs
lola: 373825 markings, 470118 edges, 19073 markings/sec, 45 secs
lola: 469633 markings, 589036 edges, 19162 markings/sec, 50 secs
lola: 565687 markings, 707252 edges, 19211 markings/sec, 55 secs
lola: 660418 markings, 827687 edges, 18946 markings/sec, 60 secs
lola: 756259 markings, 946039 edges, 19168 markings/sec, 65 secs
lola: 851654 markings, 1065312 edges, 19079 markings/sec, 70 secs
lola: 947193 markings, 1183925 edges, 19108 markings/sec, 75 secs
lola: 1038840 markings, 1301241 edges, 18329 markings/sec, 80 secs
lola: 1136101 markings, 1409269 edges, 19452 markings/sec, 85 secs
lola: 1224016 markings, 1511793 edges, 17583 markings/sec, 90 secs
lola: 1300975 markings, 1610986 edges, 15392 markings/sec, 95 secs
lola: 1379284 markings, 1722640 edges, 15662 markings/sec, 100 secs
lola: 1467615 markings, 1829038 edges, 17666 markings/sec, 105 secs
lola: 1555422 markings, 1935193 edges, 17561 markings/sec, 110 secs
lola: 1642536 markings, 2042219 edges, 17423 markings/sec, 115 secs
lola: 1730221 markings, 2149001 edges, 17537 markings/sec, 120 secs
lola: 1818358 markings, 2256005 edges, 17627 markings/sec, 125 secs
lola: 1905212 markings, 2363021 edges, 17371 markings/sec, 130 secs
lola: 1991702 markings, 2470878 edges, 17298 markings/sec, 135 secs
lola: 2073825 markings, 2584267 edges, 16425 markings/sec, 140 secs
lola: 2164933 markings, 2692398 edges, 18222 markings/sec, 145 secs
lola: 2256235 markings, 2798967 edges, 18260 markings/sec, 150 secs
lola: 2348431 markings, 2905312 edges, 18439 markings/sec, 155 secs
lola: 2441074 markings, 3011814 edges, 18529 markings/sec, 160 secs
lola: 2532632 markings, 3117902 edges, 18312 markings/sec, 165 secs
lola: 2625540 markings, 3223715 edges, 18582 markings/sec, 170 secs
lola: 2716243 markings, 3331529 edges, 18141 markings/sec, 175 secs
lola: 2809049 markings, 3439200 edges, 18561 markings/sec, 180 secs
lola: 2901072 markings, 3546040 edges, 18405 markings/sec, 185 secs
lola: 2992803 markings, 3651656 edges, 18346 markings/sec, 190 secs
lola: 3082908 markings, 3758336 edges, 18021 markings/sec, 195 secs
lola: 3174026 markings, 3866060 edges, 18224 markings/sec, 200 secs
lola: 3265722 markings, 3972480 edges, 18339 markings/sec, 205 secs
lola: 3357518 markings, 4080749 edges, 18359 markings/sec, 210 secs
lola: 3443357 markings, 4194068 edges, 17168 markings/sec, 215 secs
lola: 3535788 markings, 4301631 edges, 18486 markings/sec, 220 secs
lola: 3630200 markings, 4409513 edges, 18882 markings/sec, 225 secs
lola: 3723088 markings, 4515606 edges, 18578 markings/sec, 230 secs
lola: 3821189 markings, 4623409 edges, 19620 markings/sec, 235 secs
lola: 3913652 markings, 4730081 edges, 18493 markings/sec, 240 secs
lola: 4008762 markings, 4838864 edges, 19022 markings/sec, 245 secs
lola: 4102624 markings, 4946679 edges, 18772 markings/sec, 250 secs
lola: 4196657 markings, 5051787 edges, 18807 markings/sec, 255 secs
lola: 4290505 markings, 5158789 edges, 18770 markings/sec, 260 secs
lola: 4384891 markings, 5266297 edges, 18877 markings/sec, 265 secs
lola: 4478139 markings, 5373813 edges, 18650 markings/sec, 270 secs
lola: 4574531 markings, 5481912 edges, 19278 markings/sec, 275 secs
lola: 4668742 markings, 5590079 edges, 18842 markings/sec, 280 secs
lola: 4764066 markings, 5698258 edges, 19065 markings/sec, 285 secs
lola: 4859994 markings, 5804435 edges, 19186 markings/sec, 290 secs
lola: 4953328 markings, 5911412 edges, 18667 markings/sec, 295 secs
lola: 5047575 markings, 6018822 edges, 18849 markings/sec, 300 secs
lola: 5137995 markings, 6125864 edges, 18084 markings/sec, 305 secs
lola: 5233887 markings, 6234676 edges, 19178 markings/sec, 310 secs
lola: 5329206 markings, 6340381 edges, 19064 markings/sec, 315 secs
lola: 5423305 markings, 6447584 edges, 18820 markings/sec, 320 secs
lola: 5516089 markings, 6555900 edges, 18557 markings/sec, 325 secs
lola: 5610139 markings, 6664716 edges, 18810 markings/sec, 330 secs
lola: 5698301 markings, 6778163 edges, 17632 markings/sec, 335 secs
lola: 5792755 markings, 6885496 edges, 18891 markings/sec, 340 secs
lola: 5888385 markings, 6994132 edges, 19126 markings/sec, 345 secs
lola: 5982400 markings, 7103230 edges, 18803 markings/sec, 350 secs
lola: 6079059 markings, 7211532 edges, 19332 markings/sec, 355 secs
lola: 6173178 markings, 7317161 edges, 18824 markings/sec, 360 secs
lola: 6271358 markings, 7425033 edges, 19636 markings/sec, 365 secs
lola: 6366948 markings, 7534384 edges, 19118 markings/sec, 370 secs
lola: 6462159 markings, 7640160 edges, 19042 markings/sec, 375 secs
lola: 6560490 markings, 7748595 edges, 19666 markings/sec, 380 secs
lola: 6654165 markings, 7855833 edges, 18735 markings/sec, 385 secs
lola: 6749160 markings, 7964058 edges, 18999 markings/sec, 390 secs
lola: 6843901 markings, 8070121 edges, 18948 markings/sec, 395 secs
lola: 6938828 markings, 8178220 edges, 18985 markings/sec, 400 secs
lola: 7035986 markings, 8285455 edges, 19432 markings/sec, 405 secs
lola: 7130552 markings, 8392851 edges, 18913 markings/sec, 410 secs
lola: 7223952 markings, 8500551 edges, 18680 markings/sec, 415 secs
lola: 7320643 markings, 8608959 edges, 19338 markings/sec, 420 secs
lola: 7417578 markings, 8717494 edges, 19387 markings/sec, 425 secs
lola: 7514021 markings, 8826045 edges, 19289 markings/sec, 430 secs
lola: 7610409 markings, 8934726 edges, 19278 markings/sec, 435 secs
lola: 7705492 markings, 9040746 edges, 19017 markings/sec, 440 secs
lola: 7802116 markings, 9150376 edges, 19325 markings/sec, 445 secs
lola: 7897758 markings, 9256403 edges, 19128 markings/sec, 450 secs
lola: 7993107 markings, 9365423 edges, 19070 markings/sec, 455 secs
lola: 8088732 markings, 9473296 edges, 19125 markings/sec, 460 secs
lola: 8180899 markings, 9578994 edges, 18433 markings/sec, 465 secs
lola: 8279207 markings, 9687343 edges, 19662 markings/sec, 470 secs
lola: 8372555 markings, 9794270 edges, 18670 markings/sec, 475 secs
lola: 8468777 markings, 9903551 edges, 19244 markings/sec, 480 secs
lola: 8565153 markings, 10009742 edges, 19275 markings/sec, 485 secs
lola: 8659193 markings, 10118537 edges, 18808 markings/sec, 490 secs
lola: 8755126 markings, 10226997 edges, 19187 markings/sec, 495 secs
lola: 8848781 markings, 10336848 edges, 18731 markings/sec, 500 secs
lola: 8938759 markings, 10449687 edges, 17996 markings/sec, 505 secs
lola: 9037272 markings, 10560213 edges, 19703 markings/sec, 510 secs
lola: 9135541 markings, 10670275 edges, 19654 markings/sec, 515 secs
lola: 9233103 markings, 10780338 edges, 19512 markings/sec, 520 secs
lola: 9329378 markings, 10892378 edges, 19255 markings/sec, 525 secs
lola: 9420200 markings, 11015390 edges, 18164 markings/sec, 530 secs
lola: 9507821 markings, 11137956 edges, 17524 markings/sec, 535 secs
lola: 9578386 markings, 11256673 edges, 14113 markings/sec, 540 secs
lola: 9641991 markings, 11387053 edges, 12721 markings/sec, 545 secs
lola: 9722404 markings, 11512332 edges, 16083 markings/sec, 550 secs
lola: 9803490 markings, 11636167 edges, 16217 markings/sec, 555 secs
lola: 9885976 markings, 11759065 edges, 16497 markings/sec, 560 secs
lola: 9967680 markings, 11883136 edges, 16341 markings/sec, 565 secs
lola: 10048975 markings, 12008247 edges, 16259 markings/sec, 570 secs
lola: 10131824 markings, 12131099 edges, 16570 markings/sec, 575 secs
lola: 10211807 markings, 12256028 edges, 15997 markings/sec, 580 secs
lola: 10292767 markings, 12380815 edges, 16192 markings/sec, 585 secs
lola: 10367895 markings, 12513857 edges, 15026 markings/sec, 590 secs
lola: 10451816 markings, 12638535 edges, 16784 markings/sec, 595 secs
lola: 10537984 markings, 12761068 edges, 17234 markings/sec, 600 secs
lola: 10623956 markings, 12883983 edges, 17194 markings/sec, 605 secs
lola: 10711001 markings, 13006930 edges, 17409 markings/sec, 610 secs
lola: 10796215 markings, 13129665 edges, 17043 markings/sec, 615 secs
lola: 10881712 markings, 13253950 edges, 17099 markings/sec, 620 secs
lola: 10967558 markings, 13376721 edges, 17169 markings/sec, 625 secs
lola: 11054813 markings, 13500213 edges, 17451 markings/sec, 630 secs
lola: 11141581 markings, 13624727 edges, 17354 markings/sec, 635 secs
lola: 11227138 markings, 13747439 edges, 17111 markings/sec, 640 secs
lola: 11314053 markings, 13869906 edges, 17383 markings/sec, 645 secs
lola: 11397640 markings, 13993719 edges, 16717 markings/sec, 650 secs
lola: 11482497 markings, 14118241 edges, 16971 markings/sec, 655 secs
lola: 11569872 markings, 14240013 edges, 17475 markings/sec, 660 secs
lola: 11654918 markings, 14365188 edges, 17009 markings/sec, 665 secs
lola: 11733853 markings, 14496503 edges, 15787 markings/sec, 670 secs
lola: 11820355 markings, 14621350 edges, 17300 markings/sec, 675 secs
lola: 11906449 markings, 14745822 edges, 17219 markings/sec, 680 secs
lola: 11997790 markings, 14869538 edges, 18268 markings/sec, 685 secs
lola: 12086040 markings, 14991397 edges, 17650 markings/sec, 690 secs
lola: 12174795 markings, 15115905 edges, 17751 markings/sec, 695 secs
lola: 12265115 markings, 15237198 edges, 18064 markings/sec, 700 secs
lola: 12352429 markings, 15360481 edges, 17463 markings/sec, 705 secs
lola: 12441608 markings, 15483732 edges, 17836 markings/sec, 710 secs
lola: 12530511 markings, 15605534 edges, 17781 markings/sec, 715 secs
lola: 12618373 markings, 15728459 edges, 17572 markings/sec, 720 secs
lola: 12707040 markings, 15851518 edges, 17733 markings/sec, 725 secs
lola: 12794405 markings, 15975297 edges, 17473 markings/sec, 730 secs
lola: 12885149 markings, 16099120 edges, 18149 markings/sec, 735 secs
lola: 12974030 markings, 16223689 edges, 17776 markings/sec, 740 secs
lola: 13063406 markings, 16347644 edges, 17875 markings/sec, 745 secs
lola: 13153167 markings, 16469474 edges, 17952 markings/sec, 750 secs
lola: 13240867 markings, 16592712 edges, 17540 markings/sec, 755 secs
lola: 13329815 markings, 16716498 edges, 17790 markings/sec, 760 secs
lola: 13419196 markings, 16839325 edges, 17876 markings/sec, 765 secs
lola: 13505865 markings, 16962540 edges, 17334 markings/sec, 770 secs
lola: 13593401 markings, 17085614 edges, 17507 markings/sec, 775 secs
lola: 13682794 markings, 17209475 edges, 17879 markings/sec, 780 secs
lola: 13771469 markings, 17331867 edges, 17735 markings/sec, 785 secs
lola: 13860044 markings, 17456040 edges, 17715 markings/sec, 790 secs
lola: 13946711 markings, 17582235 edges, 17333 markings/sec, 795 secs
lola: 14029095 markings, 17711758 edges, 16477 markings/sec, 800 secs
lola: 14119282 markings, 17835592 edges, 18037 markings/sec, 805 secs
lola: 14207931 markings, 17960217 edges, 17730 markings/sec, 810 secs
lola: 14297176 markings, 18085388 edges, 17849 markings/sec, 815 secs
lola: 14388269 markings, 18209521 edges, 18219 markings/sec, 820 secs
lola: 14477129 markings, 18332033 edges, 17772 markings/sec, 825 secs
lola: 14569280 markings, 18454339 edges, 18430 markings/sec, 830 secs
lola: 14659743 markings, 18579750 edges, 18093 markings/sec, 835 secs
lola: 14748914 markings, 18700811 edges, 17834 markings/sec, 840 secs
lola: 14842130 markings, 18823925 edges, 18643 markings/sec, 845 secs
lola: 14929528 markings, 18947329 edges, 17480 markings/sec, 850 secs
lola: 15022631 markings, 19069584 edges, 18621 markings/sec, 855 secs
lola: 15107791 markings, 19192247 edges, 17032 markings/sec, 860 secs
lola: 15200259 markings, 19314392 edges, 18494 markings/sec, 865 secs
lola: 15287851 markings, 19436888 edges, 17518 markings/sec, 870 secs
lola: 15379833 markings, 19559698 edges, 18396 markings/sec, 875 secs
lola: 15468921 markings, 19681706 edges, 17818 markings/sec, 880 secs
lola: 15555979 markings, 19805272 edges, 17412 markings/sec, 885 secs
lola: 15646757 markings, 19928975 edges, 18156 markings/sec, 890 secs
lola: 15737876 markings, 20052592 edges, 18224 markings/sec, 895 secs
lola: 15828391 markings, 20176415 edges, 18103 markings/sec, 900 secs
lola: 15918786 markings, 20300345 edges, 18079 markings/sec, 905 secs
lola: 16007910 markings, 20421918 edges, 17825 markings/sec, 910 secs
lola: 16100908 markings, 20544944 edges, 18600 markings/sec, 915 secs
lola: 16188234 markings, 20667653 edges, 17465 markings/sec, 920 secs
lola: 16278889 markings, 20792176 edges, 18131 markings/sec, 925 secs
lola: 16369429 markings, 20913082 edges, 18108 markings/sec, 930 secs
lola: 16454853 markings, 21037646 edges, 17085 markings/sec, 935 secs
lola: 16545852 markings, 21159219 edges, 18200 markings/sec, 940 secs
lola: 16634227 markings, 21282785 edges, 17675 markings/sec, 945 secs
lola: 16725916 markings, 21404612 edges, 18338 markings/sec, 950 secs
lola: 16814071 markings, 21527619 edges, 17631 markings/sec, 955 secs
lola: 16904297 markings, 21651167 edges, 18045 markings/sec, 960 secs
lola: 16993456 markings, 21774005 edges, 17832 markings/sec, 965 secs
lola: 17084135 markings, 21897807 edges, 18136 markings/sec, 970 secs
lola: 17171604 markings, 22023716 edges, 17494 markings/sec, 975 secs
lola: 17254421 markings, 22152826 edges, 16563 markings/sec, 980 secs
lola: 17346148 markings, 22277253 edges, 18345 markings/sec, 985 secs
lola: 17437049 markings, 22400828 edges, 18180 markings/sec, 990 secs
lola: 17526569 markings, 22524246 edges, 17904 markings/sec, 995 secs
lola: 17617957 markings, 22648187 edges, 18278 markings/sec, 1000 secs
lola: 17708244 markings, 22771862 edges, 18057 markings/sec, 1005 secs
lola: 17797266 markings, 22894109 edges, 17804 markings/sec, 1010 secs
lola: 17870066 markings, 23013404 edges, 14560 markings/sec, 1015 secs
lola: 17937063 markings, 23136781 edges, 13399 markings/sec, 1020 secs
lola: 18012033 markings, 23265473 edges, 14994 markings/sec, 1025 secs
lola: 18093118 markings, 23388628 edges, 16217 markings/sec, 1030 secs
lola: 18173888 markings, 23511530 edges, 16154 markings/sec, 1035 secs
lola: 18253814 markings, 23635144 edges, 15985 markings/sec, 1040 secs
lola: 18336932 markings, 23759124 edges, 16624 markings/sec, 1045 secs
lola: 18418315 markings, 23882409 edges, 16277 markings/sec, 1050 secs
lola: 18497558 markings, 24006535 edges, 15849 markings/sec, 1055 secs
lola: 18578208 markings, 24129958 edges, 16130 markings/sec, 1060 secs
lola: 18653090 markings, 24262273 edges, 14976 markings/sec, 1065 secs
lola: 18734849 markings, 24387145 edges, 16352 markings/sec, 1070 secs
lola: 18821314 markings, 24510766 edges, 17293 markings/sec, 1075 secs
lola: 18907184 markings, 24632873 edges, 17174 markings/sec, 1080 secs
lola: 18992529 markings, 24754951 edges, 17069 markings/sec, 1085 secs
lola: 19078759 markings, 24876845 edges, 17246 markings/sec, 1090 secs
lola: 19162726 markings, 24998873 edges, 16793 markings/sec, 1095 secs
lola: 19249974 markings, 25121084 edges, 17450 markings/sec, 1100 secs
lola: 19334475 markings, 25244552 edges, 16900 markings/sec, 1105 secs
lola: 19420838 markings, 25368269 edges, 17273 markings/sec, 1110 secs
lola: 19506477 markings, 25490978 edges, 17128 markings/sec, 1115 secs
lola: 19592006 markings, 25613678 edges, 17106 markings/sec, 1120 secs
lola: 19677119 markings, 25736346 edges, 17023 markings/sec, 1125 secs
lola: 19760013 markings, 25858469 edges, 16579 markings/sec, 1130 secs
lola: 19847490 markings, 25980406 edges, 17495 markings/sec, 1135 secs
lola: 19932185 markings, 26104285 edges, 16939 markings/sec, 1140 secs
lola: 20012498 markings, 26233484 edges, 16063 markings/sec, 1145 secs
lola: 20095531 markings, 26359618 edges, 16607 markings/sec, 1150 secs
lola: 20182238 markings, 26482979 edges, 17341 markings/sec, 1155 secs
lola: 20270224 markings, 26607096 edges, 17597 markings/sec, 1160 secs
lola: 20357377 markings, 26728278 edges, 17431 markings/sec, 1165 secs
lola: 20449127 markings, 26850791 edges, 18350 markings/sec, 1170 secs
lola: 20535492 markings, 26972612 edges, 17273 markings/sec, 1175 secs
lola: 20624678 markings, 27096340 edges, 17837 markings/sec, 1180 secs
lola: 20714727 markings, 27217071 edges, 18010 markings/sec, 1185 secs
lola: 20799655 markings, 27339419 edges, 16986 markings/sec, 1190 secs
lola: 20888407 markings, 27462448 edges, 17750 markings/sec, 1195 secs
lola: 20977122 markings, 27585152 edges, 17743 markings/sec, 1200 secs
lola: 21065181 markings, 27707231 edges, 17612 markings/sec, 1205 secs
lola: 21153096 markings, 27830602 edges, 17583 markings/sec, 1210 secs
lola: 21242600 markings, 27953020 edges, 17901 markings/sec, 1215 secs
lola: 21331596 markings, 28076642 edges, 17799 markings/sec, 1220 secs
lola: 21418757 markings, 28198651 edges, 17432 markings/sec, 1225 secs
lola: 21508776 markings, 28322265 edges, 18004 markings/sec, 1230 secs
lola: 21598281 markings, 28443283 edges, 17901 markings/sec, 1235 secs
lola: 21686252 markings, 28565825 edges, 17594 markings/sec, 1240 secs
lola: 21769567 markings, 28689267 edges, 16663 markings/sec, 1245 secs
lola: 21859488 markings, 28812762 edges, 17984 markings/sec, 1250 secs
lola: 21948727 markings, 28933435 edges, 17848 markings/sec, 1255 secs
lola: 22036526 markings, 29055729 edges, 17560 markings/sec, 1260 secs
lola: 22123520 markings, 29179765 edges, 17399 markings/sec, 1265 secs
lola: 22211625 markings, 29303261 edges, 17621 markings/sec, 1270 secs
lola: 22295012 markings, 29431777 edges, 16677 markings/sec, 1275 secs
lola: 22381538 markings, 29557308 edges, 17305 markings/sec, 1280 secs
lola: 22469836 markings, 29680366 edges, 17660 markings/sec, 1285 secs
lola: 22558832 markings, 29804063 edges, 17799 markings/sec, 1290 secs
lola: 22647347 markings, 29927804 edges, 17703 markings/sec, 1295 secs
lola: 22738428 markings, 30051150 edges, 18216 markings/sec, 1300 secs
lola: 22826645 markings, 30172678 edges, 17643 markings/sec, 1305 secs
lola: 22919373 markings, 30295248 edges, 18546 markings/sec, 1310 secs
lola: 23006892 markings, 30418776 edges, 17504 markings/sec, 1315 secs
lola: 23097905 markings, 30540186 edges, 18203 markings/sec, 1320 secs
lola: 23187814 markings, 30664899 edges, 17982 markings/sec, 1325 secs
lola: 23277634 markings, 30785280 edges, 17964 markings/sec, 1330 secs
lola: 23366742 markings, 30908442 edges, 17822 markings/sec, 1335 secs
lola: 23454966 markings, 31029323 edges, 17645 markings/sec, 1340 secs
lola: 23545511 markings, 31153174 edges, 18109 markings/sec, 1345 secs
lola: 23635269 markings, 31274203 edges, 17952 markings/sec, 1350 secs
lola: 23723731 markings, 31397133 edges, 17692 markings/sec, 1355 secs
lola: 23813943 markings, 31520206 edges, 18042 markings/sec, 1360 secs
lola: 23903850 markings, 31643079 edges, 17981 markings/sec, 1365 secs
lola: 23994273 markings, 31766400 edges, 18085 markings/sec, 1370 secs
lola: 24084161 markings, 31890550 edges, 17978 markings/sec, 1375 secs
lola: 24174474 markings, 32013563 edges, 18063 markings/sec, 1380 secs
lola: 24264482 markings, 32136981 edges, 18002 markings/sec, 1385 secs
lola: 24354662 markings, 32258249 edges, 18036 markings/sec, 1390 secs
lola: 24443968 markings, 32382296 edges, 17861 markings/sec, 1395 secs
lola: 24534728 markings, 32503558 edges, 18152 markings/sec, 1400 secs
lola: 24622906 markings, 32626742 edges, 17636 markings/sec, 1405 secs
lola: 24713290 markings, 32750478 edges, 18077 markings/sec, 1410 secs
lola: 24799021 markings, 32872100 edges, 17146 markings/sec, 1415 secs
lola: 24891684 markings, 32994569 edges, 18533 markings/sec, 1420 secs
lola: 24978805 markings, 33117039 edges, 17424 markings/sec, 1425 secs
lola: 25071284 markings, 33239257 edges, 18496 markings/sec, 1430 secs
lola: 25159204 markings, 33361717 edges, 17584 markings/sec, 1435 secs
lola: 25246855 markings, 33484970 edges, 17530 markings/sec, 1440 secs
lola: 25337862 markings, 33608829 edges, 18201 markings/sec, 1445 secs
lola: 25427330 markings, 33732361 edges, 17894 markings/sec, 1450 secs
lola: 25514922 markings, 33858054 edges, 17518 markings/sec, 1455 secs
lola: 25598897 markings, 33986322 edges, 16795 markings/sec, 1460 secs
lola: 25689089 markings, 34109997 edges, 18038 markings/sec, 1465 secs
lola: 25780062 markings, 34233391 edges, 18195 markings/sec, 1470 secs
lola: 25870005 markings, 34357709 edges, 17989 markings/sec, 1475 secs
lola: 25961197 markings, 34479561 edges, 18238 markings/sec, 1480 secs
lola: 26054698 markings, 34578520 edges, 18700 markings/sec, 1485 secs
lola: 26145647 markings, 34676157 edges, 18190 markings/sec, 1490 secs
lola: 26240203 markings, 34777775 edges, 18911 markings/sec, 1495 secs
lola: 26334199 markings, 34878849 edges, 18799 markings/sec, 1500 secs
lola: 26429662 markings, 34981683 edges, 19093 markings/sec, 1505 secs
lola: 26527325 markings, 35088649 edges, 19533 markings/sec, 1510 secs
lola: 26624945 markings, 35194140 edges, 19524 markings/sec, 1515 secs
lola: 26722022 markings, 35299175 edges, 19415 markings/sec, 1520 secs
lola: 26820720 markings, 35406061 edges, 19740 markings/sec, 1525 secs
lola: 26917964 markings, 35511302 edges, 19449 markings/sec, 1530 secs
lola: 27014881 markings, 35616159 edges, 19383 markings/sec, 1535 secs
lola: 27112206 markings, 35721543 edges, 19465 markings/sec, 1540 secs
lola: 27210768 markings, 35828342 edges, 19712 markings/sec, 1545 secs
lola: 27309674 markings, 35935549 edges, 19781 markings/sec, 1550 secs
lola: 27408742 markings, 36044132 edges, 19814 markings/sec, 1555 secs
lola: 27507898 markings, 36151474 edges, 19831 markings/sec, 1560 secs
lola: 27606094 markings, 36257697 edges, 19639 markings/sec, 1565 secs
lola: 27704592 markings, 36364419 edges, 19700 markings/sec, 1570 secs
lola: 27804122 markings, 36472054 edges, 19906 markings/sec, 1575 secs
lola: 27902328 markings, 36578291 edges, 19641 markings/sec, 1580 secs
lola: 28000335 markings, 36684305 edges, 19601 markings/sec, 1585 secs
lola: 28098556 markings, 36790720 edges, 19644 markings/sec, 1590 secs
lola: 28196431 markings, 36896614 edges, 19575 markings/sec, 1595 secs
lola: 28296186 markings, 37004596 edges, 19951 markings/sec, 1600 secs
lola: 28395637 markings, 37112331 edges, 19890 markings/sec, 1605 secs
lola: 28493406 markings, 37219052 edges, 19554 markings/sec, 1610 secs
lola: 28591720 markings, 37326109 edges, 19663 markings/sec, 1615 secs
lola: 28689789 markings, 37432154 edges, 19614 markings/sec, 1620 secs
lola: 28787009 markings, 37537291 edges, 19444 markings/sec, 1625 secs
lola: 28884277 markings, 37642706 edges, 19454 markings/sec, 1630 secs
lola: 28983020 markings, 37749468 edges, 19749 markings/sec, 1635 secs
lola: 29080546 markings, 37854927 edges, 19505 markings/sec, 1640 secs
lola: 29177800 markings, 37960137 edges, 19451 markings/sec, 1645 secs
lola: 29274925 markings, 38065190 edges, 19425 markings/sec, 1650 secs
lola: 29371883 markings, 38170117 edges, 19392 markings/sec, 1655 secs
lola: 29469161 markings, 38275444 edges, 19456 markings/sec, 1660 secs
lola: 29567247 markings, 38381652 edges, 19617 markings/sec, 1665 secs
lola: 29665878 markings, 38488480 edges, 19726 markings/sec, 1670 secs
lola: 29764451 markings, 38595108 edges, 19715 markings/sec, 1675 secs
lola: 29862415 markings, 38702161 edges, 19593 markings/sec, 1680 secs
lola: 29958750 markings, 38806873 edges, 19267 markings/sec, 1685 secs
lola: 30054061 markings, 38910002 edges, 19062 markings/sec, 1690 secs
lola: 30153531 markings, 39017616 edges, 19894 markings/sec, 1695 secs
lola: 30252829 markings, 39125014 edges, 19860 markings/sec, 1700 secs
lola: 30352757 markings, 39233223 edges, 19986 markings/sec, 1705 secs
lola: 30453597 markings, 39342304 edges, 20168 markings/sec, 1710 secs
lola: 30553170 markings, 39449996 edges, 19915 markings/sec, 1715 secs
lola: 30652621 markings, 39557570 edges, 19890 markings/sec, 1720 secs
lola: 30751862 markings, 39664940 edges, 19848 markings/sec, 1725 secs
lola: 30851112 markings, 39772295 edges, 19850 markings/sec, 1730 secs
lola: 30950516 markings, 39879906 edges, 19881 markings/sec, 1735 secs
lola: 31049677 markings, 39987173 edges, 19832 markings/sec, 1740 secs
lola: 31150151 markings, 40095972 edges, 20095 markings/sec, 1745 secs
lola: 31250897 markings, 40205146 edges, 20149 markings/sec, 1750 secs
lola: 31351566 markings, 40313977 edges, 20134 markings/sec, 1755 secs
lola: 31451649 markings, 40423055 edges, 20017 markings/sec, 1760 secs
lola: 31552233 markings, 40532623 edges, 20117 markings/sec, 1765 secs
lola: 31648625 markings, 40649340 edges, 19278 markings/sec, 1770 secs
lola: 31728167 markings, 40760689 edges, 15908 markings/sec, 1775 secs
lola: 31814150 markings, 40876310 edges, 17197 markings/sec, 1780 secs
lola: 31901748 markings, 40993012 edges, 17520 markings/sec, 1785 secs
lola: 31988786 markings, 41108821 edges, 17408 markings/sec, 1790 secs
lola: 32077302 markings, 41226577 edges, 17703 markings/sec, 1795 secs
lola: 32168196 markings, 41347095 edges, 18179 markings/sec, 1800 secs
lola: 32259195 markings, 41466635 edges, 18200 markings/sec, 1805 secs
lola: 32349678 markings, 41584892 edges, 18097 markings/sec, 1810 secs
lola: 32441389 markings, 41704847 edges, 18342 markings/sec, 1815 secs
lola: 32532502 markings, 41823859 edges, 18223 markings/sec, 1820 secs
lola: 32622919 markings, 41942054 edges, 18083 markings/sec, 1825 secs
lola: 32713590 markings, 42060623 edges, 18134 markings/sec, 1830 secs
lola: 32804640 markings, 42179668 edges, 18210 markings/sec, 1835 secs
lola: 32896952 markings, 42300322 edges, 18462 markings/sec, 1840 secs
lola: 32989100 markings, 42421085 edges, 18430 markings/sec, 1845 secs
lola: 33081632 markings, 42542815 edges, 18506 markings/sec, 1850 secs
lola: 33172776 markings, 42661700 edges, 18229 markings/sec, 1855 secs
lola: 33262761 markings, 42779092 edges, 17997 markings/sec, 1860 secs
lola: 33353209 markings, 42897083 edges, 18090 markings/sec, 1865 secs
lola: 33444412 markings, 43015954 edges, 18241 markings/sec, 1870 secs
lola: 33534524 markings, 43133464 edges, 18022 markings/sec, 1875 secs
lola: 33624483 markings, 43250731 edges, 17992 markings/sec, 1880 secs
lola: 33714306 markings, 43367905 edges, 17965 markings/sec, 1885 secs
lola: 33804410 markings, 43485428 edges, 18021 markings/sec, 1890 secs
lola: 33895194 markings, 43603921 edges, 18157 markings/sec, 1895 secs
lola: 33986615 markings, 43723164 edges, 18284 markings/sec, 1900 secs
lola: 34077764 markings, 43842144 edges, 18230 markings/sec, 1905 secs
lola: 34168967 markings, 43962241 edges, 18241 markings/sec, 1910 secs
lola: 34260531 markings, 44081673 edges, 18313 markings/sec, 1915 secs
lola: 34351587 markings, 44200195 edges, 18211 markings/sec, 1920 secs
lola: 34442068 markings, 44318059 edges, 18096 markings/sec, 1925 secs
lola: 34532559 markings, 44435932 edges, 18098 markings/sec, 1930 secs
lola: 34624408 markings, 44555514 edges, 18370 markings/sec, 1935 secs
lola: 34715199 markings, 44673738 edges, 18158 markings/sec, 1940 secs
lola: 34805680 markings, 44791515 edges, 18096 markings/sec, 1945 secs
lola: 34896006 markings, 44909133 edges, 18065 markings/sec, 1950 secs
lola: 34986233 markings, 45026594 edges, 18045 markings/sec, 1955 secs
lola: 35076719 markings, 45144497 edges, 18097 markings/sec, 1960 secs
lola: 35167054 markings, 45262248 edges, 18067 markings/sec, 1965 secs
lola: 35259084 markings, 45382046 edges, 18406 markings/sec, 1970 secs
lola: 35350930 markings, 45501743 edges, 18369 markings/sec, 1975 secs
lola: 35442505 markings, 45621270 edges, 18315 markings/sec, 1980 secs
lola: 35533986 markings, 45741499 edges, 18296 markings/sec, 1985 secs
lola: 35625902 markings, 45861304 edges, 18383 markings/sec, 1990 secs
lola: 35717914 markings, 45980934 edges, 18402 markings/sec, 1995 secs
lola: 35808847 markings, 46099196 edges, 18187 markings/sec, 2000 secs
lola: 35899772 markings, 46217469 edges, 18185 markings/sec, 2005 secs
lola: 35991271 markings, 46336644 edges, 18300 markings/sec, 2010 secs
lola: 36083547 markings, 46456623 edges, 18455 markings/sec, 2015 secs
lola: 36174982 markings, 46575525 edges, 18287 markings/sec, 2020 secs
lola: 36265907 markings, 46693836 edges, 18185 markings/sec, 2025 secs
lola: 36356896 markings, 46812189 edges, 18198 markings/sec, 2030 secs
lola: 36447862 markings, 46930467 edges, 18193 markings/sec, 2035 secs
lola: 36538523 markings, 47048379 edges, 18132 markings/sec, 2040 secs
lola: 36629193 markings, 47166494 edges, 18134 markings/sec, 2045 secs
lola: 36719848 markings, 47284503 edges, 18131 markings/sec, 2050 secs
lola: 36812165 markings, 47404572 edges, 18463 markings/sec, 2055 secs
lola: 36904188 markings, 47524399 edges, 18405 markings/sec, 2060 secs
lola: 36996212 markings, 47644076 edges, 18405 markings/sec, 2065 secs
lola: 37087743 markings, 47763686 edges, 18306 markings/sec, 2070 secs
lola: 37179638 markings, 47884133 edges, 18379 markings/sec, 2075 secs
lola: 37271633 markings, 48003897 edges, 18399 markings/sec, 2080 secs
lola: 37353659 markings, 48115252 edges, 16405 markings/sec, 2085 secs
lola: 37435557 markings, 48228016 edges, 16380 markings/sec, 2090 secs
lola: 37521484 markings, 48342468 edges, 17185 markings/sec, 2095 secs
lola: 37606118 markings, 48455333 edges, 16927 markings/sec, 2100 secs
lola: 37692840 markings, 48570578 edges, 17344 markings/sec, 2105 secs
lola: 37781114 markings, 48687652 edges, 17655 markings/sec, 2110 secs
lola: 37870578 markings, 48805896 edges, 17893 markings/sec, 2115 secs
lola: 37959674 markings, 48922328 edges, 17819 markings/sec, 2120 secs
lola: 38049006 markings, 49039131 edges, 17866 markings/sec, 2125 secs
lola: 38139008 markings, 49156702 edges, 18000 markings/sec, 2130 secs
lola: 38227773 markings, 49272722 edges, 17753 markings/sec, 2135 secs
lola: 38316460 markings, 49388614 edges, 17737 markings/sec, 2140 secs
lola: 38405508 markings, 49505096 edges, 17810 markings/sec, 2145 secs
lola: 38495593 markings, 49622865 edges, 18017 markings/sec, 2150 secs
lola: 38586082 markings, 49741182 edges, 18098 markings/sec, 2155 secs
lola: 38676862 markings, 49860660 edges, 18156 markings/sec, 2160 secs
lola: 38767790 markings, 49979728 edges, 18186 markings/sec, 2165 secs
lola: 38858041 markings, 50097386 edges, 18050 markings/sec, 2170 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown 1 1 1 1 1 unknown 1 1 unknown
lola: memory consumption: 3222056 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p1831)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1831)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-04b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown 1 1 1 1 1 unknown 1 1 unknown
lola:
preliminary result: 1 1 1 1 1 unknown unknown 1 1 1 1 1 unknown 1 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 unknown unknown 1 1 1 1 1 unknown 1 1 unknown
lola: memory consumption: 24496 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 24496 KB
lola: time consumption: 3570 seconds

BK_STOP 1552282494663

--------------------
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-04b"
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-04b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-smll-155225030000025"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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