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 10-crossing_minimization-10-0.asp

Name	10-crossing_minimization-10-0.asp
Classes	[Root]    Graphs (3030)    CrossingMinimization (20)    Training Instances 3D ASP Competition (5)
Submitter	Barbara Nardi
Author	Peter Stuckey and Graeme Gange
Description
Created	2012-03-23 10:45
Modified	2012-03-23 10:45
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	layers(3). width(0,10). in_layer(0,n1). in_layer(0,n2). in_layer(0,n3). in_layer(0,n4). in_layer(0,n5). in_layer(0,n6). in_layer(0,n7). in_layer(0,n8). in_layer(0,n9). in_layer(0,n10). width(1,10). in_layer(1,n11). in_layer(1,n12). in_layer(1,n13). in_layer(1,n14). in_layer(1,n15). in_layer(1,n16). in_layer(1,n17). in_layer(1,n18). in_layer(1,n19). in_layer(1,n20). width(2,10). in_layer(2,n21). in_layer(2,n22). in_layer(2,n23). in_layer(2,n24). in_layer(2,n25). in_layer(2,n26). in_layer(2,n27). in_layer(2,n28). in_layer(2,n29). in_layer(2,n30). edge(n16,n29). edge(n6,n12). edge(n20,n21). edge(n7,n11). edge(n14,n25). edge(n10,n12). edge(n9,n16). edge(n8,n16). edge(n13,n29). edge(n4,n13). edge(n14,n29). edge(n17,n21). edge(n7,n12). edge(n15,n28). edge(n13,n28). edge(n14,n28). edge(n13,n21). edge(n19,n22). edge(n5,n11). edge(n6,n19). edge(n18,n28). edge(n3,n20). edge(n17,n22). edge(n8,n20). edge(n8,n17). edge(n2,n19). edge(n16,n27). edge(n13,n25). edge(n11,n29). edge(n1,n17). edge(n10,n17). edge(n13,n23). edge(n14,n26). edge(n18,n30). edge(n6,n17). edge(n2,n16). edge(n20,n27). edge(n4,n20). edge(n12,n25). edge(n19,n29).