{"id":15400503,"url":"https://github.com/tniessen/aiger-safety-properties","last_synced_at":"2026-01-07T05:07:05.076Z","repository":{"id":152090525,"uuid":"607518636","full_name":"tniessen/aiger-safety-properties","owner":"tniessen","description":"AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers","archived":false,"fork":false,"pushed_at":"2023-11-29T16:52:52.000Z","size":2510,"stargazers_count":14,"open_issues_count":0,"forks_count":7,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-02-02T02:27:54.983Z","etag":null,"topics":["aig","aiger","benchmark","dataset","examples","formal-verification","model-checking","testing","verification"],"latest_commit_sha":null,"homepage":"","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tniessen.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null}},"created_at":"2023-02-28T06:02:15.000Z","updated_at":"2024-09-07T06:38:51.000Z","dependencies_parsed_at":null,"dependency_job_id":"c726a875-b150-4cfd-8ee5-20b1bbd859ab","html_url":"https://github.com/tniessen/aiger-safety-properties","commit_stats":{"total_commits":12,"total_committers":2,"mean_commits":6.0,"dds":0.08333333333333337,"last_synced_commit":"c8efd0251c0548dd46168db8410e6777c5f82b73"},"previous_names":["tniessen/aiger-safety-properties"],"tags_count":6,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tniessen%2Faiger-safety-properties","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tniessen%2Faiger-safety-properties/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tniessen%2Faiger-safety-properties/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tniessen%2Faiger-safety-properties/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tniessen","download_url":"https://codeload.github.com/tniessen/aiger-safety-properties/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245949264,"owners_count":20698911,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["aig","aiger","benchmark","dataset","examples","formal-verification","model-checking","testing","verification"],"created_at":"2024-10-01T15:54:04.382Z","updated_at":"2026-01-07T05:07:00.039Z","avatar_url":"https://github.com/tniessen.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# AIGER safety properties\n\n\u003e No revision or version is assigned to this commit. Please refer to the list of\n\u003e [releases](https://github.com/tniessen/aiger-safety-properties/releases).\n\nAll files in this repository were designed from scratch and were not derived\nfrom other input formats. Both unsatisfiable and satisfiable instances range\nfrom very simple to difficult. In the case of satisfiable instances, simple\nproblems correspond to small counterexamples, whereas difficult problems do not\nhave small (or short) counterexamples. In the case of unsatisfiable instances,\neasier problems often have a small state space or simple interpolants, whereas\ndifficult problems often have a large state space and no simple interpolants.\n\nThis repository contains 338 AIGER files that each have a single output bit,\nwhich acts as a bad state detector. In other words, if the safety property\nrepresented by the AIGER file holds, then its output variable is unsatisfiable.\nIf the safety property does not hold, then the output variable is satisfied by\nsome input sequence.\n\nOf the 338 provided files, 138 files have an unsatisfiable output variable. The\nremaining 200 files have a satisfiable output variable. The last line of each\n`.aag` file includes the correct result.\n\nFor some parameterized problems, various instances of the same problem with\ndifferent parameters are provided. The difficulty of these instances varies\ngreatly depending on the selected parameters.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftniessen%2Faiger-safety-properties","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftniessen%2Faiger-safety-properties","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftniessen%2Faiger-safety-properties/lists"}