fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r022-csrt-155225094700196
Last Updated
Apr 15, 2019

About the Execution of 2018-Gold for BridgeAndVehicles-PT-V50P20N50

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
416.790 3569491.00 3710416.00 457.40 50 1 20 ? 1 50 1 50 1 1 1 1 20 1 1 1 normal

Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r022-csrt-155225094700196.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is BridgeAndVehicles-PT-V50P20N50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094700196
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.2M
-rw-r--r-- 1 mcc users 9.4K Feb 9 08:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 32K Feb 9 08:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 367K Feb 5 05:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.0M Feb 5 05:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 117 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 355 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 7.5K Feb 4 22:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 4 22:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 125K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 336K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 2 01:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 2 01:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 306K Jan 29 12:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 879K Jan 29 12:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col

-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 6.0M Mar 10 17:31 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1552409365783

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P20N50 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P20N50 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-PT-V50P20N50 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5576/65536 symbol table entries, 632 collisions
lola: preprocessing...
lola: Size of bit vector: 5376
lola: finding significant places
lola: 168 places, 5408 transitions, 161 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5813 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V50P20N50-UpperBounds.task
lola: MAX(ATTENTE_A) : MAX(CHOIX_1 + CHOIX_2) : MAX(SUR_PONT_B) : MAX(ATTENTE_B) : MAX(CHOIX_1 + CHOIX_2) : MAX(SORTI_A) : MAX(CHOIX_1 + CHOIX_2) : MAX(ROUTE_A) : MAX(COMPTEUR_25) : MAX(COMPTEUR_22) : MAX(COMPTEUR_8) : MAX(NB_ATTENTE_B_8) : MAX(CAPACITE) : MAX(COMPTEUR_46) : MAX(COMPTEUR_41) : MAX(NB_ATTENTE_B_20)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_A)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-0 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_B)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 64 markings, 63 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-2 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_B)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 4294967295
lola: 2 markings, 1 edges, 0 markings/sec, 25 secs
lola: 18914 markings, 30957 edges, 3782 markings/sec, 30 secs
lola: 42038 markings, 69950 edges, 4625 markings/sec, 35 secs
lola: 58830 markings, 97170 edges, 3358 markings/sec, 40 secs
lola: 60870 markings, 100230 edges, 408 markings/sec, 45 secs
lola: 77428 markings, 127225 edges, 3312 markings/sec, 50 secs
lola: 101182 markings, 167270 edges, 4751 markings/sec, 55 secs
lola: 117142 markings, 193067 edges, 3192 markings/sec, 60 secs
lola: 119182 markings, 196127 edges, 408 markings/sec, 65 secs
lola: 136966 markings, 225190 edges, 3557 markings/sec, 70 secs
lola: 161280 markings, 265460 edges, 4863 markings/sec, 75 secs
lola: 173024 markings, 284813 edges, 2349 markings/sec, 80 secs
lola: 175064 markings, 287802 edges, 408 markings/sec, 85 secs
lola: 197800 markings, 325375 edges, 4547 markings/sec, 90 secs
lola: 222080 markings, 364765 edges, 4856 markings/sec, 95 secs
lola: 226348 markings, 372233 edges, 854 markings/sec, 100 secs
lola: 231920 markings, 380699 edges, 1114 markings/sec, 105 secs
lola: 253740 markings, 417286 edges, 4364 markings/sec, 110 secs
lola: 274696 markings, 451717 edges, 4191 markings/sec, 115 secs
lola: 276666 markings, 454672 edges, 394 markings/sec, 120 secs
lola: 286326 markings, 469940 edges, 1932 markings/sec, 125 secs
lola: 309558 markings, 508796 edges, 4646 markings/sec, 130 secs
lola: 323032 markings, 530728 edges, 2695 markings/sec, 135 secs
lola: 325102 markings, 533833 edges, 414 markings/sec, 140 secs
lola: 345806 markings, 567868 edges, 4141 markings/sec, 145 secs
lola: 367242 markings, 603112 edges, 4287 markings/sec, 150 secs
lola: 369240 markings, 606109 edges, 400 markings/sec, 155 secs
lola: 380873 markings, 624738 edges, 2327 markings/sec, 160 secs
lola: 404740 markings, 664001 edges, 4773 markings/sec, 165 secs
lola: 411276 markings, 674811 edges, 1307 markings/sec, 170 secs
lola: 417434 markings, 684223 edges, 1232 markings/sec, 175 secs
lola: 441274 markings, 723583 edges, 4768 markings/sec, 180 secs
lola: 451162 markings, 739884 edges, 1978 markings/sec, 185 secs
lola: 453144 markings, 742760 edges, 396 markings/sec, 190 secs
lola: 475478 markings, 779696 edges, 4467 markings/sec, 195 secs
lola: 488838 markings, 801255 edges, 2672 markings/sec, 200 secs
lola: 490878 markings, 804315 edges, 408 markings/sec, 205 secs
lola: 508764 markings, 833608 edges, 3577 markings/sec, 210 secs
lola: 524380 markings, 859055 edges, 3123 markings/sec, 215 secs
lola: 526250 markings, 861860 edges, 374 markings/sec, 220 secs
lola: 539436 markings, 883150 edges, 2637 markings/sec, 225 secs
lola: 557966 markings, 913568 edges, 3706 markings/sec, 230 secs
lola: 559880 markings, 916439 edges, 383 markings/sec, 235 secs
lola: 571140 markings, 934504 edges, 2252 markings/sec, 240 secs
lola: 589778 markings, 965084 edges, 3728 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 20 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 110876 KB
lola: time consumption: 263 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SORTI_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SORTI_A)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 201 markings, 200 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-5 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ROUTE_A)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-7 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(COMPTEUR_25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(COMPTEUR_25)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 97 markings, 96 edges
lola: ========================================

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

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

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 413 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_8)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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 BridgeAndVehicles-PT-V50P20N50-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 472 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CAPACITE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CAPACITE)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-12 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 550 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(COMPTEUR_46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(COMPTEUR_46)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 181 markings, 180 edges
lola: ========================================

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

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 826 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_20)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 25 markings, 24 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1101 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CHOIX_1 + CHOIX_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CHOIX_1 + CHOIX_2)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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 BridgeAndVehicles-PT-V50P20N50-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 14 will run for 1652 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CHOIX_1 + CHOIX_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CHOIX_1 + CHOIX_2)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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 BridgeAndVehicles-PT-V50P20N50-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CHOIX_1 + CHOIX_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CHOIX_1 + CHOIX_2)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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 BridgeAndVehicles-PT-V50P20N50-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_B)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 18260 markings, 29812 edges, 3652 markings/sec, 30 secs
lola: 40904 markings, 68052 edges, 4529 markings/sec, 35 secs
lola: 58722 markings, 97008 edges, 3564 markings/sec, 40 secs
lola: 60744 markings, 100041 edges, 404 markings/sec, 45 secs
lola: 76228 markings, 125136 edges, 3097 markings/sec, 50 secs
lola: 99790 markings, 164850 edges, 4712 markings/sec, 55 secs
lola: 117066 markings, 192953 edges, 3455 markings/sec, 60 secs
lola: 118978 markings, 195821 edges, 382 markings/sec, 65 secs
lola: 132762 markings, 218134 edges, 2757 markings/sec, 70 secs
lola: 154990 markings, 255598 edges, 4446 markings/sec, 75 secs
lola: 172478 markings, 283994 edges, 3498 markings/sec, 80 secs
lola: 174534 markings, 287078 edges, 411 markings/sec, 85 secs
lola: 190876 markings, 313706 edges, 3268 markings/sec, 90 secs
lola: 214834 markings, 353306 edges, 4792 markings/sec, 95 secs
lola: 225728 markings, 371303 edges, 2179 markings/sec, 100 secs
lola: 227716 markings, 374237 edges, 398 markings/sec, 105 secs
lola: 249344 markings, 409841 edges, 4326 markings/sec, 110 secs
lola: 273496 markings, 449415 edges, 4830 markings/sec, 115 secs
lola: 276594 markings, 454564 edges, 620 markings/sec, 120 secs
lola: 285240 markings, 468142 edges, 1729 markings/sec, 125 secs
lola: 308917 markings, 507992 edges, 4735 markings/sec, 130 secs
lola: 322944 markings, 530596 edges, 2805 markings/sec, 135 secs
lola: 324936 markings, 533584 edges, 398 markings/sec, 140 secs
lola: 343150 markings, 563345 edges, 3643 markings/sec, 145 secs
lola: 366234 markings, 601241 edges, 4617 markings/sec, 150 secs
lola: 368866 markings, 605548 edges, 526 markings/sec, 155 secs
lola: 374386 markings, 613943 edges, 1104 markings/sec, 160 secs
lola: 396210 markings, 650537 edges, 4365 markings/sec, 165 secs
lola: 410408 markings, 673509 edges, 2840 markings/sec, 170 secs
lola: 412392 markings, 676485 edges, 397 markings/sec, 175 secs
lola: 429330 markings, 704095 edges, 3388 markings/sec, 180 secs
lola: 450116 markings, 738315 edges, 4157 markings/sec, 185 secs
lola: 452144 markings, 741357 edges, 406 markings/sec, 190 secs
lola: 464456 markings, 761149 edges, 2462 markings/sec, 195 secs
lola: 487952 markings, 799926 edges, 4699 markings/sec, 200 secs
lola: 490002 markings, 803001 edges, 410 markings/sec, 205 secs
lola: 500572 markings, 819837 edges, 2114 markings/sec, 210 secs
lola: 523850 markings, 858260 edges, 4656 markings/sec, 215 secs
lola: 525890 markings, 861320 edges, 408 markings/sec, 220 secs
lola: 536352 markings, 878011 edges, 2092 markings/sec, 225 secs
lola: 557826 markings, 913358 edges, 4295 markings/sec, 230 secs
lola: 559874 markings, 916430 edges, 410 markings/sec, 235 secs
lola: 572532 markings, 936845 edges, 2532 markings/sec, 240 secs
lola: 590020 markings, 965447 edges, 3498 markings/sec, 245 secs
lola: 592070 markings, 968522 edges, 410 markings/sec, 250 secs
lola: 608839 markings, 995811 edges, 3354 markings/sec, 255 secs
lola: 620490 markings, 1014631 edges, 2330 markings/sec, 260 secs
lola: 622552 markings, 1017638 edges, 412 markings/sec, 265 secs
lola: 645512 markings, 1054463 edges, 4592 markings/sec, 270 secs
lola: 649332 markings, 1061071 edges, 764 markings/sec, 275 secs
lola: 657898 markings, 1074572 edges, 1713 markings/sec, 280 secs
lola: 674314 markings, 1101436 edges, 3283 markings/sec, 285 secs
lola: 676178 markings, 1104232 edges, 373 markings/sec, 290 secs
lola: 688490 markings, 1124089 edges, 2462 markings/sec, 295 secs
lola: 699540 markings, 1141899 edges, 2210 markings/sec, 300 secs
lola: 701402 markings, 1144692 edges, 372 markings/sec, 305 secs
lola: 718232 markings, 1171605 edges, 3366 markings/sec, 310 secs
lola: 723372 markings, 1180020 edges, 1028 markings/sec, 315 secs
lola: 729594 markings, 1189603 edges, 1244 markings/sec, 320 secs
lola: 744234 markings, 1213452 edges, 2928 markings/sec, 325 secs
lola: 746284 markings, 1216527 edges, 410 markings/sec, 330 secs
lola: 763814 markings, 1244744 edges, 3506 markings/sec, 335 secs
lola: 765862 markings, 1247816 edges, 410 markings/sec, 340 secs
lola: 777678 markings, 1266312 edges, 2363 markings/sec, 345 secs
lola: 784258 markings, 1277132 edges, 1316 markings/sec, 350 secs
lola: 790338 markings, 1286469 edges, 1216 markings/sec, 355 secs
lola: 801548 markings, 1304606 edges, 2242 markings/sec, 360 secs
lola: 803600 markings, 1307586 edges, 410 markings/sec, 365 secs
lola: 817766 markings, 1330307 edges, 2833 markings/sec, 370 secs
lola: 819824 markings, 1333394 edges, 412 markings/sec, 375 secs
lola: 833010 markings, 1354398 edges, 2637 markings/sec, 380 secs
lola: 835090 markings, 1357518 edges, 416 markings/sec, 385 secs
lola: 847372 markings, 1377032 edges, 2456 markings/sec, 390 secs
lola: 849388 markings, 1380056 edges, 403 markings/sec, 395 secs
lola: 860804 markings, 1398151 edges, 2283 markings/sec, 400 secs
lola: 862858 markings, 1401232 edges, 411 markings/sec, 405 secs
lola: 873532 markings, 1418107 edges, 2135 markings/sec, 410 secs
lola: 875586 markings, 1421188 edges, 411 markings/sec, 415 secs
lola: 885522 markings, 1436861 edges, 1987 markings/sec, 420 secs
lola: 887508 markings, 1439840 edges, 397 markings/sec, 425 secs
lola: 896736 markings, 1454367 edges, 1846 markings/sec, 430 secs
lola: 898724 markings, 1457349 edges, 398 markings/sec, 435 secs
lola: 907338 markings, 1470881 edges, 1723 markings/sec, 440 secs
lola: 909320 markings, 1473854 edges, 396 markings/sec, 445 secs
lola: 917392 markings, 1486508 edges, 1614 markings/sec, 450 secs
lola: 919448 markings, 1489592 edges, 411 markings/sec, 455 secs
lola: 927038 markings, 1501466 edges, 1518 markings/sec, 460 secs
lola: 929086 markings, 1504538 edges, 410 markings/sec, 465 secs
lola: 936198 markings, 1515645 edges, 1422 markings/sec, 470 secs
lola: 938262 markings, 1518741 edges, 413 markings/sec, 475 secs
lola: 944926 markings, 1529132 edges, 1333 markings/sec, 480 secs
lola: 946978 markings, 1532191 edges, 410 markings/sec, 485 secs
lola: 953238 markings, 1541956 edges, 1252 markings/sec, 490 secs
lola: 956482 markings, 1546598 edges, 649 markings/sec, 495 secs
lola: 961174 markings, 1554181 edges, 938 markings/sec, 500 secs
lola: 966694 markings, 1562750 edges, 1104 markings/sec, 505 secs
lola: 968742 markings, 1565822 edges, 410 markings/sec, 510 secs
lola: 973928 markings, 1573860 edges, 1037 markings/sec, 515 secs
lola: 975914 markings, 1576839 edges, 397 markings/sec, 520 secs
lola: 980654 markings, 1584179 edges, 948 markings/sec, 525 secs
lola: 982566 markings, 1587047 edges, 382 markings/sec, 530 secs
lola: 987004 markings, 1593905 edges, 888 markings/sec, 535 secs
lola: 988920 markings, 1596724 edges, 383 markings/sec, 540 secs
lola: 993066 markings, 1603189 edges, 829 markings/sec, 545 secs
lola: 995982 markings, 1607390 edges, 583 markings/sec, 550 secs
lola: 998818 markings, 1611956 edges, 567 markings/sec, 555 secs
lola: 1002348 markings, 1617336 edges, 706 markings/sec, 560 secs
lola: 1004268 markings, 1620216 edges, 384 markings/sec, 565 secs
lola: 1007504 markings, 1625107 edges, 647 markings/sec, 570 secs
lola: 1009448 markings, 1628023 edges, 389 markings/sec, 575 secs
lola: 1012512 markings, 1632613 edges, 613 markings/sec, 580 secs
lola: 1014498 markings, 1635514 edges, 397 markings/sec, 585 secs
lola: 1017346 markings, 1639819 edges, 570 markings/sec, 590 secs
lola: 1020004 markings, 1643725 edges, 532 markings/sec, 595 secs
lola: 1022000 markings, 1646719 edges, 399 markings/sec, 600 secs
lola: 1024492 markings, 1650342 edges, 498 markings/sec, 605 secs
lola: 1026486 markings, 1653333 edges, 399 markings/sec, 610 secs
lola: 1028856 markings, 1656740 edges, 474 markings/sec, 615 secs
lola: 1031064 markings, 1659871 edges, 442 markings/sec, 620 secs
lola: 1033056 markings, 1662859 edges, 398 markings/sec, 625 secs
lola: 1035122 markings, 1665765 edges, 413 markings/sec, 630 secs
lola: 1037112 markings, 1668750 edges, 398 markings/sec, 635 secs
lola: 1039144 markings, 1672188 edges, 406 markings/sec, 640 secs
lola: 1041068 markings, 1675449 edges, 385 markings/sec, 645 secs
lola: 1043000 markings, 1678758 edges, 386 markings/sec, 650 secs
lola: 1044918 markings, 1682025 edges, 384 markings/sec, 655 secs
lola: 1046852 markings, 1685310 edges, 387 markings/sec, 660 secs
lola: 1048718 markings, 1688522 edges, 373 markings/sec, 665 secs
lola: 1050620 markings, 1691800 edges, 380 markings/sec, 670 secs
lola: 1052464 markings, 1694897 edges, 369 markings/sec, 675 secs
lola: 1054336 markings, 1698107 edges, 374 markings/sec, 680 secs
lola: 1056204 markings, 1701307 edges, 374 markings/sec, 685 secs
lola: 1058044 markings, 1704455 edges, 368 markings/sec, 690 secs
lola: 1059790 markings, 1707436 edges, 349 markings/sec, 695 secs
lola: 1061524 markings, 1710392 edges, 347 markings/sec, 700 secs
lola: 1063240 markings, 1713389 edges, 343 markings/sec, 705 secs
lola: 1065002 markings, 1716398 edges, 352 markings/sec, 710 secs
lola: 1066838 markings, 1719527 edges, 367 markings/sec, 715 secs
lola: 1068698 markings, 1722695 edges, 372 markings/sec, 720 secs
lola: 1070594 markings, 1725923 edges, 379 markings/sec, 725 secs
lola: 1072490 markings, 1729155 edges, 379 markings/sec, 730 secs
lola: 1074294 markings, 1732305 edges, 361 markings/sec, 735 secs
lola: 1076180 markings, 1735509 edges, 377 markings/sec, 740 secs
lola: 1078070 markings, 1738718 edges, 378 markings/sec, 745 secs
lola: 1079920 markings, 1741950 edges, 370 markings/sec, 750 secs
lola: 1081682 markings, 1744953 edges, 352 markings/sec, 755 secs
lola: 1083400 markings, 1747871 edges, 344 markings/sec, 760 secs
lola: 1085118 markings, 1750789 edges, 344 markings/sec, 765 secs
lola: 1086832 markings, 1753787 edges, 343 markings/sec, 770 secs
lola: 1088544 markings, 1756691 edges, 342 markings/sec, 775 secs
lola: 1090252 markings, 1759581 edges, 342 markings/sec, 780 secs
lola: 1092004 markings, 1762605 edges, 350 markings/sec, 785 secs
lola: 1093854 markings, 1765794 edges, 370 markings/sec, 790 secs
lola: 1095736 markings, 1768989 edges, 376 markings/sec, 795 secs
lola: 1097620 markings, 1772186 edges, 377 markings/sec, 800 secs
lola: 1099494 markings, 1775362 edges, 375 markings/sec, 805 secs
lola: 1101366 markings, 1778536 edges, 374 markings/sec, 810 secs
lola: 1103268 markings, 1781757 edges, 380 markings/sec, 815 secs
lola: 1105150 markings, 1784834 edges, 376 markings/sec, 820 secs
lola: 1107030 markings, 1788012 edges, 376 markings/sec, 825 secs
lola: 1108926 markings, 1791100 edges, 379 markings/sec, 830 secs
lola: 1110730 markings, 1793895 edges, 361 markings/sec, 835 secs
lola: 1118216 markings, 1805716 edges, 1497 markings/sec, 840 secs
lola: 1121128 markings, 1810002 edges, 582 markings/sec, 845 secs
lola: 1123036 markings, 1813234 edges, 382 markings/sec, 850 secs
lola: 1124936 markings, 1816490 edges, 380 markings/sec, 855 secs
lola: 1126844 markings, 1819748 edges, 382 markings/sec, 860 secs
lola: 1128750 markings, 1822990 edges, 381 markings/sec, 865 secs
lola: 1130652 markings, 1826271 edges, 380 markings/sec, 870 secs
lola: 1132560 markings, 1829496 edges, 382 markings/sec, 875 secs
lola: 1134460 markings, 1832761 edges, 380 markings/sec, 880 secs
lola: 1136366 markings, 1836033 edges, 381 markings/sec, 885 secs
lola: 1138270 markings, 1839299 edges, 381 markings/sec, 890 secs
lola: 1140168 markings, 1842555 edges, 380 markings/sec, 895 secs
lola: 1142068 markings, 1845805 edges, 380 markings/sec, 900 secs
lola: 1143974 markings, 1849072 edges, 381 markings/sec, 905 secs
lola: 1145874 markings, 1852312 edges, 380 markings/sec, 910 secs
lola: 1147780 markings, 1855567 edges, 381 markings/sec, 915 secs
lola: 1149676 markings, 1858801 edges, 379 markings/sec, 920 secs
lola: 1151572 markings, 1862032 edges, 379 markings/sec, 925 secs
lola: 1153468 markings, 1865260 edges, 379 markings/sec, 930 secs
lola: 1155348 markings, 1868497 edges, 376 markings/sec, 935 secs
lola: 1157244 markings, 1871775 edges, 379 markings/sec, 940 secs
lola: 1159140 markings, 1874995 edges, 379 markings/sec, 945 secs
lola: 1161036 markings, 1878216 edges, 379 markings/sec, 950 secs
lola: 1162932 markings, 1881499 edges, 379 markings/sec, 955 secs
lola: 1164824 markings, 1884759 edges, 378 markings/sec, 960 secs
lola: 1166718 markings, 1887985 edges, 379 markings/sec, 965 secs
lola: 1168630 markings, 1891241 edges, 382 markings/sec, 970 secs
lola: 1170374 markings, 1894239 edges, 349 markings/sec, 975 secs
lola: 1172082 markings, 1897190 edges, 342 markings/sec, 980 secs
lola: 1173798 markings, 1900099 edges, 343 markings/sec, 985 secs
lola: 1175562 markings, 1903090 edges, 353 markings/sec, 990 secs
lola: 1177412 markings, 1906230 edges, 370 markings/sec, 995 secs
lola: 1179308 markings, 1909448 edges, 379 markings/sec, 1000 secs
lola: 1181204 markings, 1912679 edges, 379 markings/sec, 1005 secs
lola: 1183152 markings, 1915969 edges, 390 markings/sec, 1010 secs
lola: 1185064 markings, 1919209 edges, 382 markings/sec, 1015 secs
lola: 1186966 markings, 1922429 edges, 380 markings/sec, 1020 secs
lola: 1188870 markings, 1925651 edges, 381 markings/sec, 1025 secs
lola: 1190818 markings, 1928834 edges, 390 markings/sec, 1030 secs
lola: 1192780 markings, 1931995 edges, 392 markings/sec, 1035 secs
lola: 1201956 markings, 1960918 edges, 1835 markings/sec, 1040 secs
lola: 1214797 markings, 2004277 edges, 2568 markings/sec, 1045 secs
lola: 1223072 markings, 2026140 edges, 1655 markings/sec, 1050 secs
lola: 1225766 markings, 2030533 edges, 539 markings/sec, 1055 secs
lola: 1228791 markings, 2038177 edges, 605 markings/sec, 1060 secs
lola: 1229819 markings, 2041261 edges, 206 markings/sec, 1065 secs
lola: 1231314 markings, 2044048 edges, 299 markings/sec, 1070 secs
lola: 1233222 markings, 2047297 edges, 382 markings/sec, 1075 secs
lola: 1235126 markings, 2050530 edges, 381 markings/sec, 1080 secs
lola: 1237028 markings, 2053777 edges, 380 markings/sec, 1085 secs
lola: 1238928 markings, 2057061 edges, 380 markings/sec, 1090 secs
lola: 1240828 markings, 2060283 edges, 380 markings/sec, 1095 secs
lola: 1242722 markings, 2063548 edges, 379 markings/sec, 1100 secs
lola: 1244628 markings, 2066762 edges, 381 markings/sec, 1105 secs
lola: 1246516 markings, 2070003 edges, 378 markings/sec, 1110 secs
lola: 1248402 markings, 2073238 edges, 377 markings/sec, 1115 secs
lola: 1250292 markings, 2076476 edges, 378 markings/sec, 1120 secs
lola: 1252176 markings, 2079701 edges, 377 markings/sec, 1125 secs
lola: 1254074 markings, 2082948 edges, 380 markings/sec, 1130 secs
lola: 1255974 markings, 2086195 edges, 380 markings/sec, 1135 secs
lola: 1257870 markings, 2089432 edges, 379 markings/sec, 1140 secs
lola: 1259766 markings, 2092666 edges, 379 markings/sec, 1145 secs
lola: 1261666 markings, 2095904 edges, 380 markings/sec, 1150 secs
lola: 1263562 markings, 2099205 edges, 379 markings/sec, 1155 secs
lola: 1265454 markings, 2102443 edges, 378 markings/sec, 1160 secs
lola: 1267354 markings, 2105675 edges, 380 markings/sec, 1165 secs
lola: 1269252 markings, 2108900 edges, 380 markings/sec, 1170 secs
lola: 1271158 markings, 2112152 edges, 381 markings/sec, 1175 secs
lola: 1272990 markings, 2115358 edges, 366 markings/sec, 1180 secs
lola: 1274830 markings, 2118493 edges, 368 markings/sec, 1185 secs
lola: 1276662 markings, 2121611 edges, 366 markings/sec, 1190 secs
lola: 1278498 markings, 2124735 edges, 367 markings/sec, 1195 secs
lola: 1280330 markings, 2127942 edges, 366 markings/sec, 1200 secs
lola: 1282160 markings, 2131052 edges, 366 markings/sec, 1205 secs
lola: 1283996 markings, 2134171 edges, 367 markings/sec, 1210 secs
lola: 1285818 markings, 2137261 edges, 364 markings/sec, 1215 secs
lola: 1287540 markings, 2140180 edges, 344 markings/sec, 1220 secs
lola: 1289268 markings, 2143105 edges, 346 markings/sec, 1225 secs
lola: 1290986 markings, 2146010 edges, 344 markings/sec, 1230 secs
lola: 1292824 markings, 2149123 edges, 368 markings/sec, 1235 secs
lola: 1294728 markings, 2152349 edges, 381 markings/sec, 1240 secs
lola: 1296642 markings, 2155482 edges, 383 markings/sec, 1245 secs
lola: 1298548 markings, 2158681 edges, 381 markings/sec, 1250 secs
lola: 1300464 markings, 2161703 edges, 383 markings/sec, 1255 secs
lola: 1311721 markings, 2198404 edges, 2251 markings/sec, 1260 secs
lola: 1324407 markings, 2240207 edges, 2537 markings/sec, 1265 secs
lola: 1329681 markings, 2251715 edges, 1055 markings/sec, 1270 secs
lola: 1332177 markings, 2255653 edges, 499 markings/sec, 1275 secs
lola: 1334827 markings, 2263235 edges, 530 markings/sec, 1280 secs
lola: 1335863 markings, 2266343 edges, 207 markings/sec, 1285 secs
lola: 1337682 markings, 2269207 edges, 364 markings/sec, 1290 secs
lola: 1339594 markings, 2272472 edges, 382 markings/sec, 1295 secs
lola: 1341506 markings, 2275745 edges, 382 markings/sec, 1300 secs
lola: 1343410 markings, 2279008 edges, 381 markings/sec, 1305 secs
lola: 1345340 markings, 2282284 edges, 386 markings/sec, 1310 secs
lola: 1347306 markings, 2285620 edges, 393 markings/sec, 1315 secs
lola: 1349218 markings, 2288909 edges, 382 markings/sec, 1320 secs
lola: 1351116 markings, 2292170 edges, 380 markings/sec, 1325 secs
lola: 1353014 markings, 2295436 edges, 380 markings/sec, 1330 secs
lola: 1354922 markings, 2298678 edges, 382 markings/sec, 1335 secs
lola: 1356824 markings, 2301893 edges, 380 markings/sec, 1340 secs
lola: 1358726 markings, 2305143 edges, 380 markings/sec, 1345 secs
lola: 1360622 markings, 2308413 edges, 379 markings/sec, 1350 secs
lola: 1362512 markings, 2311693 edges, 378 markings/sec, 1355 secs
lola: 1364406 markings, 2314924 edges, 379 markings/sec, 1360 secs
lola: 1366298 markings, 2318151 edges, 378 markings/sec, 1365 secs
lola: 1368174 markings, 2321347 edges, 375 markings/sec, 1370 secs
lola: 1370060 markings, 2324557 edges, 377 markings/sec, 1375 secs
lola: 1371950 markings, 2327772 edges, 378 markings/sec, 1380 secs
lola: 1373836 markings, 2331072 edges, 377 markings/sec, 1385 secs
lola: 1375672 markings, 2334202 edges, 367 markings/sec, 1390 secs
lola: 1377506 markings, 2337330 edges, 367 markings/sec, 1395 secs
lola: 1379334 markings, 2340445 edges, 366 markings/sec, 1400 secs
lola: 1381168 markings, 2343573 edges, 367 markings/sec, 1405 secs
lola: 1382988 markings, 2346752 edges, 364 markings/sec, 1410 secs
lola: 1384814 markings, 2349859 edges, 365 markings/sec, 1415 secs
lola: 1386642 markings, 2352967 edges, 366 markings/sec, 1420 secs
lola: 1388472 markings, 2356076 edges, 366 markings/sec, 1425 secs
lola: 1390304 markings, 2359187 edges, 366 markings/sec, 1430 secs
lola: 1392152 markings, 2362324 edges, 370 markings/sec, 1435 secs
lola: 1394052 markings, 2365548 edges, 380 markings/sec, 1440 secs
lola: 1395958 markings, 2368785 edges, 381 markings/sec, 1445 secs
lola: 1397868 markings, 2371919 edges, 382 markings/sec, 1450 secs
lola: 1399774 markings, 2375148 edges, 381 markings/sec, 1455 secs
lola: 1401684 markings, 2378263 edges, 382 markings/sec, 1460 secs
lola: 1406779 markings, 2392247 edges, 1019 markings/sec, 1465 secs
lola: 1419428 markings, 2434869 edges, 2530 markings/sec, 1470 secs
lola: 1428416 markings, 2461405 edges, 1798 markings/sec, 1475 secs
lola: 1432068 markings, 2467717 edges, 730 markings/sec, 1480 secs
lola: 1435135 markings, 2475149 edges, 613 markings/sec, 1485 secs
lola: 1436208 markings, 2478364 edges, 215 markings/sec, 1490 secs
lola: 1437656 markings, 2481179 edges, 290 markings/sec, 1495 secs
lola: 1439572 markings, 2484431 edges, 383 markings/sec, 1500 secs
lola: 1441484 markings, 2487686 edges, 382 markings/sec, 1505 secs
lola: 1443388 markings, 2490929 edges, 381 markings/sec, 1510 secs
lola: 1445288 markings, 2494214 edges, 380 markings/sec, 1515 secs
lola: 1447208 markings, 2497470 edges, 384 markings/sec, 1520 secs
lola: 1449110 markings, 2500745 edges, 380 markings/sec, 1525 secs
lola: 1451010 markings, 2503952 edges, 380 markings/sec, 1530 secs
lola: 1452912 markings, 2507218 edges, 380 markings/sec, 1535 secs
lola: 1454832 markings, 2510512 edges, 384 markings/sec, 1540 secs
lola: 1456758 markings, 2513813 edges, 385 markings/sec, 1545 secs
lola: 1458656 markings, 2517063 edges, 380 markings/sec, 1550 secs
lola: 1460562 markings, 2520323 edges, 381 markings/sec, 1555 secs
lola: 1462472 markings, 2523588 edges, 382 markings/sec, 1560 secs
lola: 1464380 markings, 2526846 edges, 382 markings/sec, 1565 secs
lola: 1466316 markings, 2530150 edges, 387 markings/sec, 1570 secs
lola: 1468210 markings, 2533377 edges, 379 markings/sec, 1575 secs
lola: 1470054 markings, 2536573 edges, 369 markings/sec, 1580 secs
lola: 1471936 markings, 2539808 edges, 376 markings/sec, 1585 secs
lola: 1473832 markings, 2543047 edges, 379 markings/sec, 1590 secs
lola: 1475726 markings, 2546281 edges, 379 markings/sec, 1595 secs
lola: 1477610 markings, 2549496 edges, 377 markings/sec, 1600 secs
lola: 1479508 markings, 2552733 edges, 380 markings/sec, 1605 secs
lola: 1481332 markings, 2555869 edges, 365 markings/sec, 1610 secs
lola: 1483082 markings, 2558901 edges, 350 markings/sec, 1615 secs
lola: 1484800 markings, 2561819 edges, 344 markings/sec, 1620 secs
lola: 1486556 markings, 2564801 edges, 351 markings/sec, 1625 secs
lola: 1488394 markings, 2567925 edges, 368 markings/sec, 1630 secs
lola: 1490232 markings, 2571047 edges, 368 markings/sec, 1635 secs
lola: 1492072 markings, 2574171 edges, 368 markings/sec, 1640 secs
lola: 1493856 markings, 2577162 edges, 357 markings/sec, 1645 secs
lola: 1495608 markings, 2580057 edges, 350 markings/sec, 1650 secs
lola: 1497332 markings, 2582970 edges, 345 markings/sec, 1655 secs
lola: 1499144 markings, 2585926 edges, 362 markings/sec, 1660 secs
lola: 1502763 markings, 2594954 edges, 724 markings/sec, 1665 secs
lola: 1514451 markings, 2634196 edges, 2338 markings/sec, 1670 secs
lola: 1523674 markings, 2663081 edges, 1845 markings/sec, 1675 secs
lola: 1527602 markings, 2669963 edges, 786 markings/sec, 1680 secs
lola: 1530535 markings, 2676710 edges, 587 markings/sec, 1685 secs
lola: 1531991 markings, 2680644 edges, 291 markings/sec, 1690 secs
lola: 1533144 markings, 2683326 edges, 231 markings/sec, 1695 secs
lola: 1534920 markings, 2686264 edges, 355 markings/sec, 1700 secs
lola: 1536806 markings, 2689475 edges, 377 markings/sec, 1705 secs
lola: 1538620 markings, 2692574 edges, 363 markings/sec, 1710 secs
lola: 1540366 markings, 2695556 edges, 349 markings/sec, 1715 secs
lola: 1542086 markings, 2698505 edges, 344 markings/sec, 1720 secs
lola: 1543800 markings, 2701456 edges, 343 markings/sec, 1725 secs
lola: 1545626 markings, 2704538 edges, 365 markings/sec, 1730 secs
lola: 1547496 markings, 2707750 edges, 374 markings/sec, 1735 secs
lola: 1549374 markings, 2710974 edges, 376 markings/sec, 1740 secs
lola: 1551260 markings, 2714208 edges, 377 markings/sec, 1745 secs
lola: 1552986 markings, 2717160 edges, 345 markings/sec, 1750 secs
lola: 1554692 markings, 2720073 edges, 341 markings/sec, 1755 secs
lola: 1556408 markings, 2723001 edges, 343 markings/sec, 1760 secs
lola: 1558192 markings, 2726045 edges, 357 markings/sec, 1765 secs
lola: 1560086 markings, 2729279 edges, 379 markings/sec, 1770 secs
lola: 1561956 markings, 2732467 edges, 374 markings/sec, 1775 secs
lola: 1563786 markings, 2735626 edges, 366 markings/sec, 1780 secs
lola: 1565644 markings, 2738834 edges, 372 markings/sec, 1785 secs
lola: 1567544 markings, 2742083 edges, 380 markings/sec, 1790 secs
lola: 1569448 markings, 2745337 edges, 381 markings/sec, 1795 secs
lola: 1571350 markings, 2748586 edges, 380 markings/sec, 1800 secs
lola: 1573248 markings, 2751825 edges, 380 markings/sec, 1805 secs
lola: 1575144 markings, 2755059 edges, 379 markings/sec, 1810 secs
lola: 1577046 markings, 2758302 edges, 380 markings/sec, 1815 secs
lola: 1578944 markings, 2761535 edges, 380 markings/sec, 1820 secs
lola: 1580838 markings, 2764760 edges, 379 markings/sec, 1825 secs
lola: 1582728 markings, 2767975 edges, 378 markings/sec, 1830 secs
lola: 1584546 markings, 2771063 edges, 364 markings/sec, 1835 secs
lola: 1586266 markings, 2773977 edges, 344 markings/sec, 1840 secs
lola: 1587988 markings, 2776892 edges, 344 markings/sec, 1845 secs
lola: 1589826 markings, 2779907 edges, 368 markings/sec, 1850 secs
lola: 1591786 markings, 2783127 edges, 392 markings/sec, 1855 secs
lola: 1595870 markings, 2793419 edges, 817 markings/sec, 1860 secs
lola: 1608398 markings, 2835533 edges, 2506 markings/sec, 1865 secs
lola: 1617231 markings, 2860006 edges, 1767 markings/sec, 1870 secs
lola: 1619809 markings, 2864195 edges, 516 markings/sec, 1875 secs
lola: 1622604 markings, 2871268 edges, 559 markings/sec, 1880 secs
lola: 1623534 markings, 2874058 edges, 186 markings/sec, 1885 secs
lola: 1624824 markings, 2876674 edges, 258 markings/sec, 1890 secs
lola: 1626738 markings, 2879913 edges, 383 markings/sec, 1895 secs
lola: 1628638 markings, 2883184 edges, 380 markings/sec, 1900 secs
lola: 1630548 markings, 2886451 edges, 382 markings/sec, 1905 secs
lola: 1632478 markings, 2889733 edges, 386 markings/sec, 1910 secs
lola: 1634438 markings, 2893064 edges, 392 markings/sec, 1915 secs
lola: 1636434 markings, 2896503 edges, 399 markings/sec, 1920 secs
lola: 1638452 markings, 2899917 edges, 404 markings/sec, 1925 secs
lola: 1640432 markings, 2903319 edges, 396 markings/sec, 1930 secs
lola: 1642360 markings, 2906627 edges, 386 markings/sec, 1935 secs
lola: 1644332 markings, 2910009 edges, 394 markings/sec, 1940 secs
lola: 1646240 markings, 2913276 edges, 382 markings/sec, 1945 secs
lola: 1648144 markings, 2916533 edges, 381 markings/sec, 1950 secs
lola: 1650060 markings, 2919808 edges, 383 markings/sec, 1955 secs
lola: 1652012 markings, 2923143 edges, 390 markings/sec, 1960 secs
lola: 1653928 markings, 2926412 edges, 383 markings/sec, 1965 secs
lola: 1655866 markings, 2929730 edges, 388 markings/sec, 1970 secs
lola: 1657810 markings, 2933057 edges, 389 markings/sec, 1975 secs
lola: 1659792 markings, 2936448 edges, 396 markings/sec, 1980 secs
lola: 1661770 markings, 2939830 edges, 396 markings/sec, 1985 secs
lola: 1663712 markings, 2943144 edges, 388 markings/sec, 1990 secs
lola: 1665662 markings, 2946473 edges, 390 markings/sec, 1995 secs
lola: 1667570 markings, 2949729 edges, 382 markings/sec, 2000 secs
lola: 1669464 markings, 2952956 edges, 379 markings/sec, 2005 secs
lola: 1671354 markings, 2956172 edges, 378 markings/sec, 2010 secs
lola: 1673240 markings, 2959382 edges, 377 markings/sec, 2015 secs
lola: 1675088 markings, 2962524 edges, 370 markings/sec, 2020 secs
lola: 1676818 markings, 2965358 edges, 346 markings/sec, 2025 secs
lola: 1678540 markings, 2968272 edges, 344 markings/sec, 2030 secs
lola: 1680264 markings, 2971084 edges, 345 markings/sec, 2035 secs
lola: 1684692 markings, 2982909 edges, 886 markings/sec, 2040 secs
lola: 1697110 markings, 3024674 edges, 2484 markings/sec, 2045 secs
lola: 1704524 markings, 3043850 edges, 1483 markings/sec, 2050 secs
lola: 1707091 markings, 3047971 edges, 513 markings/sec, 2055 secs
lola: 1709748 markings, 3055248 edges, 531 markings/sec, 2060 secs
lola: 1710776 markings, 3058332 edges, 206 markings/sec, 2065 secs
lola: 1712520 markings, 3061202 edges, 349 markings/sec, 2070 secs
lola: 1714424 markings, 3064440 edges, 381 markings/sec, 2075 secs
lola: 1716324 markings, 3067701 edges, 380 markings/sec, 2080 secs
lola: 1718248 markings, 3070982 edges, 385 markings/sec, 2085 secs
lola: 1720150 markings, 3074218 edges, 380 markings/sec, 2090 secs
lola: 1722050 markings, 3077500 edges, 380 markings/sec, 2095 secs
lola: 1723954 markings, 3080713 edges, 381 markings/sec, 2100 secs
lola: 1725854 markings, 3083978 edges, 380 markings/sec, 2105 secs
lola: 1727754 markings, 3087240 edges, 380 markings/sec, 2110 secs
lola: 1729620 markings, 3090439 edges, 373 markings/sec, 2115 secs
lola: 1731336 markings, 3093373 edges, 343 markings/sec, 2120 secs
lola: 1733052 markings, 3096304 edges, 343 markings/sec, 2125 secs
lola: 1734768 markings, 3099232 edges, 343 markings/sec, 2130 secs
lola: 1736570 markings, 3102308 edges, 360 markings/sec, 2135 secs
lola: 1738402 markings, 3105433 edges, 366 markings/sec, 2140 secs
lola: 1740242 markings, 3108582 edges, 368 markings/sec, 2145 secs
lola: 1742082 markings, 3111729 edges, 368 markings/sec, 2150 secs
lola: 1743936 markings, 3114898 edges, 371 markings/sec, 2155 secs
lola: 1745786 markings, 3118097 edges, 370 markings/sec, 2160 secs
lola: 1747698 markings, 3121376 edges, 382 markings/sec, 2165 secs
lola: 1749598 markings, 3124613 edges, 380 markings/sec, 2170 secs
lola: 1751490 markings, 3127808 edges, 378 markings/sec, 2175 secs
lola: 1753388 markings, 3131033 edges, 380 markings/sec, 2180 secs
lola: 1755298 markings, 3134287 edges, 382 markings/sec, 2185 secs
lola: 1757194 markings, 3137519 edges, 379 markings/sec, 2190 secs
lola: 1759096 markings, 3140758 edges, 380 markings/sec, 2195 secs
lola: 1761020 markings, 3143935 edges, 385 markings/sec, 2200 secs
lola: 1762928 markings, 3147078 edges, 382 markings/sec, 2205 secs
lola: 1764846 markings, 3150202 edges, 384 markings/sec, 2210 secs
lola: 1774377 markings, 3180442 edges, 1906 markings/sec, 2215 secs
lola: 1784835 markings, 3213594 edges, 2092 markings/sec, 2220 secs
lola: 1788868 markings, 3220596 edges, 807 markings/sec, 2225 secs
lola: 1791895 markings, 3227909 edges, 605 markings/sec, 2230 secs
lola: 1792957 markings, 3231095 edges, 212 markings/sec, 2235 secs
lola: 1794476 markings, 3233953 edges, 304 markings/sec, 2240 secs
lola: 1796398 markings, 3237215 edges, 384 markings/sec, 2245 secs
lola: 1798316 markings, 3240469 edges, 384 markings/sec, 2250 secs
lola: 1800224 markings, 3243727 edges, 382 markings/sec, 2255 secs
lola: 1802090 markings, 3246930 edges, 373 markings/sec, 2260 secs
lola: 1803912 markings, 3250037 edges, 364 markings/sec, 2265 secs
lola: 1805806 markings, 3253301 edges, 379 markings/sec, 2270 secs
lola: 1807574 markings, 3256274 edges, 354 markings/sec, 2275 secs
lola: 1809290 markings, 3259214 edges, 343 markings/sec, 2280 secs
lola: 1811008 markings, 3262155 edges, 344 markings/sec, 2285 secs
lola: 1812804 markings, 3265229 edges, 359 markings/sec, 2290 secs
lola: 1814642 markings, 3268373 edges, 368 markings/sec, 2295 secs
lola: 1816444 markings, 3271452 edges, 360 markings/sec, 2300 secs
lola: 1818228 markings, 3274496 edges, 357 markings/sec, 2305 secs
lola: 1819944 markings, 3277494 edges, 343 markings/sec, 2310 secs
lola: 1821654 markings, 3280423 edges, 342 markings/sec, 2315 secs
lola: 1823528 markings, 3283632 edges, 375 markings/sec, 2320 secs
lola: 1825434 markings, 3286895 edges, 381 markings/sec, 2325 secs
lola: 1827276 markings, 3290044 edges, 368 markings/sec, 2330 secs
lola: 1828988 markings, 3292963 edges, 342 markings/sec, 2335 secs
lola: 1830700 markings, 3295881 edges, 342 markings/sec, 2340 secs
lola: 1832436 markings, 3298838 edges, 347 markings/sec, 2345 secs
lola: 1834262 markings, 3301951 edges, 365 markings/sec, 2350 secs
lola: 1836090 markings, 3305052 edges, 366 markings/sec, 2355 secs
lola: 1837924 markings, 3308099 edges, 367 markings/sec, 2360 secs
lola: 1839760 markings, 3311223 edges, 367 markings/sec, 2365 secs
lola: 1841614 markings, 3314280 edges, 371 markings/sec, 2370 secs
lola: 1843516 markings, 3317414 edges, 380 markings/sec, 2375 secs
lola: 1847990 markings, 3329283 edges, 895 markings/sec, 2380 secs
lola: 1860509 markings, 3370586 edges, 2504 markings/sec, 2385 secs
lola: 1865979 markings, 3383212 edges, 1094 markings/sec, 2390 secs
lola: 1868415 markings, 3387009 edges, 487 markings/sec, 2395 secs
lola: 1870733 markings, 3394224 edges, 464 markings/sec, 2400 secs
lola: 1871936 markings, 3397142 edges, 241 markings/sec, 2405 secs
lola: 1873864 markings, 3400336 edges, 386 markings/sec, 2410 secs
lola: 1875764 markings, 3403571 edges, 380 markings/sec, 2415 secs
lola: 1877666 markings, 3406825 edges, 380 markings/sec, 2420 secs
lola: 1879564 markings, 3410059 edges, 380 markings/sec, 2425 secs
lola: 1881464 markings, 3413321 edges, 380 markings/sec, 2430 secs
lola: 1883362 markings, 3416553 edges, 380 markings/sec, 2435 secs
lola: 1885260 markings, 3419817 edges, 380 markings/sec, 2440 secs
lola: 1887156 markings, 3423055 edges, 379 markings/sec, 2445 secs
lola: 1889054 markings, 3426268 edges, 380 markings/sec, 2450 secs
lola: 1890946 markings, 3429510 edges, 378 markings/sec, 2455 secs
lola: 1892838 markings, 3432749 edges, 378 markings/sec, 2460 secs
lola: 1894734 markings, 3435992 edges, 379 markings/sec, 2465 secs
lola: 1896614 markings, 3439216 edges, 376 markings/sec, 2470 secs
lola: 1898512 markings, 3442469 edges, 380 markings/sec, 2475 secs
lola: 1900436 markings, 3445766 edges, 385 markings/sec, 2480 secs
lola: 1902386 markings, 3449107 edges, 390 markings/sec, 2485 secs
lola: 1904340 markings, 3452452 edges, 391 markings/sec, 2490 secs
lola: 1906302 markings, 3455810 edges, 392 markings/sec, 2495 secs
lola: 1908206 markings, 3459064 edges, 381 markings/sec, 2500 secs
lola: 1910100 markings, 3462307 edges, 379 markings/sec, 2505 secs
lola: 1912006 markings, 3465468 edges, 381 markings/sec, 2510 secs
lola: 1913910 markings, 3468714 edges, 381 markings/sec, 2515 secs
lola: 1915824 markings, 3471885 edges, 383 markings/sec, 2520 secs
lola: 1917700 markings, 3475018 edges, 375 markings/sec, 2525 secs
lola: 1919594 markings, 3478103 edges, 379 markings/sec, 2530 secs
lola: 1928447 markings, 3505912 edges, 1771 markings/sec, 2535 secs
lola: 1937634 markings, 3534366 edges, 1837 markings/sec, 2540 secs
lola: 1941514 markings, 3541078 edges, 776 markings/sec, 2545 secs
lola: 1944282 markings, 3548162 edges, 554 markings/sec, 2550 secs
lola: 1945314 markings, 3551258 edges, 206 markings/sec, 2555 secs
lola: 1946944 markings, 3554116 edges, 326 markings/sec, 2560 secs
lola: 1948810 markings, 3557291 edges, 373 markings/sec, 2565 secs
lola: 1950694 markings, 3560508 edges, 377 markings/sec, 2570 secs
lola: 1952600 markings, 3563762 edges, 381 markings/sec, 2575 secs
lola: 1954510 markings, 3567012 edges, 382 markings/sec, 2580 secs
lola: 1956378 markings, 3570230 edges, 374 markings/sec, 2585 secs
lola: 1958274 markings, 3573437 edges, 379 markings/sec, 2590 secs
lola: 1960164 markings, 3576684 edges, 378 markings/sec, 2595 secs
lola: 1962060 markings, 3579939 edges, 379 markings/sec, 2600 secs
lola: 1963978 markings, 3583230 edges, 384 markings/sec, 2605 secs
lola: 1965876 markings, 3586482 edges, 380 markings/sec, 2610 secs
lola: 1967772 markings, 3589728 edges, 379 markings/sec, 2615 secs
lola: 1969672 markings, 3592990 edges, 380 markings/sec, 2620 secs
lola: 1971566 markings, 3596239 edges, 379 markings/sec, 2625 secs
lola: 1973458 markings, 3599498 edges, 378 markings/sec, 2630 secs
lola: 1975358 markings, 3602700 edges, 380 markings/sec, 2635 secs
lola: 1977250 markings, 3605904 edges, 378 markings/sec, 2640 secs
lola: 1979144 markings, 3609143 edges, 379 markings/sec, 2645 secs
lola: 1981034 markings, 3612371 edges, 378 markings/sec, 2650 secs
lola: 1982904 markings, 3615566 edges, 374 markings/sec, 2655 secs
lola: 1984736 markings, 3618607 edges, 366 markings/sec, 2660 secs
lola: 1986674 markings, 3621913 edges, 388 markings/sec, 2665 secs
lola: 1988642 markings, 3625180 edges, 394 markings/sec, 2670 secs
lola: 1990612 markings, 3628352 edges, 394 markings/sec, 2675 secs
lola: 1998360 markings, 3652067 edges, 1550 markings/sec, 2680 secs
lola: 2007810 markings, 3681434 edges, 1890 markings/sec, 2685 secs
lola: 2011549 markings, 3687905 edges, 748 markings/sec, 2690 secs
lola: 2014202 markings, 3694612 edges, 531 markings/sec, 2695 secs
lola: 2015141 markings, 3697429 edges, 188 markings/sec, 2700 secs
lola: 2016420 markings, 3699974 edges, 256 markings/sec, 2705 secs
lola: 2018154 markings, 3702909 edges, 347 markings/sec, 2710 secs
lola: 2019876 markings, 3705836 edges, 344 markings/sec, 2715 secs
lola: 2021746 markings, 3709034 edges, 374 markings/sec, 2720 secs
lola: 2023652 markings, 3712282 edges, 381 markings/sec, 2725 secs
lola: 2025554 markings, 3715532 edges, 380 markings/sec, 2730 secs
lola: 2027456 markings, 3718786 edges, 380 markings/sec, 2735 secs
lola: 2029354 markings, 3722051 edges, 380 markings/sec, 2740 secs
lola: 2031254 markings, 3725274 edges, 380 markings/sec, 2745 secs
lola: 2033152 markings, 3728508 edges, 380 markings/sec, 2750 secs
lola: 2035048 markings, 3731757 edges, 379 markings/sec, 2755 secs
lola: 2036948 markings, 3735021 edges, 380 markings/sec, 2760 secs
lola: 2038846 markings, 3738280 edges, 380 markings/sec, 2765 secs
lola: 2040746 markings, 3741540 edges, 380 markings/sec, 2770 secs
lola: 2042640 markings, 3744787 edges, 379 markings/sec, 2775 secs
lola: 2044538 markings, 3748040 edges, 380 markings/sec, 2780 secs
lola: 2046440 markings, 3751252 edges, 380 markings/sec, 2785 secs
lola: 2048340 markings, 3754474 edges, 380 markings/sec, 2790 secs
lola: 2050232 markings, 3757708 edges, 378 markings/sec, 2795 secs
lola: 2052130 markings, 3760906 edges, 380 markings/sec, 2800 secs
lola: 2054036 markings, 3764122 edges, 381 markings/sec, 2805 secs
lola: 2055928 markings, 3767261 edges, 378 markings/sec, 2810 secs
lola: 2057826 markings, 3770376 edges, 380 markings/sec, 2815 secs
lola: 2064289 markings, 3789518 edges, 1293 markings/sec, 2820 secs
lola: 2073978 markings, 3819965 edges, 1938 markings/sec, 2825 secs
lola: 2077692 markings, 3826368 edges, 743 markings/sec, 2830 secs
lola: 2080330 markings, 3832994 edges, 528 markings/sec, 2835 secs
lola: 2081250 markings, 3835754 edges, 184 markings/sec, 2840 secs
lola: 2082502 markings, 3838277 edges, 250 markings/sec, 2845 secs
lola: 2084240 markings, 3841240 edges, 348 markings/sec, 2850 secs
lola: 2085964 markings, 3844160 edges, 345 markings/sec, 2855 secs
lola: 2087714 markings, 3847147 edges, 350 markings/sec, 2860 secs
lola: 2089438 markings, 3850077 edges, 345 markings/sec, 2865 secs
lola: 2091224 markings, 3853155 edges, 357 markings/sec, 2870 secs
lola: 2092946 markings, 3856097 edges, 344 markings/sec, 2875 secs
lola: 2094668 markings, 3859020 edges, 344 markings/sec, 2880 secs
lola: 2096388 markings, 3861970 edges, 344 markings/sec, 2885 secs
lola: 2098124 markings, 3864945 edges, 347 markings/sec, 2890 secs
lola: 2099844 markings, 3867889 edges, 344 markings/sec, 2895 secs
lola: 2101576 markings, 3870861 edges, 346 markings/sec, 2900 secs
lola: 2103304 markings, 3873825 edges, 346 markings/sec, 2905 secs
lola: 2105022 markings, 3876769 edges, 344 markings/sec, 2910 secs
lola: 2106862 markings, 3879924 edges, 368 markings/sec, 2915 secs
lola: 2108768 markings, 3883176 edges, 381 markings/sec, 2920 secs
lola: 2110670 markings, 3886383 edges, 380 markings/sec, 2925 secs
lola: 2112568 markings, 3889632 edges, 380 markings/sec, 2930 secs
lola: 2114464 markings, 3892878 edges, 379 markings/sec, 2935 secs
lola: 2116366 markings, 3896049 edges, 380 markings/sec, 2940 secs
lola: 2118276 markings, 3899228 edges, 382 markings/sec, 2945 secs
lola: 2120188 markings, 3902403 edges, 382 markings/sec, 2950 secs
lola: 2122106 markings, 3905488 edges, 384 markings/sec, 2955 secs
lola: 2132833 markings, 3939928 edges, 2145 markings/sec, 2960 secs
lola: 2138876 markings, 3954805 edges, 1209 markings/sec, 2965 secs
lola: 2141935 markings, 3961458 edges, 612 markings/sec, 2970 secs
lola: 2143430 markings, 3965509 edges, 299 markings/sec, 2975 secs
lola: 2144762 markings, 3968424 edges, 266 markings/sec, 2980 secs
lola: 2146740 markings, 3971762 edges, 396 markings/sec, 2985 secs
lola: 2148710 markings, 3975155 edges, 394 markings/sec, 2990 secs
lola: 2150680 markings, 3978483 edges, 394 markings/sec, 2995 secs
lola: 2152614 markings, 3981826 edges, 387 markings/sec, 3000 secs
lola: 2154524 markings, 3985060 edges, 382 markings/sec, 3005 secs
lola: 2156426 markings, 3988335 edges, 380 markings/sec, 3010 secs
lola: 2158334 markings, 3991557 edges, 382 markings/sec, 3015 secs
lola: 2160234 markings, 3994819 edges, 380 markings/sec, 3020 secs
lola: 2162138 markings, 3998095 edges, 381 markings/sec, 3025 secs
lola: 2164042 markings, 4001369 edges, 381 markings/sec, 3030 secs
lola: 2165950 markings, 4004652 edges, 382 markings/sec, 3035 secs
lola: 2167856 markings, 4007857 edges, 381 markings/sec, 3040 secs
lola: 2169760 markings, 4011123 edges, 381 markings/sec, 3045 secs
lola: 2171662 markings, 4014384 edges, 380 markings/sec, 3050 secs
lola: 2173566 markings, 4017574 edges, 381 markings/sec, 3055 secs
lola: 2175466 markings, 4020825 edges, 380 markings/sec, 3060 secs
lola: 2177376 markings, 4024013 edges, 382 markings/sec, 3065 secs
lola: 2179284 markings, 4027190 edges, 382 markings/sec, 3070 secs
lola: 2181192 markings, 4030362 edges, 382 markings/sec, 3075 secs
lola: 2187922 markings, 4050405 edges, 1346 markings/sec, 3080 secs
lola: 2196965 markings, 4076331 edges, 1809 markings/sec, 3085 secs
lola: 2199590 markings, 4080504 edges, 525 markings/sec, 3090 secs
lola: 2201931 markings, 4087353 edges, 468 markings/sec, 3095 secs
lola: 2203060 markings, 4090371 edges, 226 markings/sec, 3100 secs
lola: 2205016 markings, 4093532 edges, 391 markings/sec, 3105 secs
lola: 2206984 markings, 4096886 edges, 394 markings/sec, 3110 secs
lola: 2208952 markings, 4100255 edges, 394 markings/sec, 3115 secs
lola: 2210920 markings, 4103612 edges, 394 markings/sec, 3120 secs
lola: 2212888 markings, 4106957 edges, 394 markings/sec, 3125 secs
lola: 2214844 markings, 4110326 edges, 391 markings/sec, 3130 secs
lola: 2216858 markings, 4113777 edges, 403 markings/sec, 3135 secs
lola: 2218620 markings, 4116764 edges, 352 markings/sec, 3140 secs
lola: 2220372 markings, 4119774 edges, 350 markings/sec, 3145 secs
lola: 2222220 markings, 4122951 edges, 370 markings/sec, 3150 secs
lola: 2224080 markings, 4126146 edges, 372 markings/sec, 3155 secs
lola: 2225986 markings, 4129357 edges, 381 markings/sec, 3160 secs
lola: 2227908 markings, 4132655 edges, 384 markings/sec, 3165 secs
lola: 2229710 markings, 4135741 edges, 360 markings/sec, 3170 secs
lola: 2231434 markings, 4138617 edges, 345 markings/sec, 3175 secs
lola: 2233170 markings, 4141580 edges, 347 markings/sec, 3180 secs
lola: 2234938 markings, 4144522 edges, 354 markings/sec, 3185 secs
lola: 2236668 markings, 4147389 edges, 346 markings/sec, 3190 secs
lola: 2238402 markings, 4150155 edges, 347 markings/sec, 3195 secs
lola: 2249000 markings, 4184155 edges, 2120 markings/sec, 3200 secs
lola: 2253264 markings, 4193178 edges, 853 markings/sec, 3205 secs
lola: 2255992 markings, 4199248 edges, 546 markings/sec, 3210 secs
lola: 2257284 markings, 4202788 edges, 258 markings/sec, 3215 secs
lola: 2258280 markings, 4205406 edges, 199 markings/sec, 3220 secs
lola: 2260024 markings, 4208226 edges, 349 markings/sec, 3225 secs
lola: 2261748 markings, 4211165 edges, 345 markings/sec, 3230 secs
lola: 2263488 markings, 4214152 edges, 348 markings/sec, 3235 secs
lola: 2265210 markings, 4217070 edges, 344 markings/sec, 3240 secs
lola: 2266924 markings, 4219976 edges, 343 markings/sec, 3245 secs
lola: 2268640 markings, 4222928 edges, 343 markings/sec, 3250 secs
lola: 2270358 markings, 4225881 edges, 344 markings/sec, 3255 secs
lola: 2272076 markings, 4228805 edges, 344 markings/sec, 3260 secs
lola: 2273794 markings, 4231733 edges, 344 markings/sec, 3265 secs
lola: 2275510 markings, 4234681 edges, 343 markings/sec, 3270 secs
lola: 2277229 markings, 4237631 edges, 344 markings/sec, 3275 secs
lola: 2278942 markings, 4240571 edges, 343 markings/sec, 3280 secs
lola: 2280666 markings, 4243464 edges, 345 markings/sec, 3285 secs
lola: 2282464 markings, 4246545 edges, 360 markings/sec, 3290 secs
lola: 2284182 markings, 4249494 edges, 344 markings/sec, 3295 secs
lola: time limit reached - aborting
lola:
preliminary result: 50 1 20 unknown 1 50 1 50 1 1 1 1 20 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 1 20 unknown 1 50 1 50 1 1 1 1 20 1 1 1
lola:
preliminary result: 50 1 20 unknown 1 50 1 50 1 1 1 1 20 1 1 1
lola: memory consumption: 186452 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 1 20 unknown 1 50 1 50 1 1 1 1 20 1 1 1
lola: memory consumption: 186452 KB
lola: time consumption: 3569 seconds

BK_STOP 1552412935274

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is BridgeAndVehicles-PT-V50P20N50, 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 r022-csrt-155225094700196"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V50P20N50.tgz
mv BridgeAndVehicles-PT-V50P20N50 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;