Instance Class Model and Solve Track 3D ASP Competition

Class Tree	[Root] Unclassified (3031) MinimalDiagnosis (20) Model and Solve Track 3D ASP Competition (15)
Description
Submitter	Barbara Nardi
Compatible Encodings
Output Predicates
Instances 1 - 15 of 15	015-minimal_diagnosis-99-0.asp 050-minimal_diagnosis-99-0.asp 066-minimal_diagnosis-124-0.asp 121-minimal_diagnosis-149-0.asp 156-minimal_diagnosis-174-0.asp 186-minimal_diagnosis-174-0.asp 207-minimal_diagnosis-199-0.asp 216-minimal_diagnosis-199-0.asp 228-minimal_diagnosis-199-0.asp 272-minimal_diagnosis-224-0.asp 282-minimal_diagnosis-224-0.asp 374-minimal_diagnosis-274-0.asp 381-minimal_diagnosis-274-0.asp 461-minimal_diagnosis-49-0.asp 466-minimal_diagnosis-49-0.asp un-/mark all

Actions