Call for Benchmarks

This call is to invite and encourage submissions of benchmarks. Benchmarks have to be submitted as AIGER files according to the Extended AIGER Format for Synthesis. Submitted benchmarks must be accompanied by a 1-3 page description (IEEE style). Please register to submit benchmarks.

Preparation of Benchmark Submissions

For a successful benchmark submission we encourage you to first check the instances on our syntax checker. Submit benchmarks as an archive within the submission system. We have a size limitation of 500MB per upload. Please provide a pdf giving a description on your benchmarks. If your benchmark archive exceeds this limit please create multiple archives and add the benchmark description only to the first one.