{"payload":{"header_redesign_enabled":false,"results":[{"id":"10415705","archived":false,"color":"#555555","followers":6,"has_funding_file":false,"hl_name":"computersforpeace/model-checker-benchmarks","hl_trunc_description":"CDSChecker benchmark suite","language":"C","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":10415705,"name":"model-checker-benchmarks","owner_id":2268082,"owner_login":"computersforpeace","updated_at":"2013-09-04T02:25:43.000Z","has_issues":true}},"sponsorable":false,"topics":[],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":72,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253Acomputersforpeace%252Fmodel-checker-benchmarks%2B%2Blanguage%253AC","metadata":null,"csrf_tokens":{"/computersforpeace/model-checker-benchmarks/star":{"post":"EIoB5NzqWGmKlUbaZjpc9rgSAsGIZCiPP1Pppq5LDhytsT2vl_46P3X6nu3V3RyP4FpphL76_itWKvQPWXCoJw"},"/computersforpeace/model-checker-benchmarks/unstar":{"post":"Mf2E4C4AQibMi9tmsjGmbUGBbv7DbLyhAkWH1SOdJzbln7_sRnO9A-dYhMo_uQZQixPMqi5N7xjXe83L4yXyFw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"1bTULJKCCyUP7XTpNH0yYhTQ7vd1hNQfFbF1L081GAIZS4gGkf_soYMm0yeENrF7aRe4Ee7FkVbPKnaLmmY9Lg"}}},"title":"Repository search results"}