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-155229648600065.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-5b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-smll-155229648600065
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 4.0K Feb 9 08:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 9 08:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 07:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 5 07:41 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.7K Feb 4 23:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 14K 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.0K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 2 01:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 2 01:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 29 15:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 29 15:39 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 1.5M 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-5b-UpperBounds-00
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-01
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-02
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-03
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-04
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-05
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-06
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-07
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-08
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-09
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-10
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-11
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-12
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-13
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-14
FORMULA_NAME CloudDeployment-PT-5b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552536750511

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

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

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

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

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

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

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

FORMULA CloudDeployment-PT-5b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

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

FORMULA CloudDeployment-PT-5b-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-5b

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Mar 14 04:12:30 2019
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"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(p431)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 128,
"markings": 129,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"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(p4)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 4,
"markings": 5,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"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(p1435)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 26,
"markings": 27,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 275
},
"exit":
{
"localtimelimitreached": false
},
"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(p79)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 21,
"markings": 22,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 306
},
"exit":
{
"localtimelimitreached": false
},
"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(p544)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 34,
"markings": 35,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 344
},
"exit":
{
"localtimelimitreached": false
},
"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(p470)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 127,
"markings": 128,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 393
},
"exit":
{
"localtimelimitreached": false
},
"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(p1075)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 120,
"markings": 121,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 472
},
"exit":
{
"localtimelimitreached": false
},
"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(p803)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 52,
"markings": 53,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 590
},
"exit":
{
"localtimelimitreached": false
},
"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(p887)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 18,
"markings": 19,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 787
},
"exit":
{
"localtimelimitreached": false
},
"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(p1357)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 113,
"markings": 114,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1180
},
"exit":
{
"localtimelimitreached": false
},
"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(p1409)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 36,
"markings": 37,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2360
},
"exit":
{
"localtimelimitreached": false
},
"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(p1115)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 41,
"markings": 42,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 3751592,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 24760,
"conflict_clusters": 1339,
"places": 1525,
"places_significant": 1504,
"singleton_clusters": 0,
"transitions": 3132
},
"result":
{
"interim_value": "1 1 unknown 1 unknown unknown 1 1 1 unknown 1 1 1 1 1 1 ",
"preliminary_value": "1 1 unknown 1 unknown unknown 1 1 1 unknown 1 1 1 1 1 1 "
},
"task":
{
"type": "compound"
}
}
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: 4657/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1525
lola: finding significant places
lola: 1525 places, 3132 transitions, 1504 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(p431) : MAX(p4) : MAX(p142) : MAX(p1435) : MAX(p105) : MAX(p269) : MAX(p79) : MAX(p544) : MAX(p470) : MAX(p231) : MAX(p1075) : MAX(p803) : MAX(p887) : MAX(p1357) : MAX(p1409) : MAX(p1115)
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(p431)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p431)
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: 129 markings, 128 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
lola: processed formula length: 7
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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p142)
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: 70965 markings, 115405 edges, 14193 markings/sec, 0 secs
lola: 160506 markings, 263205 edges, 17908 markings/sec, 5 secs
lola: 232200 markings, 438463 edges, 14339 markings/sec, 10 secs
lola: 317787 markings, 589886 edges, 17117 markings/sec, 15 secs
lola: 386927 markings, 746145 edges, 13828 markings/sec, 20 secs
lola: 466741 markings, 902214 edges, 15963 markings/sec, 25 secs
lola: 552349 markings, 1055365 edges, 17122 markings/sec, 30 secs
lola: 629478 markings, 1227884 edges, 15426 markings/sec, 35 secs
lola: 714373 markings, 1367591 edges, 16979 markings/sec, 40 secs
lola: 792009 markings, 1541907 edges, 15527 markings/sec, 45 secs
lola: 879261 markings, 1701234 edges, 17450 markings/sec, 50 secs
lola: 966935 markings, 1855791 edges, 17535 markings/sec, 55 secs
lola: 1048360 markings, 2018787 edges, 16285 markings/sec, 60 secs
lola: 1126724 markings, 2178082 edges, 15673 markings/sec, 65 secs
lola: 1209785 markings, 2343510 edges, 16612 markings/sec, 70 secs
lola: 1301203 markings, 2492242 edges, 18284 markings/sec, 75 secs
lola: 1380683 markings, 2650891 edges, 15896 markings/sec, 80 secs
lola: 1455510 markings, 2803106 edges, 14965 markings/sec, 85 secs
lola: 1538525 markings, 2968671 edges, 16603 markings/sec, 90 secs
lola: 1621599 markings, 3133336 edges, 16615 markings/sec, 95 secs
lola: 1704674 markings, 3298307 edges, 16615 markings/sec, 100 secs
lola: 1787439 markings, 3460681 edges, 16553 markings/sec, 105 secs
lola: 1883669 markings, 3602857 edges, 19246 markings/sec, 110 secs
lola: 1966132 markings, 3765672 edges, 16493 markings/sec, 115 secs
lola: 2049616 markings, 3924965 edges, 16697 markings/sec, 120 secs
lola: 2148518 markings, 4059576 edges, 19780 markings/sec, 125 secs
lola: 2233298 markings, 4190989 edges, 16956 markings/sec, 130 secs
lola: 2317733 markings, 4348835 edges, 16887 markings/sec, 135 secs
lola: 2395079 markings, 4494746 edges, 15469 markings/sec, 140 secs
lola: 2492305 markings, 4632071 edges, 19445 markings/sec, 145 secs
lola: 2585496 markings, 4772694 edges, 18638 markings/sec, 150 secs
lola: 2669104 markings, 4909767 edges, 16722 markings/sec, 155 secs
lola: 2753065 markings, 5049717 edges, 16792 markings/sec, 160 secs
lola: 2848123 markings, 5194576 edges, 19012 markings/sec, 165 secs
lola: 2947335 markings, 5333456 edges, 19842 markings/sec, 170 secs
lola: 3042859 markings, 5475992 edges, 19105 markings/sec, 175 secs
lola: 3135453 markings, 5620505 edges, 18519 markings/sec, 180 secs
lola: 3221525 markings, 5766203 edges, 17214 markings/sec, 185 secs
lola: 3299528 markings, 5902253 edges, 15601 markings/sec, 190 secs
lola: 3384782 markings, 6050488 edges, 17051 markings/sec, 195 secs
lola: 3467924 markings, 6188924 edges, 16628 markings/sec, 200 secs
lola: 3553206 markings, 6341310 edges, 17056 markings/sec, 205 secs
lola: 3631861 markings, 6486200 edges, 15731 markings/sec, 210 secs
lola: 3717358 markings, 6642561 edges, 17099 markings/sec, 215 secs
lola: 3794471 markings, 6799506 edges, 15423 markings/sec, 220 secs
lola: 3868604 markings, 6950563 edges, 14827 markings/sec, 225 secs
lola: 3945147 markings, 7110298 edges, 15309 markings/sec, 230 secs
lola: 4024683 markings, 7267413 edges, 15907 markings/sec, 235 secs
lola: 4101129 markings, 7415379 edges, 15289 markings/sec, 240 secs
lola: 4174992 markings, 7579116 edges, 14773 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: 568988 KB
lola: time consumption: 260 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(p1435)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1435)
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: 27 markings, 26 edges
lola: ========================================
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p105)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p105)
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: 77145 markings, 127254 edges, 15429 markings/sec, 0 secs
lola: 164763 markings, 277122 edges, 17524 markings/sec, 5 secs
lola: 233774 markings, 441315 edges, 13802 markings/sec, 10 secs
lola: 322364 markings, 596112 edges, 17718 markings/sec, 15 secs
lola: 398460 markings, 768730 edges, 15219 markings/sec, 20 secs
lola: 483974 markings, 929236 edges, 17103 markings/sec, 25 secs
lola: 564618 markings, 1099453 edges, 16129 markings/sec, 30 secs
lola: 649384 markings, 1260705 edges, 16953 markings/sec, 35 secs
lola: 724890 markings, 1416634 edges, 15101 markings/sec, 40 secs
lola: 812051 markings, 1572777 edges, 17432 markings/sec, 45 secs
lola: 896594 markings, 1736840 edges, 16909 markings/sec, 50 secs
lola: 985088 markings, 1894024 edges, 17699 markings/sec, 55 secs
lola: 1070849 markings, 2055817 edges, 17152 markings/sec, 60 secs
lola: 1154526 markings, 2222444 edges, 16735 markings/sec, 65 secs
lola: 1233187 markings, 2380696 edges, 15732 markings/sec, 70 secs
lola: 1320523 markings, 2539454 edges, 17467 markings/sec, 75 secs
lola: 1406675 markings, 2698451 edges, 17230 markings/sec, 80 secs
lola: 1490737 markings, 2862759 edges, 16812 markings/sec, 85 secs
lola: 1571636 markings, 3022785 edges, 16180 markings/sec, 90 secs
lola: 1656452 markings, 3189375 edges, 16963 markings/sec, 95 secs
lola: 1740403 markings, 3355268 edges, 16790 markings/sec, 100 secs
lola: 1826813 markings, 3517232 edges, 17282 markings/sec, 105 secs
lola: 1916360 markings, 3672125 edges, 17909 markings/sec, 110 secs
lola: 2003550 markings, 3833060 edges, 17438 markings/sec, 115 secs
lola: 2095567 markings, 3987416 edges, 18403 markings/sec, 120 secs
lola: 2196038 markings, 4127430 edges, 20094 markings/sec, 125 secs
lola: 2281045 markings, 4290132 edges, 17001 markings/sec, 130 secs
lola: 2365181 markings, 4453592 edges, 16827 markings/sec, 135 secs
lola: 2465444 markings, 4593327 edges, 20053 markings/sec, 140 secs
lola: 2562694 markings, 4737840 edges, 19450 markings/sec, 145 secs
lola: 2656018 markings, 4887298 edges, 18665 markings/sec, 150 secs
lola: 2747734 markings, 5040492 edges, 18343 markings/sec, 155 secs
lola: 2844138 markings, 5188090 edges, 19281 markings/sec, 160 secs
lola: 2944916 markings, 5329428 edges, 20156 markings/sec, 165 secs
lola: 3041699 markings, 5474311 edges, 19357 markings/sec, 170 secs
lola: 3136997 markings, 5622802 edges, 19060 markings/sec, 175 secs
lola: 3227554 markings, 5776008 edges, 18111 markings/sec, 180 secs
lola: 3316196 markings, 5931483 edges, 17728 markings/sec, 185 secs
lola: 3406582 markings, 6084654 edges, 18077 markings/sec, 190 secs
lola: 3496468 markings, 6240397 edges, 17977 markings/sec, 195 secs
lola: 3586242 markings, 6395387 edges, 17955 markings/sec, 200 secs
lola: 3670416 markings, 6555359 edges, 16835 markings/sec, 205 secs
lola: 3754748 markings, 6716584 edges, 16866 markings/sec, 210 secs
lola: 3835525 markings, 6878086 edges, 16155 markings/sec, 215 secs
lola: 3915998 markings, 7043890 edges, 16095 markings/sec, 220 secs
lola: 3996095 markings, 7206419 edges, 16019 markings/sec, 225 secs
lola: 4077894 markings, 7368579 edges, 16360 markings/sec, 230 secs
lola: 4154580 markings, 7534898 edges, 15337 markings/sec, 235 secs
lola: 4233829 markings, 7698100 edges, 15850 markings/sec, 240 secs
lola: 4309563 markings, 7868432 edges, 15147 markings/sec, 245 secs
lola: 4391768 markings, 8029721 edges, 16441 markings/sec, 250 secs
lola: 4470417 markings, 8195362 edges, 15730 markings/sec, 255 secs
lola: 4546846 markings, 8362976 edges, 15286 markings/sec, 260 secs
lola: 4628089 markings, 8525809 edges, 16249 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: 629712 KB
lola: time consumption: 535 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(p269)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p269)
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: 49976 markings, 138600 edges, 9995 markings/sec, 0 secs
lola: 106489 markings, 297676 edges, 11303 markings/sec, 5 secs
lola: 164049 markings, 456423 edges, 11512 markings/sec, 10 secs
lola: 213426 markings, 642991 edges, 9875 markings/sec, 15 secs
lola: 266553 markings, 810959 edges, 10625 markings/sec, 20 secs
lola: 319238 markings, 973128 edges, 10537 markings/sec, 25 secs
lola: 371971 markings, 1136345 edges, 10547 markings/sec, 30 secs
lola: 419104 markings, 1312926 edges, 9427 markings/sec, 35 secs
lola: 468950 markings, 1476318 edges, 9969 markings/sec, 40 secs
lola: 518349 markings, 1640282 edges, 9880 markings/sec, 45 secs
lola: 572456 markings, 1807470 edges, 10821 markings/sec, 50 secs
lola: 633794 markings, 1963582 edges, 12268 markings/sec, 55 secs
lola: 692489 markings, 2146035 edges, 11739 markings/sec, 60 secs
lola: 749403 markings, 2342206 edges, 11383 markings/sec, 65 secs
lola: 803671 markings, 2541928 edges, 10854 markings/sec, 70 secs
lola: 857887 markings, 2725220 edges, 10843 markings/sec, 75 secs
lola: 914749 markings, 2900239 edges, 11372 markings/sec, 80 secs
lola: 968968 markings, 3090680 edges, 10844 markings/sec, 85 secs
lola: 1020661 markings, 3280484 edges, 10339 markings/sec, 90 secs
lola: 1071093 markings, 3452558 edges, 10086 markings/sec, 95 secs
lola: 1125120 markings, 3631061 edges, 10805 markings/sec, 100 secs
lola: 1186180 markings, 3795135 edges, 12212 markings/sec, 105 secs
lola: 1247265 markings, 3983592 edges, 12217 markings/sec, 110 secs
lola: 1305733 markings, 4170170 edges, 11694 markings/sec, 115 secs
lola: 1362138 markings, 4359209 edges, 11281 markings/sec, 120 secs
lola: 1418298 markings, 4538021 edges, 11232 markings/sec, 125 secs
lola: 1474873 markings, 4694813 edges, 11315 markings/sec, 130 secs
lola: 1530680 markings, 4864626 edges, 11161 markings/sec, 135 secs
lola: 1583734 markings, 5047790 edges, 10611 markings/sec, 140 secs
lola: 1629912 markings, 5222081 edges, 9236 markings/sec, 145 secs
lola: 1677213 markings, 5411112 edges, 9460 markings/sec, 150 secs
lola: 1724463 markings, 5602029 edges, 9450 markings/sec, 155 secs
lola: 1769313 markings, 5799065 edges, 8970 markings/sec, 160 secs
lola: 1818578 markings, 5979704 edges, 9853 markings/sec, 165 secs
lola: 1865431 markings, 6165842 edges, 9371 markings/sec, 170 secs
lola: 1908693 markings, 6360078 edges, 8652 markings/sec, 175 secs
lola: 1954392 markings, 6546932 edges, 9140 markings/sec, 180 secs
lola: 2000126 markings, 6731250 edges, 9147 markings/sec, 185 secs
lola: 2046698 markings, 6920856 edges, 9314 markings/sec, 190 secs
lola: 2098407 markings, 7084719 edges, 10342 markings/sec, 195 secs
lola: 2153595 markings, 7252453 edges, 11038 markings/sec, 200 secs
lola: 2206130 markings, 7433724 edges, 10507 markings/sec, 205 secs
lola: 2256070 markings, 7622004 edges, 9988 markings/sec, 210 secs
lola: 2303413 markings, 7810719 edges, 9469 markings/sec, 215 secs
lola: 2350837 markings, 8001552 edges, 9485 markings/sec, 220 secs
lola: 2395449 markings, 8198978 edges, 8922 markings/sec, 225 secs
lola: 2444915 markings, 8379483 edges, 9893 markings/sec, 230 secs
lola: 2491856 markings, 8566414 edges, 9388 markings/sec, 235 secs
lola: 2534959 markings, 8761905 edges, 8621 markings/sec, 240 secs
lola: 2580666 markings, 8948682 edges, 9141 markings/sec, 245 secs
lola: 2626131 markings, 9135008 edges, 9093 markings/sec, 250 secs
lola: 2673406 markings, 9322883 edges, 9455 markings/sec, 255 secs
lola: 2725295 markings, 9483773 edges, 10378 markings/sec, 260 secs
lola: 2780117 markings, 9651227 edges, 10964 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: 442976 KB
lola: time consumption: 811 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 6 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p79)
lola: processed formula length: 8
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: 22 markings, 21 edges
lola: ========================================
lola: subprocess 7 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p544)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p544)
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: 35 markings, 34 edges
lola: ========================================
lola: subprocess 8 will run for 344 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p470)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p470)
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: 128 markings, 127 edges
lola: ========================================
lola: subprocess 9 will run for 394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p231)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p231)
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: 84217 markings, 118129 edges, 16843 markings/sec, 0 secs
lola: 160089 markings, 316853 edges, 15174 markings/sec, 5 secs
lola: 238273 markings, 503830 edges, 15637 markings/sec, 10 secs
lola: 300075 markings, 733769 edges, 12360 markings/sec, 15 secs
lola: 385565 markings, 865430 edges, 17098 markings/sec, 20 secs
lola: 453991 markings, 1048809 edges, 13685 markings/sec, 25 secs
lola: 521358 markings, 1262995 edges, 13473 markings/sec, 30 secs
lola: 580774 markings, 1496522 edges, 11883 markings/sec, 35 secs
lola: 640171 markings, 1723017 edges, 11879 markings/sec, 40 secs
lola: 711782 markings, 1908908 edges, 14322 markings/sec, 45 secs
lola: 771226 markings, 2128747 edges, 11889 markings/sec, 50 secs
lola: 845243 markings, 2306027 edges, 14803 markings/sec, 55 secs
lola: 903161 markings, 2528266 edges, 11584 markings/sec, 60 secs
lola: 977340 markings, 2706525 edges, 14836 markings/sec, 65 secs
lola: 1042406 markings, 2907178 edges, 13013 markings/sec, 70 secs
lola: 1108761 markings, 3092286 edges, 13271 markings/sec, 75 secs
lola: 1173931 markings, 3283987 edges, 13034 markings/sec, 80 secs
lola: 1247255 markings, 3448858 edges, 14665 markings/sec, 85 secs
lola: 1308969 markings, 3649566 edges, 12343 markings/sec, 90 secs
lola: 1383855 markings, 3812008 edges, 14977 markings/sec, 95 secs
lola: 1448381 markings, 4005199 edges, 12905 markings/sec, 100 secs
lola: 1517440 markings, 4183796 edges, 13812 markings/sec, 105 secs
lola: 1586705 markings, 4360469 edges, 13853 markings/sec, 110 secs
lola: 1648117 markings, 4561795 edges, 12282 markings/sec, 115 secs
lola: 1725659 markings, 4717243 edges, 15508 markings/sec, 120 secs
lola: 1792137 markings, 4914954 edges, 13296 markings/sec, 125 secs
lola: 1871711 markings, 5050356 edges, 15915 markings/sec, 130 secs
lola: 1955060 markings, 5190478 edges, 16670 markings/sec, 135 secs
lola: 2040222 markings, 5344461 edges, 17032 markings/sec, 140 secs
lola: 2122779 markings, 5499106 edges, 16511 markings/sec, 145 secs
lola: 2204828 markings, 5646578 edges, 16410 markings/sec, 150 secs
lola: 2285203 markings, 5792155 edges, 16075 markings/sec, 155 secs
lola: 2366652 markings, 5945715 edges, 16290 markings/sec, 160 secs
lola: 2447637 markings, 6107279 edges, 16197 markings/sec, 165 secs
lola: 2527143 markings, 6258709 edges, 15901 markings/sec, 170 secs
lola: 2605891 markings, 6420870 edges, 15750 markings/sec, 175 secs
lola: 2683514 markings, 6578723 edges, 15525 markings/sec, 180 secs
lola: 2761056 markings, 6731371 edges, 15508 markings/sec, 185 secs
lola: 2838101 markings, 6880802 edges, 15409 markings/sec, 190 secs
lola: 2917259 markings, 7024431 edges, 15832 markings/sec, 195 secs
lola: 2994182 markings, 7171441 edges, 15385 markings/sec, 200 secs
lola: 3070224 markings, 7319056 edges, 15208 markings/sec, 205 secs
lola: 3147294 markings, 7468203 edges, 15414 markings/sec, 210 secs
lola: 3222561 markings, 7621651 edges, 15053 markings/sec, 215 secs
lola: 3298231 markings, 7774312 edges, 15134 markings/sec, 220 secs
lola: 3372791 markings, 7927162 edges, 14912 markings/sec, 225 secs
lola: 3446744 markings, 8088347 edges, 14791 markings/sec, 230 secs
lola: 3521386 markings, 8251479 edges, 14928 markings/sec, 235 secs
lola: 3594558 markings, 8412947 edges, 14634 markings/sec, 240 secs
lola: 3667253 markings, 8578186 edges, 14539 markings/sec, 245 secs
lola: 3740158 markings, 8740694 edges, 14581 markings/sec, 250 secs
lola: 3813014 markings, 8908235 edges, 14571 markings/sec, 255 secs
lola: 3884960 markings, 9079482 edges, 14389 markings/sec, 260 secs
lola: 3956536 markings, 9255726 edges, 14315 markings/sec, 265 secs
lola: 4029589 markings, 9433524 edges, 14611 markings/sec, 270 secs
lola: 4102680 markings, 9609803 edges, 14618 markings/sec, 275 secs
lola: 4173824 markings, 9788308 edges, 14229 markings/sec, 280 secs
lola: 4242872 markings, 9967113 edges, 13810 markings/sec, 285 secs
lola: 4314172 markings, 10145889 edges, 14260 markings/sec, 290 secs
lola: 4383203 markings, 10324443 edges, 13806 markings/sec, 295 secs
lola: 4454458 markings, 10505006 edges, 14251 markings/sec, 300 secs
lola: 4526425 markings, 10680626 edges, 14393 markings/sec, 305 secs
lola: 4598044 markings, 10861668 edges, 14324 markings/sec, 310 secs
lola: 4672529 markings, 11047152 edges, 14897 markings/sec, 315 secs
lola: 4743463 markings, 11224515 edges, 14187 markings/sec, 320 secs
lola: 4811430 markings, 11410124 edges, 13593 markings/sec, 325 secs
lola: 4874745 markings, 11601541 edges, 12663 markings/sec, 330 secs
lola: 4937009 markings, 11787085 edges, 12453 markings/sec, 335 secs
lola: 5003463 markings, 11975698 edges, 13291 markings/sec, 340 secs
lola: 5068029 markings, 12163404 edges, 12913 markings/sec, 345 secs
lola: 5126081 markings, 12353887 edges, 11610 markings/sec, 350 secs
lola: 5187768 markings, 12541145 edges, 12337 markings/sec, 355 secs
lola: 5250607 markings, 12733406 edges, 12568 markings/sec, 360 secs
lola: 5306920 markings, 12928600 edges, 11263 markings/sec, 365 secs
lola: 5355975 markings, 13132807 edges, 9811 markings/sec, 370 secs
lola: 5398287 markings, 13356079 edges, 8462 markings/sec, 375 secs
lola: 5439152 markings, 13591567 edges, 8173 markings/sec, 380 secs
lola: 5474066 markings, 13841779 edges, 6983 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown unknown 1 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 481000 KB
lola: time consumption: 1207 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 10 will run for 393 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1075)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1075)
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: 121 markings, 120 edges
lola: ========================================
lola: subprocess 11 will run for 472 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p803)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p803)
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: 53 markings, 52 edges
lola: ========================================
lola: subprocess 12 will run for 590 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p887)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p887)
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: 19 markings, 18 edges
lola: ========================================
lola: subprocess 13 will run for 787 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1357)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1357)
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: 114 markings, 113 edges
lola: ========================================
lola: subprocess 14 will run for 1180 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1409)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1409)
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: 37 markings, 36 edges
lola: ========================================
lola: subprocess 15 will run for 2360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1115)
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: 42 markings, 41 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p142)
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: 73560 markings, 120544 edges, 14712 markings/sec, 0 secs
lola: 161729 markings, 268616 edges, 17634 markings/sec, 5 secs
lola: 236037 markings, 445065 edges, 14862 markings/sec, 10 secs
lola: 323471 markings, 597646 edges, 17487 markings/sec, 15 secs
lola: 398529 markings, 768846 edges, 15012 markings/sec, 20 secs
lola: 483115 markings, 928026 edges, 16917 markings/sec, 25 secs
lola: 563083 markings, 1096901 edges, 15994 markings/sec, 30 secs
lola: 646854 markings, 1257113 edges, 16754 markings/sec, 35 secs
lola: 727304 markings, 1425092 edges, 16090 markings/sec, 40 secs
lola: 814696 markings, 1577078 edges, 17478 markings/sec, 45 secs
lola: 897635 markings, 1741297 edges, 16588 markings/sec, 50 secs
lola: 985597 markings, 1895723 edges, 17592 markings/sec, 55 secs
lola: 1070801 markings, 2055745 edges, 17041 markings/sec, 60 secs
lola: 1153584 markings, 2220776 edges, 16557 markings/sec, 65 secs
lola: 1235433 markings, 2384351 edges, 16370 markings/sec, 70 secs
lola: 1321876 markings, 2542310 edges, 17289 markings/sec, 75 secs
lola: 1407305 markings, 2700018 edges, 17086 markings/sec, 80 secs
lola: 1490821 markings, 2862925 edges, 16703 markings/sec, 85 secs
lola: 1573832 markings, 3027047 edges, 16602 markings/sec, 90 secs
lola: 1657129 markings, 3190887 edges, 16659 markings/sec, 95 secs
lola: 1739495 markings, 3353953 edges, 16473 markings/sec, 100 secs
lola: 1824188 markings, 3512870 edges, 16939 markings/sec, 105 secs
lola: 1913768 markings, 3661218 edges, 17916 markings/sec, 110 secs
lola: 1998257 markings, 3820144 edges, 16898 markings/sec, 115 secs
lola: 2086370 markings, 3975374 edges, 17623 markings/sec, 120 secs
lola: 2185883 markings, 4111051 edges, 19903 markings/sec, 125 secs
lola: 2268165 markings, 4271878 edges, 16456 markings/sec, 130 secs
lola: 2351924 markings, 4429991 edges, 16752 markings/sec, 135 secs
lola: 2448164 markings, 4569857 edges, 19248 markings/sec, 140 secs
lola: 2544302 markings, 4710620 edges, 19228 markings/sec, 145 secs
lola: 2636328 markings, 4855328 edges, 18405 markings/sec, 150 secs
lola: 2725774 markings, 5005325 edges, 17889 markings/sec, 155 secs
lola: 2820553 markings, 5149337 edges, 18956 markings/sec, 160 secs
lola: 2916495 markings, 5290742 edges, 19188 markings/sec, 165 secs
lola: 3013116 markings, 5430210 edges, 19324 markings/sec, 170 secs
lola: 3107156 markings, 5574214 edges, 18808 markings/sec, 175 secs
lola: 3196725 markings, 5723515 edges, 17914 markings/sec, 180 secs
lola: 3284295 markings, 5874576 edges, 17514 markings/sec, 185 secs
lola: 3371185 markings, 6026626 edges, 17378 markings/sec, 190 secs
lola: 3461022 markings, 6175723 edges, 17967 markings/sec, 195 secs
lola: 3547082 markings, 6331039 edges, 17212 markings/sec, 200 secs
lola: 3631049 markings, 6484701 edges, 16793 markings/sec, 205 secs
lola: 3716012 markings, 6639802 edges, 16993 markings/sec, 210 secs
lola: 3794942 markings, 6800326 edges, 15786 markings/sec, 215 secs
lola: 3873805 markings, 6960397 edges, 15773 markings/sec, 220 secs
lola: 3951246 markings, 7122511 edges, 15488 markings/sec, 225 secs
lola: 4031676 markings, 7281260 edges, 16086 markings/sec, 230 secs
lola: 4112370 markings, 7439110 edges, 16139 markings/sec, 235 secs
lola: 4186524 markings, 7601973 edges, 14831 markings/sec, 240 secs
lola: 4263028 markings, 7764936 edges, 15301 markings/sec, 245 secs
lola: 4340537 markings, 7926778 edges, 15502 markings/sec, 250 secs
lola: 4418775 markings, 8088322 edges, 15648 markings/sec, 255 secs
lola: 4492050 markings, 8253873 edges, 14655 markings/sec, 260 secs
lola: 4573066 markings, 8410838 edges, 16203 markings/sec, 265 secs
lola: 4651238 markings, 8572801 edges, 15634 markings/sec, 270 secs
lola: 4724320 markings, 8739180 edges, 14616 markings/sec, 275 secs
lola: 4794143 markings, 8905538 edges, 13965 markings/sec, 280 secs
lola: 4864749 markings, 9074253 edges, 14121 markings/sec, 285 secs
lola: 4936702 markings, 9238808 edges, 14391 markings/sec, 290 secs
lola: 5013547 markings, 9411198 edges, 15369 markings/sec, 295 secs
lola: 5078795 markings, 9582757 edges, 13050 markings/sec, 300 secs
lola: 5142912 markings, 9760745 edges, 12823 markings/sec, 305 secs
lola: 5207419 markings, 9943259 edges, 12901 markings/sec, 310 secs
lola: 5270208 markings, 10128455 edges, 12558 markings/sec, 315 secs
lola: 5341878 markings, 10296485 edges, 14334 markings/sec, 320 secs
lola: 5412498 markings, 10463845 edges, 14124 markings/sec, 325 secs
lola: 5462602 markings, 10663232 edges, 10021 markings/sec, 330 secs
lola: 5514798 markings, 10897375 edges, 10439 markings/sec, 335 secs
lola: 5559201 markings, 11141864 edges, 8881 markings/sec, 340 secs
lola: 5598436 markings, 11399286 edges, 7847 markings/sec, 345 secs
lola: 5637223 markings, 11656285 edges, 7757 markings/sec, 350 secs
lola: 5677796 markings, 11911899 edges, 8115 markings/sec, 355 secs
lola: 5722026 markings, 12168394 edges, 8846 markings/sec, 360 secs
lola: 5764387 markings, 12417073 edges, 8472 markings/sec, 365 secs
lola: 5808735 markings, 12669264 edges, 8870 markings/sec, 370 secs
lola: 5863175 markings, 12898807 edges, 10888 markings/sec, 375 secs
lola: 5945960 markings, 13060277 edges, 16557 markings/sec, 380 secs
lola: 6008894 markings, 13253398 edges, 12587 markings/sec, 385 secs
lola: 6089827 markings, 13418454 edges, 16187 markings/sec, 390 secs
lola: 6161868 markings, 13601397 edges, 14408 markings/sec, 395 secs
lola: 6242980 markings, 13767384 edges, 16222 markings/sec, 400 secs
lola: 6310357 markings, 13955303 edges, 13475 markings/sec, 405 secs
lola: 6386455 markings, 14126450 edges, 15220 markings/sec, 410 secs
lola: 6460837 markings, 14302373 edges, 14876 markings/sec, 415 secs
lola: 6532883 markings, 14486083 edges, 14409 markings/sec, 420 secs
lola: 6618083 markings, 14645535 edges, 17040 markings/sec, 425 secs
lola: 6683233 markings, 14843166 edges, 13030 markings/sec, 430 secs
lola: 6768691 markings, 15003595 edges, 17092 markings/sec, 435 secs
lola: 6843603 markings, 15185042 edges, 14982 markings/sec, 440 secs
lola: 6917775 markings, 15365755 edges, 14834 markings/sec, 445 secs
lola: 6997570 markings, 15538371 edges, 15959 markings/sec, 450 secs
lola: 7076040 markings, 15712095 edges, 15694 markings/sec, 455 secs
lola: 7154491 markings, 15885560 edges, 15690 markings/sec, 460 secs
lola: 7229659 markings, 16065797 edges, 15034 markings/sec, 465 secs
lola: 7310867 markings, 16233701 edges, 16242 markings/sec, 470 secs
lola: 7388997 markings, 16408066 edges, 15626 markings/sec, 475 secs
lola: 7465245 markings, 16586930 edges, 15250 markings/sec, 480 secs
lola: 7539340 markings, 16767610 edges, 14819 markings/sec, 485 secs
lola: 7615206 markings, 16946178 edges, 15173 markings/sec, 490 secs
lola: 7707419 markings, 17094861 edges, 18443 markings/sec, 495 secs
lola: 7783615 markings, 17272467 edges, 15239 markings/sec, 500 secs
lola: 7861419 markings, 17438568 edges, 15561 markings/sec, 505 secs
lola: 7951667 markings, 17588500 edges, 18050 markings/sec, 510 secs
lola: 8045009 markings, 17732961 edges, 18668 markings/sec, 515 secs
lola: 8121573 markings, 17907344 edges, 15313 markings/sec, 520 secs
lola: 8195290 markings, 18084071 edges, 14743 markings/sec, 525 secs
lola: 8290025 markings, 18226621 edges, 18947 markings/sec, 530 secs
lola: 8380947 markings, 18374536 edges, 18184 markings/sec, 535 secs
lola: 8471803 markings, 18523929 edges, 18171 markings/sec, 540 secs
lola: 8560085 markings, 18677505 edges, 17656 markings/sec, 545 secs
lola: 8649192 markings, 18828990 edges, 17821 markings/sec, 550 secs
lola: 8741283 markings, 18975597 edges, 18418 markings/sec, 555 secs
lola: 8834224 markings, 19121479 edges, 18588 markings/sec, 560 secs
lola: 8920545 markings, 19276635 edges, 17264 markings/sec, 565 secs
lola: 9008348 markings, 19429833 edges, 17561 markings/sec, 570 secs
lola: 9092140 markings, 19586845 edges, 16758 markings/sec, 575 secs
lola: 9178629 markings, 19740065 edges, 17298 markings/sec, 580 secs
lola: 9265988 markings, 19891285 edges, 17472 markings/sec, 585 secs
lola: 9349513 markings, 20046114 edges, 16705 markings/sec, 590 secs
lola: 9428999 markings, 20210641 edges, 15897 markings/sec, 595 secs
lola: 9505221 markings, 20372503 edges, 15244 markings/sec, 600 secs
lola: 9582660 markings, 20533138 edges, 15488 markings/sec, 605 secs
lola: 9658455 markings, 20697257 edges, 15159 markings/sec, 610 secs
lola: 9733818 markings, 20861416 edges, 15073 markings/sec, 615 secs
lola: 9800962 markings, 21037052 edges, 13429 markings/sec, 620 secs
lola: 9872154 markings, 21207846 edges, 14238 markings/sec, 625 secs
lola: 9944506 markings, 21375621 edges, 14470 markings/sec, 630 secs
lola: 10016164 markings, 21547238 edges, 14332 markings/sec, 635 secs
lola: 10092881 markings, 21709065 edges, 15343 markings/sec, 640 secs
lola: 10162498 markings, 21878973 edges, 13923 markings/sec, 645 secs
lola: 10230054 markings, 22054621 edges, 13511 markings/sec, 650 secs
lola: 10302432 markings, 22226191 edges, 14476 markings/sec, 655 secs
lola: 10369904 markings, 22398120 edges, 13494 markings/sec, 660 secs
lola: 10433361 markings, 22576467 edges, 12691 markings/sec, 665 secs
lola: 10505115 markings, 22745943 edges, 14351 markings/sec, 670 secs
lola: 10575539 markings, 22918158 edges, 14085 markings/sec, 675 secs
lola: 10637651 markings, 23098835 edges, 12422 markings/sec, 680 secs
lola: 10708158 markings, 23271250 edges, 14101 markings/sec, 685 secs
lola: 10766653 markings, 23463160 edges, 11699 markings/sec, 690 secs
lola: 10838652 markings, 23640976 edges, 14400 markings/sec, 695 secs
lola: 10903185 markings, 23818007 edges, 12907 markings/sec, 700 secs
lola: 10956704 markings, 24008054 edges, 10704 markings/sec, 705 secs
lola: 11013610 markings, 24199474 edges, 11381 markings/sec, 710 secs
lola: 11074192 markings, 24383034 edges, 12116 markings/sec, 715 secs
lola: 11133321 markings, 24570637 edges, 11826 markings/sec, 720 secs
lola: 11198239 markings, 24745187 edges, 12984 markings/sec, 725 secs
lola: 11252080 markings, 24930884 edges, 10768 markings/sec, 730 secs
lola: 11296402 markings, 25160463 edges, 8864 markings/sec, 735 secs
lola: 11338525 markings, 25397881 edges, 8425 markings/sec, 740 secs
lola: 11375865 markings, 25637159 edges, 7468 markings/sec, 745 secs
lola: 11408391 markings, 25888399 edges, 6505 markings/sec, 750 secs
lola: 11441314 markings, 26136790 edges, 6585 markings/sec, 755 secs
lola: 11473135 markings, 26396096 edges, 6364 markings/sec, 760 secs
lola: 11507880 markings, 26651808 edges, 6949 markings/sec, 765 secs
lola: 11544125 markings, 26906329 edges, 7249 markings/sec, 770 secs
lola: 11580064 markings, 27158638 edges, 7188 markings/sec, 775 secs
lola: 11615954 markings, 27410821 edges, 7178 markings/sec, 780 secs
lola: 11653923 markings, 27664931 edges, 7594 markings/sec, 785 secs
lola: 11724592 markings, 27836561 edges, 14134 markings/sec, 790 secs
lola: 11805249 markings, 27977947 edges, 16131 markings/sec, 795 secs
lola: 11878544 markings, 28143761 edges, 14659 markings/sec, 800 secs
lola: 11955380 markings, 28287091 edges, 15367 markings/sec, 805 secs
lola: 12035228 markings, 28443893 edges, 15970 markings/sec, 810 secs
lola: 12113768 markings, 28593489 edges, 15708 markings/sec, 815 secs
lola: 12188418 markings, 28756745 edges, 14930 markings/sec, 820 secs
lola: 12272690 markings, 28897117 edges, 16854 markings/sec, 825 secs
lola: 12344141 markings, 29069221 edges, 14290 markings/sec, 830 secs
lola: 12431008 markings, 29211595 edges, 17373 markings/sec, 835 secs
lola: 12501815 markings, 29384996 edges, 14161 markings/sec, 840 secs
lola: 12589433 markings, 29526730 edges, 17524 markings/sec, 845 secs
lola: 12668892 markings, 29685793 edges, 15892 markings/sec, 850 secs
lola: 12747944 markings, 29844317 edges, 15810 markings/sec, 855 secs
lola: 12828666 markings, 30000394 edges, 16144 markings/sec, 860 secs
lola: 12909436 markings, 30158722 edges, 16154 markings/sec, 865 secs
lola: 12995383 markings, 30303210 edges, 17189 markings/sec, 870 secs
lola: 13074126 markings, 30462695 edges, 15749 markings/sec, 875 secs
lola: 13151864 markings, 30622461 edges, 15548 markings/sec, 880 secs
lola: 13233706 markings, 30775810 edges, 16368 markings/sec, 885 secs
lola: 13313699 markings, 30933946 edges, 15999 markings/sec, 890 secs
lola: 13397108 markings, 31084144 edges, 16682 markings/sec, 895 secs
lola: 13480850 markings, 31236871 edges, 16748 markings/sec, 900 secs
lola: 13569138 markings, 31377711 edges, 17658 markings/sec, 905 secs
lola: 13651575 markings, 31530977 edges, 16487 markings/sec, 910 secs
lola: 13732401 markings, 31684145 edges, 16165 markings/sec, 915 secs
lola: 13828962 markings, 31813058 edges, 19312 markings/sec, 920 secs
lola: 13912057 markings, 31962194 edges, 16619 markings/sec, 925 secs
lola: 13993519 markings, 32112914 edges, 16292 markings/sec, 930 secs
lola: 14080306 markings, 32258570 edges, 17357 markings/sec, 935 secs
lola: 14170465 markings, 32393415 edges, 18032 markings/sec, 940 secs
lola: 14254398 markings, 32521610 edges, 16787 markings/sec, 945 secs
lola: 14344952 markings, 32660597 edges, 18111 markings/sec, 950 secs
lola: 14433826 markings, 32801534 edges, 17775 markings/sec, 955 secs
lola: 14523900 markings, 32941141 edges, 18015 markings/sec, 960 secs
lola: 14617788 markings, 33076067 edges, 18778 markings/sec, 965 secs
lola: 14707483 markings, 33216794 edges, 17939 markings/sec, 970 secs
lola: 14795038 markings, 33358834 edges, 17511 markings/sec, 975 secs
lola: 14879891 markings, 33503312 edges, 16971 markings/sec, 980 secs
lola: 14964838 markings, 33648865 edges, 16989 markings/sec, 985 secs
lola: 15053589 markings, 33790052 edges, 17750 markings/sec, 990 secs
lola: 15139459 markings, 33935169 edges, 17174 markings/sec, 995 secs
lola: 15226021 markings, 34084037 edges, 17312 markings/sec, 1000 secs
lola: 15302621 markings, 34238158 edges, 15320 markings/sec, 1005 secs
lola: 15384419 markings, 34384274 edges, 16360 markings/sec, 1010 secs
lola: 15463705 markings, 34535989 edges, 15857 markings/sec, 1015 secs
lola: 15540723 markings, 34687727 edges, 15404 markings/sec, 1020 secs
lola: 15615107 markings, 34846013 edges, 14877 markings/sec, 1025 secs
lola: 15685806 markings, 35004850 edges, 14140 markings/sec, 1030 secs
lola: 15760829 markings, 35159001 edges, 15005 markings/sec, 1035 secs
lola: 15835623 markings, 35315850 edges, 14959 markings/sec, 1040 secs
lola: 15914658 markings, 35463992 edges, 15807 markings/sec, 1045 secs
lola: 15986963 markings, 35620795 edges, 14461 markings/sec, 1050 secs
lola: 16058076 markings, 35782364 edges, 14223 markings/sec, 1055 secs
lola: 16135361 markings, 35937730 edges, 15457 markings/sec, 1060 secs
lola: 16202610 markings, 36097698 edges, 13450 markings/sec, 1065 secs
lola: 16274990 markings, 36252574 edges, 14476 markings/sec, 1070 secs
lola: 16350091 markings, 36405130 edges, 15020 markings/sec, 1075 secs
lola: 16416258 markings, 36566609 edges, 13233 markings/sec, 1080 secs
lola: 16484834 markings, 36728320 edges, 13715 markings/sec, 1085 secs
lola: 16556874 markings, 36886596 edges, 14408 markings/sec, 1090 secs
lola: 16628314 markings, 37058972 edges, 14288 markings/sec, 1095 secs
lola: 16692800 markings, 37215907 edges, 12897 markings/sec, 1100 secs
lola: 16753633 markings, 37384062 edges, 12167 markings/sec, 1105 secs
lola: 16817654 markings, 37553205 edges, 12804 markings/sec, 1110 secs
lola: 16876986 markings, 37719272 edges, 11866 markings/sec, 1115 secs
lola: 16934654 markings, 37889725 edges, 11534 markings/sec, 1120 secs
lola: 17001068 markings, 38048126 edges, 13283 markings/sec, 1125 secs
lola: 17059399 markings, 38199535 edges, 11666 markings/sec, 1130 secs
lola: 17103813 markings, 38386614 edges, 8883 markings/sec, 1135 secs
lola: 17154701 markings, 38618967 edges, 10178 markings/sec, 1140 secs
lola: 17196191 markings, 38841102 edges, 8298 markings/sec, 1145 secs
lola: 17232310 markings, 39072844 edges, 7224 markings/sec, 1150 secs
lola: 17268069 markings, 39299891 edges, 7152 markings/sec, 1155 secs
lola: 17308250 markings, 39559976 edges, 8036 markings/sec, 1160 secs
lola: 17347764 markings, 39792427 edges, 7903 markings/sec, 1165 secs
lola: 17390605 markings, 40040073 edges, 8568 markings/sec, 1170 secs
lola: 17428647 markings, 40260211 edges, 7608 markings/sec, 1175 secs
lola: 17474179 markings, 40512065 edges, 9106 markings/sec, 1180 secs
lola: 17540788 markings, 40707792 edges, 13322 markings/sec, 1185 secs
lola: 17617075 markings, 40872097 edges, 15257 markings/sec, 1190 secs
lola: 17666102 markings, 41069732 edges, 9805 markings/sec, 1195 secs
lola: 17736625 markings, 41256944 edges, 14105 markings/sec, 1200 secs
lola: 17816155 markings, 41427162 edges, 15906 markings/sec, 1205 secs
lola: 17871784 markings, 41636352 edges, 11126 markings/sec, 1210 secs
lola: 17945312 markings, 41813873 edges, 14706 markings/sec, 1215 secs
lola: 18006967 markings, 42013418 edges, 12331 markings/sec, 1220 secs
lola: 18074510 markings, 42196915 edges, 13509 markings/sec, 1225 secs
lola: 18154666 markings, 42364869 edges, 16031 markings/sec, 1230 secs
lola: 18206472 markings, 42556127 edges, 10361 markings/sec, 1235 secs
lola: 18271500 markings, 42698744 edges, 13006 markings/sec, 1240 secs
lola: 18329073 markings, 42873733 edges, 11515 markings/sec, 1245 secs
lola: 18408173 markings, 43044768 edges, 15820 markings/sec, 1250 secs
lola: 18476055 markings, 43238612 edges, 13576 markings/sec, 1255 secs
lola: 18545633 markings, 43426292 edges, 13916 markings/sec, 1260 secs
lola: 18621897 markings, 43603016 edges, 15253 markings/sec, 1265 secs
lola: 18691421 markings, 43793099 edges, 13905 markings/sec, 1270 secs
lola: 18757243 markings, 43987402 edges, 13164 markings/sec, 1275 secs
lola: 18836089 markings, 44157524 edges, 15769 markings/sec, 1280 secs
lola: 18904504 markings, 44350329 edges, 13683 markings/sec, 1285 secs
lola: 18962986 markings, 44510603 edges, 11696 markings/sec, 1290 secs
lola: 19033872 markings, 44683663 edges, 14177 markings/sec, 1295 secs
lola: 19105394 markings, 44870086 edges, 14304 markings/sec, 1300 secs
lola: 19172184 markings, 45062470 edges, 13358 markings/sec, 1305 secs
lola: 19238143 markings, 45235017 edges, 13192 markings/sec, 1310 secs
lola: 19322895 markings, 45401834 edges, 16950 markings/sec, 1315 secs
lola: 19393419 markings, 45593482 edges, 14105 markings/sec, 1320 secs
lola: 19478680 markings, 45752840 edges, 17052 markings/sec, 1325 secs
lola: 19547959 markings, 45933487 edges, 13856 markings/sec, 1330 secs
lola: 19634931 markings, 46066126 edges, 17394 markings/sec, 1335 secs
lola: 19715750 markings, 46232655 edges, 16164 markings/sec, 1340 secs
lola: 19792368 markings, 46406382 edges, 15324 markings/sec, 1345 secs
lola: 19861818 markings, 46585351 edges, 13890 markings/sec, 1350 secs
lola: 19943236 markings, 46743728 edges, 16284 markings/sec, 1355 secs
lola: 20029427 markings, 46893037 edges, 17238 markings/sec, 1360 secs
lola: 20109139 markings, 47045472 edges, 15942 markings/sec, 1365 secs
lola: 20196926 markings, 47199154 edges, 17557 markings/sec, 1370 secs
lola: 20279721 markings, 47357489 edges, 16559 markings/sec, 1375 secs
lola: 20373444 markings, 47502361 edges, 18745 markings/sec, 1380 secs
lola: 20464292 markings, 47652980 edges, 18170 markings/sec, 1385 secs
lola: 20554330 markings, 47802220 edges, 18008 markings/sec, 1390 secs
lola: 20630157 markings, 47952797 edges, 15165 markings/sec, 1395 secs
lola: 20712423 markings, 48110768 edges, 16453 markings/sec, 1400 secs
lola: 20792042 markings, 48273455 edges, 15924 markings/sec, 1405 secs
lola: 20864180 markings, 48431216 edges, 14428 markings/sec, 1410 secs
lola: 20945443 markings, 48579985 edges, 16253 markings/sec, 1415 secs
lola: 21024473 markings, 48746922 edges, 15806 markings/sec, 1420 secs
lola: 21097557 markings, 48908672 edges, 14617 markings/sec, 1425 secs
lola: 21173889 markings, 49078722 edges, 15266 markings/sec, 1430 secs
lola: 21244360 markings, 49257889 edges, 14094 markings/sec, 1435 secs
lola: 21313843 markings, 49436483 edges, 13897 markings/sec, 1440 secs
lola: 21373433 markings, 49596575 edges, 11918 markings/sec, 1445 secs
lola: 21443187 markings, 49761084 edges, 13951 markings/sec, 1450 secs
lola: 21505059 markings, 49923319 edges, 12374 markings/sec, 1455 secs
lola: 21568138 markings, 50108096 edges, 12616 markings/sec, 1460 secs
lola: 21640147 markings, 50281513 edges, 14402 markings/sec, 1465 secs
lola: 21706065 markings, 50462813 edges, 13184 markings/sec, 1470 secs
lola: 21767320 markings, 50648895 edges, 12251 markings/sec, 1475 secs
lola: 21833896 markings, 50824235 edges, 13315 markings/sec, 1480 secs
lola: 21894646 markings, 50999269 edges, 12150 markings/sec, 1485 secs
lola: 21959255 markings, 51188142 edges, 12922 markings/sec, 1490 secs
lola: 22027154 markings, 51356973 edges, 13580 markings/sec, 1495 secs
lola: 22096210 markings, 51535430 edges, 13811 markings/sec, 1500 secs
lola: 22154885 markings, 51702370 edges, 11735 markings/sec, 1505 secs
lola: 22213808 markings, 51890813 edges, 11785 markings/sec, 1510 secs
lola: 22264229 markings, 52066333 edges, 10084 markings/sec, 1515 secs
lola: 22323138 markings, 52251773 edges, 11782 markings/sec, 1520 secs
lola: 22393199 markings, 52429218 edges, 14012 markings/sec, 1525 secs
lola: 22450825 markings, 52606011 edges, 11525 markings/sec, 1530 secs
lola: 22522840 markings, 52792474 edges, 14403 markings/sec, 1535 secs
lola: 22578105 markings, 52978744 edges, 11053 markings/sec, 1540 secs
lola: 22624189 markings, 53182627 edges, 9217 markings/sec, 1545 secs
lola: 22673140 markings, 53369022 edges, 9790 markings/sec, 1550 secs
lola: 22732327 markings, 53556870 edges, 11837 markings/sec, 1555 secs
lola: 22782385 markings, 53758424 edges, 10012 markings/sec, 1560 secs
lola: 22835780 markings, 53942052 edges, 10679 markings/sec, 1565 secs
lola: 22885941 markings, 54123662 edges, 10032 markings/sec, 1570 secs
lola: 22924973 markings, 54362260 edges, 7806 markings/sec, 1575 secs
lola: 22964773 markings, 54611754 edges, 7960 markings/sec, 1580 secs
lola: 22997950 markings, 54864764 edges, 6635 markings/sec, 1585 secs
lola: 23026494 markings, 55124495 edges, 5709 markings/sec, 1590 secs
lola: 23054940 markings, 55346093 edges, 5689 markings/sec, 1595 secs
lola: 23083429 markings, 55603992 edges, 5698 markings/sec, 1600 secs
lola: 23110436 markings, 55868459 edges, 5401 markings/sec, 1605 secs
lola: 23139252 markings, 56121198 edges, 5763 markings/sec, 1610 secs
lola: 23168306 markings, 56364980 edges, 5811 markings/sec, 1615 secs
lola: 23201209 markings, 56637492 edges, 6581 markings/sec, 1620 secs
lola: 23229936 markings, 56878711 edges, 5745 markings/sec, 1625 secs
lola: 23260839 markings, 57131606 edges, 6181 markings/sec, 1630 secs
lola: 23293251 markings, 57388876 edges, 6482 markings/sec, 1635 secs
lola: 23355104 markings, 57575273 edges, 12371 markings/sec, 1640 secs
lola: 23430181 markings, 57712850 edges, 15015 markings/sec, 1645 secs
lola: 23488569 markings, 57901922 edges, 11678 markings/sec, 1650 secs
lola: 23558079 markings, 58059278 edges, 13902 markings/sec, 1655 secs
lola: 23639939 markings, 58212307 edges, 16372 markings/sec, 1660 secs
lola: 23699970 markings, 58406582 edges, 12006 markings/sec, 1665 secs
lola: 23776739 markings, 58564657 edges, 15354 markings/sec, 1670 secs
lola: 23840209 markings, 58734981 edges, 12694 markings/sec, 1675 secs
lola: 23911973 markings, 58903398 edges, 14353 markings/sec, 1680 secs
lola: 23992267 markings, 59054337 edges, 16059 markings/sec, 1685 secs
lola: 24051494 markings, 59230162 edges, 11845 markings/sec, 1690 secs
lola: 24133700 markings, 59382638 edges, 16441 markings/sec, 1695 secs
lola: 24204486 markings, 59557448 edges, 14157 markings/sec, 1700 secs
lola: 24273328 markings, 59715857 edges, 13768 markings/sec, 1705 secs
lola: 24351554 markings, 59875648 edges, 15645 markings/sec, 1710 secs
lola: 24418414 markings, 60040393 edges, 13372 markings/sec, 1715 secs
lola: 24490040 markings, 60215264 edges, 14325 markings/sec, 1720 secs
lola: 24566641 markings, 60355154 edges, 15320 markings/sec, 1725 secs
lola: 24637198 markings, 60532135 edges, 14111 markings/sec, 1730 secs
lola: 24706274 markings, 60696307 edges, 13815 markings/sec, 1735 secs
lola: 24781484 markings, 60865475 edges, 15042 markings/sec, 1740 secs
lola: 24854932 markings, 61020651 edges, 14690 markings/sec, 1745 secs
lola: 24916262 markings, 61173668 edges, 12266 markings/sec, 1750 secs
lola: 24988432 markings, 61345094 edges, 14434 markings/sec, 1755 secs
lola: 25056012 markings, 61497596 edges, 13516 markings/sec, 1760 secs
lola: 25140487 markings, 61644624 edges, 16895 markings/sec, 1765 secs
lola: 25207156 markings, 61798558 edges, 13334 markings/sec, 1770 secs
lola: 25283200 markings, 61964496 edges, 15209 markings/sec, 1775 secs
lola: 25365599 markings, 62116500 edges, 16480 markings/sec, 1780 secs
lola: 25454891 markings, 62243535 edges, 17858 markings/sec, 1785 secs
lola: 25527594 markings, 62401551 edges, 14541 markings/sec, 1790 secs
lola: 25605169 markings, 62554465 edges, 15515 markings/sec, 1795 secs
lola: 25675884 markings, 62706175 edges, 14143 markings/sec, 1800 secs
lola: 25766002 markings, 62840732 edges, 18024 markings/sec, 1805 secs
lola: 25843556 markings, 62965898 edges, 15511 markings/sec, 1810 secs
lola: 25921361 markings, 63100572 edges, 15561 markings/sec, 1815 secs
lola: 26001618 markings, 63251476 edges, 16051 markings/sec, 1820 secs
lola: 26082114 markings, 63385853 edges, 16099 markings/sec, 1825 secs
lola: 26164876 markings, 63517437 edges, 16552 markings/sec, 1830 secs
lola: 26256627 markings, 63656628 edges, 18350 markings/sec, 1835 secs
lola: 26348472 markings, 63795279 edges, 18369 markings/sec, 1840 secs
lola: 26425027 markings, 63930107 edges, 15311 markings/sec, 1845 secs
lola: 26500129 markings, 64068120 edges, 15020 markings/sec, 1850 secs
lola: 26579330 markings, 64220572 edges, 15840 markings/sec, 1855 secs
lola: 26654064 markings, 64364873 edges, 14947 markings/sec, 1860 secs
lola: 26738450 markings, 64515704 edges, 16877 markings/sec, 1865 secs
lola: 26818042 markings, 64673762 edges, 15918 markings/sec, 1870 secs
lola: 26894074 markings, 64828012 edges, 15206 markings/sec, 1875 secs
lola: 26970672 markings, 64983417 edges, 15320 markings/sec, 1880 secs
lola: 27042370 markings, 65142687 edges, 14340 markings/sec, 1885 secs
lola: 27113063 markings, 65300210 edges, 14139 markings/sec, 1890 secs
lola: 27180297 markings, 65453086 edges, 13447 markings/sec, 1895 secs
lola: 27243734 markings, 65608457 edges, 12687 markings/sec, 1900 secs
lola: 27313730 markings, 65769436 edges, 13999 markings/sec, 1905 secs
lola: 27383445 markings, 65918924 edges, 13943 markings/sec, 1910 secs
lola: 27448465 markings, 66084935 edges, 13004 markings/sec, 1915 secs
lola: 27514705 markings, 66238547 edges, 13248 markings/sec, 1920 secs
lola: 27579495 markings, 66407163 edges, 12958 markings/sec, 1925 secs
lola: 27641300 markings, 66541802 edges, 12361 markings/sec, 1930 secs
lola: 27705719 markings, 66695204 edges, 12884 markings/sec, 1935 secs
lola: 27766094 markings, 66851576 edges, 12075 markings/sec, 1940 secs
lola: 27837136 markings, 67009636 edges, 14208 markings/sec, 1945 secs
lola: 27900130 markings, 67162707 edges, 12599 markings/sec, 1950 secs
lola: 27966893 markings, 67329607 edges, 13353 markings/sec, 1955 secs
lola: 28030541 markings, 67497396 edges, 12730 markings/sec, 1960 secs
lola: 28089176 markings, 67671936 edges, 11727 markings/sec, 1965 secs
lola: 28151574 markings, 67828478 edges, 12480 markings/sec, 1970 secs
lola: 28210269 markings, 67994648 edges, 11739 markings/sec, 1975 secs
lola: 28274807 markings, 68172561 edges, 12908 markings/sec, 1980 secs
lola: 28335422 markings, 68345858 edges, 12123 markings/sec, 1985 secs
lola: 28399404 markings, 68516207 edges, 12796 markings/sec, 1990 secs
lola: 28446715 markings, 68687129 edges, 9462 markings/sec, 1995 secs
lola: 28501746 markings, 68873610 edges, 11006 markings/sec, 2000 secs
lola: 28553207 markings, 69049826 edges, 10292 markings/sec, 2005 secs
lola: 28617961 markings, 69222413 edges, 12951 markings/sec, 2010 secs
lola: 28675996 markings, 69379369 edges, 11607 markings/sec, 2015 secs
lola: 28723356 markings, 69569642 edges, 9472 markings/sec, 2020 secs
lola: 28761452 markings, 69786410 edges, 7619 markings/sec, 2025 secs
lola: 28803522 markings, 70011243 edges, 8414 markings/sec, 2030 secs
lola: 28837616 markings, 70240628 edges, 6819 markings/sec, 2035 secs
lola: 28870331 markings, 70502333 edges, 6543 markings/sec, 2040 secs
lola: 28901077 markings, 70745023 edges, 6149 markings/sec, 2045 secs
lola: 28934788 markings, 71009875 edges, 6742 markings/sec, 2050 secs
lola: 28968273 markings, 71260617 edges, 6697 markings/sec, 2055 secs
lola: 29005080 markings, 71514764 edges, 7361 markings/sec, 2060 secs
lola: 29039465 markings, 71761183 edges, 6877 markings/sec, 2065 secs
lola: 29075453 markings, 72012814 edges, 7198 markings/sec, 2070 secs
lola: 29112991 markings, 72266171 edges, 7508 markings/sec, 2075 secs
lola: 29179044 markings, 72447465 edges, 13211 markings/sec, 2080 secs
lola: 29257303 markings, 72597643 edges, 15652 markings/sec, 2085 secs
lola: 29317578 markings, 72786138 edges, 12055 markings/sec, 2090 secs
lola: 29392684 markings, 72947020 edges, 15021 markings/sec, 2095 secs
lola: 29463394 markings, 73111563 edges, 14142 markings/sec, 2100 secs
lola: 29529647 markings, 73288940 edges, 13251 markings/sec, 2105 secs
lola: 29609905 markings, 73441424 edges, 16052 markings/sec, 2110 secs
lola: 29665846 markings, 73615570 edges, 11188 markings/sec, 2115 secs
lola: 29739104 markings, 73782914 edges, 14652 markings/sec, 2120 secs
lola: 29814700 markings, 73941264 edges, 15119 markings/sec, 2125 secs
lola: 29884987 markings, 74121113 edges, 14057 markings/sec, 2130 secs
lola: 29952669 markings, 74275979 edges, 13536 markings/sec, 2135 secs
lola: 30033842 markings, 74433487 edges, 16235 markings/sec, 2140 secs
lola: 30099004 markings, 74600639 edges, 13032 markings/sec, 2145 secs
lola: 30170085 markings, 74748914 edges, 14216 markings/sec, 2150 secs
lola: 30246618 markings, 74915849 edges, 15307 markings/sec, 2155 secs
lola: 30317169 markings, 75091215 edges, 14110 markings/sec, 2160 secs
lola: 30388470 markings, 75264792 edges, 14260 markings/sec, 2165 secs
lola: 30470239 markings, 75417513 edges, 16354 markings/sec, 2170 secs
lola: 30541996 markings, 75591392 edges, 14351 markings/sec, 2175 secs
lola: 30611793 markings, 75766356 edges, 13959 markings/sec, 2180 secs
lola: 30686611 markings, 75932889 edges, 14964 markings/sec, 2185 secs
lola: 30762986 markings, 76091632 edges, 15275 markings/sec, 2190 secs
lola: 30837826 markings, 76262586 edges, 14968 markings/sec, 2195 secs
lola: 30911475 markings, 76436158 edges, 14730 markings/sec, 2200 secs
lola: 30993753 markings, 76573324 edges, 16456 markings/sec, 2205 secs
lola: 31063783 markings, 76730971 edges, 14006 markings/sec, 2210 secs
lola: 31136275 markings, 76875987 edges, 14498 markings/sec, 2215 secs
lola: 31211337 markings, 77020531 edges, 15012 markings/sec, 2220 secs
lola: 31305151 markings, 77155995 edges, 18763 markings/sec, 2225 secs
lola: 31376909 markings, 77329460 edges, 14352 markings/sec, 2230 secs
lola: 31459101 markings, 77460116 edges, 16438 markings/sec, 2235 secs
lola: 31522792 markings, 77616687 edges, 12738 markings/sec, 2240 secs
lola: 31608421 markings, 77757164 edges, 17126 markings/sec, 2245 secs
lola: 31690942 markings, 77892711 edges, 16504 markings/sec, 2250 secs
lola: 31774884 markings, 78038876 edges, 16788 markings/sec, 2255 secs
lola: 31862571 markings, 78180256 edges, 17537 markings/sec, 2260 secs
lola: 31931628 markings, 78306689 edges, 13811 markings/sec, 2265 secs
lola: 32021867 markings, 78441137 edges, 18048 markings/sec, 2270 secs
lola: 32106327 markings, 78570649 edges, 16892 markings/sec, 2275 secs
lola: 32195263 markings, 78710272 edges, 17787 markings/sec, 2280 secs
lola: 32276572 markings, 78857991 edges, 16262 markings/sec, 2285 secs
lola: 32358269 markings, 79006488 edges, 16339 markings/sec, 2290 secs
lola: 32438833 markings, 79157539 edges, 16113 markings/sec, 2295 secs
lola: 32517463 markings, 79307797 edges, 15726 markings/sec, 2300 secs
lola: 32599270 markings, 79449449 edges, 16361 markings/sec, 2305 secs
lola: 32678491 markings, 79607150 edges, 15844 markings/sec, 2310 secs
lola: 32752247 markings, 79763022 edges, 14751 markings/sec, 2315 secs
lola: 32824190 markings, 79906304 edges, 14389 markings/sec, 2320 secs
lola: 32893952 markings, 80066174 edges, 13952 markings/sec, 2325 secs
lola: 32959526 markings, 80217215 edges, 13115 markings/sec, 2330 secs
lola: 33030792 markings, 80383708 edges, 14253 markings/sec, 2335 secs
lola: 33099699 markings, 80538855 edges, 13781 markings/sec, 2340 secs
lola: 33171258 markings, 80699551 edges, 14312 markings/sec, 2345 secs
lola: 33239121 markings, 80863363 edges, 13573 markings/sec, 2350 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown unknown 1 1 1 unknown 1 1 1 1 1 1
lola: lola: caught signal User defined signal 1 - aborting LoLA

preliminary result: 1 1 unknown 1 unknown unknown 1 1 1 unknown 1 1 1 1 1 1 lola:

preliminary result: 1 1 unknown 1 unknown unknown 1 1 1 unknown 1 1 1 1 1 1
lola: memory consumption: 3751592 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 unknown 1 1 1 unknown 1 1 1 1 1 1
rslt: finished

BK_STOP 1552540320670

--------------------
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-5b"
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-5b, 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-155229648600065"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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