About the Execution of LoLA for BridgeAndVehicles-PT-V80P50N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4374.620 | 3570212.00 | 3762642.00 | 449.80 | 80 ? 1 1 80 1 80 80 1 1 1 1 1 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.r016-csrt-155225065800659.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 lola
Input is BridgeAndVehicles-PT-V80P50N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-csrt-155225065800659
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.4M
-rw-r--r-- 1 mcc users 14K Feb 9 08:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 9 08:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 323K Feb 5 06:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 914K Feb 5 06:29 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 8.5K Feb 4 23:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 4 23:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 48K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 132K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 2 01:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 38K Feb 2 01:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 430K Jan 29 14:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.3M Jan 29 14:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.7K 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 4.1M 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-V80P50N20-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-PT-V80P50N20-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1552534450069
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ BridgeAndVehicles-PT-V80P50N20 @ 3570 seconds
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-00 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-04 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-06 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-07 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ BridgeAndVehicles-PT-V80P50N20
{
"exit":
{
"memory": 2771536,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(SUR_PONT_B)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"preliminary_value": "80 unknown 1 1 80 1 80 80 1 1 1 1 1 1 1 1 "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 3926/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 6336
lola: finding significant places
lola: 198 places, 3728 transitions, 191 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: place invariant simplifies atomic proposition
lola: before: (NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 + NB_ATTENTE_A_51 + NB_ATTENTE_A_52 + NB_ATTENTE_A_53 + NB_ATTENTE_A_54 + NB_ATTENTE_A_55 + NB_ATTENTE_A_56 + NB_ATTENTE_A_57 + NB_ATTENTE_A_58 + NB_ATTENTE_A_59 + NB_ATTENTE_A_60 + NB_ATTENTE_A_61 + NB_ATTENTE_A_62 + NB_ATTENTE_A_63 + NB_ATTENTE_A_64 + NB_ATTENTE_A_65 + NB_ATTENTE_A_66 + NB_ATTENTE_A_67 + NB_ATTENTE_A_68 + NB_ATTENTE_A_69 + NB_ATTENTE_A_70 + NB_ATTENTE_A_71 + NB_ATTENTE_A_72 + NB_ATTENTE_A_73 + NB_ATTENTE_A_74 + NB_ATTENTE_A_75 + NB_ATTENTE_A_76 + NB_ATTENTE_A_77 + NB_ATTENTE_A_78 + NB_ATTENTE_A_79 + NB_ATTENTE_A_80 + NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 <= 0)
lola: after: (1 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (COMPTEUR_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_9 + COMPTEUR_10 + COMPTEUR_11 + COMPTEUR_12 + COMPTEUR_13 + COMPTEUR_14 + COMPTEUR_15 + COMPTEUR_16 + COMPTEUR_17 + COMPTEUR_18 + COMPTEUR_19 + COMPTEUR_20 <= 0)
lola: after: (1 <= 0)
lola: MAX(ATTENTE_A) : MAX(SUR_PONT_B) : MAX(CONTROLEUR_1 + CONTROLEUR_2) : MAX(1) : MAX(SORTI_B) : MAX(1) : MAX(SORTI_A) : MAX(ROUTE_B) : MAX(COMPTEUR_6) : MAX(NB_ATTENTE_A_10) : MAX(NB_ATTENTE_A_40) : MAX(NB_ATTENTE_B_52) : MAX(NB_ATTENTE_B_18) : MAX(NB_ATTENTE_B_30) : MAX(NB_ATTENTE_B_41) : MAX(NB_ATTENTE_B_36)
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(1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(1)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(1)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: ========================================
lola: subprocess 2 will run for 254 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 UpperBounds.xml
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 81 markings, 80 edges
lola: ========================================
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SORTI_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SORTI_B)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 339 markings, 338 edges
lola: ========================================
lola: subprocess 4 will run for 296 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 UpperBounds.xml
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: 68936 markings, 173533 edges, 13787 markings/sec, 0 secs
lola: 137432 markings, 377051 edges, 13699 markings/sec, 5 secs
lola: 199401 markings, 577398 edges, 12394 markings/sec, 10 secs
lola: 261888 markings, 758955 edges, 12497 markings/sec, 15 secs
lola: 329836 markings, 941433 edges, 13590 markings/sec, 20 secs
lola: 402624 markings, 1127058 edges, 14558 markings/sec, 25 secs
lola: 466187 markings, 1328351 edges, 12713 markings/sec, 30 secs
lola: 525049 markings, 1518895 edges, 11772 markings/sec, 35 secs
lola: 592493 markings, 1701387 edges, 13489 markings/sec, 40 secs
lola: 657503 markings, 1873607 edges, 13002 markings/sec, 45 secs
lola: 724484 markings, 2061310 edges, 13396 markings/sec, 50 secs
lola: 786696 markings, 2261291 edges, 12442 markings/sec, 55 secs
lola: 850522 markings, 2452371 edges, 12765 markings/sec, 60 secs
lola: 921114 markings, 2641963 edges, 14118 markings/sec, 65 secs
lola: 989863 markings, 2820211 edges, 13750 markings/sec, 70 secs
lola: 1051062 markings, 3013051 edges, 12240 markings/sec, 75 secs
lola: 1109527 markings, 3202417 edges, 11693 markings/sec, 80 secs
lola: 1177608 markings, 3384370 edges, 13616 markings/sec, 85 secs
lola: 1242337 markings, 3552218 edges, 12946 markings/sec, 90 secs
lola: 1308442 markings, 3746445 edges, 13221 markings/sec, 95 secs
lola: 1369034 markings, 3940833 edges, 12118 markings/sec, 100 secs
lola: 1437127 markings, 4134775 edges, 13619 markings/sec, 105 secs
lola: 1507708 markings, 4321487 edges, 14116 markings/sec, 110 secs
lola: 1579975 markings, 4525060 edges, 14453 markings/sec, 115 secs
lola: 1644724 markings, 4733249 edges, 12950 markings/sec, 120 secs
lola: 1709864 markings, 4920885 edges, 13028 markings/sec, 125 secs
lola: 1778835 markings, 5105694 edges, 13794 markings/sec, 130 secs
lola: 1851254 markings, 5305193 edges, 14484 markings/sec, 135 secs
lola: 1914111 markings, 5505602 edges, 12571 markings/sec, 140 secs
lola: 1979531 markings, 5697967 edges, 13084 markings/sec, 145 secs
lola: 2045763 markings, 5876166 edges, 13246 markings/sec, 150 secs
lola: 2113575 markings, 6057187 edges, 13562 markings/sec, 155 secs
lola: 2175261 markings, 6253281 edges, 12337 markings/sec, 160 secs
lola: 2235643 markings, 6438315 edges, 12076 markings/sec, 165 secs
lola: 2301951 markings, 6615951 edges, 13262 markings/sec, 170 secs
lola: 2370019 markings, 6792930 edges, 13614 markings/sec, 175 secs
lola: 2430849 markings, 6984800 edges, 12166 markings/sec, 180 secs
lola: 2491008 markings, 7175394 edges, 12032 markings/sec, 185 secs
lola: 2562979 markings, 7367015 edges, 14394 markings/sec, 190 secs
lola: 2637279 markings, 7563168 edges, 14860 markings/sec, 195 secs
lola: 2703402 markings, 7772782 edges, 13225 markings/sec, 200 secs
lola: 2769477 markings, 7969805 edges, 13215 markings/sec, 205 secs
lola: 2840559 markings, 8158968 edges, 14216 markings/sec, 210 secs
lola: 2911919 markings, 8356673 edges, 14272 markings/sec, 215 secs
lola: 2976031 markings, 8562628 edges, 12822 markings/sec, 220 secs
lola: 3044379 markings, 8753725 edges, 13670 markings/sec, 225 secs
lola: 3113387 markings, 8936859 edges, 13802 markings/sec, 230 secs
lola: 3184069 markings, 9145203 edges, 14136 markings/sec, 235 secs
lola: 3248463 markings, 9353164 edges, 12879 markings/sec, 240 secs
lola: 3318793 markings, 9540136 edges, 14066 markings/sec, 245 secs
lola: 3385287 markings, 9711126 edges, 13299 markings/sec, 250 secs
lola: 3448826 markings, 9910905 edges, 12708 markings/sec, 255 secs
lola: 3511138 markings, 10104065 edges, 12462 markings/sec, 260 secs
lola: 3580583 markings, 10289339 edges, 13889 markings/sec, 265 secs
lola: 3651287 markings, 10480637 edges, 14141 markings/sec, 270 secs
lola: 3714432 markings, 10683116 edges, 12629 markings/sec, 275 secs
lola: 3780150 markings, 10867955 edges, 13144 markings/sec, 280 secs
lola: 3843291 markings, 11037107 edges, 12628 markings/sec, 285 secs
lola: 3908003 markings, 11222624 edges, 12942 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 80 unknown unknown 1 80 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 368136 KB
lola: time consumption: 305 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
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(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 UpperBounds.xml
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 336 markings, 335 edges
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ROUTE_B)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(COMPTEUR_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(COMPTEUR_6)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 21 markings, 20 edges
lola: ========================================
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_10)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 12 markings, 11 edges
lola: ========================================
lola: subprocess 9 will run for 466 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_40)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 42 markings, 41 edges
lola: ========================================
lola: subprocess 10 will run for 544 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_52)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 53 markings, 52 edges
lola: ========================================
lola: subprocess 11 will run for 653 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_18)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: ========================================
lola: subprocess 12 will run for 816 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_30)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 31 markings, 30 edges
lola: ========================================
lola: subprocess 13 will run for 1088 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_41)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 42 markings, 41 edges
lola: ========================================
lola: subprocess 14 will run for 1632 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_36)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 37 markings, 36 edges
lola: ========================================
lola: subprocess 15 will run for 3264 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CONTROLEUR_1 + CONTROLEUR_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CONTROLEUR_1 + CONTROLEUR_2)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
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 UpperBounds.xml
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: 66601 markings, 168279 edges, 13320 markings/sec, 0 secs
lola: 138744 markings, 381096 edges, 14429 markings/sec, 5 secs
lola: 201668 markings, 583746 edges, 12585 markings/sec, 10 secs
lola: 266019 markings, 769369 edges, 12870 markings/sec, 15 secs
lola: 330805 markings, 944019 edges, 12957 markings/sec, 20 secs
lola: 398559 markings, 1115279 edges, 13551 markings/sec, 25 secs
lola: 462258 markings, 1315396 edges, 12740 markings/sec, 30 secs
lola: 523275 markings, 1512796 edges, 12203 markings/sec, 35 secs
lola: 590533 markings, 1694755 edges, 13452 markings/sec, 40 secs
lola: 654645 markings, 1865431 edges, 12822 markings/sec, 45 secs
lola: 722260 markings, 2055140 edges, 13523 markings/sec, 50 secs
lola: 789193 markings, 2268445 edges, 13387 markings/sec, 55 secs
lola: 857419 markings, 2470127 edges, 13645 markings/sec, 60 secs
lola: 928833 markings, 2662369 edges, 14283 markings/sec, 65 secs
lola: 1002897 markings, 2860587 edges, 14813 markings/sec, 70 secs
lola: 1070360 markings, 3075464 edges, 13493 markings/sec, 75 secs
lola: 1135246 markings, 3272469 edges, 12977 markings/sec, 80 secs
lola: 1207196 markings, 3465375 edges, 14390 markings/sec, 85 secs
lola: 1281687 markings, 3662276 edges, 14898 markings/sec, 90 secs
lola: 1350876 markings, 3881251 edges, 13838 markings/sec, 95 secs
lola: 1418463 markings, 4086733 edges, 13517 markings/sec, 100 secs
lola: 1491572 markings, 4283095 edges, 14622 markings/sec, 105 secs
lola: 1566507 markings, 4482717 edges, 14987 markings/sec, 110 secs
lola: 1633708 markings, 4696993 edges, 13440 markings/sec, 115 secs
lola: 1700079 markings, 4896059 edges, 13274 markings/sec, 120 secs
lola: 1771982 markings, 5089038 edges, 14381 markings/sec, 125 secs
lola: 1844189 markings, 5282639 edges, 14441 markings/sec, 130 secs
lola: 1908620 markings, 5488128 edges, 12886 markings/sec, 135 secs
lola: 1971853 markings, 5677880 edges, 12647 markings/sec, 140 secs
lola: 2041942 markings, 5866153 edges, 14018 markings/sec, 145 secs
lola: 2114460 markings, 6060050 edges, 14504 markings/sec, 150 secs
lola: 2178405 markings, 6263950 edges, 12789 markings/sec, 155 secs
lola: 2241001 markings, 6451849 edges, 12519 markings/sec, 160 secs
lola: 2311485 markings, 6641074 edges, 14097 markings/sec, 165 secs
lola: 2386122 markings, 6843342 edges, 14927 markings/sec, 170 secs
lola: 2448498 markings, 7041858 edges, 12475 markings/sec, 175 secs
lola: 2509442 markings, 7222323 edges, 12189 markings/sec, 180 secs
lola: 2576129 markings, 7401870 edges, 13337 markings/sec, 185 secs
lola: 2648377 markings, 7597653 edges, 14450 markings/sec, 190 secs
lola: 2712892 markings, 7803851 edges, 12903 markings/sec, 195 secs
lola: 2780802 markings, 7998967 edges, 13582 markings/sec, 200 secs
lola: 2850876 markings, 8185280 edges, 14015 markings/sec, 205 secs
lola: 2923809 markings, 8394270 edges, 14587 markings/sec, 210 secs
lola: 2988030 markings, 8601721 edges, 12844 markings/sec, 215 secs
lola: 3055368 markings, 8784780 edges, 13468 markings/sec, 220 secs
lola: 3122727 markings, 8957547 edges, 13472 markings/sec, 225 secs
lola: 3187218 markings, 9154546 edges, 12898 markings/sec, 230 secs
lola: 3246296 markings, 9345784 edges, 11816 markings/sec, 235 secs
lola: 3311646 markings, 9520688 edges, 13070 markings/sec, 240 secs
lola: 3381050 markings, 9698862 edges, 13881 markings/sec, 245 secs
lola: 3449578 markings, 9913533 edges, 13706 markings/sec, 250 secs
lola: 3514783 markings, 10113447 edges, 13041 markings/sec, 255 secs
lola: 3587719 markings, 10308126 edges, 14587 markings/sec, 260 secs
lola: 3659736 markings, 10507036 edges, 14403 markings/sec, 265 secs
lola: 3721603 markings, 10706482 edges, 12373 markings/sec, 270 secs
lola: 3788902 markings, 10892887 edges, 13460 markings/sec, 275 secs
lola: 3854593 markings, 11062170 edges, 13138 markings/sec, 280 secs
lola: 3921927 markings, 11267234 edges, 13467 markings/sec, 285 secs
lola: 3982531 markings, 11459684 edges, 12121 markings/sec, 290 secs
lola: 4050236 markings, 11639849 edges, 13541 markings/sec, 295 secs
lola: 4119150 markings, 11823144 edges, 13783 markings/sec, 300 secs
lola: 4179655 markings, 12015135 edges, 12101 markings/sec, 305 secs
lola: 4243258 markings, 12199316 edges, 12721 markings/sec, 310 secs
lola: 4307661 markings, 12370668 edges, 12881 markings/sec, 315 secs
lola: 4375342 markings, 12565513 edges, 13536 markings/sec, 320 secs
lola: 4438102 markings, 12767421 edges, 12552 markings/sec, 325 secs
lola: 4508564 markings, 12955445 edges, 14092 markings/sec, 330 secs
lola: 4579468 markings, 13145221 edges, 14181 markings/sec, 335 secs
lola: 4643800 markings, 13351147 edges, 12866 markings/sec, 340 secs
lola: 4712341 markings, 13542203 edges, 13708 markings/sec, 345 secs
lola: 4783073 markings, 13726416 edges, 14146 markings/sec, 350 secs
lola: 4850986 markings, 13940288 edges, 13583 markings/sec, 355 secs
lola: 4917591 markings, 14132495 edges, 13321 markings/sec, 360 secs
lola: 4986212 markings, 14311930 edges, 13724 markings/sec, 365 secs
lola: 5054951 markings, 14520315 edges, 13748 markings/sec, 370 secs
lola: 5120598 markings, 14717841 edges, 13129 markings/sec, 375 secs
lola: 5187388 markings, 14894576 edges, 13358 markings/sec, 380 secs
lola: 5253267 markings, 15085000 edges, 13176 markings/sec, 385 secs
lola: 5311887 markings, 15272209 edges, 11724 markings/sec, 390 secs
lola: 5384038 markings, 15463010 edges, 14430 markings/sec, 395 secs
lola: 5477532 markings, 15727126 edges, 18699 markings/sec, 400 secs
lola: 5547872 markings, 15967807 edges, 14068 markings/sec, 405 secs
lola: 5625262 markings, 16220043 edges, 15478 markings/sec, 410 secs
lola: 5698123 markings, 16467263 edges, 14572 markings/sec, 415 secs
lola: 5763613 markings, 16687735 edges, 13098 markings/sec, 420 secs
lola: 5829757 markings, 16910354 edges, 13229 markings/sec, 425 secs
lola: 5895093 markings, 17126177 edges, 13067 markings/sec, 430 secs
lola: 5959155 markings, 17341734 edges, 12812 markings/sec, 435 secs
lola: 6022667 markings, 17553728 edges, 12702 markings/sec, 440 secs
lola: 6084135 markings, 17755142 edges, 12294 markings/sec, 445 secs
lola: 6147842 markings, 17944396 edges, 12741 markings/sec, 450 secs
lola: 6223243 markings, 18142434 edges, 15080 markings/sec, 455 secs
lola: 6296523 markings, 18339177 edges, 14656 markings/sec, 460 secs
lola: 6368318 markings, 18522960 edges, 14359 markings/sec, 465 secs
lola: 6436987 markings, 18735810 edges, 13734 markings/sec, 470 secs
lola: 6504722 markings, 18931953 edges, 13547 markings/sec, 475 secs
lola: 6579033 markings, 19134944 edges, 14862 markings/sec, 480 secs
lola: 6661176 markings, 19393813 edges, 16429 markings/sec, 485 secs
lola: 6740809 markings, 19645311 edges, 15927 markings/sec, 490 secs
lola: 6807615 markings, 19878136 edges, 13361 markings/sec, 495 secs
lola: 6871121 markings, 20089375 edges, 12701 markings/sec, 500 secs
lola: 6932254 markings, 20294740 edges, 12227 markings/sec, 505 secs
lola: 6992916 markings, 20498296 edges, 12132 markings/sec, 510 secs
lola: 7054410 markings, 20701419 edges, 12299 markings/sec, 515 secs
lola: 7118807 markings, 20914348 edges, 12879 markings/sec, 520 secs
lola: 7180513 markings, 21120523 edges, 12341 markings/sec, 525 secs
lola: 7241764 markings, 21325256 edges, 12250 markings/sec, 530 secs
lola: 7302104 markings, 21496470 edges, 12068 markings/sec, 535 secs
lola: 7372165 markings, 21680075 edges, 14012 markings/sec, 540 secs
lola: 7438744 markings, 21860210 edges, 13316 markings/sec, 545 secs
lola: 7508860 markings, 22041587 edges, 14023 markings/sec, 550 secs
lola: 7576428 markings, 22253875 edges, 13514 markings/sec, 555 secs
lola: 7642811 markings, 22443547 edges, 13277 markings/sec, 560 secs
lola: 7716899 markings, 22646429 edges, 14818 markings/sec, 565 secs
lola: 7796301 markings, 22896362 edges, 15880 markings/sec, 570 secs
lola: 7873937 markings, 23146282 edges, 15527 markings/sec, 575 secs
lola: 7942767 markings, 23382744 edges, 13766 markings/sec, 580 secs
lola: 8011389 markings, 23612714 edges, 13724 markings/sec, 585 secs
lola: 8073108 markings, 23819949 edges, 12344 markings/sec, 590 secs
lola: 8133271 markings, 24018589 edges, 12033 markings/sec, 595 secs
lola: 8192924 markings, 24219084 edges, 11931 markings/sec, 600 secs
lola: 8252984 markings, 24417701 edges, 12012 markings/sec, 605 secs
lola: 8313873 markings, 24621154 edges, 12178 markings/sec, 610 secs
lola: 8374669 markings, 24820715 edges, 12159 markings/sec, 615 secs
lola: 8441858 markings, 25003685 edges, 13438 markings/sec, 620 secs
lola: 8519409 markings, 25206283 edges, 15510 markings/sec, 625 secs
lola: 8587421 markings, 25388383 edges, 13602 markings/sec, 630 secs
lola: 8658470 markings, 25588854 edges, 14210 markings/sec, 635 secs
lola: 8722446 markings, 25791454 edges, 12795 markings/sec, 640 secs
lola: 8793639 markings, 25977163 edges, 14239 markings/sec, 645 secs
lola: 8884087 markings, 26239268 edges, 18090 markings/sec, 650 secs
lola: 8951855 markings, 26475821 edges, 13554 markings/sec, 655 secs
lola: 9032088 markings, 26732667 edges, 16047 markings/sec, 660 secs
lola: 9099903 markings, 26965202 edges, 13563 markings/sec, 665 secs
lola: 9166970 markings, 27190743 edges, 13413 markings/sec, 670 secs
lola: 9231350 markings, 27403840 edges, 12876 markings/sec, 675 secs
lola: 9295674 markings, 27620283 edges, 12865 markings/sec, 680 secs
lola: 9358347 markings, 27828131 edges, 12535 markings/sec, 685 secs
lola: 9421450 markings, 28039466 edges, 12621 markings/sec, 690 secs
lola: 9481278 markings, 28232849 edges, 11966 markings/sec, 695 secs
lola: 9543069 markings, 28400184 edges, 12358 markings/sec, 700 secs
lola: 9611924 markings, 28579801 edges, 13771 markings/sec, 705 secs
lola: 9676027 markings, 28754513 edges, 12821 markings/sec, 710 secs
lola: 9741971 markings, 28931036 edges, 13189 markings/sec, 715 secs
lola: 9801812 markings, 29122700 edges, 11968 markings/sec, 720 secs
lola: 9865204 markings, 29296043 edges, 12678 markings/sec, 725 secs
lola: 9942452 markings, 29511538 edges, 15450 markings/sec, 730 secs
lola: 10019162 markings, 29752179 edges, 15342 markings/sec, 735 secs
lola: 10083188 markings, 29972257 edges, 12805 markings/sec, 740 secs
lola: 10153591 markings, 30201819 edges, 14081 markings/sec, 745 secs
lola: 10214192 markings, 30411551 edges, 12120 markings/sec, 750 secs
lola: 10274155 markings, 30609597 edges, 11993 markings/sec, 755 secs
lola: 10337750 markings, 30823746 edges, 12719 markings/sec, 760 secs
lola: 10397622 markings, 31021339 edges, 11974 markings/sec, 765 secs
lola: 10457375 markings, 31221778 edges, 11951 markings/sec, 770 secs
lola: 10515873 markings, 31415459 edges, 11700 markings/sec, 775 secs
lola: 10572809 markings, 31599337 edges, 11387 markings/sec, 780 secs
lola: 10641616 markings, 31779709 edges, 13761 markings/sec, 785 secs
lola: 10712890 markings, 31968525 edges, 14255 markings/sec, 790 secs
lola: 10778306 markings, 32142548 edges, 13083 markings/sec, 795 secs
lola: 10847819 markings, 32345148 edges, 13903 markings/sec, 800 secs
lola: 10913182 markings, 32539493 edges, 13073 markings/sec, 805 secs
lola: 10985681 markings, 32735661 edges, 14500 markings/sec, 810 secs
lola: 11066656 markings, 32990375 edges, 16195 markings/sec, 815 secs
lola: 11144744 markings, 33239930 edges, 15618 markings/sec, 820 secs
lola: 11213957 markings, 33474840 edges, 13843 markings/sec, 825 secs
lola: 11282750 markings, 33707944 edges, 13759 markings/sec, 830 secs
lola: 11347604 markings, 33922754 edges, 12971 markings/sec, 835 secs
lola: 11413508 markings, 34144872 edges, 13181 markings/sec, 840 secs
lola: 11478092 markings, 34358873 edges, 12917 markings/sec, 845 secs
lola: 11542203 markings, 34573273 edges, 12822 markings/sec, 850 secs
lola: 11603542 markings, 34775225 edges, 12268 markings/sec, 855 secs
lola: 11666397 markings, 34956125 edges, 12571 markings/sec, 860 secs
lola: 11740395 markings, 35150348 edges, 14800 markings/sec, 865 secs
lola: 11811713 markings, 35342716 edges, 14264 markings/sec, 870 secs
lola: 11882866 markings, 35535644 edges, 14231 markings/sec, 875 secs
lola: 11946777 markings, 35739556 edges, 12782 markings/sec, 880 secs
lola: 12017167 markings, 35922962 edges, 14078 markings/sec, 885 secs
lola: 12104508 markings, 36179860 edges, 17468 markings/sec, 890 secs
lola: 12174894 markings, 36417222 edges, 14077 markings/sec, 895 secs
lola: 12248228 markings, 36661099 edges, 14667 markings/sec, 900 secs
lola: 12315982 markings, 36889522 edges, 13551 markings/sec, 905 secs
lola: 12381133 markings, 37108884 edges, 13030 markings/sec, 910 secs
lola: 12444584 markings, 37319021 edges, 12690 markings/sec, 915 secs
lola: 12506635 markings, 37524418 edges, 12410 markings/sec, 920 secs
lola: 12567891 markings, 37728578 edges, 12251 markings/sec, 925 secs
lola: 12628116 markings, 37930278 edges, 12045 markings/sec, 930 secs
lola: 12686889 markings, 38112450 edges, 11755 markings/sec, 935 secs
lola: 12759892 markings, 38303047 edges, 14601 markings/sec, 940 secs
lola: 12830628 markings, 38493371 edges, 14147 markings/sec, 945 secs
lola: 12900059 markings, 38673361 edges, 13886 markings/sec, 950 secs
lola: 12964456 markings, 38876826 edges, 12879 markings/sec, 955 secs
lola: 13030221 markings, 39060001 edges, 13153 markings/sec, 960 secs
lola: 13109217 markings, 39279650 edges, 15799 markings/sec, 965 secs
lola: 13186468 markings, 39531049 edges, 15450 markings/sec, 970 secs
lola: 13260787 markings, 39775422 edges, 14864 markings/sec, 975 secs
lola: 13328724 markings, 40009588 edges, 13587 markings/sec, 980 secs
lola: 13393916 markings, 40226652 edges, 13038 markings/sec, 985 secs
lola: 13458968 markings, 40442407 edges, 13010 markings/sec, 990 secs
lola: 13524476 markings, 40663329 edges, 13102 markings/sec, 995 secs
lola: 13587774 markings, 40874255 edges, 12660 markings/sec, 1000 secs
lola: 13649232 markings, 41076876 edges, 12292 markings/sec, 1005 secs
lola: 13709684 markings, 41264777 edges, 12090 markings/sec, 1010 secs
lola: 13785053 markings, 41461127 edges, 15074 markings/sec, 1015 secs
lola: 13855909 markings, 41652679 edges, 14171 markings/sec, 1020 secs
lola: 13926459 markings, 41838153 edges, 14110 markings/sec, 1025 secs
lola: 13991195 markings, 42044471 edges, 12947 markings/sec, 1030 secs
lola: 14058872 markings, 42226723 edges, 13535 markings/sec, 1035 secs
lola: 14146985 markings, 42476523 edges, 17623 markings/sec, 1040 secs
lola: 14214592 markings, 42709299 edges, 13521 markings/sec, 1045 secs
lola: 14289389 markings, 42955630 edges, 14959 markings/sec, 1050 secs
lola: 14356964 markings, 43183717 edges, 13515 markings/sec, 1055 secs
lola: 14422059 markings, 43402393 edges, 13019 markings/sec, 1060 secs
lola: 14486512 markings, 43616992 edges, 12891 markings/sec, 1065 secs
lola: 14550469 markings, 43829215 edges, 12791 markings/sec, 1070 secs
lola: 14612778 markings, 44037668 edges, 12462 markings/sec, 1075 secs
lola: 14672755 markings, 44235406 edges, 11995 markings/sec, 1080 secs
lola: 14732757 markings, 44408339 edges, 12000 markings/sec, 1085 secs
lola: 14802831 markings, 44591966 edges, 14015 markings/sec, 1090 secs
lola: 14869863 markings, 44772937 edges, 13406 markings/sec, 1095 secs
lola: 14937749 markings, 44956752 edges, 13577 markings/sec, 1100 secs
lola: 14997767 markings, 45147047 edges, 12004 markings/sec, 1105 secs
lola: 15064038 markings, 45320156 edges, 13254 markings/sec, 1110 secs
lola: 15148695 markings, 45572143 edges, 16931 markings/sec, 1115 secs
lola: 15219439 markings, 45805464 edges, 14149 markings/sec, 1120 secs
lola: 15284956 markings, 46028680 edges, 13103 markings/sec, 1125 secs
lola: 15349931 markings, 46245818 edges, 12995 markings/sec, 1130 secs
lola: 15413102 markings, 46456158 edges, 12634 markings/sec, 1135 secs
lola: 15475145 markings, 46664535 edges, 12409 markings/sec, 1140 secs
lola: 15535886 markings, 46865696 edges, 12148 markings/sec, 1145 secs
lola: 15595573 markings, 47065169 edges, 11937 markings/sec, 1150 secs
lola: 15653601 markings, 47256413 edges, 11606 markings/sec, 1155 secs
lola: 15714311 markings, 47433303 edges, 12142 markings/sec, 1160 secs
lola: 15784075 markings, 47616268 edges, 13953 markings/sec, 1165 secs
lola: 15851006 markings, 47797147 edges, 13386 markings/sec, 1170 secs
lola: 15918001 markings, 47978725 edges, 13399 markings/sec, 1175 secs
lola: 15978499 markings, 48168589 edges, 12100 markings/sec, 1180 secs
lola: 16044545 markings, 48342428 edges, 13209 markings/sec, 1185 secs
lola: 16125134 markings, 48584494 edges, 16118 markings/sec, 1190 secs
lola: 16196378 markings, 48816790 edges, 14249 markings/sec, 1195 secs
lola: 16263305 markings, 49046366 edges, 13385 markings/sec, 1200 secs
lola: 16332977 markings, 49280148 edges, 13934 markings/sec, 1205 secs
lola: 16397110 markings, 49493253 edges, 12827 markings/sec, 1210 secs
lola: 16461203 markings, 49706084 edges, 12819 markings/sec, 1215 secs
lola: 16524724 markings, 49917132 edges, 12704 markings/sec, 1220 secs
lola: 16586970 markings, 50126296 edges, 12449 markings/sec, 1225 secs
lola: 16647522 markings, 50323377 edges, 12110 markings/sec, 1230 secs
lola: 16717530 markings, 50506437 edges, 14002 markings/sec, 1235 secs
lola: 16791257 markings, 50703654 edges, 14745 markings/sec, 1240 secs
lola: 16861529 markings, 50887342 edges, 14054 markings/sec, 1245 secs
lola: 16927277 markings, 51095505 edges, 13150 markings/sec, 1250 secs
lola: 16997384 markings, 51280750 edges, 14021 markings/sec, 1255 secs
lola: 17081430 markings, 51533722 edges, 16809 markings/sec, 1260 secs
lola: 17157333 markings, 51780901 edges, 15181 markings/sec, 1265 secs
lola: 17230617 markings, 52024924 edges, 14657 markings/sec, 1270 secs
lola: 17294376 markings, 52244433 edges, 12752 markings/sec, 1275 secs
lola: 17359975 markings, 52464608 edges, 13120 markings/sec, 1280 secs
lola: 17424905 markings, 52680580 edges, 12986 markings/sec, 1285 secs
lola: 17489201 markings, 52895111 edges, 12859 markings/sec, 1290 secs
lola: 17551111 markings, 53100053 edges, 12382 markings/sec, 1295 secs
lola: 17615749 markings, 53293489 edges, 12928 markings/sec, 1300 secs
lola: 17690163 markings, 53489335 edges, 14883 markings/sec, 1305 secs
lola: 17761004 markings, 53680012 edges, 14168 markings/sec, 1310 secs
lola: 17831674 markings, 53877556 edges, 14134 markings/sec, 1315 secs
lola: 17899138 markings, 54075601 edges, 13493 markings/sec, 1320 secs
lola: 17978009 markings, 54295153 edges, 15774 markings/sec, 1325 secs
lola: 18055884 markings, 54545073 edges, 15575 markings/sec, 1330 secs
lola: 18130553 markings, 54789260 edges, 14934 markings/sec, 1335 secs
lola: 18196558 markings, 55016418 edges, 13201 markings/sec, 1340 secs
lola: 18261917 markings, 55235512 edges, 13072 markings/sec, 1345 secs
lola: 18327055 markings, 55453591 edges, 13028 markings/sec, 1350 secs
lola: 18391639 markings, 55668378 edges, 12917 markings/sec, 1355 secs
lola: 18452427 markings, 55869390 edges, 12158 markings/sec, 1360 secs
lola: 18513405 markings, 56068619 edges, 12196 markings/sec, 1365 secs
lola: 18583454 markings, 56254604 edges, 14010 markings/sec, 1370 secs
lola: 18656661 markings, 56450571 edges, 14641 markings/sec, 1375 secs
lola: 18728116 markings, 56638179 edges, 14291 markings/sec, 1380 secs
lola: 18793357 markings, 56843599 edges, 13048 markings/sec, 1385 secs
lola: 18864578 markings, 57032605 edges, 14244 markings/sec, 1390 secs
lola: 18943665 markings, 57278051 edges, 15817 markings/sec, 1395 secs
lola: 19017517 markings, 57523551 edges, 14770 markings/sec, 1400 secs
lola: 19087089 markings, 57749600 edges, 13914 markings/sec, 1405 secs
lola: 19145735 markings, 57950192 edges, 11729 markings/sec, 1410 secs
lola: 19206952 markings, 58155920 edges, 12243 markings/sec, 1415 secs
lola: 19268356 markings, 58360528 edges, 12281 markings/sec, 1420 secs
lola: 19330474 markings, 58565017 edges, 12424 markings/sec, 1425 secs
lola: 19391767 markings, 58768245 edges, 12259 markings/sec, 1430 secs
lola: 19456133 markings, 58956452 edges, 12873 markings/sec, 1435 secs
lola: 19529349 markings, 59148724 edges, 14643 markings/sec, 1440 secs
lola: 19598805 markings, 59333569 edges, 13891 markings/sec, 1445 secs
lola: 19667079 markings, 59533725 edges, 13655 markings/sec, 1450 secs
lola: 19733788 markings, 59722970 edges, 13342 markings/sec, 1455 secs
lola: 19819480 markings, 59963479 edges, 17138 markings/sec, 1460 secs
lola: 19889650 markings, 60199944 edges, 14034 markings/sec, 1465 secs
lola: 19958931 markings, 60433338 edges, 13856 markings/sec, 1470 secs
lola: 20026657 markings, 60662289 edges, 13545 markings/sec, 1475 secs
lola: 20090661 markings, 60875345 edges, 12801 markings/sec, 1480 secs
lola: 20154640 markings, 61088440 edges, 12796 markings/sec, 1485 secs
lola: 20217142 markings, 61295626 edges, 12500 markings/sec, 1490 secs
lola: 20277915 markings, 61496299 edges, 12155 markings/sec, 1495 secs
lola: 20341745 markings, 61682939 edges, 12766 markings/sec, 1500 secs
lola: 20414244 markings, 61873511 edges, 14500 markings/sec, 1505 secs
lola: 20483251 markings, 62057219 edges, 13801 markings/sec, 1510 secs
lola: 20551091 markings, 62257303 edges, 13568 markings/sec, 1515 secs
lola: 20616983 markings, 62441785 edges, 13178 markings/sec, 1520 secs
lola: 20700917 markings, 62682393 edges, 16787 markings/sec, 1525 secs
lola: 20775002 markings, 62926538 edges, 14817 markings/sec, 1530 secs
lola: 20846979 markings, 63165786 edges, 14395 markings/sec, 1535 secs
lola: 20908640 markings, 63378552 edges, 12332 markings/sec, 1540 secs
lola: 20971653 markings, 63588248 edges, 12603 markings/sec, 1545 secs
lola: 21035093 markings, 63799454 edges, 12688 markings/sec, 1550 secs
lola: 21098141 markings, 64011005 edges, 12610 markings/sec, 1555 secs
lola: 21158876 markings, 64210378 edges, 12147 markings/sec, 1560 secs
lola: 21226335 markings, 64396765 edges, 13492 markings/sec, 1565 secs
lola: 21299160 markings, 64589940 edges, 14565 markings/sec, 1570 secs
lola: 21367958 markings, 64771101 edges, 13760 markings/sec, 1575 secs
lola: 21433018 markings, 64973882 edges, 13012 markings/sec, 1580 secs
lola: 21503427 markings, 65161494 edges, 14082 markings/sec, 1585 secs
lola: 21586811 markings, 65417937 edges, 16677 markings/sec, 1590 secs
lola: 21657652 markings, 65654662 edges, 14168 markings/sec, 1595 secs
lola: 21725094 markings, 65882632 edges, 13488 markings/sec, 1600 secs
lola: 21789721 markings, 66098780 edges, 12925 markings/sec, 1605 secs
lola: 21854113 markings, 66312856 edges, 12878 markings/sec, 1610 secs
lola: 21917588 markings, 66524150 edges, 12695 markings/sec, 1615 secs
lola: 21979247 markings, 66729195 edges, 12332 markings/sec, 1620 secs
lola: 22041503 markings, 66920210 edges, 12451 markings/sec, 1625 secs
lola: 22115319 markings, 67112954 edges, 14763 markings/sec, 1630 secs
lola: 22184596 markings, 67296559 edges, 13855 markings/sec, 1635 secs
lola: 22252591 markings, 67495463 edges, 13599 markings/sec, 1640 secs
lola: 22318724 markings, 67681170 edges, 13227 markings/sec, 1645 secs
lola: 22400844 markings, 67921349 edges, 16424 markings/sec, 1650 secs
lola: 22473138 markings, 68160521 edges, 14459 markings/sec, 1655 secs
lola: 22544719 markings, 68398503 edges, 14316 markings/sec, 1660 secs
lola: 22607506 markings, 68612342 edges, 12557 markings/sec, 1665 secs
lola: 22671719 markings, 68826453 edges, 12843 markings/sec, 1670 secs
lola: 22735074 markings, 69037631 edges, 12671 markings/sec, 1675 secs
lola: 22796529 markings, 69241848 edges, 12291 markings/sec, 1680 secs
lola: 22856306 markings, 69435222 edges, 11955 markings/sec, 1685 secs
lola: 22927522 markings, 69619429 edges, 14243 markings/sec, 1690 secs
lola: 22997651 markings, 69807534 edges, 14026 markings/sec, 1695 secs
lola: 23066674 markings, 70000205 edges, 13805 markings/sec, 1700 secs
lola: 23132545 markings, 70189353 edges, 13174 markings/sec, 1705 secs
lola: 23215295 markings, 70425315 edges, 16550 markings/sec, 1710 secs
lola: 23287453 markings, 70664934 edges, 14432 markings/sec, 1715 secs
lola: 23358632 markings, 70902328 edges, 14236 markings/sec, 1720 secs
lola: 23421453 markings, 71117028 edges, 12564 markings/sec, 1725 secs
lola: 23485484 markings, 71330593 edges, 12806 markings/sec, 1730 secs
lola: 23549623 markings, 71544712 edges, 12828 markings/sec, 1735 secs
lola: 23611552 markings, 71750803 edges, 12386 markings/sec, 1740 secs
lola: 23672386 markings, 71938824 edges, 12167 markings/sec, 1745 secs
lola: 23744915 markings, 72129052 edges, 14506 markings/sec, 1750 secs
lola: 23815155 markings, 72314344 edges, 14048 markings/sec, 1755 secs
lola: 23882910 markings, 72513810 edges, 13551 markings/sec, 1760 secs
lola: 23950424 markings, 72698024 edges, 13503 markings/sec, 1765 secs
lola: 24029963 markings, 72941952 edges, 15908 markings/sec, 1770 secs
lola: 24102659 markings, 73181664 edges, 14539 markings/sec, 1775 secs
lola: 24171151 markings, 73410866 edges, 13698 markings/sec, 1780 secs
lola: 24235398 markings, 73625271 edges, 12849 markings/sec, 1785 secs
lola: 24298792 markings, 73836638 edges, 12679 markings/sec, 1790 secs
lola: 24360403 markings, 74042861 edges, 12322 markings/sec, 1795 secs
lola: 24421499 markings, 74243800 edges, 12219 markings/sec, 1800 secs
lola: 24486403 markings, 74430017 edges, 12981 markings/sec, 1805 secs
lola: 24559114 markings, 74622362 edges, 14542 markings/sec, 1810 secs
lola: 24627223 markings, 74802125 edges, 13622 markings/sec, 1815 secs
lola: 24692827 markings, 74999522 edges, 13121 markings/sec, 1820 secs
lola: 24768355 markings, 75208181 edges, 15106 markings/sec, 1825 secs
lola: 24841313 markings, 75447788 edges, 14592 markings/sec, 1830 secs
lola: 24914281 markings, 75686608 edges, 14594 markings/sec, 1835 secs
lola: 24980094 markings, 75907877 edges, 13163 markings/sec, 1840 secs
lola: 25044562 markings, 76123153 edges, 12894 markings/sec, 1845 secs
lola: 25108436 markings, 76336350 edges, 12775 markings/sec, 1850 secs
lola: 25170204 markings, 76542162 edges, 12354 markings/sec, 1855 secs
lola: 25230732 markings, 76729686 edges, 12106 markings/sec, 1860 secs
lola: 25303932 markings, 76920950 edges, 14640 markings/sec, 1865 secs
lola: 25372822 markings, 77104467 edges, 13778 markings/sec, 1870 secs
lola: 25460272 markings, 77361064 edges, 17490 markings/sec, 1875 secs
lola: 25550933 markings, 77634043 edges, 18132 markings/sec, 1880 secs
lola: 25620469 markings, 77873135 edges, 13907 markings/sec, 1885 secs
lola: 25683724 markings, 78103163 edges, 12651 markings/sec, 1890 secs
lola: 25762221 markings, 78358927 edges, 15699 markings/sec, 1895 secs
lola: 25839877 markings, 78613055 edges, 15531 markings/sec, 1900 secs
lola: 25915842 markings, 78863545 edges, 15193 markings/sec, 1905 secs
lola: 25971587 markings, 79069595 edges, 11149 markings/sec, 1910 secs
lola: 26038548 markings, 79300505 edges, 13392 markings/sec, 1915 secs
lola: 26101196 markings, 79510594 edges, 12530 markings/sec, 1920 secs
lola: 26165281 markings, 79725551 edges, 12817 markings/sec, 1925 secs
lola: 26229456 markings, 79940774 edges, 12835 markings/sec, 1930 secs
lola: 26292885 markings, 80153283 edges, 12686 markings/sec, 1935 secs
lola: 26355896 markings, 80364488 edges, 12602 markings/sec, 1940 secs
lola: 26418688 markings, 80575442 edges, 12558 markings/sec, 1945 secs
lola: 26481066 markings, 80785976 edges, 12476 markings/sec, 1950 secs
lola: 26542397 markings, 80992896 edges, 12266 markings/sec, 1955 secs
lola: 26602817 markings, 81190406 edges, 12084 markings/sec, 1960 secs
lola: 26661407 markings, 81375564 edges, 11718 markings/sec, 1965 secs
lola: 26733024 markings, 81561107 edges, 14323 markings/sec, 1970 secs
lola: 26807833 markings, 81758233 edges, 14962 markings/sec, 1975 secs
lola: 26882318 markings, 81955798 edges, 14897 markings/sec, 1980 secs
lola: 26951398 markings, 82141026 edges, 13816 markings/sec, 1985 secs
lola: 27020608 markings, 82331126 edges, 13842 markings/sec, 1990 secs
lola: 27086110 markings, 82519270 edges, 13100 markings/sec, 1995 secs
lola: 27166269 markings, 82754490 edges, 16032 markings/sec, 2000 secs
lola: 27236995 markings, 82991668 edges, 14145 markings/sec, 2005 secs
lola: 27307480 markings, 83224773 edges, 14097 markings/sec, 2010 secs
lola: 27372121 markings, 83440615 edges, 12928 markings/sec, 2015 secs
lola: 27436672 markings, 83656327 edges, 12910 markings/sec, 2020 secs
lola: 27499231 markings, 83863746 edges, 12512 markings/sec, 2025 secs
lola: 27560169 markings, 84064687 edges, 12188 markings/sec, 2030 secs
lola: 27627604 markings, 84248669 edges, 13487 markings/sec, 2035 secs
lola: 27698515 markings, 84438270 edges, 14182 markings/sec, 2040 secs
lola: 27775890 markings, 84655238 edges, 15475 markings/sec, 2045 secs
lola: 27871062 markings, 84933179 edges, 19034 markings/sec, 2050 secs
lola: 27933489 markings, 85158569 edges, 12485 markings/sec, 2055 secs
lola: 28010684 markings, 85408482 edges, 15439 markings/sec, 2060 secs
lola: 28087802 markings, 85659679 edges, 15424 markings/sec, 2065 secs
lola: 28157015 markings, 85898055 edges, 13843 markings/sec, 2070 secs
lola: 28219126 markings, 86119319 edges, 12422 markings/sec, 2075 secs
lola: 28293320 markings, 86370321 edges, 14839 markings/sec, 2080 secs
lola: 28357023 markings, 86587556 edges, 12741 markings/sec, 2085 secs
lola: 28420439 markings, 86800405 edges, 12683 markings/sec, 2090 secs
lola: 28483511 markings, 87012047 edges, 12614 markings/sec, 2095 secs
lola: 28547917 markings, 87227922 edges, 12881 markings/sec, 2100 secs
lola: 28611667 markings, 87441809 edges, 12750 markings/sec, 2105 secs
lola: 28675266 markings, 87657033 edges, 12720 markings/sec, 2110 secs
lola: 28737641 markings, 87864558 edges, 12475 markings/sec, 2115 secs
lola: 28799770 markings, 88073967 edges, 12426 markings/sec, 2120 secs
lola: 28861068 markings, 88280891 edges, 12260 markings/sec, 2125 secs
lola: 28920830 markings, 88476312 edges, 11952 markings/sec, 2130 secs
lola: 28981328 markings, 88674659 edges, 12100 markings/sec, 2135 secs
lola: 29049925 markings, 88854755 edges, 13719 markings/sec, 2140 secs
lola: 29123891 markings, 89049918 edges, 14793 markings/sec, 2145 secs
lola: 29197095 markings, 89244279 edges, 14641 markings/sec, 2150 secs
lola: 29267143 markings, 89433898 edges, 14010 markings/sec, 2155 secs
lola: 29336511 markings, 89622726 edges, 13874 markings/sec, 2160 secs
lola: 29402351 markings, 89812269 edges, 13168 markings/sec, 2165 secs
lola: 29481798 markings, 90047648 edges, 15889 markings/sec, 2170 secs
lola: 29552660 markings, 90282990 edges, 14172 markings/sec, 2175 secs
lola: 29622838 markings, 90516562 edges, 14036 markings/sec, 2180 secs
lola: 29687449 markings, 90732469 edges, 12922 markings/sec, 2185 secs
lola: 29752021 markings, 90948309 edges, 12914 markings/sec, 2190 secs
lola: 29814671 markings, 91156691 edges, 12530 markings/sec, 2195 secs
lola: 29875113 markings, 91353860 edges, 12088 markings/sec, 2200 secs
lola: 29944905 markings, 91536672 edges, 13958 markings/sec, 2205 secs
lola: 30015535 markings, 91723048 edges, 14126 markings/sec, 2210 secs
lola: 30099480 markings, 91967242 edges, 16789 markings/sec, 2215 secs
lola: 30193552 markings, 92245327 edges, 18814 markings/sec, 2220 secs
lola: 30257805 markings, 92472480 edges, 12851 markings/sec, 2225 secs
lola: 30323294 markings, 92704210 edges, 13098 markings/sec, 2230 secs
lola: 30398527 markings, 92948877 edges, 15047 markings/sec, 2235 secs
lola: 30473479 markings, 93194083 edges, 14990 markings/sec, 2240 secs
lola: 30544983 markings, 93434634 edges, 14301 markings/sec, 2245 secs
lola: 30601003 markings, 93638195 edges, 11204 markings/sec, 2250 secs
lola: 30664141 markings, 93855828 edges, 12628 markings/sec, 2255 secs
lola: 30723034 markings, 94053017 edges, 11779 markings/sec, 2260 secs
lola: 30782976 markings, 94253818 edges, 11988 markings/sec, 2265 secs
lola: 30843351 markings, 94456295 edges, 12075 markings/sec, 2270 secs
lola: 30903147 markings, 94656374 edges, 11959 markings/sec, 2275 secs
lola: 30962136 markings, 94853811 edges, 11798 markings/sec, 2280 secs
lola: 31020930 markings, 95050983 edges, 11759 markings/sec, 2285 secs
lola: 31079426 markings, 95248094 edges, 11699 markings/sec, 2290 secs
lola: 31137619 markings, 95444285 edges, 11639 markings/sec, 2295 secs
lola: 31195543 markings, 95636214 edges, 11585 markings/sec, 2300 secs
lola: 31253367 markings, 95822704 edges, 11565 markings/sec, 2305 secs
lola: 31314357 markings, 95990550 edges, 12198 markings/sec, 2310 secs
lola: 31383879 markings, 96173513 edges, 13904 markings/sec, 2315 secs
lola: 31456734 markings, 96364055 edges, 14571 markings/sec, 2320 secs
lola: 31524185 markings, 96547695 edges, 13490 markings/sec, 2325 secs
lola: 31592510 markings, 96727237 edges, 13665 markings/sec, 2330 secs
lola: 31656353 markings, 96915761 edges, 12769 markings/sec, 2335 secs
lola: 31730647 markings, 97123013 edges, 14859 markings/sec, 2340 secs
lola: 31802326 markings, 97356841 edges, 14336 markings/sec, 2345 secs
lola: 31868296 markings, 97577806 edges, 13194 markings/sec, 2350 secs
lola: 31927480 markings, 97780489 edges, 11837 markings/sec, 2355 secs
lola: 31988609 markings, 97984642 edges, 12226 markings/sec, 2360 secs
lola: 32047963 markings, 98180786 edges, 11871 markings/sec, 2365 secs
lola: 32106700 markings, 98376684 edges, 11747 markings/sec, 2370 secs
lola: 32166788 markings, 98549411 edges, 12018 markings/sec, 2375 secs
lola: 32235726 markings, 98731547 edges, 13788 markings/sec, 2380 secs
lola: 32302122 markings, 98912168 edges, 13279 markings/sec, 2385 secs
lola: 32390622 markings, 99173718 edges, 17700 markings/sec, 2390 secs
lola: 32466620 markings, 99419075 edges, 15200 markings/sec, 2395 secs
lola: 32541821 markings, 99663039 edges, 15040 markings/sec, 2400 secs
lola: 32609258 markings, 99894961 edges, 13487 markings/sec, 2405 secs
lola: 32669542 markings, 100111605 edges, 12057 markings/sec, 2410 secs
lola: 32742898 markings, 100356145 edges, 14671 markings/sec, 2415 secs
lola: 32815911 markings, 100596239 edges, 14603 markings/sec, 2420 secs
lola: 32876608 markings, 100810233 edges, 12139 markings/sec, 2425 secs
lola: 32938678 markings, 101018435 edges, 12414 markings/sec, 2430 secs
lola: 32999074 markings, 101220951 edges, 12079 markings/sec, 2435 secs
lola: 33063696 markings, 101443655 edges, 12924 markings/sec, 2440 secs
lola: 33124897 markings, 101649337 edges, 12240 markings/sec, 2445 secs
lola: 33185978 markings, 101854039 edges, 12216 markings/sec, 2450 secs
lola: 33247256 markings, 102059402 edges, 12256 markings/sec, 2455 secs
lola: 33307500 markings, 102260560 edges, 12049 markings/sec, 2460 secs
lola: 33366442 markings, 102455544 edges, 11788 markings/sec, 2465 secs
lola: 33426822 markings, 102659523 edges, 12076 markings/sec, 2470 secs
lola: 33484409 markings, 102843128 edges, 11517 markings/sec, 2475 secs
lola: 33547206 markings, 103017067 edges, 12559 markings/sec, 2480 secs
lola: 33621226 markings, 103210334 edges, 14804 markings/sec, 2485 secs
lola: 33692477 markings, 103399811 edges, 14250 markings/sec, 2490 secs
lola: 33762196 markings, 103588303 edges, 13944 markings/sec, 2495 secs
lola: 33830058 markings, 103768939 edges, 13572 markings/sec, 2500 secs
lola: 33894132 markings, 103955324 edges, 12815 markings/sec, 2505 secs
lola: 33971541 markings, 104181362 edges, 15482 markings/sec, 2510 secs
lola: 34039793 markings, 104410086 edges, 13650 markings/sec, 2515 secs
lola: 34108517 markings, 104638021 edges, 13745 markings/sec, 2520 secs
lola: 34171381 markings, 104848147 edges, 12573 markings/sec, 2525 secs
lola: 34233484 markings, 105053412 edges, 12421 markings/sec, 2530 secs
lola: 34294541 markings, 105256909 edges, 12211 markings/sec, 2535 secs
lola: 34353862 markings, 105447893 edges, 11864 markings/sec, 2540 secs
lola: 34424919 markings, 105632075 edges, 14211 markings/sec, 2545 secs
lola: 34491704 markings, 105810568 edges, 13357 markings/sec, 2550 secs
lola: 34576426 markings, 106059325 edges, 16944 markings/sec, 2555 secs
lola: 34661790 markings, 106320015 edges, 17073 markings/sec, 2560 secs
lola: 34735190 markings, 106564070 edges, 14680 markings/sec, 2565 secs
lola: 34794677 markings, 106778496 edges, 11897 markings/sec, 2570 secs
lola: 34864328 markings, 107017596 edges, 13930 markings/sec, 2575 secs
lola: 34937601 markings, 107257915 edges, 14655 markings/sec, 2580 secs
lola: 35010046 markings, 107496560 edges, 14489 markings/sec, 2585 secs
lola: 35067608 markings, 107703298 edges, 11512 markings/sec, 2590 secs
lola: 35130200 markings, 107913466 edges, 12518 markings/sec, 2595 secs
lola: 35191970 markings, 108123859 edges, 12354 markings/sec, 2600 secs
lola: 35255573 markings, 108340016 edges, 12721 markings/sec, 2605 secs
lola: 35317527 markings, 108548047 edges, 12391 markings/sec, 2610 secs
lola: 35378938 markings, 108754072 edges, 12282 markings/sec, 2615 secs
lola: 35440451 markings, 108960550 edges, 12303 markings/sec, 2620 secs
lola: 35500753 markings, 109160998 edges, 12060 markings/sec, 2625 secs
lola: 35560111 markings, 109358501 edges, 11872 markings/sec, 2630 secs
lola: 35619980 markings, 109558394 edges, 11974 markings/sec, 2635 secs
lola: 35680048 markings, 109752360 edges, 12014 markings/sec, 2640 secs
lola: 35746489 markings, 109930636 edges, 13288 markings/sec, 2645 secs
lola: 35821199 markings, 110127297 edges, 14942 markings/sec, 2650 secs
lola: 35897506 markings, 110327973 edges, 15261 markings/sec, 2655 secs
lola: 35965692 markings, 110511920 edges, 13637 markings/sec, 2660 secs
lola: 36034948 markings, 110708687 edges, 13851 markings/sec, 2665 secs
lola: 36105310 markings, 110902444 edges, 14072 markings/sec, 2670 secs
lola: 36183300 markings, 111150972 edges, 15598 markings/sec, 2675 secs
lola: 36258188 markings, 111394111 edges, 14978 markings/sec, 2680 secs
lola: 36320106 markings, 111606563 edges, 12384 markings/sec, 2685 secs
lola: 36380764 markings, 111807369 edges, 12132 markings/sec, 2690 secs
lola: 36440653 markings, 112007910 edges, 11978 markings/sec, 2695 secs
lola: 36498262 markings, 112198171 edges, 11522 markings/sec, 2700 secs
lola: 36560658 markings, 112370703 edges, 12479 markings/sec, 2705 secs
lola: 36627546 markings, 112549121 edges, 13378 markings/sec, 2710 secs
lola: 36699334 markings, 112749449 edges, 14358 markings/sec, 2715 secs
lola: 36790502 markings, 113015787 edges, 18234 markings/sec, 2720 secs
lola: 36853092 markings, 113241211 edges, 12518 markings/sec, 2725 secs
lola: 36926025 markings, 113478032 edges, 14587 markings/sec, 2730 secs
lola: 36998181 markings, 113713228 edges, 14431 markings/sec, 2735 secs
lola: 37069035 markings, 113950201 edges, 14171 markings/sec, 2740 secs
lola: 37134550 markings, 114178763 edges, 13103 markings/sec, 2745 secs
lola: 37198204 markings, 114400365 edges, 12731 markings/sec, 2750 secs
lola: 37264989 markings, 114630658 edges, 13357 markings/sec, 2755 secs
lola: 37327235 markings, 114839766 edges, 12449 markings/sec, 2760 secs
lola: 37391612 markings, 115056245 edges, 12875 markings/sec, 2765 secs
lola: 37455744 markings, 115271762 edges, 12826 markings/sec, 2770 secs
lola: 37519235 markings, 115485207 edges, 12698 markings/sec, 2775 secs
lola: 37582910 markings, 115699230 edges, 12735 markings/sec, 2780 secs
lola: 37646064 markings, 115911522 edges, 12631 markings/sec, 2785 secs
lola: 37706742 markings, 116111823 edges, 12136 markings/sec, 2790 secs
lola: 37767771 markings, 116313293 edges, 12206 markings/sec, 2795 secs
lola: 37828920 markings, 116513795 edges, 12230 markings/sec, 2800 secs
lola: 37896395 markings, 116691241 edges, 13495 markings/sec, 2805 secs
lola: 37972437 markings, 116890543 edges, 15208 markings/sec, 2810 secs
lola: 38048634 markings, 117090887 edges, 15239 markings/sec, 2815 secs
lola: 38116438 markings, 117272714 edges, 13561 markings/sec, 2820 secs
lola: 38182137 markings, 117466415 edges, 13140 markings/sec, 2825 secs
lola: 38257170 markings, 117671091 edges, 15007 markings/sec, 2830 secs
lola: 38334213 markings, 117917316 edges, 15409 markings/sec, 2835 secs
lola: 38402204 markings, 118149796 edges, 13598 markings/sec, 2840 secs
lola: 38466539 markings, 118363627 edges, 12867 markings/sec, 2845 secs
lola: 38530370 markings, 118575803 edges, 12766 markings/sec, 2850 secs
lola: 38592629 markings, 118783156 edges, 12452 markings/sec, 2855 secs
lola: 38655049 markings, 118975578 edges, 12484 markings/sec, 2860 secs
lola: 38727998 markings, 119166357 edges, 14590 markings/sec, 2865 secs
lola: 38796770 markings, 119354731 edges, 13754 markings/sec, 2870 secs
lola: 38888750 markings, 119624031 edges, 18396 markings/sec, 2875 secs
lola: 38962962 markings, 119875554 edges, 14842 markings/sec, 2880 secs
lola: 39039018 markings, 120125670 edges, 15211 markings/sec, 2885 secs
lola: 39113869 markings, 120372423 edges, 14970 markings/sec, 2890 secs
lola: 39187842 markings, 120617222 edges, 14795 markings/sec, 2895 secs
lola: 39256928 markings, 120854878 edges, 13817 markings/sec, 2900 secs
lola: 39316574 markings, 121068187 edges, 11929 markings/sec, 2905 secs
lola: 39382132 markings, 121290621 edges, 13112 markings/sec, 2910 secs
lola: 39445477 markings, 121507120 edges, 12669 markings/sec, 2915 secs
lola: 39510175 markings, 121724868 edges, 12940 markings/sec, 2920 secs
lola: 39574210 markings, 121940203 edges, 12807 markings/sec, 2925 secs
lola: 39637668 markings, 122153425 edges, 12692 markings/sec, 2930 secs
lola: 39700573 markings, 122362376 edges, 12581 markings/sec, 2935 secs
lola: 39762352 markings, 122568194 edges, 12356 markings/sec, 2940 secs
lola: 39824192 markings, 122777453 edges, 12368 markings/sec, 2945 secs
lola: 39885299 markings, 122978543 edges, 12221 markings/sec, 2950 secs
lola: 39944474 markings, 123162083 edges, 11835 markings/sec, 2955 secs
lola: 40018322 markings, 123352316 edges, 14770 markings/sec, 2960 secs
lola: 40092253 markings, 123547909 edges, 14786 markings/sec, 2965 secs
lola: 40166067 markings, 123745598 edges, 14763 markings/sec, 2970 secs
lola: 40233923 markings, 123927876 edges, 13571 markings/sec, 2975 secs
lola: 40300874 markings, 124118430 edges, 13390 markings/sec, 2980 secs
lola: 40378233 markings, 124349700 edges, 15472 markings/sec, 2985 secs
lola: 40452962 markings, 124592227 edges, 14946 markings/sec, 2990 secs
lola: 40519609 markings, 124817469 edges, 13329 markings/sec, 2995 secs
lola: 40584220 markings, 125033867 edges, 12922 markings/sec, 3000 secs
lola: 40647644 markings, 125244932 edges, 12685 markings/sec, 3005 secs
lola: 40709045 markings, 125446720 edges, 12280 markings/sec, 3010 secs
lola: 40777683 markings, 125630202 edges, 13728 markings/sec, 3015 secs
lola: 40847923 markings, 125815612 edges, 14048 markings/sec, 3020 secs
lola: 40932020 markings, 126062128 edges, 16819 markings/sec, 3025 secs
lola: 41016415 markings, 126322164 edges, 16879 markings/sec, 3030 secs
lola: 41091460 markings, 126569146 edges, 15009 markings/sec, 3035 secs
lola: 41155340 markings, 126791943 edges, 12776 markings/sec, 3040 secs
lola: 41214777 markings, 127002714 edges, 11887 markings/sec, 3045 secs
lola: 41284860 markings, 127238948 edges, 14017 markings/sec, 3050 secs
lola: 41354731 markings, 127469990 edges, 13974 markings/sec, 3055 secs
lola: 41416334 markings, 127684329 edges, 12321 markings/sec, 3060 secs
lola: 41476079 markings, 127884982 edges, 11949 markings/sec, 3065 secs
lola: 41535625 markings, 128084849 edges, 11909 markings/sec, 3070 secs
lola: 41599519 markings, 128299848 edges, 12779 markings/sec, 3075 secs
lola: 41662341 markings, 128511002 edges, 12564 markings/sec, 3080 secs
lola: 41723800 markings, 128717460 edges, 12292 markings/sec, 3085 secs
lola: 41786111 markings, 128927533 edges, 12462 markings/sec, 3090 secs
lola: 41849028 markings, 129139831 edges, 12583 markings/sec, 3095 secs
lola: 41909528 markings, 129339739 edges, 12100 markings/sec, 3100 secs
lola: 41970033 markings, 129536115 edges, 12101 markings/sec, 3105 secs
lola: 42036125 markings, 129717162 edges, 13218 markings/sec, 3110 secs
lola: 42110771 markings, 129913356 edges, 14929 markings/sec, 3115 secs
lola: 42186046 markings, 130112070 edges, 15055 markings/sec, 3120 secs
lola: 42255377 markings, 130295410 edges, 13866 markings/sec, 3125 secs
lola: 42321279 markings, 130488743 edges, 13180 markings/sec, 3130 secs
lola: 42394947 markings, 130689733 edges, 14734 markings/sec, 3135 secs
lola: 42467839 markings, 130927279 edges, 14578 markings/sec, 3140 secs
lola: 42536228 markings, 131157702 edges, 13678 markings/sec, 3145 secs
lola: 42602886 markings, 131380780 edges, 13332 markings/sec, 3150 secs
lola: 42666536 markings, 131592657 edges, 12730 markings/sec, 3155 secs
lola: 42727805 markings, 131794539 edges, 12254 markings/sec, 3160 secs
lola: 42795680 markings, 131985518 edges, 13575 markings/sec, 3165 secs
lola: 42867566 markings, 132177121 edges, 14377 markings/sec, 3170 secs
lola: 42952969 markings, 132422240 edges, 17081 markings/sec, 3175 secs
lola: 43042283 markings, 132695074 edges, 17863 markings/sec, 3180 secs
lola: 43117235 markings, 132942703 edges, 14990 markings/sec, 3185 secs
lola: 43187748 markings, 133184378 edges, 14103 markings/sec, 3190 secs
lola: 43254331 markings, 133415391 edges, 13317 markings/sec, 3195 secs
lola: 43322377 markings, 133649345 edges, 13609 markings/sec, 3200 secs
lola: 43391915 markings, 133887675 edges, 13908 markings/sec, 3205 secs
lola: 43457655 markings, 134111389 edges, 13148 markings/sec, 3210 secs
lola: 43520382 markings, 134322626 edges, 12545 markings/sec, 3215 secs
lola: 43585322 markings, 134541262 edges, 12988 markings/sec, 3220 secs
lola: 43649425 markings, 134756888 edges, 12821 markings/sec, 3225 secs
lola: 43712646 markings, 134969589 edges, 12644 markings/sec, 3230 secs
lola: 43774591 markings, 135173245 edges, 12389 markings/sec, 3235 secs
lola: 43837551 markings, 135385751 edges, 12592 markings/sec, 3240 secs
lola: 43899150 markings, 135592232 edges, 12320 markings/sec, 3245 secs
lola: 43959752 markings, 135789736 edges, 12120 markings/sec, 3250 secs
lola: 44023346 markings, 135976648 edges, 12719 markings/sec, 3255 secs
lola: time limit reached - aborting
lola:
preliminary result: 80 unknown 1 1 80 1 80 80 1 1 1 1 1 1 1 1
lola:
preliminary result: 80 unknown 1 1 80 1 80 80 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 80 unknown 1 1 80 1 80 80 1 1 1 1 1 1 1 1
lola: memory consumption: 2771536 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 80 unknown 1 1 80 1 80 80 1 1 1 1 1 1 1 1
lola: memory consumption: 2771536 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished
BK_STOP 1552538020281
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
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-V80P50N20"
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
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is BridgeAndVehicles-PT-V80P50N20, 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 r016-csrt-155225065800659"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V80P50N20.tgz
mv BridgeAndVehicles-PT-V80P50N20 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 '
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 ;