Please wait ...
Benchmark(s) have been added to cart.
Tag has been added.
Login
Links
FAQs
Contact
Actions
Tree Structure
Expand All
Collapse All
3 Percent
Add all to Cart
Pagination
4
5
6
7
8
#/Page:
Navigation
Instance
Show Instances
Problem
Show Problems
Show Tags
Search
Cart
Instance Class 3 Percent
Class Tree
[Root]
Graphs (3030)
Influence Graphs (2553)
Escherichia coli (2003)
Heatshock (1001)
3 Percent
(200)
Description
This class contains samples of 3% 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
101 - 120 of 200
 
heatShock_WT_191_03.lp
 
heatShock_WT_192_03.lp
 
heatShock_WT_193_03.lp
 
heatShock_WT_194_03.lp
 
heatShock_WT_195_03.lp
 
heatShock_WT_196_03.lp
 
heatShock_WT_197_03.lp
 
heatShock_WT_198_03.lp
 
heatShock_WT_199_03.lp
 
heatShock_WT_19_03.lp
 
heatShock_WT_1_03.lp
 
heatShock_WT_200_03.lp
 
heatShock_WT_20_03.lp
 
heatShock_WT_21_03.lp
 
heatShock_WT_22_03.lp
 
heatShock_WT_23_03.lp
 
heatShock_WT_24_03.lp
 
heatShock_WT_25_03.lp
 
heatShock_WT_26_03.lp
 
heatShock_WT_27_03.lp
un-/mark all