Instance 39-reverse_folding-0-0.asp

Name	39-reverse_folding-0-0.asp
Classes	[Root] Grids (772) Reverse Folding (20) Model and Solve Track 3D ASP Competition (15)
Submitter	Barbara Nardi
Author	Andrea Formisano, Agostino Dovier and Enrico Pontelli
Description
Created	2012-03-29 10:37
Modified	2012-03-29 10:37
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	fold(1,40,40). fold(2,40,41). fold(3,40,42). fold(4,39,42). fold(5,39,41). fold(6,39,40). fold(7,39,39). fold(8,39,38). fold(9,39,37). fold(10,38,37). fold(11,38,36). fold(12,38,35). fold(13,38,34). fold(14,38,33). fold(15,38,32). fold(16,38,31). fold(17,38,30). fold(18,37,30). fold(19,36,30). fold(20,36,29). fold(21,36,28). fold(22,36,27). fold(23,36,26). fold(24,36,25). fold(25,37,25). fold(26,38,25). fold(27,39,25). fold(28,39,24). fold(29,39,23). fold(30,38,23). fold(31,38,22). fold(32,39,22). fold(33,39,21). fold(34,39,20). fold(35,38,20). fold(36,38,19). fold(37,37,19). fold(38,36,19). fold(39,36,20). fold(40,36,21). length(40). time(40).

Actions