{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:VALZXMDH2FHLDGKHZ3P7M37QD4","short_pith_number":"pith:VALZXMDH","canonical_record":{"source":{"id":"1609.00507","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-02T09:01:36Z","cross_cats_sorted":[],"title_canon_sha256":"ebdf4d894b2bf687c20ed520663da345de87f78d67b045e678ffc2bb697c8ece","abstract_canon_sha256":"81357bc279ff21b5afc83d136e2837627f165be06100389b5f2843455320ce72"},"schema_version":"1.0"},"canonical_sha256":"a8179bb067d14eb19947cedff66ff01f28ad26bcfb1f69d4b01b097f2b992daf","source":{"kind":"arxiv","id":"1609.00507","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.00507","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"arxiv_version","alias_value":"1609.00507v2","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.00507","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"pith_short_12","alias_value":"VALZXMDH2FHL","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VALZXMDH2FHLDGKH","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VALZXMDH","created_at":"2026-05-18T12:30:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:VALZXMDH2FHLDGKHZ3P7M37QD4","target":"record","payload":{"canonical_record":{"source":{"id":"1609.00507","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-02T09:01:36Z","cross_cats_sorted":[],"title_canon_sha256":"ebdf4d894b2bf687c20ed520663da345de87f78d67b045e678ffc2bb697c8ece","abstract_canon_sha256":"81357bc279ff21b5afc83d136e2837627f165be06100389b5f2843455320ce72"},"schema_version":"1.0"},"canonical_sha256":"a8179bb067d14eb19947cedff66ff01f28ad26bcfb1f69d4b01b097f2b992daf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:56:45.518219Z","signature_b64":"XKfShgHXCnBM2SSbkICoctUWSEWlHMdA82LB6yyfgXUtk8CiJ0UepTgdKS9rHKo2kYPBBPeCN0sMmge5Dwl8CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a8179bb067d14eb19947cedff66ff01f28ad26bcfb1f69d4b01b097f2b992daf","last_reissued_at":"2026-05-18T00:56:45.517505Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:56:45.517505Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.00507","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:56:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AD4HMOU3ZPb86wDGy0rYIzEHt3WzyDyQ/pfeykzqyCe2559YEPN35xrXP7qVFo79DIeEZ7L+fv/uW+s81xzoBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T23:11:48.753959Z"},"content_sha256":"72c9d7fe9255268fd57163558769622be426ac4b122a6edf7064df66a07b3fbf","schema_version":"1.0","event_id":"sha256:72c9d7fe9255268fd57163558769622be426ac4b122a6edf7064df66a07b3fbf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:VALZXMDH2FHLDGKHZ3P7M37QD4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Adam Walker (Independent Researcher), Alexander Legg (Data 61, Ayrat Khalimov (Graz University of Technology), CSIRO (formerly NICTA), Felix Klein (Saarland University), Guillermo A. P\\'erez (Universit\\'e Libre de Bruxelles), IRISA), Jean-Fran\\c{c}ois Raskin (Universit\\'e Libre de Bruxelles), Jens Kreber (Saarland University), Leander Tentrup (Saarland University), Leonid Ryzhyk (Samsung Research America), Martina Seidl (Johannes-Kepler-University Linz), Nina Narodytska (Samsung Research America), Ocan Sankur (CNRS, Robert K\\\"onighofer (Graz University of Technology), Roderick Bloem (Graz University of Technology), Romain Brenguier (University of Oxford), Swen Jacobs (Saarland University), UNSW)","submitted_at":"2016-09-02T09:01:36Z","abstract_excerpt":"We report on the benchmarks, participants and results of the third reactive synthesis competition(SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchmarks in the new LTL-based temporal logic synthesis format (TLSF), and 2 new sets of benchmarks for the existing AIGER-based format for safety specifications. The participants of SYNTCOMP 2016 can be separated according to these two classes of specifications, and we give an overview of the 6 tools that entered the competition in the AIGER-based track, and the 3 participants that entered the TLSF-based track. We briefl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.00507","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:56:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gWO89XEXqhmHCFAOCPEl20uKRrxoiyxfgh0C0yqQC2WkESXE49R6KKtixmMxfAMDW4rdtBmXzDzg7qGTeBC/Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T23:11:48.754666Z"},"content_sha256":"83bcf887ba1260a0a66578a6e9dd73ba31cb1cbe7f950eac30f991b4a0ef7fc8","schema_version":"1.0","event_id":"sha256:83bcf887ba1260a0a66578a6e9dd73ba31cb1cbe7f950eac30f991b4a0ef7fc8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VALZXMDH2FHLDGKHZ3P7M37QD4/bundle.json","state_url":"https://pith.science/pith/VALZXMDH2FHLDGKHZ3P7M37QD4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VALZXMDH2FHLDGKHZ3P7M37QD4/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-28T23:11:48Z","links":{"resolver":"https://pith.science/pith/VALZXMDH2FHLDGKHZ3P7M37QD4","bundle":"https://pith.science/pith/VALZXMDH2FHLDGKHZ3P7M37QD4/bundle.json","state":"https://pith.science/pith/VALZXMDH2FHLDGKHZ3P7M37QD4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VALZXMDH2FHLDGKHZ3P7M37QD4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:VALZXMDH2FHLDGKHZ3P7M37QD4","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"81357bc279ff21b5afc83d136e2837627f165be06100389b5f2843455320ce72","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-02T09:01:36Z","title_canon_sha256":"ebdf4d894b2bf687c20ed520663da345de87f78d67b045e678ffc2bb697c8ece"},"schema_version":"1.0","source":{"id":"1609.00507","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.00507","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"arxiv_version","alias_value":"1609.00507v2","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.00507","created_at":"2026-05-18T00:56:45Z"},{"alias_kind":"pith_short_12","alias_value":"VALZXMDH2FHL","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"VALZXMDH2FHLDGKH","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"VALZXMDH","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:83bcf887ba1260a0a66578a6e9dd73ba31cb1cbe7f950eac30f991b4a0ef7fc8","target":"graph","created_at":"2026-05-18T00:56:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We report on the benchmarks, participants and results of the third reactive synthesis competition(SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchmarks in the new LTL-based temporal logic synthesis format (TLSF), and 2 new sets of benchmarks for the existing AIGER-based format for safety specifications. The participants of SYNTCOMP 2016 can be separated according to these two classes of specifications, and we give an overview of the 6 tools that entered the competition in the AIGER-based track, and the 3 participants that entered the TLSF-based track. We briefl","authors_text":"Adam Walker (Independent Researcher), Alexander Legg (Data 61, Ayrat Khalimov (Graz University of Technology), CSIRO (formerly NICTA), Felix Klein (Saarland University), Guillermo A. P\\'erez (Universit\\'e Libre de Bruxelles), IRISA), Jean-Fran\\c{c}ois Raskin (Universit\\'e Libre de Bruxelles), Jens Kreber (Saarland University), Leander Tentrup (Saarland University), Leonid Ryzhyk (Samsung Research America), Martina Seidl (Johannes-Kepler-University Linz), Nina Narodytska (Samsung Research America), Ocan Sankur (CNRS, Robert K\\\"onighofer (Graz University of Technology), Roderick Bloem (Graz University of Technology), Romain Brenguier (University of Oxford), Swen Jacobs (Saarland University), UNSW)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-02T09:01:36Z","title":"The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.00507","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:72c9d7fe9255268fd57163558769622be426ac4b122a6edf7064df66a07b3fbf","target":"record","created_at":"2026-05-18T00:56:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"81357bc279ff21b5afc83d136e2837627f165be06100389b5f2843455320ce72","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-02T09:01:36Z","title_canon_sha256":"ebdf4d894b2bf687c20ed520663da345de87f78d67b045e678ffc2bb697c8ece"},"schema_version":"1.0","source":{"id":"1609.00507","kind":"arxiv","version":2}},"canonical_sha256":"a8179bb067d14eb19947cedff66ff01f28ad26bcfb1f69d4b01b097f2b992daf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a8179bb067d14eb19947cedff66ff01f28ad26bcfb1f69d4b01b097f2b992daf","first_computed_at":"2026-05-18T00:56:45.517505Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:56:45.517505Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XKfShgHXCnBM2SSbkICoctUWSEWlHMdA82LB6yyfgXUtk8CiJ0UepTgdKS9rHKo2kYPBBPeCN0sMmge5Dwl8CA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:56:45.518219Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.00507","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:72c9d7fe9255268fd57163558769622be426ac4b122a6edf7064df66a07b3fbf","sha256:83bcf887ba1260a0a66578a6e9dd73ba31cb1cbe7f950eac30f991b4a0ef7fc8"],"state_sha256":"537ec256fc5e3aaa3438d6497c78841c9e6455cc666cf14ca1245ca2905d7d0d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Km22nGYGPK5l4wuB+2qkkO6LCcAIVJE+V7BKE7LDFvaSXTS9BOmHrZcsfzWMbOpbOrMjQO3RBlytU8NKhiuNAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T23:11:48.758467Z","bundle_sha256":"b0de489335cb253538390c75a38b547a838fe49b74ee2d4f4ab9250449e43975"}}