{"action":"created","issue":{"url":"https://api.github.com/repos/pucrs-automated-planning/javagp/issues/23","repository_url":"https://api.github.com/repos/pucrs-automated-planning/javagp","labels_url":"https://api.github.com/repos/pucrs-automated-planning/javagp/issues/23/labels{/name}","comments_url":"https://api.github.com/repos/pucrs-automated-planning/javagp/issues/23/comments","events_url":"https://api.github.com/repos/pucrs-automated-planning/javagp/issues/23/events","html_url":"https://github.com/pucrs-automated-planning/javagp/issues/23","id":177540894,"number":23,"title":"Problem with closed world assumption","user":{"login":"meneguzzi","id":4698576,"avatar_url":"https://avatars.githubusercontent.com/u/4698576?v=3","gravatar_id":"","url":"https://api.github.com/users/meneguzzi","html_url":"https://github.com/meneguzzi","followers_url":"https://api.github.com/users/meneguzzi/followers","following_url":"https://api.github.com/users/meneguzzi/following{/other_user}","gists_url":"https://api.github.com/users/meneguzzi/gists{/gist_id}","starred_url":"https://api.github.com/users/meneguzzi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/meneguzzi/subscriptions","organizations_url":"https://api.github.com/users/meneguzzi/orgs","repos_url":"https://api.github.com/users/meneguzzi/repos","events_url":"https://api.github.com/users/meneguzzi/events{/privacy}","received_events_url":"https://api.github.com/users/meneguzzi/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/pucrs-automated-planning/javagp/labels/bug","name":"bug","color":"ee0701"}],"state":"open","locked":false,"assignee":{"login":"guilhermekrz","id":2753296,"avatar_url":"https://avatars.githubusercontent.com/u/2753296?v=3","gravatar_id":"","url":"https://api.github.com/users/guilhermekrz","html_url":"https://github.com/guilhermekrz","followers_url":"https://api.github.com/users/guilhermekrz/followers","following_url":"https://api.github.com/users/guilhermekrz/following{/other_user}","gists_url":"https://api.github.com/users/guilhermekrz/gists{/gist_id}","starred_url":"https://api.github.com/users/guilhermekrz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/guilhermekrz/subscriptions","organizations_url":"https://api.github.com/users/guilhermekrz/orgs","repos_url":"https://api.github.com/users/guilhermekrz/repos","events_url":"https://api.github.com/users/guilhermekrz/events{/privacy}","received_events_url":"https://api.github.com/users/guilhermekrz/received_events","type":"User","site_admin":false},"assignees":[{"login":"guilhermekrz","id":2753296,"avatar_url":"https://avatars.githubusercontent.com/u/2753296?v=3","gravatar_id":"","url":"https://api.github.com/users/guilhermekrz","html_url":"https://github.com/guilhermekrz","followers_url":"https://api.github.com/users/guilhermekrz/followers","following_url":"https://api.github.com/users/guilhermekrz/following{/other_user}","gists_url":"https://api.github.com/users/guilhermekrz/gists{/gist_id}","starred_url":"https://api.github.com/users/guilhermekrz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/guilhermekrz/subscriptions","organizations_url":"https://api.github.com/users/guilhermekrz/orgs","repos_url":"https://api.github.com/users/guilhermekrz/repos","events_url":"https://api.github.com/users/guilhermekrz/events{/privacy}","received_events_url":"https://api.github.com/users/guilhermekrz/received_events","type":"User","site_admin":false}],"milestone":null,"comments":4,"created_at":"2016-09-16T23:37:43Z","updated_at":"2016-09-17T20:48:25Z","closed_at":null,"body":"Closed world assumption does not seem to be working on the attached RPG domain (it generates a useless destroy_sword action because it cannot find (not (carry)).\r\n[pb1.txt](https://github.com/pucrs-automated-planning/javagp/files/477844/pb1.txt)\r\n[rpg.txt](https://github.com/pucrs-automated-planning/javagp/files/477843/rpg.txt)\r\n\r\n@guilhermekrz if you have time to check this in detail, I'd appreciate it. No hurry though.\r\n"},"comment":{"url":"https://api.github.com/repos/pucrs-automated-planning/javagp/issues/comments/247807038","html_url":"https://github.com/pucrs-automated-planning/javagp/issues/23#issuecomment-247807038","issue_url":"https://api.github.com/repos/pucrs-automated-planning/javagp/issues/23","id":247807038,"user":{"login":"Maumagnaguagno","id":11094484,"avatar_url":"https://avatars.githubusercontent.com/u/11094484?v=3","gravatar_id":"","url":"https://api.github.com/users/Maumagnaguagno","html_url":"https://github.com/Maumagnaguagno","followers_url":"https://api.github.com/users/Maumagnaguagno/followers","following_url":"https://api.github.com/users/Maumagnaguagno/following{/other_user}","gists_url":"https://api.github.com/users/Maumagnaguagno/gists{/gist_id}","starred_url":"https://api.github.com/users/Maumagnaguagno/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Maumagnaguagno/subscriptions","organizations_url":"https://api.github.com/users/Maumagnaguagno/orgs","repos_url":"https://api.github.com/users/Maumagnaguagno/repos","events_url":"https://api.github.com/users/Maumagnaguagno/events{/privacy}","received_events_url":"https://api.github.com/users/Maumagnaguagno/received_events","type":"User","site_admin":false},"created_at":"2016-09-17T20:48:25Z","updated_at":"2016-09-17T20:48:25Z","body":"The input files should still be available in sourceforge:\r\n- #14 is [here](https://sourceforge.net/p/emplan/bugs/14/)\r\n- #10 is ??? (I could not find bug 10, perhaps something got destroyed in the transition to GitHub)\r\n\r\nBut this is not a problem since I did the Aperture domain:\r\n- [Aperture.zip](https://github.com/pucrs-automated-planning/javagp/files/478357/aperture.zip)\r\n- The example from the first post is from pb1.pddl\r\n\r\nProblem | Plan size\r\n--- | ---\r\npb1.pddl |  8\r\npb2.pddl | 10\r\npb3.pddl | 10\r\npb4.pddl |  9\r\npb5.pddl | 12\r\npb6.pddl | 13\r\npb7.pddl | 13\r\npb8.pddl | 20\r\npb9.pddl | 27\r\npb10.pddl | 21\r\n\r\n[Travis does have a timeout](https://docs.travis-ci.com/user/common-build-problems/#My-builds-are-timing-out), but is minutes long, we are around 1 min total currently.\r\nThe Rush test is too simple to actually fail, this is why it is named pb0, one car moves only horizontally (branch factor 2) in the board, 4 moves to reach the goal.\r\nI suspect this is some sort of internal timeout (in our tests) or wrong config (perhaps related to memory as you suggested).\r\nI think we should break them in 2 test suites, one that checks parts of the planner and other that actually plans.\r\nUsers could benefit on that, but Travis should run both until we reach its time/memory limit.\r\n\r\nThanks @guilhermekrz, we can actually see things break now :smile: .\r\n"}}
{"actor":{"display_login":"Maumagnaguagno"}}