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_104_09.lp

Name	Stat_vs_Exp_104_09.lp
Classes	[Root]    Graphs (3030)    Influence Graphs (2553)    Escherichia coli (2003)      Exponential-Stationary Growth Shift (1001)      9 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",b4495,-1). obs_vlabel("Stat_vs_Exp",b1042,1). obs_vlabel("Stat_vs_Exp",b1420,1). obs_vlabel("Stat_vs_Exp",b4147,-1). obs_vlabel("Stat_vs_Exp",b0964,1). obs_vlabel("Stat_vs_Exp",b1426,1). obs_vlabel("Stat_vs_Exp",b0382,1). obs_vlabel("Stat_vs_Exp",b4214,1). obs_vlabel("Stat_vs_Exp",b4438,1). obs_vlabel("Stat_vs_Exp",b2529,1). obs_vlabel("Stat_vs_Exp",b4305,1). obs_vlabel("Stat_vs_Exp",b2480,-1). obs_vlabel("Stat_vs_Exp",b2414,1). obs_vlabel("Stat_vs_Exp",b2308,1). obs_vlabel("Stat_vs_Exp",b4226,-1). obs_vlabel("Stat_vs_Exp",b3361,1). obs_vlabel("Stat_vs_Exp",b2780,1). obs_vlabel("Stat_vs_Exp",b4532,1). obs_vlabel("Stat_vs_Exp",b3785,-1). obs_vlabel("Stat_vs_Exp",b2679,-1). obs_vlabel("Stat_vs_Exp",b1680,1). obs_vlabel("Stat_vs_Exp",b1218,1). obs_vlabel("Stat_vs_Exp",b1253,-1). obs_vlabel("Stat_vs_Exp",b1795,1). obs_vlabel("Stat_vs_Exp",b4432,1). obs_vlabel("Stat_vs_Exp",b3983,-1). obs_vlabel("Stat_vs_Exp",b0408,-1). obs_vlabel("Stat_vs_Exp",b1585,1). obs_vlabel("Stat_vs_Exp",b1081,-1). obs_vlabel("Stat_vs_Exp",b3253,1). obs_vlabel("Stat_vs_Exp",b3493,-1). obs_vlabel("Stat_vs_Exp",b1400,1). obs_vlabel("Stat_vs_Exp",b3315,-1). obs_vlabel("Stat_vs_Exp",b2573,1). obs_vlabel("Stat_vs_Exp",b3974,-1). obs_vlabel("Stat_vs_Exp",b4512,1). obs_vlabel("Stat_vs_Exp",b1647,1). obs_vlabel("Stat_vs_Exp",b3845,1). obs_vlabel("Stat_vs_Exp",b3731,-1). obs_vlabel("Stat_vs_Exp",b3319,-1). obs_vlabel("Stat_vs_Exp",b2040,-1). obs_vlabel("Stat_vs_Exp",b0607,1). obs_vlabel("Stat_vs_Exp",b2266,1). obs_vlabel("Stat_vs_Exp",b2670,1). obs_vlabel("Stat_vs_Exp",b0586,1). obs_vlabel("Stat_vs_Exp",b3626,-1). obs_vlabel("Stat_vs_Exp",b3923,1). obs_vlabel("Stat_vs_Exp",b4414,-1). obs_vlabel("Stat_vs_Exp",b1130,1). obs_vlabel("Stat_vs_Exp",b2302,1). obs_vlabel("Stat_vs_Exp",b2014,-1). obs_vlabel("Stat_vs_Exp",b3842,-1). obs_vlabel("Stat_vs_Exp",b3925,-1). obs_vlabel("Stat_vs_Exp",b4304,1). obs_vlabel("Stat_vs_Exp",b4485,1). obs_vlabel("Stat_vs_Exp",b3640,-1). obs_vlabel("Stat_vs_Exp",b3260,-1). obs_vlabel("Stat_vs_Exp",b1125,-1). obs_vlabel("Stat_vs_Exp",b1281,-1). obs_vlabel("Stat_vs_Exp",b3425,-1). obs_vlabel("Stat_vs_Exp",b1725,1). obs_vlabel("Stat_vs_Exp",b0905,-1). obs_vlabel("Stat_vs_Exp",b3742,-1). obs_vlabel("Stat_vs_Exp",b3194,-1). obs_vlabel("Stat_vs_Exp",b2295,1). obs_vlabel("Stat_vs_Exp",b1634,-1). obs_vlabel("Stat_vs_Exp",b4189,1). obs_vlabel("Stat_vs_Exp",b4175,-1). obs_vlabel("Stat_vs_Exp",b1923,1). obs_vlabel("Stat_vs_Exp",b3650,-1). obs_vlabel("Stat_vs_Exp",b1783,1). obs_vlabel("Stat_vs_Exp",b3779,-1). obs_vlabel("Stat_vs_Exp",b3835,-1). obs_vlabel("Stat_vs_Exp",b3955,-1). obs_vlabel("Stat_vs_Exp",b2032,-1). obs_vlabel("Stat_vs_Exp",b1427,1). obs_vlabel("Stat_vs_Exp",b1683,1). obs_vlabel("Stat_vs_Exp",b0428,-1). exp("Stat_vs_Exp").