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

About the Execution of LoLA for Angiogenesis-PT-10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.040 3570451.00 3701684.00 1132.80 10 ? 10 10 10 ? 10 10 ? 10 ? 10 5 10 ? 10 normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 176K
-rw-r--r-- 1 mcc users 3.2K Feb 9 06:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 9 06:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 5 03:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 5 03:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 105 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 343 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 22:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.5K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 2 00:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Feb 2 00:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 11:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 29 11:28 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 33K 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 Angiogenesis-PT-10-UpperBounds-00
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-01
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-02
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-03
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-04
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-05
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-06
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-07
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-08
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-09
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-10
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-11
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-12
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-13
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-14
FORMULA_NAME Angiogenesis-PT-10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552500369911

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Angiogenesis-PT-10 @ 3570 seconds

FORMULA Angiogenesis-PT-10-UpperBounds-00 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-02 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-03 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-04 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-06 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-07 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-09 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-11 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-12 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-13 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-15 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-10-UpperBounds-01 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for UpperBounds @ Angiogenesis-PT-10

{
"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": "Wed Mar 13 18:06:09 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(KdStarPgStarP2)",
"processed_size": 19,
"rewrites": 0
},
"result":
{
"edges": 39,
"markings": 31,
"produced_by": "search",
"value": 10
},
"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(KdStar)",
"processed_size": 11,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 10
},
"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": 255
},
"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(KdStarG)",
"processed_size": 12,
"rewrites": 0
},
"result":
{
"edges": 10,
"markings": 11,
"produced_by": "search",
"value": 10
},
"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": 277
},
"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(AktStar)",
"processed_size": 12,
"rewrites": 0
},
"result":
{
"edges": 26,
"markings": 27,
"produced_by": "search",
"value": 10
},
"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": 302
},
"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(KdStarGStarPgStar)",
"processed_size": 22,
"rewrites": 0
},
"result":
{
"edges": 80,
"markings": 71,
"produced_by": "search",
"value": 10
},
"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": 336
},
"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(Gab1)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 10
},
"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": 378
},
"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(Gab1)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 10
},
"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": 441
},
"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(Pip2)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 10
},
"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": 551
},
"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(KdStarGStarP3kStarP3P2)",
"processed_size": 27,
"rewrites": 0
},
"result":
{
"edges": 2827,
"markings": 1834,
"produced_by": "search",
"value": 5
},
"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": 735
},
"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(DAG)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 67,
"markings": 50,
"produced_by": "search",
"value": 10
},
"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": 1483
},
"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(Gab1)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 10
},
"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": 13568,
"runtime": 3571.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": 185,
"conflict_clusters": 19,
"places": 39,
"places_significant": 31,
"singleton_clusters": 0,
"transitions": 64
},
"result":
{
"interim_value": "10 unknown 10 10 10 unknown 10 10 unknown 10 unknown 10 5 10 unknown 10 ",
"preliminary_value": "10 unknown 10 10 10 unknown 10 10 unknown 10 unknown 10 5 10 unknown 10 "
},
"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: 103/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1248
lola: finding significant places
lola: 39 places, 64 transitions, 31 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(KdStarPgStarP2) : MAX(GStarPgP3) : MAX(KdStar) : MAX(KdStarG) : MAX(AktStar) : MAX(PtP3) : MAX(KdStarGStarPgStar) : MAX(Gab1) : MAX(GStarP3) : MAX(Gab1) : MAX(GP3) : MAX(Pip2) : MAX(KdStarGStarP3kStarP3P2) : MAX(DAG) : MAX(PtP3) : MAX(Gab1)
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(KdStarPgStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarPgStarP2)
lola: processed formula length: 19
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 31 markings, 39 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GStarPgP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarPgP3)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1657822 markings, 3455662 edges, 331564 markings/sec, 0 secs
lola: 2979243 markings, 6295747 edges, 264284 markings/sec, 5 secs
lola: 4177833 markings, 8906933 edges, 239718 markings/sec, 10 secs
lola: 5394715 markings, 11588495 edges, 243376 markings/sec, 15 secs
lola: 6681488 markings, 14438548 edges, 257355 markings/sec, 20 secs
lola: 7843577 markings, 17038150 edges, 232418 markings/sec, 25 secs
lola: 8954708 markings, 19528071 edges, 222226 markings/sec, 30 secs
lola: 10010576 markings, 21914946 edges, 211174 markings/sec, 35 secs
lola: 11090059 markings, 24340694 edges, 215897 markings/sec, 40 secs
lola: 12159244 markings, 26765483 edges, 213837 markings/sec, 45 secs
lola: 13209624 markings, 29150380 edges, 210076 markings/sec, 50 secs
lola: 14288339 markings, 31593184 edges, 215743 markings/sec, 55 secs
lola: 15360621 markings, 34044204 edges, 214456 markings/sec, 60 secs
lola: 16437123 markings, 36512956 edges, 215300 markings/sec, 65 secs
lola: 17475467 markings, 38903834 edges, 207669 markings/sec, 70 secs
lola: 18512291 markings, 41295548 edges, 207365 markings/sec, 75 secs
lola: 19592925 markings, 43793136 edges, 216127 markings/sec, 80 secs
lola: 20619841 markings, 46193210 edges, 205383 markings/sec, 85 secs
lola: 21635893 markings, 48554953 edges, 203210 markings/sec, 90 secs
lola: 22676918 markings, 50975214 edges, 208205 markings/sec, 95 secs
lola: 23717889 markings, 53397725 edges, 208194 markings/sec, 100 secs
lola: 24722020 markings, 55747986 edges, 200826 markings/sec, 105 secs
lola: 25773817 markings, 58198111 edges, 210359 markings/sec, 110 secs
lola: 26762148 markings, 60525622 edges, 197666 markings/sec, 115 secs
lola: 27756655 markings, 62880920 edges, 198901 markings/sec, 120 secs
lola: 28786962 markings, 65288164 edges, 206061 markings/sec, 125 secs
lola: 29820619 markings, 67717713 edges, 206731 markings/sec, 130 secs
lola: 30865230 markings, 70157051 edges, 208922 markings/sec, 135 secs
lola: 31853592 markings, 72477554 edges, 197672 markings/sec, 140 secs
lola: 32899408 markings, 74953038 edges, 209163 markings/sec, 145 secs
lola: 33953370 markings, 77459411 edges, 210792 markings/sec, 150 secs
lola: 34978423 markings, 79878099 edges, 205011 markings/sec, 155 secs
lola: 35959290 markings, 82229331 edges, 196173 markings/sec, 160 secs
lola: 36970848 markings, 84643616 edges, 202312 markings/sec, 165 secs
lola: 37958944 markings, 87024280 edges, 197619 markings/sec, 170 secs
lola: 38954679 markings, 89383644 edges, 199147 markings/sec, 175 secs
lola: 39957109 markings, 91788497 edges, 200486 markings/sec, 180 secs
lola: 40969090 markings, 94173603 edges, 202396 markings/sec, 185 secs
lola: 41972288 markings, 96583528 edges, 200640 markings/sec, 190 secs
lola: 42983336 markings, 98999189 edges, 202210 markings/sec, 195 secs
lola: 43968580 markings, 101344868 edges, 197049 markings/sec, 200 secs
lola: 44955893 markings, 103717177 edges, 197463 markings/sec, 205 secs
lola: 45929022 markings, 106055811 edges, 194626 markings/sec, 210 secs
lola: 46905843 markings, 108375242 edges, 195364 markings/sec, 215 secs
lola: 47887865 markings, 110731074 edges, 196404 markings/sec, 220 secs
lola: 48847965 markings, 113037966 edges, 192020 markings/sec, 225 secs
lola: 49835144 markings, 115399611 edges, 197436 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5391896 KB
lola: time consumption: 243 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 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStar)
lola: processed formula length: 11
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarG)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 11 markings, 10 edges
lola: ========================================
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AktStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AktStar)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 27 markings, 26 edges
lola: ========================================
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(PtP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP3)
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: 10
lola: 1818487 markings, 3406155 edges, 363697 markings/sec, 0 secs
lola: 3395506 markings, 6514463 edges, 315404 markings/sec, 5 secs
lola: 4906676 markings, 9564961 edges, 302234 markings/sec, 10 secs
lola: 6325339 markings, 12485416 edges, 283733 markings/sec, 15 secs
lola: 7736157 markings, 15428601 edges, 282164 markings/sec, 20 secs
lola: 9051476 markings, 18186428 edges, 263064 markings/sec, 25 secs
lola: 10316439 markings, 20881833 edges, 252993 markings/sec, 30 secs
lola: 11648757 markings, 23709792 edges, 266464 markings/sec, 35 secs
lola: 12914189 markings, 26441858 edges, 253086 markings/sec, 40 secs
lola: 14122181 markings, 29061766 edges, 241598 markings/sec, 45 secs
lola: 15314473 markings, 31664965 edges, 238458 markings/sec, 50 secs
lola: 16480009 markings, 34209811 edges, 233107 markings/sec, 55 secs
lola: 17617603 markings, 36720113 edges, 227519 markings/sec, 60 secs
lola: 18777142 markings, 39262545 edges, 231908 markings/sec, 65 secs
lola: 19967615 markings, 41904745 edges, 238095 markings/sec, 70 secs
lola: 21115688 markings, 44460320 edges, 229615 markings/sec, 75 secs
lola: 22275529 markings, 47034589 edges, 231968 markings/sec, 80 secs
lola: 23414259 markings, 49574421 edges, 227746 markings/sec, 85 secs
lola: 24540298 markings, 52101760 edges, 225208 markings/sec, 90 secs
lola: 25626502 markings, 54542625 edges, 217241 markings/sec, 95 secs
lola: 26723268 markings, 56991547 edges, 219353 markings/sec, 100 secs
lola: 27830862 markings, 59483416 edges, 221519 markings/sec, 105 secs
lola: 28943298 markings, 61979756 edges, 222487 markings/sec, 110 secs
lola: 30028293 markings, 64444820 edges, 216999 markings/sec, 115 secs
lola: 31111277 markings, 66916270 edges, 216597 markings/sec, 120 secs
lola: 32200703 markings, 69410384 edges, 217885 markings/sec, 125 secs
lola: 33285498 markings, 71891786 edges, 216959 markings/sec, 130 secs
lola: 34355372 markings, 74315627 edges, 213975 markings/sec, 135 secs
lola: 35408384 markings, 76725537 edges, 210602 markings/sec, 140 secs
lola: 36457348 markings, 79136497 edges, 209793 markings/sec, 145 secs
lola: 37513020 markings, 81537315 edges, 211134 markings/sec, 150 secs
lola: 38571501 markings, 83941145 edges, 211696 markings/sec, 155 secs
lola: 39608366 markings, 86340357 edges, 207373 markings/sec, 160 secs
lola: 40708979 markings, 88869146 edges, 220123 markings/sec, 165 secs
lola: 41775096 markings, 91325304 edges, 213223 markings/sec, 170 secs
lola: 42796486 markings, 93697309 edges, 204278 markings/sec, 175 secs
lola: 43857043 markings, 96140612 edges, 212111 markings/sec, 180 secs
lola: 44890250 markings, 98545921 edges, 206641 markings/sec, 185 secs
lola: 45912743 markings, 100884885 edges, 204499 markings/sec, 190 secs
lola: 46974538 markings, 103336477 edges, 212359 markings/sec, 195 secs
lola: 47982714 markings, 105671862 edges, 201635 markings/sec, 200 secs
lola: 48986481 markings, 107997956 edges, 200753 markings/sec, 205 secs
lola: 50018556 markings, 110398741 edges, 206415 markings/sec, 210 secs
lola: 51034658 markings, 112779403 edges, 203220 markings/sec, 215 secs
lola: 52011076 markings, 115066027 edges, 195284 markings/sec, 220 secs
lola: 52989852 markings, 117357203 edges, 195755 markings/sec, 225 secs
lola: 53979083 markings, 119662745 edges, 197846 markings/sec, 230 secs
lola: 54952639 markings, 121947533 edges, 194711 markings/sec, 235 secs
lola: 55924646 markings, 124229658 edges, 194401 markings/sec, 240 secs
lola: 56889732 markings, 126513320 edges, 193017 markings/sec, 245 secs
lola: 57904040 markings, 128901301 edges, 202862 markings/sec, 250 secs
lola: 58933727 markings, 131320066 edges, 205937 markings/sec, 255 secs
lola: 59942663 markings, 133721955 edges, 201787 markings/sec, 260 secs
lola: 60954975 markings, 136094344 edges, 202462 markings/sec, 265 secs
lola: 61978881 markings, 138500928 edges, 204781 markings/sec, 270 secs
lola: 62985246 markings, 140871024 edges, 201273 markings/sec, 275 secs
lola: 63984146 markings, 143236706 edges, 199780 markings/sec, 280 secs
lola: 64980509 markings, 145581259 edges, 199273 markings/sec, 285 secs
lola: 65991375 markings, 147958247 edges, 202173 markings/sec, 290 secs
lola: 66985075 markings, 150330521 edges, 198740 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 unknown 10 10 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7264136 KB
lola: time consumption: 545 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 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarPgStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarPgStar)
lola: processed formula length: 22
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 71 markings, 80 edges
lola: ========================================
lola: subprocess 7 will run for 336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Gab1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Gab1)
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarP3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1617949 markings, 3668082 edges, 323590 markings/sec, 0 secs
lola: 3046108 markings, 6995116 edges, 285632 markings/sec, 5 secs
lola: 4356746 markings, 10070105 edges, 262128 markings/sec, 10 secs
lola: 5615606 markings, 13046275 edges, 251772 markings/sec, 15 secs
lola: 6844766 markings, 15968969 edges, 245832 markings/sec, 20 secs
lola: 8137890 markings, 19062667 edges, 258625 markings/sec, 25 secs
lola: 9430748 markings, 22158399 edges, 258572 markings/sec, 30 secs
lola: 10694887 markings, 25199267 edges, 252828 markings/sec, 35 secs
lola: 11902075 markings, 28109836 edges, 241438 markings/sec, 40 secs
lola: 13141714 markings, 31106081 edges, 247928 markings/sec, 45 secs
lola: 14360714 markings, 34056210 edges, 243800 markings/sec, 50 secs
lola: 15581756 markings, 37020967 edges, 244208 markings/sec, 55 secs
lola: 16840660 markings, 40084980 edges, 251781 markings/sec, 60 secs
lola: 18084749 markings, 43117470 edges, 248818 markings/sec, 65 secs
lola: 19322249 markings, 46137695 edges, 247500 markings/sec, 70 secs
lola: 20526829 markings, 49098167 edges, 240916 markings/sec, 75 secs
lola: 21644387 markings, 51842891 edges, 223512 markings/sec, 80 secs
lola: 22751868 markings, 54545051 edges, 221496 markings/sec, 85 secs
lola: 23837214 markings, 57218398 edges, 217069 markings/sec, 90 secs
lola: 24974768 markings, 60020577 edges, 227511 markings/sec, 95 secs
lola: 26154025 markings, 62926589 edges, 235851 markings/sec, 100 secs
lola: 27324063 markings, 65814971 edges, 234008 markings/sec, 105 secs
lola: 28498070 markings, 68734477 edges, 234801 markings/sec, 110 secs
lola: 29686141 markings, 71664412 edges, 237614 markings/sec, 115 secs
lola: 30890941 markings, 74643705 edges, 240960 markings/sec, 120 secs
lola: 32096915 markings, 77627253 edges, 241195 markings/sec, 125 secs
lola: 33290876 markings, 80588597 edges, 238792 markings/sec, 130 secs
lola: 34368520 markings, 83255408 edges, 215529 markings/sec, 135 secs
lola: 35441470 markings, 85924285 edges, 214590 markings/sec, 140 secs
lola: 36494880 markings, 88549989 edges, 210682 markings/sec, 145 secs
lola: 37587958 markings, 91268163 edges, 218616 markings/sec, 150 secs
lola: 38761568 markings, 94195676 edges, 234722 markings/sec, 155 secs
lola: 39847827 markings, 96889105 edges, 217252 markings/sec, 160 secs
lola: 40888078 markings, 99487446 edges, 208050 markings/sec, 165 secs
lola: 41924913 markings, 102077137 edges, 207367 markings/sec, 170 secs
lola: 43023420 markings, 104820418 edges, 219701 markings/sec, 175 secs
lola: 44198559 markings, 107749413 edges, 235028 markings/sec, 180 secs
lola: 45365394 markings, 110653684 edges, 233367 markings/sec, 185 secs
lola: 46503976 markings, 113523189 edges, 227716 markings/sec, 190 secs
lola: 47651630 markings, 116395926 edges, 229531 markings/sec, 195 secs
lola: 48769969 markings, 119225159 edges, 223668 markings/sec, 200 secs
lola: 49863718 markings, 121967307 edges, 218750 markings/sec, 205 secs
lola: 50951293 markings, 124725669 edges, 217515 markings/sec, 210 secs
lola: 52060724 markings, 127501717 edges, 221886 markings/sec, 215 secs
lola: 53163990 markings, 130286005 edges, 220653 markings/sec, 220 secs
lola: 54270397 markings, 133049163 edges, 221281 markings/sec, 225 secs
lola: 55376815 markings, 135825488 edges, 221284 markings/sec, 230 secs
lola: 56473156 markings, 138594024 edges, 219268 markings/sec, 235 secs
lola: 57570328 markings, 141355401 edges, 219434 markings/sec, 240 secs
lola: 58656594 markings, 144091555 edges, 217253 markings/sec, 245 secs
lola: 59752690 markings, 146845681 edges, 219219 markings/sec, 250 secs
lola: 60842950 markings, 149594612 edges, 218052 markings/sec, 255 secs
lola: 61929474 markings, 152341916 edges, 217305 markings/sec, 260 secs
lola: 63015768 markings, 155093682 edges, 217259 markings/sec, 265 secs
lola: 64095659 markings, 157840042 edges, 215978 markings/sec, 270 secs
lola: 65169170 markings, 160576208 edges, 214702 markings/sec, 275 secs
lola: 66236681 markings, 163299912 edges, 213502 markings/sec, 280 secs
lola: 67307770 markings, 166012697 edges, 214218 markings/sec, 285 secs
lola: 68397829 markings, 168785135 edges, 218012 markings/sec, 290 secs
lola: 69473945 markings, 171523113 edges, 215223 markings/sec, 295 secs
lola: 70574051 markings, 174298814 edges, 220021 markings/sec, 300 secs
lola: 71666825 markings, 177052268 edges, 218555 markings/sec, 305 secs
lola: 72747921 markings, 179784020 edges, 216219 markings/sec, 310 secs
lola: 73811971 markings, 182487652 edges, 212810 markings/sec, 315 secs
lola: 74871080 markings, 185169586 edges, 211822 markings/sec, 320 secs
lola: 75902826 markings, 187794366 edges, 206349 markings/sec, 325 secs
lola: 76938698 markings, 190445303 edges, 207174 markings/sec, 330 secs
lola: 77982502 markings, 193111357 edges, 208761 markings/sec, 335 secs
lola: 79048844 markings, 195825877 edges, 213268 markings/sec, 340 secs
lola: 80121037 markings, 198564862 edges, 214439 markings/sec, 345 secs
lola: 81207324 markings, 201317430 edges, 217257 markings/sec, 350 secs
lola: 82295873 markings, 204091791 edges, 217710 markings/sec, 355 secs
lola: 83264972 markings, 206584540 edges, 193820 markings/sec, 360 secs
lola: 84246927 markings, 209097781 edges, 196391 markings/sec, 365 secs
lola: 85210929 markings, 211557028 edges, 192800 markings/sec, 370 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 unknown 10 10 10 unknown 10 10 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9523336 KB
lola: time consumption: 924 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 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Gab1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Gab1)
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GP3)
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: 10
lola: 1811267 markings, 5333766 edges, 362253 markings/sec, 0 secs
lola: 2975426 markings, 10142086 edges, 232832 markings/sec, 5 secs
lola: 4107852 markings, 14616156 edges, 226485 markings/sec, 10 secs
lola: 5113591 markings, 19266156 edges, 201148 markings/sec, 15 secs
lola: 6018365 markings, 23785710 edges, 180955 markings/sec, 20 secs
lola: 7212077 markings, 28536306 edges, 238742 markings/sec, 25 secs
lola: 8326857 markings, 33391323 edges, 222956 markings/sec, 30 secs
lola: 9503402 markings, 38067678 edges, 235309 markings/sec, 35 secs
lola: 10679258 markings, 42254335 edges, 235171 markings/sec, 40 secs
lola: 11986620 markings, 46219517 edges, 261472 markings/sec, 45 secs
lola: 12436884 markings, 50666700 edges, 90053 markings/sec, 50 secs
lola: 13683520 markings, 55208859 edges, 249327 markings/sec, 55 secs
lola: 14674653 markings, 60373823 edges, 198227 markings/sec, 60 secs
lola: 15314656 markings, 65260982 edges, 128001 markings/sec, 65 secs
lola: 16444981 markings, 70754807 edges, 226065 markings/sec, 70 secs
lola: 17871783 markings, 75105302 edges, 285360 markings/sec, 75 secs
lola: 18474033 markings, 80040294 edges, 120450 markings/sec, 80 secs
lola: 20011558 markings, 83776668 edges, 307505 markings/sec, 85 secs
lola: 20473681 markings, 88294699 edges, 92425 markings/sec, 90 secs
lola: 20536298 markings, 93194315 edges, 12523 markings/sec, 95 secs
lola: 22090064 markings, 96736320 edges, 310753 markings/sec, 100 secs
lola: 23483977 markings, 100294261 edges, 278783 markings/sec, 105 secs
lola: 24213857 markings, 104252746 edges, 145976 markings/sec, 110 secs
lola: 24237784 markings, 108158236 edges, 4785 markings/sec, 115 secs
lola: 24252625 markings, 112156435 edges, 2968 markings/sec, 120 secs
lola: 25062746 markings, 116288713 edges, 162024 markings/sec, 125 secs
lola: 26521063 markings, 119785513 edges, 291663 markings/sec, 130 secs
lola: 27862932 markings, 123391360 edges, 268374 markings/sec, 135 secs
lola: 28851784 markings, 127619466 edges, 197770 markings/sec, 140 secs
lola: 28886452 markings, 131952610 edges, 6934 markings/sec, 145 secs
lola: 28904379 markings, 136187084 edges, 3585 markings/sec, 150 secs
lola: 28915335 markings, 140355555 edges, 2191 markings/sec, 155 secs
lola: 29840738 markings, 144175661 edges, 185081 markings/sec, 160 secs
lola: 31175344 markings, 147428346 edges, 266921 markings/sec, 165 secs
lola: 32362359 markings, 150807848 edges, 237403 markings/sec, 170 secs
lola: 33280450 markings, 154469898 edges, 183618 markings/sec, 175 secs
lola: 33508901 markings, 158435175 edges, 45690 markings/sec, 180 secs
lola: 33537733 markings, 162288471 edges, 5766 markings/sec, 185 secs
lola: 33546004 markings, 166139123 edges, 1654 markings/sec, 190 secs
lola: 33553842 markings, 170401580 edges, 1568 markings/sec, 195 secs
lola: 34084191 markings, 175051002 edges, 106070 markings/sec, 200 secs
lola: 34859170 markings, 179540230 edges, 154996 markings/sec, 205 secs
lola: 35815185 markings, 183502865 edges, 191203 markings/sec, 210 secs
lola: 36708350 markings, 186783648 edges, 178633 markings/sec, 215 secs
lola: 37576174 markings, 190358120 edges, 173565 markings/sec, 220 secs
lola: 37708014 markings, 194374734 edges, 26368 markings/sec, 225 secs
lola: 37726092 markings, 198431322 edges, 3616 markings/sec, 230 secs
lola: 37991450 markings, 202908269 edges, 53072 markings/sec, 235 secs
lola: 39053965 markings, 207111023 edges, 212503 markings/sec, 240 secs
lola: 39893255 markings, 210796336 edges, 167858 markings/sec, 245 secs
lola: 40862650 markings, 214505227 edges, 193879 markings/sec, 250 secs
lola: 41984038 markings, 217907666 edges, 224278 markings/sec, 255 secs
lola: 42653188 markings, 221842305 edges, 133830 markings/sec, 260 secs
lola: 43754571 markings, 225641013 edges, 220277 markings/sec, 265 secs
lola: 44496160 markings, 229877014 edges, 148318 markings/sec, 270 secs
lola: 45847334 markings, 232982538 edges, 270235 markings/sec, 275 secs
lola: 45869462 markings, 236921237 edges, 4426 markings/sec, 280 secs
lola: 46367716 markings, 241013728 edges, 99651 markings/sec, 285 secs
lola: 48125827 markings, 244254451 edges, 351622 markings/sec, 290 secs
lola: 49479712 markings, 247580815 edges, 270777 markings/sec, 295 secs
lola: 49532813 markings, 251652756 edges, 10620 markings/sec, 300 secs
lola: 49542375 markings, 255915829 edges, 1912 markings/sec, 305 secs
lola: 49628591 markings, 260630351 edges, 17243 markings/sec, 310 secs
lola: 51485505 markings, 263935847 edges, 371383 markings/sec, 315 secs
lola: 53085335 markings, 267066228 edges, 319966 markings/sec, 320 secs
lola: 54409205 markings, 270265055 edges, 264774 markings/sec, 325 secs
lola: 54673359 markings, 274201437 edges, 52831 markings/sec, 330 secs
lola: 54691470 markings, 278213367 edges, 3622 markings/sec, 335 secs
lola: 54701360 markings, 282284103 edges, 1978 markings/sec, 340 secs
lola: 54706430 markings, 286633691 edges, 1014 markings/sec, 345 secs
lola: 55407081 markings, 291025355 edges, 140130 markings/sec, 350 secs
lola: 57157787 markings, 294213169 edges, 350141 markings/sec, 355 secs
lola: 58718968 markings, 297342744 edges, 312236 markings/sec, 360 secs
lola: 59993822 markings, 300599754 edges, 254971 markings/sec, 365 secs
lola: 60584264 markings, 304840806 edges, 118088 markings/sec, 370 secs
lola: 60627260 markings, 308875303 edges, 8599 markings/sec, 375 secs
lola: 60635792 markings, 312936168 edges, 1706 markings/sec, 380 secs
lola: 60642027 markings, 317051037 edges, 1247 markings/sec, 385 secs
lola: 60646647 markings, 321367630 edges, 924 markings/sec, 390 secs
lola: 61022423 markings, 326322396 edges, 75155 markings/sec, 395 secs
lola: 61928188 markings, 330217126 edges, 181153 markings/sec, 400 secs
lola: 62503110 markings, 333650804 edges, 114984 markings/sec, 405 secs
lola: 63825111 markings, 336536078 edges, 264400 markings/sec, 410 secs
lola: 64977372 markings, 339569926 edges, 230452 markings/sec, 415 secs
lola: 65845492 markings, 343238607 edges, 173624 markings/sec, 420 secs
lola: 65880644 markings, 346999549 edges, 7030 markings/sec, 425 secs
lola: 65891497 markings, 350688933 edges, 2171 markings/sec, 430 secs
lola: 65897447 markings, 354416747 edges, 1190 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 unknown 10 10 10 unknown 10 10 unknown 10 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2458936 KB
lola: time consumption: 1365 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 441 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pip2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pip2)
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 551 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3kStarP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(KdStarGStarP3kStarP3P2)
lola: processed formula length: 27
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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 1834 markings, 2827 edges
lola: ========================================
lola: subprocess 13 will run for 735 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DAG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DAG)
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 50 markings, 67 edges
lola: ========================================
lola: subprocess 14 will run for 1102 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(PtP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP3)
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: 10
lola: 2046006 markings, 3850745 edges, 409201 markings/sec, 0 secs
lola: 3776563 markings, 7286134 edges, 346111 markings/sec, 5 secs
lola: 5429147 markings, 10640967 edges, 330517 markings/sec, 10 secs
lola: 7017072 markings, 13921294 edges, 317585 markings/sec, 15 secs
lola: 8558503 markings, 17149537 edges, 308286 markings/sec, 20 secs
lola: 10017712 markings, 20245959 edges, 291842 markings/sec, 25 secs
lola: 11474432 markings, 23339472 edges, 291344 markings/sec, 30 secs
lola: 12885318 markings, 26376875 edges, 282177 markings/sec, 35 secs
lola: 14241912 markings, 29317698 edges, 271319 markings/sec, 40 secs
lola: 15584816 markings, 32254415 edges, 268581 markings/sec, 45 secs
lola: 16901291 markings, 35145584 edges, 263295 markings/sec, 50 secs
lola: 18246172 markings, 38101200 edges, 268976 markings/sec, 55 secs
lola: 19573113 markings, 41030490 edges, 265388 markings/sec, 60 secs
lola: 20861510 markings, 43896114 edges, 257679 markings/sec, 65 secs
lola: 22141910 markings, 46732197 edges, 256080 markings/sec, 70 secs
lola: 23369986 markings, 49472854 edges, 245615 markings/sec, 75 secs
lola: 24594443 markings, 52220014 edges, 244891 markings/sec, 80 secs
lola: 25805222 markings, 54941602 edges, 242156 markings/sec, 85 secs
lola: 26996777 markings, 57608075 edges, 238311 markings/sec, 90 secs
lola: 28199103 markings, 60311517 edges, 240465 markings/sec, 95 secs
lola: 29378968 markings, 62978766 edges, 235973 markings/sec, 100 secs
lola: 30570675 markings, 65682906 edges, 238341 markings/sec, 105 secs
lola: 31742615 markings, 68367514 edges, 234388 markings/sec, 110 secs
lola: 32910063 markings, 71034656 edges, 233490 markings/sec, 115 secs
lola: 34030970 markings, 73578270 edges, 224181 markings/sec, 120 secs
lola: 35025131 markings, 75844638 edges, 198832 markings/sec, 125 secs
lola: 35999248 markings, 78081779 edges, 194823 markings/sec, 130 secs
lola: 37030698 markings, 80440741 edges, 206290 markings/sec, 135 secs
lola: 38027386 markings, 82708535 edges, 199338 markings/sec, 140 secs
lola: 39039804 markings, 85016597 edges, 202484 markings/sec, 145 secs
lola: 40031141 markings, 87319143 edges, 198267 markings/sec, 150 secs
lola: 41031384 markings, 89622255 edges, 200049 markings/sec, 155 secs
lola: 42027236 markings, 91905749 edges, 199170 markings/sec, 160 secs
lola: 42990291 markings, 94138671 edges, 192611 markings/sec, 165 secs
lola: 43943929 markings, 96342296 edges, 190728 markings/sec, 170 secs
lola: 44884271 markings, 98532500 edges, 188068 markings/sec, 175 secs
lola: 45849076 markings, 100740579 edges, 192961 markings/sec, 180 secs
lola: 46811802 markings, 102959385 edges, 192545 markings/sec, 185 secs
lola: 47762749 markings, 105157891 edges, 190189 markings/sec, 190 secs
lola: 48758469 markings, 107463858 edges, 199144 markings/sec, 195 secs
lola: 49747009 markings, 109779183 edges, 197708 markings/sec, 200 secs
lola: 50729384 markings, 112059635 edges, 196475 markings/sec, 205 secs
lola: 51749093 markings, 114448828 edges, 203942 markings/sec, 210 secs
lola: 52744312 markings, 116784837 edges, 199044 markings/sec, 215 secs
lola: 53751443 markings, 119133444 edges, 201426 markings/sec, 220 secs
lola: 54757579 markings, 121498154 edges, 201227 markings/sec, 225 secs
lola: 55869159 markings, 124097347 edges, 222316 markings/sec, 230 secs
lola: 56947840 markings, 126651820 edges, 215736 markings/sec, 235 secs
lola: 58040814 markings, 129220645 edges, 218595 markings/sec, 240 secs
lola: 59093249 markings, 131700068 edges, 210487 markings/sec, 245 secs
lola: 60145746 markings, 134198280 edges, 210499 markings/sec, 250 secs
lola: 61176132 markings, 136618105 edges, 206077 markings/sec, 255 secs
lola: 62170491 markings, 138948256 edges, 198872 markings/sec, 260 secs
lola: 63104486 markings, 141145126 edges, 186799 markings/sec, 265 secs
lola: 64076535 markings, 143457696 edges, 194410 markings/sec, 270 secs
lola: 65159599 markings, 145997614 edges, 216613 markings/sec, 275 secs
lola: 66224063 markings, 148526881 edges, 212893 markings/sec, 280 secs
lola: 67274530 markings, 151005132 edges, 210093 markings/sec, 285 secs
lola: 68204769 markings, 153192741 edges, 186048 markings/sec, 290 secs
lola: 69113117 markings, 155352918 edges, 181670 markings/sec, 295 secs
lola: 70097675 markings, 157687117 edges, 196912 markings/sec, 300 secs
lola: 71061504 markings, 159952465 edges, 192766 markings/sec, 305 secs
lola: 72020654 markings, 162227862 edges, 191830 markings/sec, 310 secs
lola: 72980523 markings, 164521504 edges, 191974 markings/sec, 315 secs
lola: 73955536 markings, 166814724 edges, 195003 markings/sec, 320 secs
lola: 74904048 markings, 169075105 edges, 189702 markings/sec, 325 secs
lola: 75803206 markings, 171225207 edges, 179832 markings/sec, 330 secs
lola: 76785451 markings, 173576812 edges, 196449 markings/sec, 335 secs
lola: 77822004 markings, 176036725 edges, 207311 markings/sec, 340 secs
lola: 78837345 markings, 178437985 edges, 203068 markings/sec, 345 secs
lola: 79860954 markings, 180897489 edges, 204722 markings/sec, 350 secs
lola: 80890444 markings, 183355986 edges, 205898 markings/sec, 355 secs
lola: 81919488 markings, 185818335 edges, 205809 markings/sec, 360 secs
lola: 82928995 markings, 188243641 edges, 201901 markings/sec, 365 secs
lola: 83922039 markings, 190639209 edges, 198609 markings/sec, 370 secs
lola: 84919239 markings, 193027756 edges, 199440 markings/sec, 375 secs
lola: 85937361 markings, 195452387 edges, 203624 markings/sec, 380 secs
lola: 86937975 markings, 197864173 edges, 200123 markings/sec, 385 secs
lola: 87942317 markings, 200282993 edges, 200868 markings/sec, 390 secs
lola: 88932875 markings, 202686406 edges, 198112 markings/sec, 395 secs
lola: 89937749 markings, 205089604 edges, 200975 markings/sec, 400 secs
lola: 90942900 markings, 207505920 edges, 201030 markings/sec, 405 secs
lola: 91932147 markings, 209901441 edges, 197849 markings/sec, 410 secs
lola: 92916804 markings, 212246406 edges, 196931 markings/sec, 415 secs
lola: 93895849 markings, 214594402 edges, 195809 markings/sec, 420 secs
lola: 94853816 markings, 216907552 edges, 191593 markings/sec, 425 secs
lola: 95816762 markings, 219228073 edges, 192589 markings/sec, 430 secs
lola: 96768636 markings, 221546353 edges, 190375 markings/sec, 435 secs
lola: 97710940 markings, 223834951 edges, 188461 markings/sec, 440 secs
lola: 98641699 markings, 226118013 edges, 186152 markings/sec, 445 secs
lola: 99590763 markings, 228420573 edges, 189813 markings/sec, 450 secs
lola: 100527803 markings, 230702604 edges, 187408 markings/sec, 455 secs
lola: 101466538 markings, 232979964 edges, 187747 markings/sec, 460 secs
lola: 102435568 markings, 235332593 edges, 193806 markings/sec, 465 secs
lola: 103399530 markings, 237676580 edges, 192792 markings/sec, 470 secs
lola: 104350508 markings, 239980983 edges, 190196 markings/sec, 475 secs
lola: 105291061 markings, 242256061 edges, 188111 markings/sec, 480 secs
lola: 106234045 markings, 244554391 edges, 188597 markings/sec, 485 secs
lola: 107169407 markings, 246840832 edges, 187072 markings/sec, 490 secs
lola: 108103478 markings, 249114154 edges, 186814 markings/sec, 495 secs
lola: 109051254 markings, 251420114 edges, 189555 markings/sec, 500 secs
lola: 109985687 markings, 253709502 edges, 186887 markings/sec, 505 secs
lola: 110883562 markings, 255924579 edges, 179575 markings/sec, 510 secs
lola: 111799091 markings, 258148372 edges, 183106 markings/sec, 515 secs
lola: 112709927 markings, 260379113 edges, 182167 markings/sec, 520 secs
lola: 113622843 markings, 262609917 edges, 182583 markings/sec, 525 secs
lola: 114545676 markings, 264841070 edges, 184567 markings/sec, 530 secs
lola: 115456063 markings, 267057110 edges, 182077 markings/sec, 535 secs
lola: 116370401 markings, 269264326 edges, 182868 markings/sec, 540 secs
lola: 117272842 markings, 271488968 edges, 180488 markings/sec, 545 secs
lola: 118197338 markings, 273729109 edges, 184899 markings/sec, 550 secs
lola: 119099516 markings, 275958487 edges, 180436 markings/sec, 555 secs
lola: 120000001 markings, 278170566 edges, 180097 markings/sec, 560 secs
lola: 120935712 markings, 280432943 edges, 187142 markings/sec, 565 secs
lola: 121859200 markings, 282685840 edges, 184698 markings/sec, 570 secs
lola: 122771777 markings, 284916538 edges, 182515 markings/sec, 575 secs
lola: 123664821 markings, 287099324 edges, 178609 markings/sec, 580 secs
lola: 124559312 markings, 289285537 edges, 178898 markings/sec, 585 secs
lola: 125447936 markings, 291462698 edges, 177725 markings/sec, 590 secs
lola: 126359637 markings, 293693105 edges, 182340 markings/sec, 595 secs
lola: 127269005 markings, 295924937 edges, 181874 markings/sec, 600 secs
lola: 128179434 markings, 298141539 edges, 182086 markings/sec, 605 secs
lola: 129071521 markings, 300350217 edges, 178417 markings/sec, 610 secs
lola: 129962994 markings, 302546436 edges, 178295 markings/sec, 615 secs
lola: 130861367 markings, 304760270 edges, 179675 markings/sec, 620 secs
lola: 131745042 markings, 306939352 edges, 176735 markings/sec, 625 secs
lola: 132625254 markings, 309134281 edges, 176042 markings/sec, 630 secs
lola: 133518556 markings, 311322560 edges, 178660 markings/sec, 635 secs
lola: 134415015 markings, 313519031 edges, 179292 markings/sec, 640 secs
lola: 135309216 markings, 315711195 edges, 178840 markings/sec, 645 secs
lola: 136189135 markings, 317880163 edges, 175984 markings/sec, 650 secs
lola: 137065253 markings, 320055513 edges, 175224 markings/sec, 655 secs
lola: 137949204 markings, 322222887 edges, 176790 markings/sec, 660 secs
lola: 138821383 markings, 324375394 edges, 174436 markings/sec, 665 secs
lola: 139705431 markings, 326546997 edges, 176810 markings/sec, 670 secs
lola: 140584747 markings, 328717527 edges, 175863 markings/sec, 675 secs
lola: 141447538 markings, 330876861 edges, 172558 markings/sec, 680 secs
lola: 142315773 markings, 333027307 edges, 173647 markings/sec, 685 secs
lola: 143193697 markings, 335201054 edges, 175585 markings/sec, 690 secs
lola: 144073297 markings, 337377787 edges, 175920 markings/sec, 695 secs
lola: 144944107 markings, 339525412 edges, 174162 markings/sec, 700 secs
lola: 145817271 markings, 341671892 edges, 174633 markings/sec, 705 secs
lola: 146697868 markings, 343830645 edges, 176119 markings/sec, 710 secs
lola: 147505083 markings, 345836890 edges, 161443 markings/sec, 715 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1483 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Gab1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Gab1)
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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(GStarPgP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GStarPgP3)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 1689780 markings, 3525268 edges, 337956 markings/sec, 0 secs
lola: 3193496 markings, 6760286 edges, 300743 markings/sec, 5 secs
lola: 4625512 markings, 9890175 edges, 286403 markings/sec, 10 secs
lola: 6010463 markings, 12953422 edges, 276990 markings/sec, 15 secs
lola: 7351774 markings, 15926887 edges, 268262 markings/sec, 20 secs
lola: 8670085 markings, 18886065 edges, 263662 markings/sec, 25 secs
lola: 9967768 markings, 21819188 edges, 259537 markings/sec, 30 secs
lola: 11255624 markings, 24722118 edges, 257571 markings/sec, 35 secs
lola: 12541518 markings, 27627281 edges, 257179 markings/sec, 40 secs
lola: 13800549 markings, 30480712 edges, 251806 markings/sec, 45 secs
lola: 15030760 markings, 33294662 edges, 246042 markings/sec, 50 secs
lola: 16260068 markings, 36108130 edges, 245862 markings/sec, 55 secs
lola: 17465367 markings, 38879357 edges, 241060 markings/sec, 60 secs
lola: 18675080 markings, 41676627 edges, 241943 markings/sec, 65 secs
lola: 19884726 markings, 44473593 edges, 241929 markings/sec, 70 secs
lola: 21053199 markings, 47207274 edges, 233695 markings/sec, 75 secs
lola: 22229172 markings, 49935617 edges, 235195 markings/sec, 80 secs
lola: 23400050 markings, 52659216 edges, 234176 markings/sec, 85 secs
lola: 24558544 markings, 55360743 edges, 231699 markings/sec, 90 secs
lola: 25717536 markings, 58069013 edges, 231798 markings/sec, 95 secs
lola: 26863776 markings, 60760659 edges, 229248 markings/sec, 100 secs
lola: 27981827 markings, 63405670 edges, 223610 markings/sec, 105 secs
lola: 29104755 markings, 66040886 edges, 224586 markings/sec, 110 secs
lola: 30218529 markings, 68651971 edges, 222755 markings/sec, 115 secs
lola: 31324639 markings, 71228036 edges, 221222 markings/sec, 120 secs
lola: 32431983 markings, 73853375 edges, 221469 markings/sec, 125 secs
lola: 33543849 markings, 76485821 edges, 222373 markings/sec, 130 secs
lola: 34662918 markings, 79128792 edges, 223814 markings/sec, 135 secs
lola: 35750221 markings, 81718530 edges, 217461 markings/sec, 140 secs
lola: 36813719 markings, 84270542 edges, 212700 markings/sec, 145 secs
lola: 37854235 markings, 86771653 edges, 208103 markings/sec, 150 secs
lola: 38852555 markings, 89131080 edges, 199664 markings/sec, 155 secs
lola: 39795716 markings, 91407058 edges, 188632 markings/sec, 160 secs
lola: 40786205 markings, 93737191 edges, 198098 markings/sec, 165 secs
lola: 41821605 markings, 96223505 edges, 207080 markings/sec, 170 secs
lola: 42827064 markings, 98624996 edges, 201092 markings/sec, 175 secs
lola: 43817811 markings, 100984468 edges, 198149 markings/sec, 180 secs
lola: 44767852 markings, 103266856 edges, 190008 markings/sec, 185 secs
lola: 45778164 markings, 105690092 edges, 202062 markings/sec, 190 secs
lola: 46822343 markings, 108177400 edges, 208836 markings/sec, 195 secs
lola: 47840467 markings, 110614950 edges, 203625 markings/sec, 200 secs
lola: 48800341 markings, 112924183 edges, 191975 markings/sec, 205 secs
lola: 49780351 markings, 115271063 edges, 196002 markings/sec, 210 secs
lola: 50756926 markings, 117594825 edges, 195315 markings/sec, 215 secs
lola: 51696888 markings, 119877313 edges, 187992 markings/sec, 220 secs
lola: 52611548 markings, 122091984 edges, 182932 markings/sec, 225 secs
lola: 53570687 markings, 124425476 edges, 191828 markings/sec, 230 secs
lola: 54567760 markings, 126828584 edges, 199415 markings/sec, 235 secs
lola: 55520072 markings, 129137551 edges, 190462 markings/sec, 240 secs
lola: 56524543 markings, 131559428 edges, 200894 markings/sec, 245 secs
lola: 57478173 markings, 133874534 edges, 190726 markings/sec, 250 secs
lola: 58423778 markings, 136169846 edges, 189121 markings/sec, 255 secs
lola: 59380536 markings, 138498255 edges, 191352 markings/sec, 260 secs
lola: 60323745 markings, 140804004 edges, 188642 markings/sec, 265 secs
lola: 61249457 markings, 143084508 edges, 185142 markings/sec, 270 secs
lola: 62211718 markings, 145414226 edges, 192452 markings/sec, 275 secs
lola: 63199449 markings, 147808890 edges, 197546 markings/sec, 280 secs
lola: 64152185 markings, 150114676 edges, 190547 markings/sec, 285 secs
lola: 65106345 markings, 152442803 edges, 190832 markings/sec, 290 secs
lola: 66100227 markings, 154886494 edges, 198776 markings/sec, 295 secs
lola: 67050448 markings, 157202424 edges, 190044 markings/sec, 300 secs
lola: 67980309 markings, 159474413 edges, 185972 markings/sec, 305 secs
lola: 68915635 markings, 161753359 edges, 187065 markings/sec, 310 secs
lola: 69878840 markings, 164115902 edges, 192641 markings/sec, 315 secs
lola: 70838393 markings, 166461824 edges, 191911 markings/sec, 320 secs
lola: 71753989 markings, 168720677 edges, 183119 markings/sec, 325 secs
lola: 72683305 markings, 170994061 edges, 185863 markings/sec, 330 secs
lola: 73592857 markings, 173249677 edges, 181910 markings/sec, 335 secs
lola: 74511135 markings, 175520460 edges, 183656 markings/sec, 340 secs
lola: 75481902 markings, 177889928 edges, 194153 markings/sec, 345 secs
lola: 76409166 markings, 180159995 edges, 185453 markings/sec, 350 secs
lola: 77315297 markings, 182390394 edges, 181226 markings/sec, 355 secs
lola: 78241601 markings, 184698395 edges, 185261 markings/sec, 360 secs
lola: 79155525 markings, 186947068 edges, 182785 markings/sec, 365 secs
lola: 80079813 markings, 189204025 edges, 184858 markings/sec, 370 secs
lola: 80977831 markings, 191432680 edges, 179604 markings/sec, 375 secs
lola: 81955233 markings, 193823824 edges, 195480 markings/sec, 380 secs
lola: 82933604 markings, 196251446 edges, 195674 markings/sec, 385 secs
lola: 83918137 markings, 198662000 edges, 196907 markings/sec, 390 secs
lola: 84910901 markings, 201109984 edges, 198553 markings/sec, 395 secs
lola: 85908430 markings, 203564149 edges, 199506 markings/sec, 400 secs
lola: 86881213 markings, 205968299 edges, 194557 markings/sec, 405 secs
lola: 87852392 markings, 208365459 edges, 194236 markings/sec, 410 secs
lola: 88815164 markings, 210738198 edges, 192554 markings/sec, 415 secs
lola: 89793943 markings, 213152043 edges, 195756 markings/sec, 420 secs
lola: 90778931 markings, 215586140 edges, 196998 markings/sec, 425 secs
lola: 91698029 markings, 217880345 edges, 183820 markings/sec, 430 secs
lola: 92611909 markings, 220142606 edges, 182776 markings/sec, 435 secs
lola: 93548305 markings, 222440966 edges, 187279 markings/sec, 440 secs
lola: 94473005 markings, 224731044 edges, 184940 markings/sec, 445 secs
lola: 95382826 markings, 226993667 edges, 181964 markings/sec, 450 secs
lola: 96296824 markings, 229252446 edges, 182800 markings/sec, 455 secs
lola: 97199846 markings, 231496957 edges, 180604 markings/sec, 460 secs
lola: 98127612 markings, 233785239 edges, 185553 markings/sec, 465 secs
lola: 99066465 markings, 236118158 edges, 187771 markings/sec, 470 secs
lola: 100038037 markings, 238539186 edges, 194314 markings/sec, 475 secs
lola: 101004273 markings, 240956653 edges, 193247 markings/sec, 480 secs
lola: 101970912 markings, 243364766 edges, 193328 markings/sec, 485 secs
lola: 102951981 markings, 245766726 edges, 196214 markings/sec, 490 secs
lola: 103900385 markings, 248158235 edges, 189681 markings/sec, 495 secs
lola: 104872128 markings, 250578914 edges, 194349 markings/sec, 500 secs
lola: 105816803 markings, 252958139 edges, 188935 markings/sec, 505 secs
lola: 106766677 markings, 255350671 edges, 189975 markings/sec, 510 secs
lola: 107711496 markings, 257694396 edges, 188964 markings/sec, 515 secs
lola: 108647093 markings, 260041035 edges, 187119 markings/sec, 520 secs
lola: 109602122 markings, 262437274 edges, 191006 markings/sec, 525 secs
lola: 110542425 markings, 264816940 edges, 188061 markings/sec, 530 secs
lola: 111496528 markings, 267211820 edges, 190821 markings/sec, 535 secs
lola: 112454041 markings, 269605120 edges, 191503 markings/sec, 540 secs
lola: 113398167 markings, 271980023 edges, 188825 markings/sec, 545 secs
lola: 114347761 markings, 274366438 edges, 189919 markings/sec, 550 secs
lola: 115309990 markings, 276766355 edges, 192446 markings/sec, 555 secs
lola: 116261255 markings, 279159495 edges, 190253 markings/sec, 560 secs
lola: 117207278 markings, 281544398 edges, 189205 markings/sec, 565 secs
lola: 118144154 markings, 283906181 edges, 187375 markings/sec, 570 secs
lola: 119077645 markings, 286263583 edges, 186698 markings/sec, 575 secs
lola: 120006677 markings, 288621711 edges, 185806 markings/sec, 580 secs
lola: 120951953 markings, 290984817 edges, 189055 markings/sec, 585 secs
lola: 121881632 markings, 293340782 edges, 185936 markings/sec, 590 secs
lola: 122827266 markings, 295707524 edges, 189127 markings/sec, 595 secs
lola: 123761299 markings, 298054275 edges, 186807 markings/sec, 600 secs
lola: 124697772 markings, 300394589 edges, 187295 markings/sec, 605 secs
lola: 125640787 markings, 302772518 edges, 188603 markings/sec, 610 secs
lola: 126586147 markings, 305138221 edges, 189072 markings/sec, 615 secs
lola: 127540377 markings, 307523764 edges, 190846 markings/sec, 620 secs
lola: 128473255 markings, 309867789 edges, 186576 markings/sec, 625 secs
lola: 129399256 markings, 312231520 edges, 185200 markings/sec, 630 secs
lola: 130334909 markings, 314594338 edges, 187131 markings/sec, 635 secs
lola: 131263838 markings, 316915923 edges, 185786 markings/sec, 640 secs
lola: 132191144 markings, 319254877 edges, 185461 markings/sec, 645 secs
lola: 133109544 markings, 321570869 edges, 183680 markings/sec, 650 secs
lola: 134028439 markings, 323883943 edges, 183779 markings/sec, 655 secs
lola: 134939487 markings, 326191821 edges, 182210 markings/sec, 660 secs
lola: 135866595 markings, 328532476 edges, 185422 markings/sec, 665 secs
lola: 136771410 markings, 330832465 edges, 180963 markings/sec, 670 secs
lola: 137666787 markings, 333116259 edges, 179075 markings/sec, 675 secs
lola: 138580032 markings, 335420177 edges, 182649 markings/sec, 680 secs
lola: 139494652 markings, 337727995 edges, 182924 markings/sec, 685 secs
lola: 140402104 markings, 340018765 edges, 181490 markings/sec, 690 secs
lola: 141252288 markings, 342171666 edges, 170037 markings/sec, 695 secs
lola: 142104259 markings, 344323889 edges, 170394 markings/sec, 700 secs
lola: 142947866 markings, 346465271 edges, 168721 markings/sec, 705 secs
lola: 143828710 markings, 348714436 edges, 176169 markings/sec, 710 secs
lola: 144743325 markings, 351026476 edges, 182923 markings/sec, 715 secs
lola: 145663580 markings, 353347091 edges, 184051 markings/sec, 720 secs
lola: 146282501 markings, 354914973 edges, 123784 markings/sec, 725 secs
lola: 146618771 markings, 355755951 edges, 67254 markings/sec, 730 secs
lola: 146921856 markings, 356515632 edges, 60617 markings/sec, 735 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(PtP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PtP3)
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: 10
lola: 1918006 markings, 3600648 edges, 383601 markings/sec, 0 secs
lola: 3579317 markings, 6885095 edges, 332262 markings/sec, 5 secs
lola: 5133476 markings, 10029579 edges, 310832 markings/sec, 10 secs
lola: 6618771 markings, 13090004 edges, 297059 markings/sec, 15 secs
lola: 8055779 markings, 16093531 edges, 287402 markings/sec, 20 secs
lola: 9464011 markings, 19069677 edges, 281646 markings/sec, 25 secs
lola: 10824295 markings, 21959261 edges, 272057 markings/sec, 30 secs
lola: 12151891 markings, 24809823 edges, 265519 markings/sec, 35 secs
lola: 13472555 markings, 27653280 edges, 264133 markings/sec, 40 secs
lola: 14757641 markings, 30446173 edges, 257017 markings/sec, 45 secs
lola: 16020411 markings, 33207221 edges, 252554 markings/sec, 50 secs
lola: 17267154 markings, 35943940 edges, 249349 markings/sec, 55 secs
lola: 18493704 markings, 38639249 edges, 245310 markings/sec, 60 secs
lola: 19707498 markings, 41328731 edges, 242759 markings/sec, 65 secs
lola: 20914561 markings, 44013504 edges, 241413 markings/sec, 70 secs
lola: 22117995 markings, 46676075 edges, 240687 markings/sec, 75 secs
lola: 23293419 markings, 49303948 edges, 235085 markings/sec, 80 secs
lola: 24466689 markings, 51935892 edges, 234654 markings/sec, 85 secs
lola: 25636482 markings, 54565675 edges, 233959 markings/sec, 90 secs
lola: 26801644 markings, 57166666 edges, 233032 markings/sec, 95 secs
lola: 27937504 markings, 59728067 edges, 227172 markings/sec, 100 secs
lola: 29080680 markings, 62291841 edges, 228635 markings/sec, 105 secs
lola: 30204932 markings, 64849355 edges, 224850 markings/sec, 110 secs
lola: 31326348 markings, 67405273 edges, 224283 markings/sec, 115 secs
lola: 32434914 markings, 69946293 edges, 221713 markings/sec, 120 secs
lola: 33539316 markings, 72464853 edges, 220880 markings/sec, 125 secs
lola: 34647212 markings, 74976122 edges, 221579 markings/sec, 130 secs
lola: 35734264 markings, 77479047 edges, 217410 markings/sec, 135 secs
lola: 36817416 markings, 79954074 edges, 216630 markings/sec, 140 secs
lola: 37917187 markings, 82450190 edges, 219954 markings/sec, 145 secs
lola: 39005491 markings, 84937245 edges, 217661 markings/sec, 150 secs
lola: 40069733 markings, 87406501 edges, 212848 markings/sec, 155 secs
lola: 41141404 markings, 89875060 edges, 214334 markings/sec, 160 secs
lola: 42216785 markings, 92349083 edges, 215076 markings/sec, 165 secs
lola: 43263821 markings, 94777042 edges, 209407 markings/sec, 170 secs
lola: 44320070 markings, 97219049 edges, 211250 markings/sec, 175 secs
lola: 45366504 markings, 99636218 edges, 209287 markings/sec, 180 secs
lola: 46420119 markings, 102057579 edges, 210723 markings/sec, 185 secs
lola: 47420236 markings, 104364405 edges, 200023 markings/sec, 190 secs
lola: 48405332 markings, 106648901 edges, 197019 markings/sec, 195 secs
lola: 49365309 markings, 108888479 edges, 191995 markings/sec, 200 secs
lola: 50359708 markings, 111194748 edges, 198880 markings/sec, 205 secs
lola: 51373154 markings, 113572479 edges, 202689 markings/sec, 210 secs
lola: 52349950 markings, 115868013 edges, 195359 markings/sec, 215 secs
lola: 53310772 markings, 118103840 edges, 192164 markings/sec, 220 secs
lola: 54257822 markings, 120329203 edges, 189410 markings/sec, 225 secs
lola: 55260098 markings, 122663040 edges, 200455 markings/sec, 230 secs
lola: 56262897 markings, 125024288 edges, 200560 markings/sec, 235 secs
lola: 57233472 markings, 127322756 edges, 194115 markings/sec, 240 secs
lola: 58224670 markings, 129653177 edges, 198240 markings/sec, 245 secs
lola: 59210084 markings, 131981486 edges, 197083 markings/sec, 250 secs
lola: 60200479 markings, 134322944 edges, 198079 markings/sec, 255 secs
lola: 61188942 markings, 136647459 edges, 197693 markings/sec, 260 secs
lola: 62181210 markings, 138973345 edges, 198454 markings/sec, 265 secs
lola: 63161926 markings, 141283831 edges, 196143 markings/sec, 270 secs
lola: 64134236 markings, 143591008 edges, 194462 markings/sec, 275 secs
lola: 65123166 markings, 145912104 edges, 197786 markings/sec, 280 secs
lola: 66109429 markings, 148245054 edges, 197253 markings/sec, 285 secs
lola: 67029138 markings, 150432945 edges, 183942 markings/sec, 290 secs
lola: 67956479 markings, 152609111 edges, 185468 markings/sec, 295 secs
lola: 68889622 markings, 154813372 edges, 186629 markings/sec, 300 secs
lola: 69798621 markings, 156985937 edges, 181800 markings/sec, 305 secs
lola: 70727369 markings, 159167143 edges, 185750 markings/sec, 310 secs
lola: 71651337 markings, 161351394 edges, 184794 markings/sec, 315 secs
lola: 72552887 markings, 163505785 edges, 180310 markings/sec, 320 secs
lola: 73470122 markings, 165675079 edges, 183447 markings/sec, 325 secs
lola: 74383451 markings, 167843605 edges, 182666 markings/sec, 330 secs
lola: 75321364 markings, 170078126 edges, 187583 markings/sec, 335 secs
lola: 76259818 markings, 172310263 edges, 187691 markings/sec, 340 secs
lola: 77187821 markings, 174538765 edges, 185601 markings/sec, 345 secs
lola: 78123618 markings, 176762406 edges, 187159 markings/sec, 350 secs
lola: 79062373 markings, 178976329 edges, 187751 markings/sec, 355 secs
lola: 79975647 markings, 181181283 edges, 182655 markings/sec, 360 secs
lola: 80907764 markings, 183393375 edges, 186423 markings/sec, 365 secs
lola: 81851693 markings, 185657130 edges, 188786 markings/sec, 370 secs
lola: 82784196 markings, 187902657 edges, 186501 markings/sec, 375 secs
lola: 83707461 markings, 190124377 edges, 184653 markings/sec, 380 secs
lola: 84644541 markings, 192366608 edges, 187416 markings/sec, 385 secs
lola: 85589830 markings, 194622341 edges, 189058 markings/sec, 390 secs
lola: 86518664 markings, 196852131 edges, 185767 markings/sec, 395 secs
lola: 87441908 markings, 199080138 edges, 184649 markings/sec, 400 secs
lola: 88368718 markings, 201313882 edges, 185362 markings/sec, 405 secs
lola: 89294142 markings, 203547502 edges, 185085 markings/sec, 410 secs
lola: 90219029 markings, 205769781 edges, 184977 markings/sec, 415 secs
lola: 91147193 markings, 208008174 edges, 185633 markings/sec, 420 secs
lola: 92064822 markings, 210221960 edges, 183526 markings/sec, 425 secs
lola: 93006056 markings, 212458602 edges, 188247 markings/sec, 430 secs
lola: 93936019 markings, 214691123 edges, 185993 markings/sec, 435 secs
lola: 94847872 markings, 216892748 edges, 182371 markings/sec, 440 secs
lola: 95771842 markings, 219116719 edges, 184794 markings/sec, 445 secs
lola: 96681450 markings, 221332475 edges, 181922 markings/sec, 450 secs
lola: 97583169 markings, 223525348 edges, 180344 markings/sec, 455 secs
lola: 98476616 markings, 225710100 edges, 178689 markings/sec, 460 secs
lola: 99370324 markings, 227874493 edges, 178742 markings/sec, 465 secs
lola: 100270987 markings, 230073665 edges, 180133 markings/sec, 470 secs
lola: 101183397 markings, 232291894 edges, 182482 markings/sec, 475 secs
lola: 102095625 markings, 234501097 edges, 182446 markings/sec, 480 secs
lola: 102998367 markings, 236697435 edges, 180548 markings/sec, 485 secs
lola: 103902466 markings, 238889304 edges, 180820 markings/sec, 490 secs
lola: 104806300 markings, 241079467 edges, 180767 markings/sec, 495 secs
lola: 105704640 markings, 243266123 edges, 179668 markings/sec, 500 secs
lola: 106607363 markings, 245469944 edges, 180545 markings/sec, 505 secs
lola: 107493867 markings, 247640135 edges, 177301 markings/sec, 510 secs
lola: 108394023 markings, 249822760 edges, 180031 markings/sec, 515 secs
lola: 109294121 markings, 252007415 edges, 180020 markings/sec, 520 secs
lola: 110178851 markings, 254175032 edges, 176946 markings/sec, 525 secs
lola: 111053643 markings, 256343539 edges, 174958 markings/sec, 530 secs
lola: 111944824 markings, 258514167 edges, 178236 markings/sec, 535 secs
lola: 112827669 markings, 260669624 edges, 176569 markings/sec, 540 secs
lola: 113713406 markings, 262830234 edges, 177147 markings/sec, 545 secs
lola: 114618402 markings, 265013590 edges, 180999 markings/sec, 550 secs
lola: 115509738 markings, 267186534 edges, 178267 markings/sec, 555 secs
lola: 116405988 markings, 269351283 edges, 179250 markings/sec, 560 secs
lola: 117274536 markings, 271493667 edges, 173710 markings/sec, 565 secs
lola: 118168781 markings, 273661525 edges, 178849 markings/sec, 570 secs
lola: 119036403 markings, 275798303 edges, 173524 markings/sec, 575 secs
lola: 119901961 markings, 277933635 edges, 173112 markings/sec, 580 secs
lola: 120797003 markings, 280089221 edges, 179008 markings/sec, 585 secs
lola: 121672600 markings, 282229170 edges, 175119 markings/sec, 590 secs
lola: 122550612 markings, 284374788 edges, 175602 markings/sec, 595 secs
lola: 123422907 markings, 286501200 edges, 174459 markings/sec, 600 secs
lola: 124263318 markings, 288555877 edges, 168082 markings/sec, 605 secs
lola: 125087903 markings, 290580005 edges, 164917 markings/sec, 610 secs
lola: 125906571 markings, 292588884 edges, 163734 markings/sec, 615 secs
lola: 126740158 markings, 294629362 edges, 166717 markings/sec, 620 secs
lola: 127604153 markings, 296746960 edges, 172799 markings/sec, 625 secs
lola: 128471372 markings, 298864589 edges, 173444 markings/sec, 630 secs
lola: 129322976 markings, 300985099 edges, 170321 markings/sec, 635 secs
lola: 130183926 markings, 303098249 edges, 172190 markings/sec, 640 secs
lola: 131051416 markings, 305227981 edges, 173498 markings/sec, 645 secs
lola: 131904195 markings, 307341896 edges, 170556 markings/sec, 650 secs
lola: 132755273 markings, 309454760 edges, 170216 markings/sec, 655 secs
lola: 133656050 markings, 311656556 edges, 180155 markings/sec, 660 secs
lola: 134557100 markings, 313865921 edges, 180210 markings/sec, 665 secs
lola: 135456215 markings, 316084450 edges, 179823 markings/sec, 670 secs
lola: 136360669 markings, 318303927 edges, 180891 markings/sec, 675 secs
lola: 137246262 markings, 320499015 edges, 177119 markings/sec, 680 secs
lola: 138138391 markings, 322691086 edges, 178426 markings/sec, 685 secs
lola: 139019955 markings, 324861113 edges, 176313 markings/sec, 690 secs
lola: 139923632 markings, 327074323 edges, 180735 markings/sec, 695 secs
lola: 140795653 markings, 329253643 edges, 174404 markings/sec, 700 secs
lola: 141667367 markings, 331411311 edges, 174343 markings/sec, 705 secs
lola: 142537409 markings, 333579283 edges, 174008 markings/sec, 710 secs
lola: 143429096 markings, 335785743 edges, 178337 markings/sec, 715 secs
lola: 144317166 markings, 337971834 edges, 177614 markings/sec, 720 secs
lola: 145196109 markings, 340144433 edges, 175789 markings/sec, 725 secs
lola: 146086142 markings, 342320631 edges, 178007 markings/sec, 730 secs
lola: time limit reached - aborting
lola: lola:
preliminary result: 10 unknown 10 10 10 unknown 10 10 unknown 10 unknown 10 5 10 unknown 10 caught signal User defined signal 1 - aborting LoLA

lola:
preliminary result: 10 unknown 10 10 10 unknown 10 10 unknown 10 unknown 10 5 10 unknown 10
lola:
preliminary result: 10 unknown 10 10 10 unknown 10 10 unknown 10 unknown 10 5 10 unknown 10
lola: memory consumption: 13568 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1552503940362

--------------------
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="Angiogenesis-PT-10"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is Angiogenesis-PT-10, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r016-csrt-155225064900020"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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