Instance Class Model and Solve Track 3D ASP Competition

Class Tree	[Root] Graphs (3030) Colored (79) Model and Solve Track 3D ASP Competition (14)
Description
Submitter	Barbara Nardi
Compatible Encodings
Output Predicates
Instances 1 - 14 of 14	12-graph_colouring-130-0.asp 16-graph_colouring-130-0.asp 37-graph_colouring-140-0.asp 38-graph_colouring-140-0.asp 41-graph_colouring-145-0.asp 44-graph_colouring-145-0.asp 51-graph_colouring-150-0.asp 53-graph_colouring-150-0.asp 58-graph_colouring-150-0.asp 59-graph_colouring-150-0.asp 6-graph_colouring-125-0.asp 60-graph_colouring-150-0.asp 8-graph_colouring-125-0.asp 9-graph_colouring-125-0.asp un-/mark all

Actions