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

Name	heatShock_WT_100_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",b3626,1). obs_vlabel("heatShock_WT",b1603,1). obs_vlabel("heatShock_WT",b2279,1). obs_vlabel("heatShock_WT",b0631,-1). obs_vlabel("heatShock_WT",b1414,-1). obs_vlabel("heatShock_WT",b2023,1). obs_vlabel("heatShock_WT",b3965,1). obs_vlabel("heatShock_WT",b1245,1). obs_vlabel("heatShock_WT",b1075,1). obs_vlabel("heatShock_WT",b4034,1). obs_vlabel("heatShock_WT",b3941,-1). obs_vlabel("heatShock_WT",b2158,1). obs_vlabel("heatShock_WT",b0907,1). obs_vlabel("heatShock_WT",b1471,-1). obs_vlabel("heatShock_WT",b1112,-1). obs_vlabel("heatShock_WT",b1062,1). obs_vlabel("heatShock_WT",b4393,1). obs_vlabel("heatShock_WT",b1696,-1). obs_vlabel("heatShock_WT",b1866,1). obs_vlabel("heatShock_WT",b3593,-1). obs_vlabel("heatShock_WT",b3697,1). obs_vlabel("heatShock_WT",b0644,-1). obs_vlabel("heatShock_WT",b2937,1). obs_vlabel("heatShock_WT",b1878,1). obs_vlabel("heatShock_WT",b3748,1). obs_vlabel("heatShock_WT",b2531,-1). obs_vlabel("heatShock_WT",b4346,1). obs_vlabel("heatShock_WT",b3787,1). obs_vlabel("heatShock_WT",b1939,1). obs_vlabel("heatShock_WT",b2009,-1). obs_vlabel("heatShock_WT",b0315,-1). obs_vlabel("heatShock_WT",b3732,1). obs_vlabel("heatShock_WT",b3704,1). obs_vlabel("heatShock_WT",b4001,1). obs_vlabel("heatShock_WT",b4418,1). obs_vlabel("heatShock_WT",b0281,-1). obs_vlabel("heatShock_WT",b0250,-1). obs_vlabel("heatShock_WT",b1322,-1). obs_vlabel("heatShock_WT",b2187,1). obs_vlabel("heatShock_WT",b4025,1). obs_vlabel("heatShock_WT",b1261,1). obs_vlabel("heatShock_WT",b4322,-1). obs_vlabel("heatShock_WT",b2509,1). obs_vlabel("heatShock_WT",b1082,1). obs_vlabel("heatShock_WT",b1070,1). obs_vlabel("heatShock_WT",b1945,1). obs_vlabel("heatShock_WT",b0705,-1). obs_vlabel("heatShock_WT",b0212,-1). obs_vlabel("heatShock_WT",b1823,1). obs_vlabel("heatShock_WT",b3661,1). obs_vlabel("heatShock_WT",b1003,-1). obs_vlabel("heatShock_WT",b2522,1). obs_vlabel("heatShock_WT",b2074,1). obs_vlabel("heatShock_WT",b2113,1). obs_vlabel("heatShock_WT",b4349,1). obs_vlabel("heatShock_WT",b2040,1). obs_vlabel("heatShock_WT",b0461,-1). obs_vlabel("heatShock_WT",b0431,1). obs_vlabel("heatShock_WT",b3460,1). obs_vlabel("heatShock_WT",b2894,-1). obs_vlabel("heatShock_WT",b3700,-1). obs_vlabel("heatShock_WT",b0143,1). obs_vlabel("heatShock_WT",b2393,1). obs_vlabel("heatShock_WT",b3083,-1). obs_vlabel("heatShock_WT",b2913,1). obs_vlabel("heatShock_WT",b2779,1). obs_vlabel("heatShock_WT",b0556,1). obs_vlabel("heatShock_WT",b4345,1). obs_vlabel("heatShock_WT",b3927,1). obs_vlabel("heatShock_WT",b2949,1). obs_vlabel("heatShock_WT",b3006,1). obs_vlabel("heatShock_WT",b1305,-1). obs_vlabel("heatShock_WT",b0355,-1). obs_vlabel("heatShock_WT",b3020,1). obs_vlabel("heatShock_WT",b2071,-1). obs_vlabel("heatShock_WT",b0970,1). obs_vlabel("heatShock_WT",b2791,1). obs_vlabel("heatShock_WT",b1926,1). obs_vlabel("heatShock_WT",b4127,-1). obs_vlabel("heatShock_WT",b0415,-1). obs_vlabel("heatShock_WT",b3255,1). obs_vlabel("heatShock_WT",b2352,1). obs_vlabel("heatShock_WT",b2037,1). obs_vlabel("heatShock_WT",b4553,-1). obs_vlabel("heatShock_WT",b0368,-1). obs_vlabel("heatShock_WT",b2685,1). obs_vlabel("heatShock_WT",b2827,1). obs_vlabel("heatShock_WT",b2025,1). obs_vlabel("heatShock_WT",b2904,1). obs_vlabel("heatShock_WT",b2573,-1). obs_vlabel("heatShock_WT",b0895,-1). obs_vlabel("heatShock_WT",b3407,1). obs_vlabel("heatShock_WT",b3938,-1). obs_vlabel("heatShock_WT",b3725,-1). obs_vlabel("heatShock_WT",b3099,-1). obs_vlabel("heatShock_WT",b1073,1). obs_vlabel("heatShock_WT",b0422,1). obs_vlabel("heatShock_WT",b4178,-1). obs_vlabel("heatShock_WT",b3207,-1). obs_vlabel("heatShock_WT",b3432,1). exp("heatShock_WT").