Please wait ...
Benchmark(s) have been added to cart.
Tag has been added.
Login
Links
FAQs
Contact
Actions
Tree Structure
Expand All
Collapse All
12 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 12 Percent
Class Tree
[Root]
Graphs (3030)
Influence Graphs (2553)
Escherichia coli (2003)
Heatshock (1001)
12 Percent
(200)
Description
This class contains samples of 12% 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_12.lp
 
heatShock_WT_156_12.lp
 
heatShock_WT_157_12.lp
 
heatShock_WT_158_12.lp
 
heatShock_WT_159_12.lp
 
heatShock_WT_15_12.lp
 
heatShock_WT_160_12.lp
 
heatShock_WT_161_12.lp
 
heatShock_WT_162_12.lp
 
heatShock_WT_163_12.lp
 
heatShock_WT_164_12.lp
 
heatShock_WT_165_12.lp
 
heatShock_WT_166_12.lp
 
heatShock_WT_167_12.lp
 
heatShock_WT_168_12.lp
 
heatShock_WT_169_12.lp
 
heatShock_WT_16_12.lp
 
heatShock_WT_170_12.lp
 
heatShock_WT_171_12.lp
 
heatShock_WT_172_12.lp
un-/mark all