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.r005-smll-155225008900074.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 ASLink-PT-04b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r005-smll-155225008900074
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.8K Feb 9 05:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 9 05:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 5 02:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 5 02:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 1 23:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 1 23:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jan 29 09:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Jan 29 09:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 669K 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 ASLink-PT-04b-UpperBounds-00
FORMULA_NAME ASLink-PT-04b-UpperBounds-01
FORMULA_NAME ASLink-PT-04b-UpperBounds-02
FORMULA_NAME ASLink-PT-04b-UpperBounds-03
FORMULA_NAME ASLink-PT-04b-UpperBounds-04
FORMULA_NAME ASLink-PT-04b-UpperBounds-05
FORMULA_NAME ASLink-PT-04b-UpperBounds-06
FORMULA_NAME ASLink-PT-04b-UpperBounds-07
FORMULA_NAME ASLink-PT-04b-UpperBounds-08
FORMULA_NAME ASLink-PT-04b-UpperBounds-09
FORMULA_NAME ASLink-PT-04b-UpperBounds-10
FORMULA_NAME ASLink-PT-04b-UpperBounds-11
FORMULA_NAME ASLink-PT-04b-UpperBounds-12
FORMULA_NAME ASLink-PT-04b-UpperBounds-13
FORMULA_NAME ASLink-PT-04b-UpperBounds-14
FORMULA_NAME ASLink-PT-04b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552541225645

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ ASLink-PT-04b @ 3570 seconds

FORMULA ASLink-PT-04b-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-04b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

{
"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 05:27:05 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(p1726)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 13,
"markings": 14,
"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(p1810)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 7,
"markings": 8,
"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(p960)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 179,
"markings": 180,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"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(p394)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 22,
"markings": 23,
"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": 296
},
"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(p1652)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 78,
"markings": 79,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"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(p733)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 21,
"markings": 22,
"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": 400
},
"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(p1580)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 18,
"markings": 19,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 467
},
"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(p1519)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 30,
"markings": 31,
"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": 583
},
"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(p1833)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 53,
"markings": 54,
"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": 778
},
"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(p1572)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 19,
"markings": 20,
"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": 1167
},
"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(p1747)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 115,
"markings": 116,
"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"
}
}
],
"exit":
{
"error": null,
"memory": 47920,
"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": 7875,
"conflict_clusters": 1347,
"places": 2034,
"places_significant": 1835,
"singleton_clusters": 0,
"transitions": 2567
},
"result":
{
"interim_value": "1 1 1 1 1 1 unknown 1 unknown 1 unknown 1 1 1 1 unknown ",
"preliminary_value": "1 1 1 1 1 1 unknown 1 unknown 1 unknown 1 1 1 1 unknown "
},
"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: 4601/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2034
lola: finding significant places
lola: 2034 places, 2567 transitions, 1835 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(p1726) : MAX(p1810) : MAX(p960) : MAX(p394) : MAX(p1652) : MAX(p1831) : MAX(p562) : MAX(p733) : MAX(p215) : MAX(p1580) : MAX(p1355) : MAX(p1519) : MAX(p1833) : MAX(p1572) : MAX(p1747) : MAX(p122)
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(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: 14 markings, 13 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1810)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1810)
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: 8 markings, 7 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p960)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p960)
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: 180 markings, 179 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p394)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p394)
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: 23 markings, 22 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1652)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1652)
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: 79 markings, 78 edges
lola: ========================================
lola: subprocess 5 will run for 323 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: 31632 markings, 62940 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p562)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p562)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 154068 markings, 172737 edges, 30814 markings/sec, 30 secs
lola: 308539 markings, 346383 edges, 30894 markings/sec, 35 secs
lola: 461526 markings, 518431 edges, 30597 markings/sec, 40 secs
lola: 614195 markings, 690189 edges, 30534 markings/sec, 45 secs
lola: 767932 markings, 863973 edges, 30747 markings/sec, 50 secs
lola: 922233 markings, 1037423 edges, 30860 markings/sec, 55 secs
lola: 1073913 markings, 1208076 edges, 30336 markings/sec, 60 secs
lola: 1226218 markings, 1379349 edges, 30461 markings/sec, 65 secs
lola: 1379583 markings, 1552721 edges, 30673 markings/sec, 70 secs
lola: 1533364 markings, 1725587 edges, 30756 markings/sec, 75 secs
lola: 1685810 markings, 1897093 edges, 30489 markings/sec, 80 secs
lola: 1837911 markings, 2068145 edges, 30420 markings/sec, 85 secs
lola: 1991266 markings, 2241471 edges, 30671 markings/sec, 90 secs
lola: 2143871 markings, 2412837 edges, 30521 markings/sec, 95 secs
lola: 2294947 markings, 2582574 edges, 30215 markings/sec, 100 secs
lola: 2446213 markings, 2752549 edges, 30253 markings/sec, 105 secs
lola: 2596863 markings, 2921911 edges, 30130 markings/sec, 110 secs
lola: 2747995 markings, 3091665 edges, 30226 markings/sec, 115 secs
lola: 2898537 markings, 3260905 edges, 30108 markings/sec, 120 secs
lola: 3049589 markings, 3430550 edges, 30210 markings/sec, 125 secs
lola: 3200448 markings, 3600254 edges, 30172 markings/sec, 130 secs
lola: 3353331 markings, 3772307 edges, 30577 markings/sec, 135 secs
lola: 3506883 markings, 3944809 edges, 30710 markings/sec, 140 secs
lola: 3659624 markings, 4116507 edges, 30548 markings/sec, 145 secs
lola: 3812485 markings, 4288178 edges, 30572 markings/sec, 150 secs
lola: 3965114 markings, 4459785 edges, 30526 markings/sec, 155 secs
lola: 4117564 markings, 4630894 edges, 30490 markings/sec, 160 secs
lola: 4268335 markings, 4800282 edges, 30154 markings/sec, 165 secs
lola: 4419393 markings, 4970037 edges, 30212 markings/sec, 170 secs
lola: 4570142 markings, 5139422 edges, 30150 markings/sec, 175 secs
lola: 4721263 markings, 5309226 edges, 30224 markings/sec, 180 secs
lola: 4871681 markings, 5478302 edges, 30084 markings/sec, 185 secs
lola: 5029539 markings, 5640197 edges, 31572 markings/sec, 190 secs
lola: 5189186 markings, 5799913 edges, 31929 markings/sec, 195 secs
lola: 5331190 markings, 5976627 edges, 28401 markings/sec, 200 secs
lola: 5472911 markings, 6153373 edges, 28344 markings/sec, 205 secs
lola: 5623485 markings, 6323132 edges, 30115 markings/sec, 210 secs
lola: 5773618 markings, 6491904 edges, 30027 markings/sec, 215 secs
lola: 5926608 markings, 6663932 edges, 30598 markings/sec, 220 secs
lola: 6080075 markings, 6836519 edges, 30693 markings/sec, 225 secs
lola: 6231116 markings, 7006151 edges, 30208 markings/sec, 230 secs
lola: 6381652 markings, 7175420 edges, 30107 markings/sec, 235 secs
lola: 6532359 markings, 7344664 edges, 30141 markings/sec, 240 secs
lola: 6682383 markings, 7513390 edges, 30005 markings/sec, 245 secs
lola: 6835263 markings, 7685471 edges, 30576 markings/sec, 250 secs
lola: 6988446 markings, 7857577 edges, 30637 markings/sec, 255 secs
lola: 7141032 markings, 8029015 edges, 30517 markings/sec, 260 secs
lola: 7293864 markings, 8200749 edges, 30566 markings/sec, 265 secs
lola: 7446359 markings, 8372209 edges, 30499 markings/sec, 270 secs
lola: 7599663 markings, 8544459 edges, 30661 markings/sec, 275 secs
lola: 7753947 markings, 8715436 edges, 30857 markings/sec, 280 secs
lola: 7915742 markings, 8877282 edges, 32359 markings/sec, 285 secs
lola: 8075081 markings, 9041658 edges, 31868 markings/sec, 290 secs
lola: 8218600 markings, 9220628 edges, 28704 markings/sec, 295 secs
lola: 8361945 markings, 9399416 edges, 28669 markings/sec, 300 secs
lola: 8512229 markings, 9570433 edges, 30057 markings/sec, 305 secs
lola: 8662545 markings, 9739852 edges, 30063 markings/sec, 310 secs
lola: 8812627 markings, 9909573 edges, 30016 markings/sec, 315 secs
lola: 8965240 markings, 10081397 edges, 30523 markings/sec, 320 secs
lola: 9116531 markings, 10251753 edges, 30258 markings/sec, 325 secs
lola: 9266969 markings, 10421932 edges, 30088 markings/sec, 330 secs
lola: 9417904 markings, 10591884 edges, 30187 markings/sec, 335 secs
lola: 9569798 markings, 10763233 edges, 30379 markings/sec, 340 secs
lola: 9721997 markings, 10934776 edges, 30440 markings/sec, 345 secs
lola: 9872834 markings, 11104976 edges, 30167 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 879852 KB
lola: time consumption: 366 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 7 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p733)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p733)
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: 22 markings, 21 edges
lola: ========================================
lola: subprocess 8 will run for 400 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p215)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p215)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 149393 markings, 167211 edges, 29879 markings/sec, 30 secs
lola: 298120 markings, 334379 edges, 29745 markings/sec, 35 secs
lola: 446546 markings, 501175 edges, 29685 markings/sec, 40 secs
lola: 594578 markings, 667501 edges, 29606 markings/sec, 45 secs
lola: 743085 markings, 834707 edges, 29701 markings/sec, 50 secs
lola: 891871 markings, 1002431 edges, 29757 markings/sec, 55 secs
lola: 1039342 markings, 1168799 edges, 29494 markings/sec, 60 secs
lola: 1187367 markings, 1335849 edges, 29605 markings/sec, 65 secs
lola: 1334481 markings, 1501806 edges, 29423 markings/sec, 70 secs
lola: 1483343 markings, 1669931 edges, 29772 markings/sec, 75 secs
lola: 1631569 markings, 1837041 edges, 29645 markings/sec, 80 secs
lola: 1779191 markings, 2003715 edges, 29524 markings/sec, 85 secs
lola: 1926990 markings, 2170354 edges, 29560 markings/sec, 90 secs
lola: 2074331 markings, 2336906 edges, 29468 markings/sec, 95 secs
lola: 2222651 markings, 2504061 edges, 29664 markings/sec, 100 secs
lola: 2370310 markings, 2670839 edges, 29532 markings/sec, 105 secs
lola: 2517382 markings, 2837271 edges, 29414 markings/sec, 110 secs
lola: 2664514 markings, 3004168 edges, 29426 markings/sec, 115 secs
lola: 2811809 markings, 3170897 edges, 29459 markings/sec, 120 secs
lola: 2959091 markings, 3337351 edges, 29456 markings/sec, 125 secs
lola: 3106483 markings, 3504343 edges, 29478 markings/sec, 130 secs
lola: 3252828 markings, 3669555 edges, 29269 markings/sec, 135 secs
lola: 3400060 markings, 3836315 edges, 29446 markings/sec, 140 secs
lola: 3547550 markings, 4002884 edges, 29498 markings/sec, 145 secs
lola: 3694611 markings, 4169453 edges, 29412 markings/sec, 150 secs
lola: 3841376 markings, 4335431 edges, 29353 markings/sec, 155 secs
lola: 3988306 markings, 4501729 edges, 29386 markings/sec, 160 secs
lola: 4135031 markings, 4667580 edges, 29345 markings/sec, 165 secs
lola: 4281312 markings, 4833222 edges, 29256 markings/sec, 170 secs
lola: 4428043 markings, 4999159 edges, 29346 markings/sec, 175 secs
lola: 4574604 markings, 5164735 edges, 29312 markings/sec, 180 secs
lola: 4721147 markings, 5330782 edges, 29309 markings/sec, 185 secs
lola: 4871548 markings, 5499703 edges, 30080 markings/sec, 190 secs
lola: 5020402 markings, 5667038 edges, 29771 markings/sec, 195 secs
lola: 5169479 markings, 5834923 edges, 29815 markings/sec, 200 secs
lola: 5318456 markings, 6002869 edges, 29795 markings/sec, 205 secs
lola: 5466965 markings, 6170117 edges, 29702 markings/sec, 210 secs
lola: 5614782 markings, 6336743 edges, 29563 markings/sec, 215 secs
lola: 5763039 markings, 6503713 edges, 29651 markings/sec, 220 secs
lola: 5909156 markings, 6668274 edges, 29223 markings/sec, 225 secs
lola: 6055524 markings, 6833280 edges, 29274 markings/sec, 230 secs
lola: 6203786 markings, 7000527 edges, 29652 markings/sec, 235 secs
lola: 6351864 markings, 7167825 edges, 29616 markings/sec, 240 secs
lola: 6500005 markings, 7335486 edges, 29628 markings/sec, 245 secs
lola: 6648395 markings, 7503453 edges, 29678 markings/sec, 250 secs
lola: 6796167 markings, 7670867 edges, 29554 markings/sec, 255 secs
lola: 6943704 markings, 7837890 edges, 29507 markings/sec, 260 secs
lola: 7091313 markings, 8005044 edges, 29522 markings/sec, 265 secs
lola: 7237861 markings, 8171011 edges, 29310 markings/sec, 270 secs
lola: 7384986 markings, 8337373 edges, 29425 markings/sec, 275 secs
lola: 7533832 markings, 8505377 edges, 29769 markings/sec, 280 secs
lola: 7682297 markings, 8673002 edges, 29693 markings/sec, 285 secs
lola: 7830534 markings, 8841012 edges, 29647 markings/sec, 290 secs
lola: 7978164 markings, 9008082 edges, 29526 markings/sec, 295 secs
lola: 8125016 markings, 9174265 edges, 29370 markings/sec, 300 secs
lola: 8273221 markings, 9342235 edges, 29641 markings/sec, 305 secs
lola: 8421166 markings, 9509664 edges, 29589 markings/sec, 310 secs
lola: 8568366 markings, 9676276 edges, 29440 markings/sec, 315 secs
lola: 8714733 markings, 9841929 edges, 29273 markings/sec, 320 secs
lola: 8860543 markings, 10007617 edges, 29162 markings/sec, 325 secs
lola: 9007197 markings, 10173716 edges, 29331 markings/sec, 330 secs
lola: 9154354 markings, 10340010 edges, 29431 markings/sec, 335 secs
lola: 9301304 markings, 10506573 edges, 29390 markings/sec, 340 secs
lola: 9448841 markings, 10673078 edges, 29507 markings/sec, 345 secs
lola: 9595789 markings, 10839525 edges, 29390 markings/sec, 350 secs
lola: 9744808 markings, 11007718 edges, 29804 markings/sec, 355 secs
lola: 9892890 markings, 11174875 edges, 29616 markings/sec, 360 secs
lola: 10040651 markings, 11341525 edges, 29552 markings/sec, 365 secs
lola: 10187755 markings, 11507569 edges, 29421 markings/sec, 370 secs
lola: 10335571 markings, 11674673 edges, 29563 markings/sec, 375 secs
lola: 10484259 markings, 11842827 edges, 29738 markings/sec, 380 secs
lola: 10631501 markings, 12009622 edges, 29448 markings/sec, 385 secs
lola: 10779121 markings, 12176895 edges, 29524 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 964192 KB
lola: time consumption: 767 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 9 will run for 400 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1580)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1580)
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: 19 markings, 18 edges
lola: ========================================
lola: subprocess 10 will run for 467 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1355)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1355)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 197433 markings, 222268 edges, 39487 markings/sec, 30 secs
lola: 395712 markings, 445693 edges, 39656 markings/sec, 35 secs
lola: 593250 markings, 668499 edges, 39508 markings/sec, 40 secs
lola: 790923 markings, 891596 edges, 39535 markings/sec, 45 secs
lola: 988898 markings, 1115154 edges, 39595 markings/sec, 50 secs
lola: 1186981 markings, 1338403 edges, 39617 markings/sec, 55 secs
lola: 1385042 markings, 1561792 edges, 39612 markings/sec, 60 secs
lola: 1582617 markings, 1784692 edges, 39515 markings/sec, 65 secs
lola: 1780947 markings, 2008196 edges, 39666 markings/sec, 70 secs
lola: 1978761 markings, 2230876 edges, 39563 markings/sec, 75 secs
lola: 2177029 markings, 2452358 edges, 39654 markings/sec, 80 secs
lola: 2375947 markings, 2674823 edges, 39784 markings/sec, 85 secs
lola: 2571042 markings, 2896260 edges, 39019 markings/sec, 90 secs
lola: 2766151 markings, 3118282 edges, 39022 markings/sec, 95 secs
lola: 2962834 markings, 3341456 edges, 39337 markings/sec, 100 secs
lola: 3160371 markings, 3564124 edges, 39507 markings/sec, 105 secs
lola: 3358257 markings, 3785327 edges, 39577 markings/sec, 110 secs
lola: 3553788 markings, 4008331 edges, 39106 markings/sec, 115 secs
lola: 3752796 markings, 4231145 edges, 39802 markings/sec, 120 secs
lola: 3951099 markings, 4452690 edges, 39661 markings/sec, 125 secs
lola: 4147873 markings, 4674705 edges, 39355 markings/sec, 130 secs
lola: 4344599 markings, 4898010 edges, 39345 markings/sec, 135 secs
lola: 4540301 markings, 5120788 edges, 39140 markings/sec, 140 secs
lola: 4736548 markings, 5342652 edges, 39249 markings/sec, 145 secs
lola: 4934897 markings, 5564972 edges, 39670 markings/sec, 150 secs
lola: 5133074 markings, 5786496 edges, 39635 markings/sec, 155 secs
lola: 5329679 markings, 6008082 edges, 39321 markings/sec, 160 secs
lola: 5525967 markings, 6230927 edges, 39258 markings/sec, 165 secs
lola: 5724996 markings, 6453092 edges, 39806 markings/sec, 170 secs
lola: 5920655 markings, 6675702 edges, 39132 markings/sec, 175 secs
lola: 6116062 markings, 6898008 edges, 39081 markings/sec, 180 secs
lola: 6312729 markings, 7120796 edges, 39333 markings/sec, 185 secs
lola: 6508795 markings, 7341626 edges, 39213 markings/sec, 190 secs
lola: 6705651 markings, 7561827 edges, 39371 markings/sec, 195 secs
lola: 6903517 markings, 7783302 edges, 39573 markings/sec, 200 secs
lola: 7099338 markings, 8005081 edges, 39164 markings/sec, 205 secs
lola: 7293950 markings, 8226497 edges, 38922 markings/sec, 210 secs
lola: 7489409 markings, 8448637 edges, 39092 markings/sec, 215 secs
lola: 7685909 markings, 8670456 edges, 39300 markings/sec, 220 secs
lola: 7882538 markings, 8892187 edges, 39326 markings/sec, 225 secs
lola: 8079651 markings, 9114452 edges, 39423 markings/sec, 230 secs
lola: 8277460 markings, 9335690 edges, 39562 markings/sec, 235 secs
lola: 8474777 markings, 9556325 edges, 39463 markings/sec, 240 secs
lola: 8670896 markings, 9777790 edges, 39224 markings/sec, 245 secs
lola: 8866670 markings, 10000647 edges, 39155 markings/sec, 250 secs
lola: 9061704 markings, 10222670 edges, 39007 markings/sec, 255 secs
lola: 9257906 markings, 10444427 edges, 39240 markings/sec, 260 secs
lola: 9456007 markings, 10666465 edges, 39620 markings/sec, 265 secs
lola: 9653496 markings, 10887378 edges, 39498 markings/sec, 270 secs
lola: 9849694 markings, 11108527 edges, 39240 markings/sec, 275 secs
lola: 10046286 markings, 11331676 edges, 39318 markings/sec, 280 secs
lola: 10244491 markings, 11553230 edges, 39641 markings/sec, 285 secs
lola: 10439791 markings, 11775299 edges, 39060 markings/sec, 290 secs
lola: 10635887 markings, 11997933 edges, 39219 markings/sec, 295 secs
lola: 10831579 markings, 12220491 edges, 39138 markings/sec, 300 secs
lola: 11027588 markings, 12441578 edges, 39202 markings/sec, 305 secs
lola: 11224818 markings, 12662675 edges, 39446 markings/sec, 310 secs
lola: 11422425 markings, 12883589 edges, 39521 markings/sec, 315 secs
lola: 11618038 markings, 13104831 edges, 39123 markings/sec, 320 secs
lola: 11812893 markings, 13326668 edges, 38971 markings/sec, 325 secs
lola: 12012068 markings, 13548466 edges, 39835 markings/sec, 330 secs
lola: 12207411 markings, 13770806 edges, 39069 markings/sec, 335 secs
lola: 12401606 markings, 13991683 edges, 38839 markings/sec, 340 secs
lola: 12597196 markings, 14213389 edges, 39118 markings/sec, 345 secs
lola: 12793618 markings, 14434906 edges, 39284 markings/sec, 350 secs
lola: 12990005 markings, 14654741 edges, 39277 markings/sec, 355 secs
lola: 13186337 markings, 14874903 edges, 39266 markings/sec, 360 secs
lola: 13382439 markings, 15096174 edges, 39220 markings/sec, 365 secs
lola: 13576565 markings, 15317079 edges, 38825 markings/sec, 370 secs
lola: 13770615 markings, 15537902 edges, 38810 markings/sec, 375 secs
lola: 13966964 markings, 15759776 edges, 39270 markings/sec, 380 secs
lola: 14163644 markings, 15981626 edges, 39336 markings/sec, 385 secs
lola: 14360205 markings, 16203526 edges, 39312 markings/sec, 390 secs
lola: 14558070 markings, 16425293 edges, 39573 markings/sec, 395 secs
lola: 14755468 markings, 16646009 edges, 39480 markings/sec, 400 secs
lola: 14951935 markings, 16867157 edges, 39293 markings/sec, 405 secs
lola: 15148324 markings, 17090128 edges, 39278 markings/sec, 410 secs
lola: 15343651 markings, 17312510 edges, 39065 markings/sec, 415 secs
lola: 15539132 markings, 17533993 edges, 39096 markings/sec, 420 secs
lola: 15736623 markings, 17756016 edges, 39498 markings/sec, 425 secs
lola: 15934550 markings, 17977383 edges, 39585 markings/sec, 430 secs
lola: 16131522 markings, 18198229 edges, 39394 markings/sec, 435 secs
lola: 16326568 markings, 18421098 edges, 39009 markings/sec, 440 secs
lola: 16525281 markings, 18643005 edges, 39743 markings/sec, 445 secs
lola: 16721465 markings, 18864843 edges, 39237 markings/sec, 450 secs
lola: 16916448 markings, 19086722 edges, 38997 markings/sec, 455 secs
lola: 17112757 markings, 19309627 edges, 39262 markings/sec, 460 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1449724 KB
lola: time consumption: 1234 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 467 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1519)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1519)
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: 31 markings, 30 edges
lola: ========================================
lola: subprocess 12 will run for 583 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1833)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1833)
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: 54 markings, 53 edges
lola: ========================================
lola: subprocess 13 will run for 778 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1572)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1572)
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: 20 markings, 19 edges
lola: ========================================
lola: subprocess 14 will run for 1167 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1747)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1747)
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: 116 markings, 115 edges
lola: ========================================
lola: subprocess 15 will run for 2334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p122)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 137717 markings, 154518 edges, 27543 markings/sec, 30 secs
lola: 287304 markings, 323412 edges, 29917 markings/sec, 35 secs
lola: 436968 markings, 492322 edges, 29933 markings/sec, 40 secs
lola: 587181 markings, 661604 edges, 30043 markings/sec, 45 secs
lola: 738382 markings, 832155 edges, 30240 markings/sec, 50 secs
lola: 889764 markings, 1002876 edges, 30276 markings/sec, 55 secs
lola: 1040578 markings, 1173000 edges, 30163 markings/sec, 60 secs
lola: 1190524 markings, 1342031 edges, 29989 markings/sec, 65 secs
lola: 1340584 markings, 1511359 edges, 30012 markings/sec, 70 secs
lola: 1491864 markings, 1681969 edges, 30256 markings/sec, 75 secs
lola: 1640629 markings, 1849765 edges, 29753 markings/sec, 80 secs
lola: 1789479 markings, 2017612 edges, 29770 markings/sec, 85 secs
lola: 1940502 markings, 2187939 edges, 30205 markings/sec, 90 secs
lola: 2090023 markings, 2359195 edges, 29904 markings/sec, 95 secs
lola: 2239969 markings, 2529350 edges, 29989 markings/sec, 100 secs
lola: 2391395 markings, 2699867 edges, 30285 markings/sec, 105 secs
lola: 2542503 markings, 2870287 edges, 30222 markings/sec, 110 secs
lola: 2693294 markings, 3040370 edges, 30158 markings/sec, 115 secs
lola: 2843483 markings, 3209759 edges, 30038 markings/sec, 120 secs
lola: 2993005 markings, 3378233 edges, 29904 markings/sec, 125 secs
lola: 3141971 markings, 3546423 edges, 29793 markings/sec, 130 secs
lola: 3292546 markings, 3716266 edges, 30115 markings/sec, 135 secs
lola: 3441953 markings, 3884773 edges, 29881 markings/sec, 140 secs
lola: 3589945 markings, 4051718 edges, 29598 markings/sec, 145 secs
lola: 3741086 markings, 4222015 edges, 30228 markings/sec, 150 secs
lola: 3890781 markings, 4392495 edges, 29939 markings/sec, 155 secs
lola: 4039357 markings, 4562218 edges, 29715 markings/sec, 160 secs
lola: 4190766 markings, 4732632 edges, 30282 markings/sec, 165 secs
lola: 4341843 markings, 4903024 edges, 30215 markings/sec, 170 secs
lola: 4492612 markings, 5073096 edges, 30154 markings/sec, 175 secs
lola: 4642934 markings, 5242618 edges, 30064 markings/sec, 180 secs
lola: 4792705 markings, 5411379 edges, 29954 markings/sec, 185 secs
lola: 4941574 markings, 5579335 edges, 29774 markings/sec, 190 secs
lola: 5091337 markings, 5748285 edges, 29953 markings/sec, 195 secs
lola: 5240958 markings, 5917140 edges, 29924 markings/sec, 200 secs
lola: 5388572 markings, 6083537 edges, 29523 markings/sec, 205 secs
lola: 5538464 markings, 6252569 edges, 29978 markings/sec, 210 secs
lola: 5689200 markings, 6423311 edges, 30147 markings/sec, 215 secs
lola: 5837947 markings, 6594167 edges, 29749 markings/sec, 220 secs
lola: 5988677 markings, 6763257 edges, 30146 markings/sec, 225 secs
lola: 6137576 markings, 6930635 edges, 29780 markings/sec, 230 secs
lola: 6286627 markings, 7098121 edges, 29810 markings/sec, 235 secs
lola: 6435157 markings, 7264994 edges, 29706 markings/sec, 240 secs
lola: 6584109 markings, 7432401 edges, 29790 markings/sec, 245 secs
lola: 6732293 markings, 7598889 edges, 29637 markings/sec, 250 secs
lola: 6881182 markings, 7766294 edges, 29778 markings/sec, 255 secs
lola: 7029448 markings, 7932881 edges, 29653 markings/sec, 260 secs
lola: 7179246 markings, 8101500 edges, 29960 markings/sec, 265 secs
lola: 7330208 markings, 8271133 edges, 30192 markings/sec, 270 secs
lola: 7480537 markings, 8440103 edges, 30066 markings/sec, 275 secs
lola: 7630872 markings, 8609034 edges, 30067 markings/sec, 280 secs
lola: 7780827 markings, 8777529 edges, 29991 markings/sec, 285 secs
lola: 7931807 markings, 8947088 edges, 30196 markings/sec, 290 secs
lola: 8080614 markings, 9114218 edges, 29761 markings/sec, 295 secs
lola: 8229017 markings, 9281070 edges, 29681 markings/sec, 300 secs
lola: 8377964 markings, 9448350 edges, 29789 markings/sec, 305 secs
lola: 8526589 markings, 9615422 edges, 29725 markings/sec, 310 secs
lola: 8675078 markings, 9782265 edges, 29698 markings/sec, 315 secs
lola: 8825493 markings, 9946563 edges, 30083 markings/sec, 320 secs
lola: 8982697 markings, 10103834 edges, 31441 markings/sec, 325 secs
lola: 9132560 markings, 10268252 edges, 29973 markings/sec, 330 secs
lola: 9272287 markings, 10442500 edges, 27945 markings/sec, 335 secs
lola: 9415323 markings, 10614114 edges, 28607 markings/sec, 340 secs
lola: 9563542 markings, 10780647 edges, 29644 markings/sec, 345 secs
lola: 9712095 markings, 10947811 edges, 29711 markings/sec, 350 secs
lola: 9862753 markings, 11117337 edges, 30132 markings/sec, 355 secs
lola: 10013538 markings, 11286565 edges, 30157 markings/sec, 360 secs
lola: 10161878 markings, 11453308 edges, 29668 markings/sec, 365 secs
lola: 10310483 markings, 11620269 edges, 29721 markings/sec, 370 secs
lola: 10458401 markings, 11786469 edges, 29584 markings/sec, 375 secs
lola: 10606971 markings, 11953631 edges, 29714 markings/sec, 380 secs
lola: 10757649 markings, 12123159 edges, 30136 markings/sec, 385 secs
lola: 10908202 markings, 12292250 edges, 30111 markings/sec, 390 secs
lola: 11058469 markings, 12461181 edges, 30053 markings/sec, 395 secs
lola: 11208585 markings, 12629845 edges, 30023 markings/sec, 400 secs
lola: 11358895 markings, 12798773 edges, 30062 markings/sec, 405 secs
lola: 11509907 markings, 12968441 edges, 30202 markings/sec, 410 secs
lola: 11663308 markings, 13135244 edges, 30680 markings/sec, 415 secs
lola: 11822213 markings, 13294208 edges, 31781 markings/sec, 420 secs
lola: 11976697 markings, 13458258 edges, 30897 markings/sec, 425 secs
lola: 12118074 markings, 13634574 edges, 28275 markings/sec, 430 secs
lola: 12259383 markings, 13810838 edges, 28262 markings/sec, 435 secs
lola: 12409293 markings, 13979799 edges, 29982 markings/sec, 440 secs
lola: 12557196 markings, 14146753 edges, 29581 markings/sec, 445 secs
lola: 12705191 markings, 14313740 edges, 29599 markings/sec, 450 secs
lola: 12852841 markings, 14480322 edges, 29530 markings/sec, 455 secs
lola: 13000913 markings, 14647420 edges, 29614 markings/sec, 460 secs
lola: 13148211 markings, 14813586 edges, 29460 markings/sec, 465 secs
lola: 13296130 markings, 14980519 edges, 29584 markings/sec, 470 secs
lola: 13443592 markings, 15146885 edges, 29492 markings/sec, 475 secs
lola: 13592683 markings, 15315502 edges, 29818 markings/sec, 480 secs
lola: 13742785 markings, 15484922 edges, 30020 markings/sec, 485 secs
lola: 13892289 markings, 15653679 edges, 29901 markings/sec, 490 secs
lola: 14041877 markings, 15822365 edges, 29918 markings/sec, 495 secs
lola: 14191090 markings, 15990783 edges, 29843 markings/sec, 500 secs
lola: 14341183 markings, 16160063 edges, 30019 markings/sec, 505 secs
lola: 14489533 markings, 16327341 edges, 29670 markings/sec, 510 secs
lola: 14637040 markings, 16493913 edges, 29501 markings/sec, 515 secs
lola: 14785487 markings, 16661278 edges, 29689 markings/sec, 520 secs
lola: 14933117 markings, 16827935 edges, 29526 markings/sec, 525 secs
lola: 15081280 markings, 16994986 edges, 29633 markings/sec, 530 secs
lola: 15229632 markings, 17160710 edges, 29670 markings/sec, 535 secs
lola: 15386231 markings, 17318080 edges, 31320 markings/sec, 540 secs
lola: 15529847 markings, 17469269 edges, 28723 markings/sec, 545 secs
lola: 15668591 markings, 17642932 edges, 27749 markings/sec, 550 secs
lola: 15808280 markings, 17815454 edges, 27938 markings/sec, 555 secs
lola: 15955725 markings, 17981696 edges, 29489 markings/sec, 560 secs
lola: 16102505 markings, 18147510 edges, 29356 markings/sec, 565 secs
lola: 16252233 markings, 18316620 edges, 29946 markings/sec, 570 secs
lola: 16402202 markings, 18485906 edges, 29994 markings/sec, 575 secs
lola: 16549682 markings, 18652193 edges, 29496 markings/sec, 580 secs
lola: 16696875 markings, 18818445 edges, 29439 markings/sec, 585 secs
lola: 16844231 markings, 18984590 edges, 29471 markings/sec, 590 secs
lola: 16990866 markings, 19150216 edges, 29327 markings/sec, 595 secs
lola: 17140335 markings, 19319199 edges, 29894 markings/sec, 600 secs
lola: 17290019 markings, 19488111 edges, 29937 markings/sec, 605 secs
lola: 17439029 markings, 19656209 edges, 29802 markings/sec, 610 secs
lola: 17588353 markings, 19824686 edges, 29865 markings/sec, 615 secs
lola: 17737150 markings, 19992537 edges, 29759 markings/sec, 620 secs
lola: 17887202 markings, 20161993 edges, 30010 markings/sec, 625 secs
lola: 18036746 markings, 20330998 edges, 29909 markings/sec, 630 secs
lola: 18194381 markings, 20490331 edges, 31527 markings/sec, 635 secs
lola: 18352036 markings, 20648797 edges, 31531 markings/sec, 640 secs
lola: 18494478 markings, 20823551 edges, 28488 markings/sec, 645 secs
lola: 18634791 markings, 20999189 edges, 28063 markings/sec, 650 secs
lola: 18781431 markings, 21171157 edges, 29328 markings/sec, 655 secs
lola: 18929024 markings, 21337571 edges, 29519 markings/sec, 660 secs
lola: 19076339 markings, 21503898 edges, 29463 markings/sec, 665 secs
lola: 19223687 markings, 21670129 edges, 29470 markings/sec, 670 secs
lola: 19370552 markings, 21835869 edges, 29373 markings/sec, 675 secs
lola: 19517592 markings, 22001754 edges, 29408 markings/sec, 680 secs
lola: 19664737 markings, 22167793 edges, 29429 markings/sec, 685 secs
lola: 19811949 markings, 22333876 edges, 29442 markings/sec, 690 secs
lola: 19959503 markings, 22500578 edges, 29511 markings/sec, 695 secs
lola: 20108940 markings, 22669542 edges, 29887 markings/sec, 700 secs
lola: 20258425 markings, 22838079 edges, 29897 markings/sec, 705 secs
lola: 20407267 markings, 23006110 edges, 29768 markings/sec, 710 secs
lola: 20556322 markings, 23174171 edges, 29811 markings/sec, 715 secs
lola: 20705193 markings, 23342287 edges, 29774 markings/sec, 720 secs
lola: 20854026 markings, 23509988 edges, 29767 markings/sec, 725 secs
lola: 21000732 markings, 23675491 edges, 29341 markings/sec, 730 secs
lola: 21147951 markings, 23841541 edges, 29444 markings/sec, 735 secs
lola: 21294900 markings, 24007419 edges, 29390 markings/sec, 740 secs
lola: 21441960 markings, 24173347 edges, 29412 markings/sec, 745 secs
lola: 21588631 markings, 24338811 edges, 29334 markings/sec, 750 secs
lola: 21740958 markings, 24498737 edges, 30465 markings/sec, 755 secs
lola: 21896440 markings, 24654993 edges, 31096 markings/sec, 760 secs
lola: 22038543 markings, 24824521 edges, 28421 markings/sec, 765 secs
lola: 22176724 markings, 24997501 edges, 27636 markings/sec, 770 secs
lola: 22321293 markings, 25165573 edges, 28914 markings/sec, 775 secs
lola: 22467773 markings, 25330824 edges, 29296 markings/sec, 780 secs
lola: 22615810 markings, 25498172 edges, 29607 markings/sec, 785 secs
lola: 22765142 markings, 25666946 edges, 29866 markings/sec, 790 secs
lola: 22913507 markings, 25834098 edges, 29673 markings/sec, 795 secs
lola: 23059947 markings, 25999303 edges, 29288 markings/sec, 800 secs
lola: 23207288 markings, 26165616 edges, 29468 markings/sec, 805 secs
lola: 23353980 markings, 26331106 edges, 29338 markings/sec, 810 secs
lola: 23502298 markings, 26498822 edges, 29664 markings/sec, 815 secs
lola: 23651926 markings, 26667737 edges, 29926 markings/sec, 820 secs
lola: 23801058 markings, 26836088 edges, 29826 markings/sec, 825 secs
lola: 23950234 markings, 27004310 edges, 29835 markings/sec, 830 secs
lola: 24099213 markings, 27172464 edges, 29796 markings/sec, 835 secs
lola: 24248793 markings, 27341174 edges, 29916 markings/sec, 840 secs
lola: 24398498 markings, 27510134 edges, 29941 markings/sec, 845 secs
lola: 24551903 markings, 27673800 edges, 30681 markings/sec, 850 secs
lola: 24709158 markings, 27831828 edges, 31451 markings/sec, 855 secs
lola: 24858915 markings, 27998221 edges, 29951 markings/sec, 860 secs
lola: 24998965 markings, 28173521 edges, 28010 markings/sec, 865 secs
lola: 25140743 markings, 28347976 edges, 28356 markings/sec, 870 secs
lola: 25288618 markings, 28514487 edges, 29575 markings/sec, 875 secs
lola: 25435903 markings, 28680555 edges, 29457 markings/sec, 880 secs
lola: 25583857 markings, 28847693 edges, 29591 markings/sec, 885 secs
lola: 25733161 markings, 29015974 edges, 29861 markings/sec, 890 secs
lola: 25881176 markings, 29182695 edges, 29603 markings/sec, 895 secs
lola: 26028134 markings, 29348937 edges, 29392 markings/sec, 900 secs
lola: 26174373 markings, 29514602 edges, 29248 markings/sec, 905 secs
lola: 26320404 markings, 29679952 edges, 29206 markings/sec, 910 secs
lola: 26467009 markings, 29846744 edges, 29321 markings/sec, 915 secs
lola: 26615329 markings, 30014562 edges, 29664 markings/sec, 920 secs
lola: 26762398 markings, 30181096 edges, 29414 markings/sec, 925 secs
lola: 26908885 markings, 30347761 edges, 29297 markings/sec, 930 secs
lola: 27054997 markings, 30513187 edges, 29222 markings/sec, 935 secs
lola: 27200053 markings, 30677446 edges, 29011 markings/sec, 940 secs
lola: 27345800 markings, 30843265 edges, 29149 markings/sec, 945 secs
lola: 27493147 markings, 31010008 edges, 29469 markings/sec, 950 secs
lola: 27640683 markings, 31177056 edges, 29507 markings/sec, 955 secs
lola: 27788200 markings, 31344705 edges, 29503 markings/sec, 960 secs
lola: 27936343 markings, 31511518 edges, 29629 markings/sec, 965 secs
lola: 28085951 markings, 31680336 edges, 29922 markings/sec, 970 secs
lola: 28235160 markings, 31848357 edges, 29842 markings/sec, 975 secs
lola: 28382836 markings, 32015532 edges, 29535 markings/sec, 980 secs
lola: 28530408 markings, 32182968 edges, 29514 markings/sec, 985 secs
lola: 28679369 markings, 32351732 edges, 29792 markings/sec, 990 secs
lola: 28827067 markings, 32519451 edges, 29540 markings/sec, 995 secs
lola: 28974721 markings, 32686498 edges, 29531 markings/sec, 1000 secs
lola: 29122880 markings, 32854580 edges, 29632 markings/sec, 1005 secs
lola: 29271820 markings, 33023167 edges, 29788 markings/sec, 1010 secs
lola: 29419534 markings, 33190555 edges, 29543 markings/sec, 1015 secs
lola: 29567453 markings, 33357120 edges, 29584 markings/sec, 1020 secs
lola: 29717228 markings, 33526131 edges, 29955 markings/sec, 1025 secs
lola: 29866556 markings, 33694347 edges, 29866 markings/sec, 1030 secs
lola: 30014518 markings, 33861778 edges, 29592 markings/sec, 1035 secs
lola: 30162199 markings, 34029358 edges, 29536 markings/sec, 1040 secs
lola: 30311364 markings, 34198330 edges, 29833 markings/sec, 1045 secs
lola: 30459343 markings, 34366365 edges, 29596 markings/sec, 1050 secs
lola: 30606872 markings, 34533272 edges, 29506 markings/sec, 1055 secs
lola: 30754855 markings, 34701183 edges, 29597 markings/sec, 1060 secs
lola: 30903700 markings, 34869660 edges, 29769 markings/sec, 1065 secs
lola: 31051191 markings, 35036764 edges, 29498 markings/sec, 1070 secs
lola: 31198467 markings, 35202615 edges, 29455 markings/sec, 1075 secs
lola: 31347542 markings, 35370831 edges, 29815 markings/sec, 1080 secs
lola: 31496064 markings, 35538152 edges, 29704 markings/sec, 1085 secs
lola: 31643291 markings, 35704742 edges, 29445 markings/sec, 1090 secs
lola: 31790461 markings, 35871756 edges, 29434 markings/sec, 1095 secs
lola: 31938965 markings, 36039993 edges, 29701 markings/sec, 1100 secs
lola: 32086239 markings, 36207233 edges, 29455 markings/sec, 1105 secs
lola: 32233659 markings, 36374028 edges, 29484 markings/sec, 1110 secs
lola: 32381455 markings, 36541709 edges, 29559 markings/sec, 1115 secs
lola: 32530089 markings, 36709954 edges, 29727 markings/sec, 1120 secs
lola: 32677479 markings, 36876949 edges, 29478 markings/sec, 1125 secs
lola: 32824533 markings, 37042557 edges, 29411 markings/sec, 1130 secs
lola: 32973423 markings, 37210569 edges, 29778 markings/sec, 1135 secs
lola: 33121820 markings, 37377743 edges, 29679 markings/sec, 1140 secs
lola: 33268978 markings, 37544260 edges, 29432 markings/sec, 1145 secs
lola: 33415967 markings, 37711072 edges, 29398 markings/sec, 1150 secs
lola: 33564470 markings, 37879275 edges, 29701 markings/sec, 1155 secs
lola: 33711554 markings, 38046329 edges, 29417 markings/sec, 1160 secs
lola: 33858694 markings, 38212786 edges, 29428 markings/sec, 1165 secs
lola: 34006207 markings, 38380159 edges, 29503 markings/sec, 1170 secs
lola: 34154630 markings, 38548165 edges, 29685 markings/sec, 1175 secs
lola: 34301682 markings, 38714800 edges, 29410 markings/sec, 1180 secs
lola: 34448428 markings, 38880063 edges, 29349 markings/sec, 1185 secs
lola: 34596854 markings, 39047539 edges, 29685 markings/sec, 1190 secs
lola: 34745035 markings, 39214407 edges, 29636 markings/sec, 1195 secs
lola: 34891814 markings, 39380553 edges, 29356 markings/sec, 1200 secs
lola: 35038305 markings, 39546790 edges, 29298 markings/sec, 1205 secs
lola: 35186413 markings, 39714581 edges, 29622 markings/sec, 1210 secs
lola: 35333215 markings, 39880979 edges, 29360 markings/sec, 1215 secs
lola: 35480020 markings, 40047298 edges, 29361 markings/sec, 1220 secs
lola: 35627044 markings, 40214209 edges, 29405 markings/sec, 1225 secs
lola: 35775161 markings, 40381854 edges, 29623 markings/sec, 1230 secs
lola: 35922093 markings, 40548333 edges, 29386 markings/sec, 1235 secs
lola: 36069095 markings, 40713931 edges, 29400 markings/sec, 1240 secs
lola: 36217376 markings, 40881274 edges, 29656 markings/sec, 1245 secs
lola: 36365772 markings, 41048353 edges, 29679 markings/sec, 1250 secs
lola: 36512640 markings, 41214589 edges, 29374 markings/sec, 1255 secs
lola: 36659108 markings, 41380800 edges, 29294 markings/sec, 1260 secs
lola: 36807393 markings, 41548604 edges, 29657 markings/sec, 1265 secs
lola: 36954466 markings, 41715161 edges, 29415 markings/sec, 1270 secs
lola: 37099090 markings, 41879259 edges, 28925 markings/sec, 1275 secs
lola: 37244020 markings, 42043709 edges, 28986 markings/sec, 1280 secs
lola: 37390058 markings, 42209255 edges, 29208 markings/sec, 1285 secs
lola: 37535854 markings, 42374311 edges, 29159 markings/sec, 1290 secs
lola: 37683914 markings, 42540626 edges, 29612 markings/sec, 1295 secs
lola: 37831716 markings, 42706751 edges, 29560 markings/sec, 1300 secs
lola: 37979339 markings, 42872619 edges, 29525 markings/sec, 1305 secs
lola: 38127037 markings, 43038762 edges, 29540 markings/sec, 1310 secs
lola: 38274619 markings, 43204954 edges, 29516 markings/sec, 1315 secs
lola: 38422483 markings, 43371512 edges, 29573 markings/sec, 1320 secs
lola: 38570115 markings, 43537931 edges, 29526 markings/sec, 1325 secs
lola: 38717504 markings, 43703963 edges, 29478 markings/sec, 1330 secs
lola: 38864834 markings, 43869880 edges, 29466 markings/sec, 1335 secs
lola: 39011918 markings, 44035692 edges, 29417 markings/sec, 1340 secs
lola: 39158667 markings, 44200971 edges, 29350 markings/sec, 1345 secs
lola: 39305176 markings, 44365971 edges, 29302 markings/sec, 1350 secs
lola: 39453697 markings, 44533420 edges, 29704 markings/sec, 1355 secs
lola: 39600393 markings, 44698638 edges, 29339 markings/sec, 1360 secs
lola: 39746209 markings, 44862881 edges, 29163 markings/sec, 1365 secs
lola: 39892461 markings, 45027736 edges, 29250 markings/sec, 1370 secs
lola: 40038693 markings, 45192461 edges, 29246 markings/sec, 1375 secs
lola: 40185736 markings, 45358393 edges, 29409 markings/sec, 1380 secs
lola: 40333451 markings, 45524654 edges, 29543 markings/sec, 1385 secs
lola: 40480849 markings, 45690665 edges, 29480 markings/sec, 1390 secs
lola: 40629711 markings, 45858105 edges, 29772 markings/sec, 1395 secs
lola: 40779012 markings, 46025936 edges, 29860 markings/sec, 1400 secs
lola: 40928524 markings, 46193879 edges, 29902 markings/sec, 1405 secs
lola: 41077892 markings, 46361763 edges, 29874 markings/sec, 1410 secs
lola: 41226498 markings, 46528691 edges, 29721 markings/sec, 1415 secs
lola: 41375475 markings, 46696140 edges, 29795 markings/sec, 1420 secs
lola: 41529022 markings, 46858959 edges, 30709 markings/sec, 1425 secs
lola: 41686955 markings, 47016957 edges, 31587 markings/sec, 1430 secs
lola: 41833137 markings, 47186938 edges, 29236 markings/sec, 1435 secs
lola: 41973703 markings, 47362239 edges, 28113 markings/sec, 1440 secs
lola: 42119895 markings, 47532889 edges, 29238 markings/sec, 1445 secs
lola: 42269356 markings, 47701427 edges, 29892 markings/sec, 1450 secs
lola: 42418544 markings, 47869456 edges, 29838 markings/sec, 1455 secs
lola: 42567417 markings, 48037176 edges, 29775 markings/sec, 1460 secs
lola: 42716727 markings, 48205495 edges, 29862 markings/sec, 1465 secs
lola: 42864604 markings, 48372096 edges, 29575 markings/sec, 1470 secs
lola: 43011283 markings, 48537313 edges, 29336 markings/sec, 1475 secs
lola: 43159665 markings, 48704992 edges, 29676 markings/sec, 1480 secs
lola: 43308391 markings, 48872859 edges, 29745 markings/sec, 1485 secs
lola: 43457104 markings, 49040578 edges, 29743 markings/sec, 1490 secs
lola: 43605560 markings, 49208118 edges, 29691 markings/sec, 1495 secs
lola: 43754083 markings, 49376041 edges, 29705 markings/sec, 1500 secs
lola: 43902471 markings, 49544016 edges, 29678 markings/sec, 1505 secs
lola: 44050988 markings, 49712258 edges, 29703 markings/sec, 1510 secs
lola: 44199527 markings, 49880400 edges, 29708 markings/sec, 1515 secs
lola: 44347929 markings, 50048384 edges, 29680 markings/sec, 1520 secs
lola: 44495935 markings, 50216123 edges, 29601 markings/sec, 1525 secs
lola: 44643982 markings, 50383632 edges, 29609 markings/sec, 1530 secs
lola: 44791555 markings, 50550771 edges, 29515 markings/sec, 1535 secs
lola: 44939659 markings, 50718511 edges, 29621 markings/sec, 1540 secs
lola: 45089117 markings, 50887627 edges, 29892 markings/sec, 1545 secs
lola: 45235846 markings, 51053859 edges, 29346 markings/sec, 1550 secs
lola: 45382125 markings, 51219516 edges, 29256 markings/sec, 1555 secs
lola: 45528202 markings, 51384892 edges, 29215 markings/sec, 1560 secs
lola: 45673632 markings, 51549447 edges, 29086 markings/sec, 1565 secs
lola: 45820534 markings, 51716142 edges, 29380 markings/sec, 1570 secs
lola: 45967378 markings, 51882452 edges, 29369 markings/sec, 1575 secs
lola: 46114188 markings, 52048731 edges, 29362 markings/sec, 1580 secs
lola: 46263124 markings, 52216800 edges, 29787 markings/sec, 1585 secs
lola: 46412012 markings, 52384736 edges, 29778 markings/sec, 1590 secs
lola: 46561199 markings, 52553104 edges, 29837 markings/sec, 1595 secs
lola: 46710025 markings, 52721009 edges, 29765 markings/sec, 1600 secs
lola: 46859005 markings, 52889181 edges, 29796 markings/sec, 1605 secs
lola: 47007454 markings, 53056654 edges, 29690 markings/sec, 1610 secs
lola: 47163266 markings, 53216854 edges, 31162 markings/sec, 1615 secs
lola: 47320496 markings, 53374888 edges, 31446 markings/sec, 1620 secs
lola: 47460969 markings, 53550028 edges, 28095 markings/sec, 1625 secs
lola: 47600728 markings, 53724977 edges, 27952 markings/sec, 1630 secs
lola: 47748915 markings, 53893899 edges, 29637 markings/sec, 1635 secs
lola: 47897600 markings, 54062256 edges, 29737 markings/sec, 1640 secs
lola: 48045990 markings, 54230302 edges, 29678 markings/sec, 1645 secs
lola: 48194049 markings, 54398006 edges, 29612 markings/sec, 1650 secs
lola: 48343027 markings, 54566789 edges, 29796 markings/sec, 1655 secs
lola: 48489507 markings, 54732612 edges, 29296 markings/sec, 1660 secs
lola: 48635255 markings, 54897593 edges, 29150 markings/sec, 1665 secs
lola: 48784150 markings, 55066531 edges, 29779 markings/sec, 1670 secs
lola: 48932933 markings, 55234361 edges, 29757 markings/sec, 1675 secs
lola: 49081974 markings, 55402631 edges, 29808 markings/sec, 1680 secs
lola: 49230662 markings, 55570369 edges, 29738 markings/sec, 1685 secs
lola: 49379535 markings, 55738800 edges, 29775 markings/sec, 1690 secs
lola: 49528272 markings, 55907129 edges, 29747 markings/sec, 1695 secs
lola: 49676804 markings, 56075475 edges, 29706 markings/sec, 1700 secs
lola: 49825349 markings, 56243544 edges, 29709 markings/sec, 1705 secs
lola: 49973524 markings, 56411500 edges, 29635 markings/sec, 1710 secs
lola: 50121782 markings, 56579293 edges, 29652 markings/sec, 1715 secs
lola: 50269583 markings, 56746530 edges, 29560 markings/sec, 1720 secs
lola: 50417089 markings, 56913709 edges, 29501 markings/sec, 1725 secs
lola: 50565667 markings, 57081866 edges, 29716 markings/sec, 1730 secs
lola: 50714743 markings, 57250628 edges, 29815 markings/sec, 1735 secs
lola: 50861271 markings, 57416638 edges, 29306 markings/sec, 1740 secs
lola: 51001325 markings, 57575225 edges, 28011 markings/sec, 1745 secs
lola: 51143088 markings, 57735709 edges, 28353 markings/sec, 1750 secs
lola: 51288273 markings, 57900016 edges, 29037 markings/sec, 1755 secs
lola: 51435476 markings, 58067295 edges, 29441 markings/sec, 1760 secs
lola: 51582296 markings, 58233119 edges, 29364 markings/sec, 1765 secs
lola: 51729131 markings, 58399543 edges, 29367 markings/sec, 1770 secs
lola: 51878368 markings, 58567928 edges, 29847 markings/sec, 1775 secs
lola: 52026998 markings, 58735589 edges, 29726 markings/sec, 1780 secs
lola: 52176159 markings, 58903928 edges, 29832 markings/sec, 1785 secs
lola: 52324824 markings, 59071625 edges, 29733 markings/sec, 1790 secs
lola: 52473734 markings, 59239665 edges, 29782 markings/sec, 1795 secs
lola: 52622124 markings, 59407193 edges, 29678 markings/sec, 1800 secs
lola: 52779780 markings, 59565683 edges, 31531 markings/sec, 1805 secs
lola: 52934145 markings, 59726876 edges, 30873 markings/sec, 1810 secs
lola: 53074334 markings, 59902355 edges, 28038 markings/sec, 1815 secs
lola: 53215335 markings, 60076565 edges, 28200 markings/sec, 1820 secs
lola: 53364034 markings, 60244876 edges, 29740 markings/sec, 1825 secs
lola: 53512654 markings, 60413363 edges, 29724 markings/sec, 1830 secs
lola: 53660929 markings, 60581205 edges, 29655 markings/sec, 1835 secs
lola: 53808754 markings, 60748521 edges, 29565 markings/sec, 1840 secs
lola: 53957658 markings, 60917325 edges, 29781 markings/sec, 1845 secs
lola: 54104223 markings, 61083237 edges, 29313 markings/sec, 1850 secs
lola: 54250276 markings, 61248856 edges, 29211 markings/sec, 1855 secs
lola: 54396519 markings, 61414537 edges, 29249 markings/sec, 1860 secs
lola: 54542719 markings, 61579969 edges, 29240 markings/sec, 1865 secs
lola: 54690121 markings, 61746549 edges, 29480 markings/sec, 1870 secs
lola: 54836310 markings, 61912009 edges, 29238 markings/sec, 1875 secs
lola: 54981295 markings, 62076401 edges, 28997 markings/sec, 1880 secs
lola: 55127285 markings, 62242512 edges, 29198 markings/sec, 1885 secs
lola: 55273918 markings, 62408911 edges, 29327 markings/sec, 1890 secs
lola: 55418924 markings, 62574035 edges, 29001 markings/sec, 1895 secs
lola: 55563500 markings, 62738336 edges, 28915 markings/sec, 1900 secs
lola: 55710291 markings, 62905290 edges, 29358 markings/sec, 1905 secs
lola: 55856521 markings, 63071196 edges, 29246 markings/sec, 1910 secs
lola: 56002741 markings, 63236750 edges, 29244 markings/sec, 1915 secs
lola: 56149642 markings, 63402526 edges, 29380 markings/sec, 1920 secs
lola: 56298109 markings, 63569780 edges, 29693 markings/sec, 1925 secs
lola: 56445374 markings, 63736041 edges, 29453 markings/sec, 1930 secs
lola: 56591535 markings, 63901426 edges, 29232 markings/sec, 1935 secs
lola: 56738531 markings, 64068200 edges, 29399 markings/sec, 1940 secs
lola: 56886410 markings, 64235604 edges, 29576 markings/sec, 1945 secs
lola: 57032555 markings, 64401483 edges, 29229 markings/sec, 1950 secs
lola: 57178388 markings, 64566518 edges, 29167 markings/sec, 1955 secs
lola: 57326077 markings, 64734107 edges, 29538 markings/sec, 1960 secs
lola: 57473454 markings, 64900896 edges, 29475 markings/sec, 1965 secs
lola: 57620257 markings, 65067014 edges, 29361 markings/sec, 1970 secs
lola: 57767509 markings, 65233190 edges, 29450 markings/sec, 1975 secs
lola: 57916532 markings, 65401140 edges, 29805 markings/sec, 1980 secs
lola: 58064216 markings, 65567650 edges, 29537 markings/sec, 1985 secs
lola: 58211003 markings, 65733931 edges, 29357 markings/sec, 1990 secs
lola: 58358352 markings, 65901089 edges, 29470 markings/sec, 1995 secs
lola: 58506707 markings, 66069027 edges, 29671 markings/sec, 2000 secs
lola: 58653450 markings, 66235575 edges, 29349 markings/sec, 2005 secs
lola: 58799889 markings, 66401301 edges, 29288 markings/sec, 2010 secs
lola: 58948067 markings, 66569435 edges, 29636 markings/sec, 2015 secs
lola: 59095989 markings, 66736863 edges, 29584 markings/sec, 2020 secs
lola: 59244357 markings, 66904809 edges, 29674 markings/sec, 2025 secs
lola: 59393775 markings, 67073332 edges, 29884 markings/sec, 2030 secs
lola: 59542366 markings, 67241664 edges, 29718 markings/sec, 2035 secs
lola: 59691126 markings, 67410214 edges, 29752 markings/sec, 2040 secs
lola: 59839216 markings, 67577636 edges, 29618 markings/sec, 2045 secs
lola: 59986101 markings, 67743285 edges, 29377 markings/sec, 2050 secs
lola: 60132937 markings, 67909500 edges, 29367 markings/sec, 2055 secs
lola: 60279585 markings, 68075620 edges, 29330 markings/sec, 2060 secs
lola: 60426328 markings, 68241789 edges, 29349 markings/sec, 2065 secs
lola: 60573227 markings, 68407204 edges, 29380 markings/sec, 2070 secs
lola: 60719546 markings, 68572868 edges, 29264 markings/sec, 2075 secs
lola: 60865955 markings, 68738712 edges, 29282 markings/sec, 2080 secs
lola: 61012299 markings, 68904318 edges, 29269 markings/sec, 2085 secs
lola: 61159369 markings, 69070259 edges, 29414 markings/sec, 2090 secs
lola: 61306311 markings, 69236170 edges, 29388 markings/sec, 2095 secs
lola: 61452567 markings, 69402119 edges, 29251 markings/sec, 2100 secs
lola: 61597757 markings, 69566390 edges, 29038 markings/sec, 2105 secs
lola: 61744158 markings, 69731466 edges, 29280 markings/sec, 2110 secs
lola: 61891404 markings, 69899663 edges, 29449 markings/sec, 2115 secs
lola: 62040260 markings, 70068134 edges, 29771 markings/sec, 2120 secs
lola: 62189279 markings, 70235857 edges, 29804 markings/sec, 2125 secs
lola: 62338117 markings, 70403696 edges, 29768 markings/sec, 2130 secs
lola: 62487022 markings, 70571639 edges, 29781 markings/sec, 2135 secs
lola: 62635185 markings, 70738736 edges, 29633 markings/sec, 2140 secs
lola: 62782917 markings, 70905385 edges, 29546 markings/sec, 2145 secs
lola: 62930091 markings, 71071166 edges, 29435 markings/sec, 2150 secs
lola: 63077453 markings, 71237566 edges, 29472 markings/sec, 2155 secs
lola: 63226282 markings, 71405438 edges, 29766 markings/sec, 2160 secs
lola: 63373390 markings, 71571275 edges, 29422 markings/sec, 2165 secs
lola: 63520307 markings, 71736956 edges, 29383 markings/sec, 2170 secs
lola: 63668581 markings, 71904255 edges, 29655 markings/sec, 2175 secs
lola: 63816954 markings, 72071896 edges, 29675 markings/sec, 2180 secs
lola: 63963094 markings, 72240197 edges, 29228 markings/sec, 2185 secs
lola: 64111548 markings, 72407662 edges, 29691 markings/sec, 2190 secs
lola: 64259948 markings, 72574926 edges, 29680 markings/sec, 2195 secs
lola: 64408550 markings, 72742515 edges, 29720 markings/sec, 2200 secs
lola: 64556560 markings, 72909467 edges, 29602 markings/sec, 2205 secs
lola: 64704043 markings, 73075810 edges, 29497 markings/sec, 2210 secs
lola: 64850895 markings, 73241360 edges, 29370 markings/sec, 2215 secs
lola: 64997658 markings, 73406921 edges, 29353 markings/sec, 2220 secs
lola: 65145563 markings, 73573756 edges, 29581 markings/sec, 2225 secs
lola: 65292248 markings, 73739206 edges, 29337 markings/sec, 2230 secs
lola: 65438184 markings, 73903863 edges, 29187 markings/sec, 2235 secs
lola: 65586313 markings, 74070837 edges, 29626 markings/sec, 2240 secs
lola: 65734464 markings, 74237969 edges, 29630 markings/sec, 2245 secs
lola: 65880467 markings, 74405968 edges, 29201 markings/sec, 2250 secs
lola: 66028337 markings, 74573403 edges, 29574 markings/sec, 2255 secs
lola: 66176456 markings, 74740243 edges, 29624 markings/sec, 2260 secs
lola: 66324419 markings, 74907147 edges, 29593 markings/sec, 2265 secs
lola: 66472244 markings, 75073876 edges, 29565 markings/sec, 2270 secs
lola: 66619494 markings, 75239964 edges, 29450 markings/sec, 2275 secs
lola: 66766403 markings, 75405410 edges, 29382 markings/sec, 2280 secs
lola: 66912522 markings, 75570377 edges, 29224 markings/sec, 2285 secs
lola: 67059909 markings, 75736632 edges, 29477 markings/sec, 2290 secs
lola: 67206928 markings, 75902462 edges, 29404 markings/sec, 2295 secs
lola: 67352478 markings, 76066632 edges, 29110 markings/sec, 2300 secs
lola: 67499941 markings, 76232855 edges, 29493 markings/sec, 2305 secs
lola: 67647801 markings, 76399603 edges, 29572 markings/sec, 2310 secs
lola: 67794291 markings, 76567331 edges, 29298 markings/sec, 2315 secs
lola: 67942021 markings, 76736039 edges, 29546 markings/sec, 2320 secs
lola: 68089349 markings, 76904824 edges, 29466 markings/sec, 2325 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 unknown 1 unknown 1 1 1 1 unknown
lola: memory consumption: 5724360 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: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 unknown 1 unknown 1 1 1 1 unknown
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 unknown 1 unknown 1 1 1 1 unknown
lola: memory consumption: 47920 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 1552544795857

--------------------
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="ASLink-PT-04b"
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 ASLink-PT-04b, 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 r005-smll-155225008900074"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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