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 2.4M
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 45K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 35K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 115K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 22K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 70K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 40K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 110 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 348 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 7 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.9M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBNT-PT-S05J40, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673527200345
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527226213401

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBNT-PT-S05J40 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBNT-PT-S05J40 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBNT-PT-S05J40 @ 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: 2219/65536 symbol table entries, 162 collisions
lola: preprocessing...
lola: Size of bit vector: 20128
lola: finding significant places
lola: 629 places, 1590 transitions, 527 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1168 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-PT-S05J40-UpperBounds.task
lola: MAX(Perform_Work_E_1) : MAX(place_518_1) : MAX(place_458) : MAX(Try_Check_Sources_E_1) : MAX(NotifyEventJobQueuedE_1) : MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5) : MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5) : MAX(Try_Check_Sources_E_1) : MAX(TheSour_5) : MAX(FetchJobE_1_16) : MAX(QueueJobB_1_23) : MAX(CreatedJobs_8_2) : MAX(DataOnSrc_4) : MAX(f1_14) : MAX(CreatedJobs_27_2) : MAX(CreatedJobs_17_3)
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(Perform_Work_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Perform_Work_E_1)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-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: 32 markings, 31 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-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(place_518_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_518_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-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: 16 markings, 15 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-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(place_458)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_458)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-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: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 11 markings, 10 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-2 2 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(Try_Check_Sources_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Try_Check_Sources_E_1)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-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
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventJobQueuedE_1)
lola: processed formula length: 28
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-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: 4
lola: 28945 markings, 72806 edges, 5789 markings/sec, 0 secs
lola: 60160 markings, 145412 edges, 6243 markings/sec, 5 secs
lola: 91399 markings, 218116 edges, 6248 markings/sec, 10 secs
lola: 122453 markings, 290385 edges, 6211 markings/sec, 15 secs
lola: 153477 markings, 362733 edges, 6205 markings/sec, 20 secs
lola: 184555 markings, 435291 edges, 6216 markings/sec, 25 secs
lola: 215618 markings, 508049 edges, 6213 markings/sec, 30 secs
lola: 246690 markings, 581095 edges, 6214 markings/sec, 35 secs
lola: 276853 markings, 652576 edges, 6033 markings/sec, 40 secs
lola: 306572 markings, 725780 edges, 5944 markings/sec, 45 secs
lola: 340443 markings, 799455 edges, 6774 markings/sec, 50 secs
lola: 375678 markings, 875021 edges, 7047 markings/sec, 55 secs
lola: 410931 markings, 950608 edges, 7051 markings/sec, 60 secs
lola: 445814 markings, 1025612 edges, 6977 markings/sec, 65 secs
lola: 480895 markings, 1101232 edges, 7016 markings/sec, 70 secs
lola: 515704 markings, 1176535 edges, 6962 markings/sec, 75 secs
lola: 550246 markings, 1251742 edges, 6908 markings/sec, 80 secs
lola: 584757 markings, 1328162 edges, 6902 markings/sec, 85 secs
lola: 621478 markings, 1407122 edges, 7344 markings/sec, 90 secs
lola: 672656 markings, 1487416 edges, 10236 markings/sec, 95 secs
lola: 723409 markings, 1567398 edges, 10151 markings/sec, 100 secs
lola: 774027 markings, 1647789 edges, 10124 markings/sec, 105 secs
lola: 824750 markings, 1729820 edges, 10145 markings/sec, 110 secs
lola: 871271 markings, 1819203 edges, 9304 markings/sec, 115 secs
lola: 908336 markings, 1904855 edges, 7413 markings/sec, 120 secs
lola: 943598 markings, 1977701 edges, 7052 markings/sec, 125 secs
lola: 978862 markings, 2050758 edges, 7053 markings/sec, 130 secs
lola: 1014060 markings, 2123720 edges, 7040 markings/sec, 135 secs
lola: 1048762 markings, 2195938 edges, 6940 markings/sec, 140 secs
lola: 1084027 markings, 2269406 edges, 7053 markings/sec, 145 secs
lola: 1119016 markings, 2342613 edges, 6998 markings/sec, 150 secs
lola: 1153900 markings, 2416201 edges, 6977 markings/sec, 155 secs
lola: 1188501 markings, 2490929 edges, 6920 markings/sec, 160 secs
lola: 1228973 markings, 2570157 edges, 8094 markings/sec, 165 secs
lola: 1279904 markings, 2650117 edges, 10186 markings/sec, 170 secs
lola: 1330604 markings, 2730113 edges, 10140 markings/sec, 175 secs
lola: 1381203 markings, 2810681 edges, 10120 markings/sec, 180 secs
lola: 1431773 markings, 2893214 edges, 10114 markings/sec, 185 secs
lola: 1476245 markings, 2983611 edges, 8894 markings/sec, 190 secs
lola: 1512927 markings, 3064524 edges, 7336 markings/sec, 195 secs
lola: 1548035 markings, 3137159 edges, 7022 markings/sec, 200 secs
lola: 1583056 markings, 3209758 edges, 7004 markings/sec, 205 secs
lola: 1617954 markings, 3282138 edges, 6980 markings/sec, 210 secs
lola: 1652546 markings, 3354101 edges, 6918 markings/sec, 215 secs
lola: 1687626 markings, 3427323 edges, 7016 markings/sec, 220 secs
lola: 1722383 markings, 3500180 edges, 6951 markings/sec, 225 secs
lola: 1757040 markings, 3573622 edges, 6931 markings/sec, 230 secs
lola: 1791416 markings, 3650965 edges, 6875 markings/sec, 235 secs
lola: 1837347 markings, 3729303 edges, 9186 markings/sec, 240 secs
lola: 1888170 markings, 3809242 edges, 10165 markings/sec, 245 secs
lola: 1938807 markings, 3889268 edges, 10127 markings/sec, 250 secs
lola: 1989247 markings, 3969963 edges, 10088 markings/sec, 255 secs
lola: 2039610 markings, 4056721 edges, 10073 markings/sec, 260 secs
lola: 2079582 markings, 4144569 edges, 7994 markings/sec, 265 secs
lola: 2125049 markings, 4220921 edges, 9093 markings/sec, 270 secs
lola: 2170449 markings, 4297502 edges, 9080 markings/sec, 275 secs
lola: 2216307 markings, 4379364 edges, 9172 markings/sec, 280 secs
lola: 2266313 markings, 4458004 edges, 10001 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 2 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 2 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 181932 KB
lola: time consumption: 314 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Try_Check_Sources_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Try_Check_Sources_E_1)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-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 PolyORBNT-PT-S05J40-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 325 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(TheSour_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(TheSour_5)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-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: 0 markings, 0 edges
lola: ========================================

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

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

FORMULA PolyORBNT-PT-S05J40-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 461 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_8_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_8_2)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-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
lola: ========================================

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

FORMULA PolyORBNT-PT-S05J40-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 645 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f1_14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f1_14)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-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 PolyORBNT-PT-S05J40-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 806 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_27_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_27_2)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-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
lola:
FORMULA PolyORBNT-PT-S05J40-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 13 will run for 1075 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_17_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_17_3)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-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
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1613 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-6 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3226 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DataOnSrc_1 + DataOnSrc_2 + DataOnSrc_3 + DataOnSrc_4 + DataOnSrc_5)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J40-UpperBounds-5 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventJobQueuedE_1)
lola: processed formula length: 28
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J40-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: 4
lola: 28784 markings, 72443 edges, 5757 markings/sec, 0 secs
lola: 59756 markings, 144464 edges, 6194 markings/sec, 5 secs
lola: 90697 markings, 216481 edges, 6188 markings/sec, 10 secs
lola: 121582 markings, 288322 edges, 6177 markings/sec, 15 secs
lola: 152305 markings, 359989 edges, 6145 markings/sec, 20 secs
lola: 183018 markings, 431782 edges, 6143 markings/sec, 25 secs
lola: 213754 markings, 503665 edges, 6147 markings/sec, 30 secs
lola: 244556 markings, 576060 edges, 6160 markings/sec, 35 secs
lola: 275391 markings, 649054 edges, 6167 markings/sec, 40 secs
lola: 306189 markings, 724859 edges, 6160 markings/sec, 45 secs
lola: 340011 markings, 798523 edges, 6764 markings/sec, 50 secs
lola: 374816 markings, 873134 edges, 6961 markings/sec, 55 secs
lola: 409650 markings, 947848 edges, 6967 markings/sec, 60 secs
lola: 444148 markings, 1022003 edges, 6900 markings/sec, 65 secs
lola: 478760 markings, 1096683 edges, 6922 markings/sec, 70 secs
lola: 513313 markings, 1171356 edges, 6911 markings/sec, 75 secs
lola: 547569 markings, 1245968 edges, 6851 markings/sec, 80 secs
lola: 581768 markings, 1321351 edges, 6840 markings/sec, 85 secs
lola: 617189 markings, 1399473 edges, 7084 markings/sec, 90 secs
lola: 666885 markings, 1478288 edges, 9939 markings/sec, 95 secs
lola: 717117 markings, 1557450 edges, 10046 markings/sec, 100 secs
lola: 767038 markings, 1636639 edges, 9984 markings/sec, 105 secs
lola: 817040 markings, 1717113 edges, 10000 markings/sec, 110 secs
lola: 864458 markings, 1804759 edges, 9484 markings/sec, 115 secs
lola: 902301 markings, 1892251 edges, 7569 markings/sec, 120 secs
lola: 937012 markings, 1964076 edges, 6942 markings/sec, 125 secs
lola: 971882 markings, 2036341 edges, 6974 markings/sec, 130 secs
lola: 1006771 markings, 2108595 edges, 6978 markings/sec, 135 secs
lola: 1041323 markings, 2180368 edges, 6910 markings/sec, 140 secs
lola: 1076061 markings, 2252707 edges, 6948 markings/sec, 145 secs
lola: 1110737 markings, 2325263 edges, 6935 markings/sec, 150 secs
lola: 1145308 markings, 2397971 edges, 6914 markings/sec, 155 secs
lola: 1179624 markings, 2471276 edges, 6863 markings/sec, 160 secs
lola: 1215252 markings, 2548753 edges, 7126 markings/sec, 165 secs
lola: 1265633 markings, 2627727 edges, 10076 markings/sec, 170 secs
lola: 1315787 markings, 2706679 edges, 10031 markings/sec, 175 secs
lola: 1365815 markings, 2786053 edges, 10006 markings/sec, 180 secs
lola: 1415936 markings, 2866986 edges, 10024 markings/sec, 185 secs
lola: 1463177 markings, 2955529 edges, 9448 markings/sec, 190 secs
lola: 1501943 markings, 3041806 edges, 7753 markings/sec, 195 secs
lola: 1537020 markings, 3114392 edges, 7015 markings/sec, 200 secs
lola: 1572070 markings, 3186916 edges, 7010 markings/sec, 205 secs
lola: 1606997 markings, 3259438 edges, 6985 markings/sec, 210 secs
lola: 1641549 markings, 3331221 edges, 6910 markings/sec, 215 secs
lola: 1676577 markings, 3404218 edges, 7006 markings/sec, 220 secs
lola: 1711404 markings, 3477080 edges, 6965 markings/sec, 225 secs
lola: 1746056 markings, 3550252 edges, 6930 markings/sec, 230 secs
lola: 1780523 markings, 3624637 edges, 6893 markings/sec, 235 secs
lola: 1821147 markings, 3703853 edges, 8125 markings/sec, 240 secs
lola: 1872057 markings, 3783886 edges, 10182 markings/sec, 245 secs
lola: 1922860 markings, 3863972 edges, 10161 markings/sec, 250 secs
lola: 1973590 markings, 3944713 edges, 10146 markings/sec, 255 secs
lola: 2024144 markings, 4027413 edges, 10111 markings/sec, 260 secs
lola: 2068485 markings, 4117955 edges, 8868 markings/sec, 265 secs
lola: 2114330 markings, 4203236 edges, 9169 markings/sec, 270 secs
lola: 2161875 markings, 4282800 edges, 9509 markings/sec, 275 secs
lola: 2209191 markings, 4368285 edges, 9463 markings/sec, 280 secs
lola: 2259736 markings, 4447578 edges, 10109 markings/sec, 285 secs
lola: 2309969 markings, 4526839 edges, 10047 markings/sec, 290 secs
lola: 2360241 markings, 4606852 edges, 10054 markings/sec, 295 secs
lola: 2410386 markings, 4688631 edges, 10029 markings/sec, 300 secs
lola: 2455301 markings, 4779001 edges, 8983 markings/sec, 305 secs
lola: 2501008 markings, 4864212 edges, 9141 markings/sec, 310 secs
lola: 2548287 markings, 4943476 edges, 9456 markings/sec, 315 secs
lola: 2595473 markings, 5028905 edges, 9437 markings/sec, 320 secs
lola: 2645749 markings, 5107731 edges, 10055 markings/sec, 325 secs
lola: 2695620 markings, 5186425 edges, 9974 markings/sec, 330 secs
lola: 2745445 markings, 5265643 edges, 9965 markings/sec, 335 secs
lola: 2795411 markings, 5346878 edges, 9993 markings/sec, 340 secs
lola: 2840444 markings, 5436435 edges, 9007 markings/sec, 345 secs
lola: 2885551 markings, 5521815 edges, 9021 markings/sec, 350 secs
lola: 2932593 markings, 5600436 edges, 9408 markings/sec, 355 secs
lola: 2979343 markings, 5685547 edges, 9350 markings/sec, 360 secs
lola: 3029548 markings, 5764398 edges, 10041 markings/sec, 365 secs
lola: 3079170 markings, 5842629 edges, 9924 markings/sec, 370 secs
lola: 3128897 markings, 5921676 edges, 9945 markings/sec, 375 secs
lola: 3178902 markings, 6002692 edges, 10001 markings/sec, 380 secs
lola: 3224629 markings, 6091787 edges, 9145 markings/sec, 385 secs
lola: 3269587 markings, 6178642 edges, 8992 markings/sec, 390 secs
lola: 3316953 markings, 6258031 edges, 9473 markings/sec, 395 secs
lola: 3364215 markings, 6343582 edges, 9452 markings/sec, 400 secs
lola: 3414583 markings, 6422666 edges, 10074 markings/sec, 405 secs
lola: 3464623 markings, 6501678 edges, 10008 markings/sec, 410 secs
lola: 3514633 markings, 6581543 edges, 10002 markings/sec, 415 secs
lola: 3564782 markings, 6664315 edges, 10030 markings/sec, 420 secs
lola: 3607691 markings, 6756767 edges, 8582 markings/sec, 425 secs
lola: 3654897 markings, 6837958 edges, 9441 markings/sec, 430 secs
lola: 3702131 markings, 6918279 edges, 9447 markings/sec, 435 secs
lola: 3750596 markings, 7002852 edges, 9693 markings/sec, 440 secs
lola: 3800627 markings, 7081527 edges, 10006 markings/sec, 445 secs
lola: 3850536 markings, 7160588 edges, 9982 markings/sec, 450 secs
lola: 3900457 markings, 7240870 edges, 9984 markings/sec, 455 secs
lola: 3948678 markings, 7327846 edges, 9644 markings/sec, 460 secs
lola: 3991868 markings, 7417167 edges, 8638 markings/sec, 465 secs
lola: 4039306 markings, 7495918 edges, 9488 markings/sec, 470 secs
lola: 4086163 markings, 7578322 edges, 9371 markings/sec, 475 secs
lola: 4135841 markings, 7660471 edges, 9936 markings/sec, 480 secs
lola: 4185826 markings, 7739173 edges, 9997 markings/sec, 485 secs
lola: 4235730 markings, 7818516 edges, 9981 markings/sec, 490 secs
lola: 4285501 markings, 7899386 edges, 9954 markings/sec, 495 secs
lola: 4330758 markings, 7988663 edges, 9051 markings/sec, 500 secs
lola: 4376077 markings, 8074448 edges, 9064 markings/sec, 505 secs
lola: 4423486 markings, 8154457 edges, 9482 markings/sec, 510 secs
lola: 4471211 markings, 8239331 edges, 9545 markings/sec, 515 secs
lola: 4521171 markings, 8317953 edges, 9992 markings/sec, 520 secs
lola: 4570908 markings, 8396774 edges, 9947 markings/sec, 525 secs
lola: 4620724 markings, 8476890 edges, 9963 markings/sec, 530 secs
lola: 4668424 markings, 8564035 edges, 9540 markings/sec, 535 secs
lola: 4712094 markings, 8652228 edges, 8734 markings/sec, 540 secs
lola: 4758438 markings, 8729773 edges, 9269 markings/sec, 545 secs
lola: 4803112 markings, 8811773 edges, 8935 markings/sec, 550 secs
lola: 4850660 markings, 8886457 edges, 9510 markings/sec, 555 secs
lola: 4897822 markings, 8960937 edges, 9432 markings/sec, 560 secs
lola: 4944951 markings, 9036144 edges, 9426 markings/sec, 565 secs
lola: 4992418 markings, 9113876 edges, 9493 markings/sec, 570 secs
lola: 5034066 markings, 9199979 edges, 8330 markings/sec, 575 secs
lola: 5078119 markings, 9279857 edges, 8811 markings/sec, 580 secs
lola: 5123510 markings, 9356728 edges, 9078 markings/sec, 585 secs
lola: 5171326 markings, 9441135 edges, 9563 markings/sec, 590 secs
lola: 5220977 markings, 9519376 edges, 9930 markings/sec, 595 secs
lola: 5270434 markings, 9597784 edges, 9891 markings/sec, 600 secs
lola: 5320138 markings, 9677882 edges, 9941 markings/sec, 605 secs
lola: 5367303 markings, 9765312 edges, 9433 markings/sec, 610 secs
lola: 5411233 markings, 9852991 edges, 8786 markings/sec, 615 secs
lola: 5458542 markings, 9932499 edges, 9462 markings/sec, 620 secs
lola: 5506183 markings, 10017772 edges, 9528 markings/sec, 625 secs
lola: 5556160 markings, 10096547 edges, 9995 markings/sec, 630 secs
lola: 5605432 markings, 10174770 edges, 9854 markings/sec, 635 secs
lola: 5655457 markings, 10255524 edges, 10005 markings/sec, 640 secs
lola: 5701953 markings, 10343615 edges, 9299 markings/sec, 645 secs
lola: 5746707 markings, 10430153 edges, 8951 markings/sec, 650 secs
lola: 5793733 markings, 10509557 edges, 9405 markings/sec, 655 secs
lola: 5841605 markings, 10594425 edges, 9574 markings/sec, 660 secs
lola: 5891388 markings, 10672914 edges, 9957 markings/sec, 665 secs
lola: 5941197 markings, 10752086 edges, 9962 markings/sec, 670 secs
lola: 5991092 markings, 10832942 edges, 9979 markings/sec, 675 secs
lola: 6036454 markings, 10921846 edges, 9072 markings/sec, 680 secs
lola: 6081942 markings, 11006987 edges, 9098 markings/sec, 685 secs
lola: 6129056 markings, 11087079 edges, 9423 markings/sec, 690 secs
lola: 6174943 markings, 11167721 edges, 9177 markings/sec, 695 secs
lola: 6224404 markings, 11245790 edges, 9892 markings/sec, 700 secs
lola: 6274169 markings, 11324927 edges, 9953 markings/sec, 705 secs
lola: 6324029 markings, 11405935 edges, 9972 markings/sec, 710 secs
lola: 6368829 markings, 11495518 edges, 8960 markings/sec, 715 secs
lola: 6414786 markings, 11579993 edges, 9191 markings/sec, 720 secs
lola: 6461826 markings, 11660955 edges, 9408 markings/sec, 725 secs
lola: 6510464 markings, 11744207 edges, 9728 markings/sec, 730 secs
lola: 6560165 markings, 11822761 edges, 9940 markings/sec, 735 secs
lola: 6610030 markings, 11902599 edges, 9973 markings/sec, 740 secs
lola: 6659243 markings, 11987963 edges, 9843 markings/sec, 745 secs
lola: 6701956 markings, 12077112 edges, 8543 markings/sec, 750 secs
lola: 6749121 markings, 12156257 edges, 9433 markings/sec, 755 secs
lola: 6796159 markings, 12241197 edges, 9408 markings/sec, 760 secs
lola: 6846058 markings, 12319878 edges, 9980 markings/sec, 765 secs
lola: 6895858 markings, 12399078 edges, 9960 markings/sec, 770 secs
lola: 6945644 markings, 12479869 edges, 9957 markings/sec, 775 secs
lola: 6990787 markings, 12568869 edges, 9029 markings/sec, 780 secs
lola: 7036530 markings, 12653251 edges, 9149 markings/sec, 785 secs
lola: 7083506 markings, 12734105 edges, 9395 markings/sec, 790 secs
lola: 7132201 markings, 12817483 edges, 9739 markings/sec, 795 secs
lola: 7181954 markings, 12896224 edges, 9951 markings/sec, 800 secs
lola: 7229779 markings, 12972709 edges, 9565 markings/sec, 805 secs
lola: 7279654 markings, 13057210 edges, 9975 markings/sec, 810 secs
lola: 7322037 markings, 13147833 edges, 8477 markings/sec, 815 secs
lola: 7369016 markings, 13226698 edges, 9396 markings/sec, 820 secs
lola: 7416195 markings, 13311424 edges, 9436 markings/sec, 825 secs
lola: 7465967 markings, 13390027 edges, 9954 markings/sec, 830 secs
lola: 7515785 markings, 13469527 edges, 9964 markings/sec, 835 secs
lola: 7565690 markings, 13551670 edges, 9981 markings/sec, 840 secs
lola: 7608876 markings, 13644787 edges, 8637 markings/sec, 845 secs
lola: 7655868 markings, 13723320 edges, 9398 markings/sec, 850 secs
lola: 7702608 markings, 13808373 edges, 9348 markings/sec, 855 secs
lola: 7752303 markings, 13886740 edges, 9939 markings/sec, 860 secs
lola: 7801906 markings, 13965724 edges, 9921 markings/sec, 865 secs
lola: 7851714 markings, 14046897 edges, 9962 markings/sec, 870 secs
lola: 7895820 markings, 14138011 edges, 8821 markings/sec, 875 secs
lola: 7942079 markings, 14218965 edges, 9252 markings/sec, 880 secs
lola: 7988556 markings, 14303002 edges, 9295 markings/sec, 885 secs
lola: 8037705 markings, 14381934 edges, 9830 markings/sec, 890 secs
lola: 8087261 markings, 14460659 edges, 9911 markings/sec, 895 secs
lola: 8136796 markings, 14540955 edges, 9907 markings/sec, 900 secs
lola: 8182284 markings, 14629660 edges, 9098 markings/sec, 905 secs
lola: 8227524 markings, 14713694 edges, 9048 markings/sec, 910 secs
lola: 8274139 markings, 14796143 edges, 9323 markings/sec, 915 secs
lola: 8323515 markings, 14877557 edges, 9875 markings/sec, 920 secs
lola: 8373333 markings, 14956867 edges, 9964 markings/sec, 925 secs
lola: 8423231 markings, 15038214 edges, 9980 markings/sec, 930 secs
lola: 8467130 markings, 15129655 edges, 8780 markings/sec, 935 secs
lola: 8513232 markings, 15209282 edges, 9220 markings/sec, 940 secs
lola: 8559633 markings, 15293820 edges, 9280 markings/sec, 945 secs
lola: 8609015 markings, 15371818 edges, 9876 markings/sec, 950 secs
lola: 8658433 markings, 15450604 edges, 9884 markings/sec, 955 secs
lola: 8707984 markings, 15532349 edges, 9910 markings/sec, 960 secs
lola: 8748956 markings, 15620876 edges, 8194 markings/sec, 965 secs
lola: 8793783 markings, 15696048 edges, 8965 markings/sec, 970 secs
lola: 8838441 markings, 15777324 edges, 8932 markings/sec, 975 secs
lola: 8885362 markings, 15851544 edges, 9384 markings/sec, 980 secs
lola: 8933976 markings, 15929044 edges, 9723 markings/sec, 985 secs
lola: 8983128 markings, 16010002 edges, 9830 markings/sec, 990 secs
lola: 9025733 markings, 16101355 edges, 8521 markings/sec, 995 secs
lola: 9071950 markings, 16179304 edges, 9243 markings/sec, 1000 secs
lola: 9118636 markings, 16262740 edges, 9337 markings/sec, 1005 secs
lola: 9167292 markings, 16339940 edges, 9731 markings/sec, 1010 secs
lola: 9216155 markings, 16418511 edges, 9773 markings/sec, 1015 secs
lola: 9263066 markings, 16503803 edges, 9382 markings/sec, 1020 secs
lola: 9306398 markings, 16588597 edges, 8666 markings/sec, 1025 secs
lola: 9351723 markings, 16667247 edges, 9065 markings/sec, 1030 secs
lola: 9397184 markings, 16744784 edges, 9092 markings/sec, 1035 secs
lola: 9443558 markings, 16818599 edges, 9275 markings/sec, 1040 secs
lola: 9490907 markings, 16895483 edges, 9470 markings/sec, 1045 secs
lola: 9534968 markings, 16983270 edges, 8812 markings/sec, 1050 secs
lola: 9579904 markings, 17064191 edges, 8987 markings/sec, 1055 secs
lola: 9625677 markings, 17147695 edges, 9155 markings/sec, 1060 secs
lola: 9674071 markings, 17224292 edges, 9679 markings/sec, 1065 secs
lola: 9722603 markings, 17301886 edges, 9706 markings/sec, 1070 secs
lola: 9771189 markings, 17383480 edges, 9717 markings/sec, 1075 secs
lola: 9813332 markings, 17472142 edges, 8429 markings/sec, 1080 secs
lola: 9859248 markings, 17550925 edges, 9183 markings/sec, 1085 secs
lola: 9906488 markings, 17632906 edges, 9448 markings/sec, 1090 secs
lola: 9955396 markings, 17710897 edges, 9782 markings/sec, 1095 secs
lola: 10002600 markings, 17788041 edges, 9441 markings/sec, 1100 secs
lola: 10043698 markings, 17875766 edges, 8220 markings/sec, 1105 secs
lola: 10087573 markings, 17949718 edges, 8775 markings/sec, 1110 secs
lola: 10131711 markings, 18029422 edges, 8828 markings/sec, 1115 secs
lola: 10177419 markings, 18101967 edges, 9142 markings/sec, 1120 secs
lola: 10227012 markings, 18181817 edges, 9919 markings/sec, 1125 secs
lola: 10273764 markings, 18268613 edges, 9350 markings/sec, 1130 secs
lola: 10318296 markings, 18353237 edges, 8906 markings/sec, 1135 secs
lola: 10364514 markings, 18437937 edges, 9244 markings/sec, 1140 secs
lola: 10413748 markings, 18515938 edges, 9847 markings/sec, 1145 secs
lola: 10463287 markings, 18595427 edges, 9908 markings/sec, 1150 secs
lola: 10511396 markings, 18681359 edges, 9622 markings/sec, 1155 secs
lola: 10554981 markings, 18767271 edges, 8717 markings/sec, 1160 secs
lola: 10600829 markings, 18851585 edges, 9170 markings/sec, 1165 secs
lola: 10649967 markings, 18929583 edges, 9828 markings/sec, 1170 secs
lola: 10699238 markings, 19008853 edges, 9854 markings/sec, 1175 secs
lola: 10744001 markings, 19091159 edges, 8953 markings/sec, 1180 secs
lola: 10788305 markings, 19176028 edges, 8861 markings/sec, 1185 secs
lola: 10834452 markings, 19260253 edges, 9229 markings/sec, 1190 secs
lola: 10883256 markings, 19337641 edges, 9761 markings/sec, 1195 secs
lola: 10930545 markings, 19414017 edges, 9458 markings/sec, 1200 secs
lola: 10975896 markings, 19499591 edges, 9070 markings/sec, 1205 secs
lola: 11020594 markings, 19583080 edges, 8940 markings/sec, 1210 secs
lola: 11066930 markings, 19666998 edges, 9267 markings/sec, 1215 secs
lola: 11115470 markings, 19744099 edges, 9708 markings/sec, 1220 secs
lola: 11164190 markings, 19822994 edges, 9744 markings/sec, 1225 secs
lola: 11209003 markings, 19911194 edges, 8963 markings/sec, 1230 secs
lola: 11254604 markings, 19993538 edges, 9120 markings/sec, 1235 secs
lola: 11299453 markings, 20073440 edges, 8970 markings/sec, 1240 secs
lola: 11348761 markings, 20152225 edges, 9862 markings/sec, 1245 secs
lola: 11398327 markings, 20234495 edges, 9913 markings/sec, 1250 secs
lola: 11441542 markings, 20323746 edges, 8643 markings/sec, 1255 secs
lola: 11487446 markings, 20404653 edges, 9181 markings/sec, 1260 secs
lola: 11535892 markings, 20485595 edges, 9689 markings/sec, 1265 secs
lola: 11585180 markings, 20565095 edges, 9858 markings/sec, 1270 secs
lola: 11631296 markings, 20652640 edges, 9223 markings/sec, 1275 secs
lola: 11674826 markings, 20733195 edges, 8706 markings/sec, 1280 secs
lola: 11720794 markings, 20815618 edges, 9194 markings/sec, 1285 secs
lola: 11769196 markings, 20892916 edges, 9680 markings/sec, 1290 secs
lola: 11817827 markings, 20972756 edges, 9726 markings/sec, 1295 secs
lola: 11860673 markings, 21061897 edges, 8569 markings/sec, 1300 secs
lola: 11906348 markings, 21141826 edges, 9135 markings/sec, 1305 secs
lola: 11954017 markings, 21222333 edges, 9534 markings/sec, 1310 secs
lola: 12002495 markings, 21300806 edges, 9696 markings/sec, 1315 secs
lola: 12047108 markings, 21389052 edges, 8923 markings/sec, 1320 secs
lola: 12092605 markings, 21470045 edges, 9099 markings/sec, 1325 secs
lola: 12139426 markings, 21552120 edges, 9364 markings/sec, 1330 secs
lola: 12187942 markings, 21630130 edges, 9703 markings/sec, 1335 secs
lola: 12234843 markings, 21715115 edges, 9380 markings/sec, 1340 secs
lola: 12278784 markings, 21799186 edges, 8788 markings/sec, 1345 secs
lola: 12324968 markings, 21882116 edges, 9237 markings/sec, 1350 secs
lola: 12373218 markings, 21959306 edges, 9650 markings/sec, 1355 secs
lola: 12421867 markings, 22040614 edges, 9730 markings/sec, 1360 secs
lola: 12464594 markings, 22128353 edges, 8545 markings/sec, 1365 secs
lola: 12510439 markings, 22211718 edges, 9169 markings/sec, 1370 secs
lola: 12559373 markings, 22290016 edges, 9787 markings/sec, 1375 secs
lola: 12608306 markings, 22372162 edges, 9787 markings/sec, 1380 secs
lola: 12651128 markings, 22459117 edges, 8564 markings/sec, 1385 secs
lola: 12697095 markings, 22542384 edges, 9193 markings/sec, 1390 secs
lola: 12745657 markings, 22620248 edges, 9712 markings/sec, 1395 secs
lola: 12794362 markings, 22703304 edges, 9741 markings/sec, 1400 secs
lola: 12837167 markings, 22789108 edges, 8561 markings/sec, 1405 secs
lola: 12883158 markings, 22872237 edges, 9198 markings/sec, 1410 secs
lola: 12931811 markings, 22950189 edges, 9731 markings/sec, 1415 secs
lola: 12980023 markings, 23034062 edges, 9642 markings/sec, 1420 secs
lola: 13023112 markings, 23119197 edges, 8618 markings/sec, 1425 secs
lola: 13069877 markings, 23202788 edges, 9353 markings/sec, 1430 secs
lola: 13119159 markings, 23282264 edges, 9856 markings/sec, 1435 secs
lola: 13164863 markings, 23370536 edges, 9141 markings/sec, 1440 secs
lola: 13210251 markings, 23452762 edges, 9078 markings/sec, 1445 secs
lola: 13258038 markings, 23534879 edges, 9557 markings/sec, 1450 secs
lola: 13306990 markings, 23615140 edges, 9790 markings/sec, 1455 secs
lola: 13350901 markings, 23704351 edges, 8782 markings/sec, 1460 secs
lola: 13396562 markings, 23787764 edges, 9132 markings/sec, 1465 secs
lola: 13445430 markings, 23866084 edges, 9774 markings/sec, 1470 secs
lola: 13493569 markings, 23950499 edges, 9628 markings/sec, 1475 secs
lola: 13536845 markings, 24035119 edges, 8655 markings/sec, 1480 secs
lola: 13583747 markings, 24117991 edges, 9380 markings/sec, 1485 secs
lola: 13632201 markings, 24197084 edges, 9691 markings/sec, 1490 secs
lola: 13676271 markings, 24286027 edges, 8814 markings/sec, 1495 secs
lola: 13721763 markings, 24369001 edges, 9098 markings/sec, 1500 secs
lola: 13770077 markings, 24446815 edges, 9663 markings/sec, 1505 secs
lola: 13816320 markings, 24532291 edges, 9249 markings/sec, 1510 secs
lola: 13860727 markings, 24615573 edges, 8881 markings/sec, 1515 secs
lola: 13907998 markings, 24697184 edges, 9454 markings/sec, 1520 secs
lola: 13956358 markings, 24777150 edges, 9672 markings/sec, 1525 secs
lola: 13999761 markings, 24865190 edges, 8681 markings/sec, 1530 secs
lola: 14046520 markings, 24948672 edges, 9352 markings/sec, 1535 secs
lola: 14095302 markings, 25028474 edges, 9756 markings/sec, 1540 secs
lola: 14139390 markings, 25116986 edges, 8818 markings/sec, 1545 secs
lola: 14185463 markings, 25200030 edges, 9215 markings/sec, 1550 secs
lola: 14233773 markings, 25278580 edges, 9662 markings/sec, 1555 secs
lola: 14278141 markings, 25367352 edges, 8874 markings/sec, 1560 secs
lola: 14323848 markings, 25450558 edges, 9141 markings/sec, 1565 secs
lola: 14372254 markings, 25528997 edges, 9681 markings/sec, 1570 secs
lola: 14417082 markings, 25618259 edges, 8966 markings/sec, 1575 secs
lola: 14463106 markings, 25702233 edges, 9205 markings/sec, 1580 secs
lola: 14512019 markings, 25781693 edges, 9783 markings/sec, 1585 secs
lola: 14556891 markings, 25870818 edges, 8974 markings/sec, 1590 secs
lola: 14603197 markings, 25954522 edges, 9261 markings/sec, 1595 secs
lola: 14652146 markings, 26034584 edges, 9790 markings/sec, 1600 secs
lola: 14696482 markings, 26123296 edges, 8867 markings/sec, 1605 secs
lola: 14743388 markings, 26206985 edges, 9381 markings/sec, 1610 secs
lola: 14792404 markings, 26288137 edges, 9803 markings/sec, 1615 secs
lola: 14836575 markings, 26377100 edges, 8834 markings/sec, 1620 secs
lola: 14884556 markings, 26461004 edges, 9596 markings/sec, 1625 secs
lola: 14931613 markings, 26549089 edges, 9411 markings/sec, 1630 secs
lola: 14977467 markings, 26636257 edges, 9171 markings/sec, 1635 secs
lola: 15027042 markings, 26717242 edges, 9915 markings/sec, 1640 secs
lola: 15072426 markings, 26807340 edges, 9077 markings/sec, 1645 secs
lola: 15120012 markings, 26891757 edges, 9517 markings/sec, 1650 secs
lola: 15168185 markings, 26977186 edges, 9635 markings/sec, 1655 secs
lola: 15211973 markings, 27065358 edges, 8758 markings/sec, 1660 secs
lola: 15260181 markings, 27144109 edges, 9642 markings/sec, 1665 secs
lola: 15304572 markings, 27232202 edges, 8878 markings/sec, 1670 secs
lola: 15351265 markings, 27314728 edges, 9339 markings/sec, 1675 secs
lola: 15396893 markings, 27402853 edges, 9126 markings/sec, 1680 secs
lola: 15442298 markings, 27485972 edges, 9081 markings/sec, 1685 secs
lola: 15490600 markings, 27566223 edges, 9660 markings/sec, 1690 secs
lola: 15534218 markings, 27654728 edges, 8724 markings/sec, 1695 secs
lola: 15582361 markings, 27737427 edges, 9629 markings/sec, 1700 secs
lola: 15626918 markings, 27825674 edges, 8911 markings/sec, 1705 secs
lola: 15674236 markings, 27908682 edges, 9464 markings/sec, 1710 secs
lola: 15719201 markings, 27996765 edges, 8993 markings/sec, 1715 secs
lola: 15765608 markings, 28079447 edges, 9281 markings/sec, 1720 secs
lola: 15811169 markings, 28167848 edges, 9112 markings/sec, 1725 secs
lola: 15857953 markings, 28251792 edges, 9357 markings/sec, 1730 secs
lola: 15903746 markings, 28340270 edges, 9159 markings/sec, 1735 secs
lola: 15950728 markings, 28424250 edges, 9396 markings/sec, 1740 secs
lola: 15996288 markings, 28512639 edges, 9112 markings/sec, 1745 secs
lola: 16043383 markings, 28596531 edges, 9419 markings/sec, 1750 secs
lola: 16089156 markings, 28685874 edges, 9155 markings/sec, 1755 secs
lola: 16137714 markings, 28772000 edges, 9712 markings/sec, 1760 secs
lola: 16183509 markings, 28866170 edges, 9159 markings/sec, 1765 secs
lola: 16232369 markings, 28952278 edges, 9772 markings/sec, 1770 secs
lola: 16278862 markings, 29041953 edges, 9299 markings/sec, 1775 secs
lola: 16325843 markings, 29132109 edges, 9396 markings/sec, 1780 secs
lola: 16372629 markings, 29215984 edges, 9357 markings/sec, 1785 secs
lola: 16416920 markings, 29306588 edges, 8858 markings/sec, 1790 secs
lola: 16463007 markings, 29393800 edges, 9217 markings/sec, 1795 secs
lola: 16509332 markings, 29477339 edges, 9265 markings/sec, 1800 secs
lola: 16553766 markings, 29568438 edges, 8887 markings/sec, 1805 secs
lola: 16600288 markings, 29656200 edges, 9304 markings/sec, 1810 secs
lola: 16647339 markings, 29741222 edges, 9410 markings/sec, 1815 secs
lola: 16692221 markings, 29831636 edges, 8976 markings/sec, 1820 secs
lola: 16737959 markings, 29921547 edges, 9148 markings/sec, 1825 secs
lola: 16784410 markings, 30011937 edges, 9290 markings/sec, 1830 secs
lola: 16831142 markings, 30101145 edges, 9346 markings/sec, 1835 secs
lola: 16877840 markings, 30189444 edges, 9340 markings/sec, 1840 secs
lola: 16924172 markings, 30281904 edges, 9266 markings/sec, 1845 secs
lola: 16971161 markings, 30375168 edges, 9398 markings/sec, 1850 secs
lola: 17018167 markings, 30468443 edges, 9401 markings/sec, 1855 secs
lola: 17064424 markings, 30560789 edges, 9251 markings/sec, 1860 secs
lola: 17110275 markings, 30652836 edges, 9170 markings/sec, 1865 secs
lola: 17155222 markings, 30745904 edges, 8989 markings/sec, 1870 secs
lola: 17200500 markings, 30840200 edges, 9056 markings/sec, 1875 secs
lola: 17246534 markings, 30933542 edges, 9207 markings/sec, 1880 secs
lola: 17292726 markings, 31031555 edges, 9238 markings/sec, 1885 secs
lola: 17339835 markings, 31128220 edges, 9422 markings/sec, 1890 secs
lola: 17384857 markings, 31226991 edges, 9004 markings/sec, 1895 secs
lola: 17429884 markings, 31325399 edges, 9005 markings/sec, 1900 secs
lola: 17475755 markings, 31425374 edges, 9174 markings/sec, 1905 secs
lola: 17520823 markings, 31530629 edges, 9014 markings/sec, 1910 secs
lola: 17565980 markings, 31645115 edges, 9031 markings/sec, 1915 secs
lola: 17610335 markings, 31777469 edges, 8871 markings/sec, 1920 secs
lola: 17679154 markings, 31915000 edges, 13764 markings/sec, 1925 secs
lola: 17763767 markings, 32046663 edges, 16923 markings/sec, 1930 secs
lola: 17827262 markings, 32171218 edges, 12699 markings/sec, 1935 secs
lola: 17888435 markings, 32290985 edges, 12235 markings/sec, 1940 secs
lola: 17966820 markings, 32419719 edges, 15677 markings/sec, 1945 secs
lola: 18043352 markings, 32551813 edges, 15306 markings/sec, 1950 secs
lola: 18095628 markings, 32669013 edges, 10455 markings/sec, 1955 secs
lola: 18167194 markings, 32790076 edges, 14313 markings/sec, 1960 secs
lola: 18249508 markings, 32918721 edges, 16463 markings/sec, 1965 secs
lola: 18310059 markings, 33039670 edges, 12110 markings/sec, 1970 secs
lola: 18371280 markings, 33158613 edges, 12244 markings/sec, 1975 secs
lola: 18451434 markings, 33290018 edges, 16031 markings/sec, 1980 secs
lola: 18523340 markings, 33419404 edges, 14381 markings/sec, 1985 secs
lola: 18578993 markings, 33537465 edges, 11131 markings/sec, 1990 secs
lola: 18655011 markings, 33663332 edges, 15204 markings/sec, 1995 secs
lola: 18736038 markings, 33798774 edges, 16205 markings/sec, 2000 secs
lola: 18788263 markings, 33912391 edges, 10445 markings/sec, 2005 secs
lola: 18858094 markings, 34036417 edges, 13966 markings/sec, 2010 secs
lola: 18941142 markings, 34166518 edges, 16610 markings/sec, 2015 secs
lola: 19000393 markings, 34287139 edges, 11850 markings/sec, 2020 secs
lola: 19063642 markings, 34406976 edges, 12650 markings/sec, 2025 secs
lola: 19146209 markings, 34541372 edges, 16513 markings/sec, 2030 secs
lola: 19211170 markings, 34666627 edges, 12992 markings/sec, 2035 secs
lola: 19272318 markings, 34785819 edges, 12230 markings/sec, 2040 secs
lola: 19353128 markings, 34918138 edges, 16162 markings/sec, 2045 secs
lola: 19421324 markings, 35045268 edges, 13639 markings/sec, 2050 secs
lola: 19480638 markings, 35164324 edges, 11863 markings/sec, 2055 secs
lola: 19559161 markings, 35293793 edges, 15705 markings/sec, 2060 secs
lola: 19630978 markings, 35422769 edges, 14363 markings/sec, 2065 secs
lola: 19687995 markings, 35541781 edges, 11403 markings/sec, 2070 secs
lola: 19767322 markings, 35672839 edges, 15865 markings/sec, 2075 secs
lola: 19839565 markings, 35803400 edges, 14449 markings/sec, 2080 secs
lola: 19899078 markings, 35924263 edges, 11903 markings/sec, 2085 secs
lola: 19979324 markings, 36056579 edges, 16049 markings/sec, 2090 secs
lola: 20048745 markings, 36185092 edges, 13884 markings/sec, 2095 secs
lola: 20110134 markings, 36306836 edges, 12278 markings/sec, 2100 secs
lola: 20191867 markings, 36441139 edges, 16347 markings/sec, 2105 secs
lola: 20258887 markings, 36569101 edges, 13404 markings/sec, 2110 secs
lola: 20321371 markings, 36690547 edges, 12497 markings/sec, 2115 secs
lola: 20403553 markings, 36825145 edges, 16436 markings/sec, 2120 secs
lola: 20463997 markings, 36948124 edges, 12089 markings/sec, 2125 secs
lola: 20530067 markings, 37073228 edges, 13214 markings/sec, 2130 secs
lola: 20613216 markings, 37205942 edges, 16630 markings/sec, 2135 secs
lola: 20667146 markings, 37324717 edges, 10786 markings/sec, 2140 secs
lola: 20739348 markings, 37450958 edges, 14440 markings/sec, 2145 secs
lola: 20818564 markings, 37585000 edges, 15843 markings/sec, 2150 secs
lola: 20872477 markings, 37702436 edges, 10783 markings/sec, 2155 secs
lola: 20950149 markings, 37831335 edges, 15534 markings/sec, 2160 secs
lola: 21020068 markings, 37960097 edges, 13984 markings/sec, 2165 secs
lola: 21081136 markings, 38080156 edges, 12214 markings/sec, 2170 secs
lola: 21162708 markings, 38214321 edges, 16314 markings/sec, 2175 secs
lola: 21221027 markings, 38336342 edges, 11664 markings/sec, 2180 secs
lola: 21291026 markings, 38463170 edges, 14000 markings/sec, 2185 secs
lola: 21369512 markings, 38596539 edges, 15697 markings/sec, 2190 secs
lola: 21425340 markings, 38715250 edges, 11166 markings/sec, 2195 secs
lola: 21505359 markings, 38848163 edges, 16004 markings/sec, 2200 secs
lola: 21569888 markings, 38975256 edges, 12906 markings/sec, 2205 secs
lola: 21638879 markings, 39104577 edges, 13798 markings/sec, 2210 secs
lola: 21717242 markings, 39238747 edges, 15673 markings/sec, 2215 secs
lola: 21775570 markings, 39359443 edges, 11666 markings/sec, 2220 secs
lola: 21856066 markings, 39492931 edges, 16099 markings/sec, 2225 secs
lola: 21917421 markings, 39617770 edges, 12271 markings/sec, 2230 secs
lola: 21987699 markings, 39746016 edges, 14056 markings/sec, 2235 secs
lola: 22060956 markings, 39876947 edges, 14651 markings/sec, 2240 secs
lola: 22121406 markings, 39997138 edges, 12090 markings/sec, 2245 secs
lola: 22202758 markings, 40132969 edges, 16270 markings/sec, 2250 secs
lola: 22257933 markings, 40254328 edges, 11035 markings/sec, 2255 secs
lola: 22334784 markings, 40382416 edges, 15370 markings/sec, 2260 secs
lola: 22398380 markings, 40507289 edges, 12719 markings/sec, 2265 secs
lola: 22466931 markings, 40635423 edges, 13710 markings/sec, 2270 secs
lola: 22539625 markings, 40766529 edges, 14539 markings/sec, 2275 secs
lola: 22601713 markings, 40891623 edges, 12418 markings/sec, 2280 secs
lola: 22680512 markings, 41025934 edges, 15760 markings/sec, 2285 secs
lola: 22738825 markings, 41145151 edges, 11663 markings/sec, 2290 secs
lola: 22818961 markings, 41279679 edges, 16027 markings/sec, 2295 secs
lola: 22875316 markings, 41402559 edges, 11271 markings/sec, 2300 secs
lola: 22954335 markings, 41535150 edges, 15804 markings/sec, 2305 secs
lola: 23013219 markings, 41661783 edges, 11777 markings/sec, 2310 secs
lola: 23091570 markings, 41793137 edges, 15670 markings/sec, 2315 secs
lola: 23151217 markings, 41921324 edges, 11929 markings/sec, 2320 secs
lola: 23228906 markings, 42051438 edges, 15538 markings/sec, 2325 secs
lola: 23288969 markings, 42178209 edges, 12013 markings/sec, 2330 secs
lola: 23366503 markings, 42310710 edges, 15507 markings/sec, 2335 secs
lola: 23427126 markings, 42439238 edges, 12125 markings/sec, 2340 secs
lola: 23505581 markings, 42571331 edges, 15691 markings/sec, 2345 secs
lola: 23565292 markings, 42698141 edges, 11942 markings/sec, 2350 secs
lola: 23645491 markings, 42833948 edges, 16040 markings/sec, 2355 secs
lola: 23704778 markings, 42959788 edges, 11857 markings/sec, 2360 secs
lola: 23782434 markings, 43097540 edges, 15531 markings/sec, 2365 secs
lola: 23842989 markings, 43223363 edges, 12111 markings/sec, 2370 secs
lola: 23916703 markings, 43355341 edges, 14743 markings/sec, 2375 secs
lola: 23984583 markings, 43486037 edges, 13576 markings/sec, 2380 secs
lola: 24051597 markings, 43616218 edges, 13403 markings/sec, 2385 secs
lola: 24125860 markings, 43749440 edges, 14853 markings/sec, 2390 secs
lola: 24187163 markings, 43877121 edges, 12261 markings/sec, 2395 secs
lola: 24262683 markings, 44012868 edges, 15104 markings/sec, 2400 secs
lola: 24326132 markings, 44140545 edges, 12690 markings/sec, 2405 secs
lola: 24393908 markings, 44269395 edges, 13555 markings/sec, 2410 secs
lola: 24468538 markings, 44405086 edges, 14926 markings/sec, 2415 secs
lola: 24530591 markings, 44534657 edges, 12411 markings/sec, 2420 secs
lola: 24602624 markings, 44669604 edges, 14407 markings/sec, 2425 secs
lola: 24675913 markings, 44805341 edges, 14658 markings/sec, 2430 secs
lola: 24738846 markings, 44935931 edges, 12587 markings/sec, 2435 secs
lola: 24809631 markings, 45070619 edges, 14157 markings/sec, 2440 secs
lola: 24883093 markings, 45205932 edges, 14692 markings/sec, 2445 secs
lola: 24945977 markings, 45338187 edges, 12577 markings/sec, 2450 secs
lola: 25013388 markings, 45473052 edges, 13482 markings/sec, 2455 secs
lola: 25086863 markings, 45606827 edges, 14695 markings/sec, 2460 secs
lola: 25154243 markings, 45737613 edges, 13476 markings/sec, 2465 secs
lola: 25216949 markings, 45869781 edges, 12541 markings/sec, 2470 secs
lola: 25284056 markings, 46001240 edges, 13421 markings/sec, 2475 secs
lola: 25356266 markings, 46137354 edges, 14442 markings/sec, 2480 secs
lola: 25428465 markings, 46277170 edges, 14440 markings/sec, 2485 secs
lola: 25494515 markings, 46408759 edges, 13210 markings/sec, 2490 secs
lola: 25559648 markings, 46543508 edges, 13027 markings/sec, 2495 secs
lola: 25625528 markings, 46675649 edges, 13176 markings/sec, 2500 secs
lola: 25692113 markings, 46809726 edges, 13317 markings/sec, 2505 secs
lola: 25758954 markings, 46942261 edges, 13368 markings/sec, 2510 secs
lola: 25826192 markings, 47076589 edges, 13448 markings/sec, 2515 secs
lola: 25893412 markings, 47211233 edges, 13444 markings/sec, 2520 secs
lola: 25960303 markings, 47345272 edges, 13378 markings/sec, 2525 secs
lola: 26026295 markings, 47481596 edges, 13198 markings/sec, 2530 secs
lola: 26092214 markings, 47620151 edges, 13184 markings/sec, 2535 secs
lola: 26159406 markings, 47756530 edges, 13438 markings/sec, 2540 secs
lola: 26225339 markings, 47893909 edges, 13187 markings/sec, 2545 secs
lola: 26293030 markings, 48029092 edges, 13538 markings/sec, 2550 secs
lola: 26360735 markings, 48167615 edges, 13541 markings/sec, 2555 secs
lola: 26423426 markings, 48304540 edges, 12538 markings/sec, 2560 secs
lola: 26489730 markings, 48445115 edges, 13261 markings/sec, 2565 secs
lola: 26557650 markings, 48586289 edges, 13584 markings/sec, 2570 secs
lola: 26620951 markings, 48726686 edges, 12660 markings/sec, 2575 secs
lola: 26687160 markings, 48867604 edges, 13242 markings/sec, 2580 secs
lola: 26754377 markings, 49011673 edges, 13443 markings/sec, 2585 secs
lola: 26818428 markings, 49154765 edges, 12810 markings/sec, 2590 secs
lola: 26882951 markings, 49299934 edges, 12905 markings/sec, 2595 secs
lola: 26946462 markings, 49446762 edges, 12702 markings/sec, 2600 secs
lola: 27008587 markings, 49595097 edges, 12425 markings/sec, 2605 secs
lola: 27071365 markings, 49744850 edges, 12556 markings/sec, 2610 secs
lola: 27134663 markings, 49899865 edges, 12660 markings/sec, 2615 secs
lola: 27194478 markings, 50058547 edges, 11963 markings/sec, 2620 secs
lola: 27253530 markings, 50230600 edges, 11810 markings/sec, 2625 secs
lola: 27310385 markings, 50433003 edges, 11371 markings/sec, 2630 secs
lola: 27387280 markings, 50560338 edges, 15379 markings/sec, 2635 secs
lola: 27471433 markings, 50695482 edges, 16831 markings/sec, 2640 secs
lola: 27562096 markings, 50827365 edges, 18133 markings/sec, 2645 secs
lola: 27651734 markings, 50955455 edges, 17928 markings/sec, 2650 secs
lola: 27741382 markings, 51088638 edges, 17930 markings/sec, 2655 secs
lola: 27806373 markings, 51209000 edges, 12998 markings/sec, 2660 secs
lola: 27866989 markings, 51326729 edges, 12123 markings/sec, 2665 secs
lola: 27939535 markings, 51451508 edges, 14509 markings/sec, 2670 secs
lola: 28021117 markings, 51578737 edges, 16316 markings/sec, 2675 secs
lola: 28109708 markings, 51714246 edges, 17718 markings/sec, 2680 secs
lola: 28199900 markings, 51842644 edges, 18038 markings/sec, 2685 secs
lola: 28290238 markings, 51974218 edges, 18068 markings/sec, 2690 secs
lola: 28363306 markings, 52102148 edges, 14614 markings/sec, 2695 secs
lola: 28424227 markings, 52217443 edges, 12184 markings/sec, 2700 secs
lola: 28493523 markings, 52339641 edges, 13859 markings/sec, 2705 secs
lola: 28576134 markings, 52472953 edges, 16522 markings/sec, 2710 secs
lola: 28662748 markings, 52608852 edges, 17323 markings/sec, 2715 secs
lola: 28751446 markings, 52734727 edges, 17740 markings/sec, 2720 secs
lola: 28840759 markings, 52863831 edges, 17863 markings/sec, 2725 secs
lola: 28920608 markings, 52996515 edges, 15970 markings/sec, 2730 secs
lola: 28981821 markings, 53110876 edges, 12243 markings/sec, 2735 secs
lola: 29048209 markings, 53232111 edges, 13278 markings/sec, 2740 secs
lola: 29128882 markings, 53364517 edges, 16135 markings/sec, 2745 secs
lola: 29215967 markings, 53502769 edges, 17417 markings/sec, 2750 secs
lola: 29307344 markings, 53632565 edges, 18275 markings/sec, 2755 secs
lola: 29397711 markings, 53763436 edges, 18073 markings/sec, 2760 secs
lola: 29475335 markings, 53895093 edges, 15525 markings/sec, 2765 secs
lola: 29536805 markings, 54010897 edges, 12294 markings/sec, 2770 secs
lola: 29605318 markings, 54132923 edges, 13703 markings/sec, 2775 secs
lola: 29688323 markings, 54267227 edges, 16601 markings/sec, 2780 secs
lola: 29775911 markings, 54403734 edges, 17518 markings/sec, 2785 secs
lola: 29866659 markings, 54532828 edges, 18150 markings/sec, 2790 secs
lola: 29957154 markings, 54664940 edges, 18099 markings/sec, 2795 secs
lola: 30029504 markings, 54792721 edges, 14470 markings/sec, 2800 secs
lola: 30090931 markings, 54910080 edges, 12285 markings/sec, 2805 secs
lola: 30160910 markings, 55035012 edges, 13996 markings/sec, 2810 secs
lola: 30245539 markings, 55167198 edges, 16926 markings/sec, 2815 secs
lola: 30334187 markings, 55302337 edges, 17730 markings/sec, 2820 secs
lola: 30424225 markings, 55430755 edges, 18008 markings/sec, 2825 secs
lola: 30514151 markings, 55563381 edges, 17985 markings/sec, 2830 secs
lola: 30581611 markings, 55686604 edges, 13492 markings/sec, 2835 secs
lola: 30642735 markings, 55806737 edges, 12225 markings/sec, 2840 secs
lola: 30718855 markings, 55934824 edges, 15224 markings/sec, 2845 secs
lola: 30803162 markings, 56073621 edges, 16861 markings/sec, 2850 secs
lola: 30893780 markings, 56201833 edges, 18124 markings/sec, 2855 secs
lola: 30982710 markings, 56329929 edges, 17786 markings/sec, 2860 secs
lola: 31066482 markings, 56464629 edges, 16754 markings/sec, 2865 secs
lola: 31126358 markings, 56576795 edges, 11975 markings/sec, 2870 secs
lola: 31192539 markings, 56697788 edges, 13236 markings/sec, 2875 secs
lola: 31273579 markings, 56830723 edges, 16208 markings/sec, 2880 secs
lola: 31359676 markings, 56966241 edges, 17219 markings/sec, 2885 secs
lola: 31447783 markings, 57091675 edges, 17621 markings/sec, 2890 secs
lola: 31536357 markings, 57221101 edges, 17715 markings/sec, 2895 secs
lola: 31606688 markings, 57345658 edges, 14066 markings/sec, 2900 secs
lola: 31666581 markings, 57460844 edges, 11979 markings/sec, 2905 secs
lola: 31738422 markings, 57586731 edges, 14368 markings/sec, 2910 secs
lola: 31822253 markings, 57719596 edges, 16766 markings/sec, 2915 secs
lola: 31909759 markings, 57849876 edges, 17501 markings/sec, 2920 secs
lola: 31996804 markings, 57974721 edges, 17409 markings/sec, 2925 secs
lola: 32084117 markings, 58110150 edges, 17463 markings/sec, 2930 secs
lola: 32143526 markings, 58220618 edges, 11882 markings/sec, 2935 secs
lola: 32206076 markings, 58339198 edges, 12510 markings/sec, 2940 secs
lola: 32283261 markings, 58466928 edges, 15437 markings/sec, 2945 secs
lola: 32368922 markings, 58603476 edges, 17132 markings/sec, 2950 secs
lola: 32458054 markings, 58730594 edges, 17826 markings/sec, 2955 secs
lola: 32546268 markings, 58859816 edges, 17643 markings/sec, 2960 secs
lola: 32615450 markings, 58983266 edges, 13836 markings/sec, 2965 secs
lola: 32675546 markings, 59102578 edges, 12019 markings/sec, 2970 secs
lola: 32748559 markings, 59224119 edges, 14603 markings/sec, 2975 secs
lola: 32830980 markings, 59359159 edges, 16484 markings/sec, 2980 secs
lola: 32919304 markings, 59484647 edges, 17665 markings/sec, 2985 secs
lola: 33007379 markings, 59611945 edges, 17615 markings/sec, 2990 secs
lola: 33084996 markings, 59741508 edges, 15523 markings/sec, 2995 secs
lola: 33144290 markings, 59853923 edges, 11859 markings/sec, 3000 secs
lola: 33210717 markings, 59973983 edges, 13285 markings/sec, 3005 secs
lola: 33292180 markings, 60104522 edges, 16293 markings/sec, 3010 secs
lola: 33378178 markings, 60235346 edges, 17200 markings/sec, 3015 secs
lola: 33465429 markings, 60360620 edges, 17450 markings/sec, 3020 secs
lola: 33551811 markings, 60495337 edges, 17276 markings/sec, 3025 secs
lola: 33611683 markings, 60606951 edges, 11974 markings/sec, 3030 secs
lola: 33675544 markings, 60725882 edges, 12772 markings/sec, 3035 secs
lola: 33753458 markings, 60854475 edges, 15583 markings/sec, 3040 secs
lola: 33838333 markings, 60987170 edges, 16975 markings/sec, 3045 secs
lola: 33926139 markings, 61113015 edges, 17561 markings/sec, 3050 secs
lola: 34013899 markings, 61247268 edges, 17552 markings/sec, 3055 secs
lola: 34073324 markings, 61359412 edges, 11885 markings/sec, 3060 secs
lola: 34137564 markings, 61478644 edges, 12848 markings/sec, 3065 secs
lola: 34217586 markings, 61610374 edges, 16004 markings/sec, 3070 secs
lola: 34304509 markings, 61745402 edges, 17385 markings/sec, 3075 secs
lola: 34394170 markings, 61874007 edges, 17932 markings/sec, 3080 secs
lola: 34481030 markings, 62010989 edges, 17372 markings/sec, 3085 secs
lola: 34542162 markings, 62125569 edges, 12226 markings/sec, 3090 secs
lola: 34608904 markings, 62247386 edges, 13348 markings/sec, 3095 secs
lola: 34690698 markings, 62381062 edges, 16359 markings/sec, 3100 secs
lola: 34778104 markings, 62514167 edges, 17481 markings/sec, 3105 secs
lola: 34867330 markings, 62642658 edges, 17845 markings/sec, 3110 secs
lola: 34950030 markings, 62776962 edges, 16540 markings/sec, 3115 secs
lola: 35010737 markings, 62891765 edges, 12141 markings/sec, 3120 secs
lola: 35079108 markings, 63017865 edges, 13674 markings/sec, 3125 secs
lola: 35162270 markings, 63153246 edges, 16632 markings/sec, 3130 secs
lola: 35252182 markings, 63282871 edges, 17982 markings/sec, 3135 secs
lola: 35342215 markings, 63414445 edges, 18007 markings/sec, 3140 secs
lola: 35413361 markings, 63540930 edges, 14229 markings/sec, 3145 secs
lola: 35476650 markings, 63662349 edges, 12658 markings/sec, 3150 secs
lola: 35553935 markings, 63790569 edges, 15457 markings/sec, 3155 secs
lola: 35639620 markings, 63925582 edges, 17137 markings/sec, 3160 secs
lola: 35729178 markings, 64054148 edges, 17912 markings/sec, 3165 secs
lola: 35815475 markings, 64190759 edges, 17259 markings/sec, 3170 secs
lola: 35876298 markings, 64305525 edges, 12165 markings/sec, 3175 secs
lola: 35943703 markings, 64430974 edges, 13481 markings/sec, 3180 secs
lola: 36026361 markings, 64563563 edges, 16532 markings/sec, 3185 secs
lola: 36114822 markings, 64693703 edges, 17692 markings/sec, 3190 secs
lola: 36203944 markings, 64823427 edges, 17824 markings/sec, 3195 secs
lola: 36276577 markings, 64950482 edges, 14527 markings/sec, 3200 secs
lola: 36338337 markings, 65070830 edges, 12352 markings/sec, 3205 secs
lola: 36414205 markings, 65197160 edges, 15174 markings/sec, 3210 secs
lola: 36499661 markings, 65331947 edges, 17091 markings/sec, 3215 secs
lola: 36590007 markings, 65461974 edges, 18069 markings/sec, 3220 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 2 1 unknown 5 5 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 2 1 unknown 5 5 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 2 1 unknown 5 5 1 1 1 1 1 1 1 1 1
lola: memory consumption: 2908392 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 2 1 unknown 5 5 1 1 1 1 1 1 1 1 1
lola: memory consumption: 2908464 KB
lola: time consumption: 3570 seconds

BK_STOP 1527229783985

--------------------
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="PolyORBNT-PT-S05J40"
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/PolyORBNT-PT-S05J40.tgz
mv PolyORBNT-PT-S05J40 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 PolyORBNT-PT-S05J40, 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 r124-smll-152673527200345"
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 ;