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 461-minimal_diagnosis-49-0.asp

Name	461-minimal_diagnosis-49-0.asp
Classes	[Root]    Unclassified (3031)    MinimalDiagnosis (20)    Model and Solve Track 3D ASP Competition (15)
Submitter	Barbara Nardi
Author	Martin Gebser
Description
Created	2012-03-28 18:25
Modified	2012-03-28 18:25
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	edge(0,32). edge(0,35). edge(10,25). edge(10,3). edge(10,39). edge(11,32). edge(11,4). edge(12,40). edge(13,26). edge(13,36). edge(13,42). edge(14,26). edge(15,27). edge(15,48). edge(16,1). edge(16,23). edge(16,29). edge(16,48). edge(16,6). edge(18,19). edge(19,26). edge(19,27). edge(19,39). edge(20,14). edge(20,3). edge(21,40). edge(21,46). edge(21,9). edge(22,15). edge(22,17). edge(22,18). edge(22,28). edge(23,30). edge(2,37). edge(24,15). edge(24,16). edge(24,19). edge(24,2). edge(24,30). edge(24,34). edge(24,45). edge(25,0). edge(25,20). edge(25,22). edge(25,23). edge(26,15). edge(27,24). edge(28,22). edge(29,18). edge(29,23). edge(30,0). edge(31,18). edge(31,20). edge(31,41). edge(31,6). edge(31,9). edge(32,27). edge(3,23). edge(32,33). edge(32,38). edge(3,24). edge(3,26). edge(33,13). edge(33,39). edge(33,49). edge(34,11). edge(3,43). edge(34,46). edge(3,46). edge(35,10). edge(35,17). edge(35,2). edge(35,20). edge(35,30). edge(36,13). edge(36,27). edge(37,12). edge(37,21). edge(37,33). edge(37,42). edge(38,11). edge(38,20). edge(38,36). edge(38,49). edge(39,30). edge(39,32). edge(39,42). edge(39,47). edge(39,49). edge(40,3). edge(40,36). edge(40,48). edge(41,1). edge(41,18). edge(41,2). edge(41,22). edge(41,27). edge(41,29). edge(41,37). edge(41,39). edge(41,40). edge(41,7). edge(42,25). edge(42,28). edge(42,41). edge(4,35). edge(44,22). edge(44,39). edge(45,13). edge(45,4). edge(45,43). edge(4,6). edge(46,25). edge(46,27). edge(47,40). edge(47,7). edge(48,17). edge(48,20). edge(5,20). edge(5,25). edge(5,35). edge(5,7). edge(8,23). edge(9,47). edge(9,5). input(1). input(15). input(17). input(18). input(19). input(20). input(22). input(23). input(25). input(26). input(27). input(28). input(29). input(30). input(31). input(32). input(35). input(43). input(44). input(47). input(48). input(49). input(5). input(6). input(7). input(8). vertex(0). vertex(1). vertex(10). vertex(11). vertex(12). vertex(13). vertex(14). vertex(15). vertex(16). vertex(17). vertex(18). vertex(19). vertex(2). vertex(20). vertex(21). vertex(22). vertex(23). vertex(24). vertex(25). vertex(26). vertex(27). vertex(28). vertex(29). vertex(3). vertex(30). vertex(31). vertex(32). vertex(33). vertex(34). vertex(35). vertex(36). vertex(37). vertex(38). vertex(39). vertex(4). vertex(40). vertex(41). vertex(42). vertex(43). vertex(44). vertex(45). vertex(46). vertex(47). vertex(48). vertex(49). vertex(5). vertex(6). vertex(7). vertex(8). vertex(9). obs_elabel(0,32,m). obs_elabel(0,35,p). obs_elabel(10,25,m). obs_elabel(10,3,p). obs_elabel(10,39,m). obs_elabel(11,32,p). obs_elabel(11,4,p). obs_elabel(12,40,m). obs_elabel(13,26,m). obs_elabel(13,36,p). obs_elabel(13,42,p). obs_elabel(14,26,m). obs_elabel(15,27,m). obs_elabel(15,48,m). obs_elabel(16,1,m). obs_elabel(16,23,m). obs_elabel(16,29,m). obs_elabel(16,48,m). obs_elabel(16,6,m). obs_elabel(18,19,p). obs_elabel(19,26,p). obs_elabel(19,27,p). obs_elabel(19,39,p). obs_elabel(20,14,p). obs_elabel(20,3,p). obs_elabel(21,40,m). obs_elabel(21,46,m). obs_elabel(21,9,m). obs_elabel(22,15,m). obs_elabel(22,17,m). obs_elabel(22,18,m). obs_elabel(22,28,m). obs_elabel(23,30,m). obs_elabel(2,37,m). obs_elabel(24,15,p). obs_elabel(24,16,p). obs_elabel(24,19,p). obs_elabel(24,2,p). obs_elabel(24,30,p). obs_elabel(24,34,p). obs_elabel(24,45,m). obs_elabel(25,0,m). obs_elabel(25,20,p). obs_elabel(25,22,m). obs_elabel(25,23,m). obs_elabel(26,15,p). obs_elabel(27,24,p). obs_elabel(28,22,p). obs_elabel(29,18,m). obs_elabel(29,23,m). obs_elabel(30,0,m). obs_elabel(31,18,m). obs_elabel(31,20,p). obs_elabel(31,41,p). obs_elabel(31,6,p). obs_elabel(31,9,m). obs_elabel(32,27,m). obs_elabel(3,23,m). obs_elabel(32,33,p). obs_elabel(32,38,p). obs_elabel(3,24,m). obs_elabel(3,26,m). obs_elabel(33,13,p). obs_elabel(33,39,p). obs_elabel(33,49,m). obs_elabel(34,11,p). obs_elabel(3,43,p). obs_elabel(34,46,m). obs_elabel(3,46,m). obs_elabel(35,10,p). obs_elabel(35,17,p). obs_elabel(35,20,m). obs_elabel(35,2,p). obs_elabel(35,30,m). obs_elabel(36,13,p). obs_elabel(36,27,m). obs_elabel(37,12,m). obs_elabel(37,21,m). obs_elabel(37,33,m). obs_elabel(37,42,p). obs_elabel(38,11,m). obs_elabel(38,20,p). obs_elabel(38,36,p). obs_elabel(38,49,m). obs_elabel(39,30,m). obs_elabel(39,32,m). obs_elabel(39,42,m). obs_elabel(39,47,m). obs_elabel(39,49,p). obs_elabel(40,3,p). obs_elabel(40,36,m). obs_elabel(40,48,m). obs_elabel(41,1,p). obs_elabel(41,18,p). obs_elabel(41,2,p). obs_elabel(41,22,p). obs_elabel(41,27,m). obs_elabel(41,29,m). obs_elabel(41,37,p). obs_elabel(41,39,m). obs_elabel(41,40,p). obs_elabel(41,7,p). obs_elabel(42,25,p). obs_elabel(42,28,p). obs_elabel(42,41,m). obs_elabel(4,35,m). obs_elabel(44,22,m). obs_elabel(44,39,p). obs_elabel(45,13,m). obs_elabel(45,4,m). obs_elabel(45,43,p). obs_elabel(4,6,p). obs_elabel(46,25,m). obs_elabel(46,27,p). obs_elabel(47,40,m). obs_elabel(47,7,p). obs_elabel(48,17,m). obs_elabel(48,20,p). obs_elabel(5,20,p). obs_elabel(5,25,m). obs_elabel(5,35,p). obs_elabel(5,7,m). obs_elabel(8,23,m). obs_elabel(9,47,p). obs_elabel(9,5,p). obs_vlabel(0,m). obs_vlabel(11,m). obs_vlabel(13,p). obs_vlabel(14,m). obs_vlabel(16,p). obs_vlabel(19,p). obs_vlabel(25,m). obs_vlabel(27,m). obs_vlabel(29,m). obs_vlabel(30,m). obs_vlabel(35,m). obs_vlabel(36,m). obs_vlabel(39,m). obs_vlabel(4,p). obs_vlabel(41,m). obs_vlabel(42,m). obs_vlabel(44,p). obs_vlabel(45,p). obs_vlabel(46,p). obs_vlabel(47,p). obs_vlabel(49,m). obs_vlabel(5,p). obs_vlabel(6,p). obs_vlabel(8,m). obs_vlabel(9,p).