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

Name	Stat_vs_Exp_92_15.lp
Classes	[Root]    Graphs (3030)    Influence Graphs (2553)    Escherichia coli (2003)      Exponential-Stationary Growth Shift (1001)      15 Percent (200)
Submitter	Martin Gebser
Author	Mihail Ivanchev and Sven Thiele
Description
Created	2010-02-23 21:04
Modified	2010-02-23 21:04
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",b3307,-1). obs_vlabel("Stat_vs_Exp",b3629,-1). obs_vlabel("Stat_vs_Exp",b0529,-1). obs_vlabel("Stat_vs_Exp",b3390,-1). obs_vlabel("Stat_vs_Exp",b2891,-1). obs_vlabel("Stat_vs_Exp",b4618,1). obs_vlabel("Stat_vs_Exp",b1481,1). obs_vlabel("Stat_vs_Exp",b0486,1). obs_vlabel("Stat_vs_Exp",b1633,-1). obs_vlabel("Stat_vs_Exp",b1831,-1). obs_vlabel("Stat_vs_Exp",b2584,1). obs_vlabel("Stat_vs_Exp",b3430,1). obs_vlabel("Stat_vs_Exp",b0384,1). obs_vlabel("Stat_vs_Exp",b0636,-1). obs_vlabel("Stat_vs_Exp",b3149,-1). obs_vlabel("Stat_vs_Exp",b3110,-1). obs_vlabel("Stat_vs_Exp",b1450,1). obs_vlabel("Stat_vs_Exp",b4037,-1). obs_vlabel("Stat_vs_Exp",b2038,-1). obs_vlabel("Stat_vs_Exp",b3546,-1). obs_vlabel("Stat_vs_Exp",b2112,1). obs_vlabel("Stat_vs_Exp",b1071,1). obs_vlabel("Stat_vs_Exp",b1205,1). obs_vlabel("Stat_vs_Exp",b3622,-1). obs_vlabel("Stat_vs_Exp",b1487,1). obs_vlabel("Stat_vs_Exp",b4457,1). obs_vlabel("Stat_vs_Exp",b3304,-1). obs_vlabel("Stat_vs_Exp",b4239,-1). obs_vlabel("Stat_vs_Exp",b1003,1). obs_vlabel("Stat_vs_Exp",b0906,1). obs_vlabel("Stat_vs_Exp",b3748,1). obs_vlabel("Stat_vs_Exp",b3341,-1). obs_vlabel("Stat_vs_Exp",b3512,1). obs_vlabel("Stat_vs_Exp",b3796,-1). obs_vlabel("Stat_vs_Exp",b0989,-1). obs_vlabel("Stat_vs_Exp",b3451,1). obs_vlabel("Stat_vs_Exp",b2080,1). obs_vlabel("Stat_vs_Exp",b4120,1). obs_vlabel("Stat_vs_Exp",b1278,1). obs_vlabel("Stat_vs_Exp",b4207,-1). obs_vlabel("Stat_vs_Exp",b1889,1). obs_vlabel("Stat_vs_Exp",b0685,-1). obs_vlabel("Stat_vs_Exp",b4107,1). obs_vlabel("Stat_vs_Exp",b4609,1). obs_vlabel("Stat_vs_Exp",b3839,-1). obs_vlabel("Stat_vs_Exp",b1166,1). obs_vlabel("Stat_vs_Exp",b1732,1). obs_vlabel("Stat_vs_Exp",b1983,-1). obs_vlabel("Stat_vs_Exp",b3510,1). obs_vlabel("Stat_vs_Exp",b4304,1). obs_vlabel("Stat_vs_Exp",b0865,1). obs_vlabel("Stat_vs_Exp",b3230,-1). obs_vlabel("Stat_vs_Exp",b0586,1). obs_vlabel("Stat_vs_Exp",b2661,1). obs_vlabel("Stat_vs_Exp",b3024,1). obs_vlabel("Stat_vs_Exp",b1518,1). obs_vlabel("Stat_vs_Exp",b0836,1). obs_vlabel("Stat_vs_Exp",b1257,1). obs_vlabel("Stat_vs_Exp",b1095,-1). obs_vlabel("Stat_vs_Exp",b2518,-1). obs_vlabel("Stat_vs_Exp",b2809,1). obs_vlabel("Stat_vs_Exp",b0971,-1). obs_vlabel("Stat_vs_Exp",b2780,1). obs_vlabel("Stat_vs_Exp",b3650,-1). obs_vlabel("Stat_vs_Exp",b4411,1). obs_vlabel("Stat_vs_Exp",b1493,1). obs_vlabel("Stat_vs_Exp",b3170,-1). obs_vlabel("Stat_vs_Exp",b2032,-1). obs_vlabel("Stat_vs_Exp",b2033,-1). obs_vlabel("Stat_vs_Exp",b3065,-1). obs_vlabel("Stat_vs_Exp",b4001,-1). obs_vlabel("Stat_vs_Exp",b0786,1). obs_vlabel("Stat_vs_Exp",b4036,-1). obs_vlabel("Stat_vs_Exp",b3296,-1). obs_vlabel("Stat_vs_Exp",b3922,1). obs_vlabel("Stat_vs_Exp",b0680,-1). obs_vlabel("Stat_vs_Exp",b2619,-1). obs_vlabel("Stat_vs_Exp",b1081,-1). obs_vlabel("Stat_vs_Exp",b1896,1). obs_vlabel("Stat_vs_Exp",b3983,-1). obs_vlabel("Stat_vs_Exp",b2979,1). obs_vlabel("Stat_vs_Exp",b3097,1). obs_vlabel("Stat_vs_Exp",b4348,-1). obs_vlabel("Stat_vs_Exp",b3306,-1). obs_vlabel("Stat_vs_Exp",b0163,1). obs_vlabel("Stat_vs_Exp",b1511,1). obs_vlabel("Stat_vs_Exp",b4077,-1). obs_vlabel("Stat_vs_Exp",b1125,-1). obs_vlabel("Stat_vs_Exp",b0389,1). obs_vlabel("Stat_vs_Exp",b3606,-1). obs_vlabel("Stat_vs_Exp",b4201,-1). obs_vlabel("Stat_vs_Exp",b4127,1). obs_vlabel("Stat_vs_Exp",b3081,1). obs_vlabel("Stat_vs_Exp",b4426,1). obs_vlabel("Stat_vs_Exp",b2480,-1). obs_vlabel("Stat_vs_Exp",b3261,-1). obs_vlabel("Stat_vs_Exp",b4226,-1). obs_vlabel("Stat_vs_Exp",b0643,1). obs_vlabel("Stat_vs_Exp",b1341,1). obs_vlabel("Stat_vs_Exp",b1810,1). obs_vlabel("Stat_vs_Exp",b4199,1). obs_vlabel("Stat_vs_Exp",b1178,1). obs_vlabel("Stat_vs_Exp",b3926,-1). obs_vlabel("Stat_vs_Exp",b1886,1). obs_vlabel("Stat_vs_Exp",b0469,-1). obs_vlabel("Stat_vs_Exp",b3608,-1). obs_vlabel("Stat_vs_Exp",b1863,-1). obs_vlabel("Stat_vs_Exp",b3560,-1). obs_vlabel("Stat_vs_Exp",b1884,1). obs_vlabel("Stat_vs_Exp",b1958,1). obs_vlabel("Stat_vs_Exp",b4595,-1). obs_vlabel("Stat_vs_Exp",b2659,1). obs_vlabel("Stat_vs_Exp",b4035,-1). obs_vlabel("Stat_vs_Exp",b3714,-1). obs_vlabel("Stat_vs_Exp",b4617,1). obs_vlabel("Stat_vs_Exp",b0436,-1). obs_vlabel("Stat_vs_Exp",b3739,-1). obs_vlabel("Stat_vs_Exp",b3641,-1). obs_vlabel("Stat_vs_Exp",b3494,1). obs_vlabel("Stat_vs_Exp",b3931,-1). obs_vlabel("Stat_vs_Exp",b3515,1). obs_vlabel("Stat_vs_Exp",b4432,1). obs_vlabel("Stat_vs_Exp",b1217,1). obs_vlabel("Stat_vs_Exp",b0423,-1). obs_vlabel("Stat_vs_Exp",b3231,-1). obs_vlabel("Stat_vs_Exp",b2524,-1). obs_vlabel("Stat_vs_Exp",b1427,1). obs_vlabel("Stat_vs_Exp",b4529,1). obs_vlabel("Stat_vs_Exp",b4375,-1). obs_vlabel("Stat_vs_Exp",b0790,1). exp("Stat_vs_Exp").