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-155234654600065.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-D05N350, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-155234654600065
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 3.1K Feb 10 21:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 10 21:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 6 17:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 6 17:50 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 9.7K Feb 4 23:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 6.9K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 3 07:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 3 07:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Jan 30 23:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K 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 55K 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-D05N350-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D05N350-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552552753917

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

FORMULA Diffusion2D-PT-D05N350-UpperBounds-00 350 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-01 350 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-02 350 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-03 350 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-04 350 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-06 350 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-08 350 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-09 350 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-11 350 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-12 350 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-13 350 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-14 350 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-15 350 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-05 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-07 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Diffusion2D-PT-D05N350-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 50
rslt: Output for UpperBounds @ Diffusion2D-PT-D05N350

{
"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 08:39:14 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__3_1_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 3167,
"markings": 2109,
"produced_by": "search",
"value": 350
},
"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(cAMP__3_1_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 3167,
"markings": 2109,
"produced_by": "search",
"value": 350
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(cAMP__4_1_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 1049,
"markings": 701,
"produced_by": "search",
"value": 350
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(cAMP__3_1_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 3167,
"markings": 2109,
"produced_by": "search",
"value": 350
},
"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": 297
},
"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_4_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 961837,
"markings": 391559,
"produced_by": "search",
"value": 350
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(cAMP__2_5_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 700,
"markings": 701,
"produced_by": "search",
"value": 350
},
"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": 359
},
"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__3_1_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 3167,
"markings": 2109,
"produced_by": "search",
"value": 350
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 411
},
"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_1_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 1049,
"markings": 701,
"produced_by": "search",
"value": 350
},
"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": 479
},
"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__2_3_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 350,
"markings": 351,
"produced_by": "search",
"value": 350
},
"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": 599
},
"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__2_2_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 350,
"markings": 351,
"produced_by": "search",
"value": 350
},
"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": 798
},
"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__2_4_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 350,
"markings": 351,
"produced_by": "search",
"value": 350
},
"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": 1198
},
"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_2_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 71759989,
"markings": 21559826,
"produced_by": "search",
"value": 350
},
"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": 2163
},
"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__2_3_)",
"processed_size": 15,
"rewrites": 0
},
"result":
{
"edges": 350,
"markings": 351,
"produced_by": "search",
"value": 350
},
"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": 15884,
"runtime": 3519.000000,
"signal": null,
"timelimitreached": false
},
"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": 288,
"conflict_clusters": 25,
"places": 25,
"places_significant": 24,
"singleton_clusters": 0,
"transitions": 144
},
"result":
{
"preliminary_value": "350 350 350 350 350 unknown 350 unknown 350 350 unknown 350 350 350 350 350 ",
"value": "350 350 350 350 350 unknown 350 unknown 350 350 unknown 350 350 350 350 350 "
},
"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: 169/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 144 transitions, 24 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__3_1_) : MAX(cAMP__3_1_) : MAX(cAMP__4_1_) : MAX(cAMP__3_1_) : MAX(cAMP__1_4_) : MAX(cAMP__5_4_) : MAX(cAMP__2_5_) : MAX(cAMP__5_4_) : MAX(cAMP__3_1_) : MAX(cAMP__4_1_) : MAX(cAMP__5_5_) : MAX(cAMP__2_3_) : MAX(cAMP__2_2_) : MAX(cAMP__2_4_) : MAX(cAMP__5_2_) : MAX(cAMP__2_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__3_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_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: 350
lola: SUBRESULT
lola: result: 350
lola: produced by: state space
lola: The maximum value of the given expression is 350
lola: 2109 markings, 3167 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_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: 350
lola: SUBRESULT
lola: result: 350
lola: produced by: state space
lola: The maximum value of the given expression is 350
lola: 2109 markings, 3167 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_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: 350
lola: SUBRESULT
lola: result: 350
lola: produced by: state space
lola: The maximum value of the given expression is 350
lola: 701 markings, 1049 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_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: 350
lola: SUBRESULT
lola: result: 350
lola: produced by: state space
lola: The maximum value of the given expression is 350
lola: 2109 markings, 3167 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_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: 350
lola: SUBRESULT
lola: result: 350
lola: produced by: state space
lola: The maximum value of the given expression is 350
lola: 391559 markings, 961837 edges
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_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: 350
lola: 576261 markings, 1336045 edges, 115252 markings/sec, 0 secs
lola: 1143605 markings, 2561087 edges, 113469 markings/sec, 5 secs
lola: 1703580 markings, 3818220 edges, 111995 markings/sec, 10 secs
lola: 2263759 markings, 5021841 edges, 112036 markings/sec, 15 secs
lola: 2812674 markings, 6127783 edges, 109783 markings/sec, 20 secs
lola: 3356114 markings, 7223072 edges, 108688 markings/sec, 25 secs
lola: 3896808 markings, 8313197 edges, 108139 markings/sec, 30 secs
lola: 4436877 markings, 9402323 edges, 108014 markings/sec, 35 secs
lola: 4976397 markings, 10490878 edges, 107904 markings/sec, 40 secs
lola: 5515039 markings, 11579486 edges, 107728 markings/sec, 45 secs
lola: 6052236 markings, 12663760 edges, 107439 markings/sec, 50 secs
lola: 6590538 markings, 13752778 edges, 107660 markings/sec, 55 secs
lola: 7128652 markings, 14839265 edges, 107623 markings/sec, 60 secs
lola: 7666917 markings, 15928945 edges, 107653 markings/sec, 65 secs
lola: 8202039 markings, 17010440 edges, 107024 markings/sec, 70 secs
lola: 8738642 markings, 18097479 edges, 107321 markings/sec, 75 secs
lola: 9281240 markings, 19197094 edges, 108520 markings/sec, 80 secs
lola: 9824802 markings, 20299198 edges, 108712 markings/sec, 85 secs
lola: 10365276 markings, 21395639 edges, 108095 markings/sec, 90 secs
lola: 10912645 markings, 22509240 edges, 109474 markings/sec, 95 secs
lola: 11459241 markings, 23618972 edges, 109319 markings/sec, 100 secs
lola: 12007013 markings, 24734642 edges, 109554 markings/sec, 105 secs
lola: 12554225 markings, 25850137 edges, 109442 markings/sec, 110 secs
lola: 13100416 markings, 26964398 edges, 109238 markings/sec, 115 secs
lola: 13649257 markings, 28088136 edges, 109768 markings/sec, 120 secs
lola: 14195337 markings, 29207758 edges, 109216 markings/sec, 125 secs
lola: 14746961 markings, 30339381 edges, 110325 markings/sec, 130 secs
lola: 15299429 markings, 31478234 edges, 110494 markings/sec, 135 secs
lola: 15854026 markings, 32627493 edges, 110919 markings/sec, 140 secs
lola: 16403768 markings, 33773799 edges, 109948 markings/sec, 145 secs
lola: 16964678 markings, 34949682 edges, 112182 markings/sec, 150 secs
lola: 17522720 markings, 36142946 edges, 111608 markings/sec, 155 secs
lola: 18081257 markings, 37438848 edges, 111707 markings/sec, 160 secs
lola: 18585513 markings, 38767745 edges, 100851 markings/sec, 165 secs
lola: 19146000 markings, 39892707 edges, 112097 markings/sec, 170 secs
lola: 19697357 markings, 41157616 edges, 110271 markings/sec, 175 secs
lola: 20252079 markings, 42389984 edges, 110944 markings/sec, 180 secs
lola: 20813727 markings, 43621661 edges, 112330 markings/sec, 185 secs
lola: 21362745 markings, 44844773 edges, 109804 markings/sec, 190 secs
lola: 21906609 markings, 45979593 edges, 108773 markings/sec, 195 secs
lola: 22451331 markings, 47075852 edges, 108944 markings/sec, 200 secs
lola: 23002107 markings, 48185923 edges, 110155 markings/sec, 205 secs
lola: 23554666 markings, 49299831 edges, 110512 markings/sec, 210 secs
lola: 24105430 markings, 50411937 edges, 110153 markings/sec, 215 secs
lola: 24653443 markings, 51517343 edges, 109603 markings/sec, 220 secs
lola: 25207767 markings, 52635813 edges, 110865 markings/sec, 225 secs
lola: 25760709 markings, 53753398 edges, 110588 markings/sec, 230 secs
lola: 26312265 markings, 54869205 edges, 110311 markings/sec, 235 secs
lola: 26863949 markings, 55982840 edges, 110337 markings/sec, 240 secs
lola: 27415429 markings, 57099060 edges, 110296 markings/sec, 245 secs
lola: 27968744 markings, 58219418 edges, 110663 markings/sec, 250 secs
lola: 28520464 markings, 59336853 edges, 110344 markings/sec, 255 secs
lola: 29075005 markings, 60460715 edges, 110908 markings/sec, 260 secs
lola: 29628603 markings, 61582871 edges, 110720 markings/sec, 265 secs
lola: 30180777 markings, 62706176 edges, 110435 markings/sec, 270 secs
lola: 30735016 markings, 63830467 edges, 110848 markings/sec, 275 secs
lola: 31286869 markings, 64953896 edges, 110371 markings/sec, 280 secs
lola: 31840874 markings, 66082616 edges, 110801 markings/sec, 285 secs
lola: 32393284 markings, 67208676 edges, 110482 markings/sec, 290 secs
lola: 32948672 markings, 68345713 edges, 111078 markings/sec, 295 secs
lola: 33506160 markings, 69483501 edges, 111498 markings/sec, 300 secs
lola: 34063898 markings, 70630849 edges, 111548 markings/sec, 305 secs
lola: 34621902 markings, 71780122 edges, 111601 markings/sec, 310 secs
lola: 35182115 markings, 72934916 edges, 112043 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 350 350 350 350 350 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7209376 KB
lola: time consumption: 333 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 323 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: 350
lola: SUBRESULT
lola: result: 350
lola: produced by: state space
lola: The maximum value of the given expression is 350
lola: 701 markings, 700 edges
lola: ========================================
lola: subprocess 7 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_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: 350
lola: 596256 markings, 1389477 edges, 119251 markings/sec, 0 secs
lola: 1185858 markings, 2645913 edges, 117920 markings/sec, 5 secs
lola: 1751772 markings, 3947259 edges, 113183 markings/sec, 10 secs
lola: 2324888 markings, 5144571 edges, 114623 markings/sec, 15 secs
lola: 2892178 markings, 6287385 edges, 113458 markings/sec, 20 secs
lola: 3460202 markings, 7432364 edges, 113605 markings/sec, 25 secs
lola: 4023295 markings, 8568985 edges, 112619 markings/sec, 30 secs
lola: 4581959 markings, 9695441 edges, 111733 markings/sec, 35 secs
lola: 5141602 markings, 10824324 edges, 111929 markings/sec, 40 secs
lola: 5701362 markings, 11955448 edges, 111952 markings/sec, 45 secs
lola: 6257788 markings, 13078553 edges, 111285 markings/sec, 50 secs
lola: 6815739 markings, 14206874 edges, 111590 markings/sec, 55 secs
lola: 7371409 markings, 15331235 edges, 111134 markings/sec, 60 secs
lola: 7926278 markings, 16452251 edges, 110974 markings/sec, 65 secs
lola: 8480783 markings, 17574902 edges, 110901 markings/sec, 70 secs
lola: 9037384 markings, 18702423 edges, 111320 markings/sec, 75 secs
lola: 9593789 markings, 19830243 edges, 111281 markings/sec, 80 secs
lola: 10148954 markings, 20958502 edges, 111033 markings/sec, 85 secs
lola: 10707894 markings, 22092029 edges, 111788 markings/sec, 90 secs
lola: 11263199 markings, 23222122 edges, 111061 markings/sec, 95 secs
lola: 11818310 markings, 24352896 edges, 111022 markings/sec, 100 secs
lola: 12375393 markings, 25487963 edges, 111417 markings/sec, 105 secs
lola: 12934780 markings, 26628195 edges, 111877 markings/sec, 110 secs
lola: 13494632 markings, 27770421 edges, 111970 markings/sec, 115 secs
lola: 14054156 markings, 28916410 edges, 111905 markings/sec, 120 secs
lola: 14616194 markings, 30072946 edges, 112408 markings/sec, 125 secs
lola: 15179707 markings, 31233792 edges, 112703 markings/sec, 130 secs
lola: 15744088 markings, 32397489 edges, 112876 markings/sec, 135 secs
lola: 16310881 markings, 33577398 edges, 113359 markings/sec, 140 secs
lola: 16879563 markings, 34768365 edges, 113736 markings/sec, 145 secs
lola: 17450238 markings, 35982995 edges, 114135 markings/sec, 150 secs
lola: 18024755 markings, 37276717 edges, 114903 markings/sec, 155 secs
lola: 18554593 markings, 38705692 edges, 105968 markings/sec, 160 secs
lola: 19128323 markings, 39857608 edges, 114746 markings/sec, 165 secs
lola: 19691999 markings, 41146929 edges, 112735 markings/sec, 170 secs
lola: 20260300 markings, 42412025 edges, 113660 markings/sec, 175 secs
lola: 20836215 markings, 43666760 edges, 115183 markings/sec, 180 secs
lola: 21397262 markings, 44914088 edges, 112209 markings/sec, 185 secs
lola: 21953033 markings, 46072861 edges, 111154 markings/sec, 190 secs
lola: 22507473 markings, 47188637 edges, 110888 markings/sec, 195 secs
lola: 23067649 markings, 48319042 edges, 112035 markings/sec, 200 secs
lola: 23627422 markings, 49447386 edges, 111955 markings/sec, 205 secs
lola: 24185778 markings, 50573244 edges, 111671 markings/sec, 210 secs
lola: 24745456 markings, 51704034 edges, 111936 markings/sec, 215 secs
lola: 25302576 markings, 52827753 edges, 111424 markings/sec, 220 secs
lola: 25861018 markings, 53957016 edges, 111688 markings/sec, 225 secs
lola: 26418444 markings, 55081971 edges, 111485 markings/sec, 230 secs
lola: 26975121 markings, 56208182 edges, 111335 markings/sec, 235 secs
lola: 27531561 markings, 57334666 edges, 111288 markings/sec, 240 secs
lola: 28087708 markings, 58460733 edges, 111229 markings/sec, 245 secs
lola: 28644383 markings, 59588286 edges, 111335 markings/sec, 250 secs
lola: 29201125 markings, 60716414 edges, 111348 markings/sec, 255 secs
lola: 29757849 markings, 61845180 edges, 111345 markings/sec, 260 secs
lola: 30313496 markings, 62975516 edges, 111129 markings/sec, 265 secs
lola: 30869527 markings, 64103612 edges, 111206 markings/sec, 270 secs
lola: 31426754 markings, 65238084 edges, 111445 markings/sec, 275 secs
lola: 31985005 markings, 66375404 edges, 111650 markings/sec, 280 secs
lola: 32543297 markings, 67515995 edges, 111658 markings/sec, 285 secs
lola: 33103662 markings, 68660116 edges, 112073 markings/sec, 290 secs
lola: 33664512 markings, 69808952 edges, 112170 markings/sec, 295 secs
lola: 34226546 markings, 70965440 edges, 112407 markings/sec, 300 secs
lola: 34790957 markings, 72127986 edges, 112882 markings/sec, 305 secs
lola: 35355322 markings, 73296600 edges, 112873 markings/sec, 310 secs
lola: 35920217 markings, 74472473 edges, 112979 markings/sec, 315 secs
lola: 36487029 markings, 75660022 edges, 113362 markings/sec, 320 secs
lola: 37054513 markings, 76873924 edges, 113497 markings/sec, 325 secs
lola: 37610526 markings, 78185401 edges, 111203 markings/sec, 330 secs
lola: 38169699 markings, 79423847 edges, 111835 markings/sec, 335 secs
lola: 38732791 markings, 80635012 edges, 112618 markings/sec, 340 secs
lola: 39293682 markings, 81764278 edges, 112178 markings/sec, 345 secs
lola: 39849146 markings, 82887381 edges, 111093 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: 350 350 350 350 350 unknown 350 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8255624 KB
lola: time consumption: 693 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 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_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: 350
lola: SUBRESULT
lola: result: 350
lola: produced by: state space
lola: The maximum value of the given expression is 350
lola: 2109 markings, 3167 edges
lola: ========================================
lola: subprocess 9 will run for 411 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_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: 350
lola: SUBRESULT
lola: result: 350
lola: produced by: state space
lola: The maximum value of the given expression is 350
lola: 701 markings, 1049 edges
lola: ========================================
lola: subprocess 10 will run for 479 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: 350
lola: 629510 markings, 1570270 edges, 125902 markings/sec, 0 secs
lola: 1245286 markings, 3111979 edges, 123155 markings/sec, 5 secs
lola: 1862028 markings, 4655722 edges, 123348 markings/sec, 10 secs
lola: 2470535 markings, 6183757 edges, 121701 markings/sec, 15 secs
lola: 3086902 markings, 7734012 edges, 123273 markings/sec, 20 secs
lola: 3705361 markings, 9289922 edges, 123692 markings/sec, 25 secs
lola: 4320705 markings, 10846398 edges, 123069 markings/sec, 30 secs
lola: 4937077 markings, 12410817 edges, 123274 markings/sec, 35 secs
lola: 5555923 markings, 13988827 edges, 123769 markings/sec, 40 secs
lola: 6186021 markings, 15610489 edges, 126020 markings/sec, 45 secs
lola: 6823204 markings, 17270000 edges, 127437 markings/sec, 50 secs
lola: 7460397 markings, 18950063 edges, 127439 markings/sec, 55 secs
lola: 8020936 markings, 20339022 edges, 112108 markings/sec, 60 secs
lola: 8573651 markings, 21708726 edges, 110543 markings/sec, 65 secs
lola: 9121420 markings, 23066316 edges, 109554 markings/sec, 70 secs
lola: 9667465 markings, 24419861 edges, 109209 markings/sec, 75 secs
lola: 10207628 markings, 25759016 edges, 108033 markings/sec, 80 secs
lola: 10747896 markings, 27096127 edges, 108054 markings/sec, 85 secs
lola: 11286933 markings, 28433063 edges, 107807 markings/sec, 90 secs
lola: 11825604 markings, 29766968 edges, 107734 markings/sec, 95 secs
lola: 12361833 markings, 31097501 edges, 107246 markings/sec, 100 secs
lola: 12896314 markings, 32421697 edges, 106896 markings/sec, 105 secs
lola: 13430880 markings, 33746528 edges, 106913 markings/sec, 110 secs
lola: 13965096 markings, 35070884 edges, 106843 markings/sec, 115 secs
lola: 14499911 markings, 36395225 edges, 106963 markings/sec, 120 secs
lola: 15036058 markings, 37723527 edges, 107229 markings/sec, 125 secs
lola: 15568041 markings, 39041987 edges, 106397 markings/sec, 130 secs
lola: 16099297 markings, 40359276 edges, 106251 markings/sec, 135 secs
lola: 16628575 markings, 41670689 edges, 105856 markings/sec, 140 secs
lola: 17149991 markings, 42963274 edges, 104283 markings/sec, 145 secs
lola: 17674566 markings, 44263310 edges, 104915 markings/sec, 150 secs
lola: 18195625 markings, 45554506 edges, 104212 markings/sec, 155 secs
lola: 18719312 markings, 46851737 edges, 104737 markings/sec, 160 secs
lola: 19245802 markings, 48156552 edges, 105298 markings/sec, 165 secs
lola: 19775634 markings, 49469514 edges, 105966 markings/sec, 170 secs
lola: 20313214 markings, 50797959 edges, 107516 markings/sec, 175 secs
lola: 20831764 markings, 52082170 edges, 103710 markings/sec, 180 secs
lola: 21344067 markings, 53353848 edges, 102461 markings/sec, 185 secs
lola: 21855992 markings, 54621963 edges, 102385 markings/sec, 190 secs
lola: 22361812 markings, 55875137 edges, 101164 markings/sec, 195 secs
lola: 22859950 markings, 57109355 edges, 99628 markings/sec, 200 secs
lola: 23360865 markings, 58350763 edges, 100183 markings/sec, 205 secs
lola: 23859788 markings, 59587504 edges, 99785 markings/sec, 210 secs
lola: 24359585 markings, 60826689 edges, 99959 markings/sec, 215 secs
lola: 24858456 markings, 62063572 edges, 99774 markings/sec, 220 secs
lola: 25358270 markings, 63301361 edges, 99963 markings/sec, 225 secs
lola: 25851910 markings, 64523877 edges, 98728 markings/sec, 230 secs
lola: 26348234 markings, 65755637 edges, 99265 markings/sec, 235 secs
lola: 26844019 markings, 66984278 edges, 99157 markings/sec, 240 secs
lola: 27335756 markings, 68201345 edges, 98347 markings/sec, 245 secs
lola: 27828385 markings, 69423004 edges, 98526 markings/sec, 250 secs
lola: 28320609 markings, 70642402 edges, 98445 markings/sec, 255 secs
lola: 28814050 markings, 71865439 edges, 98688 markings/sec, 260 secs
lola: 29309931 markings, 73095175 edges, 99176 markings/sec, 265 secs
lola: 29807926 markings, 74329081 edges, 99599 markings/sec, 270 secs
lola: 30308060 markings, 75568613 edges, 100027 markings/sec, 275 secs
lola: 30807803 markings, 76806745 edges, 99949 markings/sec, 280 secs
lola: 31310155 markings, 78051892 edges, 100470 markings/sec, 285 secs
lola: 31810122 markings, 79290563 edges, 99993 markings/sec, 290 secs
lola: 32309113 markings, 80526618 edges, 99798 markings/sec, 295 secs
lola: 32825819 markings, 81803210 edges, 103341 markings/sec, 300 secs
lola: 33338352 markings, 83075351 edges, 102507 markings/sec, 305 secs
lola: 33852252 markings, 84348294 edges, 102780 markings/sec, 310 secs
lola: 34357888 markings, 85600825 edges, 101127 markings/sec, 315 secs
lola: 34866048 markings, 86859988 edges, 101632 markings/sec, 320 secs
lola: 35373163 markings, 88116752 edges, 101423 markings/sec, 325 secs
lola: 35875988 markings, 89363093 edges, 100565 markings/sec, 330 secs
lola: 36377048 markings, 90605306 edges, 100212 markings/sec, 335 secs
lola: 36876022 markings, 91842562 edges, 99795 markings/sec, 340 secs
lola: 37374546 markings, 93076707 edges, 99705 markings/sec, 345 secs
lola: 37872243 markings, 94311419 edges, 99539 markings/sec, 350 secs
lola: 38373238 markings, 95552455 edges, 100199 markings/sec, 355 secs
lola: 38870052 markings, 96783518 edges, 99363 markings/sec, 360 secs
lola: 39369319 markings, 98021113 edges, 99853 markings/sec, 365 secs
lola: 39863347 markings, 99244195 edges, 98806 markings/sec, 370 secs
lola: 40357147 markings, 100469084 edges, 98760 markings/sec, 375 secs
lola: 40850765 markings, 101692264 edges, 98724 markings/sec, 380 secs
lola: 41343421 markings, 102913169 edges, 98531 markings/sec, 385 secs
lola: 41838211 markings, 104139537 edges, 98958 markings/sec, 390 secs
lola: 42334713 markings, 105369188 edges, 99300 markings/sec, 395 secs
lola: 42830609 markings, 106598437 edges, 99179 markings/sec, 400 secs
lola: 43326932 markings, 107828304 edges, 99265 markings/sec, 405 secs
lola: 43827519 markings, 109068749 edges, 100117 markings/sec, 410 secs
lola: 44326234 markings, 110304689 edges, 99743 markings/sec, 415 secs
lola: 44846856 markings, 111592078 edges, 104124 markings/sec, 420 secs
lola: 45420040 markings, 113012725 edges, 114637 markings/sec, 425 secs
lola: 45984470 markings, 114411745 edges, 112886 markings/sec, 430 secs
lola: 46543400 markings, 115797340 edges, 111786 markings/sec, 435 secs
lola: 47102364 markings, 117180603 edges, 111793 markings/sec, 440 secs
lola: 47654884 markings, 118550749 edges, 110504 markings/sec, 445 secs
lola: 48206420 markings, 119918706 edges, 110307 markings/sec, 450 secs
lola: 48757255 markings, 121282792 edges, 110167 markings/sec, 455 secs
lola: 49308780 markings, 122648964 edges, 110305 markings/sec, 460 secs
lola: 49853232 markings, 123998642 edges, 108890 markings/sec, 465 secs
lola: 50395417 markings, 125342763 edges, 108437 markings/sec, 470 secs
lola: local time limit reached - aborting
lola:
preliminary result: 350 350 350 350 350 unknown 350 unknown 350 350 unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 479 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_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: 350
lola: SUBRESULT
lola: result: 350
lola: produced by: state space
lola: The maximum value of the given expression is 350
lola: 351 markings, 350 edges
lola: ========================================
lola: subprocess 12 will run for 599 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_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: 350
lola: SUBRESULT
lola: result: 350
lola: produced by: state space
lola: The maximum value of the given expression is 350
lola: 351 markings, 350 edges
lola: ========================================
lola: subprocess 13 will run for 798 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_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: 350
lola: SUBRESULT
lola: result: 350
lola: produced by: state space
lola: The maximum value of the given expression is 350
lola: 351 markings, 350 edges
lola: ========================================
lola: subprocess 14 will run for 1198 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_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: 350
lola: 519162 markings, 1720981 edges, 103832 markings/sec, 0 secs
lola: 1018697 markings, 3380749 edges, 99907 markings/sec, 5 secs
lola: 1511375 markings, 5019203 edges, 98536 markings/sec, 10 secs
lola: 1999512 markings, 6642110 edges, 97627 markings/sec, 15 secs
lola: 2484029 markings, 8254419 edges, 96903 markings/sec, 20 secs
lola: 2964997 markings, 9853898 edges, 96194 markings/sec, 25 secs
lola: 3443644 markings, 11446825 edges, 95729 markings/sec, 30 secs
lola: 3920632 markings, 13033727 edges, 95398 markings/sec, 35 secs
lola: 4395393 markings, 14613821 edges, 94952 markings/sec, 40 secs
lola: 4870391 markings, 16194699 edges, 95000 markings/sec, 45 secs
lola: 5344412 markings, 17771892 edges, 94804 markings/sec, 50 secs
lola: 5816387 markings, 19343148 edges, 94395 markings/sec, 55 secs
lola: 6288638 markings, 20914944 edges, 94450 markings/sec, 60 secs
lola: 6759709 markings, 22482592 edges, 94214 markings/sec, 65 secs
lola: 7227874 markings, 24041394 edges, 93633 markings/sec, 70 secs
lola: 7688115 markings, 25572873 edges, 92048 markings/sec, 75 secs
lola: 8154293 markings, 27125117 edges, 93236 markings/sec, 80 secs
lola: 8619778 markings, 28674311 edges, 93097 markings/sec, 85 secs
lola: 9086729 markings, 30228332 edges, 93390 markings/sec, 90 secs
lola: 9550088 markings, 31771302 edges, 92672 markings/sec, 95 secs
lola: 10013111 markings, 33313201 edges, 92605 markings/sec, 100 secs
lola: 10474035 markings, 34847238 edges, 92185 markings/sec, 105 secs
lola: 10936804 markings, 36387853 edges, 92554 markings/sec, 110 secs
lola: 11398255 markings, 37924577 edges, 92290 markings/sec, 115 secs
lola: 11848659 markings, 39423876 edges, 90081 markings/sec, 120 secs
lola: 12305660 markings, 40944757 edges, 91400 markings/sec, 125 secs
lola: 12758574 markings, 42453509 edges, 90583 markings/sec, 130 secs
lola: 13211274 markings, 43960259 edges, 90540 markings/sec, 135 secs
lola: 13663113 markings, 45465107 edges, 90368 markings/sec, 140 secs
lola: 14115272 markings, 46970902 edges, 90432 markings/sec, 145 secs
lola: 14570049 markings, 48484502 edges, 90955 markings/sec, 150 secs
lola: 15019128 markings, 49979552 edges, 89816 markings/sec, 155 secs
lola: 15470474 markings, 51482677 edges, 90269 markings/sec, 160 secs
lola: 15922266 markings, 52986737 edges, 90358 markings/sec, 165 secs
lola: 16375473 markings, 54496119 edges, 90641 markings/sec, 170 secs
lola: 16828792 markings, 56005131 edges, 90664 markings/sec, 175 secs
lola: 17279209 markings, 57504736 edges, 90083 markings/sec, 180 secs
lola: 17727383 markings, 58998436 edges, 89635 markings/sec, 185 secs
lola: 18179383 markings, 60503219 edges, 90400 markings/sec, 190 secs
lola: 18632908 markings, 62013172 edges, 90705 markings/sec, 195 secs
lola: 19081358 markings, 63505687 edges, 89690 markings/sec, 200 secs
lola: 19528389 markings, 64995335 edges, 89406 markings/sec, 205 secs
lola: 19977288 markings, 66489591 edges, 89780 markings/sec, 210 secs
lola: 20423139 markings, 67974758 edges, 89170 markings/sec, 215 secs
lola: 20871530 markings, 69467219 edges, 89678 markings/sec, 220 secs
lola: 21316501 markings, 70949879 edges, 88994 markings/sec, 225 secs
lola: SUBRESULT
lola: result: 350
lola: produced by: state space
lola: The maximum value of the given expression is 350
lola: 21559826 markings, 71759989 edges
lola: ========================================
lola: subprocess 15 will run for 2163 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_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: 350
lola: SUBRESULT
lola: result: 350
lola: produced by: state space
lola: The maximum value of the given expression is 350
lola: 351 markings, 350 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_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: 350
lola: 581102 markings, 1348861 edges, 116220 markings/sec, 0 secs
lola: 1160167 markings, 2594460 edges, 115813 markings/sec, 5 secs
lola: 1721264 markings, 3865551 edges, 112219 markings/sec, 10 secs
lola: 2290976 markings, 5076602 edges, 113942 markings/sec, 15 secs
lola: 2853608 markings, 6209893 edges, 112526 markings/sec, 20 secs
lola: 3413848 markings, 7339005 edges, 112048 markings/sec, 25 secs
lola: 3972363 markings, 8465143 edges, 111703 markings/sec, 30 secs
lola: 4528831 markings, 9588773 edges, 111294 markings/sec, 35 secs
lola: 5083573 markings, 10707723 edges, 110948 markings/sec, 40 secs
lola: 5640131 markings, 11832758 edges, 111312 markings/sec, 45 secs
lola: 6194517 markings, 12951469 edges, 110877 markings/sec, 50 secs
lola: 6750712 markings, 14076446 edges, 111239 markings/sec, 55 secs
lola: 7305343 markings, 15196322 edges, 110926 markings/sec, 60 secs
lola: 7859567 markings, 16318142 edges, 110845 markings/sec, 65 secs
lola: 8414838 markings, 17442434 edges, 111054 markings/sec, 70 secs
lola: 8970897 markings, 18568908 edges, 111212 markings/sec, 75 secs
lola: 9525495 markings, 19692727 edges, 110920 markings/sec, 80 secs
lola: 10080237 markings, 20817627 edges, 110948 markings/sec, 85 secs
lola: 10637037 markings, 21950016 edges, 111360 markings/sec, 90 secs
lola: 11192627 markings, 23077362 edges, 111118 markings/sec, 95 secs
lola: 11749438 markings, 24211064 edges, 111362 markings/sec, 100 secs
lola: 12305796 markings, 25344607 edges, 111272 markings/sec, 105 secs
lola: 12862320 markings, 26479154 edges, 111305 markings/sec, 110 secs
lola: 13420211 markings, 27621127 edges, 111578 markings/sec, 115 secs
lola: 13980091 markings, 28766300 edges, 111976 markings/sec, 120 secs
lola: 14541030 markings, 29917922 edges, 112188 markings/sec, 125 secs
lola: 15103167 markings, 31075914 edges, 112427 markings/sec, 130 secs
lola: 15667216 markings, 32238614 edges, 112810 markings/sec, 135 secs
lola: 16230408 markings, 33411306 edges, 112638 markings/sec, 140 secs
lola: 16797631 markings, 34599149 edges, 113445 markings/sec, 145 secs
lola: 17368106 markings, 35807023 edges, 114095 markings/sec, 150 secs
lola: 17941145 markings, 37078135 edges, 114608 markings/sec, 155 secs
lola: 18474156 markings, 38507023 edges, 106602 markings/sec, 160 secs
lola: 19035460 markings, 39672838 edges, 112261 markings/sec, 165 secs
lola: 19594391 markings, 40952962 edges, 111786 markings/sec, 170 secs
lola: 20168011 markings, 42149833 edges, 114724 markings/sec, 175 secs
lola: 20724625 markings, 43443701 edges, 111323 markings/sec, 180 secs
lola: 21288186 markings, 44645261 edges, 112712 markings/sec, 185 secs
lola: 21841180 markings, 45848494 edges, 110599 markings/sec, 190 secs
lola: 22392767 markings, 46958422 edges, 110317 markings/sec, 195 secs
lola: 22951221 markings, 48083755 edges, 111691 markings/sec, 200 secs
lola: 23510996 markings, 49211996 edges, 111955 markings/sec, 205 secs
lola: 24069268 markings, 50337887 edges, 111654 markings/sec, 210 secs
lola: 24625452 markings, 51461059 edges, 111237 markings/sec, 215 secs
lola: 25179958 markings, 52579801 edges, 110901 markings/sec, 220 secs
lola: 25735501 markings, 53702934 edges, 111109 markings/sec, 225 secs
lola: 26290156 markings, 54822433 edges, 110931 markings/sec, 230 secs
lola: 26845065 markings, 55945018 edges, 110982 markings/sec, 235 secs
lola: 27400369 markings, 57068931 edges, 111061 markings/sec, 240 secs
lola: 27955075 markings, 58191825 edges, 110941 markings/sec, 245 secs
lola: 28509739 markings, 59315424 edges, 110933 markings/sec, 250 secs
lola: 29066093 markings, 60442770 edges, 111271 markings/sec, 255 secs
lola: 29624310 markings, 61574364 edges, 111643 markings/sec, 260 secs
lola: 30180205 markings, 62704905 edges, 111179 markings/sec, 265 secs
lola: 30736285 markings, 63832945 edges, 111216 markings/sec, 270 secs
lola: 31294080 markings, 64968468 edges, 111559 markings/sec, 275 secs
lola: 31852600 markings, 66106133 edges, 111704 markings/sec, 280 secs
lola: 32411056 markings, 67244416 edges, 111691 markings/sec, 285 secs
lola: 32970228 markings, 68388787 edges, 111834 markings/sec, 290 secs
lola: 33530424 markings, 69536104 edges, 112039 markings/sec, 295 secs
lola: 34092508 markings, 70688040 edges, 112417 markings/sec, 300 secs
lola: 34655976 markings, 71848205 edges, 112694 markings/sec, 305 secs
lola: 35220337 markings, 73016477 edges, 112872 markings/sec, 310 secs
lola: 35785231 markings, 74187101 edges, 112979 markings/sec, 315 secs
lola: 36349887 markings, 75369547 edges, 112931 markings/sec, 320 secs
lola: 36915183 markings, 76572251 edges, 113059 markings/sec, 325 secs
lola: 37479695 markings, 77827957 edges, 112902 markings/sec, 330 secs
lola: 38022463 markings, 79117545 edges, 108554 markings/sec, 335 secs
lola: 38594967 markings, 80340797 edges, 114501 markings/sec, 340 secs
lola: 39152654 markings, 81480664 edges, 111537 markings/sec, 345 secs
lola: 39706807 markings, 82600161 edges, 110831 markings/sec, 350 secs
lola: 40259017 markings, 83713144 edges, 110442 markings/sec, 355 secs
lola: 40809729 markings, 84824970 edges, 110142 markings/sec, 360 secs
lola: 41358787 markings, 85932017 edges, 109812 markings/sec, 365 secs
lola: 41907157 markings, 87038155 edges, 109674 markings/sec, 370 secs
lola: 42441697 markings, 88118662 edges, 106908 markings/sec, 375 secs
lola: 42988756 markings, 89222629 edges, 109412 markings/sec, 380 secs
lola: 43534547 markings, 90326489 edges, 109158 markings/sec, 385 secs
lola: 44070615 markings, 91411406 edges, 107214 markings/sec, 390 secs
lola: 44615819 markings, 92515120 edges, 109041 markings/sec, 395 secs
lola: 45162518 markings, 93619919 edges, 109340 markings/sec, 400 secs
lola: 45706942 markings, 94725334 edges, 108885 markings/sec, 405 secs
lola: 46248774 markings, 95823518 edges, 108366 markings/sec, 410 secs
lola: 46789581 markings, 96920068 edges, 108161 markings/sec, 415 secs
lola: 47331354 markings, 98019518 edges, 108355 markings/sec, 420 secs
lola: 47877905 markings, 99131613 edges, 109310 markings/sec, 425 secs
lola: 48426707 markings, 100249047 edges, 109760 markings/sec, 430 secs
lola: 48975591 markings, 101367501 edges, 109777 markings/sec, 435 secs
lola: 49524111 markings, 102489810 edges, 109704 markings/sec, 440 secs
lola: 50074935 markings, 103613638 edges, 110165 markings/sec, 445 secs
lola: 50621578 markings, 104733873 edges, 109329 markings/sec, 450 secs
lola: 51169882 markings, 105862463 edges, 109661 markings/sec, 455 secs
lola: 51719349 markings, 106994872 edges, 109893 markings/sec, 460 secs
lola: 52270002 markings, 108135710 edges, 110131 markings/sec, 465 secs
lola: 52821973 markings, 109286137 edges, 110394 markings/sec, 470 secs
lola: 53376218 markings, 110458628 edges, 110849 markings/sec, 475 secs
lola: 53936240 markings, 111663551 edges, 112004 markings/sec, 480 secs
lola: 54494771 markings, 112948243 edges, 111706 markings/sec, 485 secs
lola: 55059672 markings, 114185868 edges, 112980 markings/sec, 490 secs
lola: 55614267 markings, 115434253 edges, 110919 markings/sec, 495 secs
lola: 56163098 markings, 116572453 edges, 109766 markings/sec, 500 secs
lola: 56713915 markings, 117681534 edges, 110163 markings/sec, 505 secs
lola: 57260104 markings, 118783689 edges, 109238 markings/sec, 510 secs
lola: 57804755 markings, 119881949 edges, 108930 markings/sec, 515 secs
lola: 58348314 markings, 120978166 edges, 108712 markings/sec, 520 secs
lola: 58890197 markings, 122073221 edges, 108377 markings/sec, 525 secs
lola: 59430580 markings, 123163576 edges, 108077 markings/sec, 530 secs
lola: 59971682 markings, 124257891 edges, 108220 markings/sec, 535 secs
lola: 60507853 markings, 125340482 edges, 107234 markings/sec, 540 secs
lola: 61038402 markings, 126414182 edges, 106110 markings/sec, 545 secs
lola: 61569297 markings, 127489485 edges, 106179 markings/sec, 550 secs
lola: 62098259 markings, 128561098 edges, 105792 markings/sec, 555 secs
lola: 62628095 markings, 129635019 edges, 105967 markings/sec, 560 secs
lola: 63159839 markings, 130712972 edges, 106349 markings/sec, 565 secs
lola: 63690921 markings, 131790391 edges, 106216 markings/sec, 570 secs
lola: 64222954 markings, 132870195 edges, 106407 markings/sec, 575 secs
lola: 64755408 markings, 133954170 edges, 106491 markings/sec, 580 secs
lola: 65287748 markings, 135038954 edges, 106468 markings/sec, 585 secs
lola: 65819207 markings, 136122480 edges, 106292 markings/sec, 590 secs
lola: 66348673 markings, 137202669 edges, 105893 markings/sec, 595 secs
lola: 66881402 markings, 138294415 edges, 106546 markings/sec, 600 secs
lola: 67415127 markings, 139388802 edges, 106745 markings/sec, 605 secs
lola: 67951159 markings, 140488694 edges, 107206 markings/sec, 610 secs
lola: 68488567 markings, 141596926 edges, 107482 markings/sec, 615 secs
lola: 69027831 markings, 142715068 edges, 107853 markings/sec, 620 secs
lola: 69570163 markings, 143845904 edges, 108466 markings/sec, 625 secs
lola: 70115106 markings, 144994667 edges, 108989 markings/sec, 630 secs
lola: 70663924 markings, 146176892 edges, 109764 markings/sec, 635 secs
lola: 71211895 markings, 147468939 edges, 109594 markings/sec, 640 secs
lola: 71769859 markings, 148584849 edges, 111593 markings/sec, 645 secs
lola: 72312350 markings, 149743886 edges, 108498 markings/sec, 650 secs
lola: 72859889 markings, 150950363 edges, 109508 markings/sec, 655 secs
lola: 73415404 markings, 152085458 edges, 111103 markings/sec, 660 secs
lola: 73952888 markings, 153388875 edges, 107497 markings/sec, 665 secs
lola: 74516252 markings, 154598689 edges, 112673 markings/sec, 670 secs
lola: 75080198 markings, 155773934 edges, 112789 markings/sec, 675 secs
lola: 75633855 markings, 156917150 edges, 110731 markings/sec, 680 secs
lola: 76070213 markings, 157916053 edges, 87272 markings/sec, 685 secs
lola: 76226665 markings, 158250767 edges, 31290 markings/sec, 690 secs
lola: 76229314 markings, 158256750 edges, 530 markings/sec, 695 secs
lola: 76234158 markings, 158267094 edges, 969 markings/sec, 700 secs
lola: 76250419 markings, 158301764 edges, 3252 markings/sec, 705 secs
lola: 76251727 markings, 158304399 edges, 262 markings/sec, 710 secs
lola: 76263564 markings, 158329601 edges, 2367 markings/sec, 715 secs
lola: 76304120 markings, 158415971 edges, 8111 markings/sec, 720 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_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: 350
lola: 593863 markings, 1383296 edges, 118773 markings/sec, 0 secs
lola: 1175381 markings, 2624724 edges, 116304 markings/sec, 5 secs
lola: 1738510 markings, 3911623 edges, 112626 markings/sec, 10 secs
lola: 2304800 markings, 5104143 edges, 113258 markings/sec, 15 secs
lola: 2866925 markings, 6236552 edges, 112425 markings/sec, 20 secs
lola: 3422064 markings, 7355485 edges, 111028 markings/sec, 25 secs
lola: 3975317 markings, 8471084 edges, 110651 markings/sec, 30 secs
lola: 4526694 markings, 9584557 edges, 110275 markings/sec, 35 secs
lola: 5075942 markings, 10692292 edges, 109850 markings/sec, 40 secs
lola: 5624733 markings, 11799829 edges, 109758 markings/sec, 45 secs
lola: 6173866 markings, 12909828 edges, 109827 markings/sec, 50 secs
lola: 6723535 markings, 14019682 edges, 109934 markings/sec, 55 secs
lola: 7272006 markings, 15129334 edges, 109694 markings/sec, 60 secs
lola: 7822604 markings, 16243916 edges, 110120 markings/sec, 65 secs
lola: 8372201 markings, 17357170 edges, 109919 markings/sec, 70 secs
lola: 8920333 markings, 18467506 edges, 109626 markings/sec, 75 secs
lola: 9471797 markings, 19585165 edges, 110293 markings/sec, 80 secs
lola: 10022120 markings, 20700925 edges, 110065 markings/sec, 85 secs
lola: 10571810 markings, 21815878 edges, 109938 markings/sec, 90 secs
lola: 11121818 markings, 22935540 edges, 110002 markings/sec, 95 secs
lola: 11672201 markings, 24052765 edges, 110077 markings/sec, 100 secs
lola: 12222788 markings, 25174489 edges, 110117 markings/sec, 105 secs
lola: 12773838 markings, 26297915 edges, 110210 markings/sec, 110 secs
lola: 13325120 markings, 27426436 edges, 110256 markings/sec, 115 secs
lola: 13878021 markings, 28555197 edges, 110580 markings/sec, 120 secs
lola: 14430556 markings, 29692282 edges, 110507 markings/sec, 125 secs
lola: 14986894 markings, 30833633 edges, 111268 markings/sec, 130 secs
lola: 15539381 markings, 31973232 edges, 110497 markings/sec, 135 secs
lola: 16101977 markings, 33143979 edges, 112519 markings/sec, 140 secs
lola: 16642257 markings, 34272077 edges, 108056 markings/sec, 145 secs
lola: 17194473 markings, 35437118 edges, 110443 markings/sec, 150 secs
lola: 17763603 markings, 36671432 edges, 113826 markings/sec, 155 secs
lola: 18309861 markings, 38057428 edges, 109252 markings/sec, 160 secs
lola: 18857150 markings, 39314262 edges, 109458 markings/sec, 165 secs
lola: 19413448 markings, 40591093 edges, 111260 markings/sec, 170 secs
lola: 19988042 markings, 41786295 edges, 114919 markings/sec, 175 secs
lola: 20552685 markings, 43100273 edges, 112929 markings/sec, 180 secs
lola: 21111580 markings, 44218511 edges, 111779 markings/sec, 185 secs
lola: 21649729 markings, 45437829 edges, 107630 markings/sec, 190 secs
lola: 22191252 markings, 46553465 edges, 108305 markings/sec, 195 secs
lola: 22736122 markings, 47650443 edges, 108974 markings/sec, 200 secs
lola: 23285366 markings, 48757567 edges, 109849 markings/sec, 205 secs
lola: 23834641 markings, 49865083 edges, 109855 markings/sec, 210 secs
lola: 24380806 markings, 50966592 edges, 109233 markings/sec, 215 secs
lola: 24928052 markings, 52072356 edges, 109449 markings/sec, 220 secs
lola: 25473272 markings, 53172404 edges, 109044 markings/sec, 225 secs
lola: 26020070 markings, 54278191 edges, 109360 markings/sec, 230 secs
lola: 26564388 markings, 55377194 edges, 108864 markings/sec, 235 secs
lola: 27108252 markings, 56477831 edges, 108773 markings/sec, 240 secs
lola: 27650624 markings, 57576237 edges, 108474 markings/sec, 245 secs
lola: 28191682 markings, 58669497 edges, 108212 markings/sec, 250 secs
lola: 28735399 markings, 59771026 edges, 108743 markings/sec, 255 secs
lola: 29280603 markings, 60876357 edges, 109041 markings/sec, 260 secs
lola: 29824980 markings, 61982900 edges, 108875 markings/sec, 265 secs
lola: 30370498 markings, 63089641 edges, 109104 markings/sec, 270 secs
lola: 30915441 markings, 64199121 edges, 108989 markings/sec, 275 secs
lola: 31458997 markings, 65302922 edges, 108711 markings/sec, 280 secs
lola: 32005579 markings, 66416744 edges, 109316 markings/sec, 285 secs
lola: 32549415 markings, 67529534 edges, 108767 markings/sec, 290 secs
lola: 33095096 markings, 68643021 edges, 109136 markings/sec, 295 secs
lola: 33639464 markings, 69758649 edges, 108874 markings/sec, 300 secs
lola: 34193069 markings, 70893927 edges, 110721 markings/sec, 305 secs
lola: 34748111 markings, 72037463 edges, 111008 markings/sec, 310 secs
lola: 35304855 markings, 73190578 edges, 111349 markings/sec, 315 secs
lola: 35863476 markings, 74354095 edges, 111724 markings/sec, 320 secs
lola: 36423266 markings, 75527132 edges, 111958 markings/sec, 325 secs
lola: 36985168 markings, 76723697 edges, 112380 markings/sec, 330 secs
lola: 37522769 markings, 77934949 edges, 107520 markings/sec, 335 secs
lola: 38005143 markings, 79082985 edges, 96475 markings/sec, 340 secs
lola: 38557456 markings, 80260579 edges, 110463 markings/sec, 345 secs
lola: 39106741 markings, 81388543 edges, 109857 markings/sec, 350 secs
lola: 39652781 markings, 82491761 edges, 109208 markings/sec, 355 secs
lola: 40190467 markings, 83575471 edges, 107537 markings/sec, 360 secs
lola: 40732620 markings, 84668329 edges, 108431 markings/sec, 365 secs
lola: 41274325 markings, 85761071 edges, 108341 markings/sec, 370 secs
lola: 41811032 markings, 86844992 edges, 107341 markings/sec, 375 secs
lola: 42349154 markings, 87930846 edges, 107624 markings/sec, 380 secs
lola: 42883481 markings, 89011209 edges, 106865 markings/sec, 385 secs
lola: 43426902 markings, 90108272 edges, 108684 markings/sec, 390 secs
lola: 43972785 markings, 91212755 edges, 109177 markings/sec, 395 secs
lola: 44517063 markings, 92314515 edges, 108856 markings/sec, 400 secs
lola: 45056081 markings, 93406095 edges, 107804 markings/sec, 405 secs
lola: 45592647 markings, 94493225 edges, 107313 markings/sec, 410 secs
lola: 46131573 markings, 95585571 edges, 107785 markings/sec, 415 secs
lola: 46675775 markings, 96688926 edges, 108840 markings/sec, 420 secs
lola: 47218596 markings, 97792313 edges, 108564 markings/sec, 425 secs
lola: 47760890 markings, 98893655 edges, 108459 markings/sec, 430 secs
lola: 48305272 markings, 100002145 edges, 108876 markings/sec, 435 secs
lola: 48850004 markings, 101112091 edges, 108946 markings/sec, 440 secs
lola: 49395797 markings, 102224964 edges, 109159 markings/sec, 445 secs
lola: 49942324 markings, 103343703 edges, 109305 markings/sec, 450 secs
lola: 50488183 markings, 104462186 edges, 109172 markings/sec, 455 secs
lola: 51028778 markings, 105571015 edges, 108119 markings/sec, 460 secs
lola: 51571889 markings, 106690342 edges, 108622 markings/sec, 465 secs
lola: 52112319 markings, 107810279 edges, 108086 markings/sec, 470 secs
lola: 52666347 markings, 108964203 edges, 110806 markings/sec, 475 secs
lola: 53222145 markings, 110128662 edges, 111160 markings/sec, 480 secs
lola: 53785728 markings, 111333745 edges, 112717 markings/sec, 485 secs
lola: 54347405 markings, 112652703 edges, 112335 markings/sec, 490 secs
lola: 54916852 markings, 113896678 edges, 113889 markings/sec, 495 secs
lola: 55479719 markings, 115157098 edges, 112573 markings/sec, 500 secs
lola: 56035419 markings, 116316458 edges, 111140 markings/sec, 505 secs
lola: 56587782 markings, 117428142 edges, 110473 markings/sec, 510 secs
lola: 57135264 markings, 118531555 edges, 109496 markings/sec, 515 secs
lola: 57680765 markings, 119631234 edges, 109100 markings/sec, 520 secs
lola: 58226636 markings, 120733989 edges, 109174 markings/sec, 525 secs
lola: 58769976 markings, 121829837 edges, 108668 markings/sec, 530 secs
lola: 59314134 markings, 122928045 edges, 108832 markings/sec, 535 secs
lola: 59857048 markings, 124025630 edges, 108583 markings/sec, 540 secs
lola: 60401464 markings, 125126999 edges, 108883 markings/sec, 545 secs
lola: 60943080 markings, 126220811 edges, 108323 markings/sec, 550 secs
lola: 61484675 markings, 127317011 edges, 108319 markings/sec, 555 secs
lola: 62025485 markings, 128412417 edges, 108162 markings/sec, 560 secs
lola: 62567315 markings, 129510205 edges, 108366 markings/sec, 565 secs
lola: 63108259 markings, 130606782 edges, 108189 markings/sec, 570 secs
lola: 63650906 markings, 131710227 edges, 108529 markings/sec, 575 secs
lola: 64193426 markings, 132810776 edges, 108504 markings/sec, 580 secs
lola: 64736678 markings, 133916480 edges, 108650 markings/sec, 585 secs
lola: 65280594 markings, 135024502 edges, 108783 markings/sec, 590 secs
lola: 65824541 markings, 136133144 edges, 108789 markings/sec, 595 secs
lola: 66368987 markings, 137243608 edges, 108889 markings/sec, 600 secs
lola: 66916588 markings, 138364782 edges, 109520 markings/sec, 605 secs
lola: 67465178 markings, 139489062 edges, 109718 markings/sec, 610 secs
lola: 68014362 markings, 140619821 edges, 109837 markings/sec, 615 secs
lola: 68565332 markings, 141755454 edges, 110194 markings/sec, 620 secs
lola: 69114463 markings, 142893459 edges, 109826 markings/sec, 625 secs
lola: 69642649 markings, 143996166 edges, 105637 markings/sec, 630 secs
lola: 70194941 markings, 145165362 edges, 110458 markings/sec, 635 secs
lola: 70727518 markings, 146315657 edges, 106515 markings/sec, 640 secs
lola: 71263273 markings, 147571595 edges, 107151 markings/sec, 645 secs
lola: 71824210 markings, 148693391 edges, 112187 markings/sec, 650 secs
lola: 72371851 markings, 149863135 edges, 109528 markings/sec, 655 secs
lola: 72918319 markings, 151077227 edges, 109294 markings/sec, 660 secs
lola: 73475941 markings, 152247144 edges, 111524 markings/sec, 665 secs
lola: 74020315 markings, 153531648 edges, 108875 markings/sec, 670 secs
lola: 74583404 markings, 154733056 edges, 112618 markings/sec, 675 secs
lola: 75149954 markings, 155948557 edges, 113310 markings/sec, 680 secs
lola: 75712721 markings, 157085414 edges, 112553 markings/sec, 685 secs
lola: 76115950 markings, 158014537 edges, 80646 markings/sec, 690 secs
lola: 76238230 markings, 158276168 edges, 24456 markings/sec, 695 secs
lola: 76266114 markings, 158335344 edges, 5577 markings/sec, 700 secs
lola: 76268009 markings, 158339171 edges, 379 markings/sec, 705 secs
lola: 76272745 markings, 158349448 edges, 947 markings/sec, 710 secs
lola: Child process aborted or communication problem between parent and child process
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: 350
lola: 620038 markings, 1547175 edges, 124008 markings/sec, 0 secs
lola: 1226433 markings, 3062820 edges, 121279 markings/sec, 5 secs
lola: 1825342 markings, 4563278 edges, 119782 markings/sec, 10 secs
lola: 2433212 markings, 6088626 edges, 121574 markings/sec, 15 secs
lola: 3042166 markings, 7619567 edges, 121791 markings/sec, 20 secs
lola: 3643563 markings, 9134930 edges, 120279 markings/sec, 25 secs
lola: 4252429 markings, 10674319 edges, 121773 markings/sec, 30 secs
lola: 4861915 markings, 12219497 edges, 121897 markings/sec, 35 secs
lola: 5483725 markings, 13804716 edges, 124362 markings/sec, 40 secs
lola: 6111747 markings, 15417044 edges, 125604 markings/sec, 45 secs
lola: 6744618 markings, 17063009 edges, 126574 markings/sec, 50 secs
lola: 7390182 markings, 18774616 edges, 129113 markings/sec, 55 secs
lola: 7952706 markings, 20168525 edges, 112505 markings/sec, 60 secs
lola: 8510097 markings, 21549908 edges, 111478 markings/sec, 65 secs
lola: 9060380 markings, 22913778 edges, 110057 markings/sec, 70 secs
lola: 9610829 markings, 24278372 edges, 110090 markings/sec, 75 secs
lola: 10142594 markings, 25596508 edges, 106353 markings/sec, 80 secs
lola: 10675879 markings, 26918725 edges, 106657 markings/sec, 85 secs
lola: 11209931 markings, 28243127 edges, 106810 markings/sec, 90 secs
lola: 11744214 markings, 29565959 edges, 106857 markings/sec, 95 secs
lola: 12281449 markings, 30896610 edges, 107447 markings/sec, 100 secs
lola: 12815847 markings, 32222849 edges, 106880 markings/sec, 105 secs
lola: 13354128 markings, 33556893 edges, 107656 markings/sec, 110 secs
lola: 13890512 markings, 34884530 edges, 107277 markings/sec, 115 secs
lola: 14426114 markings, 36212779 edges, 107120 markings/sec, 120 secs
lola: 14963919 markings, 37545126 edges, 107561 markings/sec, 125 secs
lola: 15500077 markings, 38873918 edges, 107232 markings/sec, 130 secs
lola: 16021514 markings, 40166557 edges, 104287 markings/sec, 135 secs
lola: 16549323 markings, 41474201 edges, 105562 markings/sec, 140 secs
lola: 17070308 markings, 42765565 edges, 104197 markings/sec, 145 secs
lola: 17604835 markings, 44090347 edges, 106905 markings/sec, 150 secs
lola: 18130195 markings, 45392136 edges, 105072 markings/sec, 155 secs
lola: 18659596 markings, 46704430 edges, 105880 markings/sec, 160 secs
lola: 19191249 markings, 48021697 edges, 106331 markings/sec, 165 secs
lola: 19726590 markings, 49347771 edges, 107068 markings/sec, 170 secs
lola: 20265516 markings, 50678792 edges, 107785 markings/sec, 175 secs
lola: 20789765 markings, 51980082 edges, 104850 markings/sec, 180 secs
lola: 21309178 markings, 53266666 edges, 103883 markings/sec, 185 secs
lola: 21822060 markings, 54537202 edges, 102576 markings/sec, 190 secs
lola: 22335583 markings, 55809593 edges, 102705 markings/sec, 195 secs
lola: 22844147 markings, 57069874 edges, 101713 markings/sec, 200 secs
lola: 23348859 markings, 58320766 edges, 100942 markings/sec, 205 secs
lola: 23857280 markings, 59581258 edges, 101684 markings/sec, 210 secs
lola: 24348346 markings, 60798595 edges, 98213 markings/sec, 215 secs
lola: 24842288 markings, 62023456 edges, 98788 markings/sec, 220 secs
lola: 25345936 markings, 63270556 edges, 100730 markings/sec, 225 secs
lola: 25850459 markings, 64520274 edges, 100905 markings/sec, 230 secs
lola: 26353711 markings, 65769316 edges, 100650 markings/sec, 235 secs
lola: 26851708 markings, 67003478 edges, 99599 markings/sec, 240 secs
lola: 27342074 markings, 68217109 edges, 98073 markings/sec, 245 secs
lola: 27836237 markings, 69442627 edges, 98833 markings/sec, 250 secs
lola: 28308605 markings, 70612405 edges, 94474 markings/sec, 255 secs
lola: 28792771 markings, 71812277 edges, 96833 markings/sec, 260 secs
lola: 29285736 markings, 73034763 edges, 98593 markings/sec, 265 secs
lola: 29775121 markings, 74247473 edges, 97877 markings/sec, 270 secs
lola: 30264621 markings, 75460075 edges, 97900 markings/sec, 275 secs
lola: 30752061 markings, 76668610 edges, 97488 markings/sec, 280 secs
lola: 31235219 markings, 77865597 edges, 96632 markings/sec, 285 secs
lola: 31730618 markings, 79093338 edges, 99080 markings/sec, 290 secs
lola: 32228912 markings, 80327825 edges, 99659 markings/sec, 295 secs
lola: 32741721 markings, 81595957 edges, 102562 markings/sec, 300 secs
lola: 33236641 markings, 82821222 edges, 98984 markings/sec, 305 secs
lola: 33745396 markings, 84084058 edges, 101751 markings/sec, 310 secs
lola: 34249194 markings, 85331948 edges, 100760 markings/sec, 315 secs
lola: 34750347 markings, 86573506 edges, 100231 markings/sec, 320 secs
lola: 35227228 markings, 87754685 edges, 95376 markings/sec, 325 secs
lola: 35714786 markings, 88962785 edges, 97512 markings/sec, 330 secs
lola: 36199057 markings, 90162986 edges, 96854 markings/sec, 335 secs
lola: 36690950 markings, 91382480 edges, 98379 markings/sec, 340 secs
lola: 37180871 markings, 92597354 edges, 97984 markings/sec, 345 secs
lola: 37668993 markings, 93805745 edges, 97624 markings/sec, 350 secs
lola: 38164987 markings, 95036372 edges, 99199 markings/sec, 355 secs
lola: 38662400 markings, 96268734 edges, 99483 markings/sec, 360 secs
lola: 39161564 markings, 97505936 edges, 99833 markings/sec, 365 secs
lola: 39650990 markings, 98719193 edges, 97885 markings/sec, 370 secs
lola: 40138561 markings, 99926460 edges, 97514 markings/sec, 375 secs
lola: 40613922 markings, 101105480 edges, 95072 markings/sec, 380 secs
lola: 41109821 markings, 102334699 edges, 99180 markings/sec, 385 secs
lola: 41589464 markings, 103522373 edges, 95929 markings/sec, 390 secs
lola: 42060409 markings, 104689144 edges, 94189 markings/sec, 395 secs
lola: 42558071 markings, 105923485 edges, 99532 markings/sec, 400 secs
lola: 43047648 markings, 107136234 edges, 97915 markings/sec, 405 secs
lola: 43546183 markings, 108371845 edges, 99707 markings/sec, 410 secs
lola: 44046014 markings, 109610158 edges, 99966 markings/sec, 415 secs
lola: 44546248 markings, 110849732 edges, 100047 markings/sec, 420 secs
lola: 45098133 markings, 112214125 edges, 110377 markings/sec, 425 secs
lola: 45665297 markings, 113619860 edges, 113433 markings/sec, 430 secs
lola: 46219654 markings, 114993846 edges, 110871 markings/sec, 435 secs
lola: 46778199 markings, 116378603 edges, 111709 markings/sec, 440 secs
lola: 47333856 markings, 117756400 edges, 111131 markings/sec, 445 secs
lola: 47887169 markings, 119126030 edges, 110663 markings/sec, 450 secs
lola: 48437034 markings, 120489969 edges, 109973 markings/sec, 455 secs
lola: 48987524 markings, 121853321 edges, 110098 markings/sec, 460 secs
lola: 49536302 markings, 123212845 edges, 109756 markings/sec, 465 secs
lola: 50070457 markings, 124537705 edges, 106831 markings/sec, 470 secs
lola: 50589448 markings, 125824307 edges, 103798 markings/sec, 475 secs
lola: 51134012 markings, 127172440 edges, 108913 markings/sec, 480 secs
lola: 51678084 markings, 128521888 edges, 108814 markings/sec, 485 secs
lola: 52223757 markings, 129873891 edges, 109135 markings/sec, 490 secs
lola: 52765757 markings, 131217302 edges, 108400 markings/sec, 495 secs
lola: 53302957 markings, 132547886 edges, 107440 markings/sec, 500 secs
lola: 53845960 markings, 133894050 edges, 108601 markings/sec, 505 secs
lola: 54386547 markings, 135233921 edges, 108117 markings/sec, 510 secs
lola: 54926481 markings, 136572369 edges, 107987 markings/sec, 515 secs
lola: 55467408 markings, 137912132 edges, 108185 markings/sec, 520 secs
lola: 56009283 markings, 139255040 edges, 108375 markings/sec, 525 secs
lola: 56556568 markings, 140611394 edges, 109457 markings/sec, 530 secs
lola: 57106966 markings, 141975260 edges, 110080 markings/sec, 535 secs
lola: 57634799 markings, 143281191 edges, 105567 markings/sec, 540 secs
lola: 58148562 markings, 144554417 edges, 102753 markings/sec, 545 secs
lola: 58654032 markings, 145807978 edges, 101094 markings/sec, 550 secs
lola: 59167318 markings, 147079312 edges, 102657 markings/sec, 555 secs
lola: 59682882 markings, 148356959 edges, 103113 markings/sec, 560 secs
lola: 60199859 markings, 149637990 edges, 103395 markings/sec, 565 secs
lola: 60724851 markings, 150937676 edges, 104998 markings/sec, 570 secs
lola: 61241814 markings, 152218447 edges, 103393 markings/sec, 575 secs
lola: 61752639 markings, 153484632 edges, 102165 markings/sec, 580 secs
lola: 62264315 markings, 154752044 edges, 102335 markings/sec, 585 secs
lola: 62770081 markings, 156005289 edges, 101153 markings/sec, 590 secs
lola: 63281340 markings, 157272190 edges, 102252 markings/sec, 595 secs
lola: 63581270 markings, 158013940 edges, 59986 markings/sec, 600 secs
lola: 63588857 markings, 158032903 edges, 1517 markings/sec, 605 secs
lola: 63588896 markings, 158033015 edges, 8 markings/sec, 610 secs
lola: 63590440 markings, 158036867 edges, 309 markings/sec, 615 secs
lola: 63595494 markings, 158048545 edges, 1011 markings/sec, 620 secs
lola: 63606431 markings, 158075332 edges, 2187 markings/sec, 625 secs
lola: 63606450 markings, 158075385 edges, 4 markings/sec, 630 secs
lola: 63616967 markings, 158101688 edges, 2103 markings/sec, 635 secs
lola: 63620690 markings, 158110973 edges, 745 markings/sec, 640 secs
lola: 63633065 markings, 158141896 edges, 2475 markings/sec, 645 secs
lola: 63633118 markings, 158142021 edges, 11 markings/sec, 650 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 350 350 350 350 350 unknown 350 unknown 350 350 unknown 350 350 350 350 350
lola:
preliminary result: 350 350 350 350 350 unknown 350 unknown 350 350 unknown 350 350 350 350 350
lola: memory consumption: 15884 KB
lola: time consumption: 3519 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1552556274086

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

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