Monthly Archives: November 2013

Call for Benchmarks, Server for Competition 2014 Open

We have just opened the server for SyntComp 2014. It is based on the EDACC-framework, which is also used for the SAT competitions.

Most importantly at this point, we are looking for more benchmarks. These can directly be uploaded to the EDACC-system, which will also be used to run the competition itself. Upon registration, you are able to upload benchmarks, and also download all the benchmarks that have already been converted to the competition format. See the Call for Benchmarks for details.

Furthermore, the same account allows you to upload synthesis tools. If they compile on our competition cluster, they can enter SyntComp 2014. Official submission of tools will be in May 2014. See the rules and the submission page for details.