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

Name	Stat_vs_Exp_120_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",b2135,1). obs_vlabel("Stat_vs_Exp",b0114,-1). obs_vlabel("Stat_vs_Exp",b0469,-1). obs_vlabel("Stat_vs_Exp",b0811,1). obs_vlabel("Stat_vs_Exp",b4542,-1). obs_vlabel("Stat_vs_Exp",b1281,-1). obs_vlabel("Stat_vs_Exp",b3735,-1). obs_vlabel("Stat_vs_Exp",b2348,-1). obs_vlabel("Stat_vs_Exp",b3319,-1). obs_vlabel("Stat_vs_Exp",b3194,-1). obs_vlabel("Stat_vs_Exp",b3407,-1). obs_vlabel("Stat_vs_Exp",b2174,-1). obs_vlabel("Stat_vs_Exp",b3761,-1). obs_vlabel("Stat_vs_Exp",b2137,1). obs_vlabel("Stat_vs_Exp",b2181,1). obs_vlabel("Stat_vs_Exp",b3739,-1). obs_vlabel("Stat_vs_Exp",b3425,-1). obs_vlabel("Stat_vs_Exp",b2350,-1). obs_vlabel("Stat_vs_Exp",b4199,1). obs_vlabel("Stat_vs_Exp",b3100,1). obs_vlabel("Stat_vs_Exp",b3303,-1). obs_vlabel("Stat_vs_Exp",b1189,1). obs_vlabel("Stat_vs_Exp",b1333,1). obs_vlabel("Stat_vs_Exp",b1976,1). obs_vlabel("Stat_vs_Exp",b0384,1). obs_vlabel("Stat_vs_Exp",b1178,1). obs_vlabel("Stat_vs_Exp",b0635,-1). obs_vlabel("Stat_vs_Exp",b0120,-1). obs_vlabel("Stat_vs_Exp",b3429,1). obs_vlabel("Stat_vs_Exp",b3341,-1). obs_vlabel("Stat_vs_Exp",b4143,-1). obs_vlabel("Stat_vs_Exp",b4219,1). obs_vlabel("Stat_vs_Exp",b3231,-1). obs_vlabel("Stat_vs_Exp",b1946,-1). obs_vlabel("Stat_vs_Exp",b1795,1). obs_vlabel("Stat_vs_Exp",b3783,-1). obs_vlabel("Stat_vs_Exp",b2781,1). obs_vlabel("Stat_vs_Exp",b4269,1). obs_vlabel("Stat_vs_Exp",b2235,-1). obs_vlabel("Stat_vs_Exp",b4202,-1). obs_vlabel("Stat_vs_Exp",b3637,-1). obs_vlabel("Stat_vs_Exp",b1990,1). obs_vlabel("Stat_vs_Exp",b3065,-1). obs_vlabel("Stat_vs_Exp",b1953,1). obs_vlabel("Stat_vs_Exp",b4114,1). obs_vlabel("Stat_vs_Exp",b3736,-1). obs_vlabel("Stat_vs_Exp",b1182,1). obs_vlabel("Stat_vs_Exp",b1055,-1). obs_vlabel("Stat_vs_Exp",b0184,-1). obs_vlabel("Stat_vs_Exp",b2067,1). obs_vlabel("Stat_vs_Exp",b3546,-1). obs_vlabel("Stat_vs_Exp",b4033,-1). obs_vlabel("Stat_vs_Exp",b1518,1). obs_vlabel("Stat_vs_Exp",b0971,-1). obs_vlabel("Stat_vs_Exp",b3307,-1). obs_vlabel("Stat_vs_Exp",b3110,-1). obs_vlabel("Stat_vs_Exp",b3308,-1). obs_vlabel("Stat_vs_Exp",b3544,1). obs_vlabel("Stat_vs_Exp",b2086,1). obs_vlabel("Stat_vs_Exp",b3650,-1). obs_vlabel("Stat_vs_Exp",b4376,1). obs_vlabel("Stat_vs_Exp",b2308,1). obs_vlabel("Stat_vs_Exp",b1064,1). obs_vlabel("Stat_vs_Exp",b3626,-1). obs_vlabel("Stat_vs_Exp",b1958,1). obs_vlabel("Stat_vs_Exp",b3228,-1). obs_vlabel("Stat_vs_Exp",b2036,-1). obs_vlabel("Stat_vs_Exp",b3988,-1). obs_vlabel("Stat_vs_Exp",b3291,1). obs_vlabel("Stat_vs_Exp",b1075,-1). obs_vlabel("Stat_vs_Exp",b1748,1). obs_vlabel("Stat_vs_Exp",b3426,-1). obs_vlabel("Stat_vs_Exp",b1631,-1). obs_vlabel("Stat_vs_Exp",b3714,-1). obs_vlabel("Stat_vs_Exp",b3451,1). obs_vlabel("Stat_vs_Exp",b3530,1). obs_vlabel("Stat_vs_Exp",b3608,-1). obs_vlabel("Stat_vs_Exp",b4000,-1). exp("Stat_vs_Exp").