Please wait ...
Benchmark(s) have been added to cart.
Tag has been added.
Login
Links
FAQs
Contact
Actions
Tree Structure
Expand All
Collapse All
9 Percent
Add all to Cart
Pagination
2
3
4
5
6
#/Page:
Navigation
Instance
Show Instances
Problem
Show Problems
Show Tags
Search
Cart
Instance Class 9 Percent
Class Tree
[Root]
Graphs (3030)
Influence Graphs (2553)
Escherichia coli (2003)
Heatshock (1001)
9 Percent
(200)
Description
This class contains samples of 9% of full Heatshock experimental data.
Submitter
Martin Gebser
Compatible Encodings
input.gringo
repair_core.gringo
repair_config.gringo
repair_cardinality.gringo
repair_subset.gringo
Output Predicates
exp/1
obs_vlabel/3
Instances
61 - 80 of 200
 
heatShock_WT_155_09.lp
 
heatShock_WT_156_09.lp
 
heatShock_WT_157_09.lp
 
heatShock_WT_158_09.lp
 
heatShock_WT_159_09.lp
 
heatShock_WT_15_09.lp
 
heatShock_WT_160_09.lp
 
heatShock_WT_161_09.lp
 
heatShock_WT_162_09.lp
 
heatShock_WT_163_09.lp
 
heatShock_WT_164_09.lp
 
heatShock_WT_165_09.lp
 
heatShock_WT_166_09.lp
 
heatShock_WT_167_09.lp
 
heatShock_WT_168_09.lp
 
heatShock_WT_169_09.lp
 
heatShock_WT_16_09.lp
 
heatShock_WT_170_09.lp
 
heatShock_WT_171_09.lp
 
heatShock_WT_172_09.lp
un-/mark all