{"action":"created","issue":{"url":"https://api.github.com/repos/MassimoLauria/cnfgen/issues/44","labels_url":"https://api.github.com/repos/MassimoLauria/cnfgen/issues/44/labels{/name}","comments_url":"https://api.github.com/repos/MassimoLauria/cnfgen/issues/44/comments","events_url":"https://api.github.com/repos/MassimoLauria/cnfgen/issues/44/events","html_url":"https://github.com/MassimoLauria/cnfgen/pull/44","id":120747406,"number":44,"title":"New combinatorial benchmarks","user":{"login":"elffersj","id":4202501,"avatar_url":"https://avatars.githubusercontent.com/u/4202501?v=3","gravatar_id":"","url":"https://api.github.com/users/elffersj","html_url":"https://github.com/elffersj","followers_url":"https://api.github.com/users/elffersj/followers","following_url":"https://api.github.com/users/elffersj/following{/other_user}","gists_url":"https://api.github.com/users/elffersj/gists{/gist_id}","starred_url":"https://api.github.com/users/elffersj/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/elffersj/subscriptions","organizations_url":"https://api.github.com/users/elffersj/orgs","repos_url":"https://api.github.com/users/elffersj/repos","events_url":"https://api.github.com/users/elffersj/events{/privacy}","received_events_url":"https://api.github.com/users/elffersj/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2015-12-07T10:59:18Z","updated_at":"2016-01-22T18:03:16Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/MassimoLauria/cnfgen/pulls/44","html_url":"https://github.com/MassimoLauria/cnfgen/pull/44","diff_url":"https://github.com/MassimoLauria/cnfgen/pull/44.diff","patch_url":"https://github.com/MassimoLauria/cnfgen/pull/44.patch"},"body":"Adds the following new benchmarks:\r\n- Dense Linear Ordering Principle\r\n- Relativized Pigeonhole Principle\r\n- s-t connectivity formula\r\n- Thapen's size-width tradeoff formula\r\n- XORification with replacement\r\n\r\nI didn't completely understand how to add them to the commandline. Maybe you could do it or explain how it should be done?"},"comment":{"url":"https://api.github.com/repos/MassimoLauria/cnfgen/issues/comments/173994550","html_url":"https://github.com/MassimoLauria/cnfgen/pull/44#issuecomment-173994550","issue_url":"https://api.github.com/repos/MassimoLauria/cnfgen/issues/44","id":173994550,"user":{"login":"MassimoLauria","id":98795,"avatar_url":"https://avatars.githubusercontent.com/u/98795?v=3","gravatar_id":"","url":"https://api.github.com/users/MassimoLauria","html_url":"https://github.com/MassimoLauria","followers_url":"https://api.github.com/users/MassimoLauria/followers","following_url":"https://api.github.com/users/MassimoLauria/following{/other_user}","gists_url":"https://api.github.com/users/MassimoLauria/gists{/gist_id}","starred_url":"https://api.github.com/users/MassimoLauria/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/MassimoLauria/subscriptions","organizations_url":"https://api.github.com/users/MassimoLauria/orgs","repos_url":"https://api.github.com/users/MassimoLauria/repos","events_url":"https://api.github.com/users/MassimoLauria/events{/privacy}","received_events_url":"https://api.github.com/users/MassimoLauria/received_events","type":"User","site_admin":false},"created_at":"2016-01-22T18:03:16Z","updated_at":"2016-01-22T18:03:16Z","body":"Can I close this pull request, and only take care of the new ones?"}}