Instance 25-crossing_minimization-8-0.asp

Name	25-crossing_minimization-8-0.asp
Classes	[Root] Graphs (3030) CrossingMinimization (20) Model and Solve Track 3D ASP Competition (15)
Submitter	Barbara Nardi
Author	Peter Stuckey and Graeme Gange
Description
Created	2012-03-23 10:43
Modified	2012-03-23 10:43
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	layers(4). width(0,8). 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). width(1,8). in_layer(1,n9). in_layer(1,n10). in_layer(1,n11). in_layer(1,n12). in_layer(1,n13). in_layer(1,n14). in_layer(1,n15). in_layer(1,n16). width(2,8). in_layer(2,n17). in_layer(2,n18). in_layer(2,n19). in_layer(2,n20). in_layer(2,n21). in_layer(2,n22). in_layer(2,n23). in_layer(2,n24). width(3,8). in_layer(3,n25). in_layer(3,n26). in_layer(3,n27). in_layer(3,n28). in_layer(3,n29). in_layer(3,n30). in_layer(3,n31). in_layer(3,n32). edge(n13,n22). edge(n6,n15). edge(n12,n18). edge(n13,n18). edge(n15,n18). edge(n18,n30). edge(n9,n18). edge(n18,n25). edge(n10,n22). edge(n1,n10). edge(n9,n20). edge(n3,n11). edge(n1,n14). edge(n12,n23). edge(n24,n30). edge(n1,n15). edge(n5,n11). edge(n3,n14). edge(n15,n22). edge(n11,n22). edge(n14,n20). edge(n20,n28). edge(n4,n16). edge(n11,n18). edge(n19,n27). edge(n19,n31). edge(n8,n9). edge(n3,n10). edge(n18,n26). edge(n16,n24). edge(n4,n9). edge(n19,n29). edge(n4,n10). edge(n22,n32). edge(n24,n27). edge(n19,n25). edge(n13,n24). edge(n8,n10).

Actions