{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:S2QMG7GPRXCTAVPC63736X7F2D","short_pith_number":"pith:S2QMG7GP","canonical_record":{"source":{"id":"1602.01171","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-03T02:49:55Z","cross_cats_sorted":[],"title_canon_sha256":"c6539bcf137831c2ca5c8374c6b3a0a797e9e4de37c36789c98f9afc358f9a3d","abstract_canon_sha256":"afac33629314e2d6bc17c85ae2f1c273b7c999c5b07d56d5fa128b2cd4c646ef"},"schema_version":"1.0"},"canonical_sha256":"96a0c37ccf8dc53055e2f6ffbf5fe5d0d1ac0f203f2372c0fd2f0a63b805bebd","source":{"kind":"arxiv","id":"1602.01171","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.01171","created_at":"2026-05-18T01:21:20Z"},{"alias_kind":"arxiv_version","alias_value":"1602.01171v1","created_at":"2026-05-18T01:21:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.01171","created_at":"2026-05-18T01:21:20Z"},{"alias_kind":"pith_short_12","alias_value":"S2QMG7GPRXCT","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"S2QMG7GPRXCTAVPC","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"S2QMG7GP","created_at":"2026-05-18T12:30:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:S2QMG7GPRXCTAVPC63736X7F2D","target":"record","payload":{"canonical_record":{"source":{"id":"1602.01171","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-03T02:49:55Z","cross_cats_sorted":[],"title_canon_sha256":"c6539bcf137831c2ca5c8374c6b3a0a797e9e4de37c36789c98f9afc358f9a3d","abstract_canon_sha256":"afac33629314e2d6bc17c85ae2f1c273b7c999c5b07d56d5fa128b2cd4c646ef"},"schema_version":"1.0"},"canonical_sha256":"96a0c37ccf8dc53055e2f6ffbf5fe5d0d1ac0f203f2372c0fd2f0a63b805bebd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:21:20.947485Z","signature_b64":"jf/nyBjKLAutB+4DxV2fRovYaKMXauXjBCYtfLvuG8ipn1v3Wfr49tyC+DD9XEoAeR3rf8K0m0kWrkZkN5IbDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"96a0c37ccf8dc53055e2f6ffbf5fe5d0d1ac0f203f2372c0fd2f0a63b805bebd","last_reissued_at":"2026-05-18T01:21:20.946996Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:21:20.946996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.01171","source_version":1,"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-18T01:21:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1pEKTo6NhLFb0lkWoV5lGtRG/97puWtR61D2V77Gd0P7xFrO5sSplzyA9HVTxc+abM7DIo9Lsc+zNcq/9qUQDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T09:12:42.313040Z"},"content_sha256":"a559a04a0ea79206d8fd6c3ad3160e736f4ce2ddef6773a7283802cae270109f","schema_version":"1.0","event_id":"sha256:a559a04a0ea79206d8fd6c3ad3160e736f4ce2ddef6773a7283802cae270109f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:S2QMG7GPRXCTAVPC63736X7F2D","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Second Reactive Synthesis Competition (SYNTCOMP 2015)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Adam Walker (NICTA, Australia, Australia), Austria), Belgium), Brussels, Carnegie Mellon University, Germany), Guillermo A. P\\'erez (Universit\\'e Libre de Bruxelles, Jean-Fran\\c{c}ois Raskin (Universit\\'e Libre de Bruxelles, Leander Tentrup (Saarland University, Leonid Ryzhyk (NICTA, Linz, Martina Seidl (Johannes-Kepler-University, Ocan Sankur (Universit\\'e Libre de Bruxelles, Pittsburgh, Robert K\\\"onighofer (Graz University of Technology, Roderick Bloem (Graz University of Technology, Romain Brenguier (Universit\\'e Libre de Bruxelles, Saarbr\\\"ucken, Swen Jacobs (Saarland University, Sydney, USA)","submitted_at":"2016-02-03T02:49:55Z","abstract_excerpt":"We report on the design and results of the second reactive synthesis competition (SYNTCOMP 2015). We describe our extended benchmark library, with 6 completely new sets of benchmarks, and additional challenging instances for 4 of the benchmark sets that were already used in SYNTCOMP 2014. To enhance the analysis of experimental results, we introduce an extension of our benchmark format with meta-information, including a difficulty rating and a reference size for solutions. Tools are evaluated on a set of 250 benchmarks, selected to provide a good coverage of benchmarks from all classes and dif"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.01171","kind":"arxiv","version":1},"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-18T01:21:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eS5ECVoVI47Dor3zDYj9dRN58QSumoQRYc9nVj3Q38HPKnFCQCdVvDYHhuTnYlZ34IaWaNj/nKnn6AFlrIAzCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T09:12:42.313403Z"},"content_sha256":"45216223ae23770ee4ca196779ef0b4b0e8f54a4fb99893bb60164161acbef07","schema_version":"1.0","event_id":"sha256:45216223ae23770ee4ca196779ef0b4b0e8f54a4fb99893bb60164161acbef07"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S2QMG7GPRXCTAVPC63736X7F2D/bundle.json","state_url":"https://pith.science/pith/S2QMG7GPRXCTAVPC63736X7F2D/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S2QMG7GPRXCTAVPC63736X7F2D/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-06-03T09:12:42Z","links":{"resolver":"https://pith.science/pith/S2QMG7GPRXCTAVPC63736X7F2D","bundle":"https://pith.science/pith/S2QMG7GPRXCTAVPC63736X7F2D/bundle.json","state":"https://pith.science/pith/S2QMG7GPRXCTAVPC63736X7F2D/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S2QMG7GPRXCTAVPC63736X7F2D/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:S2QMG7GPRXCTAVPC63736X7F2D","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":"afac33629314e2d6bc17c85ae2f1c273b7c999c5b07d56d5fa128b2cd4c646ef","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-03T02:49:55Z","title_canon_sha256":"c6539bcf137831c2ca5c8374c6b3a0a797e9e4de37c36789c98f9afc358f9a3d"},"schema_version":"1.0","source":{"id":"1602.01171","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.01171","created_at":"2026-05-18T01:21:20Z"},{"alias_kind":"arxiv_version","alias_value":"1602.01171v1","created_at":"2026-05-18T01:21:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.01171","created_at":"2026-05-18T01:21:20Z"},{"alias_kind":"pith_short_12","alias_value":"S2QMG7GPRXCT","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_16","alias_value":"S2QMG7GPRXCTAVPC","created_at":"2026-05-18T12:30:41Z"},{"alias_kind":"pith_short_8","alias_value":"S2QMG7GP","created_at":"2026-05-18T12:30:41Z"}],"graph_snapshots":[{"event_id":"sha256:45216223ae23770ee4ca196779ef0b4b0e8f54a4fb99893bb60164161acbef07","target":"graph","created_at":"2026-05-18T01:21:20Z","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 design and results of the second reactive synthesis competition (SYNTCOMP 2015). We describe our extended benchmark library, with 6 completely new sets of benchmarks, and additional challenging instances for 4 of the benchmark sets that were already used in SYNTCOMP 2014. To enhance the analysis of experimental results, we introduce an extension of our benchmark format with meta-information, including a difficulty rating and a reference size for solutions. Tools are evaluated on a set of 250 benchmarks, selected to provide a good coverage of benchmarks from all classes and dif","authors_text":"Adam Walker (NICTA, Australia, Australia), Austria), Belgium), Brussels, Carnegie Mellon University, Germany), Guillermo A. P\\'erez (Universit\\'e Libre de Bruxelles, Jean-Fran\\c{c}ois Raskin (Universit\\'e Libre de Bruxelles, Leander Tentrup (Saarland University, Leonid Ryzhyk (NICTA, Linz, Martina Seidl (Johannes-Kepler-University, Ocan Sankur (Universit\\'e Libre de Bruxelles, Pittsburgh, Robert K\\\"onighofer (Graz University of Technology, Roderick Bloem (Graz University of Technology, Romain Brenguier (Universit\\'e Libre de Bruxelles, Saarbr\\\"ucken, Swen Jacobs (Saarland University, Sydney, USA)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-03T02:49:55Z","title":"The Second Reactive Synthesis Competition (SYNTCOMP 2015)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.01171","kind":"arxiv","version":1},"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:a559a04a0ea79206d8fd6c3ad3160e736f4ce2ddef6773a7283802cae270109f","target":"record","created_at":"2026-05-18T01:21:20Z","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":"afac33629314e2d6bc17c85ae2f1c273b7c999c5b07d56d5fa128b2cd4c646ef","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-03T02:49:55Z","title_canon_sha256":"c6539bcf137831c2ca5c8374c6b3a0a797e9e4de37c36789c98f9afc358f9a3d"},"schema_version":"1.0","source":{"id":"1602.01171","kind":"arxiv","version":1}},"canonical_sha256":"96a0c37ccf8dc53055e2f6ffbf5fe5d0d1ac0f203f2372c0fd2f0a63b805bebd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"96a0c37ccf8dc53055e2f6ffbf5fe5d0d1ac0f203f2372c0fd2f0a63b805bebd","first_computed_at":"2026-05-18T01:21:20.946996Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:21:20.946996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jf/nyBjKLAutB+4DxV2fRovYaKMXauXjBCYtfLvuG8ipn1v3Wfr49tyC+DD9XEoAeR3rf8K0m0kWrkZkN5IbDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:21:20.947485Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.01171","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a559a04a0ea79206d8fd6c3ad3160e736f4ce2ddef6773a7283802cae270109f","sha256:45216223ae23770ee4ca196779ef0b4b0e8f54a4fb99893bb60164161acbef07"],"state_sha256":"a43930a677902aed837234f16d87e91144571fe366ef4379942e0c0650faaa9f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L83k9V+LtlCJpP4sX3kJmFwRnkw/54S4kus+tRNtws+nolB6LQ3Os7Nl0b4uJdnVgDFLaErkvEUAHJD3gErqAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T09:12:42.315340Z","bundle_sha256":"d54c8dcda0126048144f45f2101c49f76b7340a563d460776f5aac700d541be5"}}