Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r038-smll-155229648700083.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is CloudDeployment-PT-6b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-smll-155229648700083
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.0M
-rw-r--r-- 1 mcc users 3.2K Feb 9 09:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 9 09:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 5 07:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 5 07:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 108 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 346 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 2 02:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 02:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 29 15:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 29 15:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 4.8M 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 CloudDeployment-PT-6b-UpperBounds-00
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-01
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-02
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-03
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-04
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-05
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-06
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-07
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-08
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-09
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-10
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-11
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-12
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-13
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-14
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552558422167

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ CloudDeployment-PT-6b @ 3570 seconds

FORMULA CloudDeployment-PT-6b-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ CloudDeployment-PT-6b

{
"exit":
{
"memory": 3313316,
"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(p174)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"preliminary_value": "1 1 unknown 1 unknown 1 1 1 1 1 unknown 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: 8692/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1888
lola: finding significant places
lola: 1888 places, 6804 transitions, 1863 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: MAX(p661) : MAX(p1626) : MAX(p174) : MAX(p558) : MAX(p134) : MAX(p1831) : MAX(p551) : MAX(p1602) : MAX(p1555) : MAX(p604) : MAX(p1309) : MAX(p387) : MAX(p466) : MAX(p898) : MAX(p303) : MAX(p1726)
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(p661)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p661)
lola: processed formula length: 9
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: 151 markings, 150 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1626)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1626)
lola: processed formula length: 10
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: 160 markings, 159 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p174)
lola: processed formula length: 9
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: 46518 markings, 86453 edges, 9304 markings/sec, 0 secs
lola: 115429 markings, 217002 edges, 13782 markings/sec, 5 secs
lola: 182499 markings, 359344 edges, 13414 markings/sec, 10 secs
lola: 245402 markings, 523517 edges, 12581 markings/sec, 15 secs
lola: 299089 markings, 696908 edges, 10737 markings/sec, 20 secs
lola: 350234 markings, 891531 edges, 10229 markings/sec, 25 secs
lola: 415410 markings, 1038399 edges, 13035 markings/sec, 30 secs
lola: 481350 markings, 1182492 edges, 13188 markings/sec, 35 secs
lola: 543601 markings, 1348469 edges, 12450 markings/sec, 40 secs
lola: 597751 markings, 1533708 edges, 10830 markings/sec, 45 secs
lola: 643305 markings, 1742715 edges, 9111 markings/sec, 50 secs
lola: 706354 markings, 1892013 edges, 12610 markings/sec, 55 secs
lola: 773662 markings, 2016008 edges, 13462 markings/sec, 60 secs
lola: 838105 markings, 2168712 edges, 12889 markings/sec, 65 secs
lola: 896715 markings, 2339016 edges, 11722 markings/sec, 70 secs
lola: 949359 markings, 2531683 edges, 10529 markings/sec, 75 secs
lola: 1004476 markings, 2709141 edges, 11023 markings/sec, 80 secs
lola: 1068561 markings, 2851448 edges, 12817 markings/sec, 85 secs
lola: 1130450 markings, 3008749 edges, 12378 markings/sec, 90 secs
lola: 1187178 markings, 3189431 edges, 11346 markings/sec, 95 secs
lola: 1235583 markings, 3384022 edges, 9681 markings/sec, 100 secs
lola: 1277567 markings, 3597457 edges, 8397 markings/sec, 105 secs
lola: 1340598 markings, 3747427 edges, 12606 markings/sec, 110 secs
lola: 1405993 markings, 3883784 edges, 13079 markings/sec, 115 secs
lola: 1468642 markings, 4044114 edges, 12530 markings/sec, 120 secs
lola: 1523797 markings, 4223555 edges, 11031 markings/sec, 125 secs
lola: 1572817 markings, 4421762 edges, 9804 markings/sec, 130 secs
lola: 1626990 markings, 4595641 edges, 10835 markings/sec, 135 secs
lola: 1691593 markings, 4733537 edges, 12921 markings/sec, 140 secs
lola: 1755123 markings, 4884065 edges, 12706 markings/sec, 145 secs
lola: 1814259 markings, 5056276 edges, 11827 markings/sec, 150 secs
lola: 1865761 markings, 5242604 edges, 10300 markings/sec, 155 secs
lola: 1912243 markings, 5444588 edges, 9296 markings/sec, 160 secs
lola: 1975955 markings, 5588838 edges, 12742 markings/sec, 165 secs
lola: 2040847 markings, 5726329 edges, 12978 markings/sec, 170 secs
lola: 2102032 markings, 5887844 edges, 12237 markings/sec, 175 secs
lola: 2155523 markings, 6065919 edges, 10698 markings/sec, 180 secs
lola: 2203716 markings, 6271406 edges, 9639 markings/sec, 185 secs
lola: 2261717 markings, 6430812 edges, 11600 markings/sec, 190 secs
lola: 2325979 markings, 6568488 edges, 12852 markings/sec, 195 secs
lola: 2384068 markings, 6749462 edges, 11618 markings/sec, 200 secs
lola: 2439399 markings, 6912197 edges, 11066 markings/sec, 205 secs
lola: 2503536 markings, 7027488 edges, 12827 markings/sec, 210 secs
lola: 2564100 markings, 7188502 edges, 12113 markings/sec, 215 secs
lola: 2623171 markings, 7370951 edges, 11814 markings/sec, 220 secs
lola: 2673797 markings, 7557499 edges, 10125 markings/sec, 225 secs
lola: 2738319 markings, 7683051 edges, 12904 markings/sec, 230 secs
lola: 2800355 markings, 7824200 edges, 12407 markings/sec, 235 secs
lola: 2859831 markings, 8002623 edges, 11895 markings/sec, 240 secs
lola: 2913310 markings, 8199404 edges, 10696 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 434592 KB
lola: time consumption: 261 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 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p558)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p558)
lola: processed formula length: 9
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: 41 markings, 40 edges
lola: ========================================
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p134)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p134)
lola: processed formula length: 9
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: 47796 markings, 71284 edges, 9559 markings/sec, 0 secs
lola: 116293 markings, 224108 edges, 13699 markings/sec, 5 secs
lola: 187580 markings, 375121 edges, 14257 markings/sec, 10 secs
lola: 257113 markings, 534369 edges, 13907 markings/sec, 15 secs
lola: 323228 markings, 715754 edges, 13223 markings/sec, 20 secs
lola: 386393 markings, 919881 edges, 12633 markings/sec, 25 secs
lola: 441446 markings, 1129354 edges, 11011 markings/sec, 30 secs
lola: 511028 markings, 1283293 edges, 13916 markings/sec, 35 secs
lola: 578725 markings, 1442022 edges, 13539 markings/sec, 40 secs
lola: 637706 markings, 1643358 edges, 11796 markings/sec, 45 secs
lola: 700959 markings, 1819003 edges, 12651 markings/sec, 50 secs
lola: 765256 markings, 1989236 edges, 12859 markings/sec, 55 secs
lola: 829016 markings, 2158527 edges, 12752 markings/sec, 60 secs
lola: 893053 markings, 2323198 edges, 12807 markings/sec, 65 secs
lola: 955615 markings, 2487500 edges, 12512 markings/sec, 70 secs
lola: 1021557 markings, 2666110 edges, 13188 markings/sec, 75 secs
lola: 1091291 markings, 2817250 edges, 13947 markings/sec, 80 secs
lola: 1162816 markings, 2981527 edges, 14305 markings/sec, 85 secs
lola: 1234294 markings, 3126090 edges, 14296 markings/sec, 90 secs
lola: 1302821 markings, 3300004 edges, 13705 markings/sec, 95 secs
lola: 1368489 markings, 3486085 edges, 13134 markings/sec, 100 secs
lola: 1428143 markings, 3698333 edges, 11931 markings/sec, 105 secs
lola: 1488187 markings, 3889474 edges, 12009 markings/sec, 110 secs
lola: 1559035 markings, 4034922 edges, 14170 markings/sec, 115 secs
lola: 1624719 markings, 4216379 edges, 13137 markings/sec, 120 secs
lola: 1682546 markings, 4414919 edges, 11565 markings/sec, 125 secs
lola: 1748430 markings, 4586376 edges, 13177 markings/sec, 130 secs
lola: 1812941 markings, 4755218 edges, 12902 markings/sec, 135 secs
lola: 1875623 markings, 4927043 edges, 12536 markings/sec, 140 secs
lola: 1939014 markings, 5094685 edges, 12678 markings/sec, 145 secs
lola: 2011132 markings, 5240352 edges, 14424 markings/sec, 150 secs
lola: 2082931 markings, 5400299 edges, 14360 markings/sec, 155 secs
lola: 2154565 markings, 5547763 edges, 14327 markings/sec, 160 secs
lola: 2222952 markings, 5722901 edges, 13677 markings/sec, 165 secs
lola: 2289090 markings, 5911599 edges, 13228 markings/sec, 170 secs
lola: 2348104 markings, 6120422 edges, 11803 markings/sec, 175 secs
lola: 2414887 markings, 6301867 edges, 13357 markings/sec, 180 secs
lola: 2488892 markings, 6467683 edges, 14801 markings/sec, 185 secs
lola: 2563391 markings, 6622151 edges, 14900 markings/sec, 190 secs
lola: 2633503 markings, 6803509 edges, 14022 markings/sec, 195 secs
lola: 2700135 markings, 6996490 edges, 13326 markings/sec, 200 secs
lola: 2758018 markings, 7207004 edges, 11577 markings/sec, 205 secs
lola: 2823232 markings, 7390368 edges, 13043 markings/sec, 210 secs
lola: 2893395 markings, 7562833 edges, 14033 markings/sec, 215 secs
lola: 2964153 markings, 7722710 edges, 14152 markings/sec, 220 secs
lola: 3031015 markings, 7907499 edges, 13372 markings/sec, 225 secs
lola: 3094471 markings, 8101029 edges, 12691 markings/sec, 230 secs
lola: 3151724 markings, 8317914 edges, 11451 markings/sec, 235 secs
lola: 3208704 markings, 8514676 edges, 11396 markings/sec, 240 secs
lola: 3280791 markings, 8672637 edges, 14417 markings/sec, 245 secs
lola: 3352343 markings, 8822196 edges, 14310 markings/sec, 250 secs
lola: 3421864 markings, 8990798 edges, 13904 markings/sec, 255 secs
lola: 3488413 markings, 9169306 edges, 13310 markings/sec, 260 secs
lola: 3551068 markings, 9377710 edges, 12531 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 504816 KB
lola: time consumption: 538 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 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1831)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1831)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file 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: 122 markings, 121 edges
lola: ========================================
lola: subprocess 6 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p551)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p551)
lola: processed formula length: 9
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: 133 markings, 132 edges
lola: ========================================
lola: subprocess 7 will run for 336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1602)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1602)
lola: processed formula length: 10
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: 132 markings, 131 edges
lola: ========================================
lola: subprocess 8 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1555)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1555)
lola: processed formula length: 10
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: 9 markings, 8 edges
lola: ========================================
lola: subprocess 9 will run for 432 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p604)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p604)
lola: processed formula length: 9
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: 11 markings, 10 edges
lola: ========================================
lola: subprocess 10 will run for 504 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1309)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1309)
lola: processed formula length: 10
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: 34604 markings, 91237 edges, 6921 markings/sec, 0 secs
lola: 83711 markings, 218764 edges, 9821 markings/sec, 5 secs
lola: 128596 markings, 356972 edges, 8977 markings/sec, 10 secs
lola: 181290 markings, 521543 edges, 10539 markings/sec, 15 secs
lola: 248661 markings, 686974 edges, 13474 markings/sec, 20 secs
lola: 316757 markings, 837013 edges, 13619 markings/sec, 25 secs
lola: 389944 markings, 988182 edges, 14637 markings/sec, 30 secs
lola: 456646 markings, 1139344 edges, 13340 markings/sec, 35 secs
lola: 528018 markings, 1284955 edges, 14274 markings/sec, 40 secs
lola: 598705 markings, 1424286 edges, 14137 markings/sec, 45 secs
lola: 664391 markings, 1572382 edges, 13137 markings/sec, 50 secs
lola: 720864 markings, 1741402 edges, 11295 markings/sec, 55 secs
lola: 783264 markings, 1896682 edges, 12480 markings/sec, 60 secs
lola: 852251 markings, 2042202 edges, 13797 markings/sec, 65 secs
lola: 905972 markings, 2200448 edges, 10744 markings/sec, 70 secs
lola: 955885 markings, 2402061 edges, 9983 markings/sec, 75 secs
lola: 1023393 markings, 2564057 edges, 13502 markings/sec, 80 secs
lola: 1094765 markings, 2719101 edges, 14274 markings/sec, 85 secs
lola: 1166559 markings, 2870681 edges, 14359 markings/sec, 90 secs
lola: 1233270 markings, 3022248 edges, 13342 markings/sec, 95 secs
lola: 1305483 markings, 3166422 edges, 14443 markings/sec, 100 secs
lola: 1376372 markings, 3305238 edges, 14178 markings/sec, 105 secs
lola: 1440423 markings, 3457879 edges, 12810 markings/sec, 110 secs
lola: 1497499 markings, 3625066 edges, 11415 markings/sec, 115 secs
lola: 1561857 markings, 3778982 edges, 12872 markings/sec, 120 secs
lola: 1626959 markings, 3930412 edges, 13020 markings/sec, 125 secs
lola: 1677137 markings, 4101536 edges, 10036 markings/sec, 130 secs
lola: 1735015 markings, 4286974 edges, 11576 markings/sec, 135 secs
lola: 1801472 markings, 4452652 edges, 13291 markings/sec, 140 secs
lola: 1874689 markings, 4604970 edges, 14643 markings/sec, 145 secs
lola: 1945179 markings, 4759833 edges, 14098 markings/sec, 150 secs
lola: 2012153 markings, 4912464 edges, 13395 markings/sec, 155 secs
lola: 2085029 markings, 5055718 edges, 14575 markings/sec, 160 secs
lola: 2156693 markings, 5192832 edges, 14333 markings/sec, 165 secs
lola: 2219180 markings, 5349629 edges, 12497 markings/sec, 170 secs
lola: 2277769 markings, 5516624 edges, 11718 markings/sec, 175 secs
lola: 2343202 markings, 5666983 edges, 13087 markings/sec, 180 secs
lola: 2405143 markings, 5824000 edges, 12388 markings/sec, 185 secs
lola: 2453470 markings, 6002332 edges, 9665 markings/sec, 190 secs
lola: 2521719 markings, 6169242 edges, 13650 markings/sec, 195 secs
lola: 2601834 markings, 6312180 edges, 16023 markings/sec, 200 secs
lola: 2675645 markings, 6465962 edges, 14762 markings/sec, 205 secs
lola: 2750667 markings, 6608861 edges, 15004 markings/sec, 210 secs
lola: 2809848 markings, 6782253 edges, 11836 markings/sec, 215 secs
lola: 2881638 markings, 6941865 edges, 14358 markings/sec, 220 secs
lola: 2954843 markings, 7095946 edges, 14641 markings/sec, 225 secs
lola: 3021217 markings, 7262935 edges, 13275 markings/sec, 230 secs
lola: 3087350 markings, 7419945 edges, 13227 markings/sec, 235 secs
lola: 3144446 markings, 7590125 edges, 11419 markings/sec, 240 secs
lola: 3209876 markings, 7755888 edges, 13086 markings/sec, 245 secs
lola: 3285183 markings, 7893421 edges, 15061 markings/sec, 250 secs
lola: 3357039 markings, 8037144 edges, 14371 markings/sec, 255 secs
lola: 3426525 markings, 8176140 edges, 13897 markings/sec, 260 secs
lola: 3491468 markings, 8321349 edges, 12989 markings/sec, 265 secs
lola: 3552333 markings, 8500550 edges, 12173 markings/sec, 270 secs
lola: 3616770 markings, 8666530 edges, 12887 markings/sec, 275 secs
lola: 3683687 markings, 8831793 edges, 13383 markings/sec, 280 secs
lola: 3739690 markings, 9013738 edges, 11201 markings/sec, 285 secs
lola: 3798834 markings, 9178131 edges, 11829 markings/sec, 290 secs
lola: 3846183 markings, 9360526 edges, 9470 markings/sec, 295 secs
lola: 3905516 markings, 9538012 edges, 11867 markings/sec, 300 secs
lola: 3974971 markings, 9689984 edges, 13891 markings/sec, 305 secs
lola: 4044114 markings, 9844229 edges, 13829 markings/sec, 310 secs
lola: 4104725 markings, 10007117 edges, 12122 markings/sec, 315 secs
lola: 4167532 markings, 10162946 edges, 12561 markings/sec, 320 secs
lola: 4220406 markings, 10347036 edges, 10575 markings/sec, 325 secs
lola: 4289084 markings, 10500600 edges, 13736 markings/sec, 330 secs
lola: 4359958 markings, 10650369 edges, 14175 markings/sec, 335 secs
lola: 4423614 markings, 10814482 edges, 12731 markings/sec, 340 secs
lola: 4488492 markings, 10965430 edges, 12976 markings/sec, 345 secs
lola: 4542175 markings, 11132128 edges, 10737 markings/sec, 350 secs
lola: 4602815 markings, 11303765 edges, 12128 markings/sec, 355 secs
lola: 4671141 markings, 11453325 edges, 13665 markings/sec, 360 secs
lola: 4739629 markings, 11604423 edges, 13698 markings/sec, 365 secs
lola: 4799843 markings, 11766771 edges, 12043 markings/sec, 370 secs
lola: 4862303 markings, 11922406 edges, 12492 markings/sec, 375 secs
lola: 4911818 markings, 12098757 edges, 9903 markings/sec, 380 secs
lola: 4991259 markings, 12225521 edges, 15888 markings/sec, 385 secs
lola: 5062210 markings, 12369535 edges, 14190 markings/sec, 390 secs
lola: 5126082 markings, 12533204 edges, 12774 markings/sec, 395 secs
lola: 5198054 markings, 12677073 edges, 14394 markings/sec, 400 secs
lola: 5272037 markings, 12820756 edges, 14797 markings/sec, 405 secs
lola: 5350520 markings, 12971761 edges, 15697 markings/sec, 410 secs
lola: 5429000 markings, 13127237 edges, 15696 markings/sec, 415 secs
lola: 5502147 markings, 13274577 edges, 14629 markings/sec, 420 secs
lola: 5576717 markings, 13409512 edges, 14914 markings/sec, 425 secs
lola: 5651696 markings, 13541491 edges, 14996 markings/sec, 430 secs
lola: 5719561 markings, 13689974 edges, 13573 markings/sec, 435 secs
lola: 5783533 markings, 13844422 edges, 12794 markings/sec, 440 secs
lola: 5850385 markings, 13991079 edges, 13370 markings/sec, 445 secs
lola: 5912549 markings, 14150658 edges, 12433 markings/sec, 450 secs
lola: 5968201 markings, 14321525 edges, 11130 markings/sec, 455 secs
lola: 6036991 markings, 14463412 edges, 13758 markings/sec, 460 secs
lola: 6099104 markings, 14621237 edges, 12423 markings/sec, 465 secs
lola: 6152837 markings, 14795148 edges, 10747 markings/sec, 470 secs
lola: 6222023 markings, 14936731 edges, 13837 markings/sec, 475 secs
lola: 6285291 markings, 15090364 edges, 12654 markings/sec, 480 secs
lola: 6341859 markings, 15255584 edges, 11314 markings/sec, 485 secs
lola: 6404892 markings, 15409553 edges, 12607 markings/sec, 490 secs
lola: 6470654 markings, 15556884 edges, 13152 markings/sec, 495 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1137808 KB
lola: time consumption: 1048 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 11 will run for 504 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p387)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p387)
lola: processed formula length: 9
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: 29 markings, 28 edges
lola: ========================================
lola: subprocess 12 will run for 630 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p466)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p466)
lola: processed formula length: 9
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: 161 markings, 160 edges
lola: ========================================
lola: subprocess 13 will run for 839 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p898)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p898)
lola: processed formula length: 9
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: 16 markings, 15 edges
lola: ========================================
lola: subprocess 14 will run for 1258 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p303)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p303)
lola: processed formula length: 9
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: 13 markings, 12 edges
lola: ========================================
lola: subprocess 15 will run for 2516 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1726)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1726)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file 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: ========================================
lola: ...considering subproblem: MAX(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p174)
lola: processed formula length: 9
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: 44134 markings, 79053 edges, 8827 markings/sec, 0 secs
lola: 112560 markings, 211875 edges, 13685 markings/sec, 5 secs
lola: 179786 markings, 352771 edges, 13445 markings/sec, 10 secs
lola: 242936 markings, 516083 edges, 12630 markings/sec, 15 secs
lola: 298846 markings, 695853 edges, 11182 markings/sec, 20 secs
lola: 349176 markings, 889889 edges, 10066 markings/sec, 25 secs
lola: 413539 markings, 1034387 edges, 12873 markings/sec, 30 secs
lola: 478787 markings, 1175707 edges, 13050 markings/sec, 35 secs
lola: 540837 markings, 1339277 edges, 12410 markings/sec, 40 secs
lola: 594265 markings, 1521682 edges, 10686 markings/sec, 45 secs
lola: 640821 markings, 1726758 edges, 9311 markings/sec, 50 secs
lola: 701041 markings, 1880542 edges, 12044 markings/sec, 55 secs
lola: 767147 markings, 2002362 edges, 13221 markings/sec, 60 secs
lola: 831019 markings, 2150986 edges, 12774 markings/sec, 65 secs
lola: 890297 markings, 2315888 edges, 11856 markings/sec, 70 secs
lola: 943397 markings, 2503303 edges, 10620 markings/sec, 75 secs
lola: 995883 markings, 2685928 edges, 10497 markings/sec, 80 secs
lola: 1058595 markings, 2828352 edges, 12542 markings/sec, 85 secs
lola: 1120679 markings, 2981061 edges, 12417 markings/sec, 90 secs
lola: 1177841 markings, 3156779 edges, 11432 markings/sec, 95 secs
lola: 1227608 markings, 3345035 edges, 9953 markings/sec, 100 secs
lola: 1268804 markings, 3561775 edges, 8239 markings/sec, 105 secs
lola: 1327709 markings, 3723816 edges, 11781 markings/sec, 110 secs
lola: 1392855 markings, 3853471 edges, 13029 markings/sec, 115 secs
lola: 1455664 markings, 4008196 edges, 12562 markings/sec, 120 secs
lola: 1512662 markings, 4179663 edges, 11400 markings/sec, 125 secs
lola: 1563090 markings, 4372641 edges, 10086 markings/sec, 130 secs
lola: 1611612 markings, 4561487 edges, 9704 markings/sec, 135 secs
lola: 1675034 markings, 4700976 edges, 12684 markings/sec, 140 secs
lola: 1738609 markings, 4842720 edges, 12715 markings/sec, 145 secs
lola: 1799063 markings, 5006269 edges, 12091 markings/sec, 150 secs
lola: 1851792 markings, 5188957 edges, 10546 markings/sec, 155 secs
lola: 1895995 markings, 5395948 edges, 8841 markings/sec, 160 secs
lola: 1956255 markings, 5553381 edges, 12052 markings/sec, 165 secs
lola: 2021422 markings, 5682073 edges, 13033 markings/sec, 170 secs
lola: 2083445 markings, 5835790 edges, 12405 markings/sec, 175 secs
lola: 2139564 markings, 6010680 edges, 11224 markings/sec, 180 secs
lola: 2189587 markings, 6201213 edges, 10005 markings/sec, 185 secs
lola: 2239303 markings, 6379890 edges, 9943 markings/sec, 190 secs
lola: 2302448 markings, 6508789 edges, 12629 markings/sec, 195 secs
lola: 2362987 markings, 6677711 edges, 12108 markings/sec, 200 secs
lola: 2415195 markings, 6855931 edges, 10442 markings/sec, 205 secs
lola: 2478417 markings, 6979210 edges, 12644 markings/sec, 210 secs
lola: 2539921 markings, 7116671 edges, 12301 markings/sec, 215 secs
lola: 2598757 markings, 7295223 edges, 11767 markings/sec, 220 secs
lola: 2653278 markings, 7487427 edges, 10904 markings/sec, 225 secs
lola: 2710694 markings, 7634452 edges, 11483 markings/sec, 230 secs
lola: 2773179 markings, 7754169 edges, 12497 markings/sec, 235 secs
lola: 2832846 markings, 7921269 edges, 11933 markings/sec, 240 secs
lola: 2891949 markings, 8104799 edges, 11821 markings/sec, 245 secs
lola: 2942791 markings, 8284572 edges, 10168 markings/sec, 250 secs
lola: 3006146 markings, 8401822 edges, 12671 markings/sec, 255 secs
lola: 3066581 markings, 8552442 edges, 12087 markings/sec, 260 secs
lola: 3126457 markings, 8728796 edges, 11975 markings/sec, 265 secs
lola: 3177277 markings, 8925043 edges, 10164 markings/sec, 270 secs
lola: 3239631 markings, 9052445 edges, 12471 markings/sec, 275 secs
lola: 3299777 markings, 9216523 edges, 12029 markings/sec, 280 secs
lola: 3351470 markings, 9400631 edges, 10339 markings/sec, 285 secs
lola: 3417724 markings, 9516184 edges, 13251 markings/sec, 290 secs
lola: 3481114 markings, 9657263 edges, 12678 markings/sec, 295 secs
lola: 3540361 markings, 9820680 edges, 11849 markings/sec, 300 secs
lola: 3594236 markings, 10000182 edges, 10775 markings/sec, 305 secs
lola: 3646363 markings, 10155331 edges, 10425 markings/sec, 310 secs
lola: 3713744 markings, 10270161 edges, 13476 markings/sec, 315 secs
lola: 3776267 markings, 10407094 edges, 12505 markings/sec, 320 secs
lola: 3839572 markings, 10514478 edges, 12661 markings/sec, 325 secs
lola: 3904605 markings, 10620994 edges, 13007 markings/sec, 330 secs
lola: 3963197 markings, 10745947 edges, 11718 markings/sec, 335 secs
lola: 4025447 markings, 10863987 edges, 12450 markings/sec, 340 secs
lola: 4089971 markings, 10977099 edges, 12905 markings/sec, 345 secs
lola: 4154984 markings, 11096497 edges, 13003 markings/sec, 350 secs
lola: 4216804 markings, 11231901 edges, 12364 markings/sec, 355 secs
lola: 4278328 markings, 11354025 edges, 12305 markings/sec, 360 secs
lola: 4342214 markings, 11467777 edges, 12777 markings/sec, 365 secs
lola: 4404879 markings, 11585386 edges, 12533 markings/sec, 370 secs
lola: 4467486 markings, 11702043 edges, 12521 markings/sec, 375 secs
lola: 4528085 markings, 11841867 edges, 12120 markings/sec, 380 secs
lola: 4590844 markings, 11968347 edges, 12552 markings/sec, 385 secs
lola: 4650820 markings, 12107004 edges, 11995 markings/sec, 390 secs
lola: 4713326 markings, 12220612 edges, 12501 markings/sec, 395 secs
lola: 4774885 markings, 12339139 edges, 12312 markings/sec, 400 secs
lola: 4835344 markings, 12466922 edges, 12092 markings/sec, 405 secs
lola: 4897170 markings, 12588946 edges, 12365 markings/sec, 410 secs
lola: 4958334 markings, 12710157 edges, 12233 markings/sec, 415 secs
lola: 5019058 markings, 12848048 edges, 12145 markings/sec, 420 secs
lola: 5079121 markings, 12989097 edges, 12013 markings/sec, 425 secs
lola: 5140356 markings, 13118013 edges, 12247 markings/sec, 430 secs
lola: 5203216 markings, 13243496 edges, 12572 markings/sec, 435 secs
lola: 5265530 markings, 13370819 edges, 12463 markings/sec, 440 secs
lola: 5328803 markings, 13501445 edges, 12655 markings/sec, 445 secs
lola: 5389933 markings, 13642286 edges, 12226 markings/sec, 450 secs
lola: 5451881 markings, 13780422 edges, 12390 markings/sec, 455 secs
lola: 5513882 markings, 13914524 edges, 12400 markings/sec, 460 secs
lola: 5575774 markings, 14049376 edges, 12378 markings/sec, 465 secs
lola: 5636143 markings, 14182566 edges, 12074 markings/sec, 470 secs
lola: 5697477 markings, 14321487 edges, 12267 markings/sec, 475 secs
lola: 5758446 markings, 14455120 edges, 12194 markings/sec, 480 secs
lola: 5819646 markings, 14591436 edges, 12240 markings/sec, 485 secs
lola: 5879782 markings, 14728787 edges, 12027 markings/sec, 490 secs
lola: 5939743 markings, 14864039 edges, 11992 markings/sec, 495 secs
lola: 6001619 markings, 15003060 edges, 12375 markings/sec, 500 secs
lola: 6063032 markings, 15150464 edges, 12283 markings/sec, 505 secs
lola: 6123186 markings, 15293073 edges, 12031 markings/sec, 510 secs
lola: 6184652 markings, 15443859 edges, 12293 markings/sec, 515 secs
lola: 6244331 markings, 15587555 edges, 11936 markings/sec, 520 secs
lola: 6303889 markings, 15734471 edges, 11912 markings/sec, 525 secs
lola: 6363365 markings, 15890538 edges, 11895 markings/sec, 530 secs
lola: 6424285 markings, 16039840 edges, 12184 markings/sec, 535 secs
lola: 6483996 markings, 16191374 edges, 11942 markings/sec, 540 secs
lola: 6543845 markings, 16344501 edges, 11970 markings/sec, 545 secs
lola: 6603757 markings, 16510124 edges, 11982 markings/sec, 550 secs
lola: 6663187 markings, 16673890 edges, 11886 markings/sec, 555 secs
lola: 6723271 markings, 16830636 edges, 12017 markings/sec, 560 secs
lola: 6781617 markings, 16980189 edges, 11669 markings/sec, 565 secs
lola: 6841860 markings, 17128481 edges, 12049 markings/sec, 570 secs
lola: 6899549 markings, 17281855 edges, 11538 markings/sec, 575 secs
lola: 6959261 markings, 17436956 edges, 11942 markings/sec, 580 secs
lola: 7016257 markings, 17600666 edges, 11399 markings/sec, 585 secs
lola: 7073556 markings, 17766791 edges, 11460 markings/sec, 590 secs
lola: 7128515 markings, 17918492 edges, 10992 markings/sec, 595 secs
lola: 7185358 markings, 18102062 edges, 11369 markings/sec, 600 secs
lola: 7240538 markings, 18281646 edges, 11036 markings/sec, 605 secs
lola: 7297675 markings, 18463563 edges, 11427 markings/sec, 610 secs
lola: 7354213 markings, 18634102 edges, 11308 markings/sec, 615 secs
lola: 7406446 markings, 18791919 edges, 10447 markings/sec, 620 secs
lola: 7466595 markings, 18978970 edges, 12030 markings/sec, 625 secs
lola: 7513671 markings, 19151664 edges, 9415 markings/sec, 630 secs
lola: 7566107 markings, 19299192 edges, 10487 markings/sec, 635 secs
lola: 7619700 markings, 19484038 edges, 10719 markings/sec, 640 secs
lola: 7671531 markings, 19645551 edges, 10366 markings/sec, 645 secs
lola: 7724042 markings, 19826778 edges, 10502 markings/sec, 650 secs
lola: 7778015 markings, 20007584 edges, 10795 markings/sec, 655 secs
lola: 7833600 markings, 20195057 edges, 11117 markings/sec, 660 secs
lola: 7890109 markings, 20385210 edges, 11302 markings/sec, 665 secs
lola: 7942355 markings, 20563569 edges, 10449 markings/sec, 670 secs
lola: 7997172 markings, 20756574 edges, 10963 markings/sec, 675 secs
lola: 8050351 markings, 20938516 edges, 10636 markings/sec, 680 secs
lola: 8101349 markings, 21127899 edges, 10200 markings/sec, 685 secs
lola: 8150835 markings, 21325256 edges, 9897 markings/sec, 690 secs
lola: 8204876 markings, 21518116 edges, 10808 markings/sec, 695 secs
lola: 8259497 markings, 21701275 edges, 10924 markings/sec, 700 secs
lola: 8314139 markings, 21894262 edges, 10928 markings/sec, 705 secs
lola: 8368165 markings, 22086495 edges, 10805 markings/sec, 710 secs
lola: 8420075 markings, 22236295 edges, 10382 markings/sec, 715 secs
lola: 8470985 markings, 22430959 edges, 10182 markings/sec, 720 secs
lola: 8523287 markings, 22624814 edges, 10460 markings/sec, 725 secs
lola: 8577600 markings, 22822100 edges, 10863 markings/sec, 730 secs
lola: 8635584 markings, 22970437 edges, 11597 markings/sec, 735 secs
lola: 8679174 markings, 23153348 edges, 8718 markings/sec, 740 secs
lola: 8729280 markings, 23357021 edges, 10021 markings/sec, 745 secs
lola: 8779491 markings, 23550625 edges, 10042 markings/sec, 750 secs
lola: 8827140 markings, 23747157 edges, 9530 markings/sec, 755 secs
lola: 8871702 markings, 23945978 edges, 8912 markings/sec, 760 secs
lola: 8923516 markings, 24145718 edges, 10363 markings/sec, 765 secs
lola: 8968503 markings, 24352755 edges, 8997 markings/sec, 770 secs
lola: 9018030 markings, 24557706 edges, 9905 markings/sec, 775 secs
lola: 9064484 markings, 24762216 edges, 9291 markings/sec, 780 secs
lola: 9115059 markings, 24959900 edges, 10115 markings/sec, 785 secs
lola: 9159507 markings, 25161665 edges, 8890 markings/sec, 790 secs
lola: 9203316 markings, 25367833 edges, 8762 markings/sec, 795 secs
lola: 9244433 markings, 25573861 edges, 8223 markings/sec, 800 secs
lola: 9286550 markings, 25780867 edges, 8423 markings/sec, 805 secs
lola: 9327211 markings, 25991844 edges, 8132 markings/sec, 810 secs
lola: 9367373 markings, 26197949 edges, 8032 markings/sec, 815 secs
lola: 9407801 markings, 26413607 edges, 8086 markings/sec, 820 secs
lola: 9443382 markings, 26636484 edges, 7116 markings/sec, 825 secs
lola: 9480748 markings, 26856889 edges, 7473 markings/sec, 830 secs
lola: 9517130 markings, 27078568 edges, 7276 markings/sec, 835 secs
lola: 9549985 markings, 27302130 edges, 6571 markings/sec, 840 secs
lola: 9580815 markings, 27528112 edges, 6166 markings/sec, 845 secs
lola: 9610896 markings, 27754403 edges, 6016 markings/sec, 850 secs
lola: 9641654 markings, 27973403 edges, 6152 markings/sec, 855 secs
lola: 9673491 markings, 28196227 edges, 6367 markings/sec, 860 secs
lola: 9700859 markings, 28428796 edges, 5474 markings/sec, 865 secs
lola: 9726924 markings, 28668931 edges, 5213 markings/sec, 870 secs
lola: 9788225 markings, 28818373 edges, 12260 markings/sec, 875 secs
lola: 9852612 markings, 28947095 edges, 12877 markings/sec, 880 secs
lola: 9913919 markings, 29100407 edges, 12261 markings/sec, 885 secs
lola: 9968278 markings, 29275705 edges, 10872 markings/sec, 890 secs
lola: 10018043 markings, 29464425 edges, 9953 markings/sec, 895 secs
lola: 10066362 markings, 29649951 edges, 9664 markings/sec, 900 secs
lola: 10129827 markings, 29783592 edges, 12693 markings/sec, 905 secs
lola: 10192683 markings, 29926920 edges, 12571 markings/sec, 910 secs
lola: 10252273 markings, 30085742 edges, 11918 markings/sec, 915 secs
lola: 10303467 markings, 30264176 edges, 10239 markings/sec, 920 secs
lola: 10347515 markings, 30470445 edges, 8810 markings/sec, 925 secs
lola: 10406102 markings, 30628201 edges, 11717 markings/sec, 930 secs
lola: 10470462 markings, 30754011 edges, 12872 markings/sec, 935 secs
lola: 10531927 markings, 30904401 edges, 12293 markings/sec, 940 secs
lola: 10587713 markings, 31074892 edges, 11157 markings/sec, 945 secs
lola: 10637465 markings, 31262749 edges, 9950 markings/sec, 950 secs
lola: 10684661 markings, 31452440 edges, 9439 markings/sec, 955 secs
lola: 10746907 markings, 31591910 edges, 12449 markings/sec, 960 secs
lola: 10810015 markings, 31729850 edges, 12622 markings/sec, 965 secs
lola: 10870236 markings, 31886177 edges, 12044 markings/sec, 970 secs
lola: 10922337 markings, 32061653 edges, 10420 markings/sec, 975 secs
lola: 10968197 markings, 32262852 edges, 9172 markings/sec, 980 secs
lola: 11022499 markings, 32430500 edges, 10860 markings/sec, 985 secs
lola: 11086584 markings, 32558018 edges, 12817 markings/sec, 990 secs
lola: 11148321 markings, 32703198 edges, 12347 markings/sec, 995 secs
lola: 11205421 markings, 32872351 edges, 11420 markings/sec, 1000 secs
lola: 11255262 markings, 33055578 edges, 9968 markings/sec, 1005 secs
lola: 11301088 markings, 33251578 edges, 9165 markings/sec, 1010 secs
lola: 11367391 markings, 33387213 edges, 13261 markings/sec, 1015 secs
lola: 11433581 markings, 33518158 edges, 13238 markings/sec, 1020 secs
lola: 11496762 markings, 33673818 edges, 12636 markings/sec, 1025 secs
lola: 11553972 markings, 33846756 edges, 11442 markings/sec, 1030 secs
lola: 11602501 markings, 34049773 edges, 9706 markings/sec, 1035 secs
lola: 11660005 markings, 34208032 edges, 11501 markings/sec, 1040 secs
lola: 11722345 markings, 34339358 edges, 12468 markings/sec, 1045 secs
lola: 11781503 markings, 34492315 edges, 11832 markings/sec, 1050 secs
lola: 11835747 markings, 34665359 edges, 10849 markings/sec, 1055 secs
lola: 11881867 markings, 34857054 edges, 9224 markings/sec, 1060 secs
lola: 11921617 markings, 35066397 edges, 7950 markings/sec, 1065 secs
lola: 11983653 markings, 35212720 edges, 12407 markings/sec, 1070 secs
lola: 12047984 markings, 35344017 edges, 12866 markings/sec, 1075 secs
lola: 12109704 markings, 35500632 edges, 12344 markings/sec, 1080 secs
lola: 12164133 markings, 35678383 edges, 10886 markings/sec, 1085 secs
lola: 12214048 markings, 35875054 edges, 9983 markings/sec, 1090 secs
lola: 12264336 markings, 36052843 edges, 10058 markings/sec, 1095 secs
lola: 12327044 markings, 36182079 edges, 12542 markings/sec, 1100 secs
lola: 12388921 markings, 36321623 edges, 12375 markings/sec, 1105 secs
lola: 12446610 markings, 36485548 edges, 11538 markings/sec, 1110 secs
lola: 12497886 markings, 36661796 edges, 10255 markings/sec, 1115 secs
lola: 12540386 markings, 36867822 edges, 8500 markings/sec, 1120 secs
lola: 12603150 markings, 37009516 edges, 12553 markings/sec, 1125 secs
lola: 12668540 markings, 37130319 edges, 13078 markings/sec, 1130 secs
lola: 12731171 markings, 37276185 edges, 12526 markings/sec, 1135 secs
lola: 12788222 markings, 37442292 edges, 11410 markings/sec, 1140 secs
lola: 12840801 markings, 37625398 edges, 10516 markings/sec, 1145 secs
lola: 12891503 markings, 37801076 edges, 10140 markings/sec, 1150 secs
lola: 12951612 markings, 37935409 edges, 12022 markings/sec, 1155 secs
lola: 13011372 markings, 38081919 edges, 11952 markings/sec, 1160 secs
lola: 13068072 markings, 38243128 edges, 11340 markings/sec, 1165 secs
lola: 13115480 markings, 38424392 edges, 9482 markings/sec, 1170 secs
lola: 13158514 markings, 38630871 edges, 8607 markings/sec, 1175 secs
lola: 13208779 markings, 38803893 edges, 10053 markings/sec, 1180 secs
lola: 13271698 markings, 38931352 edges, 12584 markings/sec, 1185 secs
lola: 13333072 markings, 39071955 edges, 12275 markings/sec, 1190 secs
lola: 13389942 markings, 39237201 edges, 11374 markings/sec, 1195 secs
lola: 13440389 markings, 39414882 edges, 10089 markings/sec, 1200 secs
lola: 13483056 markings, 39617310 edges, 8533 markings/sec, 1205 secs
lola: 13543112 markings, 39764188 edges, 12011 markings/sec, 1210 secs
lola: 13606165 markings, 39890646 edges, 12611 markings/sec, 1215 secs
lola: 13666361 markings, 40039217 edges, 12039 markings/sec, 1220 secs
lola: 13721120 markings, 40209917 edges, 10952 markings/sec, 1225 secs
lola: 13769986 markings, 40394413 edges, 9773 markings/sec, 1230 secs
lola: 13816675 markings, 40580402 edges, 9338 markings/sec, 1235 secs
lola: 13877836 markings, 40716562 edges, 12232 markings/sec, 1240 secs
lola: 13940118 markings, 40850420 edges, 12456 markings/sec, 1245 secs
lola: 13998969 markings, 41006132 edges, 11770 markings/sec, 1250 secs
lola: 14050274 markings, 41178264 edges, 10261 markings/sec, 1255 secs
lola: 14097335 markings, 41376956 edges, 9412 markings/sec, 1260 secs
lola: 14147505 markings, 41551555 edges, 10034 markings/sec, 1265 secs
lola: 14208284 markings, 41684765 edges, 12156 markings/sec, 1270 secs
lola: 14267827 markings, 41832876 edges, 11909 markings/sec, 1275 secs
lola: 14324068 markings, 41995312 edges, 11248 markings/sec, 1280 secs
lola: 14370917 markings, 42178177 edges, 9370 markings/sec, 1285 secs
lola: 14412461 markings, 42386408 edges, 8309 markings/sec, 1290 secs
lola: 14466269 markings, 42557038 edges, 10762 markings/sec, 1295 secs
lola: 14530717 markings, 42685102 edges, 12890 markings/sec, 1300 secs
lola: 14593030 markings, 42832649 edges, 12463 markings/sec, 1305 secs
lola: 14650580 markings, 43004953 edges, 11510 markings/sec, 1310 secs
lola: 14701546 markings, 43191570 edges, 10193 markings/sec, 1315 secs
lola: 14747549 markings, 43388099 edges, 9201 markings/sec, 1320 secs
lola: 14808552 markings, 43525934 edges, 12201 markings/sec, 1325 secs
lola: 14870806 markings, 43655762 edges, 12451 markings/sec, 1330 secs
lola: 14929958 markings, 43809425 edges, 11830 markings/sec, 1335 secs
lola: 14982695 markings, 43980874 edges, 10547 markings/sec, 1340 secs
lola: 15031219 markings, 44171254 edges, 9705 markings/sec, 1345 secs
lola: 15080603 markings, 44348473 edges, 9877 markings/sec, 1350 secs
lola: 15138250 markings, 44506646 edges, 11529 markings/sec, 1355 secs
lola: 15195052 markings, 44664691 edges, 11360 markings/sec, 1360 secs
lola: 15253463 markings, 44818140 edges, 11682 markings/sec, 1365 secs
lola: 15314203 markings, 44956344 edges, 12148 markings/sec, 1370 secs
lola: 15377276 markings, 45071672 edges, 12615 markings/sec, 1375 secs
lola: 15439554 markings, 45192386 edges, 12456 markings/sec, 1380 secs
lola: 15501600 markings, 45309309 edges, 12409 markings/sec, 1385 secs
lola: 15563380 markings, 45433983 edges, 12356 markings/sec, 1390 secs
lola: 15624742 markings, 45567267 edges, 12272 markings/sec, 1395 secs
lola: 15685164 markings, 45700765 edges, 12084 markings/sec, 1400 secs
lola: 15746150 markings, 45836577 edges, 12197 markings/sec, 1405 secs
lola: 15805961 markings, 45975452 edges, 11962 markings/sec, 1410 secs
lola: 15865502 markings, 46118714 edges, 11908 markings/sec, 1415 secs
lola: 15923843 markings, 46274622 edges, 11668 markings/sec, 1420 secs
lola: 15981994 markings, 46429485 edges, 11630 markings/sec, 1425 secs
lola: 16038384 markings, 46591124 edges, 11278 markings/sec, 1430 secs
lola: 16094763 markings, 46753176 edges, 11276 markings/sec, 1435 secs
lola: 16146895 markings, 46924371 edges, 10426 markings/sec, 1440 secs
lola: 16202129 markings, 47105837 edges, 11047 markings/sec, 1445 secs
lola: 16252430 markings, 47279768 edges, 10060 markings/sec, 1450 secs
lola: 16303888 markings, 47465233 edges, 10292 markings/sec, 1455 secs
lola: 16354828 markings, 47655873 edges, 10188 markings/sec, 1460 secs
lola: 16403911 markings, 47827591 edges, 9817 markings/sec, 1465 secs
lola: 16444117 markings, 48022102 edges, 8041 markings/sec, 1470 secs
lola: 16492927 markings, 48218723 edges, 9762 markings/sec, 1475 secs
lola: 16536133 markings, 48422114 edges, 8641 markings/sec, 1480 secs
lola: 16573771 markings, 48632666 edges, 7528 markings/sec, 1485 secs
lola: 16603232 markings, 48852102 edges, 5892 markings/sec, 1490 secs
lola: 16654185 markings, 49022325 edges, 10191 markings/sec, 1495 secs
lola: 16716514 markings, 49148966 edges, 12466 markings/sec, 1500 secs
lola: 16777571 markings, 49289121 edges, 12211 markings/sec, 1505 secs
lola: 16834000 markings, 49453489 edges, 11286 markings/sec, 1510 secs
lola: 16884018 markings, 49630096 edges, 10004 markings/sec, 1515 secs
lola: 16926327 markings, 49831240 edges, 8462 markings/sec, 1520 secs
lola: 16985984 markings, 49977488 edges, 11931 markings/sec, 1525 secs
lola: 17048805 markings, 50102908 edges, 12564 markings/sec, 1530 secs
lola: 17108725 markings, 50250693 edges, 11984 markings/sec, 1535 secs
lola: 17163357 markings, 50419644 edges, 10926 markings/sec, 1540 secs
lola: 17212072 markings, 50602542 edges, 9743 markings/sec, 1545 secs
lola: 17257883 markings, 50789143 edges, 9162 markings/sec, 1550 secs
lola: 17318532 markings, 50926025 edges, 12130 markings/sec, 1555 secs
lola: 17379807 markings, 51055313 edges, 12255 markings/sec, 1560 secs
lola: 17437636 markings, 51207349 edges, 11566 markings/sec, 1565 secs
lola: 17489071 markings, 51377035 edges, 10287 markings/sec, 1570 secs
lola: 17536993 markings, 51569445 edges, 9584 markings/sec, 1575 secs
lola: 17584273 markings, 51745625 edges, 9456 markings/sec, 1580 secs
lola: 17642880 markings, 51880077 edges, 11721 markings/sec, 1585 secs
lola: 17701728 markings, 52021849 edges, 11770 markings/sec, 1590 secs
lola: 17757394 markings, 52176929 edges, 11133 markings/sec, 1595 secs
lola: 17804292 markings, 52353005 edges, 9380 markings/sec, 1600 secs
lola: 17847555 markings, 52545030 edges, 8653 markings/sec, 1605 secs
lola: 17891732 markings, 52725822 edges, 8835 markings/sec, 1610 secs
lola: 17951851 markings, 52853304 edges, 12024 markings/sec, 1615 secs
lola: 18012169 markings, 52984107 edges, 12064 markings/sec, 1620 secs
lola: 18069050 markings, 53136431 edges, 11376 markings/sec, 1625 secs
lola: 18118698 markings, 53303029 edges, 9930 markings/sec, 1630 secs
lola: 18164755 markings, 53495168 edges, 9211 markings/sec, 1635 secs
lola: 18214231 markings, 53665111 edges, 9895 markings/sec, 1640 secs
lola: 18270015 markings, 53818404 edges, 11157 markings/sec, 1645 secs
lola: 18326498 markings, 53968255 edges, 11297 markings/sec, 1650 secs
lola: 18383026 markings, 54118959 edges, 11306 markings/sec, 1655 secs
lola: 18442377 markings, 54252207 edges, 11870 markings/sec, 1660 secs
lola: 18503155 markings, 54365548 edges, 12156 markings/sec, 1665 secs
lola: 18563601 markings, 54482460 edges, 12089 markings/sec, 1670 secs
lola: 18623682 markings, 54596427 edges, 12016 markings/sec, 1675 secs
lola: 18683481 markings, 54715389 edges, 11960 markings/sec, 1680 secs
lola: 18743110 markings, 54843766 edges, 11926 markings/sec, 1685 secs
lola: 18801894 markings, 54973578 edges, 11757 markings/sec, 1690 secs
lola: 18860718 markings, 55102759 edges, 11765 markings/sec, 1695 secs
lola: 18919149 markings, 55239080 edges, 11686 markings/sec, 1700 secs
lola: 18976994 markings, 55374982 edges, 11569 markings/sec, 1705 secs
lola: 19033908 markings, 55522838 edges, 11383 markings/sec, 1710 secs
lola: 19090555 markings, 55673703 edges, 11329 markings/sec, 1715 secs
lola: 19145895 markings, 55825733 edges, 11068 markings/sec, 1720 secs
lola: 19199987 markings, 55983495 edges, 10818 markings/sec, 1725 secs
lola: 19252771 markings, 56149818 edges, 10557 markings/sec, 1730 secs
lola: 19304546 markings, 56317848 edges, 10355 markings/sec, 1735 secs
lola: 19356218 markings, 56486824 edges, 10334 markings/sec, 1740 secs
lola: 19405117 markings, 56662721 edges, 9780 markings/sec, 1745 secs
lola: 19455336 markings, 56845848 edges, 10044 markings/sec, 1750 secs
lola: 19503834 markings, 57019229 edges, 9700 markings/sec, 1755 secs
lola: 19548409 markings, 57195934 edges, 8915 markings/sec, 1760 secs
lola: 19588761 markings, 57388573 edges, 8070 markings/sec, 1765 secs
lola: 19635949 markings, 57579248 edges, 9438 markings/sec, 1770 secs
lola: 19677082 markings, 57776639 edges, 8227 markings/sec, 1775 secs
lola: 19710365 markings, 57985138 edges, 6657 markings/sec, 1780 secs
lola: 19739255 markings, 58197838 edges, 5778 markings/sec, 1785 secs
lola: 19794036 markings, 58349885 edges, 10956 markings/sec, 1790 secs
lola: 19855006 markings, 58468401 edges, 12194 markings/sec, 1795 secs
lola: 19913552 markings, 58607306 edges, 11709 markings/sec, 1800 secs
lola: 19968020 markings, 58768389 edges, 10894 markings/sec, 1805 secs
lola: 20015868 markings, 58940532 edges, 9570 markings/sec, 1810 secs
lola: 20057002 markings, 59134756 edges, 8227 markings/sec, 1815 secs
lola: 20114721 markings, 59276770 edges, 11544 markings/sec, 1820 secs
lola: 20175451 markings, 59397634 edges, 12146 markings/sec, 1825 secs
lola: 20233609 markings, 59538911 edges, 11632 markings/sec, 1830 secs
lola: 20287568 markings, 59698573 edges, 10792 markings/sec, 1835 secs
lola: 20334632 markings, 59875500 edges, 9413 markings/sec, 1840 secs
lola: 20376709 markings, 60064644 edges, 8415 markings/sec, 1845 secs
lola: 20434826 markings, 60201767 edges, 11623 markings/sec, 1850 secs
lola: 20495186 markings, 60324157 edges, 12072 markings/sec, 1855 secs
lola: 20553003 markings, 60468071 edges, 11563 markings/sec, 1860 secs
lola: 20605281 markings, 60631196 edges, 10456 markings/sec, 1865 secs
lola: 20652530 markings, 60809359 edges, 9450 markings/sec, 1870 secs
lola: 20695994 markings, 60994775 edges, 8693 markings/sec, 1875 secs
lola: 20754916 markings, 61127080 edges, 11784 markings/sec, 1880 secs
lola: 20814859 markings, 61252872 edges, 11989 markings/sec, 1885 secs
lola: 20872544 markings, 61397777 edges, 11537 markings/sec, 1890 secs
lola: 20923921 markings, 61565173 edges, 10275 markings/sec, 1895 secs
lola: 20970712 markings, 61743119 edges, 9358 markings/sec, 1900 secs
lola: 21016755 markings, 61924060 edges, 9209 markings/sec, 1905 secs
lola: 21078543 markings, 62059559 edges, 12358 markings/sec, 1910 secs
lola: 21140786 markings, 62196118 edges, 12449 markings/sec, 1915 secs
lola: 21199807 markings, 62353085 edges, 11804 markings/sec, 1920 secs
lola: 21250839 markings, 62530785 edges, 10206 markings/sec, 1925 secs
lola: 21297866 markings, 62728202 edges, 9405 markings/sec, 1930 secs
lola: 21355553 markings, 62871382 edges, 11537 markings/sec, 1935 secs
lola: 21424241 markings, 62998965 edges, 13738 markings/sec, 1940 secs
lola: 21489630 markings, 63144670 edges, 13078 markings/sec, 1945 secs
lola: 21550390 markings, 63310835 edges, 12152 markings/sec, 1950 secs
lola: 21604405 markings, 63494813 edges, 10803 markings/sec, 1955 secs
lola: 21657718 markings, 63675400 edges, 10663 markings/sec, 1960 secs
lola: 21726408 markings, 63803526 edges, 13738 markings/sec, 1965 secs
lola: 21792424 markings, 63946942 edges, 13203 markings/sec, 1970 secs
lola: 21853408 markings, 64114300 edges, 12197 markings/sec, 1975 secs
lola: 21907964 markings, 64295432 edges, 10911 markings/sec, 1980 secs
lola: 21961332 markings, 64474770 edges, 10674 markings/sec, 1985 secs
lola: 22030615 markings, 64603225 edges, 13857 markings/sec, 1990 secs
lola: 22095086 markings, 64749068 edges, 12894 markings/sec, 1995 secs
lola: 22153752 markings, 64909539 edges, 11733 markings/sec, 2000 secs
lola: 22207176 markings, 65092325 edges, 10685 markings/sec, 2005 secs
lola: 22262412 markings, 65255295 edges, 11047 markings/sec, 2010 secs
lola: 22330647 markings, 65381139 edges, 13647 markings/sec, 2015 secs
lola: 22395889 markings, 65534233 edges, 13048 markings/sec, 2020 secs
lola: 22455131 markings, 65700284 edges, 11848 markings/sec, 2025 secs
lola: 22511654 markings, 65876082 edges, 11305 markings/sec, 2030 secs
lola: 22557831 markings, 66078772 edges, 9235 markings/sec, 2035 secs
lola: 22625345 markings, 66193899 edges, 13503 markings/sec, 2040 secs
lola: 22692433 markings, 66330690 edges, 13418 markings/sec, 2045 secs
lola: 22755428 markings, 66488208 edges, 12599 markings/sec, 2050 secs
lola: 22812819 markings, 66657216 edges, 11478 markings/sec, 2055 secs
lola: 22868982 markings, 66843528 edges, 11233 markings/sec, 2060 secs
lola: 22920595 markings, 67023154 edges, 10323 markings/sec, 2065 secs
lola: 22989541 markings, 67147718 edges, 13789 markings/sec, 2070 secs
lola: 23055471 markings, 67298453 edges, 13186 markings/sec, 2075 secs
lola: 23115831 markings, 67466107 edges, 12072 markings/sec, 2080 secs
lola: 23172557 markings, 67638411 edges, 11345 markings/sec, 2085 secs
lola: 23221103 markings, 67842627 edges, 9709 markings/sec, 2090 secs
lola: 23291201 markings, 67964012 edges, 14020 markings/sec, 2095 secs
lola: 23356968 markings, 68101497 edges, 13153 markings/sec, 2100 secs
lola: 23429095 markings, 68229349 edges, 14425 markings/sec, 2105 secs
lola: 23490748 markings, 68371226 edges, 12331 markings/sec, 2110 secs
lola: 23558538 markings, 68489873 edges, 13558 markings/sec, 2115 secs
lola: 23623656 markings, 68618986 edges, 13024 markings/sec, 2120 secs
lola: 23689526 markings, 68745534 edges, 13174 markings/sec, 2125 secs
lola: 23760883 markings, 68869538 edges, 14271 markings/sec, 2130 secs
lola: 23828292 markings, 69004673 edges, 13482 markings/sec, 2135 secs
lola: 23892206 markings, 69140441 edges, 12783 markings/sec, 2140 secs
lola: 23956434 markings, 69272856 edges, 12846 markings/sec, 2145 secs
lola: 24022225 markings, 69401200 edges, 13158 markings/sec, 2150 secs
lola: 24085513 markings, 69545389 edges, 12658 markings/sec, 2155 secs
lola: 24152370 markings, 69664829 edges, 13371 markings/sec, 2160 secs
lola: 24216473 markings, 69805580 edges, 12821 markings/sec, 2165 secs
lola: 24280848 markings, 69944123 edges, 12875 markings/sec, 2170 secs
lola: 24346120 markings, 70077953 edges, 13054 markings/sec, 2175 secs
lola: 24411341 markings, 70203473 edges, 13044 markings/sec, 2180 secs
lola: 24477669 markings, 70327229 edges, 13266 markings/sec, 2185 secs
lola: 24542291 markings, 70463242 edges, 12924 markings/sec, 2190 secs
lola: 24607333 markings, 70598418 edges, 13008 markings/sec, 2195 secs
lola: 24672624 markings, 70740425 edges, 13058 markings/sec, 2200 secs
lola: 24735619 markings, 70879976 edges, 12599 markings/sec, 2205 secs
lola: 24798547 markings, 71022193 edges, 12586 markings/sec, 2210 secs
lola: 24865830 markings, 71148622 edges, 13457 markings/sec, 2215 secs
lola: 24930151 markings, 71285934 edges, 12864 markings/sec, 2220 secs
lola: 24994273 markings, 71427603 edges, 12824 markings/sec, 2225 secs
lola: 25058988 markings, 71566182 edges, 12943 markings/sec, 2230 secs
lola: 25123086 markings, 71704934 edges, 12820 markings/sec, 2235 secs
lola: 25188225 markings, 71841683 edges, 13028 markings/sec, 2240 secs
lola: 25251833 markings, 71978048 edges, 12722 markings/sec, 2245 secs
lola: 25314248 markings, 72120982 edges, 12483 markings/sec, 2250 secs
lola: 25376190 markings, 72270724 edges, 12388 markings/sec, 2255 secs
lola: 25441995 markings, 72396795 edges, 13161 markings/sec, 2260 secs
lola: 25508067 markings, 72524932 edges, 13214 markings/sec, 2265 secs
lola: 25574069 markings, 72654326 edges, 13200 markings/sec, 2270 secs
lola: 25639895 markings, 72781498 edges, 13165 markings/sec, 2275 secs
lola: 25705932 markings, 72908661 edges, 13207 markings/sec, 2280 secs
lola: 25771999 markings, 73040880 edges, 13213 markings/sec, 2285 secs
lola: 25838286 markings, 73166742 edges, 13257 markings/sec, 2290 secs
lola: 25904359 markings, 73297595 edges, 13215 markings/sec, 2295 secs
lola: 25971143 markings, 73429098 edges, 13357 markings/sec, 2300 secs
lola: 26036187 markings, 73563927 edges, 13009 markings/sec, 2305 secs
lola: 26102834 markings, 73693042 edges, 13329 markings/sec, 2310 secs
lola: 26167880 markings, 73829723 edges, 13009 markings/sec, 2315 secs
lola: 26234191 markings, 73962281 edges, 13262 markings/sec, 2320 secs
lola: 26300288 markings, 74098020 edges, 13219 markings/sec, 2325 secs
lola: 26366194 markings, 74234466 edges, 13181 markings/sec, 2330 secs
lola: 26432141 markings, 74372036 edges, 13189 markings/sec, 2335 secs
lola: 26497229 markings, 74508048 edges, 13018 markings/sec, 2340 secs
lola: 26562543 markings, 74646830 edges, 13063 markings/sec, 2345 secs
lola: 26627648 markings, 74785891 edges, 13021 markings/sec, 2350 secs
lola: 26692479 markings, 74927344 edges, 12966 markings/sec, 2355 secs
lola: 26757681 markings, 75067325 edges, 13040 markings/sec, 2360 secs
lola: 26822424 markings, 75206858 edges, 12949 markings/sec, 2365 secs
lola: 26887438 markings, 75346704 edges, 13003 markings/sec, 2370 secs
lola: 26951804 markings, 75487371 edges, 12873 markings/sec, 2375 secs
lola: 27016585 markings, 75627645 edges, 12956 markings/sec, 2380 secs
lola: 27081319 markings, 75766366 edges, 12947 markings/sec, 2385 secs
lola: 27145584 markings, 75909505 edges, 12853 markings/sec, 2390 secs
lola: 27210080 markings, 76048587 edges, 12899 markings/sec, 2395 secs
lola: 27274450 markings, 76189248 edges, 12874 markings/sec, 2400 secs
lola: 27339014 markings, 76333639 edges, 12913 markings/sec, 2405 secs
lola: 27403698 markings, 76478743 edges, 12937 markings/sec, 2410 secs
lola: 27468406 markings, 76621254 edges, 12942 markings/sec, 2415 secs
lola: 27532557 markings, 76769654 edges, 12830 markings/sec, 2420 secs
lola: 27596355 markings, 76915730 edges, 12760 markings/sec, 2425 secs
lola: 27660061 markings, 77062987 edges, 12741 markings/sec, 2430 secs
lola: 27723522 markings, 77213649 edges, 12692 markings/sec, 2435 secs
lola: 27787208 markings, 77362961 edges, 12737 markings/sec, 2440 secs
lola: 27851179 markings, 77515848 edges, 12794 markings/sec, 2445 secs
lola: 27914702 markings, 77666443 edges, 12705 markings/sec, 2450 secs
lola: 27977762 markings, 77817452 edges, 12612 markings/sec, 2455 secs
lola: 28040847 markings, 77968240 edges, 12617 markings/sec, 2460 secs
lola: 28103793 markings, 78120998 edges, 12589 markings/sec, 2465 secs
lola: 28166598 markings, 78276718 edges, 12561 markings/sec, 2470 secs
lola: 28230223 markings, 78429542 edges, 12725 markings/sec, 2475 secs
lola: 28292831 markings, 78581971 edges, 12522 markings/sec, 2480 secs
lola: 28355976 markings, 78732741 edges, 12629 markings/sec, 2485 secs
lola: 28419040 markings, 78885280 edges, 12613 markings/sec, 2490 secs
lola: 28481437 markings, 79040272 edges, 12479 markings/sec, 2495 secs
lola: 28543929 markings, 79196474 edges, 12498 markings/sec, 2500 secs
lola: 28606579 markings, 79352077 edges, 12530 markings/sec, 2505 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown 1 1 1 1 1 unknown 1 1 1 1 1
lola: lola: caught signal User defined signal 1 - aborting LoLA

preliminary result: 1 1 unknown 1 unknown 1 1 1 1 1 unknown 1 1 1 1 1
lola:
preliminary result: 1 1 unknown 1 unknown 1 1 1 1 1 unknown 1 1 1 1 1
lola: memory consumption: 3313052 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: 1 1 unknown 1 unknown 1 1 1 1 1 unknown 1 1 1 1 1
lola: memory consumption: 3313316 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 1552561992339

--------------------
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="CloudDeployment-PT-6b"
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-3957"
echo " Executing tool lola"
echo " Input is CloudDeployment-PT-6b, 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 r038-smll-155229648700083"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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