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

Name	heatShock_WT_145_12.lp
Classes	[Root]    Graphs (3030)    Influence Graphs (2553)    Escherichia coli (2003)      Heatshock (1001)      12 Percent (200)
Submitter	Martin Gebser
Author	Mihail Ivanchev and Sven Thiele
Description
Created	2010-02-23 20:47
Modified	2010-02-23 20:47
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("heatShock_WT",b1070,1). obs_vlabel("heatShock_WT",b4259,-1). obs_vlabel("heatShock_WT",b4612,-1). obs_vlabel("heatShock_WT",b1938,1). obs_vlabel("heatShock_WT",b2280,1). obs_vlabel("heatShock_WT",b2267,-1). obs_vlabel("heatShock_WT",b4625,-1). obs_vlabel("heatShock_WT",b3748,1). obs_vlabel("heatShock_WT",b1209,1). obs_vlabel("heatShock_WT",b4109,1). obs_vlabel("heatShock_WT",b3595,-1). obs_vlabel("heatShock_WT",b3540,1). obs_vlabel("heatShock_WT",b0607,-1). obs_vlabel("heatShock_WT",b2809,-1). obs_vlabel("heatShock_WT",b2893,-1). obs_vlabel("heatShock_WT",b2550,-1). obs_vlabel("heatShock_WT",b3775,1). obs_vlabel("heatShock_WT",b4045,-1). obs_vlabel("heatShock_WT",b2804,-1). obs_vlabel("heatShock_WT",b3920,1). obs_vlabel("heatShock_WT",b2037,1). obs_vlabel("heatShock_WT",b2381,-1). obs_vlabel("heatShock_WT",b4502,1). obs_vlabel("heatShock_WT",b1797,-1). obs_vlabel("heatShock_WT",b1166,-1). obs_vlabel("heatShock_WT",b3560,1). obs_vlabel("heatShock_WT",b0839,-1). obs_vlabel("heatShock_WT",b4631,-1). obs_vlabel("heatShock_WT",b0702,-1). obs_vlabel("heatShock_WT",b0281,-1). obs_vlabel("heatShock_WT",b2443,-1). obs_vlabel("heatShock_WT",b3724,-1). obs_vlabel("heatShock_WT",b1761,1). obs_vlabel("heatShock_WT",b0722,1). obs_vlabel("heatShock_WT",b2903,1). obs_vlabel("heatShock_WT",b0121,1). obs_vlabel("heatShock_WT",b0600,-1). obs_vlabel("heatShock_WT",b0098,1). obs_vlabel("heatShock_WT",b2080,-1). obs_vlabel("heatShock_WT",b1723,-1). obs_vlabel("heatShock_WT",b3620,1). obs_vlabel("heatShock_WT",b0860,-1). obs_vlabel("heatShock_WT",b0721,1). obs_vlabel("heatShock_WT",b0918,1). obs_vlabel("heatShock_WT",b3650,1). obs_vlabel("heatShock_WT",b4557,1). obs_vlabel("heatShock_WT",b3805,1). obs_vlabel("heatShock_WT",b1287,1). obs_vlabel("heatShock_WT",b3956,1). obs_vlabel("heatShock_WT",b3651,1). obs_vlabel("heatShock_WT",b4140,-1). obs_vlabel("heatShock_WT",b4601,-1). obs_vlabel("heatShock_WT",b2508,1). obs_vlabel("heatShock_WT",b4618,-1). obs_vlabel("heatShock_WT",b3458,1). obs_vlabel("heatShock_WT",b3179,-1). obs_vlabel("heatShock_WT",b2763,1). obs_vlabel("heatShock_WT",b1603,1). obs_vlabel("heatShock_WT",b1021,-1). obs_vlabel("heatShock_WT",b0605,-1). obs_vlabel("heatShock_WT",b3725,-1). obs_vlabel("heatShock_WT",b3927,1). obs_vlabel("heatShock_WT",b4565,1). obs_vlabel("heatShock_WT",b3255,1). obs_vlabel("heatShock_WT",b3083,-1). obs_vlabel("heatShock_WT",b3099,-1). obs_vlabel("heatShock_WT",b3205,1). obs_vlabel("heatShock_WT",b3343,-1). obs_vlabel("heatShock_WT",b1245,1). obs_vlabel("heatShock_WT",b0023,1). obs_vlabel("heatShock_WT",b0138,-1). obs_vlabel("heatShock_WT",b0355,-1). obs_vlabel("heatShock_WT",b3296,1). obs_vlabel("heatShock_WT",b1676,1). obs_vlabel("heatShock_WT",b1739,-1). obs_vlabel("heatShock_WT",b4392,1). obs_vlabel("heatShock_WT",b1110,-1). obs_vlabel("heatShock_WT",b1501,-1). obs_vlabel("heatShock_WT",b1414,-1). obs_vlabel("heatShock_WT",b0279,-1). obs_vlabel("heatShock_WT",b3672,1). obs_vlabel("heatShock_WT",b1482,-1). obs_vlabel("heatShock_WT",b4553,-1). obs_vlabel("heatShock_WT",b2421,1). obs_vlabel("heatShock_WT",b0116,1). obs_vlabel("heatShock_WT",b4024,1). obs_vlabel("heatShock_WT",b1306,-1). obs_vlabel("heatShock_WT",b3626,1). obs_vlabel("heatShock_WT",b2509,1). obs_vlabel("heatShock_WT",b3653,-1). obs_vlabel("heatShock_WT",b3967,1). obs_vlabel("heatShock_WT",b0529,1). obs_vlabel("heatShock_WT",b2229,1). obs_vlabel("heatShock_WT",b3923,-1). obs_vlabel("heatShock_WT",b3734,1). obs_vlabel("heatShock_WT",b2094,1). obs_vlabel("heatShock_WT",b2019,1). obs_vlabel("heatShock_WT",b0337,1). obs_vlabel("heatShock_WT",b1571,-1). obs_vlabel("heatShock_WT",b3919,1). exp("heatShock_WT").