Instance 43-weight_assignment_tree-645-0.asp

Name	43-weight_assignment_tree-645-0.asp
Classes	[Root] Unclassified (3031) Weight-Assignment Tree (20) Model and Solve Track 3D ASP Competition (15)
Submitter	Barbara Nardi
Author	Yuliya Lierler
Description
Created	2012-03-29 10:48
Modified	2012-03-29 10:48
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	leafWeightCardinality(leaf1,19,70). leafWeightCardinality(leaf2,29,11). leafWeightCardinality(leaf3,39,28). leafWeightCardinality(leaf4,31,57). leafWeightCardinality(leaf5,52,2). leafWeightCardinality(leaf6,48,61). leafWeightCardinality(leaf7,60,16). leafWeightCardinality(leaf8,7,32). leafWeightCardinality(leaf9,72,36). leafWeightCardinality(leaf10,39,37). innerNode(1). innerNode(2). innerNode(3). innerNode(4). innerNode(5). innerNode(6). innerNode(7). innerNode(8). innerNode(9). num(10). max_total_weight(645).

Actions