Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.....................
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 3.6K May 29 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 29 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 28 11:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 28 11:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 28 09:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 28 09:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 28 07:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.8K May 28 07:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.2K May 27 05:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 27 05:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.4K May 26 06:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 26 06:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 4 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 1.3M May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ASLink-PT-09b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145300155
=====================================================================

--------------------
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-09b-UpperBounds-00
FORMULA_NAME ASLink-PT-09b-UpperBounds-01
FORMULA_NAME ASLink-PT-09b-UpperBounds-02
FORMULA_NAME ASLink-PT-09b-UpperBounds-03
FORMULA_NAME ASLink-PT-09b-UpperBounds-04
FORMULA_NAME ASLink-PT-09b-UpperBounds-05
FORMULA_NAME ASLink-PT-09b-UpperBounds-06
FORMULA_NAME ASLink-PT-09b-UpperBounds-07
FORMULA_NAME ASLink-PT-09b-UpperBounds-08
FORMULA_NAME ASLink-PT-09b-UpperBounds-09
FORMULA_NAME ASLink-PT-09b-UpperBounds-10
FORMULA_NAME ASLink-PT-09b-UpperBounds-11
FORMULA_NAME ASLink-PT-09b-UpperBounds-12
FORMULA_NAME ASLink-PT-09b-UpperBounds-13
FORMULA_NAME ASLink-PT-09b-UpperBounds-14
FORMULA_NAME ASLink-PT-09b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1527921841362

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-09b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-09b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ ASLink-PT-09b @ 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: 8946/65536 symbol table entries, 2188 collisions
lola: preprocessing...
lola: Size of bit vector: 4014
lola: finding significant places
lola: 4014 places, 4932 transitions, 3620 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 6956 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-09b-UpperBounds.task
lola: MAX(p3915) : MAX(p1544) : MAX(p1176) : MAX(p1552) : MAX(p3910) : MAX(p1381) : MAX(p3802) : MAX(p379) : MAX(p115) : MAX(p3247) : MAX(p2142) : MAX(p3436) : MAX(p3247) : MAX(p564) : MAX(p497) : MAX(p3941)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3915)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3915)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 40 markings, 39 edges
lola: ========================================
check_solution: Variable C501 = -1 is below its lower bound 0
check_solution: Variable C1227 = -1 is below its lower bound 0
check_solution: Constraint R1 = 0 is below its lower bound 1
check_solution: Constraint R152 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)

FORMULA ASLink-PT-09b-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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-09b-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: 148 markings, 147 edges
lola: ========================================

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

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

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

FORMULA ASLink-PT-09b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1381)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1381)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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-09b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3802)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3802)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 52 markings, 51 edges

FORMULA ASLink-PT-09b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p379)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p379)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 30 markings, 29 edges

FORMULA ASLink-PT-09b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p115)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 57995 markings, 58238 edges, 11599 markings/sec, 30 secs
lola: 116560 markings, 117034 edges, 11713 markings/sec, 35 secs
lola: 174507 markings, 175243 edges, 11589 markings/sec, 40 secs
lola: 231896 markings, 232962 edges, 11478 markings/sec, 45 secs
lola: 289362 markings, 290672 edges, 11493 markings/sec, 50 secs
lola: 346414 markings, 347993 edges, 11410 markings/sec, 55 secs
lola: 403646 markings, 405491 edges, 11446 markings/sec, 60 secs
lola: 461417 markings, 463536 edges, 11554 markings/sec, 65 secs
lola: 518558 markings, 520959 edges, 11428 markings/sec, 70 secs
lola: 575902 markings, 578571 edges, 11469 markings/sec, 75 secs
lola: 633243 markings, 636177 edges, 11468 markings/sec, 80 secs
lola: 690226 markings, 693428 edges, 11397 markings/sec, 85 secs
lola: 747387 markings, 750832 edges, 11432 markings/sec, 90 secs
lola: 805019 markings, 808758 edges, 11526 markings/sec, 95 secs
lola: 862096 markings, 866119 edges, 11415 markings/sec, 100 secs
lola: 919507 markings, 923779 edges, 11482 markings/sec, 105 secs
lola: 975702 markings, 980182 edges, 11239 markings/sec, 110 secs
lola: 1025230 markings, 1029744 edges, 9906 markings/sec, 115 secs
lola: 1074794 markings, 1079372 edges, 9913 markings/sec, 120 secs
lola: 1124407 markings, 1129023 edges, 9923 markings/sec, 125 secs
lola: 1173991 markings, 1178646 edges, 9917 markings/sec, 130 secs
lola: 1223495 markings, 1228181 edges, 9901 markings/sec, 135 secs
lola: 1272955 markings, 1277672 edges, 9892 markings/sec, 140 secs
lola: 1322387 markings, 1327135 edges, 9886 markings/sec, 145 secs
lola: 1372002 markings, 1376783 edges, 9923 markings/sec, 150 secs
lola: 1421622 markings, 1426433 edges, 9924 markings/sec, 155 secs
lola: 1471284 markings, 1476126 edges, 9932 markings/sec, 160 secs
lola: 1520897 markings, 1525774 edges, 9923 markings/sec, 165 secs
lola: 1570486 markings, 1575396 edges, 9918 markings/sec, 170 secs
lola: 1620059 markings, 1625003 edges, 9915 markings/sec, 175 secs
lola: 1669618 markings, 1674599 edges, 9912 markings/sec, 180 secs
lola: 1719137 markings, 1724151 edges, 9904 markings/sec, 185 secs
lola: 1768593 markings, 1773642 edges, 9891 markings/sec, 190 secs
lola: 1817988 markings, 1823071 edges, 9879 markings/sec, 195 secs
lola: 1867309 markings, 1872423 edges, 9864 markings/sec, 200 secs
lola: 1916805 markings, 1921952 edges, 9899 markings/sec, 205 secs
lola: 1966084 markings, 1971265 edges, 9856 markings/sec, 210 secs
lola: 2015429 markings, 2020646 edges, 9869 markings/sec, 215 secs
lola: 2064857 markings, 2070110 edges, 9886 markings/sec, 220 secs
lola: 2114266 markings, 2119553 edges, 9882 markings/sec, 225 secs
lola: 2163734 markings, 2169056 edges, 9894 markings/sec, 230 secs
lola: 2213183 markings, 2218541 edges, 9890 markings/sec, 235 secs
lola: 2262614 markings, 2268007 edges, 9886 markings/sec, 240 secs
lola: 2312029 markings, 2317456 edges, 9883 markings/sec, 245 secs
lola: 2361389 markings, 2366854 edges, 9872 markings/sec, 250 secs
lola: 2410735 markings, 2416244 edges, 9869 markings/sec, 255 secs
lola: 2460011 markings, 2465564 edges, 9855 markings/sec, 260 secs
lola: 2509274 markings, 2514875 edges, 9853 markings/sec, 265 secs
lola: 2558741 markings, 2564384 edges, 9893 markings/sec, 270 secs
lola: 2608187 markings, 2613875 edges, 9889 markings/sec, 275 secs
lola: 2657676 markings, 2663408 edges, 9898 markings/sec, 280 secs
lola: 2707150 markings, 2712939 edges, 9895 markings/sec, 285 secs
lola: 2756673 markings, 2762512 edges, 9905 markings/sec, 290 secs
lola: 2806188 markings, 2812077 edges, 9903 markings/sec, 295 secs
lola: 2855674 markings, 2861614 edges, 9897 markings/sec, 300 secs
lola: 2905101 markings, 2911091 edges, 9885 markings/sec, 305 secs
lola: 2954494 markings, 2960534 edges, 9879 markings/sec, 310 secs
lola: 2997097 markings, 3003182 edges, 8521 markings/sec, 315 secs
lola: 3046358 markings, 3052490 edges, 9852 markings/sec, 320 secs
lola: 3095787 markings, 3101966 edges, 9886 markings/sec, 325 secs
lola: 3145024 markings, 3151255 edges, 9847 markings/sec, 330 secs
lola: 3194293 markings, 3200575 edges, 9854 markings/sec, 335 secs
lola: 3243663 markings, 3249995 edges, 9874 markings/sec, 340 secs
lola: 3293021 markings, 3299409 edges, 9872 markings/sec, 345 secs
lola: 3342416 markings, 3348854 edges, 9879 markings/sec, 350 secs
lola: 3391826 markings, 3398316 edges, 9882 markings/sec, 355 secs
lola: 3441198 markings, 3447737 edges, 9874 markings/sec, 360 secs
lola: 3490531 markings, 3497119 edges, 9867 markings/sec, 365 secs
lola: 3539926 markings, 3546562 edges, 9879 markings/sec, 370 secs
lola: 3589332 markings, 3596010 edges, 9881 markings/sec, 375 secs
lola: 3638649 markings, 3645371 edges, 9863 markings/sec, 380 secs
lola: 3687961 markings, 3694731 edges, 9862 markings/sec, 385 secs
lola: 3737390 markings, 3744203 edges, 9886 markings/sec, 390 secs
lola: 3786823 markings, 3793680 edges, 9887 markings/sec, 395 secs
lola: 3836288 markings, 3843190 edges, 9893 markings/sec, 400 secs
lola: 3885750 markings, 3892701 edges, 9892 markings/sec, 405 secs
lola: 3935251 markings, 3942259 edges, 9900 markings/sec, 410 secs
lola: 3984723 markings, 3991781 edges, 9894 markings/sec, 415 secs
lola: 4034198 markings, 4041307 edges, 9895 markings/sec, 420 secs
lola: 4083596 markings, 4090755 edges, 9880 markings/sec, 425 secs
lola: 4132988 markings, 4140197 edges, 9878 markings/sec, 430 secs
lola: 4182310 markings, 4189568 edges, 9864 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 674500 KB
lola: time consumption: 480 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3247)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3247)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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-09b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2142)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 76033 markings, 76363 edges, 15207 markings/sec, 30 secs
lola: 155072 markings, 155764 edges, 15808 markings/sec, 35 secs
lola: 233439 markings, 234490 edges, 15673 markings/sec, 40 secs
lola: 312391 markings, 313811 edges, 15790 markings/sec, 45 secs
lola: 390561 markings, 392330 edges, 15634 markings/sec, 50 secs
lola: 468022 markings, 470181 edges, 15492 markings/sec, 55 secs
lola: 546517 markings, 549021 edges, 15699 markings/sec, 60 secs
lola: 625204 markings, 628083 edges, 15737 markings/sec, 65 secs
lola: 703547 markings, 706814 edges, 15669 markings/sec, 70 secs
lola: 781280 markings, 784903 edges, 15547 markings/sec, 75 secs
lola: 859068 markings, 863035 edges, 15558 markings/sec, 80 secs
lola: 936828 markings, 941168 edges, 15552 markings/sec, 85 secs
lola: 1014112 markings, 1018812 edges, 15457 markings/sec, 90 secs
lola: 1090951 markings, 1095974 edges, 15368 markings/sec, 95 secs
lola: 1168451 markings, 1174082 edges, 15500 markings/sec, 100 secs
lola: 1249523 markings, 1257507 edges, 16214 markings/sec, 105 secs
lola: 1327289 markings, 1335617 edges, 15553 markings/sec, 110 secs
lola: 1407277 markings, 1417198 edges, 15998 markings/sec, 115 secs
lola: 1486003 markings, 1497010 edges, 15745 markings/sec, 120 secs
lola: 1563236 markings, 1574597 edges, 15447 markings/sec, 125 secs
lola: 1643371 markings, 1656759 edges, 16027 markings/sec, 130 secs
lola: 1721823 markings, 1735998 edges, 15690 markings/sec, 135 secs
lola: 1800173 markings, 1815226 edges, 15670 markings/sec, 140 secs
lola: 1880212 markings, 1897035 edges, 16008 markings/sec, 145 secs
lola: 1957421 markings, 1974600 edges, 15442 markings/sec, 150 secs
lola: 2034735 markings, 2052258 edges, 15463 markings/sec, 155 secs
lola: 2112116 markings, 2130033 edges, 15476 markings/sec, 160 secs
lola: 2191913 markings, 2211482 edges, 15959 markings/sec, 165 secs
lola: 2270378 markings, 2291303 edges, 15693 markings/sec, 170 secs
lola: 2348063 markings, 2369590 edges, 15537 markings/sec, 175 secs
lola: 2428643 markings, 2452241 edges, 16116 markings/sec, 180 secs
lola: 2505653 markings, 2529576 edges, 15402 markings/sec, 185 secs
lola: 2584072 markings, 2609395 edges, 15684 markings/sec, 190 secs
lola: 2663789 markings, 2690555 edges, 15943 markings/sec, 195 secs
lola: 2740730 markings, 2767841 edges, 15388 markings/sec, 200 secs
lola: 2820667 markings, 2849713 edges, 15987 markings/sec, 205 secs
lola: 2898379 markings, 2928153 edges, 15542 markings/sec, 210 secs
lola: 2976095 markings, 3006535 edges, 15543 markings/sec, 215 secs
lola: 3053552 markings, 3084361 edges, 15491 markings/sec, 220 secs
lola: 3134771 markings, 3167594 edges, 16244 markings/sec, 225 secs
lola: 3213480 markings, 3247192 edges, 15742 markings/sec, 230 secs
lola: 3291940 markings, 3326521 edges, 15692 markings/sec, 235 secs
lola: 3372273 markings, 3408632 edges, 16067 markings/sec, 240 secs
lola: 3449470 markings, 3486188 edges, 15439 markings/sec, 245 secs
lola: 3528762 markings, 3567163 edges, 15858 markings/sec, 250 secs
lola: 3607944 markings, 3647492 edges, 15836 markings/sec, 255 secs
lola: 3684964 markings, 3724863 edges, 15404 markings/sec, 260 secs
lola: 3765907 markings, 3808138 edges, 16189 markings/sec, 265 secs
lola: 3843033 markings, 3885591 edges, 15425 markings/sec, 270 secs
lola: 3920359 markings, 3963271 edges, 15465 markings/sec, 275 secs
lola: 3998217 markings, 4041506 edges, 15572 markings/sec, 280 secs
lola: 4078723 markings, 4123697 edges, 16101 markings/sec, 285 secs
lola: 4159431 markings, 4207225 edges, 16142 markings/sec, 290 secs
lola: 4239861 markings, 4290349 edges, 16086 markings/sec, 295 secs
lola: 4316799 markings, 4367642 edges, 15388 markings/sec, 300 secs
lola: 4395074 markings, 4446494 edges, 15655 markings/sec, 305 secs
lola: 4476875 markings, 4531149 edges, 16360 markings/sec, 310 secs
lola: 4557001 markings, 4613250 edges, 16025 markings/sec, 315 secs
lola: 4635309 markings, 4692223 edges, 15662 markings/sec, 320 secs
lola: 4712745 markings, 4770013 edges, 15487 markings/sec, 325 secs
lola: 4794035 markings, 4854188 edges, 16258 markings/sec, 330 secs
lola: 4871592 markings, 4932248 edges, 15511 markings/sec, 335 secs
lola: 4950476 markings, 5012822 edges, 15777 markings/sec, 340 secs
lola: 5027381 markings, 5090241 edges, 15381 markings/sec, 345 secs
lola: 5106013 markings, 5170822 edges, 15726 markings/sec, 350 secs
lola: 5185961 markings, 5252133 edges, 15990 markings/sec, 355 secs
lola: 5266189 markings, 5335009 edges, 16046 markings/sec, 360 secs
lola: 5345695 markings, 5417034 edges, 15901 markings/sec, 365 secs
lola: 5426067 markings, 5500649 edges, 16074 markings/sec, 370 secs
lola: 5504405 markings, 5581254 edges, 15668 markings/sec, 375 secs
lola: 5583802 markings, 5662839 edges, 15879 markings/sec, 380 secs
lola: 5660750 markings, 5740141 edges, 15390 markings/sec, 385 secs
lola: 5740442 markings, 5821884 edges, 15938 markings/sec, 390 secs
lola: 5817903 markings, 5900934 edges, 15492 markings/sec, 395 secs
lola: 5897037 markings, 5981323 edges, 15827 markings/sec, 400 secs
lola: 5979429 markings, 6068016 edges, 16478 markings/sec, 405 secs
lola: 6057699 markings, 6147789 edges, 15654 markings/sec, 410 secs
lola: 6136302 markings, 6227432 edges, 15721 markings/sec, 415 secs
lola: 6216534 markings, 6310498 edges, 16046 markings/sec, 420 secs
lola: 6292899 markings, 6387279 edges, 15273 markings/sec, 425 secs
lola: 6371862 markings, 6468053 edges, 15793 markings/sec, 430 secs
lola: 6453130 markings, 6552587 edges, 16254 markings/sec, 435 secs
lola: 6533496 markings, 6636283 edges, 16073 markings/sec, 440 secs
lola: 6615837 markings, 6721787 edges, 16468 markings/sec, 445 secs
lola: 6696962 markings, 6806988 edges, 16225 markings/sec, 450 secs
lola: 6773904 markings, 6884633 edges, 15388 markings/sec, 455 secs
lola: 6850743 markings, 6962015 edges, 15368 markings/sec, 460 secs
lola: 6927981 markings, 7039786 edges, 15448 markings/sec, 465 secs
lola: 7007837 markings, 7122020 edges, 15971 markings/sec, 470 secs
lola: 7084717 markings, 7199403 edges, 15376 markings/sec, 475 secs
lola: 7163971 markings, 7281071 edges, 15851 markings/sec, 480 secs
lola: 7245032 markings, 7365766 edges, 16212 markings/sec, 485 secs
lola: 7325910 markings, 7449787 edges, 16176 markings/sec, 490 secs
lola: 7393525 markings, 7532060 edges, 13523 markings/sec, 495 secs
lola: 7453932 markings, 7603406 edges, 12081 markings/sec, 500 secs
lola: 7504565 markings, 7686682 edges, 10127 markings/sec, 505 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2160092 KB
lola: time consumption: 996 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3436)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3436)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 23516 markings, 55232 edges, 4703 markings/sec, 0 secs
lola: 61474 markings, 151566 edges, 7592 markings/sec, 5 secs
lola: 98689 markings, 247723 edges, 7443 markings/sec, 10 secs
lola: 136491 markings, 344332 edges, 7560 markings/sec, 15 secs
lola: 173788 markings, 441305 edges, 7459 markings/sec, 20 secs
lola: 211021 markings, 537731 edges, 7447 markings/sec, 25 secs
lola: 236785 markings, 638920 edges, 5153 markings/sec, 30 secs
lola: 275592 markings, 733962 edges, 7761 markings/sec, 35 secs
lola: 310145 markings, 832069 edges, 6911 markings/sec, 40 secs
lola: 347534 markings, 928452 edges, 7478 markings/sec, 45 secs
lola: 384324 markings, 1024072 edges, 7358 markings/sec, 50 secs
lola: 417591 markings, 1120782 edges, 6653 markings/sec, 55 secs
lola: 454283 markings, 1216001 edges, 7338 markings/sec, 60 secs
lola: 490752 markings, 1311058 edges, 7294 markings/sec, 65 secs
lola: 529892 markings, 1396805 edges, 7828 markings/sec, 70 secs
lola: 565939 markings, 1490796 edges, 7209 markings/sec, 75 secs
lola: 596267 markings, 1596445 edges, 6066 markings/sec, 80 secs
lola: 629324 markings, 1694108 edges, 6611 markings/sec, 85 secs
lola: 665628 markings, 1790384 edges, 7261 markings/sec, 90 secs
lola: 701946 markings, 1885586 edges, 7264 markings/sec, 95 secs
lola: 739883 markings, 1973561 edges, 7587 markings/sec, 100 secs
lola: 775549 markings, 2068020 edges, 7133 markings/sec, 105 secs
lola: 805634 markings, 2174005 edges, 6017 markings/sec, 110 secs
lola: 838361 markings, 2273559 edges, 6545 markings/sec, 115 secs
lola: 874406 markings, 2369455 edges, 7209 markings/sec, 120 secs
lola: 910344 markings, 2464946 edges, 7188 markings/sec, 125 secs
lola: 948196 markings, 2553580 edges, 7570 markings/sec, 130 secs
lola: 984042 markings, 2647757 edges, 7169 markings/sec, 135 secs
lola: 1014685 markings, 2752704 edges, 6129 markings/sec, 140 secs
lola: 1047240 markings, 2852271 edges, 6511 markings/sec, 145 secs
lola: 1082793 markings, 2948482 edges, 7111 markings/sec, 150 secs
lola: 1119563 markings, 3043010 edges, 7354 markings/sec, 155 secs
lola: 1158344 markings, 3130088 edges, 7756 markings/sec, 160 secs
lola: 1194622 markings, 3223275 edges, 7256 markings/sec, 165 secs
lola: 1225886 markings, 3327056 edges, 6253 markings/sec, 170 secs
lola: 1258274 markings, 3426792 edges, 6478 markings/sec, 175 secs
lola: 1292893 markings, 3524542 edges, 6924 markings/sec, 180 secs
lola: 1329110 markings, 3620324 edges, 7243 markings/sec, 185 secs
lola: 1367504 markings, 3708249 edges, 7679 markings/sec, 190 secs
lola: 1403234 markings, 3802350 edges, 7146 markings/sec, 195 secs
lola: 1434352 markings, 3906297 edges, 6224 markings/sec, 200 secs
lola: 1465028 markings, 4008968 edges, 6135 markings/sec, 205 secs
lola: 1500735 markings, 4106064 edges, 7141 markings/sec, 210 secs
lola: 1536729 markings, 4201966 edges, 7199 markings/sec, 215 secs
lola: 1574563 markings, 4290993 edges, 7567 markings/sec, 220 secs
lola: 1610498 markings, 4384659 edges, 7187 markings/sec, 225 secs
lola: 1642298 markings, 4487343 edges, 6360 markings/sec, 230 secs
lola: 1672401 markings, 4591513 edges, 6021 markings/sec, 235 secs
lola: 1706938 markings, 4681157 edges, 6907 markings/sec, 240 secs
lola: 1741274 markings, 4776390 edges, 6867 markings/sec, 245 secs
lola: 1779560 markings, 4863980 edges, 7657 markings/sec, 250 secs
lola: 1816562 markings, 4953083 edges, 7400 markings/sec, 255 secs
lola: 1849642 markings, 5050848 edges, 6616 markings/sec, 260 secs
lola: 1878160 markings, 5154698 edges, 5704 markings/sec, 265 secs
lola: 1913987 markings, 5249180 edges, 7165 markings/sec, 270 secs
lola: 1949605 markings, 5343696 edges, 7124 markings/sec, 275 secs
lola: 1984851 markings, 5436103 edges, 7049 markings/sec, 280 secs
lola: 2022387 markings, 5523948 edges, 7507 markings/sec, 285 secs
lola: 2056041 markings, 5620277 edges, 6731 markings/sec, 290 secs
lola: 2085089 markings, 5726275 edges, 5810 markings/sec, 295 secs
lola: 2117848 markings, 5822986 edges, 6552 markings/sec, 300 secs
lola: 2153764 markings, 5917186 edges, 7183 markings/sec, 305 secs
lola: 2188900 markings, 6012579 edges, 7027 markings/sec, 310 secs
lola: 2226274 markings, 6099047 edges, 7475 markings/sec, 315 secs
lola: 2261239 markings, 6192508 edges, 6993 markings/sec, 320 secs
lola: 2290841 markings, 6297460 edges, 5920 markings/sec, 325 secs
lola: 2323319 markings, 6397049 edges, 6496 markings/sec, 330 secs
lola: 2359961 markings, 6491569 edges, 7328 markings/sec, 335 secs
lola: 2392888 markings, 6589231 edges, 6585 markings/sec, 340 secs
lola: 2430345 markings, 6682827 edges, 7491 markings/sec, 345 secs
lola: 2462946 markings, 6780359 edges, 6520 markings/sec, 350 secs
lola: 2498456 markings, 6874600 edges, 7102 markings/sec, 355 secs
lola: 2532418 markings, 6970795 edges, 6792 markings/sec, 360 secs
lola: 2569501 markings, 7060250 edges, 7417 markings/sec, 365 secs
lola: 2606311 markings, 7149405 edges, 7362 markings/sec, 370 secs
lola: 2639463 markings, 7246763 edges, 6630 markings/sec, 375 secs
lola: 2666933 markings, 7352045 edges, 5494 markings/sec, 380 secs
lola: 2702862 markings, 7447134 edges, 7186 markings/sec, 385 secs
lola: 2737893 markings, 7541671 edges, 7006 markings/sec, 390 secs
lola: 2770837 markings, 7639095 edges, 6589 markings/sec, 395 secs
lola: 2809055 markings, 7725189 edges, 7644 markings/sec, 400 secs
lola: 2843099 markings, 7820239 edges, 6809 markings/sec, 405 secs
lola: 2871866 markings, 7924979 edges, 5753 markings/sec, 410 secs
lola: 2901458 markings, 8016641 edges, 5918 markings/sec, 415 secs
lola: 2933686 markings, 8109986 edges, 6446 markings/sec, 420 secs
lola: 2969060 markings, 8205533 edges, 7075 markings/sec, 425 secs
lola: 3006258 markings, 8292931 edges, 7440 markings/sec, 430 secs
lola: 3041081 markings, 8386331 edges, 6965 markings/sec, 435 secs
lola: 3071752 markings, 8488907 edges, 6134 markings/sec, 440 secs
lola: 3101241 markings, 8591967 edges, 5898 markings/sec, 445 secs
lola: 3136785 markings, 8685912 edges, 7109 markings/sec, 450 secs
lola: 3170557 markings, 8782298 edges, 6754 markings/sec, 455 secs
lola: 3208011 markings, 8871296 edges, 7491 markings/sec, 460 secs
lola: 3244364 markings, 8961483 edges, 7271 markings/sec, 465 secs
lola: 3277107 markings, 9059722 edges, 6549 markings/sec, 470 secs
lola: 3303857 markings, 9165910 edges, 5350 markings/sec, 475 secs
lola: 3340126 markings, 9261074 edges, 7254 markings/sec, 480 secs
lola: 3375252 markings, 9355428 edges, 7025 markings/sec, 485 secs
lola: 3408194 markings, 9452675 edges, 6588 markings/sec, 490 secs
lola: 3446186 markings, 9539391 edges, 7598 markings/sec, 495 secs
lola: 3480025 markings, 9634945 edges, 6768 markings/sec, 500 secs
lola: 3508955 markings, 9741051 edges, 5786 markings/sec, 505 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 283792 KB
lola: time consumption: 1510 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 515 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3247)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3247)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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-09b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 686 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p564)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p564)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 587 markings, 586 edges

FORMULA ASLink-PT-09b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1026 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p497)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p497)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 527 markings, 526 edges
lola:
FORMULA ASLink-PT-09b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 15 will run for 2049 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3941)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3941)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 24 markings, 23 edges

FORMULA ASLink-PT-09b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p115)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file ASLink-PT-09b-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: 56215 markings, 56454 edges, 11243 markings/sec, 30 secs
lola: 112855 markings, 113322 edges, 11328 markings/sec, 35 secs
lola: 168956 markings, 169678 edges, 11220 markings/sec, 40 secs
lola: 224918 markings, 225929 edges, 11192 markings/sec, 45 secs
lola: 280352 markings, 281639 edges, 11087 markings/sec, 50 secs
lola: 335953 markings, 337467 edges, 11120 markings/sec, 55 secs
lola: 391194 markings, 392974 edges, 11048 markings/sec, 60 secs
lola: 447204 markings, 449252 edges, 11202 markings/sec, 65 secs
lola: 502527 markings, 504853 edges, 11065 markings/sec, 70 secs
lola: 558181 markings, 560765 edges, 11131 markings/sec, 75 secs
lola: 613596 markings, 616456 edges, 11083 markings/sec, 80 secs
lola: 669140 markings, 672230 edges, 11109 markings/sec, 85 secs
lola: 724320 markings, 727671 edges, 11036 markings/sec, 90 secs
lola: 779760 markings, 783372 edges, 11088 markings/sec, 95 secs
lola: 835558 markings, 839453 edges, 11160 markings/sec, 100 secs
lola: 891239 markings, 895397 edges, 11136 markings/sec, 105 secs
lola: 946613 markings, 951014 edges, 11075 markings/sec, 110 secs
lola: 997629 markings, 1002125 edges, 10203 markings/sec, 115 secs
lola: 1045384 markings, 1049928 edges, 9551 markings/sec, 120 secs
lola: 1093284 markings, 1097873 edges, 9580 markings/sec, 125 secs
lola: 1141149 markings, 1145775 edges, 9573 markings/sec, 130 secs
lola: 1188982 markings, 1193646 edges, 9567 markings/sec, 135 secs
lola: 1236765 markings, 1241460 edges, 9557 markings/sec, 140 secs
lola: 1284478 markings, 1289202 edges, 9543 markings/sec, 145 secs
lola: 1332191 markings, 1336946 edges, 9543 markings/sec, 150 secs
lola: 1380098 markings, 1384883 edges, 9581 markings/sec, 155 secs
lola: 1428008 markings, 1432824 edges, 9582 markings/sec, 160 secs
lola: 1475935 markings, 1480781 edges, 9585 markings/sec, 165 secs
lola: 1523808 markings, 1528687 edges, 9575 markings/sec, 170 secs
lola: 1571679 markings, 1576590 edges, 9574 markings/sec, 175 secs
lola: 1619518 markings, 1624462 edges, 9568 markings/sec, 180 secs
lola: 1667331 markings, 1672308 edges, 9563 markings/sec, 185 secs
lola: 1715108 markings, 1720118 edges, 9555 markings/sec, 190 secs
lola: 1762826 markings, 1767870 edges, 9544 markings/sec, 195 secs
lola: 1810531 markings, 1815608 edges, 9541 markings/sec, 200 secs
lola: 1858070 markings, 1863179 edges, 9508 markings/sec, 205 secs
lola: 1905843 markings, 1910982 edges, 9555 markings/sec, 210 secs
lola: 1953451 markings, 1958622 edges, 9522 markings/sec, 215 secs
lola: 2001087 markings, 2006295 edges, 9527 markings/sec, 220 secs
lola: 2048800 markings, 2054040 edges, 9543 markings/sec, 225 secs
lola: 2096481 markings, 2101756 edges, 9536 markings/sec, 230 secs
lola: 2144225 markings, 2149534 edges, 9549 markings/sec, 235 secs
lola: 2191940 markings, 2197284 edges, 9543 markings/sec, 240 secs
lola: 2239680 markings, 2245058 edges, 9548 markings/sec, 245 secs
lola: 2287356 markings, 2292766 edges, 9535 markings/sec, 250 secs
lola: 2335062 markings, 2340505 edges, 9541 markings/sec, 255 secs
lola: 2382733 markings, 2388221 edges, 9534 markings/sec, 260 secs
lola: 2430345 markings, 2435876 edges, 9522 markings/sec, 265 secs
lola: 2477880 markings, 2483452 edges, 9507 markings/sec, 270 secs
lola: 2525511 markings, 2531126 edges, 9526 markings/sec, 275 secs
lola: 2573216 markings, 2578873 edges, 9541 markings/sec, 280 secs
lola: 2620930 markings, 2626630 edges, 9543 markings/sec, 285 secs
lola: 2666959 markings, 2672704 edges, 9206 markings/sec, 290 secs
lola: 2714725 markings, 2720519 edges, 9553 markings/sec, 295 secs
lola: 2762551 markings, 2768394 edges, 9565 markings/sec, 300 secs
lola: 2810324 markings, 2816217 edges, 9555 markings/sec, 305 secs
lola: 2858077 markings, 2864018 edges, 9551 markings/sec, 310 secs
lola: 2905788 markings, 2911778 edges, 9542 markings/sec, 315 secs
lola: 2953437 markings, 2959476 edges, 9530 markings/sec, 320 secs
lola: 3001034 markings, 3007123 edges, 9519 markings/sec, 325 secs
lola: 3048580 markings, 3054713 edges, 9509 markings/sec, 330 secs
lola: 3096275 markings, 3102455 edges, 9539 markings/sec, 335 secs
lola: 3143808 markings, 3150037 edges, 9507 markings/sec, 340 secs
lola: 3191374 markings, 3197654 edges, 9513 markings/sec, 345 secs
lola: 3239032 markings, 3245361 edges, 9532 markings/sec, 350 secs
lola: 3286672 markings, 3293050 edges, 9528 markings/sec, 355 secs
lola: 3334374 markings, 3340800 edges, 9540 markings/sec, 360 secs
lola: 3382066 markings, 3388543 edges, 9538 markings/sec, 365 secs
lola: 3429707 markings, 3436234 edges, 9528 markings/sec, 370 secs
lola: 3477277 markings, 3483851 edges, 9514 markings/sec, 375 secs
lola: 3524880 markings, 3531502 edges, 9521 markings/sec, 380 secs
lola: 3572414 markings, 3579079 edges, 9507 markings/sec, 385 secs
lola: 3619953 markings, 3626660 edges, 9508 markings/sec, 390 secs
lola: 3667489 markings, 3674238 edges, 9507 markings/sec, 395 secs
lola: 3715109 markings, 3721899 edges, 9524 markings/sec, 400 secs
lola: 3762744 markings, 3769578 edges, 9527 markings/sec, 405 secs
lola: 3810396 markings, 3817277 edges, 9530 markings/sec, 410 secs
lola: 3857745 markings, 3864673 edges, 9470 markings/sec, 415 secs
lola: 3904856 markings, 3911832 edges, 9422 markings/sec, 420 secs
lola: 3952260 markings, 3959285 edges, 9481 markings/sec, 425 secs
lola: 3999982 markings, 4007056 edges, 9544 markings/sec, 430 secs
lola: 4047486 markings, 4054610 edges, 9501 markings/sec, 435 secs
lola: 4094763 markings, 4101935 edges, 9455 markings/sec, 440 secs
lola: 4142081 markings, 4149302 edges, 9464 markings/sec, 445 secs
lola: 4189384 markings, 4196653 edges, 9461 markings/sec, 450 secs
lola: 4236633 markings, 4243947 edges, 9450 markings/sec, 455 secs
lola: 4283998 markings, 4291359 edges, 9473 markings/sec, 460 secs
lola: 4331242 markings, 4338653 edges, 9449 markings/sec, 465 secs
lola: 4378827 markings, 4386288 edges, 9517 markings/sec, 470 secs
lola: 4426478 markings, 4433988 edges, 9530 markings/sec, 475 secs
lola: 4474163 markings, 4481723 edges, 9537 markings/sec, 480 secs
lola: 4521698 markings, 4529307 edges, 9507 markings/sec, 485 secs
lola: 4569003 markings, 4576662 edges, 9461 markings/sec, 490 secs
lola: 4616374 markings, 4624082 edges, 9474 markings/sec, 495 secs
lola: 4664009 markings, 4671766 edges, 9527 markings/sec, 500 secs
lola: 4711695 markings, 4719497 edges, 9537 markings/sec, 505 secs
lola: 4759337 markings, 4767172 edges, 9528 markings/sec, 510 secs
lola: 4806926 markings, 4814794 edges, 9518 markings/sec, 515 secs
lola: 4854309 markings, 4862206 edges, 9477 markings/sec, 520 secs
lola: 4901521 markings, 4909448 edges, 9442 markings/sec, 525 secs
lola: 4948670 markings, 4956637 edges, 9430 markings/sec, 530 secs
lola: 4995937 markings, 5003943 edges, 9453 markings/sec, 535 secs
lola: 5043216 markings, 5051268 edges, 9456 markings/sec, 540 secs
lola: 5090751 markings, 5098846 edges, 9507 markings/sec, 545 secs
lola: 5138252 markings, 5146389 edges, 9500 markings/sec, 550 secs
lola: 5185890 markings, 5194069 edges, 9528 markings/sec, 555 secs
lola: 5233452 markings, 5241692 edges, 9512 markings/sec, 560 secs
lola: 5281059 markings, 5289352 edges, 9521 markings/sec, 565 secs
lola: 5327960 markings, 5336297 edges, 9380 markings/sec, 570 secs
lola: 5376372 markings, 5384752 edges, 9682 markings/sec, 575 secs
lola: 5424579 markings, 5433002 edges, 9641 markings/sec, 580 secs
lola: 5472805 markings, 5481270 edges, 9645 markings/sec, 585 secs
lola: 5521397 markings, 5529925 edges, 9718 markings/sec, 590 secs
lola: 5570189 markings, 5578771 edges, 9758 markings/sec, 595 secs
lola: 5615995 markings, 5624609 edges, 9161 markings/sec, 600 secs
lola: 5663559 markings, 5672203 edges, 9513 markings/sec, 605 secs
lola: 5710423 markings, 5719098 edges, 9373 markings/sec, 610 secs
lola: 5757417 markings, 5766121 edges, 9399 markings/sec, 615 secs
lola: 5802676 markings, 5811417 edges, 9052 markings/sec, 620 secs
lola: 5847912 markings, 5856686 edges, 9047 markings/sec, 625 secs
lola: 5894249 markings, 5903070 edges, 9267 markings/sec, 630 secs
lola: 5940994 markings, 5949857 edges, 9349 markings/sec, 635 secs
lola: 5986041 markings, 5994945 edges, 9009 markings/sec, 640 secs
lola: 6031352 markings, 6040297 edges, 9062 markings/sec, 645 secs
lola: 6076584 markings, 6085585 edges, 9046 markings/sec, 650 secs
lola: 6121616 markings, 6130670 edges, 9006 markings/sec, 655 secs
lola: 6166862 markings, 6175960 edges, 9049 markings/sec, 660 secs
lola: 6212050 markings, 6221190 edges, 9038 markings/sec, 665 secs
lola: 6257242 markings, 6266418 edges, 9038 markings/sec, 670 secs
lola: 6302642 markings, 6311859 edges, 9080 markings/sec, 675 secs
lola: 6349485 markings, 6358745 edges, 9369 markings/sec, 680 secs
lola: 6396357 markings, 6405683 edges, 9374 markings/sec, 685 secs
lola: 6443435 markings, 6452831 edges, 9416 markings/sec, 690 secs
lola: 6490432 markings, 6499893 edges, 9399 markings/sec, 695 secs
lola: 6537335 markings, 6546843 edges, 9381 markings/sec, 700 secs
lola: 6584209 markings, 6593774 edges, 9375 markings/sec, 705 secs
lola: 6630999 markings, 6640620 edges, 9358 markings/sec, 710 secs
lola: 6677883 markings, 6687557 edges, 9377 markings/sec, 715 secs
lola: 6724910 markings, 6734638 edges, 9405 markings/sec, 720 secs
lola: 6771946 markings, 6781738 edges, 9407 markings/sec, 725 secs
lola: 6819056 markings, 6828905 edges, 9422 markings/sec, 730 secs
lola: 6866113 markings, 6876023 edges, 9411 markings/sec, 735 secs
lola: 6913247 markings, 6923217 edges, 9427 markings/sec, 740 secs
lola: 6960394 markings, 6970426 edges, 9429 markings/sec, 745 secs
lola: 7007537 markings, 7017629 edges, 9429 markings/sec, 750 secs
lola: 7054644 markings, 7064796 edges, 9421 markings/sec, 755 secs
lola: 7101669 markings, 7111881 edges, 9405 markings/sec, 760 secs
lola: 7148684 markings, 7158956 edges, 9403 markings/sec, 765 secs
lola: 7195506 markings, 7205835 edges, 9364 markings/sec, 770 secs
lola: 7242549 markings, 7252925 edges, 9409 markings/sec, 775 secs
lola: 7289485 markings, 7299922 edges, 9387 markings/sec, 780 secs
lola: 7336419 markings, 7346918 edges, 9387 markings/sec, 785 secs
lola: 7383387 markings, 7393945 edges, 9394 markings/sec, 790 secs
lola: 7430402 markings, 7441020 edges, 9403 markings/sec, 795 secs
lola: 7477482 markings, 7488161 edges, 9416 markings/sec, 800 secs
lola: 7524520 markings, 7535260 edges, 9408 markings/sec, 805 secs
lola: 7571572 markings, 7582372 edges, 9410 markings/sec, 810 secs
lola: 7618587 markings, 7629448 edges, 9403 markings/sec, 815 secs
lola: 7665608 markings, 7676528 edges, 9404 markings/sec, 820 secs
lola: 7712534 markings, 7723521 edges, 9385 markings/sec, 825 secs
lola: 7759448 markings, 7770504 edges, 9383 markings/sec, 830 secs
lola: 7806254 markings, 7817379 edges, 9361 markings/sec, 835 secs
lola: 7853122 markings, 7864312 edges, 9374 markings/sec, 840 secs
lola: 7900142 markings, 7911398 edges, 9404 markings/sec, 845 secs
lola: 7947180 markings, 7958505 edges, 9408 markings/sec, 850 secs
lola: 7994269 markings, 8005661 edges, 9418 markings/sec, 855 secs
lola: 8041321 markings, 8052789 edges, 9410 markings/sec, 860 secs
lola: 8088383 markings, 8099929 edges, 9412 markings/sec, 865 secs
lola: 8135427 markings, 8147050 edges, 9409 markings/sec, 870 secs
lola: 8182473 markings, 8194171 edges, 9409 markings/sec, 875 secs
lola: 8229497 markings, 8241272 edges, 9405 markings/sec, 880 secs
lola: 8276426 markings, 8288278 edges, 9386 markings/sec, 885 secs
lola: 8323345 markings, 8335273 edges, 9384 markings/sec, 890 secs
lola: 8370093 markings, 8382093 edges, 9350 markings/sec, 895 secs
lola: 8417056 markings, 8429128 edges, 9393 markings/sec, 900 secs
lola: 8463899 markings, 8476047 edges, 9369 markings/sec, 905 secs
lola: 8510673 markings, 8522899 edges, 9355 markings/sec, 910 secs
lola: 8557561 markings, 8569863 edges, 9378 markings/sec, 915 secs
lola: 8604475 markings, 8616853 edges, 9383 markings/sec, 920 secs
lola: 8651487 markings, 8663939 edges, 9402 markings/sec, 925 secs
lola: 8698865 markings, 8711395 edges, 9476 markings/sec, 930 secs
lola: 8746234 markings, 8758840 edges, 9474 markings/sec, 935 secs
lola: 8793635 markings, 8806315 edges, 9480 markings/sec, 940 secs
lola: 8841158 markings, 8853913 edges, 9505 markings/sec, 945 secs
lola: 8888408 markings, 8901234 edges, 9450 markings/sec, 950 secs
lola: 8935628 markings, 8948523 edges, 9444 markings/sec, 955 secs
lola: 8982758 markings, 8995720 edges, 9426 markings/sec, 960 secs
lola: 9029907 markings, 9042935 edges, 9430 markings/sec, 965 secs
lola: 9077198 markings, 9090292 edges, 9458 markings/sec, 970 secs
lola: 9124514 markings, 9137678 edges, 9463 markings/sec, 975 secs
lola: 9171869 markings, 9185102 edges, 9471 markings/sec, 980 secs
lola: 9219209 markings, 9232517 edges, 9468 markings/sec, 985 secs
lola: 9266573 markings, 9279959 edges, 9473 markings/sec, 990 secs
lola: 9313947 markings, 9327409 edges, 9475 markings/sec, 995 secs
lola: 9361292 markings, 9374832 edges, 9469 markings/sec, 1000 secs
lola: 9408631 markings, 9422248 edges, 9468 markings/sec, 1005 secs
lola: 9455863 markings, 9469556 edges, 9446 markings/sec, 1010 secs
lola: 9503105 markings, 9516873 edges, 9448 markings/sec, 1015 secs
lola: 9550204 markings, 9564045 edges, 9420 markings/sec, 1020 secs
lola: 9597475 markings, 9611388 edges, 9454 markings/sec, 1025 secs
lola: 9644707 markings, 9658696 edges, 9446 markings/sec, 1030 secs
lola: 9692130 markings, 9706198 edges, 9485 markings/sec, 1035 secs
lola: 9739344 markings, 9753488 edges, 9443 markings/sec, 1040 secs
lola: 9786621 markings, 9800841 edges, 9455 markings/sec, 1045 secs
lola: 9833882 markings, 9848177 edges, 9452 markings/sec, 1050 secs
lola: 9881131 markings, 9895502 edges, 9450 markings/sec, 1055 secs
lola: 9928399 markings, 9942848 edges, 9454 markings/sec, 1060 secs
lola: 9975622 markings, 9990146 edges, 9445 markings/sec, 1065 secs
lola: 10022820 markings, 10037419 edges, 9440 markings/sec, 1070 secs
lola: 10070058 markings, 10084729 edges, 9448 markings/sec, 1075 secs
lola: 10117278 markings, 10132008 edges, 9444 markings/sec, 1080 secs
lola: 10164447 markings, 10179233 edges, 9434 markings/sec, 1085 secs
lola: 10211595 markings, 10226435 edges, 9430 markings/sec, 1090 secs
lola: 10258863 markings, 10273756 edges, 9454 markings/sec, 1095 secs
lola: 10306048 markings, 10321016 edges, 9437 markings/sec, 1100 secs
lola: 10353397 markings, 10368436 edges, 9470 markings/sec, 1105 secs
lola: 10400774 markings, 10415884 edges, 9475 markings/sec, 1110 secs
lola: 10448056 markings, 10463235 edges, 9456 markings/sec, 1115 secs
lola: 10495391 markings, 10510635 edges, 9467 markings/sec, 1120 secs
lola: 10542943 markings, 10558254 edges, 9510 markings/sec, 1125 secs
lola: 10590365 markings, 10605775 edges, 9484 markings/sec, 1130 secs
lola: 10637983 markings, 10653468 edges, 9524 markings/sec, 1135 secs
lola: 10685608 markings, 10701164 edges, 9525 markings/sec, 1140 secs
lola: 10733114 markings, 10748738 edges, 9501 markings/sec, 1145 secs
lola: 10780642 markings, 10796332 edges, 9506 markings/sec, 1150 secs
lola: 10828221 markings, 10843977 edges, 9516 markings/sec, 1155 secs
lola: 10875687 markings, 10891544 edges, 9493 markings/sec, 1160 secs
lola: 10923295 markings, 10939226 edges, 9522 markings/sec, 1165 secs
lola: 10970873 markings, 10986862 edges, 9516 markings/sec, 1170 secs
lola: 11018380 markings, 11034425 edges, 9501 markings/sec, 1175 secs
lola: 11065919 markings, 11082019 edges, 9508 markings/sec, 1180 secs
lola: 11113605 markings, 11129759 edges, 9537 markings/sec, 1185 secs
lola: 11161061 markings, 11177291 edges, 9491 markings/sec, 1190 secs
lola: 11208633 markings, 11224933 edges, 9514 markings/sec, 1195 secs
lola: 11256209 markings, 11272580 edges, 9515 markings/sec, 1200 secs
lola: 11303736 markings, 11320176 edges, 9505 markings/sec, 1205 secs
lola: 11351270 markings, 11367775 edges, 9507 markings/sec, 1210 secs
lola: 11398909 markings, 11415480 edges, 9528 markings/sec, 1215 secs
lola: 11446363 markings, 11463035 edges, 9491 markings/sec, 1220 secs
lola: 11494017 markings, 11510763 edges, 9531 markings/sec, 1225 secs
lola: 11541638 markings, 11558455 edges, 9524 markings/sec, 1230 secs
lola: 11589184 markings, 11606070 edges, 9509 markings/sec, 1235 secs
lola: 11636765 markings, 11653716 edges, 9516 markings/sec, 1240 secs
lola: 11684372 markings, 11701391 edges, 9521 markings/sec, 1245 secs
lola: 11731876 markings, 11748995 edges, 9501 markings/sec, 1250 secs
lola: 11779754 markings, 11796939 edges, 9576 markings/sec, 1255 secs
lola: 11827680 markings, 11844900 edges, 9585 markings/sec, 1260 secs
lola: 11875501 markings, 11892806 edges, 9564 markings/sec, 1265 secs
lola: 11923333 markings, 11940729 edges, 9566 markings/sec, 1270 secs
lola: 11971047 markings, 11988491 edges, 9543 markings/sec, 1275 secs
lola: 12018820 markings, 12036351 edges, 9555 markings/sec, 1280 secs
lola: 12066559 markings, 12084215 edges, 9548 markings/sec, 1285 secs
lola: 12114332 markings, 12132065 edges, 9555 markings/sec, 1290 secs
lola: 12162033 markings, 12179814 edges, 9540 markings/sec, 1295 secs
lola: 12209802 markings, 12227700 edges, 9554 markings/sec, 1300 secs
lola: 12257526 markings, 12275554 edges, 9545 markings/sec, 1305 secs
lola: 12305200 markings, 12323303 edges, 9535 markings/sec, 1310 secs
lola: 12352849 markings, 12371041 edges, 9530 markings/sec, 1315 secs
lola: 12400515 markings, 12418798 edges, 9533 markings/sec, 1320 secs
lola: 12448266 markings, 12466618 edges, 9550 markings/sec, 1325 secs
lola: 12495982 markings, 12514418 edges, 9543 markings/sec, 1330 secs
lola: 12543692 markings, 12562225 edges, 9542 markings/sec, 1335 secs
lola: 12591394 markings, 12609987 edges, 9540 markings/sec, 1340 secs
lola: 12639148 markings, 12657863 edges, 9551 markings/sec, 1345 secs
lola: 12686857 markings, 12705693 edges, 9542 markings/sec, 1350 secs
lola: 12734506 markings, 12753405 edges, 9530 markings/sec, 1355 secs
lola: 12782195 markings, 12801215 edges, 9538 markings/sec, 1360 secs
lola: 12829847 markings, 12849019 edges, 9530 markings/sec, 1365 secs
lola: 12877570 markings, 12896858 edges, 9545 markings/sec, 1370 secs
lola: 12925160 markings, 12944524 edges, 9518 markings/sec, 1375 secs
lola: 12972847 markings, 12992353 edges, 9537 markings/sec, 1380 secs
lola: 13020484 markings, 13040147 edges, 9527 markings/sec, 1385 secs
lola: 13068088 markings, 13087855 edges, 9521 markings/sec, 1390 secs
lola: 13115685 markings, 13135576 edges, 9519 markings/sec, 1395 secs
lola: 13163352 markings, 13183365 edges, 9533 markings/sec, 1400 secs
lola: 13211085 markings, 13231196 edges, 9547 markings/sec, 1405 secs
lola: 13258805 markings, 13279029 edges, 9544 markings/sec, 1410 secs
lola: 13306609 markings, 13326935 edges, 9561 markings/sec, 1415 secs
lola: 13354449 markings, 13374824 edges, 9568 markings/sec, 1420 secs
lola: 13402240 markings, 13422698 edges, 9558 markings/sec, 1425 secs
lola: 13450030 markings, 13470575 edges, 9558 markings/sec, 1430 secs
lola: 13497835 markings, 13518483 edges, 9561 markings/sec, 1435 secs
lola: 13545641 markings, 13566377 edges, 9561 markings/sec, 1440 secs
lola: 13593258 markings, 13614034 edges, 9523 markings/sec, 1445 secs
lola: 13640928 markings, 13661761 edges, 9534 markings/sec, 1450 secs
lola: 13688537 markings, 13709405 edges, 9522 markings/sec, 1455 secs
lola: 13736105 markings, 13757011 edges, 9514 markings/sec, 1460 secs
lola: 13783605 markings, 13804541 edges, 9500 markings/sec, 1465 secs
lola: 13831028 markings, 13851994 edges, 9485 markings/sec, 1470 secs
lola: 13878381 markings, 13899377 edges, 9471 markings/sec, 1475 secs
lola: 13925954 markings, 13946980 edges, 9515 markings/sec, 1480 secs
lola: 13973563 markings, 13994620 edges, 9522 markings/sec, 1485 secs
lola: 14021191 markings, 14042277 edges, 9526 markings/sec, 1490 secs
lola: 14068772 markings, 14089889 edges, 9516 markings/sec, 1495 secs
lola: 14116356 markings, 14137504 edges, 9517 markings/sec, 1500 secs
lola: 14163899 markings, 14185076 edges, 9509 markings/sec, 1505 secs
lola: 14211430 markings, 14232637 edges, 9506 markings/sec, 1510 secs
lola: 14259020 markings, 14280257 edges, 9518 markings/sec, 1515 secs
lola: 14306616 markings, 14327883 edges, 9519 markings/sec, 1520 secs
lola: 14354272 markings, 14375569 edges, 9531 markings/sec, 1525 secs
lola: 14401944 markings, 14423272 edges, 9534 markings/sec, 1530 secs
lola: 14449399 markings, 14470758 edges, 9491 markings/sec, 1535 secs
lola: 14496828 markings, 14518221 edges, 9486 markings/sec, 1540 secs
lola: 14544213 markings, 14565638 edges, 9477 markings/sec, 1545 secs
lola: 14591715 markings, 14613173 edges, 9500 markings/sec, 1550 secs
lola: 14639327 markings, 14660818 edges, 9522 markings/sec, 1555 secs
lola: 14686761 markings, 14708285 edges, 9487 markings/sec, 1560 secs
lola: 14734190 markings, 14755747 edges, 9486 markings/sec, 1565 secs
lola: 14781582 markings, 14803173 edges, 9478 markings/sec, 1570 secs
lola: 14829068 markings, 14850691 edges, 9497 markings/sec, 1575 secs
lola: 14876683 markings, 14898339 edges, 9523 markings/sec, 1580 secs
lola: 14924075 markings, 14945764 edges, 9478 markings/sec, 1585 secs
lola: 14971468 markings, 14993190 edges, 9479 markings/sec, 1590 secs
lola: 15018830 markings, 15040586 edges, 9472 markings/sec, 1595 secs
lola: 15066256 markings, 15088044 edges, 9485 markings/sec, 1600 secs
lola: 15113834 markings, 15135656 edges, 9516 markings/sec, 1605 secs
lola: 15161170 markings, 15183024 edges, 9467 markings/sec, 1610 secs
lola: 15208511 markings, 15230398 edges, 9468 markings/sec, 1615 secs
lola: 15255832 markings, 15277752 edges, 9464 markings/sec, 1620 secs
lola: 15303222 markings, 15325175 edges, 9478 markings/sec, 1625 secs
lola: 15350731 markings, 15372717 edges, 9502 markings/sec, 1630 secs
lola: 15398035 markings, 15420055 edges, 9461 markings/sec, 1635 secs
lola: 15445327 markings, 15467379 edges, 9458 markings/sec, 1640 secs
lola: 15492575 markings, 15514660 edges, 9450 markings/sec, 1645 secs
lola: 15539926 markings, 15562044 edges, 9470 markings/sec, 1650 secs
lola: 15587378 markings, 15609529 edges, 9490 markings/sec, 1655 secs
lola: 15634613 markings, 15656797 edges, 9447 markings/sec, 1660 secs
lola: 15681841 markings, 15704058 edges, 9446 markings/sec, 1665 secs
lola: 15729027 markings, 15751276 edges, 9437 markings/sec, 1670 secs
lola: 15776275 markings, 15798557 edges, 9450 markings/sec, 1675 secs
lola: 15823654 markings, 15845969 edges, 9476 markings/sec, 1680 secs
lola: 15870889 markings, 15893238 edges, 9447 markings/sec, 1685 secs
lola: 15918096 markings, 15940477 edges, 9441 markings/sec, 1690 secs
lola: 15965255 markings, 15987669 edges, 9432 markings/sec, 1695 secs
lola: 16012508 markings, 16034955 edges, 9451 markings/sec, 1700 secs
lola: 16059894 markings, 16082374 edges, 9477 markings/sec, 1705 secs
lola: 16107039 markings, 16129550 edges, 9429 markings/sec, 1710 secs
lola: 16154174 markings, 16176714 edges, 9427 markings/sec, 1715 secs
lola: 16201278 markings, 16223848 edges, 9421 markings/sec, 1720 secs
lola: 16248431 markings, 16271031 edges, 9431 markings/sec, 1725 secs
lola: 16295752 markings, 16318383 edges, 9464 markings/sec, 1730 secs
lola: 16343170 markings, 16365831 edges, 9484 markings/sec, 1735 secs
lola: 16390589 markings, 16413282 edges, 9484 markings/sec, 1740 secs
lola: 16437888 markings, 16460614 edges, 9460 markings/sec, 1745 secs
lola: 16485139 markings, 16507897 edges, 9450 markings/sec, 1750 secs
lola: 16532370 markings, 16555161 edges, 9446 markings/sec, 1755 secs
lola: 16579587 markings, 16602411 edges, 9443 markings/sec, 1760 secs
lola: 16626607 markings, 16649467 edges, 9404 markings/sec, 1765 secs
lola: 16673631 markings, 16696527 edges, 9405 markings/sec, 1770 secs
lola: 16720648 markings, 16743579 edges, 9403 markings/sec, 1775 secs
lola: 16767795 markings, 16790762 edges, 9429 markings/sec, 1780 secs
lola: 16814988 markings, 16837992 edges, 9439 markings/sec, 1785 secs
lola: 16862166 markings, 16885203 edges, 9436 markings/sec, 1790 secs
lola: 16909328 markings, 16932397 edges, 9432 markings/sec, 1795 secs
lola: 16956460 markings, 16979561 edges, 9426 markings/sec, 1800 secs
lola: 17003698 markings, 17026832 edges, 9448 markings/sec, 1805 secs
lola: 17051040 markings, 17074207 edges, 9468 markings/sec, 1810 secs
lola: 17098222 markings, 17121422 edges, 9436 markings/sec, 1815 secs
lola: 17145472 markings, 17168705 edges, 9450 markings/sec, 1820 secs
lola: 17192447 markings, 17215714 edges, 9395 markings/sec, 1825 secs
lola: 17239489 markings, 17262787 edges, 9408 markings/sec, 1830 secs
lola: 17286641 markings, 17309973 edges, 9430 markings/sec, 1835 secs
lola: 17333652 markings, 17357017 edges, 9402 markings/sec, 1840 secs
lola: 17380640 markings, 17404037 edges, 9398 markings/sec, 1845 secs
lola: 17427615 markings, 17451044 edges, 9395 markings/sec, 1850 secs
lola: 17474693 markings, 17498156 edges, 9416 markings/sec, 1855 secs
lola: 17521841 markings, 17545336 edges, 9430 markings/sec, 1860 secs
lola: 17568951 markings, 17592481 edges, 9422 markings/sec, 1865 secs
lola: 17615946 markings, 17639511 edges, 9399 markings/sec, 1870 secs
lola: 17662863 markings, 17686464 edges, 9383 markings/sec, 1875 secs
lola: 17709816 markings, 17733453 edges, 9391 markings/sec, 1880 secs
lola: 17756762 markings, 17780433 edges, 9389 markings/sec, 1885 secs
lola: 17803772 markings, 17827478 edges, 9402 markings/sec, 1890 secs
lola: 17850760 markings, 17874499 edges, 9398 markings/sec, 1895 secs
lola: 17897687 markings, 17921458 edges, 9385 markings/sec, 1900 secs
lola: 17944662 markings, 17968465 edges, 9395 markings/sec, 1905 secs
lola: 17991794 markings, 18015628 edges, 9426 markings/sec, 1910 secs
lola: 18038747 markings, 18062616 edges, 9391 markings/sec, 1915 secs
lola: 18085623 markings, 18109524 edges, 9375 markings/sec, 1920 secs
lola: 18132475 markings, 18156409 edges, 9370 markings/sec, 1925 secs
lola: 18179355 markings, 18203322 edges, 9376 markings/sec, 1930 secs
lola: 18225902 markings, 18249900 edges, 9309 markings/sec, 1935 secs
lola: 18271063 markings, 18295093 edges, 9032 markings/sec, 1940 secs
lola: 18316229 markings, 18340291 edges, 9033 markings/sec, 1945 secs
lola: 18361281 markings, 18385376 edges, 9010 markings/sec, 1950 secs
lola: 18406406 markings, 18430531 edges, 9025 markings/sec, 1955 secs
lola: 18451699 markings, 18475853 edges, 9059 markings/sec, 1960 secs
lola: 18497017 markings, 18521204 edges, 9064 markings/sec, 1965 secs
lola: 18542779 markings, 18567009 edges, 9152 markings/sec, 1970 secs
lola: 18589828 markings, 18614100 edges, 9410 markings/sec, 1975 secs
lola: 18636791 markings, 18661106 edges, 9393 markings/sec, 1980 secs
lola: 18683862 markings, 18708217 edges, 9414 markings/sec, 1985 secs
lola: 18730981 markings, 18755380 edges, 9424 markings/sec, 1990 secs
lola: 18776901 markings, 18801341 edges, 9184 markings/sec, 1995 secs
lola: 18822121 markings, 18846604 edges, 9044 markings/sec, 2000 secs
lola: 18867383 markings, 18891909 edges, 9052 markings/sec, 2005 secs
lola: 18912590 markings, 18937157 edges, 9041 markings/sec, 2010 secs
lola: 18957753 markings, 18982363 edges, 9033 markings/sec, 2015 secs
lola: 19002998 markings, 19027649 edges, 9049 markings/sec, 2020 secs
lola: 19048629 markings, 19073322 edges, 9126 markings/sec, 2025 secs
lola: 19095739 markings, 19120476 edges, 9422 markings/sec, 2030 secs
lola: 19142823 markings, 19167606 edges, 9417 markings/sec, 2035 secs
lola: 19189881 markings, 19214712 edges, 9412 markings/sec, 2040 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 unknown unknown 1 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 unknown unknown 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 unknown unknown 1 1 1 1
lola: memory consumption: 1839140 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 unknown unknown 1 1 1 1
lola: memory consumption: 1839140 KB
lola: time consumption: 3570 seconds

BK_STOP 1527925411892

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

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-09b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
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

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-09b.tgz
mv ASLink-PT-09b execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is ASLink-PT-09b, 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 r268-smll-152749145300155"
echo "====================================================================="
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 ;