HTTP/1.1 301 Moved Permanently Date: Wed, 14 Jan 2026 22:51:19 GMT Server: Apache/2.4.66 (Debian) X-Redirect-By: WordPress Strict-Transport-Security: max-age=31536000 Upgrade: h2 Connection: Upgrade Last-Modified: Tue, 22 Jul 2025 19:39:53 GMT ETag: "9bac1269c62a6ec010ef2c120b314449" Location: https://www.syntcomp.org/comments/feed/ Content-Length: 0 Content-Type: application/rss+xml; charset=UTF-8 HTTP/1.1 200 OK Date: Wed, 14 Jan 2026 22:51:20 GMT Server: Apache/2.4.66 (Debian) Link: ; rel="https://api.w.org/" Strict-Transport-Security: max-age=31536000 Last-Modified: Tue, 22 Jul 2025 19:39:53 GMT ETag: "9bac1269c62a6ec010ef2c120b314449-gzip" Vary: Accept-Encoding Content-Encoding: gzip Content-Length: 1943 Content-Type: application/rss+xml; charset=UTF-8 https://www.syntcomp.org www.syntcomp.org Tue, 22 Jul 2025 08:54:18 +0000 hourly 1 https://wordpress.org/?v=6.8.3 https://www.syntcomp.org/new-track-for-syntcomp-2020/#comment-19027 Thu, 07 Jan 2021 14:37:44 +0000 https://www.syntcomp.org/?p=358#comment-19027 […] for – safety specifications in AIGER format,– LTL specifications in TLSF, and– a new track for parity games in Hanoi Omega-Automata (HOA) format,each separated into subtracks for […]

]]> https://www.syntcomp.org/syntcomp-2018-results/#comment-19020 Wed, 14 Aug 2019 11:55:57 +0000 https://www.syntcomp.org/?p=300#comment-19020 […] in the year before , Strix  won this year’s SYNTCOMP competition in the TLSF/LTL Synthesis Track. Furthermore, […]

]]> https://www.syntcomp.org/tlsf-v1-1/#comment-18738 Wed, 20 Jul 2016 17:43:55 +0000 https://www.syntcomp.org/?p=218#comment-18738 […] of the competition, from pure safety properties to full LTL. The new track is based on the TLSF format, and had 3 participants for the first competition. The AIGER-based safety track also still exists, […]

]]> https://www.syntcomp.org/syntcomp-2016-call-for-benchmarks-and-solvers/#comment-18132 Tue, 12 Apr 2016 06:10:04 +0000 https://www.syntcomp.org/?p=203#comment-18132 […] rules and call for benchmarks and solvers pages have been updated […]

]]> https://www.syntcomp.org/benchmark-collection-for-2014-finished-solver-submission-open/#comment-12887 Mon, 13 Apr 2015 08:08:46 +0000 https://www.syntcomp.org/?p=100#comment-12887 In reply to Bruno Blaskovic.

Thanks for letting us know about the broken link. You can find the 2014 benchmarks in our Bitbucket repository. (I have also fixed the link above)

]]> https://www.syntcomp.org/benchmark-collection-for-2014-finished-solver-submission-open/#comment-12825 Thu, 09 Apr 2015 17:43:14 +0000 https://www.syntcomp.org/?p=100#comment-12825 Dear Sir,
I would like to download Benchmark Collection for 2014. (I got Internal Server Error).
Would You be so kind and, if possible, provide working link to the benchmarks.
Thank You in advance,
prof. Bruno Blaskovic
FER, University of Zagreb, Croatia
(bruno.blaskovic@fer.hr)

]]> https://www.syntcomp.org/rules/#comment-10297 Wed, 11 Feb 2015 14:10:32 +0000 https://www.syntcomp.org/?page_id=59#comment-10297 […] Rules […]

]]> https://www.syntcomp.org/schedule/#comment-10296 Wed, 11 Feb 2015 14:09:29 +0000 https://www.syntcomp.org/?page_id=48#comment-10296 […] Schedule […]

]]>