Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance Stat_vs_Exp_185_06.lp

Name	Stat_vs_Exp_185_06.lp
Classes	[Root]    Graphs (3030)    Influence Graphs (2553)    Escherichia coli (2003)      Exponential-Stationary Growth Shift (1001)      6 Percent (200)
Submitter	Martin Gebser
Author	Mihail Ivanchev and Sven Thiele
Description
Created	2010-02-23 21:03
Modified	2010-02-23 21:03
Languages	Facts
Language Features
Compatible Encodings	input.gringo repair_core.gringo repair_config.gringo repair_cardinality.gringo repair_subset.gringo
Output Predicates	exp/1 obs_vlabel/3
Tags:	Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (Martin Gebser)
Attributes
Content	obs_vlabel("Stat_vs_Exp",b2414,1). obs_vlabel("Stat_vs_Exp",b3475,-1). obs_vlabel("Stat_vs_Exp",b2464,1). obs_vlabel("Stat_vs_Exp",b1939,-1). obs_vlabel("Stat_vs_Exp",b4581,1). obs_vlabel("Stat_vs_Exp",b1901,1). obs_vlabel("Stat_vs_Exp",b1714,-1). obs_vlabel("Stat_vs_Exp",b3312,-1). obs_vlabel("Stat_vs_Exp",b2009,1). obs_vlabel("Stat_vs_Exp",b1685,1). obs_vlabel("Stat_vs_Exp",b1684,1). obs_vlabel("Stat_vs_Exp",b3688,1). obs_vlabel("Stat_vs_Exp",b3425,-1). obs_vlabel("Stat_vs_Exp",b3336,1). obs_vlabel("Stat_vs_Exp",b3081,1). obs_vlabel("Stat_vs_Exp",b3390,-1). obs_vlabel("Stat_vs_Exp",b4544,1). obs_vlabel("Stat_vs_Exp",b1283,1). obs_vlabel("Stat_vs_Exp",b3741,-1). obs_vlabel("Stat_vs_Exp",b2597,1). obs_vlabel("Stat_vs_Exp",b1564,1). obs_vlabel("Stat_vs_Exp",b0464,-1). obs_vlabel("Stat_vs_Exp",b1967,1). obs_vlabel("Stat_vs_Exp",b1126,-1). obs_vlabel("Stat_vs_Exp",b3361,1). obs_vlabel("Stat_vs_Exp",b3972,-1). obs_vlabel("Stat_vs_Exp",b4014,1). obs_vlabel("Stat_vs_Exp",b0429,-1). obs_vlabel("Stat_vs_Exp",b0803,1). obs_vlabel("Stat_vs_Exp",b4242,-1). obs_vlabel("Stat_vs_Exp",b4401,1). obs_vlabel("Stat_vs_Exp",b1490,1). obs_vlabel("Stat_vs_Exp",b3737,-1). obs_vlabel("Stat_vs_Exp",b0837,1). obs_vlabel("Stat_vs_Exp",b1002,1). obs_vlabel("Stat_vs_Exp",b1614,1). obs_vlabel("Stat_vs_Exp",b1950,-1). obs_vlabel("Stat_vs_Exp",b4188,1). obs_vlabel("Stat_vs_Exp",b3065,-1). obs_vlabel("Stat_vs_Exp",b1896,1). obs_vlabel("Stat_vs_Exp",b0170,-1). obs_vlabel("Stat_vs_Exp",b0557,-1). obs_vlabel("Stat_vs_Exp",b1304,1). obs_vlabel("Stat_vs_Exp",b2136,1). obs_vlabel("Stat_vs_Exp",b4607,-1). obs_vlabel("Stat_vs_Exp",b2369,-1). obs_vlabel("Stat_vs_Exp",b2080,1). obs_vlabel("Stat_vs_Exp",b3003,1). obs_vlabel("Stat_vs_Exp",b1042,1). obs_vlabel("Stat_vs_Exp",b3256,-1). obs_vlabel("Stat_vs_Exp",b2672,1). obs_vlabel("Stat_vs_Exp",b4222,-1). exp("Stat_vs_Exp").