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

About the Execution of LoLA for Diffusion2D-PT-D10N010

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8359.830 3570186.00 3650370.00 737.60 10 10 ? 10 ? 10 10 ? ? 10 10 10 ? ? 10 10 normal

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2019-input.r060-ebro-155234654600074.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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-3954
Executing tool lola
Input is Diffusion2D-PT-D10N010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654600074
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 408K
-rw-r--r-- 1 mcc users 3.3K Feb 10 21:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 10 21:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 6 17:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 6 17:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 23:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 3 07:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 07:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 30 23:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col

-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 255K 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 Diffusion2D-PT-D10N010-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D10N010-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552554283274

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Diffusion2D-PT-D10N010 @ 3570 seconds

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

FORMULA Diffusion2D-PT-D10N010-UpperBounds-01 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA Diffusion2D-PT-D10N010-UpperBounds-05 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

FORMULA Diffusion2D-PT-D10N010-UpperBounds-10 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA Diffusion2D-PT-D10N010-UpperBounds-14 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D10N010-UpperBounds-15 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ Diffusion2D-PT-D10N010

{
"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 09:04:43 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(cAMP__8_2_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 1575675,
"markings": 416435,
"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": 236
},
"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(cAMP__6_5_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 10,
"markings": 11,
"produced_by": "search",
"value": 10
},
"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": 253
},
"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(cAMP__4_5_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 877,
"markings": 410,
"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": 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(cAMP__10_8_)",
"processed_size": 16,
"rewrites": 0
},
"result":
{
"edges": 2327311,
"markings": 884213,
"produced_by": "search",
"value": 10
},
"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": 298
},
"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(cAMP__6_4_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 174,
"markings": 121,
"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": 332
},
"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(cAMP__1_2_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 3948171,
"markings": 1266975,
"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": 379
},
"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(cAMP__6_3_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 2041894,
"markings": 752871,
"produced_by": "search",
"value": 10
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 449
},
"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(cAMP__10_8_)",
"processed_size": 16,
"rewrites": 0
},
"result":
{
"edges": 2327311,
"markings": 884213,
"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": 554
},
"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(cAMP__5_5_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 10,
"markings": 11,
"produced_by": "search",
"value": 10
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1108
},
"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(cAMP__6_3_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 2041894,
"markings": 752871,
"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": 8318912,
"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": 1368,
"conflict_clusters": 100,
"places": 100,
"places_significant": 99,
"singleton_clusters": 0,
"transitions": 684
},
"result":
{
"interim_value": "10 10 unknown 10 unknown 10 10 unknown unknown 10 10 10 unknown unknown 10 10 ",
"preliminary_value": "10 10 unknown 10 unknown 10 10 unknown unknown 10 10 10 unknown unknown 10 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: 784/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3200
lola: finding significant places
lola: 100 places, 684 transitions, 99 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(cAMP__8_2_) : MAX(cAMP__6_5_) : MAX(cAMP__10_7_) : MAX(cAMP__4_5_) : MAX(cAMP__7_10_) : MAX(cAMP__10_8_) : MAX(cAMP__6_4_) : MAX(cAMP__9_6_) : MAX(cAMP__2_5_) : MAX(cAMP__1_2_) : MAX(cAMP__6_3_) : MAX(cAMP__10_8_) : MAX(cAMP__1_10_) : MAX(cAMP__6_1_) : MAX(cAMP__5_5_) : MAX(cAMP__6_3_)
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(cAMP__8_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 129983 markings, 457489 edges, 25997 markings/sec, 0 secs
lola: 257672 markings, 953260 edges, 25538 markings/sec, 5 secs
lola: 381828 markings, 1436079 edges, 24831 markings/sec, 10 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 416435 markings, 1575675 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 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 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_7_)
lola: processed formula length: 16
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: 133747 markings, 416910 edges, 26749 markings/sec, 0 secs
lola: 268738 markings, 841452 edges, 26998 markings/sec, 5 secs
lola: 403561 markings, 1265896 edges, 26965 markings/sec, 10 secs
lola: 535807 markings, 1687444 edges, 26449 markings/sec, 15 secs
lola: 668913 markings, 2106203 edges, 26621 markings/sec, 20 secs
lola: 800487 markings, 2522369 edges, 26315 markings/sec, 25 secs
lola: 931711 markings, 2939715 edges, 26245 markings/sec, 30 secs
lola: 1062483 markings, 3351509 edges, 26154 markings/sec, 35 secs
lola: 1193975 markings, 3765817 edges, 26298 markings/sec, 40 secs
lola: 1324068 markings, 4182574 edges, 26019 markings/sec, 45 secs
lola: 1452223 markings, 4587832 edges, 25631 markings/sec, 50 secs
lola: 1582098 markings, 5005067 edges, 25975 markings/sec, 55 secs
lola: 1712637 markings, 5417699 edges, 26108 markings/sec, 60 secs
lola: 1843609 markings, 5830995 edges, 26194 markings/sec, 65 secs
lola: 1976688 markings, 6254735 edges, 26616 markings/sec, 70 secs
lola: 2107614 markings, 6669555 edges, 26185 markings/sec, 75 secs
lola: 2239784 markings, 7093528 edges, 26434 markings/sec, 80 secs
lola: 2368423 markings, 7516185 edges, 25728 markings/sec, 85 secs
lola: 2499307 markings, 7940806 edges, 26177 markings/sec, 90 secs
lola: 2631157 markings, 8364285 edges, 26370 markings/sec, 95 secs
lola: 2764150 markings, 8785998 edges, 26599 markings/sec, 100 secs
lola: 2892477 markings, 9193960 edges, 25665 markings/sec, 105 secs
lola: 3020008 markings, 9603247 edges, 25506 markings/sec, 110 secs
lola: 3149521 markings, 10015684 edges, 25903 markings/sec, 115 secs
lola: 3279583 markings, 10436359 edges, 26012 markings/sec, 120 secs
lola: 3411358 markings, 10855600 edges, 26355 markings/sec, 125 secs
lola: 3540770 markings, 11266992 edges, 25882 markings/sec, 130 secs
lola: 3668842 markings, 11675507 edges, 25614 markings/sec, 135 secs
lola: 3798090 markings, 12083965 edges, 25850 markings/sec, 140 secs
lola: 3926282 markings, 12491734 edges, 25638 markings/sec, 145 secs
lola: 4056592 markings, 12914343 edges, 26062 markings/sec, 150 secs
lola: 4187871 markings, 13330342 edges, 26256 markings/sec, 155 secs
lola: 4319747 markings, 13752223 edges, 26375 markings/sec, 160 secs
lola: 4445218 markings, 14161792 edges, 25094 markings/sec, 165 secs
lola: 4576711 markings, 14579202 edges, 26299 markings/sec, 170 secs
lola: 4706999 markings, 14991235 edges, 26058 markings/sec, 175 secs
lola: 4837910 markings, 15407850 edges, 26182 markings/sec, 180 secs
lola: 4971719 markings, 15838702 edges, 26762 markings/sec, 185 secs
lola: 5105551 markings, 16261780 edges, 26766 markings/sec, 190 secs
lola: 5235412 markings, 16678892 edges, 25972 markings/sec, 195 secs
lola: 5364991 markings, 17098570 edges, 25916 markings/sec, 200 secs
lola: 5491903 markings, 17500172 edges, 25382 markings/sec, 205 secs
lola: 5619184 markings, 17907941 edges, 25456 markings/sec, 210 secs
lola: 5745294 markings, 18309014 edges, 25222 markings/sec, 215 secs
lola: 5873176 markings, 18724422 edges, 25576 markings/sec, 220 secs
lola: 6002887 markings, 19141687 edges, 25942 markings/sec, 225 secs
lola: 6132415 markings, 19554784 edges, 25906 markings/sec, 230 secs
lola: 6262680 markings, 19976740 edges, 26053 markings/sec, 235 secs
lola: 6392527 markings, 20403179 edges, 25969 markings/sec, 240 secs
lola: 6521348 markings, 20821830 edges, 25764 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1980888 KB
lola: time consumption: 275 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 410 markings, 877 edges
lola: ========================================
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_10_)
lola: processed formula length: 16
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: 136633 markings, 325594 edges, 27327 markings/sec, 0 secs
lola: 271431 markings, 650711 edges, 26960 markings/sec, 5 secs
lola: 404879 markings, 972996 edges, 26690 markings/sec, 10 secs
lola: 538483 markings, 1300035 edges, 26721 markings/sec, 15 secs
lola: 669288 markings, 1620473 edges, 26161 markings/sec, 20 secs
lola: 798497 markings, 1934416 edges, 25842 markings/sec, 25 secs
lola: 927963 markings, 2256157 edges, 25893 markings/sec, 30 secs
lola: 1057832 markings, 2576923 edges, 25974 markings/sec, 35 secs
lola: 1187500 markings, 2896215 edges, 25934 markings/sec, 40 secs
lola: 1316473 markings, 3210899 edges, 25795 markings/sec, 45 secs
lola: 1444008 markings, 3522398 edges, 25507 markings/sec, 50 secs
lola: 1572597 markings, 3852350 edges, 25718 markings/sec, 55 secs
lola: 1700674 markings, 4176912 edges, 25615 markings/sec, 60 secs
lola: 1830084 markings, 4496686 edges, 25882 markings/sec, 65 secs
lola: 1957394 markings, 4818062 edges, 25462 markings/sec, 70 secs
lola: 2086955 markings, 5136312 edges, 25912 markings/sec, 75 secs
lola: 2217606 markings, 5450544 edges, 26130 markings/sec, 80 secs
lola: 2344591 markings, 5772840 edges, 25397 markings/sec, 85 secs
lola: 2472999 markings, 6089598 edges, 25682 markings/sec, 90 secs
lola: 2602966 markings, 6417620 edges, 25993 markings/sec, 95 secs
lola: 2730424 markings, 6754938 edges, 25492 markings/sec, 100 secs
lola: 2858435 markings, 7075443 edges, 25602 markings/sec, 105 secs
lola: 2988973 markings, 7392126 edges, 26108 markings/sec, 110 secs
lola: 3117468 markings, 7706754 edges, 25699 markings/sec, 115 secs
lola: 3246055 markings, 8017591 edges, 25717 markings/sec, 120 secs
lola: 3375317 markings, 8327307 edges, 25852 markings/sec, 125 secs
lola: 3500927 markings, 8646433 edges, 25122 markings/sec, 130 secs
lola: 3625582 markings, 8961301 edges, 24931 markings/sec, 135 secs
lola: 3751121 markings, 9277353 edges, 25108 markings/sec, 140 secs
lola: 3876690 markings, 9583241 edges, 25114 markings/sec, 145 secs
lola: 4002683 markings, 9894006 edges, 25199 markings/sec, 150 secs
lola: 4129251 markings, 10209422 edges, 25314 markings/sec, 155 secs
lola: 4256291 markings, 10525824 edges, 25408 markings/sec, 160 secs
lola: 4382086 markings, 10849196 edges, 25159 markings/sec, 165 secs
lola: 4510725 markings, 11160935 edges, 25728 markings/sec, 170 secs
lola: 4636852 markings, 11477696 edges, 25225 markings/sec, 175 secs
lola: 4761942 markings, 11805307 edges, 25018 markings/sec, 180 secs
lola: 4887297 markings, 12124337 edges, 25071 markings/sec, 185 secs
lola: 5010422 markings, 12446656 edges, 24625 markings/sec, 190 secs
lola: 5135486 markings, 12766484 edges, 25013 markings/sec, 195 secs
lola: 5259766 markings, 13083523 edges, 24856 markings/sec, 200 secs
lola: 5384390 markings, 13413815 edges, 24925 markings/sec, 205 secs
lola: 5509287 markings, 13739017 edges, 24979 markings/sec, 210 secs
lola: 5634285 markings, 14054964 edges, 25000 markings/sec, 215 secs
lola: 5758796 markings, 14373834 edges, 24902 markings/sec, 220 secs
lola: 5883386 markings, 14688149 edges, 24918 markings/sec, 225 secs
lola: 6008662 markings, 14995297 edges, 25055 markings/sec, 230 secs
lola: 6130859 markings, 15302838 edges, 24439 markings/sec, 235 secs
lola: 6253298 markings, 15617387 edges, 24488 markings/sec, 240 secs
lola: 6377886 markings, 15935081 edges, 24918 markings/sec, 245 secs
lola: 6504633 markings, 16253318 edges, 25349 markings/sec, 250 secs
lola: 6632613 markings, 16563947 edges, 25596 markings/sec, 255 secs
lola: 6758145 markings, 16873266 edges, 25106 markings/sec, 260 secs
lola: 6884790 markings, 17193365 edges, 25329 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 10 unknown 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1906724 KB
lola: time consumption: 550 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_8_)
lola: processed formula length: 16
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: 135781 markings, 359198 edges, 27156 markings/sec, 0 secs
lola: 273499 markings, 727375 edges, 27544 markings/sec, 5 secs
lola: 410678 markings, 1082988 edges, 27436 markings/sec, 10 secs
lola: 548059 markings, 1445219 edges, 27476 markings/sec, 15 secs
lola: 682007 markings, 1799356 edges, 26790 markings/sec, 20 secs
lola: 819209 markings, 2161962 edges, 27440 markings/sec, 25 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 884213 markings, 2327311 edges
lola: ========================================
lola: subprocess 6 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 121 markings, 174 edges
lola: ========================================
lola: subprocess 7 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_6_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 136544 markings, 383404 edges, 27309 markings/sec, 0 secs
lola: 269438 markings, 777926 edges, 26579 markings/sec, 5 secs
lola: 403047 markings, 1156216 edges, 26722 markings/sec, 10 secs
lola: 536388 markings, 1541525 edges, 26668 markings/sec, 15 secs
lola: 669280 markings, 1927539 edges, 26578 markings/sec, 20 secs
lola: 801479 markings, 2329383 edges, 26440 markings/sec, 25 secs
lola: 931331 markings, 2732218 edges, 25970 markings/sec, 30 secs
lola: 1057597 markings, 3120769 edges, 25253 markings/sec, 35 secs
lola: 1184089 markings, 3500691 edges, 25298 markings/sec, 40 secs
lola: 1314976 markings, 3886791 edges, 26177 markings/sec, 45 secs
lola: 1443408 markings, 4279843 edges, 25686 markings/sec, 50 secs
lola: 1572567 markings, 4667308 edges, 25832 markings/sec, 55 secs
lola: 1703334 markings, 5055959 edges, 26153 markings/sec, 60 secs
lola: 1830646 markings, 5438081 edges, 25462 markings/sec, 65 secs
lola: 1960037 markings, 5839839 edges, 25878 markings/sec, 70 secs
lola: 2093654 markings, 6244904 edges, 26723 markings/sec, 75 secs
lola: 2226092 markings, 6644925 edges, 26488 markings/sec, 80 secs
lola: 2352415 markings, 7029603 edges, 25265 markings/sec, 85 secs
lola: 2477343 markings, 7418383 edges, 24986 markings/sec, 90 secs
lola: 2605210 markings, 7802137 edges, 25573 markings/sec, 95 secs
lola: 2733048 markings, 8193174 edges, 25568 markings/sec, 100 secs
lola: 2859965 markings, 8578377 edges, 25383 markings/sec, 105 secs
lola: 2987712 markings, 8973188 edges, 25549 markings/sec, 110 secs
lola: 3114233 markings, 9361262 edges, 25304 markings/sec, 115 secs
lola: 3241341 markings, 9762734 edges, 25422 markings/sec, 120 secs
lola: 3373610 markings, 10170454 edges, 26454 markings/sec, 125 secs
lola: 3504985 markings, 10561906 edges, 26275 markings/sec, 130 secs
lola: 3630348 markings, 10947441 edges, 25073 markings/sec, 135 secs
lola: 3754699 markings, 11327952 edges, 24870 markings/sec, 140 secs
lola: 3879783 markings, 11714865 edges, 25017 markings/sec, 145 secs
lola: 4007141 markings, 12089893 edges, 25472 markings/sec, 150 secs
lola: 4133939 markings, 12475336 edges, 25360 markings/sec, 155 secs
lola: 4261332 markings, 12854446 edges, 25479 markings/sec, 160 secs
lola: 4388380 markings, 13244118 edges, 25410 markings/sec, 165 secs
lola: 4514074 markings, 13626889 edges, 25139 markings/sec, 170 secs
lola: 4639212 markings, 14003127 edges, 25028 markings/sec, 175 secs
lola: 4764445 markings, 14376418 edges, 25047 markings/sec, 180 secs
lola: 4886618 markings, 14747003 edges, 24435 markings/sec, 185 secs
lola: 5013016 markings, 15118796 edges, 25280 markings/sec, 190 secs
lola: 5138710 markings, 15496945 edges, 25139 markings/sec, 195 secs
lola: 5264304 markings, 15878452 edges, 25119 markings/sec, 200 secs
lola: 5392712 markings, 16261704 edges, 25682 markings/sec, 205 secs
lola: 5519698 markings, 16643731 edges, 25397 markings/sec, 210 secs
lola: 5648333 markings, 17026730 edges, 25727 markings/sec, 215 secs
lola: 5775458 markings, 17408791 edges, 25425 markings/sec, 220 secs
lola: 5903254 markings, 17790549 edges, 25559 markings/sec, 225 secs
lola: 6032387 markings, 18181837 edges, 25827 markings/sec, 230 secs
lola: 6162458 markings, 18583138 edges, 26014 markings/sec, 235 secs
lola: 6292067 markings, 18964596 edges, 25922 markings/sec, 240 secs
lola: 6421697 markings, 19344213 edges, 25926 markings/sec, 245 secs
lola: 6552314 markings, 19729893 edges, 26123 markings/sec, 250 secs
lola: 6679481 markings, 20106077 edges, 25433 markings/sec, 255 secs
lola: 6809470 markings, 20497955 edges, 25998 markings/sec, 260 secs
lola: 6938280 markings, 20874292 edges, 25762 markings/sec, 265 secs
lola: 7065224 markings, 21243947 edges, 25389 markings/sec, 270 secs
lola: 7193170 markings, 21621636 edges, 25589 markings/sec, 275 secs
lola: 7321150 markings, 22004861 edges, 25596 markings/sec, 280 secs
lola: 7446227 markings, 22382584 edges, 25015 markings/sec, 285 secs
lola: 7571104 markings, 22760289 edges, 24975 markings/sec, 290 secs
lola: 7697148 markings, 23132097 edges, 25209 markings/sec, 295 secs
lola: 7821723 markings, 23503493 edges, 24915 markings/sec, 300 secs
lola: 7946784 markings, 23879271 edges, 25012 markings/sec, 305 secs
lola: 8071210 markings, 24246870 edges, 24885 markings/sec, 310 secs
lola: 8196260 markings, 24627114 edges, 25010 markings/sec, 315 secs
lola: 8322238 markings, 25007905 edges, 25196 markings/sec, 320 secs
lola: 8450350 markings, 25388178 edges, 25622 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 10 unknown 10 unknown 10 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2493244 KB
lola: time consumption: 914 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 8 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 130101 markings, 434635 edges, 26020 markings/sec, 0 secs
lola: 260035 markings, 873904 edges, 25987 markings/sec, 5 secs
lola: 390346 markings, 1315409 edges, 26062 markings/sec, 10 secs
lola: 521644 markings, 1758482 edges, 26260 markings/sec, 15 secs
lola: 651595 markings, 2196500 edges, 25990 markings/sec, 20 secs
lola: 778895 markings, 2626483 edges, 25460 markings/sec, 25 secs
lola: 906946 markings, 3077230 edges, 25610 markings/sec, 30 secs
lola: 1033649 markings, 3519970 edges, 25341 markings/sec, 35 secs
lola: 1161730 markings, 3972584 edges, 25616 markings/sec, 40 secs
lola: 1289291 markings, 4418469 edges, 25512 markings/sec, 45 secs
lola: 1417422 markings, 4864188 edges, 25626 markings/sec, 50 secs
lola: 1544085 markings, 5297290 edges, 25333 markings/sec, 55 secs
lola: 1671881 markings, 5737862 edges, 25559 markings/sec, 60 secs
lola: 1798749 markings, 6189268 edges, 25374 markings/sec, 65 secs
lola: 1928145 markings, 6653357 edges, 25879 markings/sec, 70 secs
lola: 2057222 markings, 7105888 edges, 25815 markings/sec, 75 secs
lola: 2184450 markings, 7563056 edges, 25446 markings/sec, 80 secs
lola: 2310133 markings, 8013748 edges, 25137 markings/sec, 85 secs
lola: 2439626 markings, 8454790 edges, 25899 markings/sec, 90 secs
lola: 2571340 markings, 8905305 edges, 26343 markings/sec, 95 secs
lola: 2699360 markings, 9347191 edges, 25604 markings/sec, 100 secs
lola: 2825999 markings, 9785442 edges, 25328 markings/sec, 105 secs
lola: 2953199 markings, 10228653 edges, 25440 markings/sec, 110 secs
lola: 3078565 markings, 10658633 edges, 25073 markings/sec, 115 secs
lola: 3202563 markings, 11095191 edges, 24800 markings/sec, 120 secs
lola: 3325144 markings, 11536104 edges, 24516 markings/sec, 125 secs
lola: 3449606 markings, 11974793 edges, 24892 markings/sec, 130 secs
lola: 3575700 markings, 12417121 edges, 25219 markings/sec, 135 secs
lola: 3701433 markings, 12852176 edges, 25147 markings/sec, 140 secs
lola: 3822351 markings, 13276944 edges, 24184 markings/sec, 145 secs
lola: 3945832 markings, 13709734 edges, 24696 markings/sec, 150 secs
lola: 4069686 markings, 14150100 edges, 24771 markings/sec, 155 secs
lola: 4192831 markings, 14604541 edges, 24629 markings/sec, 160 secs
lola: 4318489 markings, 15044908 edges, 25132 markings/sec, 165 secs
lola: 4444614 markings, 15491315 edges, 25225 markings/sec, 170 secs
lola: 4571444 markings, 15944199 edges, 25366 markings/sec, 175 secs
lola: 4698646 markings, 16388221 edges, 25440 markings/sec, 180 secs
lola: 4823734 markings, 16843516 edges, 25018 markings/sec, 185 secs
lola: 4949282 markings, 17300259 edges, 25110 markings/sec, 190 secs
lola: 5072725 markings, 17752308 edges, 24689 markings/sec, 195 secs
lola: 5199530 markings, 18202808 edges, 25361 markings/sec, 200 secs
lola: 5327074 markings, 18648327 edges, 25509 markings/sec, 205 secs
lola: 5455945 markings, 19093860 edges, 25774 markings/sec, 210 secs
lola: 5584062 markings, 19540521 edges, 25623 markings/sec, 215 secs
lola: 5710970 markings, 19999586 edges, 25382 markings/sec, 220 secs
lola: 5839065 markings, 20438910 edges, 25619 markings/sec, 225 secs
lola: 5967762 markings, 20878484 edges, 25739 markings/sec, 230 secs
lola: 6095567 markings, 21320886 edges, 25561 markings/sec, 235 secs
lola: 6223617 markings, 21763784 edges, 25610 markings/sec, 240 secs
lola: 6350954 markings, 22208166 edges, 25467 markings/sec, 245 secs
lola: 6476225 markings, 22660262 edges, 25054 markings/sec, 250 secs
lola: 6602767 markings, 23112266 edges, 25308 markings/sec, 255 secs
lola: 6731579 markings, 23562194 edges, 25762 markings/sec, 260 secs
lola: 6854853 markings, 23997333 edges, 24655 markings/sec, 265 secs
lola: 6980834 markings, 24438201 edges, 25196 markings/sec, 270 secs
lola: 7106860 markings, 24890543 edges, 25205 markings/sec, 275 secs
lola: 7234018 markings, 25355479 edges, 25432 markings/sec, 280 secs
lola: 7361417 markings, 25806012 edges, 25480 markings/sec, 285 secs
lola: 7486927 markings, 26256883 edges, 25102 markings/sec, 290 secs
lola: 7613679 markings, 26698798 edges, 25350 markings/sec, 295 secs
lola: 7742506 markings, 27137722 edges, 25765 markings/sec, 300 secs
lola: 7870616 markings, 27578718 edges, 25622 markings/sec, 305 secs
lola: 7998328 markings, 28021332 edges, 25542 markings/sec, 310 secs
lola: 8124039 markings, 28462287 edges, 25142 markings/sec, 315 secs
lola: 8250732 markings, 28907927 edges, 25339 markings/sec, 320 secs
lola: 8377175 markings, 29352814 edges, 25289 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 10 unknown 10 unknown 10 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2101248 KB
lola: time consumption: 1246 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 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 137448 markings, 424617 edges, 27490 markings/sec, 0 secs
lola: 273458 markings, 845756 edges, 27202 markings/sec, 5 secs
lola: 409211 markings, 1267539 edges, 27151 markings/sec, 10 secs
lola: 546802 markings, 1691443 edges, 27518 markings/sec, 15 secs
lola: 684844 markings, 2120583 edges, 27608 markings/sec, 20 secs
lola: 823059 markings, 2552720 edges, 27643 markings/sec, 25 secs
lola: 961096 markings, 2981330 edges, 27607 markings/sec, 30 secs
lola: 1099221 markings, 3417174 edges, 27625 markings/sec, 35 secs
lola: 1235988 markings, 3848784 edges, 27353 markings/sec, 40 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 1266975 markings, 3948171 edges
lola: ========================================
lola: subprocess 10 will run for 379 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 134450 markings, 348858 edges, 26890 markings/sec, 0 secs
lola: 265342 markings, 705039 edges, 26178 markings/sec, 5 secs
lola: 396820 markings, 1058776 edges, 26296 markings/sec, 10 secs
lola: 525950 markings, 1408403 edges, 25826 markings/sec, 15 secs
lola: 654374 markings, 1771212 edges, 25685 markings/sec, 20 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 752871 markings, 2041894 edges
lola: ========================================
lola: subprocess 11 will run for 449 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_8_)
lola: processed formula length: 16
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: 138334 markings, 366060 edges, 27667 markings/sec, 0 secs
lola: 277725 markings, 738531 edges, 27878 markings/sec, 5 secs
lola: 416789 markings, 1098910 edges, 27813 markings/sec, 10 secs
lola: 556034 markings, 1466455 edges, 27849 markings/sec, 15 secs
lola: 694540 markings, 1831390 edges, 27701 markings/sec, 20 secs
lola: 832164 markings, 2196958 edges, 27525 markings/sec, 25 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 884213 markings, 2327311 edges
lola: ========================================
lola: subprocess 12 will run for 554 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_10_)
lola: processed formula length: 16
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: 135424 markings, 394402 edges, 27085 markings/sec, 0 secs
lola: 273003 markings, 782426 edges, 27516 markings/sec, 5 secs
lola: 407918 markings, 1166397 edges, 26983 markings/sec, 10 secs
lola: 542898 markings, 1557012 edges, 26996 markings/sec, 15 secs
lola: 677651 markings, 1933334 edges, 26951 markings/sec, 20 secs
lola: 812633 markings, 2308815 edges, 26996 markings/sec, 25 secs
lola: 946841 markings, 2682109 edges, 26842 markings/sec, 30 secs
lola: 1081872 markings, 3060267 edges, 27006 markings/sec, 35 secs
lola: 1216444 markings, 3443159 edges, 26914 markings/sec, 40 secs
lola: 1351203 markings, 3820596 edges, 26952 markings/sec, 45 secs
lola: 1485814 markings, 4193006 edges, 26922 markings/sec, 50 secs
lola: 1620179 markings, 4565685 edges, 26873 markings/sec, 55 secs
lola: 1754043 markings, 4940673 edges, 26773 markings/sec, 60 secs
lola: 1888988 markings, 5323190 edges, 26989 markings/sec, 65 secs
lola: 2024229 markings, 5708802 edges, 27048 markings/sec, 70 secs
lola: 2157068 markings, 6082993 edges, 26568 markings/sec, 75 secs
lola: 2289325 markings, 6457614 edges, 26451 markings/sec, 80 secs
lola: 2422907 markings, 6836542 edges, 26716 markings/sec, 85 secs
lola: 2554986 markings, 7206185 edges, 26416 markings/sec, 90 secs
lola: 2688737 markings, 7585437 edges, 26750 markings/sec, 95 secs
lola: 2823584 markings, 7961660 edges, 26969 markings/sec, 100 secs
lola: 2957339 markings, 8329687 edges, 26751 markings/sec, 105 secs
lola: 3089911 markings, 8704700 edges, 26514 markings/sec, 110 secs
lola: 3222272 markings, 9083718 edges, 26472 markings/sec, 115 secs
lola: 3356241 markings, 9462610 edges, 26794 markings/sec, 120 secs
lola: 3489862 markings, 9849945 edges, 26724 markings/sec, 125 secs
lola: 3622347 markings, 10226796 edges, 26497 markings/sec, 130 secs
lola: 3754350 markings, 10599045 edges, 26401 markings/sec, 135 secs
lola: 3885919 markings, 10968363 edges, 26314 markings/sec, 140 secs
lola: 4015704 markings, 11334559 edges, 25957 markings/sec, 145 secs
lola: 4146968 markings, 11708714 edges, 26253 markings/sec, 150 secs
lola: 4276938 markings, 12074879 edges, 25994 markings/sec, 155 secs
lola: 4407127 markings, 12449729 edges, 26038 markings/sec, 160 secs
lola: 4539514 markings, 12819410 edges, 26477 markings/sec, 165 secs
lola: 4669896 markings, 13184517 edges, 26076 markings/sec, 170 secs
lola: 4801931 markings, 13551865 edges, 26407 markings/sec, 175 secs
lola: 4932127 markings, 13915694 edges, 26039 markings/sec, 180 secs
lola: 5063836 markings, 14290157 edges, 26342 markings/sec, 185 secs
lola: 5193839 markings, 14658925 edges, 26001 markings/sec, 190 secs
lola: 5324928 markings, 15033961 edges, 26218 markings/sec, 195 secs
lola: 5456222 markings, 15409368 edges, 26259 markings/sec, 200 secs
lola: 5587532 markings, 15778305 edges, 26262 markings/sec, 205 secs
lola: 5719513 markings, 16155720 edges, 26396 markings/sec, 210 secs
lola: 5851141 markings, 16525919 edges, 26326 markings/sec, 215 secs
lola: 5983694 markings, 16899788 edges, 26511 markings/sec, 220 secs
lola: 6119851 markings, 17285550 edges, 27231 markings/sec, 225 secs
lola: 6253244 markings, 17661444 edges, 26679 markings/sec, 230 secs
lola: 6382698 markings, 18037613 edges, 25891 markings/sec, 235 secs
lola: 6514330 markings, 18412661 edges, 26326 markings/sec, 240 secs
lola: 6643937 markings, 18781325 edges, 25921 markings/sec, 245 secs
lola: 6776539 markings, 19152691 edges, 26520 markings/sec, 250 secs
lola: 6908679 markings, 19532645 edges, 26428 markings/sec, 255 secs
lola: 7036298 markings, 19894286 edges, 25524 markings/sec, 260 secs
lola: 7164666 markings, 20248532 edges, 25674 markings/sec, 265 secs
lola: 7294926 markings, 20612528 edges, 26052 markings/sec, 270 secs
lola: 7427055 markings, 20980728 edges, 26426 markings/sec, 275 secs
lola: 7560800 markings, 21356978 edges, 26749 markings/sec, 280 secs
lola: 7687610 markings, 21731450 edges, 25362 markings/sec, 285 secs
lola: 7816769 markings, 22095489 edges, 25832 markings/sec, 290 secs
lola: 7946231 markings, 22460223 edges, 25892 markings/sec, 295 secs
lola: 8075988 markings, 22823944 edges, 25951 markings/sec, 300 secs
lola: 8208184 markings, 23197741 edges, 26439 markings/sec, 305 secs
lola: 8337754 markings, 23582336 edges, 25914 markings/sec, 310 secs
lola: 8467666 markings, 23946703 edges, 25982 markings/sec, 315 secs
lola: 8597831 markings, 24313415 edges, 26033 markings/sec, 320 secs
lola: 8730370 markings, 24680967 edges, 26508 markings/sec, 325 secs
lola: 8862534 markings, 25048452 edges, 26433 markings/sec, 330 secs
lola: 8994682 markings, 25426573 edges, 26430 markings/sec, 335 secs
lola: 9126900 markings, 25805047 edges, 26444 markings/sec, 340 secs
lola: 9260604 markings, 26180108 edges, 26741 markings/sec, 345 secs
lola: 9394275 markings, 26557379 edges, 26734 markings/sec, 350 secs
lola: 9525735 markings, 26929699 edges, 26292 markings/sec, 355 secs
lola: 9656954 markings, 27297442 edges, 26244 markings/sec, 360 secs
lola: 9787905 markings, 27673964 edges, 26190 markings/sec, 365 secs
lola: 9917152 markings, 28045566 edges, 25849 markings/sec, 370 secs
lola: 10048901 markings, 28414906 edges, 26350 markings/sec, 375 secs
lola: 10180669 markings, 28783077 edges, 26354 markings/sec, 380 secs
lola: 10313041 markings, 29155449 edges, 26474 markings/sec, 385 secs
lola: 10443893 markings, 29516864 edges, 26170 markings/sec, 390 secs
lola: 10575065 markings, 29881546 edges, 26234 markings/sec, 395 secs
lola: 10707621 markings, 30251471 edges, 26511 markings/sec, 400 secs
lola: 10839291 markings, 30619155 edges, 26334 markings/sec, 405 secs
lola: 10967784 markings, 30983061 edges, 25699 markings/sec, 410 secs
lola: 11099238 markings, 31348679 edges, 26291 markings/sec, 415 secs
lola: 11228724 markings, 31719912 edges, 25897 markings/sec, 420 secs
lola: 11359504 markings, 32090256 edges, 26156 markings/sec, 425 secs
lola: 11491676 markings, 32462512 edges, 26434 markings/sec, 430 secs
lola: 11622668 markings, 32838489 edges, 26198 markings/sec, 435 secs
lola: 11755766 markings, 33220666 edges, 26620 markings/sec, 440 secs
lola: 11886927 markings, 33592767 edges, 26232 markings/sec, 445 secs
lola: 12020606 markings, 33961496 edges, 26736 markings/sec, 450 secs
lola: 12151391 markings, 34328632 edges, 26157 markings/sec, 455 secs
lola: 12283509 markings, 34698864 edges, 26424 markings/sec, 460 secs
lola: 12415928 markings, 35071594 edges, 26484 markings/sec, 465 secs
lola: 12547992 markings, 35441158 edges, 26413 markings/sec, 470 secs
lola: 12680301 markings, 35817473 edges, 26462 markings/sec, 475 secs
lola: 12812198 markings, 36187762 edges, 26379 markings/sec, 480 secs
lola: 12945036 markings, 36560240 edges, 26568 markings/sec, 485 secs
lola: 13075824 markings, 36927234 edges, 26158 markings/sec, 490 secs
lola: 13207263 markings, 37300154 edges, 26288 markings/sec, 495 secs
lola: 13338156 markings, 37678148 edges, 26179 markings/sec, 500 secs
lola: 13470022 markings, 38059642 edges, 26373 markings/sec, 505 secs
lola: 13601978 markings, 38435969 edges, 26391 markings/sec, 510 secs
lola: 13733893 markings, 38801168 edges, 26383 markings/sec, 515 secs
lola: 13864277 markings, 39165437 edges, 26077 markings/sec, 520 secs
lola: 13997320 markings, 39537374 edges, 26609 markings/sec, 525 secs
lola: 14130254 markings, 39908977 edges, 26587 markings/sec, 530 secs
lola: 14261427 markings, 40280626 edges, 26235 markings/sec, 535 secs
lola: 14393411 markings, 40649069 edges, 26397 markings/sec, 540 secs
lola: 14523960 markings, 41020672 edges, 26110 markings/sec, 545 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 10 unknown 10 unknown 10 10 unknown unknown 10 10 10 unknown unknown unknown unknown
lola: memory consumption: 3719252 KB
lola: time consumption: 1907 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 13 will run for 554 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 131404 markings, 401704 edges, 26281 markings/sec, 0 secs
lola: 263927 markings, 804318 edges, 26505 markings/sec, 5 secs
lola: 394884 markings, 1208773 edges, 26191 markings/sec, 10 secs
lola: 525343 markings, 1605571 edges, 26092 markings/sec, 15 secs
lola: 656872 markings, 2009686 edges, 26306 markings/sec, 20 secs
lola: 786964 markings, 2393924 edges, 26018 markings/sec, 25 secs
lola: 914844 markings, 2788610 edges, 25576 markings/sec, 30 secs
lola: 1045085 markings, 3173598 edges, 26048 markings/sec, 35 secs
lola: 1173592 markings, 3570112 edges, 25701 markings/sec, 40 secs
lola: 1300889 markings, 3962137 edges, 25459 markings/sec, 45 secs
lola: 1430076 markings, 4363086 edges, 25837 markings/sec, 50 secs
lola: 1556332 markings, 4760453 edges, 25251 markings/sec, 55 secs
lola: 1681518 markings, 5159458 edges, 25037 markings/sec, 60 secs
lola: 1806695 markings, 5549973 edges, 25035 markings/sec, 65 secs
lola: 1930774 markings, 5945031 edges, 24816 markings/sec, 70 secs
lola: 2054934 markings, 6331835 edges, 24832 markings/sec, 75 secs
lola: 2177362 markings, 6710932 edges, 24486 markings/sec, 80 secs
lola: 2302864 markings, 7095447 edges, 25100 markings/sec, 85 secs
lola: 2425954 markings, 7501393 edges, 24618 markings/sec, 90 secs
lola: 2548857 markings, 7895587 edges, 24581 markings/sec, 95 secs
lola: 2670868 markings, 8290762 edges, 24402 markings/sec, 100 secs
lola: 2794400 markings, 8676929 edges, 24706 markings/sec, 105 secs
lola: 2918562 markings, 9072918 edges, 24832 markings/sec, 110 secs
lola: 3042231 markings, 9454110 edges, 24734 markings/sec, 115 secs
lola: 3165205 markings, 9836345 edges, 24595 markings/sec, 120 secs
lola: 3289018 markings, 10224334 edges, 24763 markings/sec, 125 secs
lola: 3409928 markings, 10611062 edges, 24182 markings/sec, 130 secs
lola: 3531286 markings, 10983631 edges, 24272 markings/sec, 135 secs
lola: 3654330 markings, 11360479 edges, 24609 markings/sec, 140 secs
lola: 3778081 markings, 11739639 edges, 24750 markings/sec, 145 secs
lola: 3898143 markings, 12110358 edges, 24012 markings/sec, 150 secs
lola: 4020442 markings, 12493800 edges, 24460 markings/sec, 155 secs
lola: 4142510 markings, 12868917 edges, 24414 markings/sec, 160 secs
lola: 4264686 markings, 13246912 edges, 24435 markings/sec, 165 secs
lola: 4387149 markings, 13630097 edges, 24493 markings/sec, 170 secs
lola: 4506845 markings, 14021821 edges, 23939 markings/sec, 175 secs
lola: 4627822 markings, 14401827 edges, 24195 markings/sec, 180 secs
lola: 4748596 markings, 14783102 edges, 24155 markings/sec, 185 secs
lola: 4870240 markings, 15167628 edges, 24329 markings/sec, 190 secs
lola: 4992528 markings, 15554181 edges, 24458 markings/sec, 195 secs
lola: 5113210 markings, 15929413 edges, 24136 markings/sec, 200 secs
lola: 5232625 markings, 16313738 edges, 23883 markings/sec, 205 secs
lola: 5352217 markings, 16698114 edges, 23918 markings/sec, 210 secs
lola: 5471317 markings, 17076917 edges, 23820 markings/sec, 215 secs
lola: 5589980 markings, 17476949 edges, 23733 markings/sec, 220 secs
lola: 5711994 markings, 17868276 edges, 24403 markings/sec, 225 secs
lola: 5834803 markings, 18248744 edges, 24562 markings/sec, 230 secs
lola: 5953487 markings, 18634037 edges, 23737 markings/sec, 235 secs
lola: 6072220 markings, 19014021 edges, 23747 markings/sec, 240 secs
lola: 6190354 markings, 19387199 edges, 23627 markings/sec, 245 secs
lola: 6310348 markings, 19764743 edges, 23999 markings/sec, 250 secs
lola: 6433092 markings, 20138822 edges, 24549 markings/sec, 255 secs
lola: 6558500 markings, 20514756 edges, 25082 markings/sec, 260 secs
lola: 6680901 markings, 20896339 edges, 24480 markings/sec, 265 secs
lola: 6802945 markings, 21267224 edges, 24409 markings/sec, 270 secs
lola: 6924103 markings, 21648472 edges, 24232 markings/sec, 275 secs
lola: 7044430 markings, 22020808 edges, 24065 markings/sec, 280 secs
lola: 7164906 markings, 22388408 edges, 24095 markings/sec, 285 secs
lola: 7283056 markings, 22754163 edges, 23630 markings/sec, 290 secs
lola: 7402241 markings, 23121423 edges, 23837 markings/sec, 295 secs
lola: 7523444 markings, 23493599 edges, 24241 markings/sec, 300 secs
lola: 7646960 markings, 23867188 edges, 24703 markings/sec, 305 secs
lola: 7769777 markings, 24243873 edges, 24563 markings/sec, 310 secs
lola: 7893651 markings, 24612025 edges, 24775 markings/sec, 315 secs
lola: 8016570 markings, 24995220 edges, 24584 markings/sec, 320 secs
lola: 8138913 markings, 25373329 edges, 24469 markings/sec, 325 secs
lola: 8260113 markings, 25749074 edges, 24240 markings/sec, 330 secs
lola: 8381606 markings, 26131140 edges, 24299 markings/sec, 335 secs
lola: 8501686 markings, 26523041 edges, 24016 markings/sec, 340 secs
lola: 8623255 markings, 26915545 edges, 24314 markings/sec, 345 secs
lola: 8748584 markings, 27310099 edges, 25066 markings/sec, 350 secs
lola: 8871103 markings, 27704773 edges, 24504 markings/sec, 355 secs
lola: 8991724 markings, 28093636 edges, 24124 markings/sec, 360 secs
lola: 9113969 markings, 28496298 edges, 24449 markings/sec, 365 secs
lola: 9236729 markings, 28907339 edges, 24552 markings/sec, 370 secs
lola: 9359503 markings, 29294898 edges, 24555 markings/sec, 375 secs
lola: 9484959 markings, 29678896 edges, 25091 markings/sec, 380 secs
lola: 9607255 markings, 30053305 edges, 24459 markings/sec, 385 secs
lola: 9730094 markings, 30430390 edges, 24568 markings/sec, 390 secs
lola: 9851502 markings, 30817633 edges, 24282 markings/sec, 395 secs
lola: 9971754 markings, 31198027 edges, 24050 markings/sec, 400 secs
lola: 10088290 markings, 31584485 edges, 23307 markings/sec, 405 secs
lola: 10208849 markings, 31988353 edges, 24112 markings/sec, 410 secs
lola: 10330018 markings, 32377162 edges, 24234 markings/sec, 415 secs
lola: 10448658 markings, 32774938 edges, 23728 markings/sec, 420 secs
lola: 10568401 markings, 33169089 edges, 23949 markings/sec, 425 secs
lola: 10684436 markings, 33541136 edges, 23207 markings/sec, 430 secs
lola: 10802322 markings, 33920525 edges, 23577 markings/sec, 435 secs
lola: 10920059 markings, 34310009 edges, 23547 markings/sec, 440 secs
lola: 11038213 markings, 34700872 edges, 23631 markings/sec, 445 secs
lola: 11157849 markings, 35073895 edges, 23927 markings/sec, 450 secs
lola: 11277316 markings, 35445974 edges, 23893 markings/sec, 455 secs
lola: 11396003 markings, 35824108 edges, 23737 markings/sec, 460 secs
lola: 11517537 markings, 36188550 edges, 24307 markings/sec, 465 secs
lola: 11637694 markings, 36561736 edges, 24031 markings/sec, 470 secs
lola: 11757387 markings, 36931780 edges, 23939 markings/sec, 475 secs
lola: 11876700 markings, 37313829 edges, 23863 markings/sec, 480 secs
lola: 11996833 markings, 37687085 edges, 24027 markings/sec, 485 secs
lola: 12117009 markings, 38067747 edges, 24035 markings/sec, 490 secs
lola: 12238903 markings, 38443719 edges, 24379 markings/sec, 495 secs
lola: 12358129 markings, 38819914 edges, 23845 markings/sec, 500 secs
lola: 12476298 markings, 39191849 edges, 23634 markings/sec, 505 secs
lola: 12596488 markings, 39573010 edges, 24038 markings/sec, 510 secs
lola: 12717934 markings, 39971400 edges, 24289 markings/sec, 515 secs
lola: 12838742 markings, 40354989 edges, 24162 markings/sec, 520 secs
lola: 12961626 markings, 40729013 edges, 24577 markings/sec, 525 secs
lola: 13085439 markings, 41117575 edges, 24763 markings/sec, 530 secs
lola: 13208726 markings, 41502290 edges, 24657 markings/sec, 535 secs
lola: 13331791 markings, 41883905 edges, 24613 markings/sec, 540 secs
lola: 13454261 markings, 42261630 edges, 24494 markings/sec, 545 secs
lola: local time limit reached - aborting
lola:
preliminary result: 10 10 unknown 10 unknown 10 10 unknown unknown 10 10 10 unknown unknown unknown unknown
lola: memory consumption: 3221756 KB
lola: time consumption: 2462 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 14 will run for 554 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_5_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 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 15 will run for 1108 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_3_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: 134119 markings, 348046 edges, 26824 markings/sec, 0 secs
lola: 266581 markings, 708221 edges, 26492 markings/sec, 5 secs
lola: 397793 markings, 1061252 edges, 26242 markings/sec, 10 secs
lola: 528003 markings, 1414466 edges, 26042 markings/sec, 15 secs
lola: 656321 markings, 1777325 edges, 25664 markings/sec, 20 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 752871 markings, 2041894 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_7_)
lola: processed formula length: 16
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: 136189 markings, 425178 edges, 27238 markings/sec, 0 secs
lola: 271722 markings, 851539 edges, 27107 markings/sec, 5 secs
lola: 408847 markings, 1281750 edges, 27425 markings/sec, 10 secs
lola: 538376 markings, 1695425 edges, 25906 markings/sec, 15 secs
lola: 672769 markings, 2119013 edges, 26879 markings/sec, 20 secs
lola: 806092 markings, 2539373 edges, 26665 markings/sec, 25 secs
lola: 938947 markings, 2962756 edges, 26571 markings/sec, 30 secs
lola: 1072193 markings, 3382123 edges, 26649 markings/sec, 35 secs
lola: 1205000 markings, 3801181 edges, 26561 markings/sec, 40 secs
lola: 1336775 markings, 4221558 edges, 26355 markings/sec, 45 secs
lola: 1468711 markings, 4639121 edges, 26387 markings/sec, 50 secs
lola: 1600402 markings, 5062981 edges, 26338 markings/sec, 55 secs
lola: 1732121 markings, 5478360 edges, 26344 markings/sec, 60 secs
lola: 1865029 markings, 5901091 edges, 26582 markings/sec, 65 secs
lola: 1999168 markings, 6325242 edges, 26828 markings/sec, 70 secs
lola: 2131354 markings, 6745284 edges, 26437 markings/sec, 75 secs
lola: 2263539 markings, 7172251 edges, 26437 markings/sec, 80 secs
lola: 2395178 markings, 7602053 edges, 26328 markings/sec, 85 secs
lola: 2526501 markings, 8029225 edges, 26265 markings/sec, 90 secs
lola: 2661419 markings, 8460390 edges, 26984 markings/sec, 95 secs
lola: 2795344 markings, 8888757 edges, 26785 markings/sec, 100 secs
lola: 2925093 markings, 9300125 edges, 25950 markings/sec, 105 secs
lola: 3055879 markings, 9715627 edges, 26157 markings/sec, 110 secs
lola: 3186419 markings, 10130634 edges, 26108 markings/sec, 115 secs
lola: 3317675 markings, 10556187 edges, 26251 markings/sec, 120 secs
lola: 3449362 markings, 10978970 edges, 26337 markings/sec, 125 secs
lola: 3579132 markings, 11387074 edges, 25954 markings/sec, 130 secs
lola: 3708822 markings, 11801576 edges, 25938 markings/sec, 135 secs
lola: 3839027 markings, 12215564 edges, 26041 markings/sec, 140 secs
lola: 3969629 markings, 12630908 edges, 26120 markings/sec, 145 secs
lola: 4102060 markings, 13058677 edges, 26486 markings/sec, 150 secs
lola: 4234162 markings, 13475537 edges, 26420 markings/sec, 155 secs
lola: 4365983 markings, 13908059 edges, 26364 markings/sec, 160 secs
lola: 4495784 markings, 14323169 edges, 25960 markings/sec, 165 secs
lola: 4627594 markings, 14741650 edges, 26362 markings/sec, 170 secs
lola: 4758382 markings, 15152783 edges, 26158 markings/sec, 175 secs
lola: 4890881 markings, 15578632 edges, 26500 markings/sec, 180 secs
lola: 5025946 markings, 16008581 edges, 27013 markings/sec, 185 secs
lola: 5159027 markings, 16431422 edges, 26616 markings/sec, 190 secs
lola: 5290148 markings, 16856204 edges, 26224 markings/sec, 195 secs
lola: 5420416 markings, 17274454 edges, 26054 markings/sec, 200 secs
lola: 5548891 markings, 17683827 edges, 25695 markings/sec, 205 secs
lola: 5677674 markings, 18093803 edges, 25757 markings/sec, 210 secs
lola: 5806780 markings, 18504348 edges, 25821 markings/sec, 215 secs
lola: 5937222 markings, 18925648 edges, 26088 markings/sec, 220 secs
lola: 6067987 markings, 19348740 edges, 26153 markings/sec, 225 secs
lola: 6200410 markings, 19776284 edges, 26485 markings/sec, 230 secs
lola: 6331597 markings, 20202841 edges, 26237 markings/sec, 235 secs
lola: 6463991 markings, 20633944 edges, 26479 markings/sec, 240 secs
lola: 6594114 markings, 21059229 edges, 26025 markings/sec, 245 secs
lola: 6722762 markings, 21475566 edges, 25730 markings/sec, 250 secs
lola: 6851623 markings, 21886230 edges, 25772 markings/sec, 255 secs
lola: 6981367 markings, 22298757 edges, 25949 markings/sec, 260 secs
lola: 7109977 markings, 22709823 edges, 25722 markings/sec, 265 secs
lola: 7238646 markings, 23117279 edges, 25734 markings/sec, 270 secs
lola: 7367580 markings, 23531836 edges, 25787 markings/sec, 275 secs
lola: 7496403 markings, 23962756 edges, 25765 markings/sec, 280 secs
lola: 7627293 markings, 24379686 edges, 26178 markings/sec, 285 secs
lola: 7760858 markings, 24808722 edges, 26713 markings/sec, 290 secs
lola: 7893195 markings, 25237548 edges, 26467 markings/sec, 295 secs
lola: 8026571 markings, 25660492 edges, 26675 markings/sec, 300 secs
lola: 8156157 markings, 26070205 edges, 25917 markings/sec, 305 secs
lola: 8285714 markings, 26486122 edges, 25911 markings/sec, 310 secs
lola: 8413573 markings, 26891838 edges, 25572 markings/sec, 315 secs
lola: 8543512 markings, 27315508 edges, 25988 markings/sec, 320 secs
lola: 8671246 markings, 27722252 edges, 25547 markings/sec, 325 secs
lola: 8799517 markings, 28128736 edges, 25654 markings/sec, 330 secs
lola: 8927540 markings, 28542793 edges, 25605 markings/sec, 335 secs
lola: 9055023 markings, 28948474 edges, 25497 markings/sec, 340 secs
lola: 9183691 markings, 29356528 edges, 25734 markings/sec, 345 secs
lola: 9311705 markings, 29765289 edges, 25603 markings/sec, 350 secs
lola: 9439299 markings, 30167328 edges, 25519 markings/sec, 355 secs
lola: 9564201 markings, 30567253 edges, 24980 markings/sec, 360 secs
lola: 9689547 markings, 30977623 edges, 25069 markings/sec, 365 secs
lola: 9816673 markings, 31377092 edges, 25425 markings/sec, 370 secs
lola: 9946203 markings, 31794574 edges, 25906 markings/sec, 375 secs
lola: 10074127 markings, 32206213 edges, 25585 markings/sec, 380 secs
lola: 10201652 markings, 32617352 edges, 25505 markings/sec, 385 secs
lola: 10331097 markings, 33026839 edges, 25889 markings/sec, 390 secs
lola: 10462811 markings, 33450611 edges, 26343 markings/sec, 395 secs
lola: 10591327 markings, 33865846 edges, 25703 markings/sec, 400 secs
lola: 10718871 markings, 34268483 edges, 25509 markings/sec, 405 secs
lola: 10845538 markings, 34672446 edges, 25333 markings/sec, 410 secs
lola: 10972934 markings, 35084935 edges, 25479 markings/sec, 415 secs
lola: 11103272 markings, 35495577 edges, 26068 markings/sec, 420 secs
lola: 11232531 markings, 35919618 edges, 25852 markings/sec, 425 secs
lola: 11361928 markings, 36327942 edges, 25879 markings/sec, 430 secs
lola: 11493503 markings, 36744950 edges, 26315 markings/sec, 435 secs
lola: 11625097 markings, 37168932 edges, 26319 markings/sec, 440 secs
lola: 11755320 markings, 37598640 edges, 26045 markings/sec, 445 secs
lola: 11886515 markings, 38011983 edges, 26239 markings/sec, 450 secs
lola: 12015235 markings, 38420561 edges, 25744 markings/sec, 455 secs
lola: 12144673 markings, 38827705 edges, 25888 markings/sec, 460 secs
lola: 12271709 markings, 39229198 edges, 25407 markings/sec, 465 secs
lola: 12396975 markings, 39632540 edges, 25053 markings/sec, 470 secs
lola: 12524011 markings, 40036916 edges, 25407 markings/sec, 475 secs
lola: 12652300 markings, 40446628 edges, 25658 markings/sec, 480 secs
lola: 12779864 markings, 40860125 edges, 25513 markings/sec, 485 secs
lola: 12908693 markings, 41265728 edges, 25766 markings/sec, 490 secs
lola: 13036808 markings, 41673950 edges, 25623 markings/sec, 495 secs
lola: 13165584 markings, 42081729 edges, 25755 markings/sec, 500 secs
lola: 13294852 markings, 42491547 edges, 25854 markings/sec, 505 secs
lola: 13422710 markings, 42895677 edges, 25572 markings/sec, 510 secs
lola: 13551621 markings, 43301226 edges, 25782 markings/sec, 515 secs
lola: 13679944 markings, 43706381 edges, 25665 markings/sec, 520 secs
lola: 13810813 markings, 44126098 edges, 26174 markings/sec, 525 secs
lola: 13939716 markings, 44535650 edges, 25781 markings/sec, 530 secs
lola: 14067792 markings, 44949703 edges, 25615 markings/sec, 535 secs
lola: 14195978 markings, 45357836 edges, 25637 markings/sec, 540 secs
lola: 14321992 markings, 45759673 edges, 25203 markings/sec, 545 secs
lola: 14447032 markings, 46164737 edges, 25008 markings/sec, 550 secs
lola: 14572212 markings, 46564905 edges, 25036 markings/sec, 555 secs
lola: 14697371 markings, 46973696 edges, 25032 markings/sec, 560 secs
lola: 14823589 markings, 47377233 edges, 25244 markings/sec, 565 secs
lola: 14948893 markings, 47779948 edges, 25061 markings/sec, 570 secs
lola: 15075471 markings, 48185473 edges, 25316 markings/sec, 575 secs
lola: 15204262 markings, 48598242 edges, 25758 markings/sec, 580 secs
lola: 15332685 markings, 49017747 edges, 25685 markings/sec, 585 secs
lola: 15462324 markings, 49431541 edges, 25928 markings/sec, 590 secs
lola: 15590716 markings, 49854292 edges, 25678 markings/sec, 595 secs
lola: 15721211 markings, 50271607 edges, 26099 markings/sec, 600 secs
lola: 15849782 markings, 50683577 edges, 25714 markings/sec, 605 secs
lola: 15979269 markings, 51098983 edges, 25897 markings/sec, 610 secs
lola: 16109503 markings, 51510459 edges, 26047 markings/sec, 615 secs
lola: 16236893 markings, 51914446 edges, 25478 markings/sec, 620 secs
lola: 16362779 markings, 52311244 edges, 25177 markings/sec, 625 secs
lola: 16491000 markings, 52714988 edges, 25644 markings/sec, 630 secs
lola: 16620354 markings, 53122910 edges, 25871 markings/sec, 635 secs
lola: 16748974 markings, 53550453 edges, 25724 markings/sec, 640 secs
lola: 16878710 markings, 53967386 edges, 25947 markings/sec, 645 secs
lola: 17007871 markings, 54378069 edges, 25832 markings/sec, 650 secs
lola: 17136793 markings, 54793980 edges, 25784 markings/sec, 655 secs
lola: 17266693 markings, 55217587 edges, 25980 markings/sec, 660 secs
lola: 17396466 markings, 55636390 edges, 25955 markings/sec, 665 secs
lola: 17526561 markings, 56049430 edges, 26019 markings/sec, 670 secs
lola: 17657039 markings, 56472406 edges, 26096 markings/sec, 675 secs
lola: 17786388 markings, 56902435 edges, 25870 markings/sec, 680 secs
lola: 17914810 markings, 57313974 edges, 25684 markings/sec, 685 secs
lola: 18042941 markings, 57730291 edges, 25626 markings/sec, 690 secs
lola: 18170251 markings, 58148305 edges, 25462 markings/sec, 695 secs
lola: 18301227 markings, 58571252 edges, 26195 markings/sec, 700 secs
lola: 18432154 markings, 58985467 edges, 26185 markings/sec, 705 secs
lola: 18565892 markings, 59407281 edges, 26748 markings/sec, 710 secs
lola: 18692437 markings, 59811646 edges, 25309 markings/sec, 715 secs
lola: 18818694 markings, 60208693 edges, 25251 markings/sec, 720 secs
lola: 18941382 markings, 60605379 edges, 24538 markings/sec, 725 secs
lola: 19066469 markings, 61016323 edges, 25017 markings/sec, 730 secs
lola: 19193656 markings, 61425963 edges, 25437 markings/sec, 735 secs
lola: 19318771 markings, 61825398 edges, 25023 markings/sec, 740 secs
lola: 19443870 markings, 62220383 edges, 25020 markings/sec, 745 secs
lola: 19572484 markings, 62623836 edges, 25723 markings/sec, 750 secs
lola: 19702378 markings, 63044268 edges, 25979 markings/sec, 755 secs
lola: 19831605 markings, 63459532 edges, 25845 markings/sec, 760 secs
lola: 19959281 markings, 63866377 edges, 25535 markings/sec, 765 secs
lola: 20085889 markings, 64274239 edges, 25322 markings/sec, 770 secs
lola: 20210480 markings, 64678360 edges, 24918 markings/sec, 775 secs
lola: 20336059 markings, 65074875 edges, 25116 markings/sec, 780 secs
lola: 20461436 markings, 65478900 edges, 25075 markings/sec, 785 secs
lola: 20587045 markings, 65882909 edges, 25122 markings/sec, 790 secs
lola: 20712602 markings, 66281194 edges, 25111 markings/sec, 795 secs
lola: 20836785 markings, 66682060 edges, 24837 markings/sec, 800 secs
lola: 20962130 markings, 67082933 edges, 25069 markings/sec, 805 secs
lola: 21087481 markings, 67488027 edges, 25070 markings/sec, 810 secs
lola: 21211637 markings, 67889901 edges, 24831 markings/sec, 815 secs
lola: 21328704 markings, 68262503 edges, 23413 markings/sec, 820 secs
lola: 21446161 markings, 68634040 edges, 23491 markings/sec, 825 secs
lola: 21564880 markings, 69013239 edges, 23744 markings/sec, 830 secs
lola: 21687260 markings, 69402261 edges, 24476 markings/sec, 835 secs
lola: 21809297 markings, 69784601 edges, 24407 markings/sec, 840 secs
lola: 21932207 markings, 70177333 edges, 24582 markings/sec, 845 secs
lola: 22052505 markings, 70560843 edges, 24060 markings/sec, 850 secs
lola: 22173491 markings, 70945243 edges, 24197 markings/sec, 855 secs
lola: 22302712 markings, 71351527 edges, 25844 markings/sec, 860 secs
lola: 22434369 markings, 71769295 edges, 26331 markings/sec, 865 secs
lola: 22564810 markings, 72188164 edges, 26088 markings/sec, 870 secs
lola: 22696371 markings, 72609470 edges, 26312 markings/sec, 875 secs
lola: 22827573 markings, 73029387 edges, 26240 markings/sec, 880 secs
lola: 22959727 markings, 73446189 edges, 26431 markings/sec, 885 secs
lola: 23090481 markings, 73874393 edges, 26151 markings/sec, 890 secs
lola: 23221251 markings, 74287531 edges, 26154 markings/sec, 895 secs
lola: 23353651 markings, 74706940 edges, 26480 markings/sec, 900 secs
lola: 23485551 markings, 75132502 edges, 26380 markings/sec, 905 secs
lola: 23616080 markings, 75562435 edges, 26106 markings/sec, 910 secs
lola: 23748796 markings, 75981271 edges, 26543 markings/sec, 915 secs
lola: 23877718 markings, 76393109 edges, 25784 markings/sec, 920 secs
lola: 24007077 markings, 76802845 edges, 25872 markings/sec, 925 secs
lola: 24138650 markings, 77219498 edges, 26315 markings/sec, 930 secs
lola: 24269145 markings, 77643015 edges, 26099 markings/sec, 935 secs
lola: 24397133 markings, 78049935 edges, 25598 markings/sec, 940 secs
lola: 24524876 markings, 78459765 edges, 25549 markings/sec, 945 secs
lola: 24649214 markings, 78849202 edges, 24868 markings/sec, 950 secs
lola: 24774407 markings, 79251709 edges, 25039 markings/sec, 955 secs
lola: 24899665 markings, 79648812 edges, 25052 markings/sec, 960 secs
lola: 25025275 markings, 80050963 edges, 25122 markings/sec, 965 secs
lola: 25152819 markings, 80459934 edges, 25509 markings/sec, 970 secs
lola: 25280805 markings, 80864078 edges, 25597 markings/sec, 975 secs
lola: 25408921 markings, 81284388 edges, 25623 markings/sec, 980 secs
lola: 25535524 markings, 81690659 edges, 25321 markings/sec, 985 secs
lola: 25663238 markings, 82095242 edges, 25543 markings/sec, 990 secs
lola: 25791142 markings, 82496550 edges, 25581 markings/sec, 995 secs
lola: 25919585 markings, 82909119 edges, 25689 markings/sec, 1000 secs
lola: 26049804 markings, 83325173 edges, 26044 markings/sec, 1005 secs
lola: 26179365 markings, 83736050 edges, 25912 markings/sec, 1010 secs
lola: 26307514 markings, 84148536 edges, 25630 markings/sec, 1015 secs
lola: 26434477 markings, 84559003 edges, 25393 markings/sec, 1020 secs
lola: 26557047 markings, 84949189 edges, 24514 markings/sec, 1025 secs
lola: 26682135 markings, 85346408 edges, 25018 markings/sec, 1030 secs
lola: 26806859 markings, 85744437 edges, 24945 markings/sec, 1035 secs
lola: 26932461 markings, 86152120 edges, 25120 markings/sec, 1040 secs
lola: 27059546 markings, 86555231 edges, 25417 markings/sec, 1045 secs
lola: 27187450 markings, 86967205 edges, 25581 markings/sec, 1050 secs
lola: 27315462 markings, 87375780 edges, 25602 markings/sec, 1055 secs
lola: 27446113 markings, 87792616 edges, 26130 markings/sec, 1060 secs
lola: 27575535 markings, 88218219 edges, 25884 markings/sec, 1065 secs
lola: 27706940 markings, 88637807 edges, 26281 markings/sec, 1070 secs
lola: time limit reached - aborting
lola:
preliminary result: 10 10 unknown 10 unknown 10 10 unknown unknown 10 10 10 unknown unknown 10 10
lola: lola: caught signal User defined signal 1 - aborting LoLA

preliminary result: 10 10 unknown 10 unknown 10 10 unknown unknown 10 10 10 unknown unknown 10 10 lola:

preliminary result: 10 10 unknown 10 unknown 10 10 unknown unknown 10 10 10 unknown unknown 10 10
lola: memory consumption: 8318912 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 1552557853460

--------------------
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="Diffusion2D-PT-D10N010"
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 Diffusion2D-PT-D10N010, 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 r060-ebro-155234654600074"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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