ccp-sample-instance.asp

nrofcolors(4).
nrofbins(4).
maxbinsize(4).
maxborder(3).

edge("b1","s1").
edge("s1","p1").
edge("p1","b5").
edge("p1","b2").
edge("b5","e1").
edge("e1","b6").
edge("b6","p3").
edge("b2","p2").
edge("p2","b3").
edge("p2","p5").
edge("b3","p3").
edge("p3","s2").
edge("s2","b4").
edge("b7","s3").
edge("s3","p4").
edge("p4","b11").
edge("p4","b8").
edge("b11","e2").
edge("e2","b12").
edge("b12","p6").
edge("b8","p5").
edge("p5","b9").
edge("b9","p6").
edge("p6","s4").
edge("s4","b10").

type("b1","b").
type("b2","b").
type("b3","b").
type("b4","b").
type("b5","b").
type("b6","b").
type("b7","b").
type("b8","b").
type("b9","b").
type("b10","b").
type("b11","b").
type("b12","b").
type("s1","s").
type("s2","s").
type("s3","s").
type("s4","s").
type("p1","p").
type("p2","p").
type("p3","p").
type("p4","p").
type("p5","p").
type("p6","p").
type("e1","e").
type("e2","e").

size("b1",1).
size("b2",1).
size("b3",1).
size("b4",1).
size("b5",1).
size("b6",1).
size("b7",1).
size("b8",1).
size("b9",1).
size("b10",1).
size("b11",1).
size("b12",1).
size("s1",3).
size("s2",3).
size("s3",3).
size("s4",3).
size("p1",4).
size("p2",4).
size("p3",4).
size("p4",4).
size("p5",4).
size("p6",4).
size("e1",2).
size("e2",2).

path1("b1").
path1("s1").
path1("p1").
path1("b2").
path1("p2").
path2("b11").
path2("e2").
path2("b12").
path2("p6").
path2("s4").
path2("b10").

edge_matching("a1","b1").
edge_matching("a1","p2").
edge_matching("a1","p2").
edge_matching("a2","b5").
edge_matching("a2","b3").
edge_matching("a2","b4").
edge_matching("a3","b7").
edge_matching("a3","p4").
edge_matching("a3","b9").
edge_matching("a4","b11").
edge_matching("a4","p6").
edge_matching("a4","b10").